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