20 - 3*x + 15 < 19 - 7*x
And(-oo < x, x < -4)
(-oo < x)∧(x < -4)
(-oo, -4)
x in Interval.open(-oo, -4)