Решение 

 

⇔ 

 

 

 

`and`(`<`(4, x), `<`(x, sqrt(17))) 

или 

 

 

 

 

> solve(`>=`(`/`(`*`(log[`^`(2, `+`(x, 10))](24)), `*`(log[`^`(2, `+`(x, 10))](`+`(`*`(`^`(x, 2)), `-`(16))))), `/`(`*`(log[2](`+`(`*`(`^`(x, 2)), `*`(11, `*`(x)), 24))), `*`(log[2](`+`(`*`(`^`(x, 2)), ...
 

RealRange(-11, Open(-8)), 0, RealRange(Open(4), Open(`*`(`^`(17, `/`(1, 2))))) (52.2.1)
 

> solve(`+`(`*`(`^`(x, 2)), `*`(11, `*`(x)), 24) = 0)
 

-8, -3 (52.2.2)