17 19 -- - 3*(1 - m) < -m + -- 10 10
17/10 - 3*(1 - m) < 19/10 - m
(-oo, 4/5)
x in Interval.open(-oo, 4/5)
And(-oo < m, m < 4/5)
(-oo < m)∧(m < 4/5)