17*x + 7 < 7*x - 12
/ -19 \ And|-oo < x, x < ----| \ 10 /
(-oo < x)∧(x < -19/10)
-19 (-oo, ----) 10
x in Interval.open(-oo, -19/10)