Так как 7 всегда меньше 12, то при любых значениях а неравенство верно!
делится на 9, 41582637\9 = 4620293