GoalScope — is_woodall (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
↵
<code>↵
def is_woodall(x):↵
"""Check if x is a Woodall number."""↵
n = 1↵
while (n * (2 ** n) - 1) <= x:↵
if (n * (2 ** n) - 1) == x:↵
return True↵
n += 1↵
return False↵
</code>