Abs[x-2] >= 5