19 < 0 '&&' 9 < 1

10 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1

15 < 0 '&&' 7 < 1

1 < 0 '&&' 7 < 1

5 < 0 '&&' 1 < 1

1 < 0 '&&' 7 < 1

15 < 0 '&&' 7 < 1

10 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1