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