Is the ordered pair (4, 12) the solution to the equation y = 3x?