A mathematical sentence that shows that two expressions are equivalent.
The value for the variable that makes the equation true.
Imported from external platform