Problem: what is the remainder when 17 ^ 200 is divided by 18 ?
Rationale: "( 17 ^ 200 - 1 ^ 200 ) is completely divisible by ( 17 + 1 ) as 200 is even . = > ( 17 ^ 200 - 1 ) is completely divisible by 18 . hence , when 17 ^ 200 is divided by 18 , we will get 1 as remainder . answer is b"
annotated_formula: subtract(divide(18, const_2), multiply(17, 17))