14 < 0 '&&' 9 < 1

15 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1

22 < 0 '&&' 7 < 1

1 < 0 '&&' 7 < 1

0 < 0 '&&' 1 < 1

-1 < 0 '&&' 7 < 1

14 < 0 '&&' 9 < 1

1 < 0 '&&' 7 < 1

0 < 0 '&&' 1 < 1