2*(3 - x) - 3*(2 + x) <= x
2*(3 - x) - 3*(x + 2) <= x
[0, oo)
x in Interval(0, oo)
And(0 <= x, x < oo)
(0 <= x)∧(x < oo)