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