Solve And Verify Identities