%@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.