On checking the Goldbach conjecture