19 - 7*x > -1 - 8*x
19 - 7*x > -8*x - 1
And(-20 < x, x < oo)
(-20 < x)∧(x < oo)
(-20, oo)
x in Interval.open(-20, oo)