19 + 7*x < 20 - 3*(x - 5)
7*x + 19 < 20 - 3*(x - 5)
(-oo, 8/5)
x in Interval.open(-oo, 8/5)
And(-oo < x, x < 8/5)
(-oo < x)∧(x < 8/5)