Αποστολή με SMS: Elementary engineering mechanics applications of the OTTER automated reasoning system