The "divisibility rule" to test whether a given integer is divisible by $7$ (or, more generally, to find the remainder when an integer is divided by $7$) is in my opinion, ridiculous. The method is so convoluted that I can't even remember it off the top of my head, and it is almost certainly slower than simply subtracting easy multiples of seven. For example:
\begin{align} 1234&\,\\ \color{red}{-700}&\,\\ 534&\,\\ \color{red}{-490}&\,\\ 44&\,\\ \color{red}{-42}&\,\\ 2&\,\\ \end{align}
Another one:
\begin{align} 314159&\,\\ \color{red}{-280000}&\,\\ 34159&\,\\ \color{red}{-28000}&\,\\ 6159&\,\\ \color{red}{-5600}&\,\\ 559&\,\\ \color{red}{-560}&\,\\ -1&\, (6) \end{align}
This method seems so much better, but is there some merit to the divisibility "rule"? The specific one I'm thinking of is the first one mentioned here (I will admit that the Pohlman-Mass method seems interesting).