5.3 Cryptarithms & Quantitative Word Logic

Key Takeaways

  • Cryptarithms (alphametics) substitute unique digits (0–9) for distinct letters; solving them under 30-second constraints requires structural mathematical deduction rather than trial-and-error guessing.

  • The Highest-Order Carry Axiom dictates that the sum of two nn-digit numbers can produce an (n+1)(n+1)-digit result only if the leading carry digit is strictly equal to 1.

  • Balance-scale logic puzzles are solved rapidly by converting all shapes into a single common currency (transitive substitution) rather than constructing complex simultaneous algebraic equations.

  • Classical quantitative word riddles (such as head-and-foot counting) are solved in under 10 seconds using the Extremal All-One-Category Assumption Method instead of systems of linear equations.

  • Leading letters cannot represent zero, providing an immediate non-zero constraint (L≥1L \ge 1) that swiftly eliminates impossible options in cryptarithm and positional logic problems.

Last updated: October 2026

5.3 Cryptarithms & Quantitative Word Logic

At a Glance: Cryptarithms and quantitative word puzzles test mathematical deduction and logical constraint satisfaction under strict time limits. Attempting to solve alphametics or word riddles by trial-and-error or heavy algebra causes severe time loss. By applying fundamental cryptarithm axioms (leading-digit non-zero rules, carry-over bounds) and rapid mental models (extremal assumptions, transitive balance substitution), you can solve these problems in under 25 seconds.


Alphametics & Cryptarithm Fundamentals

A cryptarithm (or alphametic) is a mathematical puzzle in which arithmetic operations are written with letters replacing digits. Each distinct letter represents a unique single digit from the set {0,1,2,3,4,5,6,7,8,9}\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\}.

Standard conventions for cryptarithms:

  1. Bijective Mapping: Each letter represents exactly one digit, and no two distinct letters can represent the same digit.
  2. Leading-Digit Constraint: The leftmost letter of any multi-digit number cannot be zero (L≠0L \ne 0; thus L∈{1,2,…,9}L \in \{1, 2, \dots, 9\}).
  3. Base-10 Arithmetic: All standard addition, subtraction, multiplication, and carry-over rules of base-10 mathematics apply.

Warning

The Brute-Force Trap: Never test random digits from 0 to 9 in a cryptarithm. Testing random permutations consumes 90 to 120 seconds. Instead, locate the column that contains an unavoidable boundary condition (such as a carry-over into a new column or a doubled identical digit).


The Four Non-Negotiable Cryptarithm Axioms

To solve cryptarithms in under 30 seconds, memorize these four core mathematical axioms:

Axiom 1: The Highest-Order Carry Bound (C=1C = 1)

When adding two numbers of nn digits each, the maximum sum possible occurs when both numbers are 99…999\dots9:

9+9+1 (maximum incoming carry)=199 + 9 + 1 \text{ (maximum incoming carry)} = 19

Therefore, the carry into an (n+1)(n+1)-th column can never exceed 1. If an addition problem adds two numbers and produces a sum with one extra column to the left, the leading digit of the sum must strictly equal 1:

AB+CDEFG  ⟹  E=1\begin{array}{rl} & \text{AB} \\ + & \text{CD} \\ \hline & \mathbf{E}\text{FG} \end{array} \implies \mathbf{E} = 1

Axiom 2: Parity and Doubling Modulo Invariants

When a letter is added to itself (A+AA + A), the units digit of the result (BB) must be even if there is no incoming carry, or odd if there is an incoming carry of 1:

A+A=B  ⟹  B∈{0,2,4,6,8}A+A+1=B  ⟹  B∈{1,3,5,7,9}\begin{array}{rcl} A + A & = & B \implies B \in \{0, 2, 4, 6, 8\} \\ A + A + 1 & = & B \implies B \in \{1, 3, 5, 7, 9\} \end{array}

Axiom 3: Identity and Annihilation Elements

  • Additive Identity: If A+B=AA + B = A in any column, then either B=0B = 0 (with no incoming carry) or B=9B = 9 (with an incoming carry of 1, since A+9+1=A+10A + 9 + 1 = A + 10, leaving AA and carrying 1).
  • Multiplicative Signatures:
    • Multiplying any odd digit by 55 ends in 55.
    • Multiplying any even digit by 55 ends in 00.
    • Multiplying an even digit EE by 66 ends in EE (6×2=12,6×4=24,6×8=486 \times 2 = 12, 6 \times 4 = 24, 6 \times 8 = 48).

Axiom 4: The Digit Exclusion Pool

Always maintain a mental elimination checklist of unused digits: {0,1,2,3,4,5,6,7,8,9}\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\}. As soon as a digit is assigned to a letter, cross it out. If a subsequent letter requires an even number and only 44 and 88 remain, your search space is reduced to just two possibilities.

Cryptarithm Deduction Matrix

Column ConfigurationDeductionMathematical Reason
Two nn-digit numbers sum to (n+1)(n+1)-digit numberLeading letter =1= 19+9+1=199 + 9 + 1 = 19; carry cannot exceed 1
A+B=BA + B = B (no incoming carry)A=0A = 0Additive identity: 0+B=B0 + B = B
A+B=BA + B = B (with incoming carry of 1)A=9A = 99+B+1=B+109 + B + 1 = B + 10 (leaves BB, carries 1)
A+A=AA + A = A (units column)A=0A = 0Only 0+0=00 + 0 = 0 without carry
A+A=AA + A = A (with carry 1)A=9A = 99+9+1=199 + 9 + 1 = 19 (leaves 9, carries 1)
Units digit of A×BA \times B is AA (A≠0A \ne 0)B=1B = 1; or AA is even and B=6B = 6; or A=5A = 5 and BB is oddMultiplicative properties in base 10

Balance-Scale Logic: Transitive Mass Substitution

Balance-scale questions present two or three scales in perfect horizontal equilibrium, each containing geometric masses (spheres, cubes, cylinders, cones). Candidates must determine how many units of one shape balance another.

SCALE 1: [ 2 Spheres ]          ===          [ 3 Cubes ]
SCALE 2: [ 1 Sphere + 1 Cylinder ] ===       [ 4 Cubes ]
SCALE 3: [ 2 Cylinders ]        ===          [  ? Cubes  ]

The Unit Currency Method (Avoiding Fractions)

Instead of writing out algebraic equations with fractions (e.g. 1 Sphere=1.5 Cubes1 \text{ Sphere} = 1.5 \text{ Cubes}), assign an integer weight to the most granular object (the common denominator):

  1. Look at Scale 1: 2 Spheres=3 Cubes2 \text{ Spheres} = 3 \text{ Cubes}.
    • To avoid fractions, let each Cube =2 kg= 2 \text{ kg}.
    • Total weight of 3 Cubes =3×2=6 kg= 3 \times 2 = 6 \text{ kg}.
    • Therefore, 2 Spheres =6 kg  ⟹  1 Sphere=3 kg= 6 \text{ kg} \implies 1 \text{ Sphere} = 3 \text{ kg}.
  2. Look at Scale 2: 1 Sphere+1 Cylinder=4 Cubes1 \text{ Sphere} + 1 \text{ Cylinder} = 4 \text{ Cubes}.
    • Total weight on right: 4 Cubes=4×2=8 kg4 \text{ Cubes} = 4 \times 2 = 8 \text{ kg}.
    • We know 1 Sphere=3 kg1 \text{ Sphere} = 3 \text{ kg}.
    • Therefore: 3 kg+1 Cylinder=8 kg  ⟹  1 Cylinder=5 kg3 \text{ kg} + 1 \text{ Cylinder} = 8 \text{ kg} \implies 1 \text{ Cylinder} = 5 \text{ kg}.
  3. Evaluate Scale 3: How many Cubes balance 22 Cylinders?
    • Total weight of 2 Cylinders =2×5=10 kg= 2 \times 5 = 10 \text{ kg}.
    • Each Cube weighs 2 kg2 \text{ kg}.
    • Number of Cubes required =10 kg2 kg=5 Cubes= \frac{10 \text{ kg}}{2 \text{ kg}} = \mathbf{5 \text{ Cubes}}.

By assigning integer weights (2 kg2 \text{ kg}), the entire puzzle is solved mentally in under 15 seconds without writing down simultaneous equations.


Classical Quantitative Word Riddles: Algebra-Free Mental Models

Arithmetical reasoning items often take the form of classical quantitative word riddles. Setting up xx and yy algebra can take 45–60 seconds. High-scoring candidates use rapid structural mental models.

Model 1: Head-and-Foot Counting (The Extremal All-One-Category Method)

Problem: A farmer counts 3535 heads and 9898 feet among a collection of chickens (22 feet each) and sheep (44 feet each). How many sheep are there?

Tip

The All-2-Foot Assumption:

  1. Assume all 3535 animals are chickens (2 feet each): Baseline Feet=35×2=70 feet\text{Baseline Feet} = 35 \times 2 = 70 \text{ feet}
  2. Calculate the foot surplus: Surplus Feet=98−70=28 extra feet\text{Surplus Feet} = 98 - 70 = 28 \text{ extra feet}
  3. Each sheep contributes 4−2=24 - 2 = 2 extra feet above a chicken.
  4. Divide the surplus by 22: Number of Sheep=282=14 sheep\text{Number of Sheep} = \frac{28}{2} = \mathbf{14 \text{ sheep}}
  5. Number of chickens =35−14=21 chickens= 35 - 14 = 21 \text{ chickens}.

Calculation time: 6 seconds.


Model 2: Invariant Age Differences

Principle: The chronological age difference between two individuals remains constant throughout their entire lives.

Δ=AgeA(t)−AgeB(t)=Constant\Delta = \text{Age}_A(t) - \text{Age}_B(t) = \text{Constant}

Problem: A father is currently 3636 years old and his daughter is 88 years old. In how many years will the father be exactly three times as old as his daughter?

  1. Calculate the invariant age difference: Δ=36−8=28 years\Delta = 36 - 8 = 28 \text{ years}
  2. In the future, the father's age will be 3×Dfuture3 \times D_{\text{future}}, where DfutureD_{\text{future}} is the daughter's age.
  3. The difference between their future ages is: Father−Daughter=3Dfuture−1Dfuture=2Dfuture\text{Father} - \text{Daughter} = 3 D_{\text{future}} - 1 D_{\text{future}} = 2 D_{\text{future}}
  4. Equate the difference to the invariant constant (2828): 2Dfuture=28  ⟹  Dfuture=14 years old2 D_{\text{future}} = 28 \implies D_{\text{future}} = 14 \text{ years old}
  5. Time required to reach that age: Years=Dfuture−Dcurrent=14−8=6 years\text{Years} = D_{\text{future}} - D_{\text{current}} = 14 - 8 = \mathbf{6 \text{ years}}

Model 3: Handshake and Round-Robin Combinatorics

When nn individuals in a room each shake hands with every other individual exactly once, each handshake involves an unordered pair of participants. The total number of unique handshakes (or round-robin games) is:

Total Handshakes=n(n−1)2\text{Total Handshakes} = \frac{n(n - 1)}{2}

  • For 1010 people: 10×92=45\frac{10 \times 9}{2} = 45 handshakes.
  • For 1212 teams playing each other once: 12×112=66\frac{12 \times 11}{2} = 66 matches.

Note

Directed vs Undirected Exchanges: If every person gives a gift or business card to every other person, both individuals make an exchange (A→BA \to B and B→AB \to A are two distinct events). In that case, do not divide by 2: Total Exchanges=n(n−1)\text{Total Exchanges} = n(n - 1).


Step-by-Step Worked Logic Examples

Worked Example 1: Classic Addition Alphametic

Problem: In the alphametic puzzle below, distinct letters represent distinct digits (00 to 99), and neither AA nor BB is zero:

AB+BACDC\begin{array}{rl} & \text{AB} \\ + & \text{BA} \\ \hline & \text{CDC} \end{array}

What is the numerical value of the digit DD?

Step 1: Apply the Highest-Order Carry Axiom.

  • We are adding two 2-digit numbers (AB+BAAB + BA). The maximum possible sum of two 2-digit numbers is 98+89=18798 + 89 = 187.
  • Because the sum is a 3-digit number (CDCCDC), the leading hundreds digit CC must equal 11: C=1C = 1

Step 2: Substitute C=1C = 1 into the sum.

  • The sum is now 1D11 D 1, which means the units digit is also 11 (C=1C = 1).

Step 3: Analyze the units column (B+AB + A).

  • Units column: B+AB + A ends in 11.
  • Since AA and BB are non-zero single digits, their sum must produce a carry into the tens column: B+A=11B + A = 11.

Step 4: Analyze the tens column.

  • Tens column: A+B+1 (carry)=11+1=12A + B + 1 \text{ (carry)} = 11 + 1 = 12.
  • The tens digit of the sum is 22, and it carries 11 into the hundreds column (C=1C = 1).
  • Therefore, the middle digit DD must equal 22.
  • Verification: Let A=3,B=8A = 3, B = 8. Then 38+83=12138 + 83 = 121. Here A=3,B=8,C=1,D=2A=3, B=8, C=1, D=2. All letters are distinct digits. DD is conclusively 22.

Worked Example 2: Three-Scale Mass Balance

Problem: Three balance scales are in equilibrium:

  • Scale 1: 22 Cylinders balance 33 Cubes (2C=3K2C = 3K)
  • Scale 2: 11 Sphere balances 11 Cylinder and 11 Cube (1S=1C+1K1S = 1C + 1K)
  • Scale 3: How many Cubes balance 22 Spheres (2S=?K2S = ? K)?

Step 1: Set a base currency.

  • Let 1 Cube(K)=2 units1 \text{ Cube} (K) = 2 \text{ units}.
  • Scale 1: 2C=3×2=6  ⟹  1C=3 units2C = 3 \times 2 = 6 \implies 1C = 3 \text{ units}.

Step 2: Solve for Sphere (SS) in Scale 2.

  • 1S=1C+1K=3+2=5 units1S = 1C + 1K = 3 + 2 = 5 \text{ units}.

Step 3: Calculate Scale 3.

  • We need the mass of 22 Spheres: 2S=2×5=10 units2S = 2 \times 5 = 10 \text{ units}
  • Since each Cube is 22 units: Number of Cubes=102=5 Cubes\text{Number of Cubes} = \frac{10}{2} = \mathbf{5 \text{ Cubes}}

Pacing Pitfalls, Scratchpad Protocol & Elimination Discipline

  1. The Algebraic Setup Trap: Writing out x+y=35x + y = 35 and 2x+4y=982x + 4y = 98 followed by row reduction takes 50 seconds. Use the Extremal All-Chicken assumption to solve it in your head in 6 seconds.
  2. The Zero-Letter Trap: Never assign 00 to the first letter of a number. If an option claims that leading letter M=0M = 0, eliminate that option immediately.
  3. Transitive Substitution in Your Head: When working with balance scales, use letters instead of picturing 3D shapes: think 2C = 3K and S = C + K, then substitute to isolate the target.
Test Your Knowledge

In the alphametic addition puzzle below, distinct letters represent distinct digits from 0 to 9, and neither A nor B is zero:

AB

  • BA

CDC

What is the numeric value of the digit D?

A

4

B

3

C

2

D

1

Test Your Knowledge

Three balance scales are in equilibrium:

  • Scale 1: 2 Cylinders balance 3 Cubes
  • Scale 2: 1 Sphere balances 1 Cylinder and 1 Cube
  • Scale 3: How many Cubes balance 2 Spheres?
A

3

B

4

C

6

D

5

Test Your Knowledge

A farmer counts 35 heads and 98 feet among a flock consisting entirely of ducks (2 feet each) and sheep (4 feet each). How many sheep are in the flock?

A

14

B

16

C

18

D

21

Test Your Knowledge

A father is currently 36 years old and his daughter is 8 years old. In how many years will the father's age be exactly three times his daughter's age?

A

4 years

B

6 years

C

8 years

D

10 years

Sections you finish are checked off in the contents.