Πεψενθε 

 

 

 

 

 

 

 

 

 

 

> restart; 1; solve(`>`(`+`(`*`(log[2](abs(`+`(x, 5))), `*`(log[2](abs(`+`(x, 4))))), `*`(3, `+`(log[2](`/`(`*`(`+`(x, 4)), `*`(`+`(x, 5)))), `-`(1)))), 0))
 

Warning, solutions may have been lost