Logic
Math in Film
Inference Rules
Numbers
Arithmetic
100
I am an odd number. Take away one letter and I become even.
What is seven? (Take away the `s' and it becomes `even')
100
The Mathletic Competition's winning answer, given by Cady Heron (Mean Girls).
What is “The limit does not exist"?
100
(p ∧ q) → p
What is simplification?
100
This number was computed in 7.5 million years by the fictional computer Deep Thought, and it is the meaning of life
What is 42?
100
This number is the sum of the integers from 1 to 100, inclusive.
What is 5050?
200
This logician created the algebra of logic. His contributions are vital to modern computing.
Who is George Boole?
200
This 2015 movie chronicled the mathematical partnership between Srinivasa Ramanujan and G.H. Hardy
What is The Man Who Knew Infinity?
200
(p ∧ (p → q)) → q
What is modus ponens?
200
This number can be written as
What is π?
200
This number is 1² + 3 + 4³ + 6.
What is 74?
300
This British mathematician found a paradox with the idea of having a set of Sets.
Who is Bertrand Russell?
300
The title character of this 1997 Oscar-winner anonymously provided solutions at MIT while working there as a janitor.
What is Good Will Hunting?
300
((p → q) ∧ (q → r)) → (p → r)
What is hypothetical syllogism?
300
The numbers of this sequence are equivalent to the number of validstrings of 2n parentheses.
(For instance, (()) is valid while )()( is not.)
What are the Catalan numbers?
300
This number is the sum of the greatest common factor and least common multiple of the set {1, 2, 3, 4, 5}.
What is 61?
400
This logical statement is equivalent to an English phrase “P unless Q", where P;Q are propositions.
What is 
400
In this 2016 film, three black women broke many barrier to work for NASA, being some of the minds behind a NASA project that sent the first American into space.
What is Hidden Figures?
400
p → (p ∨ q)
What is addition?
400
These are natural numbers n such that for all m<n, we have σ(m)/m < σ(n)/n.
What are the superabundant numbers?
400
This is the positive difference between the sum and product of 17 and 29.
What is 447?
500
Counting the natural numbers 1, 2, 3, . . . in English, your lips fully close for the first time when saying this value.
What is one million?
500
In this 2011 sports movie, Billy Beane uses advanced statistical methods to improve his team's performance.
What is Moneyball?
500
((p ∨ q) ∧ (¬p ∨ r)) → (q ∨ r)
What is resolution?
500
This constant relating to the prime number theorem was hypothesized to be irrational. It was later found to be exactly 1.
What is Legendre's constant? (Explicitly, the constant is B, where 
500
This is the unique real number n such that (2n + 1)(2n + 3)(2n + 5) = 315.
What is 2?