For each m $>1$ let Zm $=\{0,1,2,...,$m $1\},$ and let Fm $=($Zm$,+,\backslash$times $)$ be the model whose universe is Zm and that has relations corresponding to the $+$ and $\backslash$times relations computed modulo m$.$ For each m$,$ the theory Th$($Fm$)$ is decidable because the universes are finite. Therefore, the quantifiers cannot be tested by brute$-$force.

Question $2$ options:

True

False