4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles | ScienceToStartup | ScienceToStartup