3*(2 - x) x 3 - 5*x --------- >= - - ------- 6 2 10
(3*(2 - x))/6 >= x/2 - (3 - 5*x)/10
/ 13 \ And|x <= --, -oo < x| \ 15 /
(x <= 13/15)∧(-oo < x)
13 (-oo, --] 15
x in Interval(-oo, 13/15)