The equation is basically Hash(x) < DIFFICULTY.
And it's solving for x. The method it uses to solve the equation just happens to be brute force guessing, but that doesn't mean it isn't solving a difficult equation. Try rewriting that equation with `x` on the left and you'll see how difficult it is.