CAS command question

[compsystems]

Well let's continue to evaluate the CAS in separate threads

For example in this thread related to the parts of an inequality, report that the HP-PRIME CAS does not perform operations with inequalities, such as simplify, other results are strange, and there was no response

(x<13) AND (x>5); returns (13>x) AND (x>5) // ok

the same above expression, but rewritten.
5<x<13; returns 0 ? (Inconsistency)

(x<13) OR (x<5); returns (13>x) OR (5>x) // ok

(x<13) XOR (x<5); returns 0?

not(x<13); returns NOT(13>x) // Does not reverse inequality

(-2*x>4)/-2; ⇨ (-2*x > 4)/-2;
This must be the output
⇨ -2*x/-2 > 4/-2
⇨ x < -2

collect( (x+1-3*x) > (3*x+5-3*x));
⇨ (x+1-3*x) > (3*x+5-3*x)
This must be the output
⇨ (x-3*x)+1 > (3*x-3*x)+5 ⇨ (-2*x+1) > 5