Решение 

 

Замена:  `^`(5, `+`(`-`(`*`(`^`(x, 2))))) = t, `and`(`<`(0, t), `<=`(t, 1))  ⇒ 

 

 

 

 

 

 

Исходное неравенство равносильно: 

 

 

> solve(`>`(`+`(log[2](`*`(`+`(`^`(5, `+`(`-`(`*`(`^`(x, 2))))), `-`(3)), `*`(`+`(`^`(5, `+`(`-`(`*`(`^`(x, 2))), 9)), `-`(1))))), log[2](`/`(`*`(`+`(`^`(5, `+`(`-`(`*`(`^`(x, 2))))), `-`(3))), `*`(`+`(...
 

Warning, solutions may have been lost
 

>