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))
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))