4.1 Arithmetic Operations, Number Properties & Order of Operations

Key Takeaways

  • The Fundamental Theorem of Arithmetic establishes that every integer greater than 1 is either prime or uniquely factorable into prime components, underpinning all LCM and HCF derivations.

  • Divisibility tests for composite divisors require testing mutually coprime factors; for example, divisibility by 12 demands simultaneous satisfaction of the divisibility tests for 3 and 4.

  • The Euclidean algorithm computes the greatest common divisor via repeated division remainders, providing a rapid logarithmic alternative to prime factorization for large numbers.

  • Under strict BODMAS/PEMDAS hierarchies, division and multiplication share equal operational priority and must be executed strictly from left to right, as do addition and subtraction.

Last updated: October 2026

Arithmetic Operations, Number Properties & Order of Operations

Military command demands rapid, error-free quantitative estimation and precise numerical calculation. Whether computing ammunition consumption rates, establishing ballistic mortar ranges, rationing logistical fuel reserves, or allocating manpower across tactical operational sectors, an officer must possess absolute fluency in foundational arithmetic. On the Ghana Armed Forces (GAF) Officer Cadet Written Examination, the quantitative aptitude section assesses speed, analytical rigor, and conceptual depth under strict time constraints.

Mastery begins with a rigorous comprehension of number properties, algebraic structures, divisibility mechanics, and order of operations. Candidates who rely on slow, manual long division or ambiguous operational hierarchies inevitably suffer from cognitive fatigue and test pacing failures.


Classification of Numbers & Structural Taxonomy

The real number system, denoted by R\mathbb{R}, forms the operational space for military quantitative aptitude. Candidates must recognize the formal hierarchy and boundaries between distinct numerical classifications.

                             REAL NUMBERS (R)
                                    |
         +--------------------------+--------------------------+
         |                                                     |
  RATIONAL NUMBERS (Q)                                  IRRATIONAL NUMBERS
  (Terminating & Recurring Decimals)                    (Non-terminating, Non-recurring:
         |                                               sqrt(2), sqrt(3), pi, e)
         +--------------------------+
         |                          |
    FRACTIONS                   INTEGERS (Z)
    (Proper, Improper, Mixed)   (..., -2, -1, 0, 1, 2, ...)
                                    |
                                    +--------------------------+
                                    |                          |
                             NEGATIVE INTEGERS          WHOLE NUMBERS (W)
                             (-1, -2, -3, ...)          (0, 1, 2, 3, ...)
                                                               |
                                                +--------------+--------------+
                                                |                             |
                                              ZERO (0)                 NATURAL NUMBERS (N)
                                                                       (1, 2, 3, 4, ...)
                                                                              |
                                                                +-------------+-------------+
                                                                |             |             |
                                                              PRIME       COMPOSITE       UNIT
                                                             (2,3,5..)    (4,6,8,9..)      (1)

Formal Definitions and Operational Distinctions

ClassificationMathematical Notation & Set DefinitionDistinguishing PropertiesMilitary Operational Exemplar
Natural NumbersN={1,2,3,4,5,… }\mathbb{N} = \{1, 2, 3, 4, 5, \dots\}Positive counting integers; excludes zero and negative values.Headcount of active frontline sentries assigned to defensive trenches.
Whole NumbersW={0,1,2,3,4,… }\mathbb{W} = \{0, 1, 2, 3, 4, \dots\}Natural numbers augmented with zero (00).Count of unexploded ordnance discovered in a cleared staging corridor.
IntegersZ={…,−3,−2,−1,0,1,2,3,… }\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}Complete set of positive and negative whole numbers without fractional components.Elevation differentials relative to mean sea level during topographic route planning.
Rational NumbersQ={pq  |  p,q∈Z,q≠0}\mathbb{Q} = \left\{\frac{p}{q} \;\middle\vert\; p, q \in \mathbb{Z}, q \neq 0\right\}Any number expressible as a ratio of two integers; yields terminating or repeating decimals.Rations remaining per soldier: 74=1.75\frac{7}{4} = 1.75 field packs.
Irrational NumbersR∖Q\mathbb{R} \setminus \mathbb{Q}Real numbers that cannot be expressed as pq\frac{p}{q}; decimals are non-terminating and non-repeating.Line-of-sight distance across a 1 km×1 km1\text{ km} \times 1\text{ km} grid square: 2≈1.4142 km\sqrt{2} \approx 1.4142\text{ km}.
Real NumbersR\mathbb{R}The union of all rational and irrational numbers representing points along the continuous number line.Total measured fuel volume in forward depot tanks (4250.65 liters4250.65\text{ liters}).

Properties of Prime, Composite, and Coprime Numbers

  • Prime Numbers: A natural number p>1p > 1 that possesses exactly two distinct positive divisors: 11 and pp. The first ten primes are 2,3,5,7,11,13,17,19,23,292, 3, 5, 7, 11, 13, 17, 19, 23, 29. Note that 22 is the unique even prime number and the smallest prime.
  • Composite Numbers: A natural number n>1n > 1 that possesses more than two distinct positive divisors (e.g., 4,6,8,9,10,124, 6, 8, 9, 10, 12).
  • The Unit (11): The integer 11 has only one positive divisor (11 itself). Therefore, 11 is strictly neither prime nor composite.
  • Coprime (Relatively Prime) Integers: Two integers aa and bb are coprime if and only if their greatest common divisor is 11, written as gcd⁡(a,b)=1\gcd(a, b) = 1. For example, 88 and 1515 are both composite, yet gcd⁡(8,15)=1\gcd(8, 15) = 1, making them coprime.

The Prime Verification Test: To determine whether an integer NN is prime, identify the largest integer kk such that k≤Nk \le \sqrt{N}. Test NN for divisibility only by the prime numbers less than or equal to kk. If no prime p≤Np \le \sqrt{N} divides NN, then NN is unconditionally prime.

Example: Test whether 173173 is prime. Since 173≈13.15\sqrt{173} \approx 13.15, test primes p≤13p \le 13: {2,3,5,7,11,13}\{2, 3, 5, 7, 11, 13\}. None divide 173173 evenly (173=7×24+5=11×15+8=13×13+4173 = 7 \times 24 + 5 = 11 \times 15 + 8 = 13 \times 13 + 4). Thus, 173173 is prime.

Comprehensive Divisibility Rules & Modular Verification

Divisibility rules allow an officer to instantly verify supply counts, crate packaging, and modular groupings without executing tedious paper-and-pencil long division.

Divisibility Protocols (2 Through 12)

DivisorMathematical Condition / RuleVerification Algorithm & Operational Demonstration
2The units digit is even (0,2,4,6,80, 2, 4, 6, 8).Examine 4,7984,798: Units digit is 88 (even)   ⟹  \implies Divisible by 22.
3The sum of all digits is a multiple of 33.Examine 58,21258,212: 5+8+2+1+2=185 + 8 + 2 + 1 + 2 = 18. Since 18÷3=618 \div 3 = 6, 58,21258,212 is divisible by 33.
4The number formed by the last two digits is divisible by 44.Examine 17,56417,564: Last two digits are 6464. Since 64÷4=1664 \div 4 = 16, 17,56417,564 is divisible by 44.
5The units digit is either 00 or 55.Examine 92,34592,345: Units digit is 55   ⟹  \implies Divisible by 55.
6The number is simultaneously divisible by both 22 and 33.Examine 7,4227,422: Units digit is 22 (even   ⟹  \implies div by 22). Sum of digits: 7+4+2+2=157 + 4 + 2 + 2 = 15 (div by 33). Hence, divisible by 66.
7Truncate the last digit, double it, and subtract from the remaining truncated number. Repeat if necessary; the result must be divisible by 77 or equal 00.Examine 2,4292,429: 242−2(9)=242−18=224242 - 2(9) = 242 - 18 = 224. Repeat: 22−2(4)=22−8=1422 - 2(4) = 22 - 8 = 14. Since 14=7×214 = 7 \times 2, 2,4292,429 is divisible by 77.
8The number formed by the last three digits is divisible by 88.Examine 54,16854,168: Last three digits are 168168. Since 168÷8=21168 \div 8 = 21, 54,16854,168 is divisible by 88. (Shortcut: If hundreds digit is odd, check if last two digits +4+ 4 is div by 88: 68+4=7268 + 4 = 72, div by 88).
9The sum of all digits is a multiple of 99.Examine 784,521784,521: 7+8+4+5+2+1=277 + 8 + 4 + 5 + 2 + 1 = 27. Since 27÷9=327 \div 9 = 3, 784,521784,521 is divisible by 99.
10The units digit is 00.Examine 83,49083,490: Units digit is 00   ⟹  \implies Divisible by 1010.
11The alternating sum of digits (sum of odd-position digits minus sum of even-position digits) must equal 00 or a multiple of 1111.Examine 918,390918,390: Odd positions: 0+3+1=40 + 3 + 1 = 4. Even positions: 9+8+9=269 + 8 + 9 = 26. Difference: 26−4=2226 - 4 = 22. Since 22=11×222 = 11 \times 2, 918,390918,390 is divisible by 1111.
12The number is simultaneously divisible by both 33 and 44 (since gcd⁡(3,4)=1\gcd(3, 4) = 1).Examine 3,4563,456: Last two digits are 5656 (56÷4=14  ⟹  56 \div 4 = 14 \implies div by 44). Sum of digits: 3+4+5+6=183 + 4 + 5 + 6 = 18 (18÷3=6  ⟹  18 \div 3 = 6 \implies div by 33). Hence, divisible by 1212.

The Coprime Factor Theorem for Composite Divisors

To test divisibility by any composite divisor CC, express CC as the product of two coprime integers aa and bb such that C=a×bC = a \times b and gcd⁡(a,b)=1\gcd(a, b) = 1. The number NN is divisible by CC if and only if it is divisible by both aa and bb.

  • Divisibility by 1515: Test divisibility by 33 and 55 (since gcd⁡(3,5)=1\gcd(3, 5) = 1).
  • Divisibility by 1818: Test divisibility by 22 and 99 (since gcd⁡(2,9)=1\gcd(2, 9) = 1).
  • Divisibility by 7272: Test divisibility by 88 and 99 (since gcd⁡(8,9)=1\gcd(8, 9) = 1).
  • Warning: Do not use non-coprime factors! Testing divisibility by 22 and 66 does NOT prove divisibility by 1212, because 1818 is divisible by both 22 and 66, yet 1818 is not divisible by 1212.

LCM, HCF (GCD), and the Euclidean Algorithm

Logistics planning frequently requires finding the greatest common unit size to pack heterogeneous assets (Highest Common Factor / HCF) or calculating the synchronization cycle of independent periodic resupply convoys (Lowest Common Multiple / LCM).

1. Prime Factorization Method

Let two positive integers be resolved into their canonical prime factorizations: a=p1e1p2e2⋯pkek,b=p1f1p2f2⋯pkfka = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}, \quad b = p_1^{f_1} p_2^{f_2} \cdots p_k^{f_k}

  • Highest Common Factor (HCF / GCD): Take the lowest exponent for every common prime factor: HCF⁡(a,b)=p1min⁡(e1,f1)p2min⁡(e2,f2)⋯pkmin⁡(ek,fk)\operatorname{HCF}(a, b) = p_1^{\min(e_1, f_1)} p_2^{\min(e_2, f_2)} \cdots p_k^{\min(e_k, f_k)}
  • Lowest Common Multiple (LCM): Take the highest exponent across all prime factors present in either number: LCM⁡(a,b)=p1max⁡(e1,f1)p2max⁡(e2,f2)⋯pkmax⁡(ek,fk)\operatorname{LCM}(a, b) = p_1^{\max(e_1, f_1)} p_2^{\max(e_2, f_2)} \cdots p_k^{\max(e_k, f_k)}

2. The Fundamental Product Invariant

For any two positive integers aa and bb, the product of their HCF and LCM is identically equal to the product of the numbers themselves: HCF⁡(a,b)×LCM⁡(a,b)=a×b\operatorname{HCF}(a, b) \times \operatorname{LCM}(a, b) = a \times b

This identity provides a rapid verification tool and allows calculating the LCM directly once the HCF is known: LCM⁡(a,b)=a×bHCF⁡(a,b)\operatorname{LCM}(a, b) = \frac{a \times b}{\operatorname{HCF}(a, b)}.

3. The Euclidean Algorithm for Rapid HCF Computation

When dealing with large integers (e.g., ammunition batches of 1,8481,848 and 1,1551,155), prime factorization becomes slow and prone to arithmetic blunders. The Euclidean algorithm operates on the principle that the greatest common divisor of two integers aa and bb (a>ba > b) also divides their remainder r=a(modb)r = a \pmod b: GCD⁡(a,b)=GCD⁡(b,a(modb))\operatorname{GCD}(a, b) = \operatorname{GCD}(b, a \pmod b)

Worked Example: Calculating GCD⁡(1848,1155)\operatorname{GCD}(1848, 1155)

  1. Step 1: Divide 18481848 by 11551155: 1848=1155×1+6931848 = 1155 \times 1 + 693
  2. Step 2: Divide the previous divisor (11551155) by the remainder (693693): 1155=693×1+4621155 = 693 \times 1 + 462
  3. Step 3: Divide 693693 by 462462: 693=462×1+231693 = 462 \times 1 + 231
  4. Step 4: Divide 462462 by 231231: 462=231×2+0462 = 231 \times 2 + 0

Because the remainder has reached 00, the final non-zero divisor is the greatest common factor: HCF⁡(1848,1155)=231\operatorname{HCF}(1848, 1155) = 231

To find their LCM using the product invariant: LCM⁡(1848,1155)=1848×1155231=1848×5=9,240\operatorname{LCM}(1848, 1155) = \frac{1848 \times 1155}{231} = 1848 \times 5 = 9,240

4. Operational Application: Ammunition Packaging

Suppose a quartermaster at Burma Camp receives three consignments of rifle cartridges: 315315 rounds of 7.62 mm7.62\text{ mm}, 420420 rounds of 5.56 mm5.56\text{ mm}, and 1,1551,155 rounds of 9 mm9\text{ mm}. The ammunition must be packed into identical crates such that each crate contains the exact same composition of calibers with zero ammunition remaining unpacked.

  • The maximum number of identical crates possible is given by HCF⁡(315,420,1155)\operatorname{HCF}(315, 420, 1155):
    • 315=32×5×7315 = 3^2 \times 5 \times 7
    • 420=22×3×5×7420 = 2^2 \times 3 \times 5 \times 7
    • 1155=3×5×7×111155 = 3 \times 5 \times 7 \times 11
    • Common prime factors: 31,51,713^1, 5^1, 7^1
    • HCF⁡=3×5×7=105\operatorname{HCF} = 3 \times 5 \times 7 = 105 crates.
  • Each crate contains: 315105=3\frac{315}{105} = 3 rounds (7.62 mm7.62\text{ mm}), 420105=4\frac{420}{105} = 4 rounds (5.56 mm5.56\text{ mm}), and 1155105=11\frac{1155}{105} = 11 rounds (9 mm9\text{ mm}).

BODMAS / PEMDAS Hierarchies & Nested Traps

The order of operations defines the unambiguous sequence in which mathematical expressions must be evaluated. In Ghanaian schools, as across the Commonwealth, the BODMAS acronym is standard (equivalent to the American PEMDAS).

B - Brackets (Vinculum, Parentheses, Braces, Square Brackets)
O - Orders (Powers, Indices, Roots)
D - Division       [Equal Priority: Executed Strictly Left-to-Right]
M - Multiplication [Equal Priority: Executed Strictly Left-to-Right]
A - Addition       [Equal Priority: Executed Strictly Left-to-Right]
S - Subtraction    [Equal Priority: Executed Strictly Left-to-Right]

The Left-to-Right Precedence Rule

A pervasive error on officer aptitude tests is treating Division as strictly superior to Multiplication, or Addition as strictly superior to Subtraction. In formal mathematics:

  • Division and Multiplication share identical operational priority. When both appear in a chain, evaluate them strictly in order from left to right.
    • Example: 24÷6×224 \div 6 \times 2
    • Incorrect (premature multiplication): 24÷(6×2)=24÷12=224 \div (6 \times 2) = 24 \div 12 = 2.
    • Correct (left-to-right evaluation): (24÷6)×2=4×2=8(24 \div 6) \times 2 = 4 \times 2 = 8.
  • Addition and Subtraction share identical operational priority. Evaluate strictly from left to right.
    • Example: 15−8+415 - 8 + 4
    • Incorrect (premature addition): 15−(8+4)=15−12=315 - (8 + 4) = 15 - 12 = 3.
    • Correct (left-to-right evaluation): (15−8)+4=7+4=11(15 - 8) + 4 = 7 + 4 = 11.

Hierarchy of Parenthetical Nesting

When multiple grouping symbols appear, evaluate from the innermost layer to the outermost layer in this sequence:

  1. Vinculum (Bar / Overline): a−b‾\overline{a - b} (binds terms tighter than standard parentheses)
  2. Parentheses (Round Brackets): (… )( \dots )
  3. Braces (Curly Brackets): {… }\{ \dots \}
  4. Square Brackets: [… ][ \dots ]

Negative Sign Distribution Trap

A negative sign preceding a parenthetical expression distributes across every internal term, reversing its sign: −[a−b+c]=−a+b−c-[a - b + c] = -a + b - c

Comprehensive Worked BODMAS Problem

Evaluate the following complex expression: E=72÷8×3−[24−{16−3×(10−7−3‾)}]E = 72 \div 8 \times 3 - [24 - \{16 - 3 \times (10 - \overline{7 - 3})\}]

  • Step 1 (Resolve the Vinculum): The bar rests over 7−37 - 3: 7−3‾=4\overline{7 - 3} = 4 Expression becomes: 72÷8×3−[24−{16−3×(10−4)}]72 \div 8 \times 3 - [24 - \{16 - 3 \times (10 - 4)\}]
  • Step 2 (Resolve Parentheses): Evaluate 10−410 - 4: 10−4=610 - 4 = 6 Expression becomes: 72÷8×3−[24−{16−3×6}]72 \div 8 \times 3 - [24 - \{16 - 3 \times 6\}]
  • Step 3 (Resolve Multiplication inside Braces): Multiply 3×63 \times 6: 3×6=183 \times 6 = 18 Expression becomes: 72÷8×3−[24−{16−18}]72 \div 8 \times 3 - [24 - \{16 - 18\}]
  • Step 4 (Resolve Braces): Evaluate 16−1816 - 18: 16−18=−216 - 18 = -2 Expression becomes: 72÷8×3−[24−(−2)]72 \div 8 \times 3 - [24 - (-2)]
  • Step 5 (Resolve Square Brackets): Distribute the negative sign: 24−(−2)=24+2=2624 - (-2) = 24 + 2 = 26: [24−(−2)]=26[24 - (-2)] = 26 Expression becomes: 72÷8×3−2672 \div 8 \times 3 - 26
  • Step 6 (Resolve Division and Multiplication Left-to-Right): 72÷8=9,9×3=2772 \div 8 = 9, \quad 9 \times 3 = 27
  • Step 7 (Final Subtraction): 27−26=127 - 26 = 1

The exact simplified value is 11.

Fractions, Decimals & Mental Math Heuristics

1. Terminating vs. Recurring Decimals

A rational fraction pq\frac{p}{q} in irreducible form (where gcd⁡(p,q)=1\gcd(p, q) = 1) converts to a terminating decimal if and only if the prime factorization of its denominator qq contains no prime factors other than 22 and/or 55 (q=2m×5nq = 2^m \times 5^n). If qq contains any prime factor other than 22 or 55 (such as 3,7,11,133, 7, 11, 13), the fraction generates an infinite repeating (recurring) decimal.

  • 740=723×51  ⟹  \frac{7}{40} = \frac{7}{2^3 \times 5^1} \implies Terminates (0.1750.175).
  • 524=523×31  ⟹  \frac{5}{24} = \frac{5}{2^3 \times 3^1} \implies Recurs indefinitely (0.208333…0.208333\dots).

2. Converting Repeating Decimals to Fractions

  • Pure Recurring Decimals: All digits after the decimal point repeat. 0.d1d2…dk‾=d1d2…dk99…9⏟k nines0.\overline{d_1 d_2 \dots d_k} = \frac{d_1 d_2 \dots d_k}{\underbrace{99\dots9}_{k \text{ nines}}} Example: 0.45‾=4599=5110.\overline{45} = \frac{45}{99} = \frac{5}{11}.
  • Mixed Recurring Decimals: Some non-repeating digits precede the repeating block. 0.a1a2…amd1d2…dk‾=(Entire Number up to end of first period)−(Non-repeating Part)99…9⏟k nines00…0⏟m zeros0.a_1 a_2 \dots a_m \overline{d_1 d_2 \dots d_k} = \frac{(\text{Entire Number up to end of first period}) - (\text{Non-repeating Part})}{\underbrace{99\dots9}_{k \text{ nines}} \underbrace{00\dots0}_{m \text{ zeros}}} Example: Convert 0.236‾0.23\overline{6} to an irreducible fraction: x=0.23666⋯  ⟹  100x=23.666…,1000x=236.666…x = 0.23666\dots \implies 100x = 23.666\dots, \quad 1000x = 236.666\dots 1000x−100x=236−23  ⟹  900x=2131000x - 100x = 236 - 23 \implies 900x = 213 x=213900=71300x = \frac{213}{900} = \frac{71}{300}

3. Rapid Mental Math Shortcuts & Elimination Heuristics

  • Units Digit Periodicity of Powers: In multiple-choice questions involving large exponents, compute only the cycle of the units digit modulo 44:
    • Digits {0,1,5,6}\{0, 1, 5, 6\} always repeat every power (period 11): 6n6^n always ends in 66.
    • Digits {4,9}\{4, 9\} alternate in cycles of 22: 41=4,42=16,43=644^1 = 4, 4^2 = 16, 4^3 = 64 (odd powers end in 44, even powers end in 66).
    • Digits {2,3,7,8}\{2, 3, 7, 8\} cycle through 44 values:
      • 21=2,22=4,23=8,24=16  ⟹  2^1=2, 2^2=4, 2^3=8, 2^4=16 \implies Cycle: {2,4,8,6}\{2, 4, 8, 6\}.
      • 31=3,32=9,33=27,34=81  ⟹  3^1=3, 3^2=9, 3^3=27, 3^4=81 \implies Cycle: {3,9,7,1}\{3, 9, 7, 1\}.
      • 71=7,72=49,73=343,74=2401  ⟹  7^1=7, 7^2=49, 7^3=343, 7^4=2401 \implies Cycle: {7,9,3,1}\{7, 9, 3, 1\}.
  • Digital Root (Casting Out Nines): The digital root of a number is the single-digit sum obtained by repeatedly adding its digits. The digital root of a sum or product must match the digital root of the inputs: DR⁡(A×B)=DR⁡(DR⁡(A)×DR⁡(B))\operatorname{DR}(A \times B) = \operatorname{DR}(\operatorname{DR}(A) \times \operatorname{DR}(B)) This provides instant verification of multi-digit arithmetic options.
  • Parity Arithmetic: Leverage odd/even invariants to eliminate impossible answer choices: Even±Even=Even,Odd±Odd=Even,Even±Odd=Odd\text{Even} \pm \text{Even} = \text{Even}, \quad \text{Odd} \pm \text{Odd} = \text{Even}, \quad \text{Even} \pm \text{Odd} = \text{Odd} Even×Any=Even,Odd×Odd=Odd\text{Even} \times \text{Any} = \text{Even}, \quad \text{Odd} \times \text{Odd} = \text{Odd}
Loading diagram...
Primality, Factorization & Divisibility Engine
Test Your Knowledge

A quartermaster in Kumasi must pack 252 rounds of 7.62mm, 378 rounds of 5.56mm, and 588 rounds of 9mm ammunition into identical crates. Every crate must hold the same number of each calibre, with nothing left over. What is the maximum number of crates, and how many 9mm rounds does each crate hold?

A

21 crates, containing 28 rounds of 9mm

B

84 crates, containing 7 rounds of 9mm

C

42 crates, containing 14 rounds of 9mm

D

14 crates, containing 42 rounds of 9mm

Test Your Knowledge

Evaluate using BODMAS: 48 / 6 * 2 - [18 - {9 - 2 * (7 - (5 - 2))}], where the term (5 - 2) is bound by a vinculum bar.

A

-1

B

-13

C

1

D

15

Test Your Knowledge

Express the mixed recurring decimal 0.31818... (where the block 18 recurs) as an irreducible fraction p / q. What is the value of q - p?

A

7

B

22

C

29

D

15

Sections you finish are checked off in the contents.