the average of squares of first 11 consecutive even numbers is :
2 ( n + 1 ) ( 2 n + 1 ) / 3 ( 2 * 12 * 23 ) / 3 = 2 * 4 * 23 = 184 answer : c
divide(multiply(multiply(const_2, add(11, const_1)), add(multiply(11, const_2), const_1)), const_3)