Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning