Formal target: Corpus.OEIS77408.conjecture

$103$ is conjectured to be the smallest number such that the Reverse and Add!

Exact formal statement

∀ (n : Nat), Not (Corpus.OEIS77408.IsBasePalindrome 3 (Corpus.OEIS77408.a n))

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record