WolframAlpha computational knowledge AI
integrate x*(-4) dx from x=7 to t