Number Theory (Intermediate)
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 ? (a) (b) (c) (d)
Q2. The decimal expansion of is: (a) terminating (b) purely repeating (c) eventually repeating (non-terminating) (d) irrational
Q3. Which statement correctly places the number systems? (a) (b) (c) (d)
Q4. The value of is: (a) (b) (c) (d)
Q5. equals: (a) (b) (c) (d)
Q6. Which of these is a solution to ? (a) (b) (c) (d)
Q7. Fermat's Little Theorem states that for a prime and integer with : (a) (b) (c) (d)
Q8. A number is divisible by if and only if it is divisible by: (a) and (b) and (c) and (d) only
Q9. By the Extended Euclidean Algorithm, integers with 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) (b) (c) (d)
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) | (a) terminating decimal |
| (ii) | (b) divisible by 3 and 9 |
| (iii) | (c) irrational |
| (iv) | (d) equals 1 |
| (v) | (e) repeating decimal |
Section C — True/False WITH Justification (2 marks each: 1 mark verdict, 1 mark justification)
Q12. True or False: The number is divisible by . Justify.
Q13. True or False: Every integer is a rational number. Justify.
Q14. True or False: means and are both prime. Justify.
Q15. True or False: . Justify.
Q16. True or False: is a rational number because . Justify.
Q17. True or False: The number is divisible by (using the divisibility rule for 7). Justify.
Q18. True or False: If , the Chinese Remainder Theorem guarantees a unique solution modulo to a pair of congruences , . Justify.
Answer keyMark scheme & solutions
Section A (1 mark each)
Q1. (a) . Rule for 11: alternating sum of digits . … recompute right-to-left: . Check others properly: For : alternating sum — not divisible. Correct answer is (d) : no. Re-evaluate cleanly:
- : digits ; alt sum → no.
- : → divisible. Answer: (b) . (1 mark) — alternating sum , a multiple of 11.
Q2. (a) terminating. ; denominator has only primes 2 and 5, so it terminates. (1)
Q3. (b). Naturals sit inside integers inside rationals inside reals. (1)
Q4. (a) . . (1)
Q5. (c) . , , so . (1)
Q6. (c) . , remainder 2. (1)
Q7. (b). Fermat: . (1)
Q8. (c) 2 and 3. with . (1)
Q9. (b) Bézout's identity. (1)
Q10. (c) . , , rational. (1)
Section B
Q11. (1 mark each)
- (i)–(c) irrational
- (ii)–(a) terminating
- (iii)–(d)
- (iv)–(e) repeating
- (v)–(b) : digit sum 18, divisible by 3 and 9
Section C (1 verdict + 1 justification)
Q12. TRUE. Digit sum , divisible by 3, so is. (1+1)
Q13. TRUE. Any integer , a ratio of integers with nonzero denominator, hence rational. (1+1)
Q14. FALSE. means coprime, not prime; e.g. but neither is prime. (1+1)
Q15. TRUE. . (1+1)
Q16. FALSE. is only an approximation; is irrational (non-terminating, non-repeating). (1+1)
Q17. FALSE. , remainder 3; not divisible by 7. (1+1)
Q18. TRUE. For coprime moduli the CRT gives a unique solution mod . (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)"}
]