Simplification in algebra has exactly one rule that beginners trip over: you can only combine terms whose variable part is identical. 3x^2 + 5x^2 collapses to 8x^2. 3x^2 + 2x does not collapse at all — it is already in simplest form. The difference is not a matter of effort or cleverness; it is a matter of whether the symbols after the coefficient are the same string of letters and exponents. This widget makes that rule physical. Each term is a tile. Tiles combine only if their "shapes" — the variable and exponent — match. Drag an x^2 onto an x and nothing happens; the widget pushes the tile back. Drag an x^2 onto another x^2 and they fuse into a single tile whose coefficient is the sum. The game refuses to let you do algebra wrong.

What counts as a "like term"

Two terms are like terms when their non-numeric part is identical letter-for-letter, exponent-for-exponent. The coefficient (the number in front) does not matter at all — it is exactly the thing you are free to change when you combine.

The rule is strict. "Same variable, same exponent, every time." If even one exponent differs, the tiles refuse to merge.

Widget — drag only the ones that match

Six tiles: $3x^2$, $-2x$, $5x^2$, $7$, $x$, $-4$. Drag a tile onto another. If their shapes match (same variable and exponent), they fuse; their coefficients add. If they don't match, the tile snaps back. Press Auto-demo to watch the widget play itself. The readout always shows the simplified expression.

Start with the six tiles laid out: 3x^2, -2x, 5x^2, 7, x, -4. Blue tiles are shape x^2. Orange tiles are shape x. Green tiles are constants. Drag the 3x^2 tile over the 5x^2 tile. They fuse into one tile labelled 8x^2 — coefficients added, shape preserved. Now drag 7 over -4. They fuse into 3. Drag -2x over x. They fuse into -x. The expression is simplified to 8x^2 - x + 3.

Now try the illegal move. Pick the 8x^2 tile and drop it on -x. The tile flashes, snaps back to where it came from, and nothing merges. The shape labels disagree — one says x^2, the other says x — so the widget refuses. This is the entire content of "like terms" made physical: a shape-sorting game where the sorting is dictated by the variable part.

The bug — 3x^2 + 2x does not equal 5x^3 or 5x^2 or anything else

The single most common beginner mistake is writing 3x^2 + 2x = 5x^3 or 3x^2 + 2x = 5x^2. Both are wrong, and the widget will not let you make either mistake because it refuses to merge the tiles.

Why it feels tempting: the two terms both have an x in them, so it looks as if they should share a family. They do not. 3x^2 means 3 \cdot x \cdot x — three copies of x \cdot x. 2x means 2 \cdot x — two copies of x. These are not the same object any more than "three bicycles" and "two unicycles" are the same thing just because both have wheels. You can count three bicycles, and you can count two unicycles, but you cannot say "five wheeled things" without losing the information that three had two wheels and two had one.

The algebra echoes the count-objects argument. If you plug in x = 10: 3x^2 + 2x = 3 \cdot 100 + 2 \cdot 10 = 320. If 3x^2 + 2x really equalled 5x^2, you would get 5 \cdot 100 = 500. If it equalled 5x^3, you would get 5000. All three numbers are different, so the equalities are false for almost every value of x. The expression 3x^2 + 2x simply has two unlike terms; it is already as simplified as it gets, and the only legal move is to factor (pull out the common x) — 3x^2 + 2x = x(3x + 2) — not to combine.

More worked contrasts — what combines, what does not

Run through these in your head, then try a few in the widget by dragging.

Every one of these uses the same mental move: look at the variable-and-exponent part of each term, group terms whose variable parts are identical, and add coefficients within each group. Different groups never talk to each other.

Why the rule is what it is

The deeper reason that only like terms combine is the distributive law. Adding 3x^2 + 5x^2 is shorthand for x^2 \cdot 3 + x^2 \cdot 5, and the distributive law lets you factor out the shared x^2: x^2(3 + 5) = 8x^2. The coefficients combine because you pulled out the common factor; the variable part survives unchanged because it was the factor you pulled out. For unlike terms like 3x^2 + 2x, there is no common power of x to factor out — x^2 and x are different factors — so the distributive law does not collapse the sum.

That is the algebraic mirror of the widget refusing to merge mismatched shapes. A blue x^2 tile and an orange x tile cannot fuse because they are not multiples of a common factor. The same explanation powers every "can I combine these?" question across algebra: check whether a single common factor of variables-with-exponents sits behind both terms. If yes, factor it out and add coefficients. If no, leave the terms side by side.

One last sanity check. Plug x = 1 into the mistake 3x^2 + 2x \stackrel{?}{=} 5x^2. Left side: 3 + 2 = 5. Right side: 5. They agree — but only at x = 1. At x = 2: left is 12 + 4 = 16, right is 20. At x = 3: left is 27 + 6 = 33, right is 45. Two sides of a proposed identity must agree for every value of the variable, not just one. A single counter-value disproves the equality, and the widget, by refusing to merge, is doing the disproof for you before you can make the mistake.

Return to algebraic expressions for terms, coefficients, degree, and the distributive law that justifies every legal merge.