Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic (Logical Methods in Computer Science, 2025)