Problem: solve the equation for x : 21 ( x + y ) + 5 = 21 ( - x + y ) + 47
Rationale: "e 1 21 ( x + y ) + 5 = 21 ( - x + y ) + 47 21 x + 21 y + 5 = - 21 x + 21 y + 47 21 x + 5 = - 21 x + 47 42 x = 42 = > x = 1"
annotated_formula: divide(add(5, 47), add(21, 21))