Viết thành bất phương trình và chỉ ra một nghiệm của nó từ các mệnh đề sau đây: Hiệu của 9 và số nào đó nhỏ hơn -12.