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