CAS command question

[compsystems]

Exists a function or command to distribute a value (quotient) to each term?

I think that COLLECT should also operate in inequalities.
collect((x+1-3*x) > (3*x+5-3*x));
⇨ =( (x+1-3*x) > (3*x+5-3*x)
(x-3*x)-1 > (3*x-3*x)+5 ⇨ (-2*x+1) > 5

collect(-2*x>4)/-2); ⇨ =( -2*x > 4)/-2;
⇨ -2*x/-2 > 4/-2
⇨ x < -2
Do you agree, Mr. Parisse?

please see
Line 8, the expression was not simplified (The quotient was not distributed), Or how the inequalities are simplified with hp-prime CAS?

HP-PRIME CAS HISTORY

PHP Code:

1: simplify: none
2: purge(x);
3: x+1 > 3*x+5; 
4: Ans-3*x; ⇨ (x+1-3*x) > (3*x+5-3*x)
5: simplify(Ans);⇨ (-2*x+1) > 5
6: Ans-1;  ⇨ (-2*x) > 4
7: Ans/-2;  ⇨ ((-2*x) > 4)/-2
8: simplify(Ans); ⇨ ((-2*x) > 4)/2 // =(
9: (-2*x) > 4;
10: left(Ans)/-2; ⇨ 2*x/2; // Using LEFT & RIGHT =(
11: simplify(Ans); ⇨ x
12: (-2*x) > 4;
13: right(Ans)/-2; ⇨ -2
14: //I DO NOT KNOW HOW TO CALL THE LINE 11 TO THE 13 ⇨ x < -2 


TI-89/TI-VOYAGE200 CAS HISTORY

PHP Code:

1: simplify: Always MAXIMUM =(
2: delvar(x): ⇨ Done
3: x+1 > 3*x+5: 
4: Ans(1)+⁻3*x: ⇨ 1-2*x > 5
5: Ans(1)+⁻1: ⇨ (-2*x) > 4
6: Ans(1)/⁻2: ⇨ x < -2