6 - 3*x < 19 + -x + 7
6 - 3*x < 7 - x + 19
And(-10 < x, x < oo)
(-10 < x)∧(x < oo)
(-10, oo)
x in Interval.open(-10, oo)