Similar to グレコからの挑戦状!計算の城とオバケたち

Clock angle problem

Verbal arithmetic

Word problem (mathematics education)

Magic square

Coq (software)

Lean (proof assistant)

WolframAlpha

Desmos

Microsoft Math Solver

Mizar system