WolframAlpha computational knowledge AI
product (m*i-r), i=1..k