Correct. Trudy used known facts (the equations) and properties of numbers and operations to create a series of new known facts, until she found out the value of x and y.