2 = i. Let g = 1010/3 + -336. Which is bigger: i or g?
g
Let d be 84/(-196) + 2826/6643. Do d and 0 have the same value?
False
Let f(m) be the third derivative of -5*m**4/24 - 5*m**3/2 - 2*m**2. Let r be f(-15). Suppose -i - 4*i + r = 0. Which is greater: 11 or i?
i
Let b = 40374/13 + -3110. Is b bigger than -5?
True
Let r = 1579/3 - 3893/9. Let m = r - 94. Is 1/11 < m?
False
Suppose -5*x + 2*t - 3 = 0, 0 + 1 = x - 2*t. Let d be -3*22/(-18) + x. Is 4 >= d?
True
Let y be (2/12)/(3/4). Let j be 5/(15/(-9)) - (3 + -7). Suppose 3*h - 1 = -n, 0 = -4*h + 2*n + 7 + j. Is y equal to h?
False
Let z be 1*4 - (-160)/(-34). Let o be 2562/105 - 3/(-5). Suppose -x + 24 = o. Which is smaller: x or z?
x
Let c = 72 + -77. Which is smaller: 2.6 or c?
c
Suppose -13 + 3 = -5*x. Let a = 0 + x. Let q be (-4)/(-6)*a/4. Do q and 0.2 have the same value?
False
Suppose -16*d + 1207 = -585. Is 113 <= d?
False
Let j be (-655)/18*-6*(-5)/(-15). Let f = j - 73. Do f and 1/8 have different values?
True
Let p be -126 - -33 - (-3)/(-1). Let a = 115 + p. Which is greater: 21 or a?
21
Let f = -140 + 140. Is -3/53 > f?
False
Let g = 814 - 790. Which is smaller: g or 49/2?
g
Suppose 5*u = -2*y + 42, 3*u + 0*u - 5*y = 19. Suppose 0 = 2*v - u + 4. Let b = v - 12/5. Which is smaller: b or 5?
b
Let y be 6 - 1 - (18 + 19). Do y and -30 have different values?
True
Let a = -55 - -57. Suppose 3*n + a*n = -25. Do n and -23/4 have the same value?
False
Let y = -1.02 + -0.38. Do y and 4 have the same value?
False
Let d = -12880 - -12887. Suppose 6 = f - 3*f. Which is bigger: f or d?
d
Let k(d) = 5*d + 119. Let s be k(-24). Let v be (-268)/(-438) - (-8)/(-12). Let y = 191/511 - v. Which is smaller: s or y?
s
Let g = -2447 - -2449. Let r(x) = -x**3 + 4*x**2 - 2. Let d be r(4). Let y be 1 - d/(1 - 0). Are g and y nonequal?
True
Let t be 15/30*-1*2. Let q = -53 - -28. Let u be (-5)/q + (-32)/35. Which is greater: t or u?
u
Let n be (-15)/(-9) + 1/3. Suppose n*c + c = 0. Let g be 5 - ((-9530)/(-2050) - (-4)/10). Is g <= c?
True
Let u(y) = -26*y + 126. Let a be u(5). Which is smaller: a or -25/6?
-25/6
Let c = 5 + -12. Suppose d + 15 = -3*b, -3*d - 2 = b + 3. Let y be (1 + (-10)/(-6))/(b/15). Is y smaller than c?
True
Let m = -112 - -158. Suppose -4*k + m = -2*k. Is k at most 23?
True
Let n be ((188/3)/(-2))/((-88)/319). Let z = -114 + n. Which is bigger: z or -1?
z
Let s be 412/(-106) + -7 + 11. Let u(n) = -n**3 - 6*n**2 - 6*n - 4. Let a be u(-5). Which is smaller: a or s?
s
Let q(o) = -2*o + 4. Let p be q(4). Let h(x) = -x**3 - 5*x**2 + 8*x + 7. Let m be (3/(-6))/((-4)/(-48)). Let s be h(m). Is p at most as big as s?
False
Let z = 1.51 - -25.29. Let k = z + -8.8. Which is smaller: k or 1/2?
1/2
Suppose 3*b - 1553 + 1550 = 0. Which is smaller: b or -390?
-390
Let j be (-740)/123 - (2 + -8). Which is smaller: 5 or j?
j
Let z(m) = -13*m**2 - 5*m - 4. Let s be z(-4). Let v be (s/54)/((-1)/(-6)). Let h = 22 + v. Is 1 greater than or equal to h?
True
Suppose 0 = 5*v - 8 - 7. Suppose -v*o + o = 0. Let i = 6 + o. Which is smaller: 4 or i?
4
Suppose -y - 856 = -4*m - 0*m, 4*m = 5*y + 4360. Is y < -876?
False
Let h(v) be the third derivative of -v**5/60 + 7*v**4/24 - 3*v**3/2 - 12*v**2. Let o be h(5). Let f(j) = j**2 + j - 4. Let c be f(-3). Is o at most c?
True
Let a be (-1824)/(-855) + (-2)/6. Is -19 less than a?
True
Suppose -5*g - 40 = 58*j - 54*j, g = -2*j - 2. Let z(n) = n**3 - 6*n**2 - 3*n + 5. Let f be z(6). Let m be (-1)/(1*(-1)/f). Which is greater: g or m?
g
Suppose 0 = x - 5*x - 16. Let g be 44/44 + 38/(-10). Are g and x equal?
False
Let f be ((-2)/5)/(1/(-10)). Suppose -4*b - 186 = -194. Which is smaller: f or b?
b
Let i = 8 + -7. Suppose -18 = 6*r - 12*r. Let x be r*(-5 - (-2 - 2)). Which is smaller: x or i?
x
Let m be 7*(308/56 + 1 + -7). Is 53/3 at most as big as m?
False
Let q = 0.2018 + 1.7982. Are -31/2 and q non-equal?
True
Let k = 62.6 + 26.3. Let f = k + -89. Is f not equal to -62?
True
Let j = 51 + -35. Suppose -2*q - 4*g - j = q, -4*g - 16 = q. Is 12/13 bigger than q?
True
Let j = 5120 + -5066. Let p = 4 + -3. Which is greater: p or j?
j
Let f(q) = -8*q**2 - 40*q - 3. Let v be f(-8). Is -193 >= v?
True
Let b = -2/523 - -1060/3661. Let i be ((-4)/(-7))/(10/16). Let c = i + b. Is c < 0?
False
Let l be (-1)/(0 - (-1)/3). Let d = l + 5. Let b(k) = -3*k - 5. Let p be b(-2). Which is greater: d or p?
d
Let w = -25952 - -232814/9. Which is smaller: w or -83?
w
Let r(h) = -8*h + 69. Let c be r(10). Is c less than -35/3?
False
Let n be (-1)/(-14)*(-48)/18. Let h = 1/7 - n. Let a = 114 - 113. Which is greater: a or h?
a
Let r = 25/111 - -14935/222. Is r greater than 69?
False
Let b = -1.27 - -1.2. Let o = 36 - 178/5. Is b greater than o?
False
Let a(p) = -10*p**2 + 5*p + 15. Let b be a(-4). Are b and -165 non-equal?
False
Let f be (-1)/2*0 - (-4 + -41). Let z be (42/f)/(-7) - (-3189)/(-45). Which is smaller: z or -72?
-72
Let j(d) = d**2 - 8*d - 7. Let y be j(9). Suppose -8 = -y*s, -4*c - 6*s + 16 = -s. Which is smaller: 2/33 or c?
c
Let g = -12386/3 + 4198. Is 68 bigger than g?
False
Let o(v) = -2*v**3 - 46*v**2 - 50*v - 30. Let k be o(-22). Is 101 at most as big as k?
True
Let g(f) = f**3 + 1. Let n be g(-1). Let i(u) = -u**3 - u + 14. Let q be i(n). Is q bigger than 15?
False
Let j = -164.867 - -165. Let s = j - 0.033. Which is smaller: 3/43 or s?
3/43
Let x(z) = -z**3 - 16*z**2 + 18*z + 21. Let o = -78 + 61. Let v be x(o). Suppose -2*b - 2 = -2*g, -4*b + 2 = -g - 3. Are g and v equal?
False
Let u = 5/837 + 9007/33480. Let b = -3/40 + u. Let z be 2 + 2/(-2) + -1. Which is greater: b or z?
b
Let s = 5/4 - 5/2. Is s greater than 0?
False
Let w(k) = k**2 - 3*k - 3. Let f be w(-3). Suppose 3*y = -f + 12. Is y greater than or equal to 3/62?
False
Let d = 12.47 + -12.37. Is d != -193?
True
Let a be ((-6)/4)/((-2)/8). Suppose a*t + 17 - 65 = 0. Is 7 > t?
False
Suppose -3*q + 8*q = 10. Let t(y) = -2*y**3 - y + 1. Let h be t(1). Let i be (8/18)/(h/(-12)). Which is greater: q or i?
i
Suppose 0 = 33*d + 5 - 71. Does d = 15?
False
Let l be 12/((-146)/(-6) + (31 - 32)). Is 1 greater than l?
True
Let u = -13.84 - -7.84. Which is greater: 41 or u?
41
Let p be ((-585)/8346)/(-5 - 0). Is p <= 1?
True
Suppose 1602 = 2*n - 5*u, 2*u + 2392 = -3*n + 6*n. Is 796 bigger than n?
False
Let l(q) = q**3 - 14*q**2 + 22*q - 40. Let w be l(8). Are -250 and w non-equal?
True
Suppose 0 = 7*v - 11*v + 4. Let t = v - -1. Let s be -4 + (-44)/(-32) + t. Which is smaller: s or -2?
-2
Let p be 4 - 3*(-1360)/(-15). Let g be p/28 + 20/35. Suppose 36 = -5*y + y. Is g less than or equal to y?
True
Let j(u) = 3*u**3 - 53*u**2 - 18*u. Let y be j(18). Which is smaller: 3/916 or y?
y
Let g be 13/(-84) + 3/12. Let a(u) = -8*u - 13. Let t be a(-4). Suppose 0 = -24*k + t*k - 5. Is k smaller than g?
True
Let x(v) = -v**3 - 11*v**2 - 11*v - 7. Let n be x(-10). Let r = -3 - n. Suppose -q + j = 4*q + 26, -5*j - 10 = 3*q. Which is greater: q or r?
q
Suppose -2*z = -4*z - 6. Let n be z*(0 - 1/(-3)). Let i = 8/41 + -47/451. Which is greater: i or n?
i
Let w = -1.9 + 0.52. Let s = 0.28 + w. Let g = -1 - s. Which is smaller: g or 1/3?
g
Suppose -12*x = 59 + 25. Does -78/11 = x?
False
Let v = 0.22 - 1.12. Let s = 0.8 + v. Suppose -z - 4 = 2*q, 2*z - q = -0*q - 3. Which is smaller: z or s?
z
Let j = -11.5 - -12.01. Let x = j - 0.41. Which is smaller: x or -4?
-4
Suppose -w + n = 2, -5*n + 8 = -4*w - 0*n. Let g(f) = -2*f - 9. Let t be g(-6). Let q be 2*(t/(-2) - -1). Which is smaller: w or q?
w
Suppose -3*s = -5*s + 3*p - 231, -4*p = 3*s + 389. Let y = 120 + s. Is y less than or equal to 0.1?
True
Suppose -3*k + 555 = 4*n, n - 3*k - 61 = 74. Which is bigger: 139 or n?
139
Suppose -6*k + 3*k - 2*a + 230 = 0, a = -3*k + 226. Which is smaller: 72 or k?
72
Let t = -0.431 - 1.309. Is t greater than -2?
True
Let c = 17.9 - 18. Which is smaller: -508 or c?
-508
Let s be -3 - (245/3)/(-5). Let q be (1 + 2 + -2)*-13. Let c = s + q. Which is smaller: 5 or c?
c
Let k = 1884 + -1725. Is 0 at least as big as k?
False
Suppose 2*v - 2 = t, 0 = -2*t - 0*v + 5*v - 7. Suppose -3*a = -3*p + 228, -8*a + t*a - 304 = p. Let y be a/1120 - (-3)/24. Is 0 at most y?
True
Let q be ((-12)/14)/((-30)/700). Which is smaller: q or 77/4?
77/4
Suppose 4*a + l = 27 - 188, -3*