First Neural Conjecturing Datasets and Experiments