Problem: a certain car traveled twice as many miles from town a to town b as it did from town b to town c . from town a to town b , the car averaged 10 miles per gallon , and from town b to town c , the car averaged 18 miles per gallon . what is the average miles per gallon that the car achieved on its trip from town a through town b to town c ?
Rationale: "ans is d given d _ ab = 2 * d _ bc let d _ ab = d and d _ bc = x so d = 2 x for average miles per gallon = ( d + x ) / ( ( d / 10 ) + ( x / 18 ) ) = 14.5 ( formula avg speed = total distance / total time )"
annotated_formula: divide(add(multiply(18, const_10), divide(multiply(18, const_10), const_2)), add(divide(multiply(18, const_10), 10), divide(divide(multiply(18, const_10), const_2), 18)))