Yes indeed there are. There is the trivial division primality test which is inefficient for large numbers. There is Fermat's primality test based on Fermat's little theorem and also there is Miller-Rabin primality test with slightly better efficiency than Fermat's test.