A variation of The determinant is divisible by three.
In a 10*10 matrix 91 of the entries are 1's and the other 9 entries are either 0's or 2's.
Prove (not by simulation) that if the value of the determinant of the above matrix is nonzero then it is not divisible by 3.