def satisfies_primality(n): from pymbolic.algorithm import gcd for p in aligned_prime_to: if gcd(n, p) != 1: return False return True