1 - 3*x x 301 ------- > -- + --- 100 50 100
(1 - 3*x)/100 > x/50 + 301/100
(-oo, -60)
x in Interval.open(-oo, -60)
And(-oo < x, x < -60)
(-oo < x)∧(x < -60)