Number Play
Can you tell if a HUGE number is divisible by 9 or 11 — without dividing at all? Discover the shortcuts, crack cryptarithm puzzles, and try the live divisibility checker below!
Is this a multiple of…?
Flipping just ONE sign (say, changing +b to −b) changes the total by 2b — and 2 times ANYTHING is always even. So flipping signs can never change whether the result is even or odd — it always stays the same parity!
| Rule |
|---|
| odd ± odd = even |
| even ± even = even |
| odd ± even = odd |
If a divides both M and N, then it divides M+N and M-N too. If a number is divisible by b AND by c, it's divisible by LCM(b, c) — NOT just b×c (careful: 12 is divisible by both 4 and 6, but NOT by 24!).
Grouped by 3's, one pebble is left over. Grouped by 5's, one is still left over. Grouped by 7's, they divide perfectly. There are fewer than 100 pebbles. How many are there?
๐งช Always, Sometimes, or Never โ 8 worked examples from the book
Before the exercises, the book walks through 8 numbered statements about factors and multiples, deciding if each is Always True, Sometimes True, or Never True โ using algebra AND a rows-of-dots picture. These are the reasoning tools Q3 and Q12 below are built on!
The two numbers are multiples of 8: 8a and 8b. Picture them as rows of 8 dots โ a rows and b rows. Stack the rows together:
Always true. In general, if a divides M and a divides N, then a divides both M+N and MโN too.
A number divisible by 8 is 8m. It CAN be split as a sum of two multiples of 8, like 8m = 8a + 8b (e.g. 72 = 48+24). But it can ALSO be split as a sum of two numbers that are NOT multiples of 8, like 8m = p + q (e.g. 72 = 50+22, and neither 50 nor 22 is a multiple of 8).
Sometimes true. It depends how you split the number โ sometimes both parts are multiples of 8, sometimes neither is.
A number divisible by 7 is 7j. Any multiple of it is (7j) × m = 7jm โ that's m groups of j rows of 7, still a total that's a multiple of 7.
Always true. In general, if A is divisible by k, then all multiples of A are also divisible by k.
A number divisible by 12 is 12m = 2ร6รm = 3ร4รm โ any factor of 12 (1,2,3,4,6,12) divides evenly into "12" itself, so it also divides evenly into "12m", covering complete rows every time.
Always true. In general, if A is divisible by k, then A is divisible by all the factors of k.
A number divisible by 7 is 7k. A multiple of 7 is 7m. Now 7k is divisible by 7m ONLY when k is itself a multiple of m (say k = ym, so 7k รท 7m = 7ym รท 7m = y, a whole number).
Sometimes true.
9 and 4 share NO common factor (they're coprime), so LCM(9,4) = 9ร4 = 36.
Always true โ a number divisible by both 9 and 4 must be divisible by LCM(9,4) = 36.
6 and 4 share a common factor of 2 (NOT coprime), so LCM(6,4) = 12, not 24. Example: 12 is divisible by both 6 and 4, but NOT by 24.
Never true (the correct guaranteed divisor is only LCM(6,4)=12). In general: if A is divisible by k AND by m, then A is divisible by LCM(k, m) โ not necessarily by k×m.
Every multiple of 6 is even. But an odd + an even number is always ODD. An odd number can never equal an even multiple of 6 โ contradiction straight away! Algebraically, suppose it COULD happen:
Never true โ the left side 2(n+m) is always EVEN, but the right side 6jโ1 is always ODD. An even number can never equal an odd number, so this can never happen.
โ What Remains?
Numbers that leave remainder 0 when divided by 5 are the multiples of 5, written 5k. We want numbers that are 3 MORE than a multiple of 5 โ so the number should be 5k + 3.
Both (iv) 5k+3 AND (v) 5kโ2 work! They describe the exact same set of numbers โ just with k starting from a different place (kโฅ0 for 5k+3, or kโฅ1 for 5kโ2).
| k | 0 | 1 | 2 | 3 | 4 |
|---|---|---|---|---|---|
| 5k + 3 | 3 | 8 | 13 | 18 | 23 |
| k | 1 | 2 | 3 | 4 | 5 |
|---|---|---|---|---|---|
| 5k โ 2 | 3 | 8 | 13 | 18 | 23 |
Notice both tables give the SAME output numbers (3, 8, 13, 18, 23…) โ just a different starting value of k. That's why both expressions correctly describe "numbers 3 more than a multiple of 5".
๐ Figure It Out โ Section 5.1
If p is the BIGGEST, the others count down from it one at a time.
(i) The sum of two even numbers is a multiple of 3. Sometimes true โ 2+4=6 โ multiple of 3, but 2+6=8 โ not.
(ii) If a number is not divisible by 18, then it is also not divisible by 9. Sometimes true โ 30 is not divisible by 18 or 9 (fits), but 27 is not divisible by 18 yet IS divisible by 9 (breaks it).
(iii) If two numbers are not divisible by 6, their sum is not divisible by 6. Sometimes true โ 9+11=20, not divisible by 6 (fits), but 8+10=18, which IS divisible by 6 (breaks it).
(iv) The sum of a multiple of 6 and a multiple of 9 is a multiple of 3. Always true โ multiple of 6 = 6x, multiple of 9 = 9y. Sum = 6x+9y = 3(2x+3y), which always has 3 as a factor.
(v) The sum of a multiple of 6 and a multiple of 3 is a multiple of 9. Sometimes true โ 18+9=27 โ multiple of 9, but 12+9=21 โ not (21รท9 is not exact).
If x is the number, then xโ2 must be a multiple of BOTH 3 and 4 โ so xโ2 must be a multiple of LCM(3,4) = 12.
Let the three numbers be 6a+2, 6b+2, 6c+2.
Yes, Tathagat's claim is true! The sum is always 6 times a whole number. (We meet this exact case study again in the exam-practice section below.)
Write both numbers algebraically: 4779 = 7p+5 and 661 = 7q+3.
Visually: think of 4779 as "5 extra beyond a stack of 7s" and 661 as "3 extra beyond a stack of 7s". Adding the extras (5+3=8) gives 1 full extra 7 plus 1 left over; subtracting the extras (5โ3=2) leaves 2 over.
Breaking Even & Pairs to Make Fours
๐ข Activity: Breaking Even
Without computing the full answer, which of these ARITHMETIC expressions are even?
| Expression | Even or odd? | Why |
|---|---|---|
| 43 + 37 | Even โ | odd + odd = even |
| 672 โ 348 | Even โ | even โ even = even |
| 4 ร 347 ร 3 | Even โ | has a factor of 4 (even ร anything = even) |
| 708 โ 477 | Odd โ | even โ odd = odd |
| 809 + 214 | Odd โ | odd + even = odd |
| 119 ร 303 | Odd โ | odd ร odd = odd |
| 543 โ 479 | Even โ | odd โ odd = even |
| 513 ร 3 | Odd โ | odd ร odd = odd |
Now the ALGEBRAIC expressions โ which ALWAYS give an even number, for ANY whole numbers put in?
| Expression | Always even? | Why |
|---|---|---|
| 2a + 2b | Yes โ | = 2(a+b) โ factor of 2 |
| 3g + 5h | No โ | g=1,h=1 gives 8 (even) but g=1,h=2 gives 13 (odd) |
| 4m + 2n | Yes โ | = 2(2m+n) โ factor of 2 |
| 2u โ 4v | Yes โ | = 2(uโ2v) โ factor of 2 |
| 13k โ 5k | Yes โ | simplifies to 8k โ factor of 2 |
| 6m โ 3n | No โ | = 3(2mโn); m=1,n=1 gives 3 (odd) |
| xยฒ + 2 | No โ | x=6 gives 38 (even) but x=3 gives 11 (odd) โ xยฒ keeps the parity of x |
| bยฒ + 1 | No โ | b=2 gives 5 (odd) but b=3 gives 10 (even) |
| 4k ร 3j | Yes โ | = 12kj โ factor of 2 (in fact factor of 12) |
An expression is ALWAYS even only when EVERY term is guaranteed even โ usually because you can pull out a common factor of 2 from the whole expression, like 4m+2q = 2(2m+q).
๐ข Activity: Pairs to Make Fours
Take a pair of even numbers and add them. Is the sum ALWAYS a multiple of 4? Even numbers split into two types: multiples of 4 (remainder 0), and non-multiples of 4 (remainder 2).
| Case | Algebra | Result | Examples |
|---|---|---|---|
| multiple of 4 + multiple of 4 | 4p + 4q | = 4(p+q) โ always mult. of 4 | 12+16=28 โ |
| non-mult of 4 + non-mult of 4 | (4p+2)+(4q+2) | = 4(p+q+1) โ always mult. of 4 (the two 2's add up to 4) | 6+10=16 โ |
| multiple of 4 + non-mult of 4 | 4p + (4q+2) | = 4(p+q)+2 โ never a mult. of 4 (remainder 2 left over) | 12+6=18 โ |
It's the SAME idea as even+even=even and even+odd=odd โ just one level deeper. Two numbers that "match remainders" (both 0 mod 4, or both 2 mod 4) combine to a clean multiple of 4. Two numbers with DIFFERENT remainders mod 4 don't.
Divisibility shortcuts
A number is divisible by 9 if and only if the sum of its digits is divisible by 9. Keep adding digits until you get a single digit โ that's the remainder when dividing by 9!
All FOUR statements are true! This is because "divisible by 9" and "digit sum divisible by 9" are exactly the SAME condition โ they always happen together, and are always absent together. Statements (i)/(ii) are the "if...then" pair proving the rule works both ways; (iii)/(iv) are just their opposite (contrapositive) versions, which are automatically true whenever the original statement is true.
๐ Figure It Out โ divisibility by 9
Only 405 is divisible by 9.
Only even digits allowed: 0, 2, 4, 6, 8. Their digit sum must be a multiple of 9 โ but you can't make 9 itself from even digits (it's odd!), so the SMALLEST possible digit sum is 18.
288 (2+8+8=18, divisible by 9, and every digit is even).
6003 is closer (only 3 away, vs 5994 which is 6 away).
First multiple of 9 after 4300 is 4302, last one before 4400 is 4392.
11 multiples of 9 lie between 4300 and 4400.
A number is divisible by 3 if the sum of its digits is divisible by 3 โ same idea as the rule for 9!
๐ฎ Try the live divisibility-by-9 checker
Starting from the units digit, place alternating +/− signs on each digit, then add. If the result is 0 (or a multiple of 11), the number is divisible by 11!
Answers: 4, 5, 8, 7, divisible, divisible.
๐ฎ Try the live divisibility-by-11 checker
๐ Fill in the blanks: divisibility table
Cover the table, work out each Yes/No yourself using the shortcuts, then check!
| Number | 2 | 3 | 4 | 5 | 6 | 8 | 9 | 10 | 11 |
|---|---|---|---|---|---|---|---|---|---|
| 128 | Yes | No | Yes | No | No | Yes | No | No | No |
| 990 | Yes | Yes | No | Yes | Yes | No | Yes | Yes | Yes |
| 1586 | Yes | No | No | No | No | No | No | No | No |
| 275 | No | No | No | Yes | No | No | No | No | Yes |
| 6686 | Yes | No | No | No | No | No | No | No | No |
| 639210 | Yes | Yes | No | Yes | Yes | No | No | Yes | Yes |
| 429714 | Yes | Yes | No | No | Yes | No | Yes | No | No |
| 2856 | Yes | Yes | Yes | No | Yes | Yes | No | No | No |
| 3060 | Yes | Yes | Yes | Yes | Yes | No | Yes | Yes | No |
| 406839 | No | Yes | No | No | No | No | No | No | No |
Quick way: check 2 (last digit even), 5 (last digit 0/5), 4 (last 2 digits รท4), 8 (last 3 digits รท8), 3 & 9 (digit sum), 10 (last digit 0), 6 (divisible by BOTH 2 and 3), 11 (alternating sum).
To check divisibility by 6, use the shortcuts for its factors 2 AND 3 together โ a number is divisible by 6 only if BOTH work.
But this "check both factors" trick only works when the two factors share NO common factor (are coprime). 4 and 6 both share a factor of 2, so checking 4-and-6 only guarantees divisibility by LCM(4,6)=12 โ NOT 24! Instead, check 3-and-8 (which ARE coprime โ 3ร8=24=LCM(3,8)) to correctly test for divisibility by 24.
Digital roots
Keep adding a number's digits together, over and over, until only ONE digit remains. That final digit is the digital root.
Aryabhata II (c. 950 CE) described this exact digital-root method in his work Mahฤsiddhฤnta โ used for over a thousand years to double-check arithmetic calculations!
If a number's digital root is 9, its remainder when divided by 9 is 0. If the digital root is LESS than 9, that digital root IS the remainder! Digital roots are just a fast way to find remainders รท 9.
(i) Digital root 5: 608, 617, 626, 635, 644, 653, 662, 671, 680, 689, 698.
(ii) Digital root 7: 601, 610, 619, 628, 637, 646, 655, 664, 673, 682, 691.
(iii) Digital root 3: 606, 615, 624, 633, 642, 651, 660, 669, 678, 687, 696.
Multiples of 3: digital roots go 3, 6, 9, 3, 6, 9, ... โ a cycle of 3.
Multiples of 4: digital roots go 4, 8, 3, 7, 2, 6, 1, 5, 9, 4, 8, 3, ... โ a cycle of 9.
Multiples of 6: digital roots go 6, 3, 9, 6, 3, 9, ... โ a cycle of 3.
"I'm made of digits, each tiniest and odd,
No shared ground with root #1 โ how odd!
My digits count, their sum, my root โ
All point to one bold number's pursuit โ
The largest odd single-digit I proudly claim.
What's my number? What's my name?"
Clue-breaking: "made of digits, each tiniest and odd" โ every digit is 1 (the smallest odd digit, "no shared ground with root #1" is a wordplay hint too). "The largest odd single-digit" = 9 โ the digit COUNT, the digit SUM, and the digital ROOT must all equal 9. Nine 1's have digit sum 1ร9=9, and digital root 9 too โ it all fits!
๐ Figure It Out โ digital roots
Adding 10 to a number usually just adds 1 to the tens digit โ which adds 1 to the digit sum too (as long as there's no carrying/borrowing, e.g. 40000001 + 10 = 40000011).
Start with 10, keep adding 11: 10, 21, 32, 43, 54, 65, 76, 87, 98, 109, 120, ...
The digital roots go up by 2 each time (wrapping around after 9): 1,3,5,7,9,2,4,6,8,1,3,... โ because adding 11 is like adding 1+1=2 to the digit sum (until a carry resets things).
9(a+4b+1) is ALWAYS a multiple of 9, whose digital root is always 9. Adding the leftover 4 pushes the digital root to 9 + 4 = 13 โ 1+3 = 4.
(i) Parity vs digital root: No consistent pattern โ a number can be even or odd no matter what its digital root is (e.g. digital root 4 can come from 4, 13, 22, 31... which alternate even/odd).
(ii) Digital root vs remainder mod 3 / mod 9: Digital roots 3, 6, 9 โ remainder 0 mod 3. Digital roots 1, 4, 7 โ remainder 1 mod 3. Digital roots 2, 5, 8 โ remainder 2 mod 3. And for mod 9: if digital root is 9, remainder mod 9 is 0; otherwise the digital root itself IS the remainder mod 9.
Digits in disguise (cryptarithms)
In a cryptarithm, each letter secretly stands for a digit โ and the first digit of any number can never be 0.
โ Four addition cryptarithms
PQ is a 2-digit number, and multiplying by 8 must STILL give a 2-digit number (RS). What's the biggest PQ could be?
In GH × H = 9K, the SAME digit H must be both the units digit of GH AND the number we're multiplying by. Check each option for that:
24 × 4 = 96 is the answer — G=2, H=4, K=6.
Since the product RAY is only a 3-digit number, B can't be 2 or more (200ร6=1200, already 4 digits) โ so B = 1.
Now think about Y: if Y were 7 or more, say Y=7, then BYE would be at least 170-something, and 170 × 6 = 1020 — a 4-digit number, too big! So Y cannot be 7, 8, or 9.
Also, the LAST digit of BYEร6 must come back around to Y again (since the answer ends in ...AY, and Y is BYE's middle digit โ the multiplication's units digit E×6 must produce a units digit that, after carrying, keeps the pattern consistent). Working through it, Y must be even.
105 × 6 = 630 — so B=1, Y=0, E=5, R=6, A=3.
Look at size constraints first (how many digits can the answer have?), then test small numbers systematically. Each letter = exactly one digit, used consistently everywhere it appears!
โ๏ธ Six more multiplication cryptarithms โ "Solve the following"
Every question from the book
Notice each remainder is exactly ONE LESS than its divisor (2=3โ1, 3=4โ1, 4=5โ1) โ so the number is 1 less than a common multiple of 3, 4, and 5.
Digit sum: 3+1+z+5 = 9+z, which must be a multiple of 9.
Two answers: z=0 or z=9 โ both make the digit sum a multiple of 9!
(i) Yes, always true! Reversing digits never changes the digit SUM โ and divisibility by 9 only depends on the digit sum.
(ii) Yes โ ANY shuffle works, not just reversing! You can rearrange the digits into ANY order you like (not just backwards) and the number will STILL be a multiple of 9. That's because shuffling digits around only changes their POSITIONS, never their VALUES โ so the digit sum stays exactly the same no matter how you mix them up. Example: 4527 (digit sum 18, รท9 โ) can be shuffled to 2745, 7254, 5274, etc. โ every shuffle has digit sum 18, so every shuffle is still divisible by 9.
False! Any multiple of 11 is 11k. Doubling gives 22k = 11(2k) โ still ALWAYS a multiple of 11, no exceptions ever.
2 consecutive integers: always a multiple of 2 โ one of any two consecutive numbers must be even, so their product is always even.
3 consecutive integers: always a multiple of 6 (2ร3=6) โ there's always at least one multiple of 2 and one multiple of 3 among any 3 consecutive numbers.
4 consecutive integers: always a multiple of 24 (2ร3ร4=24) โ same idea, extended!
5 consecutive integers: always a multiple of 120 (2ร3ร4ร5=120) โ among any 5 consecutive integers there's always at least one multiple each of 2, 3, 4, and 5.
Let the numbers be a=12n+8 and b=12m-4.
Snehal is WRONG. The sum is always 4 more than a multiple of 12, but that's NOT guaranteed to be a multiple of 8. Try k=2: 12(2)+4=28, and 28รท8=3.5 โ not a multiple of 8!
Let the two multiples of 3 be 3m and 3n.
This is a multiple of 6 exactly when (m+n) is EVEN โ i.e. when m and n have the SAME parity (both even or both odd). Example: 3ร2+3ร4=6+12=18=6ร3 โ (both even). Non-example: 3ร2+3ร3=6+9=15, not a multiple of 6 (one even, one odd).
18 = 2 ร 9, so the number needs BOTH: b must be even (b = 0,2,4,6,8), and the digit sum 4+8+a+2+3+b = 17+a+b must be a multiple of 9.
Possible (a,b) pairs: (1,0), (8,2), (6,4), (4,6), (2,8).
One set: 2, 3, 4 (2 is a multiple of 2, 3 is a multiple of 3, 4 is a multiple of 4) โ
Since LCM(2,3,4)=12, this pattern repeats every 12 numbers: the next set is 14, 15, 16 (14รท2=7 โ, 15รท3=5 โ, 16รท4=4 โ), then 26, 27, 28, and so on forever.
36 = 4 ร 9, and 4 and 9 are coprime, so check BOTH: last 2 digits divisible by 4, AND digit sum divisible by 9.
45036, 45072, 45108, 45144, 45180 โ each one exactly 36 more than the last!
Consecutive EVEN numbers differ by 2 each โ so counting out from the middle (5p):
The other four numbers: 5pโ4, 5pโ2, 5p+2, 5p+4.
Divisible by 15 means divisible by 3 AND 5 (ends in 0 or 5). But if it ends in 0, reversing puts 0 in FRONT โ no longer a 6-digit number! So it must end in 5.
Reversed, the number must be divisible by 6 (even AND digit-sum รท3) โ so the reversed number's LAST digit (the original number's FIRST digit) must be even.
Example answer: 200025 (many other answers exist too, e.g. 200055, 400035).
(i) The product of a multiple of 6 and a multiple of 3 is a multiple of 9. Always true โ (6a)(3b) = 18ab = 9(2ab), always has 9 as a factor.
(ii) The sum of three consecutive even numbers is divisible by 6. Always true โ 2n+(2n+2)+(2n+4) = 6n+6 = 6(n+1).
(iii) If abcdef is a multiple of 6, then badcef is also a multiple of 6. Always true โ swapping digit positions never changes the digit SUM (so divisible-by-3 stays true), and the last digit 'f' is unchanged (so divisible-by-2 stays true too).
(iv) 8(7bโ3) โ 4(11b+1) is a multiple of 12. Never true โ expanding: 56bโ24โ44bโ4 = 12bโ28 = 12(bโ3)+8, which is always 8 more than a multiple of 12, so never actually a multiple of 12 itself.
Every number leaves remainder 0, 1, or 2 when divided by 3. Look at the THREE remainders together:
Case 1 โ all three remainders are the SAME (0+0+0, 1+1+1, or 2+2+2): the remainder-sum is 0, 3, or 6 โ all multiples of 3, so the total IS divisible by 3. Example: 4+7+10 (remainders 1,1,1) = 21 = 3ร7 โ
Case 2 โ the three remainders are ALL DIFFERENT (one each of 0, 1, 2): remainder-sum = 0+1+2 = 3, a multiple of 3 โ so the total is ALSO divisible by 3! Example: 3+7+11 (remainders 0,1,2) = 21 = 3ร7 โ. Only when the remainders are a MIX with exactly two matching (like 0,0,1 or 1,1,2) does the sum fail to be divisible by 3.
(iv) is correct โ three nested circles, smallest to biggest: Multiples of 32 ⊂ Multiples of 8 ⊂ Multiples of 4.
Since 32 = 4ร8, every multiple of 32 is automatically a multiple of 8 AND of 4. And since 8 = 4ร2, every multiple of 8 is automatically a multiple of 4. So multiples of 4 form the BIGGEST circle, with multiples of 8 nested inside it, and multiples of 32 nested inside THAT.
Practice like the real exam
Section A · MCQ (1 mark each)
(b) the sum of its digits is divisible by 9
(b) 12 โ LCM(4,6)=12, NOT 24!
Section B · short answer (2 marks each)
Section C · longer answer (3 marks each)
4 and 6 share a common factor of 2 (they're not "coprime"), so a number divisible by both 4 and 6 is only guaranteed to be divisible by their LCM, which is 12 โ NOT 24 (12 itself is divisible by 4 and 6, but not 24!). But 3 and 8 share NO common factors (they're coprime), so their LCM equals their product: 3ร8=24. A number divisible by both 3 and 8 is guaranteed to be divisible by 24.
Section D · 4 marks each
Divisible by 44 means divisible by BOTH 4 and 11.
Section E · case study (4 marks)
(a) Such a number has the form 6n+2.
(b) Let the three numbers be 6a+2, 6b+2, 6c+2. Sum = 6a+6b+6c+6 = 6(a+b+c+1), which is ALWAYS a multiple of 6. Tathagat's claim is true!
(c) Example: 8, 14, 20 (each leaves remainder 2 รท 6). Sum = 8+14+20 = 42 = 6ร7 โ
Navakankari corner ๐ฒ
Navakankari (also called Sฤlu Mane ฤแนญa, Chฤr-Pฤr, or Navkakri) is a traditional Indian strategy board game โ the same game known in the West as "Nine Men's Morris" or "Mills". Two players try to form lines of three pawns to capture the opponent's pieces.
This is a fun cultural side-note from the chapter โ not something that's usually tested, but a neat piece of maths-and-culture trivia!
๐ฎ How to play
- Each player starts with 9 pawns. Players take turns placing one pawn at a time on marked intersections (only one pawn per spot).
- Once all pawns are placed, players take turns sliding a pawn to an ADJACENT empty spot, trying to line up 3 pawns in a row (horizontally or vertically).
- Whenever a player completes a line of 3, they get to remove one of the opponent's pawns (as long as it isn't part of one of the opponent's own lines).
A player wins when the opponent has fewer than 3 pawns left, or can no longer make any legal move!
You did it! ๐
The book wraps up Chapter 5 with these 4 official take-aways about divisibility, plus a nod to the digital-root shortcuts:
- If a is divisible by b, then ALL multiples of a are also divisible by b.
- If a is divisible by b, then a is divisible by ALL the factors of b.
- If a divides m and a divides n, then a divides m+n AND m−n.
- If a is divisible by b AND by c, then a is divisible by LCM(b, c) โ not necessarily b×c.
๐ Chapter 5 of 7 · Term 1 Maths · Prishita, Class 8