isCoprime($a, $b)
Returns true if $a and $b are coprime. This is equivalent to the highest common factor of $a and $b being 1.