英语翻译Express the statement as a formula that involves the var