%@P:exocorcp
 Les nombres 0; $-7$; 4; $-4$ sont-ils solutions de l'inéquation
 $1-5x\leqslant21$ ?
%@Correction:
\[\Eqalign{
x&=0\qquad1-5\times0=1\leqslant21\cr
x&=-7\qquad1-5\times(-7)=1+35=36\cr
x&=4\qquad1-5\times4=1-20=-19\leqslant21\cr
x&=-4\qquad1-5\times(-4)=1+20=21\leqslant21\cr
}\]
Donc   les   nombres   0; 4; $-4$   sont   solutions   de   l'inéquation
$1-5x\leqslant21$ alors que le nombre $-7$ n'est pas solution.