Valid Inference with Synthetic Data via Task Exchangeability — ThinkLLM