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