WolframAlpha computational knowledge AI
Is (1 2 4 5) a derangement?