Problem: if f ( f ( n ) ) + f ( n ) = 2 n + 3 and f ( 0 ) = 1 , what is the value of f ( 2012 ) ?
Rationale: "put n = 0 then f ( f ( 0 ) ) + f ( 0 ) = 2 ( 0 ) + 3 ⇒ ⇒ f ( 1 ) + 1 = 3 ⇒ ⇒ f ( 1 ) = 2 put n = 1 f ( f ( 1 ) ) + f ( 1 ) = 2 ( 1 ) + 3 ⇒ ⇒ f ( 2 ) + 2 = 5 ⇒ ⇒ f ( 2 ) = 3 put n = 2 f ( f ( 2 ) ) + f ( 2 ) = 2 ( 2 ) + 3 ⇒ ⇒ f ( 3 ) + 3 = 7 ⇒ ⇒ f ( 3 ) = 4 . . . . . . f ( 2012 ) = 2013 answer : c"
annotated_formula: add(1, 2012)