Standardized formatting of problem numbers
Removed redundant if statement from verify()