Решение 

См. 41_P1 

> solve(`<=`(log[`+`(3, `-`(x))](`+`(`*`(`^`(x, 2)), `-`(`*`(10, `*`(x))), 25)), `+`(`*`(2, `*`(log[`+`(3, `-`(x))](`+`(`*`(4, `*`(x)), `-`(`*`(`^`(x, 2))), 5)))), `-`(2))))
 

RealRange(1, Open(2)) (42.2.1)