Kiểm tra cặp $(x_0, y_0)$ có thuộc miền nghiệm $ax + by < c$ (hoặc $>$) không.

Bước 1 — Định nghĩa nghiệm của bất phương trình bậc nhất 2 ẩn.
Cặp số $(x_0; y_0)$ là nghiệm của BPT $ax + by \;\text{(toán tử)}\; c$ khi và chỉ khi thay $x_0, y_0$ vào vế trái rồi so với vế phải thì bất đẳng thức thoả mãn.
Bước thực hành: (1) tính giá trị vế trái; (2) so sánh với $c$.

Bước 2 — Liệt kê dữ liệu:
• Bất phương trình: $-x + 5y \leq -5$.
• Cặp cần kiểm tra: $(x_0; y_0) = (-5; 4)$.

Bước 3 — Thay số vào vế trái:
$(-1)\cdot(-5) + 5\cdot(4) = 5 + 20 = 25$.

Bước 4 — So sánh với vế phải:
$25 \leq -5$ — SAI ⇒ cặp số KHÔNG thoả mãn.

Kết luận: Không thuộc miền nghiệm.