Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplify

  [In] FullSimplify[expr1 == expr2]

  [Out] True