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: Tổng của số nào đó và 5 lớn hơn 7.