               7 x &lt; 7 y
(%i5) -2*(x&gt;=3*z); /* multiplica por um número negativo */
(%o5)                           - 2 x &lt;= - 6 z
(%i6) (1+a^2)*(1/(1+a^2)&lt;=1); /* Maxima sabe que 1+a^2 &gt; 0 */
                                        2
(%o6)                             1 &lt;= a  + 1
(%i7) assume(x&gt;0)$ x*(2&lt;3); /* assumindo x&gt;0 */
(%o7)                              2 x &lt; 3 x
(%i8) a&gt;=b; /* outa desigualdade */
(%o8)                               a &gt;= b
(%i9) 3+%; /* adiciona