Generating Symbolic Reasoning Problems with Transformer GANs