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