O conjunto de soluções consiste de 12 soluções, cada uma válida somente quanto x satisfaz certas condições de desigualdade. A função Solve oferece soluções juntamente com as condições de validade, representadas como objetos sob a função ConditionalExpression.