Para cada expresión dentro del módulo en la ecuación admitimos los casos cuando la expresión correspondiente es ">= 0" o "< 0", resolvemos las ecuaciones obtenidas.
1. x3+5x−4≥0 o CRootOf(x3+5x−4,0)≤x∧x<∞ obtenemos la ecuación −5x+(x3+5x−4)−4=0 simplificamos, obtenemos x3−8=0 la resolución en este intervalo: x1=2 x2=−1−3i pero x2 no satisface a la desigualdad x3=−1+3i pero x3 no satisface a la desigualdad
2. x3+5x−4<0 o −∞<x∧x<CRootOf(x3+5x−4,0) obtenemos la ecuación −5x+(−x3−5x+4)−4=0 simplificamos, obtenemos −x3−10x=0 la resolución en este intervalo: x4=0 x5=−10i pero x5 no satisface a la desigualdad x6=10i pero x6 no satisface a la desigualdad