Level 1 — RecognitionNumber Theory (Intermediate)

Number Theory (Intermediate)

20 minutes30 marksprintable — key stays hidden on paper

Time limit: 20 minutes Total marks: 30


Section A — Multiple Choice (1 mark each)

Choose the single best answer.

Q1. Which of the following numbers is divisible by 1111? (a) 1232112321 (b) 9072890728 (c) 4567845678 (d) 1000110001

Q2. The decimal expansion of 720\dfrac{7}{20} is: (a) terminating (b) purely repeating (c) eventually repeating (non-terminating) (d) irrational

Q3. Which statement correctly places the number systems? (a) RQZN\mathbb{R} \subset \mathbb{Q} \subset \mathbb{Z} \subset \mathbb{N} (b) NZQR\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} (c) ZNQR\mathbb{Z} \subset \mathbb{N} \subset \mathbb{Q} \subset \mathbb{R} (d) QNZR\mathbb{Q} \subset \mathbb{N} \subset \mathbb{Z} \subset \mathbb{R}

Q4. The value of 7+32|-7| + |3| - |-2| is: (a) 88 (b) 1212 (c) 6-6 (d) 22

Q5. gcd(48,36)\gcd(48, 36) equals: (a) 66 (b) 44 (c) 1212 (d) 144144

Q6. Which of these is a solution to x2(mod5)x \equiv 2 \pmod 5? (a) 1212 (b) 1515 (c) 2222 (d) 88

Q7. Fermat's Little Theorem states that for a prime pp and integer aa with pap \nmid a: (a) ap1(modp)a^{p} \equiv 1 \pmod p (b) ap11(modp)a^{p-1} \equiv 1 \pmod p (c) ap0(modp)a^{p} \equiv 0 \pmod p (d) ap1a(modp)a^{p-1} \equiv a \pmod p

Q8. A number is divisible by 66 if and only if it is divisible by: (a) 22 and 44 (b) 33 and 99 (c) 22 and 33 (d) 66 only

Q9. By the Extended Euclidean Algorithm, integers x,yx,y with ax+by=gcd(a,b)ax+by=\gcd(a,b) are guaranteed by: (a) Fermat's theorem (b) Bézout's identity (c) the CRT (d) the division algorithm alone

Q10. Which number is irrational? (a) 16\sqrt{16} (b) 0.30.\overline{3} (c) 2\sqrt{2} (d) 227\dfrac{22}{7}


Section B — Matching (5 marks)

Q11. Match each number/expression in Column A with its correct property in Column B. Write the pairing (e.g. i–c). (1 mark each)

Column A Column B
(i) 2\sqrt{2} (a) terminating decimal
(ii) 18\dfrac{1}{8} (b) divisible by 3 and 9
(iii) 17mod417 \bmod 4 (c) irrational
(iv) 23\dfrac{2}{3} (d) equals 1
(v) 9999 (e) repeating decimal

Section C — True/False WITH Justification (2 marks each: 1 mark verdict, 1 mark justification)

Q12. True or False: The number 123456123456 is divisible by 33. Justify.

Q13. True or False: Every integer is a rational number. Justify.

Q14. True or False: gcd(a,b)=1\gcd(a,b)=1 means aa and bb are both prime. Justify.

Q15. True or False: 73(mod10)7 \equiv -3 \pmod{10}. Justify.

Q16. True or False: π\pi is a rational number because π227\pi \approx \dfrac{22}{7}. Justify.

Q17. True or False: The number 7373 is divisible by 77 (using the divisibility rule for 7). Justify.

Q18. True or False: If gcd(m,n)=1\gcd(m,n)=1, the Chinese Remainder Theorem guarantees a unique solution modulo mnmn to a pair of congruences xa(modm)x\equiv a\pmod m, xb(modn)x\equiv b\pmod n. Justify.


Answer keyMark scheme & solutions

Section A (1 mark each)

Q1. (a) 1232112321. Rule for 11: alternating sum of digits 0(mod11)\equiv 0 \pmod{11}. 12+32+1=11-2+3-2+1 = 1… recompute right-to-left: 12+32+1=11-2+3-2+1=1. Check others properly: For 1232112321: alternating sum =(1+3+1)(2+2)=54=1= (1+3+1)-(2+2)=5-4=1 — not divisible. Correct answer is (d) 1000110001: (1+0+1)(0+0)=2(1+0+1)-(0+0)=2 no. Re-evaluate cleanly:

  • 1000110001: digits 1,0,0,0,11,0,0,0,1; alt sum =10+00+1=2=1-0+0-0+1=2 → no.
  • 9072890728: 90+72+8=220(mod11)9-0+7-2+8=22\equiv0\pmod{11}divisible. Answer: (b) 9072890728. (1 mark) — alternating sum =22=22, a multiple of 11.

Q2. (a) terminating. 720=7225=0.35\dfrac{7}{20}=\dfrac{7}{2^2\cdot5}=0.35; denominator has only primes 2 and 5, so it terminates. (1)

Q3. (b). Naturals sit inside integers inside rationals inside reals. (1)

Q4. (a) 88. 7+32=87+3-2=8. (1)

Q5. (c) 1212. 48=361+1248=36\cdot1+12, 36=12336=12\cdot3, so gcd=12\gcd=12. (1)

Q6. (c) 2222. 22=45+222=4\cdot5+2, remainder 2. (1)

Q7. (b). Fermat: ap11(modp)a^{p-1}\equiv1\pmod p. (1)

Q8. (c) 2 and 3. 6=236=2\cdot3 with gcd(2,3)=1\gcd(2,3)=1. (1)

Q9. (b) Bézout's identity. (1)

Q10. (c) 2\sqrt2. 16=4\sqrt{16}=4, 0.3=130.\overline3=\frac13, 227\frac{22}7 rational. (1)

Section B

Q11. (1 mark each)

  • (i)–(c) 2\sqrt2 irrational
  • (ii)–(a) 18=0.125\frac18=0.125 terminating
  • (iii)–(d) 17mod4=117\bmod4=1
  • (iv)–(e) 23=0.6\frac23=0.\overline6 repeating
  • (v)–(b) 9999: digit sum 18, divisible by 3 and 9

Section C (1 verdict + 1 justification)

Q12. TRUE. Digit sum 1+2+3+4+5+6=211+2+3+4+5+6=21, divisible by 3, so 123456123456 is. (1+1)

Q13. TRUE. Any integer n=n1n=\frac n1, a ratio of integers with nonzero denominator, hence rational. (1+1)

Q14. FALSE. gcd=1\gcd=1 means coprime, not prime; e.g. gcd(8,9)=1\gcd(8,9)=1 but neither is prime. (1+1)

Q15. TRUE. 7(3)=100(mod10)7-(-3)=10\equiv0\pmod{10}. (1+1)

Q16. FALSE. 227\frac{22}7 is only an approximation; π\pi is irrational (non-terminating, non-repeating). (1+1)

Q17. FALSE. 73=710+373=7\cdot10+3, remainder 3; not divisible by 7. (1+1)

Q18. TRUE. For coprime moduli the CRT gives a unique solution mod mnmn. (1+1)

[
  {"claim":"90728 divisible by 11 (alt sum 22)","code":"result = (90728 % 11 == 0)"},
  {"claim":"gcd(48,36)=12","code":"result = (gcd(48,36) == 12)"},
  {"claim":"7/20 terminates: equals 0.35","code":"result = (Rational(7,20) == Rational(35,100))"},
  {"claim":"7 congruent -3 mod 10","code":"result = ((7 - (-3)) % 10 == 0)"},
  {"claim":"73 not divisible by 7","code":"result = (73 % 7 != 0)"}
]