@KentHaines Not sure I have something ready-made, but you could ask "does doing <operation> to both sides of an equation always/sometimes/never preserve the equation?"