-x - 8*(2*x - 1) < 3*x - 9
/17 \ And|-- < x, x < oo| \20 /
(17/20 < x)∧(x < oo)
17 (--, oo) 20
x in Interval.open(17/20, oo)