Treat inequalities like equations?



(%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?