There is a share package, ineq, which might be helpful.
load(ineq) loads the package and demo(ineq) runs through some examples.
ineq is not too complicated -- it defines simplifications rules
(via tellsimp and tellsimpafter) for some basic operations on
inequalities. Maybe it's enough, I don't know.
Hope this helps,
Robert Dodier