WolframAlpha computational knowledge AI
P(3x-5<7) x chi-square dof 9