Jen substitutes a value for y in the equation 5x = 4x + 7

How will Jen know if the value is a solution of the equation?