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