TMUA Challenge Paper 2 Tmua-p2-challenge-1
20 questions20 marks75Updated August 2026
The TMUA Challenge Paper 2 Tmua-p2-challenge-1 paper in full: all 20 questions, each with its answer. TMUA is the Test of Mathematics for University Admission. Sit it cold under exam timing, mark it, then work back through anything you missed using the solutions below.
Questions and answers are free. Full step-by-step worked solutions unlock with a free account. Start practising.
Question 1
1 markFor a real number , consider the two statements and . The condition is:
- A.necessary and sufficient for
- B.necessary but not sufficient for
- C.sufficient but not necessary for
- D.neither necessary nor sufficient for
- E.equivalent to
Answer: C
Question 2
1 markConsider the statement "Every child in the class owns a bicycle." Its negation is:
- A.No child in the class owns a bicycle
- B.Every child in the class does not own a bicycle
- C.At least one child in the class does not own a bicycle
- D.At least one child in the class owns a bicycle
- E.Not every child in the class owns a car
Answer: C
Question 3
1 markWhich statement is logically equivalent to "If it is raining then the ground is wet"?
- A.If the ground is wet then it is raining
- B.If the ground is not wet then it is not raining
- C.If it is not raining then the ground is not wet
- D.The ground is wet only if it is not raining
- E.It is raining and the ground is dry
Answer: B
Question 4
1 markA proof that there is no largest prime begins: "Suppose, for contradiction, that is the largest prime." It then considers the number , the product of all primes up to , plus one. The property of that drives the contradiction is that:
- A. is itself prime
- B. is even
- C. leaves remainder on division by every prime up to
- D. is a perfect square
- E. is divisible by
Answer: C
Question 5
1 markIt is known that any multiple of is a multiple of . A particular integer is not a multiple of . Which of the following can be deduced?
- A. is a multiple of
- B. is odd
- C. is not a multiple of
- D. is a multiple of
- E.nothing can be deduced
Answer: C
Question 6
1 markFor how many of the first five prime numbers () is the number also prime?
- A.
- B.
- C.
- D.
- E.
Answer: C
Question 7
1 markConsider the argument: "All squares are rectangles. Some rectangles are not rhombuses. Therefore some squares are not rhombuses." This argument is:
- A.valid
- B.invalid
- C.valid only if at least one square exists
- D.valid because every square is a rhombus
- E.equivalent to its own converse
Answer: B
Question 8
1 markFor a positive integer , the statement " is divisible by " is logically equivalent to:
- A. is divisible by or by
- B. is divisible by and by
- C. is divisible by
- D. is even
- E.the digits of sum to a multiple of
Answer: B
Question 9
1 markHow many of the following statements are true for all real numbers ?
I. .
II. If then .
III. If then .
IV. has exactly two real solutions.
I. .
II. If then .
III. If then .
IV. has exactly two real solutions.
- A.
- B.
- C.
- D.
- E.
Answer: B
Question 10
1 markThe statement "For every real number there is a real number with " is false. Its correct negation is:
- A.For every real there is no real with
- B.There is a real such that, for every real ,
- C.There is a real with for every real
- D.For every real there is a real with
- E.No real number has a real square root
Answer: B
Question 11
1 markThe implication "" is false in exactly one of the following situations. Which one?
- A. true and true
- B. true and false
- C. false and true
- D. false and false
- E.whenever is false
Answer: B
Question 12
1 markConsider this "proof" that . Let . Then , so , giving , hence ; with this gives , so . The first invalid step is:
- A.writing
- B.writing
- C.factorising both sides
- D.cancelling the factor
- E.concluding
Answer: D
Question 13
1 markWhich of the following is a correct necessary and sufficient condition for a parallelogram to be a rectangle?
- A.its diagonals are perpendicular
- B.its diagonals are equal in length
- C.all four sides are equal
- D.it has a pair of parallel sides
- E.its diagonals bisect each other
Answer: B
Question 14
1 markLet and be sets with . Which of the following must be true?
- A.
- B.
- C.
- D.
- E. and are disjoint
Answer: D
Question 15
1 markConsider the statement: "For all integers , , : if divides then divides or divides ." This statement is:
- A.true
- B.false, and , , is a counterexample
- C.false, and , , is a counterexample
- D.false, and , , is a counterexample
- E.true, because it holds whenever is prime
Answer: B
Question 16
1 markFor which real values of is the statement "" true?
- A.only for
- B.for all real
- C.for all
- D.for no real
- E.only for
Answer: B
Question 17
1 markThe converse of the statement "If a function is differentiable at a point then it is continuous at that point" is:
- A.If a function is continuous at a point then it is differentiable there
- B.If a function is not differentiable at a point then it is not continuous there
- C.If a function is not continuous at a point then it is not differentiable there
- D.A function is differentiable at a point if and only if it is continuous there
- E.If a function is continuous at a point then it is not differentiable there
Answer: A
Question 18
1 markThree boxes are labelled "Apples", "Oranges" and "Mixed". You are told that every label is wrong. You may draw a single fruit from one box of your choice and look at it. From which box should you draw in order to guarantee that you can then deduce the contents of all three boxes?
- A.the box labelled "Apples"
- B.the box labelled "Oranges"
- C.the box labelled "Mixed"
- D.any single box will work
- E.it cannot be done with a single draw
Answer: C
Question 19
1 markThe arithmetic-geometric mean inequality states that for all positive reals , . Using only this fact, the minimum value of for is:
- A.
- B.
- C.
- D.
- E.there is no minimum
Answer: B
Question 20
1 markLet be an integer and consider the statement "if is odd then is even". Which of the following are true?
I. The statement is true.
II. In fact is even for every integer .
III. The converse of the statement is true.
I. The statement is true.
II. In fact is even for every integer .
III. The converse of the statement is true.
- A.I only
- B.I and II only
- C.I, II and III
- D.II only
- E.III only
Answer: B