CAS command question

[compsystems]

No matter that the terms move from one place to another within inequality, the important thing is the operator.

Since the same algebraic operations can change the operand.

For example if divided by a negative amount, the direction of inequality is reversed.

But we must focus on the manipulation of algebraic expressions.

The CAS of hp-prime does not seem to simplify inequalities, this is serious.

simplify( ( (x+1)>(3*x+5) )/-2) ) -> (((x+1)>(3*x+5))/-2)