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