Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships | Synapse