Решение 

См. 19_P23 

> solve(`>=`(`/`(`*`(`+`(abs(`+`(x, 2)), `-`(sqrt(`+`(`*`(2, `*`(x)), 12))))), `*`(`+`(abs(`+`(x, 3)), `-`(sqrt(`+`(`*`(4, `*`(x)), 12)))))), 0))
 

RealRange(Open(-3), Open(1)), RealRange(2, infinity) (21.2.1)