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