New Benchmark Tests If LLMs Actually Reason Using Made-Up Programming Languages