NPHardEval4V: A Dynamic Reasoning Benchmark of Multimodal Large Language Models | Synapse