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