Решение 

См. 25_P3 

> solve(`<=`(`+`(1, log[6](`/`(`*`(`+`(x, 3)), `*`(`+`(x, 7))))), `+`(`*`(`/`(1, 4), `*`(log[sqrt(6)](`*`(`^`(`+`(x, `-`(1)), 2))))))))
 

RealRange(`+`(`-`(infinity)), -11), RealRange(Open(-3), -1), RealRange(5, infinity) (26.2.1)