Disjunction
2b - 5 < -9 or 2b >/= 12
2b - 5 < -9 or 2b >/= 12