4 + 12*x > 7 + 11*x
12*x + 4 > 11*x + 7
(3, oo)
x in Interval.open(3, oo)
And(3 < x, x < oo)
(3 < x)∧(x < oo)