A | : a - b = c implies a < b = c incorrect |
B : | b + a - c implies b > a < c correct |
C : | c x b + a implies c <= b > a incorrect |
D: | b + a c implies b > a >= c incorrect |