Start with "x"
Add 5 → x + 5
double → 2(x + 5) = 2x + 10
subtract 6 → (2x + 10) - 6 = 2x + 4
divide by 2 → (2x + 4)/2 = x + 2
subtract "x" → (x + 2) - x = 2
Conjecture: Whatever number is chosen, once the given steps are followed, the result will always be 2.
