ycb_sympy_pr16597

what a new run launched now would send

a.is_even does not imply a.is_finite
I'm not sure what the right answer is here:
```julia
In [1]: m = Symbol('m', even=True)                                                                                                             

In [2]: m.is_finite                                                                                                                            

In [3]: print(m.is_finite)                                                                                                                     
None
```
I would expect that a number should be finite before it can be even.

Work only inside this repository checkout. Make the code change the task
describes, keeping the diff focused — no drive-by refactors.

When you are done, leave your changes committed or in the working tree;
they are collected automatically.

Stay on this snapshot checkout (`task/ycb_sympy_pr16597`). Never checkout, pull, or rebase onto `main`. That branch is a README-only orphan.
Stay on this HEAD. Do not fetch another default branch. Push only on the Cursor-created `crazy-cursor/…` side branch from this HEAD.

Some past runs of this task were launched with a different prompt (the prompt template changed since, or those runs predate this benchmark's stored prompt). Each run persists the exact prompt it sent at launch — that per-launch record is the audit trail; this page shows only the current one.