3 ms·Mathematica can probably do thatby chillydawg 9y agoMathematica can probably do thatSmaug123 9y agoCorrect: Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplifyglinia 9y ago[In] FullSimplify[expr1 == expr2] [Out] True