ArithmeticSolutions test pass