!7

sS isSmallerOrEq = "hctmgjqkmpmopddh * *";
sS isGreaterOrEq = "emyajonmfdmoogrx * *";

sO solver;

p {
  solver = hotwire(#1007393);
  
  int a = randomExcl(0, 1000);
  int b = randomExcl(1000, 2000);
  printVars(+a, +b);
  assertTrue(checkStatement(format(isSmallerOrEq, a, b));
  assertFalse(checkStatement(format(isSmallerOrEq, b, a));
  assertFalse(checkStatement(format(isGreaterOrEq, a, b));
  assertTrue(checkStatement(format(isGreaterOrEq, b, a));
  print("OK");
}

sbool checkStatement(S bla) {
  print ("Checking: " + bla);
  ret isYes(callAnswerMethod(solver, bla));
}