def is_magic(x, numbers): return trueforall(numbers, lambda e: x % e == 0)
def is_magic(n): numbers = [n * x for x in xrange(2, 7)] return trueforall(numbers, lambda x: has_same_digits(n, x))