40% off

Ends in

--d--h--mLock in £90
← All past papers

TMUA Challenge Paper 2 Tmua-p2-challenge-2

20 questions20 marks75Updated August 2026

The TMUA Challenge Paper 2 Tmua-p2-challenge-2 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 mark
Which of the following is a counterexample to the claim that n2+n+41n^{2}+n+41 is prime for every positive integer nn?
  • A.n=1n=1
  • B.n=10n=10
  • C.n=20n=20
  • D.n=30n=30
  • E.n=40n=40
  • F.n=39n=39
  • G.n=50n=50
  • H.there is none

Answer: E

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 2

1 mark
Consider the statement: if aa and bb are both rational then a+ba+b is rational. Which of the following is its contrapositive?
  • A.If a+ba+b is rational then aa and bb are both rational.
  • B.If aa and bb are not both rational then a+ba+b is irrational.
  • C.If a+ba+b is irrational then at least one of aa and bb is irrational.
  • D.If a+ba+b is irrational then neither aa nor bb is rational.
  • E.If aa or bb is irrational then a+ba+b is irrational.
  • F.If aa and bb are both irrational then a+ba+b is irrational.
  • G.If a+ba+b is rational then at least one of aa and bb is rational.
  • H.If at least one of aa and bb is irrational then a+ba+b is not rational.

Answer: C

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 3

1 mark
For the quadratic ax2+bx+cax^{2}+bx+c with a0a\ne 0 and aa, bb, cc real, the condition ac<0ac<0 is
  • A.necessary but not sufficient for two distinct real roots.
  • B.necessary and sufficient for two distinct real roots.
  • C.neither necessary nor sufficient for two distinct real roots.
  • D.sufficient for two distinct real roots only when b=0b=0.
  • E.necessary but not sufficient for two distinct real roots of opposite sign.
  • F.sufficient but not necessary for two distinct real roots.
  • G.equivalent to the discriminant being positive.
  • H.necessary and sufficient for two distinct real roots of the same sign.

Answer: F

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 4

1 mark
Consider these three statements about real numbers.

Exam diagram


Which are true?
  • A.none of them
  • B.PP only
  • C.QQ only
  • D.RR only
  • E.PP and QQ
  • F.PP and RR
  • G.QQ and RR
  • H.PP, QQ and RR

Answer: G

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 5

1 mark
The numbers 1,2,3,,20261,2,3,\dots,2026 are written on a board. Repeatedly, two of the numbers, aa and bb, are rubbed out and ab|a-b| is written in their place. After 20252025 such steps a single number is left. Which of the following must be true of it?
  • A.It is 00.
  • B.It is 11.
  • C.It is odd.
  • D.It is even.
  • E.It is a multiple of 10131013.
  • F.It is at least 10131013.
  • G.It is prime.
  • H.None of these must be true.

Answer: C

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 6

1 mark
The following argument is offered, where aa and bb are non-zero real numbers.

Exam diagram


At which step does the argument first fail?
  • A.step (2)
  • B.step (3)
  • C.step (4)
  • D.step (5)
  • E.step (6)
  • F.step (1)
  • G.more than one step fails
  • H.it does not fail

Answer: D

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 7

1 mark
Which statement best justifies the claim that n3nn^{3}-n is divisible by 66 for every integer nn?
  • A.n3n^{3} and nn always have the same parity.
  • B.66 divides n3n^{3} for every integer nn.
  • C.n3n=n(n21)n^{3}-n=n(n^{2}-1), and n21n^{2}-1 is always even.
  • D.The result holds for n=1,2,3n=1,2,3 and therefore for all nn.
  • E.n3n(mod6)n^{3}\equiv n \pmod 6 because 66 has no repeated prime factor.
  • F.n3n=(n1)n(n+1)n^{3}-n=(n-1)n(n+1), and a product of three integers is always divisible by 66.
  • G.n3nn^{3}-n is even, and every even number is divisible by 66.
  • H.n3n=(n1)n(n+1)n^{3}-n=(n-1)n(n+1) is a product of three consecutive integers, so one of them is a multiple of 33 and at least one is even.

Answer: H

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 8

1 mark
Consider the claim: if 33 divides a2+b2a^{2}+b^{2} then 33 divides aa and 33 divides bb, where aa and bb are integers. Which of the following is correct?
  • A.True: a square is congruent to 00 or 11 modulo 33, so a sum of two squares is divisible by 33 only when both squares are.
  • B.True, but only when aa and bb are both positive.
  • C.False, as a=1a=1, b=2b=2 shows.
  • D.False, as a=3a=3, b=6b=6 shows.
  • E.True, and it follows at once from the fact that 33 is prime, with no further argument needed.
  • F.False, as a=1a=1, b=5b=5 shows.
  • G.True, because a2+b2=(a+b)22aba^{2}+b^{2}=(a+b)^{2}-2ab and 33 must therefore divide 2ab2ab.
  • H.False, as a=2a=2, b=4b=4 shows.

Answer: A

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 9

1 mark
A sequence (an)(a_n) and a number LL are given. Consider the statement

Exam diagram


Which of the following is its negation?
  • A.For every ε>0\varepsilon>0 there exists NN such that anLε|a_n-L|\ge\varepsilon for all n>Nn>N.
  • B.There exists ε>0\varepsilon>0 such that for every NN there exists n>Nn>N with anLε|a_n-L|\ge\varepsilon.
  • C.There exist ε>0\varepsilon>0 and NN such that anLε|a_n-L|\ge\varepsilon for all n>Nn>N.
  • D.For every ε>0\varepsilon>0 and every NN there exists n>Nn>N with anLε|a_n-L|\ge\varepsilon.
  • E.There exists ε>0\varepsilon>0 such that anLε|a_n-L|\ge\varepsilon for every nn.
  • F.For every NN there exist ε>0\varepsilon>0 and n>Nn>N with anLε|a_n-L|\ge\varepsilon.
  • G.There exists NN such that for every ε>0\varepsilon>0 there exists n>Nn>N with anLε|a_n-L|\ge\varepsilon.
  • H.For every ε>0\varepsilon>0 there exists NN such that anL>ε|a_n-L|>\varepsilon for some n>Nn>N.

Answer: B

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 10

1 mark
Which of the following establishes that a 10×1010\times10 board cannot be tiled by 1×41\times4 pieces, each of which covers four squares in a row or in a column?
  • A.100100 is not divisible by 44, so no tiling exists.
  • B.Colour the board like a chessboard. Each piece covers two squares of each colour, and the two colours occur unequally often.
  • C.No piece can be placed in a corner of the board.
  • D.The board has an even number of squares, so any tiling would use an odd number of pieces.
  • E.Nothing establishes it: a tiling does exist.
  • F.Colour the square in row ii and column jj with i+ji+j modulo 44. Each piece covers all four colours once, so a tiling would need 2525 squares of each colour; in fact they occur 2525, 2626, 2525 and 2424 times.
  • G.Colour the columns in the repeating pattern 1,2,3,4,1,2,1,2,3,4,1,2,\dots Each piece covers all four colours, and the colours occur 3030, 3030, 2020 and 2020 times.
  • H.A tiling would use 2525 pieces, and 2525 is odd.

Answer: F

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 11

1 mark
The diagram shows a sketch of y=f(x)y=f'(x), the derivative of a function ff defined for all real xx. The curve meets the xx-axis at x=2x=-2 and x=1x=1, and touches it at x=3x=3.

Exam diagram


Which statement about
ff is true?
  • A.ff has a local minimum at x=2x=-2 and a local maximum at x=1x=1.
  • B.ff has exactly two stationary points.
  • C.ff has a local maximum at x=1x=1 and a local minimum at x=2x=-2.
  • D.ff has a local maximum at x=2x=-2, a local minimum at x=1x=1, and a stationary point of inflection at x=3x=3.
  • E.ff is decreasing for x>3x>3.
  • F.ff has a local maximum at x=3x=3.
  • G.ff has a local minimum at x=3x=3.
  • H.ff is increasing for 2<x<1-2<x<1.

Answer: D

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 12

1 mark
Five points are placed inside a square of side 22. Which argument shows that some two of them are a distance at most 2\sqrt2 apart?
  • A.Divide the square into four squares of side 11; two of the points lie in the same one, and its diagonal is 2\sqrt2.
  • B.The five points cannot all lie at corners of the square.
  • C.The average of the ten distances between the points is less than 2\sqrt2.
  • D.Divide the square into five regions; each point lies in one of them.
  • E.No argument works: the four corners together with the centre is a counterexample.
  • F.The square has diagonal 222\sqrt2, and half of 222\sqrt2 is 2\sqrt2.
  • G.Divide the square into two rectangles; three of the points lie in the same one.
  • H.Any five points in the plane include two at distance at most 2\sqrt2.

Answer: A

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 13

1 mark
On an island there are 1313 red, 1515 green and 1717 blue chameleons. Whenever two chameleons of different colours meet, both change to the third colour; nothing else changes a chameleon's colour. Which of the following states can be reached?
  • A.All 4545 red.
  • B.All 4545 green.
  • C.All 4545 blue.
  • D.1515 of each colour.
  • E.2222 red, 2222 green and 11 blue.
  • F.Any one of "all red", "all green" and "all blue".
  • G."All green", but neither of the other two single-colour states.
  • H.None of the states listed above.

Answer: H

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 14

1 mark
The inequality x2+bx+c>0x^{2}+bx+c>0 holds for every real xx if and only if
  • A.b2>4cb^{2}>4c
  • B.b2<4cb^{2}<4c
  • C.c>0c>0
  • D.b24cb^{2}\le 4c
  • E.b2<4cb^{2}<4c and b>0b>0
  • F.c>0c>0 and b>0b>0
  • G.b2<4cb^{2}<4c or c>0c>0
  • H.b24cb^{2}\ge 4c

Answer: B

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 15

1 mark
Two squares at opposite ends of a diagonal are removed from an 8×88\times 8 board, as shown. Can the remaining 6262 squares be covered exactly by 3131 dominoes, each covering two squares that share an edge?

Exam diagram
  • A.Yes, and an explicit covering can be written down.
  • B.Yes, because 6262 is even.
  • C.No, because 6262 is not divisible by 44.
  • D.No, because no domino can be placed in a corner.
  • E.Yes, because 62=2×3162=2\times31.
  • F.No, because an odd number of rows is left uncovered.
  • G.No: the two removed squares are the same colour, so 3232 squares of one colour and 3030 of the other remain, while every domino covers one of each.
  • H.It depends on which pair of opposite corners is removed.

Answer: G

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 16

1 mark
Let SS be a set of ten distinct positive integers, each less than 100100. Which of the following must be true?
  • A.SS contains two elements whose sum is 100100.
  • B.SS contains three elements in arithmetic progression.
  • C.SS contains two elements whose difference is 1010.
  • D.The elements of SS have sum at least 100100.
  • E.SS has two disjoint non-empty subsets with the same sum.
  • F.SS contains two elements, one of which divides the other.
  • G.SS contains a multiple of 1010.
  • H.The largest element of SS is at least 5555.

Answer: E

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 17

1 mark
Consider the statement for all real xx, if x>1x>1 then x2>xx^{2}>x. Which of the following is correct?
  • A.The statement and its converse are both true.
  • B.The statement is false, as x=12x=\tfrac12 shows.
  • C.The converse is true and the contrapositive is false.
  • D.The statement and its contrapositive are true, but the converse is false, as x=1x=-1 shows.
  • E.The statement, its converse and its contrapositive are all false.
  • F.The converse and the contrapositive are both true.
  • G.The statement is true and its contrapositive is false.
  • H.The statement is true, and its converse is false, as x=2x=2 shows.

Answer: D

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 18

1 mark
How many of the ten digits can occur as the final digit of a perfect square?
  • A.44
  • B.55
  • C.66
  • D.77
  • E.88
  • F.99
  • G.1010
  • H.33

Answer: C

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 19

1 mark
For positive real aa and bb, which single fact is enough to prove that ab+ba2\dfrac{a}{b}+\dfrac{b}{a}\ge 2?
  • A.(ab)20(a-b)^{2}\ge 0
  • B.(a+b)20(a+b)^{2}\ge 0
  • C.a2+b20a^{2}+b^{2}\ge 0
  • D.ab>0ab>0
  • E.ab>0\tfrac{a}{b}>0 and ba>0\tfrac{b}{a}>0
  • F.a>0a>0 and b>0b>0
  • G.a2+b2>aba^{2}+b^{2}>ab
  • H.(ab)2>0(a-b)^{2}>0

Answer: A

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →

Question 20

1 mark
Consider the statement: for every integer nn such that n2+nn^{2}+n is odd, nn is a multiple of 77. Which of the following is correct?
  • A.It is false, as n=3n=3 shows.
  • B.It is true, vacuously: n2+n=n(n+1)n^{2}+n=n(n+1) is always even, so there is no such nn.
  • C.It is false, as n=1n=1 shows.
  • D.It is true, and every such nn happens to be a multiple of 77.
  • E.It is neither true nor false, because no such nn exists.
  • F.It is false, as n=7n=7 shows.
  • G.It is true, but only because 77 is prime.
  • H.It cannot be decided without knowing which integers nn are allowed.

Answer: B

Full step-by-step worked solution

Locked. Available with a free account.

Unlock worked solutions →
TMUA Challenge Paper 2 Tmua-p2-challenge-2: Questions & Worked Solutions | tmua.fyi