Problem: if n is a positive integer and the product of all integers from 1 to n , inclusive , is a multiple of 690 , what is the least possible value of n ?
Rationale: "690 = 2 * 3 * 5 * 23 so the least value forncan be 23 . e"
annotated_formula: divide(divide(divide(divide(690, const_2), const_3), const_4), divide(const_10, const_2))