Problem #PRU-5052

Problems Mathematical logic

Problem

The numbers x and y satisfy x+7y+8. Prove that x>y.