check_solve      1413 src/Solve.cpp      check_solve(3 - 4*x, x*(-4) + 3);
check_solve      1414 src/Solve.cpp      check_solve(min(5, x), min(x, 5));
check_solve      1415 src/Solve.cpp      check_solve(max(5, (5+x)*y), max(x*y + 5*y, 5));
check_solve      1416 src/Solve.cpp      check_solve(5*y + 3*x == 2, ((x == ((2 - (5*y))/3)) && (((2 - (5*y)) % 3) == 0)));
check_solve      1417 src/Solve.cpp      check_solve(min(min(z, x), min(x, y)), min(x, min(y, z)));
check_solve      1418 src/Solve.cpp      check_solve(min(x + y, x + 5), x + min(y, 5));
check_solve      1421 src/Solve.cpp      check_solve(Let::make("z", 3 + 5*x, y + z < 8),
check_solve      1425 src/Solve.cpp      check_solve(Let::make("z", 3 + 5*x, y + (z + z) < 8),
check_solve      1480 src/Solve.cpp      check_solve(4.0f > sqrt(x), sqrt(x) < 4.0f);
check_solve      1482 src/Solve.cpp      check_solve(4 > y*x, x*y < 4);
check_solve      1569 src/Solve.cpp      check_solve(max(min(y, x), x), max(min(x, y), x));
check_solve      1570 src/Solve.cpp      check_solve(min(y, x) + max(y, 2*x), min(x, y) + max(x*2, y));
check_solve      1571 src/Solve.cpp      check_solve((min(x, y) + min(y, x))*max(y, x), (min(x, y)*2)*max(x, y));
check_solve      1572 src/Solve.cpp      check_solve(max((min((y*x), x) + min((1 + y), x)), (y + 2*x)),
check_solve      1579 src/Solve.cpp          check_solve(5 - (4 - 4*x), x*(4) + 1);
check_solve      1580 src/Solve.cpp          check_solve(z - (y - x), x + (z - y));
check_solve      1581 src/Solve.cpp          check_solve(z - (y - x) == 2, x  == 2 - (z - y));