2 ___ ___ \/ x + 5*x + 6 > \/ 2 - x
(sqrt(x))^2 + 5*x + 6 > -x + sqrt(2)
[0, oo)
x in Interval(0, oo)
And(0 <= x, x < oo)
(0 <= x)∧(x < oo)