19 - 2*x > x + 3
And(-oo < x, x < 16/3)
(-oo < x)∧(x < 16/3)
(-oo, 16/3)
x in Interval.open(-oo, 16/3)