Skip to main content
Mathematics LibreTexts

3.9: Solve Equations Using Integers; The Division Property of Equality (Part 1)

  • Page ID
    4988
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives
    • Determine whether an integer is a solution of an equation
    • Solve equations with integers using the Addition and Subtraction Properties of Equality
    • Model the Division Property of Equality
    • Solve equations using the Division Property of Equality
    • Translate to an equation and solve
    be prepared!

    Before you get started, take this readiness quiz.

    1. Evaluate \(x + 4\) when \(x = −4\). If you missed this problem, review Example 3.2.9.
    2. Solve: \(y − 6 = 10\). If you missed this problem, review Example 2.3.6.
    3. Translate into an algebraic expression \(5\) less than \(x\). If you missed this problem, review Table 1.3.1.

    Determine Whether a Number is a Solution of an Equation

    In Solve Equations with the Subtraction and Addition Properties of Equality, we saw that a solution of an equation is a value of a variable that makes a true statement when substituted into that equation. In that section, we found solutions that were whole numbers. Now that we’ve worked with integers, we’ll find integer solutions to equations.

    The steps we take to determine whether a number is a solution to an equation are the same whether the solution is a whole number or an integer.

    HOW TO: DETERMINE WHETHER A NUMBER IS A Solution TO AN EQUATION.

    Step 1. Substitute the number for the variable in the equation.

    Step 2. Simplify the expressions on both sides of the equation.

    Step 3. Determine whether the resulting equation is true.

    • If it is true, the number is a solution.
    • If it is not true, the number is not a solution.
    Example \(\PageIndex{1}\): determine the solution

    Determine whether each of the following is a solution of \(2x − 5 = −13\):

    1. \(x = 4\)
    2. \(x = −4\)
    3. \(x = −9\)

    Solution

    (a) Substitute 4 for x in the equation to determine if it is true. 2x − 5 = −13
    Substitute \(\textcolor{red}{4}\) for x. \(2(\textcolor{red}{4}) - 5 \stackrel{?}{=} -13\)
    Multiply. \(8 - 5 \stackrel{?}{=} -13\)
    Subtract. \(3 \neq -13\)

    Since \(x = 4\) does not result in a true equation, \(4\) is not a solution to the equation.

    (b) Substitute -4 for x in the equation to determine if it is true. 2x − 5 = −13
    Substitute \(\textcolor{red}{-4}\) for x. \(2(\textcolor{red}{-4}) - 5 \stackrel{?}{=} -13\)
    Multiply. \(-8 - 5 \stackrel{?}{=} -13\)
    Subtract. \(-13 = -13 \; \checkmark\)

    Since \(x = −4\) results in a true equation, \(−4\) is a solution to the equation.

    (b) Substitute -9 for x in the equation to determine if it is true. 2x − 5 = −13
    Substitute \(\textcolor{red}{-9}\) for x. \(2(\textcolor{red}{-9}) - 5 \stackrel{?}{=} -13\)
    Multiply. \(-18 - 5 \stackrel{?}{=} -13\)
    Subtract. \(-23 \neq -13\)

    Since \(x = −9\) does not result in a true equation, \(−9\) is not a solution to the equation.

    Exercise \(\PageIndex{1}\)

    Determine whether each of the following is a solution of \(2x − 8 = −14\):

    1. \(x = −11\)
    2. \(x = 11\)
    3. \(x = −3\)
    Answer a

    no

    Answer b

    no

    Answer c

    yes

    Exercise \(\PageIndex{2}\)

    Determine whether each of the following is a solution of \(2y + 3 = −11\):

    1. \(y = 4\)
    2. \(y = −4\)
    3. \(y = −7\)
    Answer a

    no

    Answer b

    no

    Answer c

    yes

    Solve Equations with Integers Using the Addition and Subtraction Properties of Equality

    In Solve Equations with the Subtraction and Addition Properties of Equality, we solved equations similar to the two shown here using the Subtraction and Addition Properties of Equality. Now we can use them again with integers.

    \[\begin{split} x + 4 & = 12 \qquad \qquad \qquad y - 5 = 9 \\ x + 4 \textcolor{red}{-4} & = 12 \textcolor{red}{-4} \qquad \; \; y - 5 \textcolor{red}{+5} = 9 \textcolor{red}{+5} \\ x & = 8 \qquad \qquad \qquad \qquad \; y = 14 \end{split} \nonumber \]

    When you add or subtract the same quantity from both sides of an equation, you still have equality.

    Definition: Properties of Equalities
    Subtraction Property of Equality Addition Property of Equality
    For any numbers a, b, c, if a = b then a − c = b − c. For any numbers a, b, c, if a = b then a + c = b + c.
    Example \(\PageIndex{2}\):

    Solve: \(y + 9 = 5\).

    Solution

    Subtract 9 from each side to undo the addition. \(y + 9 \textcolor{red}{-9} = 5 \textcolor{red}{-9}\)
    Simplify. \(y = -4\)

    Check the result by substituting \(−4\) into the original equation.

    Substitute −4 for y \(-4 + 9 \stackrel{?}{=} 5\)
      \(5 = 5 \; \checkmark\)

    Since \(y = −4\) makes \(y + 9 = 5\) a true statement, we found the solution to this equation

    Exercise \(\PageIndex{3}\)

    Solve: \(y + 11 = 7\)

    Answer

    \(-4\)

    Exercise \(\PageIndex{4}\)

    Solve: \(y + 15 = −4\)

    Answer

    \(-19\)

    Example \(\PageIndex{3}\): solve

    Solve: \(a − 6 = −8\)

    Solution

    Add 6 to each side to undo the subtraction. \(a - 6 \textcolor{red}{+6} = -8 \textcolor{red}{+6}\)
    Simplify. \(a = -2\)
    Check the result by substituting −2 into the original equation. \(a - 6 = -8\)
    Substitute −2 for a. \(-2 - 6 \stackrel{?}{=} -8\)
      \(-8 = -8 \; \checkmark\)

    The solution to \(a − 6 = −8\) is \(−2\). Since \(a = −2\) makes \(a − 6 = −8\) a true statement, we found the solution to this equation.

    Exercise \(\PageIndex{5}\)

    Solve: \(a − 2 = −8\)

    Answer

    \(-6\)

    Exercise \(\PageIndex{6}\)

    Solve: \(n − 4 = −8\)

    Answer

    \(-4\)

    Model the Division Property of Equality

    All of the equations we have solved so far have been of the form \(x + a = b\) or \(x − a = b\). We were able to isolate the variable by adding or subtracting the constant term. Now we’ll see how to solve equations that involve division. We will model an equation with envelopes and counters in Figure \(\PageIndex{1}\).

    This image has two columns. In the first column are two identical envelopes. In the second column there are six blue circles, randomly placed.

    Figure \(\PageIndex{1}\)

    Here, there are two identical envelopes that contain the same number of counters. Remember, the left side of the workspace must equal the right side, but the counters on the left side are “hidden” in the envelopes. So how many counters are in each envelope?

    To determine the number, separate the counters on the right side into \(2\) groups of the same size. So \(6\) counters divided into \(2\) groups means there must be \(3\) counters in each group (since \(6 ÷ 2 = 3\)).

    What equation models the situation shown in Figure \(\PageIndex{2}\)? There are two envelopes, and each contains \(x\) counters. Together, the two envelopes must contain a total of \(6\) counters. So the equation that models the situation is \(2x = 6\).

    This image has two columns. In the first column are two identical envelopes. In the second column there are six blue circles, randomly placed. Under the figure is two times x equals 6.

    Figure \(\PageIndex{2}\)

    We can divide both sides of the equation by \(2\) as we did with the envelopes and counters.

    \[\begin{split} \dfrac{2x}{\textcolor{red}{2}} & = \dfrac{6}{\textcolor{red}{2}} \\ x & = 3 \end{split} \nonumber \]

    We found that each envelope contains \(3\) counters. Does this check? We know \(2 • 3 = 6\), so it works. Three counters in each of two envelopes does equal six. Figure \(\PageIndex{3}\) shows another example.

    This image has two columns. In the first column are three envelopes. In the second column there are four rows of  three blue circles. Underneath the image is the equation 3x equals 12.

    Figure \(\PageIndex{3}\)

    Now we have \(3\) identical envelopes and \(12\) counters. How many counters are in each envelope? We have to separate the \(12\) counters into \(3\) groups. Since \(12 ÷ 3 = 4\), there must be \(4\) counters in each envelope. See Figure \(\PageIndex{4}\).

    This image has two columns. In the first column are four envelopes. In the second column there are twelve blue circles.

    Figure \(\PageIndex{4}\)

    The equation that models the situation is \(3x = 12\). We can divide both sides of the equation by \(3\).

    \[\begin{split} \dfrac{3x}{\textcolor{red}{3}} & = \dfrac{12}{\textcolor{red}{3}} \\ x & = 4 \end{split} \nonumber \]

    Does this check? It does because \(3 • 4 = 12\).

    Example \(\PageIndex{4}\): write an equation

    Write an equation modeled by the envelopes and counters, and then solve it.

    This image has two columns. In the first column are four envelopes. In the second column there are 8 blue circles.

    Solution

    There are \(4\) envelopes, or \(4\) unknown values, on the left that match the \(8\) counters on the right. Let’s call the unknown quantity in the envelopes \(x\).

    Write the equation. \(4x = 8\)
    Divide both sides by 4. \(\dfrac{4x}{\textcolor{red}{4}} = \dfrac{8}{\textcolor{red}{4}}\)
    Simplify. \(x = 2\)

    There are \(2\) counters in each envelope.

    Exercise \(\PageIndex{7}\)

    Write the equation modeled by the envelopes and counters. Then solve it.

    This image has two columns. In the first column are four envelopes. In the second column there are 12 blue circles.

    Answer

    \(4x=12\); \(x=3\)

    Exercise \(\PageIndex{8}\)

    Write the equation modeled by the envelopes and counters. Then solve it.

    This image has two columns. In the first column are three envelopes. In the second column there are six blue circles.

    Answer

    \(3x=6\); \(x=2\)

    Solve Equations Using the Division Property of Equality

    The previous examples lead to the Division Property of Equality. When you divide both sides of an equation by any nonzero number, you still have equality.

    Definition: Division Property of Equality

    For any numbers \(a, b, c\), and \(c ≠ 0\),

    \[\text{If } a = b \text{ then } \dfrac{a}{c} = \dfrac{b}{c} \ldotp\]

    Example \(\PageIndex{5}\): solve

    Solve: \(7x = −49\).

    Solution

    To isolate \(x\), we need to undo multiplication.

    Divide each side by 7. \(\dfrac{7x}{\textcolor{red}{7}} = \dfrac{-49}{\textcolor{red}{7}}\)
    Simplify \(x = -7\)

    Check the solution.

    Substitute −7 for x. \(7(-7) \stackrel{?}{=} -49\)
      \(-49 = -49 \; \checkmark\)

    Therefore, \(−7\) is the solution to the equation.

    Exercise \(\PageIndex{9}\)

    Solve: \(8a = 56\)

    Answer

    \(7\)

    Exercise \(\PageIndex{10}\)

    Solve: \(11n = 121\)

    Answer

    \(11\)

    Example \(\PageIndex{6}\): solve

    Solve: \(−3y = 63\).

    Solution

    To isolate \(y\), we need to undo the multiplication.

    Divide each side by −3. \(\dfrac{-3y}{\textcolor{red}{-3}} = \dfrac{63}{\textcolor{red}{-3}}\)
    Simplify. \(y = -21\)

    Check the solution.

    Substitute −21 for y. \(-3(-21) \stackrel{?}{=} 63\)
      \(63 = 63 \; \checkmark\)

    Since this is a true statement, \(y = −21\) is the solution to the equation.

    Exercise \(\PageIndex{11}\)

    Solve: \(−8p = 96\)

    Answer

    \(-12\)

    Exercise \(\PageIndex{12}\)

    Solve: \(−12m = 108\)

    Answer

    \(-9\)

    Contributors and Attributions

    • Lynn Marecek (Santa Ana College) and MaryAnne Anthony-Smith (formerly of Santa Ana College). This content produced by OpenStax and is licensed under a Creative Commons Attribution License 4.0 license.

    This page titled 3.9: Solve Equations Using Integers; The Division Property of Equality (Part 1) is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by OpenStax.

    • Was this article helpful?