We can use IMT to determine if \(A\) is invertible by showing that \(A\) either makes at least one statement in the list true or makes at least one statement in the list false. Note that
\begin{equation*}
A = \begin{bmatrix} 1 \amp 0 \amp -2 \\ 3 \amp 1 \amp -2 \\ -5 \amp -1 \amp 9 \end{bmatrix} \sim \begin{bmatrix} 1 \amp 0 \amp -2 \\ 0 \amp 1 \amp 4 \\ 0 \amp -1 \amp -1 \end{bmatrix} \sim \begin{bmatrix} 1 \amp 0 \amp -2 \\ 0 \amp 1 \amp 4 \\ 0 \amp 0 \amp 3 \end{bmatrix}\text{.}
\end{equation*}
We see that \(A \) has a pivot in every column. Therefore, by IMT, \(A \) must make every statment on the list true. In particular, we learn that \(A \) is invertible.