Problem: in a division sum , the remainder is 8 and the divisor is 6 times the quotient and is obtained by adding 3 to the thrice of the remainder . the dividend is :
Rationale: "diver = ( 8 * 3 ) + 3 = 27 6 * quotient = 27 quotient = 4.5 dividend = ( divisor * quotient ) + remainder dividend = ( 27 * 4.5 ) + 8 = 129.5 b"
annotated_formula: add(multiply(add(multiply(8, const_3), 3), divide(add(multiply(8, const_3), 3), 6)), 8)