(%i121) y=m*x+b; (%o121) y = m x + b (%i122) %-b; (%o122) y - b = m x but (%i123) y<m*x+b; (%o123) y < m x + b (%i124) %-b; (%o124) (y < m x + b) - b (%i125) %,expand; (%o125) (y < m x + b) - b Can we handle inequalities like this any better?