RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation