let amc12a-2003-p5 = `!a m c. (a <= 9 /\ m <= 9 /\ c <= 9) /\ (10 * (10 * (10 * (10 * a + m) + c) + 1) + 0 + (10 * (10 * (10 * (10 * a + m) + c) + 1) + 2) = 123422) ==> a + m + c = 14`;;