Crypto Arithmetic Problem Solving