!752

!include #1002412 // Turing

// DEH TESTS

static void tests() {
  biggerNumber();
  longerWord();
}

static void biggerNumber() {
  for (int i = 0; i < 10; i++) {
    int a = rand(1000), b = rand(1000);
    add(format3("yes or no: is * a bigger number than *?", a, b), a > b);
  }
}

static void longerWord() {
  for (int i = 0; i < 5; i++) {
    int a = rand(10), b = rand(10);
    S wa = randomID(a), wb = randomID(b);
    add(format3("answer me: is * a longer word than *?", wa, wb), a > b);
  }
}