4*(b - 3/2) - 6/5 > 6*b - 1
/ -31 \ And|-oo < b, b < ----| \ 10 /
(-oo < b)∧(b < -31/10)
-31 (-oo, ----) 10
x in Interval.open(-oo, -31/10)