Problem: if n divided by 3 has a remainder of 2 , what is the remainder when 2 times n is divided by 3 ?
Rationale: "as per question = > n = 3 p + 2 for some integer p hence 2 n = > 6 q + 4 = > remainder = > 1 for some integer q hence a"
annotated_formula: multiply(2, 2)