Text this: Elementary engineering mechanics applications of the OTTER automated reasoning system