123*x 83 71*x 99 ----- - -- < ---- + -- 10 5 10 5
123*x/10 - 83/5 < 71*x/10 + 99/5
And(-oo < x, x < 7)
(-oo < x)∧(x < 7)
(-oo, 7)
x in Interval.open(-oo, 7)