On the Existence of Optimal Strategies in a Combinatorial Game

We study a combinatorial game derived from a problem in the German National Mathematics Competition. In this game, two players take turns removing numbers from a finite set of natural numbers, aiming to satisfy a certain divisibility condition. We introduce a generalized version of the original game, which depends on two parameters: the size of the initial number set and a fixed divisor. For both players, we identify a broad range of game variants in which they can force a win. In particular, we show that for even-sized sets, the second player to move can always win, while for many odd-sized cases, the first player to move has a winning strategy. A web implementation of the game demonstrates some of our results in practice.