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