13 - 4*x < 6*x - 6
/19 \ And|-- < x, x < oo| \10 /
(19/10 < x)∧(x < oo)
19 (--, oo) 10
x in Interval.open(19/10, oo)