==> arithmetic/digits/reverse.p <==
Is there an integer that has its digits reversed after dividing it by 2?