__________ / 2 \/ 3*x + x > 3 - x
sqrt(x^2 + 3*x) > 3 - x
And(1 < x, x < oo)
(1 < x)∧(x < oo)
(1, oo)
x in Interval.open(1, oo)