Problem: x , a , z , and b are single digit positive integers . x = 1 / 7 a . z = 1 / 7 b . ( 10 a + b ) – ( 10 x + z ) could not equal
Rationale: "a = 7 x , b = 7 z therefore ( 7 x . 10 + 7 z ) - ( 10 x + z ) = ( 7 - 1 ) ( 10 x + z ) = 6 . ( 10 x + z ) number should be divisible by 6 d"
annotated_formula: add(add(subtract(add(multiply(7, 7), multiply(7, 10)), add(multiply(7, 10), 7)), 10), const_3)