Read the word problem below.
Antonio has a total of 55 marbles. He has 15 green marbles and 12 red marbles. The rest of the marbles are blue. How many blue marbles does he have?
A student solves this problem by writing an equation. Which strategy could help check the student’s answer?