lesson

Algebraic Foundations · Foundational

Variables and Expressions

Learn how variables represent quantities and how expression structure records mathematical relationships and operations.

Algebra begins when a symbol stands for a quantity whose value may be unknown, changing, or deliberately general. That small change from numbers alone to numbers and symbols makes it possible to describe an entire family of situations at once. An expression is therefore more than a string of marks: it is a compact record of quantities, operations, and relationships. Learning to read that record structurally is the foundation for equations, functions, formulas, and mathematical models. This lesson develops that reading habit carefully and connects every symbolic move to meaning.

A map from a real quantity through a variable and expression to a value

Establish the learning goals

By the end of this lesson, you should be able to distinguish a variable, a constant, an expression, an equation, and an identity. You should also be able to identify terms, factors, coefficients, bases, and exponents without relying on visual guesswork. These distinctions matter because different structures permit different operations. For example, terms may sometimes be combined by addition, while factors may sometimes be reorganized by multiplication. Accurate vocabulary gives you a reliable way to explain why a step is valid.

You will translate verbal and physical relationships into expressions while preserving order, grouping, and units. You will evaluate expressions by substitution, including substitutions involving negative numbers, fractions, and quantities with units. You will also use the commutative, associative, and distributive properties to produce equivalent forms. The goal is not to memorize isolated manipulation rules. The goal is to understand how the form of an expression communicates its mathematical meaning.

As you work, ask three recurring questions. First, what does each symbol represent in this context? Second, what operations does the expression instruct, and in what order must they occur? Third, do the resulting units and values make sense? These questions turn symbol manipulation into reasoned analysis. They also catch many errors before calculation begins.

Understand what a variable represents

A variable is a symbol assigned to a quantity or a possible value. In the equation x+4=11x+4=11, the symbol xx represents one presently unknown number. In the formula A=πr2A=\pi r^2, the symbol rr may take many positive values as the radius of a circle changes. In the rule f(x)=2x+1f(x)=2x+1, the symbol xx denotes an input selected from a stated domain. The same letter can therefore play different roles in different contexts.

A variable can also represent a measured physical quantity rather than a bare number. If tt represents elapsed time, then writing t=3.0secondst=3.0\,\mathrm{seconds} communicates both magnitude and unit. If vv represents speed, then v=12meterssecondv=12\,\frac{\mathrm{meters}}{\mathrm{second}} has dimensions of length divided by time. A symbol’s definition should state this meaning explicitly. Without that definition, a formula can be algebraically readable but scientifically ambiguous.

Letters do not possess permanent universal meanings. The symbol mm might represent mass in mechanics, slope in coordinate geometry, or an integer index in number theory. Context supplies the definition, allowed values, and units. A well-written solution therefore defines variables before using them. Treating every symbol as a named quantity prevents algebra from becoming an exercise in moving unexplained letters.

Separate constants, parameters, and variables

A constant has a fixed value within the problem under consideration. Numerical constants such as 55 and 12-\frac{1}{2} state their values directly. Named constants such as π\pi also have fixed mathematical values, with π\pi representing the ratio of a circle’s circumference to its diameter. A physical constant may carry units, such as an acceleration magnitude expressed in meterssecond2\frac{\mathrm{meters}}{\mathrm{second}^2}. Constants can participate in operations without changing their fixed status.

A parameter is held fixed during one analysis but may change when comparing cases. In y=mx+by=mx+b, the input variables may be xx and yy, while mm and bb specify which line is being studied. Choosing m=2m=2 and b=5b=5 selects one member of the larger family of lines. In another investigation, mm itself may vary and become the primary variable. The distinction therefore depends on the purpose of the model.

Recognizing roles clarifies dependence. In the expression C(n)=12dollars+n(4.50dollarsitem)C(n)=12\,\mathrm{dollars}+n(4.50\,\frac{\mathrm{dollars}}{\mathrm{item}}), the item count nn varies while the fixed charge and unit price are treated as constants. If a store changes its price, the unit price becomes a parameter across pricing scenarios. Naming those roles helps the reader know what may change. It also prepares you to interpret functions and multivariable models later.

Distinguish expressions, equations, and identities

An expression names or computes a value but does not assert equality by itself. The symbolic object 3x25x+73x^2-5x+7 is an expression containing three terms. The symbol x2x^2 means xx multiplied by itself, and the coefficient 33 multiplies that power. Because no condition has been imposed, the expression cannot be “solved.” It may instead be evaluated, simplified, expanded, or factored. The requested action must therefore match the kind of mathematical object being examined.

An equation states that two expressions have the same value under specified conditions. The equation 3x25x+7=123x^2-5x+7=12 asks which values of xx make the assertion true. The equals sign means that the entire expression on the left and the entire expression on the right represent one common value. It does not mean “calculate next,” nor does it indicate an approximate relationship. Solving an equation means finding values that preserve this equality.

An identity is an equation true for every allowed value of its variables. For example, 2(x+3)=2x+62(x+3)=2x+6 is true for every real xx because of the distributive property. By contrast, 2x+3=92x+3=9 is true only when x=3x=3, so it is a conditional equation rather than an identity. Testing a few values can provide evidence but does not prove an identity. Structural reasoning explains why two forms agree throughout their domain.

Expression, equation, and identity compared by the claims they make

Read the hierarchy of an expression

An expression has a nested structure, much like a sentence has phrases inside clauses. Addition and subtraction at the outermost level separate an expression into terms. Multiplication and division within a term connect factors. In 4x23xy+84x^2-3xy+8, the terms are 4x24x^2, 3xy-3xy, and 88. Reading from the outermost operation inward reveals what can legitimately be combined.

In the term 4x24x^2, the factors are 44 and x2x^2. The number 44 is the numerical coefficient, xx is the base, and 22 is the exponent. The exponent states how many copies of the base participate in repeated multiplication, so x2=xxx^2=x\cdot x. In the term 3xy-3xy, the coefficient is 3-3, and the variable factors are xx and yy. The constant term 88 has no visible variable factor.

Grouping symbols create subexpressions that must be treated as single units. In 5(x2)5(x-2), the factor (x2)(x-2) is an entire difference multiplied by 55. In x+53\frac{x+5}{3}, the horizontal fraction bar groups the numerator x+5x+5 and divides that complete sum by 33. Removing the grouping changes the operation and usually changes the value. A structural reading therefore precedes any attempt to simplify.

Translate language into mathematical structure

Translation should preserve relationships rather than match isolated keywords. The phrase “five more than xx” becomes x+5x+5, while “five less than xx” becomes x5x-5. The phrase “five less than twice xx” becomes 2x52x-5 because doubling occurs before subtracting five. The word “than” often reverses the order in a subtraction phrase. Careful reading matters because subtraction is not commutative.

Grouping is equally important. “Half the sum of xx and 66” means x+62\frac{x+6}{2} because the entire sum is divided by two. The expression x2+6\frac{x}{2}+6 means half of xx, followed by adding six, which is a different relationship. “The square of the difference between aa and bb” becomes (ab)2(a-b)^2, not ab2a-b^2. Parentheses record which operation acts on the whole phrase.

Units can guide translation in applied settings. Suppose a service charges 12dollars12\,\mathrm{dollars} plus 4.50dollarshour4.50\,\frac{\mathrm{dollars}}{\mathrm{hour}} for each of hh hours. The total cost is C=12dollars+(4.50dollarshour)hC=12\,\mathrm{dollars}+(4.50\,\frac{\mathrm{dollars}}{\mathrm{hour}})h. Multiplying the hourly rate by time cancels hours and leaves dollars. Both addends then share the same unit, confirming that the expression is dimensionally meaningful.

Evaluate an expression by substitution

To evaluate an expression, replace each variable with its given value and perform the resulting arithmetic. Parentheses should surround every substituted value, especially when the value is negative or fractional. For P(x)=2x23x+1P(x)=2x^2-3x+1 and x=2x=-2, write P(2)=2(2)23(2)+1P(-2)=2(-2)^2-3(-2)+1. The square applies to the complete negative number because the parentheses define the base. The result is 8+6+1=158+6+1=15.

Substitution must occur everywhere the variable appears. If A=lwA=lw represents the area of a rectangle, with l=5.0metersl=5.0\,\mathrm{meters} and w=2.0metersw=2.0\,\mathrm{meters}, then A=(5.0meters)(2.0meters)=10meters2A=(5.0\,\mathrm{meters})(2.0\,\mathrm{meters})=10\,\mathrm{meters}^2. The exponent on the unit indicates that two length factors were multiplied. Replacing only one occurrence or discarding units would lose information. A complete substitution line makes the reasoning visible.

Estimate before calculating so that the final value can be judged. If xx is approximately 1010, then 3x+23x+2 should be slightly greater than 3030. A calculator result of 3.23.2 would therefore signal an entry or interpretation error. Estimation is not a competing method but a diagnostic companion to exact work. Strong algebra combines symbolic structure, numerical computation, and reasonableness checks.

Apply the order of operations structurally

The order of operations is a consequence of how notation groups operations. Parentheses and other grouping symbols identify computations that act as units. Exponents apply to their stated bases before surrounding multiplication or addition. Multiplication and division are then handled at the same level from left to right, followed by addition and subtraction at the same level. This convention lets one written expression have one shared interpretation.

Consider 3+2(51)23+2(5-1)^2. The parenthetical difference gives 44, the exponent gives 42=164^2=16, and multiplication gives 2(16)=322(16)=32. Adding the remaining 33 produces 3535. The exponent does not apply to the coefficient 22 because its base is only the grouped quantity (51)(5-1). Naming each structure explains the order more reliably than recalling a slogan.

A fraction bar is also a grouping symbol. In 8+423\frac{8+4}{2\cdot3}, the numerator is the complete sum 1212 and the denominator is the complete product 66, giving 22. Writing the same relationship with an ungrouped slash can obscure which terms belong above or below the division. Theory Commons therefore uses horizontal fraction bars for mathematical fractions. The notation visually preserves the hierarchy that the calculation must follow.

An expression tree showing outer operations and nested subexpressions

Use properties to create equivalent expressions

The commutative property states that the order of addends or factors may be reversed. Thus a+b=b+aa+b=b+a and ab=baab=ba for ordinary real numbers. It does not apply to subtraction or division, because aba-b usually differs from bab-a. The associative property allows regrouping of repeated addition or repeated multiplication. These properties help reorganize an expression without changing its value.

The distributive property connects multiplication with addition: a(b+c)=ab+aca(b+c)=ab+ac. The symbol aa multiplies every term inside the grouped sum. For example, 4(2x3)=8x124(2x-3)=8x-12 because 4(2x)=8x4(2x)=8x and 4(3)=124(-3)=-12. Reading distribution as multiplication of the complete grouped expression prevents omitted terms. Reversing the property factors a common factor from several terms.

Equivalent expressions can emphasize different information. The form 3(x+2)3(x+2) makes a common factor and repeated group visible. The form 3x+63x+6 makes separate terms visible and may be easier to combine with other terms. Neither form is universally “more simplified”; usefulness depends on the task. Algebraic fluency includes choosing a form that exposes the needed structure.

Combine like terms with meaning

Like terms have identical variable factors raised to identical powers. The terms 3x3x and 5x5x are like because each contains one factor of xx. Their sum is 3x+5x=(3+5)x=8x3x+5x=(3+5)x=8x, which follows from the distributive property. This resembles adding three meters and five meters to obtain eight meters. Only the numerical coefficients combine because the common quantity remains unchanged.

The terms 3x3x and 5x25x^2 are not like terms. The first contains xx, while the second contains xxx\cdot x, so they represent different variable factors. Likewise, 2xy2xy and 2x2x are unlike because one includes a factor of yy. Adding unlike terms is valid, but it does not collapse into one term. Their sum already represents the combined quantity.

Units provide an applied analogy for like terms. A length of 3meters3\,\mathrm{meters} can be added to 5meters5\,\mathrm{meters} because both measure the same kind of quantity. A length cannot be directly added to an area of 5meters25\,\mathrm{meters}^2 because their dimensions differ. Variable factors behave similarly in symbolic combination. Dimensional thinking therefore reinforces the algebraic rule.

Preserve units and dimensions in expressions

Every term in a physically meaningful sum must have compatible dimensions. In d=d0+vtd=d_0+vt, the quantities dd and d0d_0 are lengths. Speed vv has units such as meterssecond\frac{\mathrm{meters}}{\mathrm{second}}, while time tt has units of seconds. Their product vtvt therefore has units of meters. The equation adds length to length and is dimensionally consistent.

Coefficients may carry units even when they look like ordinary numbers. In C=12dollars+(4.50dollarshour)hC=12\,\mathrm{dollars}+(4.50\,\frac{\mathrm{dollars}}{\mathrm{hour}})h, the value 4.504.50 is part of a rate. If h=3.0hoursh=3.0\,\mathrm{hours}, then the variable cost is 13.50dollars13.50\,\mathrm{dollars} and the total is 25.50dollars25.50\,\mathrm{dollars}. Writing “4.504.50” without its unit would hide what the coefficient means. Units belong in numerical examples because they help define the quantities.

Dimensional consistency is necessary but does not guarantee that a model is correct. Two different physical models may both use compatible units. Nevertheless, incompatible terms prove that an expression cannot represent the stated relationship as written. Unit analysis is therefore a powerful error detector. It should accompany substitution and simplification rather than appear only at the final answer.

Model a complete situation with an expression

Suppose a rectangular garden has width ww meters and length w+3w+3 meters. Its perimeter is P=2w+2(w+3)P=2w+2(w+3) meters because a rectangle has two widths and two lengths. Distributing gives P=2w+2w+6=4w+6P=2w+2w+6=4w+6 meters. The original form displays the geometric sources of the terms. The equivalent form makes evaluation and comparison easier.

If w=5metersw=5\,\mathrm{meters}, then the length is 8meters8\,\mathrm{meters}. Substitution into the structural form gives P=2(5meters)+2(8meters)=26metersP=2(5\,\mathrm{meters})+2(8\,\mathrm{meters})=26\,\mathrm{meters}. Substitution into 4w+6meters4w+6\,\mathrm{meters} produces the same result when the constant term is interpreted with its unit. Agreement between equivalent forms is a useful verification. A sketch provides a third representation of the same relationship.

Models always rest on assumptions. This garden model assumes straight sides, right angles, and measurements represented accurately by the variables. If a gate requires an un-fenced interval, another term must modify the expression. Algebra does not decide which features matter; the modeler does. The expression then makes those modeling decisions explicit and testable.

Diagnose common misconceptions

One common error treats adjacent variable symbols as separate terms. In xyxy, adjacency means multiplication, so xy=xyxy=x\cdot y is one term rather than a sum. Another error combines unlike terms, such as changing x+x2x+x^2 into 2x22x^2. Testing x=2x=2 exposes the problem because the original gives 66 while the incorrect form gives 88. A counterexample can quickly disprove a proposed equivalence.

Negative substitution creates another frequent difficulty. For x=3x=-3, the expression x2x^2 becomes (3)2=9(-3)^2=9, while x2-x^2 becomes ((3)2)=9-( (-3)^2 )=-9. The exponent acts before the leading negation when no parentheses make the negative sign part of the base. Writing every substitution with parentheses reduces ambiguity. Reading the expression’s tree clarifies which operation is outermost.

Students sometimes use the equals sign to connect steps that are not actually equal. Writing 3x+2=3(4)+2=143x+2=3(4)+2=14 is valid only after explicitly stating that x=4x=4. Writing 3x+2=3x=143x+2=3x=14 is invalid because removing two changes the value. Every equals sign asserts identical value on both sides. Maintaining that meaning prepares you for equation solving and proofs.

Practice deliberate symbolic reading

For 2a2+7a9-2a^2+7a-9, identify the terms, coefficients, constant term, base, and exponent. Then translate “half the sum of xx and 66” using a horizontal fraction bar. Evaluate 3y22y3y^2-2y at y=1y=-1 with visible substitution parentheses. Simplify 4(2x3)5x4(2x-3)-5x using distribution and like terms. For each task, explain one structural feature that controls the work.

Create an expression for a taxi fare consisting of 3.00dollars3.00\,\mathrm{dollars} plus 2.25dollarskilometer2.25\,\frac{\mathrm{dollars}}{\mathrm{kilometer}} for dd kilometers. Evaluate it for d=8.0kilometersd=8.0\,\mathrm{kilometers} and show the unit cancellation. Explain why the fixed fee and distance charge may be added. Identify which symbol is variable and which quantities act as constants. Finally, state one assumption built into the model.

Decide whether each statement is always true, sometimes true, or never true: 2(x+5)=2x+52(x+5)=2x+5, x+x=2xx+x=2x, and x2=xx^2=x. Support each decision with a property, solution condition, or counterexample. Do not rely only on trying one convenient number. Distinguish an identity from an equation true for selected values. This classification tests whether you understand equivalence rather than merely calculation.

Solutions and reasoning

The terms are 2a2-2a^2, 7a7a, and 9-9. Their numerical coefficients are 2-2 and 77, while 9-9 is the constant term. In a2a^2, the base is aa and the exponent is 22. Half the sum is x+62\frac{x+6}{2} because the complete sum occupies the numerator. Substitution gives 3(1)22(1)=3+2=53(-1)^2-2(-1)=3+2=5, and simplification gives 4(2x3)5x=8x125x=3x124(2x-3)-5x=8x-12-5x=3x-12.

The fare is F=3.00dollars+(2.25dollarskilometer)dF=3.00\,\mathrm{dollars}+(2.25\,\frac{\mathrm{dollars}}{\mathrm{kilometer}})d. At d=8.0kilometersd=8.0\,\mathrm{kilometers}, the distance charge is 18.00dollars18.00\,\mathrm{dollars} because kilometers cancel. The total is F=21.00dollarsF=21.00\,\mathrm{dollars}. The variable is dd, while the fixed fee and rate are constants for this pricing plan. The model assumes one constant per-kilometer rate with no waiting charge or surcharge.

The statement 2(x+5)=2x+52(x+5)=2x+5 is never true over ordinary real arithmetic because distribution produces 2x+102x+10, and equating the two forms would require 10=510=5. The statement x+x=2xx+x=2x is always true by the distributive property. The statement x2=xx^2=x is sometimes true because x2x=x(x1)=0x^2-x=x(x-1)=0 only for x=0x=0 or x=1x=1. The first claim is a false proposed identity, the second is a true identity, and the third is a conditional equation. These conclusions describe all real values rather than a few tested examples.

Connect expressions to equations and functions

An expression becomes part of an equation when it is constrained to equal another expression. If 4x+64x+6 represents a perimeter and the perimeter is 30meters30\,\mathrm{meters}, then 4x+6=304x+6=30 states the condition to be solved. Solving will require operations that preserve equality. The expression’s structure tells you which inverse operations can expose the variable. Structural reading therefore directly supports equation solving.

An expression also defines a function when it assigns an output to each permitted input. The notation f(x)=3x21f(x)=3x^2-1 names the function ff and identifies xx as its input variable. The expression on the right specifies how to calculate the output. Evaluating f(2)f(2) is substitution, while solving f(x)=11f(x)=11 is equation solving. The same expression can therefore participate in several different mathematical tasks.

Keep the central habit as you move forward: symbols must remain attached to meanings. Identify quantities and units, read the operation hierarchy, and justify equivalent transformations with properties. Use substitution and estimation to verify your interpretation. These practices make later algebra less about memorized moves and more about relationships. They are the foundation on which equations, graphs, functions, and models are built.

Knowledge Map

Where this lesson fits

Next lessons

Algebraic FoundationsSolving One-Step Equations

Continue exploring

Connections

Related lessons

Expressions and EquationsAlgebraic ExpressionsFunctionsFunctions and Function NotationAlgebraic FoundationsSolving One-Step Equations

Applications

  • mathematical modeling
  • formulas
  • unit conversion