Luis stated that the ordered pair (3,-1) corresponds to an
input-output pair for the function y = -2x + 7. Is he correct?
Why or why not?