WolframAlpha computational knowledge AI
1000! / (800! * 200