x减7等于2