Problem: in a division sum , the remainder is 6 and the divisor is 5 times the quotient and is obtained by adding 7 to the thrice of the remainder . the dividend is
Rationale: divisor = ( 6 * 3 ) + 7 = 25 5 * quotient = 25 quotient = 5 . dividend = ( divisor * quotient ) + remainder dividend = ( 20 * 5 ) + 6 = 106 . e )
annotated_formula: add(multiply(add(multiply(6, const_3), 7), divide(add(multiply(6, const_3), 7), 5)), 6)