imediatamente acima */
(%o9)                           a + 3 &gt;= b + 3
(%i10) %-3; /* retirando essa alguma coisa */
(%o10)                              a &gt;= b
(%i11) a&gt;=c-b; /* ainda outra desigualdade */
(%o11)                            a &gt;= c - b
(%i12) b+%; /* adiciona b a ambos os lados da desigualdade */
(%o12)                            b + a &gt;= c
(%i13) %-c; /* subtrai c de ambos os lados */
(%o13)                         - c + b + a &gt;= 0
(%i14) -%;  /* multiplica por -1 */
(%o14) 