h is bigger: 2/3317 or z?
z
Let v = -65 + 63. Let i be v/(-30) + 6/(-15). Which is smaller: i or 10?
i
Let u = -2584 + 4757/2. Which is smaller: u or -207?
-207
Suppose -z - 3*k - 6 = -k, -4*k - 36 = 5*z. Let g = -7 - z. Which is smaller: -1 or g?
-1
Let j = 3 - -3. Let m(x) = x - 7. Let o be m(j). Is o not equal to -12/11?
True
Let x = 591767270/20553 - 892802/31. Let i = x - -102/13. Suppose 26*q + 135 = 109. Is q less than i?
True
Suppose 3*y = -y + 16. Suppose -3*f + 86 = -y*c, 7 = -4*f - 1. Let b = c - -15. Which is smaller: -10 or b?
-10
Let q be ((-2)/10)/(-15 - (-2574)/180). Let k(j) = j**2 + j - 2. Let b be k(-3). Suppose b*d + 2 = 6. Which is greater: d or q?
d
Suppose -5*d + 35 = -5*o, -4*d - 5*o + 1 = -0*d. Suppose w + 0 = d. Suppose -w*g = 8, -4 = -j - 5*g - 15. Is 3/22 < j?
False
Suppose -2*p + 5*p - 3 = 0. Suppose -528 = 2*m + 58. Let s = -3225/11 - m. Which is bigger: s or p?
p
Let i(n) = n**3 + 6*n**2 + 5*n. Suppose 4*u + 20 = 6*u. Suppose 3*g + u = g. Let c be i(g). Which is smaller: c or 1/7?
c
Let a(i) = -2*i + 4. Let c be a(4). Let y be (-2)/(-5)*(-63)/108*15. Are c and y equal?
False
Let q = 14 + -9. Suppose -q*j + 23 = -2. Suppose -l + 3*c = j, 9 = -5*l + 2*c - 3*c. Which is smaller: -4 or l?
-4
Let s = 0.32 - 0.62. Suppose 4*y = 3*y. Which is bigger: s or y?
y
Let j = 1/375 + 497/1125. Let d = -1/9 + j. Is d smaller than 1?
True
Let i = 785/3 - 252. Is i equal to 1?
False
Let f(p) = p**3 - 5*p**2 - 5*p - 8. Suppose h + 2*o + 2 = 0, 2*o = -5*h + 10 + 12. Let v be f(h). Is -7/3 > v?
False
Suppose 18*o - 2704 = 5594. Is o at most 461?
True
Let p be ((-178)/801)/((-16)/222) + -3. Let c(k) = k**3 + 3*k**2 + 2*k + 2. Let o be c(-2). Suppose 3*b = 2*d - 2, d - o*b + 0 = 1. Which is bigger: p or d?
d
Let f be 11*115/315 - 4. Let s = -106/63 + f. Let o = 0.1 + 0.1. Is o at least as big as s?
True
Let l(f) = f**3 - 12*f**2 + 11*f + 6. Let u be l(11). Let c be u/27 + (-46)/18. Is c >= -3?
True
Let z = -7 - -17. Suppose -p - p + z = 0. Let v(i) = -i**2 + 11*i - 5. Let u be v(10). Do p and u have different values?
False
Suppose -z = -3*y + 3435, 5735 = 5*y - 3*z - 2*z. Are y and 1145 equal?
False
Suppose 11*a - 11 = 10*a. Let t = -15 + a. Let n be (-3 - t/6) + 3. Which is smaller: n or 0.1?
0.1
Suppose 3*p - 3*q + 9 = 0, -2*p + 4*q - q - 10 = 0. Let y be (-11 + 12)*p/37. Which is bigger: y or -1?
y
Let d = 50 - 22. Let x be 4/14 + (-8)/d. Suppose x = 8*l - 6*l. Is -1 at most as big as l?
True
Let r = 313 + -314. Which is smaller: -1/19 or r?
r
Suppose 2*t - n = -28, t + 3*n + 16 = 4*n. Let r be (2/4)/(33/t). Let z(d) = -d**3 - 9*d**2 + 9*d + 80. Let y be z(-9). Is y at least r?
False
Let j(w) be the third derivative of -w**4/12 - w**3 + w**2. Let k(r) = -r**3 + 40*r**2 - 113*r + 67. Let d be k(37). Let t be j(d). Is -2 not equal to t?
True
Suppose 4*a = 3*a - 3*y + 273, 2*a - 3*y - 546 = 0. Is a less than or equal to 272?
False
Let j = 51 + -56. Let d = -451/87 + 15/29. Are d and j equal?
False
Let t be 17 - (1 - (-1 + 2)). Suppose 3*c + 2*i - 79 = 0, -t = c + 4*i - 60. Does 23 = c?
True
Let r = 19.46 - 0.46. Let a(o) = -o**2 - 7*o + 1. Let y be a(-7). Which is greater: r or y?
r
Let i = 124.869 - -0.131. Let n = -114 + i. Do n and -2 have different values?
True
Let x(o) = 3*o - 18. Let a(k) = 4*k - 28. Let z(m) = -5*a(m) + 7*x(m). Let l be z(-13). Is -2/25 less than or equal to l?
True
Let i be 490/294 + (-67)/48. Which is bigger: -1 or i?
i
Let r = 3/26 + 43/78. Suppose 4*u + 29 = 3*s, -4*s - 3 = -0*u + 3*u. Let x be 13/u - 48/(-80). Which is greater: r or x?
r
Let m(j) be the third derivative of -j**6/120 - j**5/12 + j**4/6 + j**3/2 + 17*j**2. Let x be m(-4). Is x greater than -30?
True
Let y = -1353 + 1349. Which is smaller: y or -105/23?
-105/23
Suppose -26 = -12*z + 10. Suppose -t - 36 = -4*t. Suppose 0 = -0*r - 4*r + t. Is r at most z?
True
Let y = 23.02 - 23. Let f = y + -0.12. Which is smaller: -73 or f?
-73
Let f(y) = 13*y - 21*y + 10*y + 14. Let v be f(-8). Is v greater than or equal to -1?
False
Let c be (-8)/(-9)*(-126)/(-28). Which is smaller: 2/3 or c?
2/3
Let s be 1/1 + 44/(-22). Let h = 5 + -3. Let k be 7/10 - 1/h. Is k at most as big as s?
False
Let i = -2.9 - -0.9. Is -31 less than i?
True
Let c(m) = -m**3 + 4*m - 2. Suppose -5*x + 2*p = -15 + 1, 2*x = -p + 2. Let s be c(x). Which is smaller: -9/8 or s?
s
Suppose -12*c + 5*c = 42. Let l be (-2 - c) + (-585)/147. Which is smaller: l or 0?
0
Let w = 6.2 - 5. Let h = -2.3 + w. Let f = -51 - -50. Which is smaller: h or f?
h
Let t be (4/(-140))/((-2)/(-5)). Let l = -50 - -54. Suppose -4*f + 4*n - 20 = 0, 0 = 2*f + n - l*n + 14. Is t not equal to f?
True
Let h(l) = 3*l. Let y be h(2). Suppose 0*i - 2*i + y = 0. Let r be 3/(-42)*-2*(-665)/(-190). Is r at most i?
True
Let s = -5497/15481 - -36/113. Is 1 > s?
True
Let y = 46183 - 322617/7. Let s = 95 - y. Which is greater: s or -1?
s
Suppose 0 = -5*f + 3*f + 2. Suppose v = f - 2. Which is bigger: v or -4?
v
Let v = 0.092 - -0.25. Let d = v - 0.042. Let w = -1 - 1. Is w greater than d?
False
Suppose 3*x + 24 = 33, -4*r - 11 = -5*x. Which is smaller: r or -2/1259?
-2/1259
Let d(w) = 2*w**3 - 6*w**2 + 5*w + 2. Let j(r) = -2*r - 19. Let t be j(-11). Let z be d(t). Let g be (z/(-255))/(-1*1). Which is bigger: g or 0?
g
Suppose 2*r - 2*t - 4 = 0, 0*r = 5*r - 3*t - 8. Let v = 394 - 5917/15. Is r not equal to v?
True
Suppose 4*j + 2*c - 103 = 5*c, j = 5*c + 13. Which is smaller: 33 or j?
j
Let l = -800 - -27998/35. Let q = -186 + 273. Let w = 87 - q. Which is smaller: l or w?
l
Suppose -g - 6*g = -21. Is g less than 2?
False
Let w be (2/(-6))/(2/30). Let o = -44 - w. Let r = -196/5 - o. Is 1/2 less than or equal to r?
False
Let t = 269341/84 - 3206. Let m = t - 3/28. Let x(d) = -d**3 - d + 1. Let k be x(1). Is k <= m?
True
Let n be 1/(-9) - (-39896)/396. Let m = n - 101. Let p = 2 - 2. Which is smaller: p or m?
m
Let y = 57/23 - -1/46. Suppose 6 = 3*m - 9. Suppose -m*k + 0*k + 5 = 0, -k = -5*r + 14. Does r = y?
False
Let s = 1.279 - 9.014. Let j = s - 0.145. Let z = -0.12 + j. Which is bigger: 0.1 or z?
0.1
Let j = 8 - -321. Let y = j + -3607/11. Does y = -3?
False
Let x = -13338.004 + 13316. Let z = -0.004 - x. Let k = -21.6 + z. Is k >= 2?
False
Suppose -g = d + 8 + 22, -4*d + 96 = -4*g. Is g less than -26?
True
Let g(k) = -3*k - 14. Let v be g(-7). Suppose 5*a + 3*y - v*y + 11 = 0, 3*a - 2*y + 5 = 0. Which is smaller: a or -3?
-3
Let y = 138 - 254. Is y not equal to -116?
False
Let f = 24 - 36. Let p = 1434 + -1433. Is p != f?
True
Let g be 855/(-30)*(-2)/(-3). Is g bigger than -19?
False
Let s be 8/4 + (2 - 0). Suppose -s*l = -2*g + 14, g - 8 = 3*l - 3*g. Is l < -4?
False
Let g be 0 + -1 + -6*(-8)/48. Let n be 3/24*(-271)/(-30). Let u = -16/15 + n. Which is smaller: u or g?
g
Let p(o) = o - 3. Let w be p(3). Let l = 2 + 0. Suppose l*s + s - 42 = w. Which is bigger: s or 15?
15
Let h = -11 - -8. Let z be 138/9 + 1/h. Let f be z/2*(-8)/3. Is f smaller than -21?
False
Let i = 34 + -33.99. Are -45 and i equal?
False
Suppose 2*s - 4*p = -10, 0 = -s + 6*s + 3*p - 14. Let c(l) = -30*l - 1. Let k be c(s). Is k <= -30?
True
Let m be (-15)/(-2) + (-11)/22. Suppose m*b = 2*b + 60. Is b bigger than 38/3?
False
Let d(f) = f**2 - f - 2. Let b be d(2). Suppose b*k = -k - 25. Let n = 22 + k. Which is smaller: n or -9/5?
n
Let c be (-448)/78 + (-45)/(-27) + 5. Which is smaller: c or 0?
0
Let v(k) = 2*k - 5. Let d(o) = -7*o + 19. Suppose -q = -1 - 5. Let w(z) = q*d(z) + 22*v(z). Let m be w(-4). Which is bigger: m or -3?
-3
Let m be -2 - (-12)/2 - 2. Suppose -p - 42 = -m*p. Suppose -5*v = -17 + p. Is -2 >= v?
True
Suppose 2*l + 0*n = -3*n - 28, 0 = 5*l + 2*n + 70. Let w be ((-26)/(-91))/(6/l). Is w < -2?
False
Let i be 0/1 - 2/6. Let n = 300 - 288. Is n greater than i?
True
Let t(w) = -2*w**3 + 22*w**2 - 24*w + 14. Let g be t(10). Which is smaller: g or -11?
g
Let l = 2.49 - 51.89. Let z = l + 0.4. Is z bigger than 1?
False
Let l be (-2)/8 - (-6145)/54020. Let z = l + 6/73. Which is bigger: z or -1?
z
Let z be 192/(-8) - (2 + 0 + -5). Let f be ((36/z)/3)/((-30)/35). Which is greater: -52 or f?
f
Let d(z) = -4*z**3 - z**2. Let n be d(1). Let k = -11 - n. Let r = 6 + k. Which is greater: -0.03 or r?
r
Let t be (-190)/(-56) - (203/28 + -7). Ar