aller: k or q?
q
Suppose -33*y = 26110 - 6937. Do -580 and y have the same value?
False
Let x = -3/454 - 1329/4994. Let r be -1*2*(-3 + 2). Suppose -h - 11 = -3*d, -10 = r*h - 4*d + 4. Is h <= x?
False
Let m be ((-3)/3)/((-3)/27). Suppose -4*l - 4*x + x + 79 = 0, 5*x - m = l. Suppose -3 = 2*y + 2*u + 1, 0 = 3*y + 5*u + l. Which is smaller: y or 2?
2
Suppose 15 = z + 2*z. Suppose 5*i - 4 + 24 = 5*g, 4*i + z*g - 20 = 0. Let l = -12/19 + 22/95. Which is smaller: l or i?
l
Let b be (-55528)/154 + 12/21. Which is greater: -361 or b?
b
Suppose 4*r - 32 = -12. Suppose -3*w + r*w = 14. Let k = w - 12. Which is bigger: -4 or k?
-4
Let g(i) = 2*i**2 - 11*i + 5. Let l be g(-5). Suppose f - l = -4*f. Is f at most as big as 22?
True
Let o = -2.4 + 2.28. Let h = o + -0.08. Which is smaller: 5 or h?
h
Let t(l) = 6*l. Suppose 3*d + 3 = 0, p = 2*p - 3*d - 5. Let x be t(p). Let w(g) = -1060*g - 6347. Let i be w(-6). Is x at least i?
False
Let f be (-4)/(-22) - (-153300)/462. Are 333 and f equal?
False
Let g(x) = 73*x + 39. Let l be g(-9). Let n = l - -9278/15. Is n smaller than 2?
True
Suppose -40*s - 42 = -38*s. Is -19 >= s?
True
Let i be (9 + -10)*(1 - 7/8). Which is bigger: -1 or i?
i
Suppose 0 = -2*v - 37 - 65. Let c be v/156 + 1 + 9/(-12). Is c greater than -1?
True
Let s(l) = -l**2 + 10*l + 11. Let m be s(11). Suppose 2*t - 4*t = m. Suppose t = -u - 1 - 0. Is u equal to -1?
True
Let r = -3 + 3. Let c = 1.6 - -0.2. Let g = 5.8 - c. Is g not equal to r?
True
Suppose -v = -3*n + 12, -4*n - n + 3*v = -20. Let l be n*1 - 38/(-19). Let y = -9 - -17. Is l != y?
True
Suppose -4*l + 30 = -2*a, -3*a + 37 = 4*l + 2*a. Suppose 78 = 8*k + 22. Let v = k - l. Is -3/7 at most v?
False
Let h be ((-2)/(-27))/((-18)/178623). Let j = -735 - h. Does -0.1 = j?
False
Let q(b) = -7*b + 162. Let v be q(25). Which is smaller: v or -18?
-18
Let f be ((-3)/(-3))/(36/38 + -1). Which is smaller: f or -3?
f
Let o(c) = 2*c**2 + 27*c + 54. Let z be o(-11). Let x = -19/4 - 1415/28. Let h = x + 55. Which is bigger: z or h?
h
Let u = 8 + -41/5. Let a = -1 - -2. Let j be 1 - (a - 1)/1. Which is smaller: j or u?
u
Suppose -4*u + 8 = 0, -4*h - u + 3*u = 20. Let v(y) = -y**3 - 3*y**2 + 4*y - 1. Let p be v(h). Which is smaller: p or -1/58?
p
Let x = 123.03 - 123. Is -1 greater than or equal to x?
False
Let i = -22.5 - -22.5. Is -250 > i?
False
Let l be ((-93)/(-155))/((-2)/610). Is -0.1 > l?
True
Suppose 0 = -t - b + 6, 0 = t + 3*t - b - 24. Let g = t + -8. Let j be 104/(-91) - (0 + 0). Do j and g have different values?
True
Suppose 2*z = 2*a + 158, a + z + 95 = -2*z. Let w = a + 247/3. Let h(q) = q**2 + 5*q + 4. Let m be h(-3). Which is smaller: w or m?
m
Let o = 120 - 140. Which is smaller: -0.1 or o?
o
Let p(o) = -o + 17. Let j be p(7). Suppose 4*y = j*y - 72. Which is smaller: y or 11?
11
Let w be 2/(12/(-2))*5. Let o be (-10)/4*216/(-20). Suppose 3*d + f + 13 = -d, o = -d - 5*f. Is d less than w?
True
Let i be (-1133)/824 - 3/(-8). Is 2/2651 > i?
True
Let z = -1055.95 - -1056. Let f = 1 - -1.6. Let u = 3 - f. Which is bigger: u or z?
u
Let s be (-201)/10*(-45)/(-54). Let d = 17 + s. Do d and 68 have the same value?
False
Let x(s) = 0 + 1 + 2*s + 7*s**2 + 0*s. Let z be x(-1). Suppose 2*n - 43 = -2*n + 5*o, 4*o = -2*n + 2. Which is smaller: z or n?
z
Suppose 26 = 5*r - 4*x, -2*r + 3*x = -5 - 11. Suppose -r*i = 2 - 4. Which is smaller: 3/76 or i?
3/76
Suppose 0 = 2*p + 3*p + 5*o + 90, 4*p = -5*o - 71. Let d = -293 + 255. Let w = p - d. Do 19 and w have different values?
False
Let r = 23 + -61. Let i be 26*((-2)/r + 0). Let t = i + -740/513. Is t greater than -1?
True
Let m = -138 - -194. Let a be 15/(-25) - m/(-10). Which is smaller: a or 6?
a
Let f = 209 + -208.2. Which is bigger: f or 8?
8
Let q(x) = -2*x + 23 + 7 - 3*x. Let v be q(6). Which is greater: v or -2/5?
v
Let f = 155 - 130. Which is greater: f or 23?
f
Let u = 15209/2 - 7604. Suppose 18 = 3*q - 3*c, -10 = -4*q + 2*c + 6. Which is smaller: u or q?
u
Let z be (3 - 202/68)*1042. Let g = z - 31. Is g > 1?
False
Let s be (4 - -72) + 1*(-6 - -1). Is 67 greater than s?
False
Let f = -21193 - -2839799/134. Let d = f - 2/67. Is -5.8 less than or equal to d?
True
Suppose -527 = t + 74. Is -602 at most as big as t?
True
Let z = 391 + -392. Is z bigger than -7/19?
False
Let k(l) = -l - 3. Let a be k(-5). Let x = 66 + -77.4. Let t = x + 1.4. Are t and a equal?
False
Let h = 42 - 42.02. Which is smaller: h or -28?
-28
Let z = 32 + 1. Let t be (z/6 - 0)*2. Let a = t + -18. Are a and -7 equal?
True
Suppose 638 = -14*g + 3*g. Is g greater than or equal to -58?
True
Let v = 82 - 84. Let z = -12796/11 + 74012/55. Let s = z + -183. Which is smaller: s or v?
v
Let s be (38/40)/((-11)/(-44)). Which is greater: 3 or s?
s
Let l = 231 + -232. Suppose -3*x - 493 = -76. Let v = -2081/15 - x. Which is bigger: l or v?
v
Suppose 5*a + 0*a + 10 = 0. Let f = -56 - -68. Let n = -13 + f. Do n and a have the same value?
False
Let y be -34 - -30 - 78/(-17). Is 2 < y?
False
Let h = 120 + -70. Suppose 3*w - 2*w = 3*a + 44, 5*a + 3*w = -h. Which is bigger: a or -14?
a
Let i(m) = -2*m**2 + 17*m - 14. Let a be i(7). Let o(z) = -4*z + 29. Let b be o(a). Which is greater: b or 2/15?
b
Let c be (-273)/105 - (-16)/10. Is 3/44 >= c?
True
Suppose 22079 = -77*j - 11262. Do j and -433 have different values?
False
Let i = -3.5 - -2.6. Let q = 0.8 + i. Let b = 0.02 + -2.02. Is b equal to q?
False
Let t = -1 + 1. Let q = -4101 + 49247/12. Let n = q - 3. Which is bigger: t or n?
t
Let o = 231 - 444. Is o > -213?
False
Let q = -3.95 - -4.05. Is q at least as big as 87?
False
Suppose -5*j + 5*f = 4 + 6, -4*f = 2*j - 2. Let l be 120/90 + (-170)/114. Does j = l?
False
Suppose 4*j + 10 = -70. Let l = j + 18. Let v be (l/(-6))/((-9)/(-81)). Which is smaller: v or 4?
v
Let a be ((-18)/(-16))/((-6)/8). Let t(w) = w**2 - 10. Suppose 5*h - 15 = -0*h. Let o be t(h). Is o >= a?
True
Let v be 7 + -1 - 108/18. Which is smaller: 2/47 or v?
v
Let t be 16/54*(-9)/(-60). Let v be ((-18)/(-4) + -2)/((-11)/(-22)). Suppose -2*k + 29 = 2*k - v*h, 7 = 2*k - h. Is k > t?
True
Let i = 707/9 + -79. Is i <= 0?
True
Let q = 0.0838 - 0.1738. Is -3/5 bigger than q?
False
Let r = 14 + 3. Let q = -19 + r. Is 12 at most q?
False
Let h be 327/72*3*-4. Let n = 53 + h. Which is smaller: n or -3?
-3
Let l = -0.3 - -0.5. Let w = 0 + l. Let v = -22/9 - -137/45. Is w > v?
False
Let t = -445/86 + 184007/38270. Let i = 3/89 - t. Do -1.7 and i have the same value?
False
Suppose 13 = 10*a - 17. Suppose 3*j + 5*o = 6*j + 17, 2*o + 4 = 0. Let z = 14 + j. Which is smaller: z or a?
a
Let o = 71 + -200. Let g = o + 1289/10. Is 1 <= g?
False
Suppose -18 = 2*d - 5*o, -4*d + d - 5 = -2*o. Let z be 13 + -11 + 7/(-1). Let k be 0/(z/((-15)/(-6))). Which is smaller: k or d?
k
Let p = 2/81807 + 323792096/409035. Let u = 796 - p. Is 5 smaller than u?
False
Let u = -321 - -393. Is 72 at least as big as u?
True
Let l be (7736/(-1104) - -7)/(2/(-18)). Is l at most 0?
False
Let q = 33 + -31. Suppose -57 + q = 5*y. Is -10 smaller than y?
False
Let n be 6/(-2)*(-1 - 0). Suppose -7*r = -4*r + n. Let i be r - (-14)/(-6) - -3. Which is bigger: i or -0.7?
i
Let w = -328 + 330. Are w and -67 unequal?
True
Let b = -6 + -19. Let p = -26 - b. Which is bigger: p or 2/85?
2/85
Let m(i) = i**3 + 6*i**2 - 2*i - 6. Let q be m(-6). Suppose -4*x = -2*f + 2 - 6, -5*x + 3*f + q = 0. Suppose 2*n + x = -12. Is -0.1 <= n?
False
Let t be ((1 - 0) + -1)/(-18 + 17). Which is smaller: t or 1/946?
t
Suppose -2*w - 24 = -5*w. Suppose 0 = n - w + 7. Which is greater: 0 or n?
n
Let l = -2.9 - -1.4. Let k = -2.5 + l. Which is greater: -2 or k?
-2
Suppose f - 1 = l, -f - 2*l + 3 + 1 = 0. Suppose 0 = -p - f*p + 879. Let v = p - 2047/7. Is 1 greater than v?
True
Let c(y) = y**2 + 6*y - 3. Let v be c(-7). Suppose 2*p = -p + 4*a + 25, 4*p - 32 = v*a. Is 7 <= p?
True
Let x be (2/(-3))/((-2)/3). Let w(n) = -2*n + 4. Let j be w(4). Let h be (j/(-132))/((-1)/(-6)). Which is smaller: x or h?
h
Suppose -2*v - 4*l = 1076, v - 1058 = 3*v - 2*l. Let y be (-4)/((-41634)/(-10389) + -4). Let q = y - v. Which is greater: -1 or q?
q
Let t = -1766 + 1719. Are t and 1.1 non-equal?
True
Let a = -64 + 60. Let n be (-3 - (-3)/6) + a/(-8). Let g = -1 - 0. Which is greater: n or g?
g
Let r(t) =