# Proof that Any Number Equals Itself from the Hunting of the Snark

$$\frac{(x+7+10)(1000-8)}{992}-17$$