equations can be solved by machines