5.1 Algebraic Manipulation & Special Products

Key Takeaways

  • The three classical GMAT identities are (a + b)^2 = a^2 + 2ab + b^2, (a - b)^2 = a^2 - 2ab + b^2, and a^2 - b^2 = (a - b)(a + b).

  • Difference of squares is the highest-yield factoring pattern on Quant and often hides inside large integers (103^2 - 97^2) or even powers (x^4 - y^4).

  • From a sum S = a + b and a product P = ab you can recover a^2 + b^2 = S^2 - 2P without solving for a and b separately.

  • Cubes factor by SOAP: a^3 ± b^3 = (a ± b)(a^2 ∓ ab + b^2). Four-term polynomials usually factor by grouping.

  • Expressions such as ax^4 + bx^2 + c or 4^x + k·2^x + c are quadratic in form: substitute u for the inner piece, factor, then substitute back.

Last updated: August 2026

On the GMAT Focus Edition Quantitative Reasoning section you answer 21 Problem Solving questions in 45 minutes with no calculator. Algebraic manipulation sits in Official Guide Quantitative Review 2026–2027 Math Review 3.2, Algebra, Equalities, and Inequalities. Quant tests arithmetic and elementary algebra applied to Problem Solving. Euclidean geometry is not in this section, and Data Sufficiency lives in Data Insights.

The no-calculator rule is the design of the item, not a handicap. GMAT algebra is written so that brute-force expansion is slow and special products are fast. Recognizing a difference of squares inside two large integers, or recovering a^2 + b^2 from a known sum and product, often turns a 90-second grind into a 20-second product you can cancel.

The three classical quadratic identities

Memorize these three identities forwards (expand) and backwards (factor). Fluency means you do not pause to re-derive the middle term.

Difference of squares

a2−b2=(a−b)(a+b)a^2 - b^2 = (a - b)(a + b)

This is the single most useful factoring pattern on Quant. It applies to ordinary integers, monomials, and compound binomials.

  • Numeric: 1052−952=(105−95)(105+95)=10×200=2,000105^2 - 95^2 = (105 - 95)(105 + 95) = 10 \times 200 = 2{,}000.
  • Higher even power: x4−16=(x2−4)(x2+4)=(x−2)(x+2)(x2+4)x^4 - 16 = (x^2 - 4)(x^2 + 4) = (x - 2)(x + 2)(x^2 + 4).
  • Nested radicals, with x,y≥0x, y \ge 0: x−y=(x−y)(x+y)x - y = (\sqrt{x} - \sqrt{y})(\sqrt{x} + \sqrt{y}).

a2+b2a^2 + b^2 does not factor over the reals. A sum of squares is not a difference of squares.

Square of a sum and square of a difference

(a+b)2=a2+2ab+b2(a + b)^2 = a^2 + 2ab + b^2 (a−b)2=a2−2ab+b2(a - b)^2 = a^2 - 2ab + b^2

The middle term is twice the product. Dropping 2ab2ab is the most common expansion error on the exam: (a+b)2(a + b)^2 is not a2+b2a^2 + b^2.

The three identities are linked, and the links are as useful as the identities themselves:

(a+b)2=(a−b)2+4ab(a + b)^2 = (a - b)^2 + 4ab (a−b)2=(a+b)2−4ab(a - b)^2 = (a + b)^2 - 4ab a2+b2=(a+b)2−2ab=(a−b)2+2aba^2 + b^2 = (a + b)^2 - 2ab = (a - b)^2 + 2ab

Hidden difference of squares with large numbers

GMAT writers love integers that look too large to square by hand. They are almost always a2−b2a^2 - b^2 in disguise. Do not expand 1032103^2 as 10,60910{,}609 unless you have already ruled out the identity.

Worked example 1. Evaluate 1032−972103^2 - 97^2.

1032−972=(103−97)(103+97)=6×200=1,200103^2 - 97^2 = (103 - 97)(103 + 97) = 6 \times 200 = 1{,}200

Squaring both numbers and subtracting also gives 1,2001{,}200, but that is slower and more error-prone without a calculator.

Worked example 2. Evaluate 2012−1992201^2 - 199^2.

(201−199)(201+199)=2×400=800(201 - 199)(201 + 199) = 2 \times 400 = 800

Worked example 3. Evaluate 502−48250^2 - 48^2.

(50−48)(50+48)=2×98=196(50 - 48)(50 + 48) = 2 \times 98 = 196

Check: 502=2,50050^2 = 2{,}500 and 482=2,30448^2 = 2{,}304, and 2,500−2,304=1962{,}500 - 2{,}304 = 196. Same result, more work.

Worked example 4. Evaluate 9992−1999^2 - 1.

Write 11 as 121^2:

9992−12=(999−1)(999+1)=998×1,000=998,000999^2 - 1^2 = (999 - 1)(999 + 1) = 998 \times 1{,}000 = 998{,}000

Worked example 5. A consecutive-odd-pair shortcut. For any nn,

(n+1)2−(n−1)2=[(n+1)−(n−1)][(n+1)+(n−1)]=(2)(2n)=4n(n + 1)^2 - (n - 1)^2 = \bigl[(n + 1) - (n - 1)\bigr]\bigl[(n + 1) + (n - 1)\bigr] = (2)(2n) = 4n

So 762−742=4×75=30076^2 - 74^2 = 4 \times 75 = 300. You never square 7676 or 7474.

Worked example 6. Factor 81x4−16y481x^4 - 16y^4 completely over the integers.

81x4−16y4=(9x2)2−(4y2)2=(9x2−4y2)(9x2+4y2)=(3x−2y)(3x+2y)(9x2+4y2)81x^4 - 16y^4 = (9x^2)^2 - (4y^2)^2 = (9x^2 - 4y^2)(9x^2 + 4y^2) = (3x - 2y)(3x + 2y)(9x^2 + 4y^2)

Stop after one difference-of-squares step only if the remaining sum of squares is what the later cancel needs. If a linear factor is still sitting inside 9x2−4y29x^2 - 4y^2, factor again.

Finding a2+b2a^2 + b^2 from a+ba + b and abab

You often know the sum S=a+bS = a + b and the product P=abP = ab without knowing aa and bb separately. Do not solve the quadratic t2−St+P=0t^2 - St + P = 0 if the question only wants a symmetric expression.

Target expressionIdentity in SS and PP
a2+b2a^2 + b^2S2−2PS^2 - 2P
(a−b)2(a - b)^2S2−4PS^2 - 4P
a3+b3a^3 + b^3S3−3SPS^3 - 3SP
a4+b4a^4 + b^4(S2−2P)2−2P2(S^2 - 2P)^2 - 2P^2

Worked example. If a+b=9a + b = 9 and ab=14ab = 14, find a2+b2a^2 + b^2 and a3+b3a^3 + b^3.

a2+b2=92−2(14)=81−28=53a^2 + b^2 = 9^2 - 2(14) = 81 - 28 = 53 a3+b3=(a+b)(a2−ab+b2)=9(53−14)=9×39=351a^3 + b^3 = (a + b)(a^2 - ab + b^2) = 9(53 - 14) = 9 \times 39 = 351

The compact cube formula gives the same 351351: S3−3SP=729−3(9)(14)=729−378=351S^3 - 3SP = 729 - 3(9)(14) = 729 - 378 = 351. Then

a4+b4=532−2(14)2=2,809−392=2,417a^4 + b^4 = 53^2 - 2(14)^2 = 2{,}809 - 392 = 2{,}417

You never found aa and bb. (They happen to be 77 and 22, and 72+22=537^2 + 2^2 = 53, but that is a check, not the method.)

Sum and difference of cubes

a3+b3=(a+b)(a2−ab+b2)a^3 + b^3 = (a + b)(a^2 - ab + b^2) a3−b3=(a−b)(a2+ab+b2)a^3 - b^3 = (a - b)(a^2 + ab + b^2)

SOAP mnemonic for the signs: the binomial factor has the Same sign as the original cube sum or difference; the trinomial's middle term has the Opposite sign; the last term is Always Positive.

Binomial cubes, useful when SS and PP are known:

(a+b)3=a3+3a2b+3ab2+b3=a3+b3+3ab(a+b)(a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3 = a^3 + b^3 + 3ab(a + b) (a−b)3=a3−3a2b+3ab2−b3=a3−b3−3ab(a−b)(a - b)^3 = a^3 - 3a^2b + 3ab^2 - b^3 = a^3 - b^3 - 3ab(a - b)

Worked example. Factor 8x3−278x^3 - 27.

8x3−27=(2x)3−33=(2x−3)(4x2+6x+9)8x^3 - 27 = (2x)^3 - 3^3 = (2x - 3)\bigl(4x^2 + 6x + 9\bigr)

Worked example. Factor x3+64x^3 + 64.

x3+64=(x+4)(x2−4x+16)x^3 + 64 = (x + 4)(x^2 - 4x + 16)

Do not write a3+b3=(a+b)3a^3 + b^3 = (a + b)^3. Expanding (a+b)3(a + b)^3 produces two extra middle terms.

Factoring by grouping

Four-term polynomials usually factor by pairing terms that share a common binomial:

ax+ay+bx+by=a(x+y)+b(x+y)=(a+b)(x+y)ax + ay + bx + by = a(x + y) + b(x + y) = (a + b)(x + y)

Worked example. Factor 3x3−6x2+5x−103x^3 - 6x^2 + 5x - 10.

3x2(x−2)+5(x−2)=(3x2+5)(x−2)3x^2(x - 2) + 5(x - 2) = (3x^2 + 5)(x - 2)

Worked example. Factor x3+2x2−4x−8x^3 + 2x^2 - 4x - 8.

x2(x+2)−4(x+2)=(x2−4)(x+2)=(x−2)(x+2)(x+2)=(x−2)(x+2)2x^2(x + 2) - 4(x + 2) = (x^2 - 4)(x + 2) = (x - 2)(x + 2)(x + 2) = (x - 2)(x + 2)^2

If the first pairing produces no common binomial, try pairing the first term with the third. The GMAT rarely requires more than one regrouping.

Quadratic-form substitution

An expression is quadratic in form when a substitution uu turns it into Au2+Bu+CAu^2 + Bu + C.

Common substitutions on Quant:

  • u=x2u = x^2 for ax4+bx2+cax^4 + bx^2 + c
  • u=x3u = x^3 for ax6+bx3+cax^6 + bx^3 + c
  • u=2xu = 2^x for 4x+k⋅2x+c4^x + k \cdot 2^x + c, because 4x=(2x)24^x = (2^x)^2
  • u=xu = \sqrt{x} for x+kx+cx + k\sqrt{x} + c, then u≥0u \ge 0

Worked example. Factor x4−13x2+36x^4 - 13x^2 + 36.

Let u=x2u = x^2. Then u2−13u+36=(u−9)(u−4)u^2 - 13u + 36 = (u - 9)(u - 4). Back-substitute:

(x2−9)(x2−4)=(x−3)(x+3)(x−2)(x+2)(x^2 - 9)(x^2 - 4) = (x - 3)(x + 3)(x - 2)(x + 2)

Worked example. Solve 4x−6⋅2x+8=04^x - 6 \cdot 2^x + 8 = 0.

Let u=2xu = 2^x with u>0u > 0. Then u2−6u+8=0u^2 - 6u + 8 = 0, so (u−4)(u−2)=0(u - 4)(u - 2) = 0, and u=4u = 4 or u=2u = 2. Thus 2x=42^x = 4 gives x=2x = 2, and 2x=22^x = 2 gives x=1x = 1.

Special-product reference

IdentityFactored / expanded formHighest-yield use
Difference of squaresa2−b2=(a−b)(a+b)a^2 - b^2 = (a - b)(a + b)Large-integer products; cancelling rational expressions
Square of a sum(a+b)2=a2+2ab+b2(a + b)^2 = a^2 + 2ab + b^2Recover a2+b2a^2 + b^2 from SS and PP
Square of a difference(a−b)2=a2−2ab+b2(a - b)^2 = a^2 - 2ab + b^2Recover (a−b)(a - b) without finding aa and bb
Sum of cubesa3+b3=(a+b)(a2−ab+b2)a^3 + b^3 = (a + b)(a^2 - ab + b^2)Cancel a cubic numerator against a+ba + b
Difference of cubesa3−b3=(a−b)(a2+ab+b2)a^3 - b^3 = (a - b)(a^2 + ab + b^2)Cancel a cubic numerator against a−ba - b
Difference of fourth powersa4−b4=(a2+b2)(a+b)(a−b)a^4 - b^4 = (a^2 + b^2)(a + b)(a - b)Two-stage factoring

Traps to mark on scratch paper

  • (a+b)2(a + b)^2 is not a2+b2a^2 + b^2. The missing piece is 2ab2ab.
  • a2+b2a^2 + b^2 does not factor over the reals. Only a2−b2a^2 - b^2 does.
  • a3+b3a^3 + b^3 is not (a+b)3(a + b)^3. SOAP gives the linear times quadratic factorization.
  • After cancelling x−2x - 2 from (x2−4)/(x−2)(x^2 - 4)/(x - 2), the original expression is still undefined at x=2x = 2. State the restriction.
  • a4−b4a^4 - b^4 factors twice. Stopping after (a2−b2)(a2+b2)(a^2 - b^2)(a^2 + b^2) can hide a linear factor you needed to cancel.
Loading diagram...
Choosing a Factoring Pattern on GMAT Algebra
Test Your Knowledge

If x + y = 7 and xy = 10, what is the numerical value of x^4 + y^4?

A

641

B

721

C

841

D

941

Test Your Knowledge

Which expression is equivalent to (x^6 - 64) / (x^2 - 4) for all real x with x^2 not equal to 4?

A

x^4 + 16

B

x^4 + 4x^2 + 16

C

x^4 - 4x^2 + 16

D

x^3 + 8

Test Your Knowledge

If 9^x - 10(3^x) + 9 = 0, what is the sum of all possible real values of x?

A

0

B

1

C

2

D

3

Sections you finish are checked off in the contents.