Decision method for elementary algebra