1. An expression that contains at least one unknown quantity and becomes true or false when a test value is substituted for the unknown.