Mathematical FORmalism Checker