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