(-11). Which is smaller: k or -81?
-81
Suppose 62 = -3*x - 5*g, 4*x + g = 6*x + 24. Let n be 1/(((-2)/(-4))/(161/x)). Is -23 equal to n?
True
Let b = 11.362 + 0.038. Let f = 0.01 + 10.99. Let i = b - f. Which is greater: -0.2 or i?
i
Let a be (-54406)/(-220) + (18/20)/(-3). Which is bigger: 248 or a?
248
Let g(r) = 15*r + 71. Let f be g(-3). Which is smaller: 7 or f?
7
Let w be 9/(-24)*(-15)/(-9). Which is bigger: 0 or w?
0
Let w be (-9)/45 + 15*12/150. Is 88 at least as big as w?
True
Let o = 7447/204 + -407/12. Are 4 and o non-equal?
True
Let r be (12/10)/(10/25). Let a(t) = -t**3 + 4*t**2 - t - 6. Let n be a(r). Is n at most 3/76?
True
Let u(c) = c + 6. Let o be u(-6). Suppose 3*q - 30 = -o*q. Let n(v) = v**3 - 7*v**2 + 12*v - 26. Let g be n(6). Is g > q?
False
Let x(k) = k**3 - 5*k**2 + 3. Let m be x(4). Let a = 82 + -93. Is a < m?
False
Let v = 0.484 - 0.284. Which is smaller: v or 14/13?
v
Let w = -247/2 - -120. Let t(s) be the first derivative of -4*s**3/3 + s**2 - 2*s + 34. Let b be t(1). Is b greater than w?
False
Suppose 0*l - 153 = 3*m + 2*l, 4*l - 65 = m. Let x = -60 - m. Which is smaller: x or -6?
x
Let j be -4*5/(-840)*20/(-590). Which is greater: -1 or j?
j
Let u(w) = -w**3 + 8*w**2 - 3*w - 4. Let f be u(4). Let l = f + -55. Let q(g) = g**3 - 5*g**2 - 8*g + 6. Let b be q(6). Which is smaller: b or l?
l
Let j be (0 - 1)/(525/174 - 3). Let u = j - -64. Is 8 at least u?
True
Let x(n) = n - 1. Let m be x(-2). Let o = -176 - -96. Let r be o/12 + 2 + 1. Which is smaller: r or m?
r
Let w be (-5)/40*(-164)/(-6). Let j = 1/226 - 1697/452. Let f = w - j. Which is smaller: 2/9 or f?
2/9
Let z be 9/8*(-1361 + -1). Let o = 1518 + z. Let s = -14 - o. Is s smaller than 0?
False
Let r be (-12)/(3 + (0 - 5)). Let k = r + -6. Which is smaller: 1 or k?
k
Suppose 5 = -y, 0 = 3*n - 6*y + 2*y - 20. Suppose -2*k - 3*t - 903 = 0, 4*k - 375 + 2221 = 2*t. Let u be (-156)/k + 4/(-18). Which is smaller: n or u?
n
Let i = 554 + -609. Which is bigger: i or -1/6?
-1/6
Suppose -4*d = -s + 13, 7*s - 5*d = 2*s + 20. Let l(n) = 9*n**3 + 2*n**2 - n. Let h be l(s). Which is smaller: 14 or h?
h
Suppose 5*o = 7*o - 6. Suppose -5 + 2 = o*d. Let s = -34 + 34.1. Which is bigger: d or s?
s
Suppose -3 = 5*q - q - 5*l, -2*l = 5*q - 21. Let d be 33/22*(-2)/q. Is 8/19 bigger than d?
True
Let z = -1.2 - -0.2. Suppose 39 = 3*c + 42. Let p be 2*c/2 + (7 - -3). Are z and p equal?
False
Suppose 6 = -3*x + f, -2*x - 2 = -3*x - f. Let r(a) = a + 9. Let y = -10 - -4. Let i be r(y). Is i >= x?
True
Suppose -38*b = -43*b + 60. Let d be (-184)/b*((-20)/(-8) - 1). Is d > 0.1?
False
Let n be (2 - 13 - -1) + 2. Let k(j) = -3*j**3 + 13*j**2 - 10*j + 5. Let g be k(4). Let u = g - n. Which is greater: u or -10?
-10
Let d be (-8)/(-2) - (3069/27)/31. Which is greater: -504 or d?
d
Let s(y) = -y**2 - 10*y - 17. Let b be s(-7). Let k be (4 + -5)*-4*b/(-712). Which is smaller: k or 0?
k
Let n = 3.2 - 3. Let f = 0.11 + 0.49. Let b = f + -0.6. Which is smaller: b or n?
b
Let c = -0.19 - -0.07. Let j = 0.0085 - 2.0085. Which is greater: j or c?
c
Let j(a) = 28*a - 40. Let t be j(10). Suppose 3*p = 9*p + t. Which is greater: p or -39?
-39
Let b = 157 + -158. Which is greater: b or -12?
b
Let a = -12 - -14. Suppose -5*s + 25 = -a*n, -7 = 4*n - 4*s + 13. Suppose 4*p + 4*z - 16 = -0*p, 4*p + 2*z - 6 = n. Which is smaller: 1/17 or p?
p
Let f = 19.835 - -0.165. Let c = -15.81 - 0.19. Let x = f + c. Is 2 smaller than x?
True
Suppose 20*w - 4*w = -32. Let h be (-85)/126 - (-2)/7. Let s = h + -1/9. Which is greater: s or w?
s
Let q be ((-7232724)/77)/(6/(-9)). Let h = 140880 - q. Let a = -180/11 - h. Does a = 0?
False
Let u(w) = -w**3 - 4*w**2 + 6*w. Suppose 2*i = -a - 15, 5 = -5*i - 20. Let z be u(a). Is z < -7?
False
Let l be (-5478)/1827 - 9/(-3). Which is smaller: 1 or l?
l
Suppose -8 = 6*s - 14. Is -1/8 >= s?
False
Let b = 10 + -17. Let i(g) be the second derivative of -g**3/2 + 9*g**2/2 - 9*g. Let l be i(5). Which is smaller: b or l?
b
Let w = -44934/7 + 6436. Is w at most as big as 18?
True
Let i be (-2 - 0)*(-9)/(-6). Suppose -k - 2*l = -4*k + 2, -8 = -4*l. Let y = k - i. Is y greater than or equal to 4?
True
Suppose 188 - 512 = -4*h. Let g = h - 81. Is -3/43 at least g?
False
Let o = -28.58 + 28.5. Is -1 at most o?
True
Let r be (524/6)/(-6 + -10 + 15). Is -87 < r?
False
Let w(y) be the first derivative of y**4/4 - 2*y**3/3 - 3*y**2/2 + y + 13. Let t be w(3). Which is smaller: t or 1/111?
1/111
Let l = -632 + 1897/3. Are l and 7.1 non-equal?
True
Suppose f + 24 = 5*t - 43, 5*t - 75 = 5*f. Let l = t - 11. Suppose -2*p - 17 = 3*h, -2*p + 10 = -2*h + l. Is -1 <= p?
True
Suppose -3*n + 163 = -512. Suppose 3*g - 4*i - 218 = 16, i = 3*g - n. Is g <= 75?
True
Let r be 352*(7 + -1 + -5). Which is greater: 351 or r?
r
Suppose 0*l + l - 2 = 0. Suppose 2*c - 2*q - 28 = 0, 5*c - l*q + 0 - 76 = 0. Is c at most as big as 15?
False
Let i = -30 + -12. Let z = i + 38. Is -6 smaller than z?
True
Let j = 141 - 9. Is 133 greater than j?
True
Let f = 26375/28 + -942. Which is bigger: 1 or f?
1
Let d be 1/(-2*3/24). Let m = -399/80 - -35/16. Which is greater: d or m?
m
Suppose 0 = -21*q + 18*q + 174. Let v = 58 - q. Which is smaller: 2/87 or v?
v
Let m = -41157/70 + 588. Let u(s) = s**3 - s**2 - s. Let r be u(1). Is r less than or equal to m?
True
Let b(n) = -21 + n - 3*n + 0*n. Suppose -24 + 60 = -4*c. Let k be b(c). Are -3 and k non-equal?
False
Suppose 5*q = -7*w + 2*w + 40, -2*w = -4*q + 8. Let m = -0.058 - -8.058. Which is smaller: q or m?
q
Let k = -108394/95 - -1141. Is k greater than or equal to 4?
False
Let h be (-9)/(-30) - (-666)/(-3420). Is 0 < h?
True
Let n = 15 + -11. Suppose n*x - 20 = 0, 5*g - 2*x = -4*x + 50. Suppose 11*l - g*l - 39 = 0. Is -0.1 > l?
False
Let z = -682840/7 + 97322. Let m be 2/(-4) - (-1353)/(-6). Let t = z - m. Which is bigger: t or -2?
t
Let m = -157 - -156.8. Which is greater: -41 or m?
m
Let n be 506/(-44) - ((1 - 2) + -3). Which is bigger: -7 or n?
-7
Suppose 0*k - d = -5*k + 6, 5*k + 5*d - 30 = 0. Suppose k*j = -3*r + 22, j = -3*r + 6*r - 7. Let n = -0.2 - -0.1. Is n > r?
False
Let d = 20 - 10. Let c(a) = a**3 - 2*a**2 + 2*a + 5. Let z be c(-2). Let n be d/15 - z/(-36). Which is bigger: n or 2?
2
Suppose -6*d = 12*d - 4*d. Is 1/104 less than d?
False
Suppose -2824*i = -2829*i. Is -26/29 less than i?
True
Let z = 95 + -61. Let n = z - 33.6. Is n greater than -1/4?
True
Suppose 8*a = 231 + 97. Which is smaller: a or 40?
40
Let m(u) be the second derivative of u**4/12 - 5*u**3/3 - 11*u**2 + 22*u. Let y be m(13). Is y > 17?
False
Let b(h) = h**2 - 4*h - 2. Let c be b(6). Let u = c - 17. Which is bigger: u or -3?
-3
Let s = -220 - -201. Is 3 less than s?
False
Let h(s) = -33*s - 172. Let m be h(-5). Let v be -2*(105/(-6))/(-5). Is m equal to v?
True
Let z(u) = 4*u + 212. Let c be z(7). Which is bigger: c or 238?
c
Let f = -1041/2 - -442. Let q = 767/10 + f. Is q smaller than -1?
True
Suppose -3*o = -6*o + 6. Suppose -o*g - 19 = 21. Are g and 3 nonequal?
True
Let w be (-12 + -58)/(-7) + -8. Let h be 42/9 - (-2)/6. Which is smaller: h or w?
w
Let r(t) be the second derivative of t**5/20 - t**4/4 + t**3/2 - 3*t**2/2 + 31*t. Let s be r(2). Are s and -1/130 nonequal?
True
Let g(u) = -132*u**2 - 61*u - 120. Let l be g(-2). Is l greater than -527?
True
Let i = 5.4 - 3.4. Let c = i + -2.5. Which is greater: -4 or c?
c
Suppose -2*m = -3*i - 13, 2*m - 4*m = -2*i - 12. Let g be (11/((-836)/(-24)))/(-2). Which is bigger: g or i?
g
Suppose -14*k + 6 = -36. Suppose 0 = q - 4*q - 54. Let w = -13 - q. Which is smaller: w or k?
k
Let b be (-20 - -1) + 6 + -2. Let n be (b/21)/(3/(-21)). Is 4 bigger than n?
False
Let m = -3/17 - -26/51. Let r = 0.0302 - 85.9302. Let x = r - -86. Is x not equal to m?
True
Suppose 4*r - 68 = 4*i, -48 - 10 = -2*r - 4*i. Suppose 4*c = 3*t + 24, -2*c - r = -5*c + 3*t. Let m = -131/43 + c. Which is bigger: m or -1?
m
Suppose -2*n + 4*n = -18. Let k be ((-1)/6*-4)/(27/(-162)). Is k smaller than n?
False
Let d be (22/33)/(24/1737)*4. Which is greater: 192 or d?
d
Let j = -0.4 - 4.6. Let y = j - -5.05. Let o = 1.95 + y. Which is smaller: o or 5?
o
Let j(n) be the first derivative of n**3/3 - 4*n**2 + 12*n + 7. Let z be j(8). Suppose z = 5*i - 3. Is i not equal to 1?
True
Let