WolframAlpha computational knowledge AI
sum of 136 - 12n for n from 0 to 35