Wow I made main faster than alt by not checking for primality in isPrimeDivisible. Why did I check for primality in the first place...