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