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