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