8n + 7 = 31