I forgot most algebra a long time ago, but here's my simplification:
Your first three phone digits times 10,000 (80x250/2). That gives you a number starting with your first three digits followed by four zeros. Add your last four phone digits and Voilà. The rest is arithmetical clutter.