|x + 2| - |x - 1| + 3/2 < x
-|x - 1| + |x + 2| + 3/2 < x
(9/2, oo)
x in Interval.open(9/2, oo)
And(9/2 < x, x < oo)
(9/2 < x)∧(x < oo)