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