A slightly more ambitious form of a linear inequality with variable
$x$ is an inequality of the form $A_1x + B \le A_2x +C$ with $A_1 \ne
A_2$. Algebraically this is solved by solving the related inequality
$Ax + B \le C$ where $A = A_1 - A_2$. For example the inequality
$8x - 10 \le 3x + 20$ would be solved by solving the inequality $5x - 10 \le 20$ as in Example LInEQ.1.You can use this next dynamic example to solve linear inequalities like
those in Examples LInEQ.1 and LInEQ.2.