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