is (2%5E42%2C643%2C800 - 1) a prime number