To determine if the point \( (12, 31) \) is a solution to the inequality \( y > 4x - 17 \), we can substitute \( x = 12 \) and \( y = 31 \) into the inequality and check if it holds true.
First, we calculate \( 4x - 17 \) when \( x = 12 \):
\[ 4(12) - 17 = 48 - 17 = 31 \]
Now, we substitute this value into the inequality:
\[ y > 4x - 17 \implies 31 > 31 \]
The statement \( 31 > 31 \) is false. Therefore, the point \( (12, 31) \) does not satisfy the inequality \( y > 4x - 17 \).
Thus, the friend's claim is incorrect.