e Maxima perguntar sobre o sinal de <code>X</code> e voc&ecirc;
responder <code>zero</code> (ou <code>z</code>), o programa retorna <code>X*<var>some_inequality</var></code>
e n&atilde;o utiliza a informa&ccedil;&atilde;o que <code>X</code> &eacute; 0. Voc&ecirc; pode fazer <code>ev (%, x: 0)</code> em casos
semelhantes a esse, como a base de dados ir&aacute; somente ser usada para prop&oacute;sitos de compara&ccedil;&atilde;o
em decis&otilde;es, e n&atilde;o para o prop&oacute;sito de avalia&ccedil;&atilde