et d be j(v). Which is bigger: d or -77?
-77
Let l(s) = -s**3 + 8*s**2 - s + 4. Suppose 0 = -j - 2*j + 24. Let u be l(j). Let r = -1543 + 1538. Is r at most u?
True
Let u = -13933 + 16910. Is 2980 less than u?
False
Let t = -28983.08 - -28983. Which is smaller: 97/5 or t?
t
Let p = 0.6089 - 0.639. Which is bigger: p or -2?
p
Suppose -689 - 79 = -8*c. Let f = c - 4700/49. Do -1 and f have the same value?
False
Let d = 15564691/70140995 - -306/9127. Let z = d + 4/145. Is 0 at most as big as z?
True
Let f = 5.372 - 12.684. Is f at least -2/3?
False
Let w be 19/5 - 4/5. Suppose -w*r + r = 5*q + 88, 4*r - q + 154 = 0. Let p = -40 - r. Is -0.17 < p?
False
Let r be (-16)/(-12)*11*(-8)/(-528). Let h = 78 - 75.48. Is h less than r?
False
Let j(v) = v**3 + 14*v**2 + 10*v - 21. Let m be j(-13). Let k be (80/39)/((-4)/(144/(-4))). Does k = m?
False
Let s be 1/(646/(-4) + 5). Suppose 0 = -2*f + 6*f - 4. Which is bigger: f or s?
f
Let r(b) = -14*b + 3*b - 9*b**2 - 2 + 11*b**2. Let f be r(4). Which is smaller: f or -17?
-17
Let f(v) = -17*v + 76. Let d(z) = -18*z + 77. Let x(j) = 5*d(j) - 6*f(j). Let g be x(6). Is g greater than 2/235?
True
Let m = 0.03 + 18.47. Let y = m + -18.4. Let l be (-2*1/4)/2. Is l greater than y?
False
Let r be (-2 - 0)/((-44)/66). Suppose -8 = 4*s, 2*s = r*a - 3 + 50. Let m(d) = -d**2 + 2*d - 3. Let i be m(-3). Which is smaller: i or a?
i
Let z = 9 - 8. Let s be 9730/18684 + 148/(-333). Let u = s + -10/173. Is z less than u?
False
Let g be (-180)/(-315)*-2*2*(-42)/(-48). Which is smaller: g or -169?
-169
Let y be 67/(-88) - (-42)/56. Let g(h) = -h**3 + 3*h**2 + 11*h - 4. Let q be g(5). Which is bigger: q or y?
q
Let s(h) = -1283*h + 5125. Let k be s(4). Is 131 < k?
False
Let z be (5 - (-3)/18)/(((-289)/(-17))/(-102)). Suppose -8*u + 2*u - 156 = 0. Do u and z have the same value?
False
Let f(t) = 2*t**2 + 35*t - 57. Let j be f(-19). Let q = -47368289368/2763 + 17143788. Let l = -6/307 - q. Is j equal to l?
False
Let p be -8*((-20)/(-4) - 69/12) + 36. Which is smaller: -22/5 or p?
-22/5
Let h = 491 - 491.1. Let c(b) be the third derivative of b**5/30 - 17*b**4/24 + 4*b**3/3 - 2*b**2. Let l be c(7). Is l smaller than h?
True
Let x be (-2)/((-4718)/1645 - -3). Let u = x + 4839/403. Is u greater than or equal to -3?
False
Let b be 6/(-30) + 82/10. Let j be ((-10)/(-25))/(b/5). Let r = -5/2467 - -24725/27137. Which is greater: r or j?
r
Let l(s) be the second derivative of s**5/20 + s**4/3 - s**3/6 - 2*s. Let w be l(-4). Suppose w*i = 8*i - 9*i. Is i at most as big as -6/53?
False
Let u(y) = -277*y + 537. Let l be u(8). Are l and -1679 unequal?
False
Let k = -180663/32 - -5646. Which is bigger: k or 2/3?
2/3
Let x(g) = -g**3 - g**2. Let c be x(-1). Suppose -4*w - 5*n - 444 = -6*n, c = -3*w + n - 334. Is w at least -0.1?
False
Let k be ((-5)/95)/((-3)/(-12)). Let f(s) = -s**3 - 11*s**2 + 13*s + 12. Let d be f(-12). Which is smaller: k or d?
k
Let n = 0.131 + -2.131. Let r be (-222)/4*164/123. Which is smaller: r or n?
r
Let s be 244/(-226) + 8 + -3 + -4. Let i = -677/2825 - s. Is 1 at least as big as i?
True
Suppose 370 = 758*g - 757*g. Let q = g - 295. Which is smaller: q or 77?
q
Let y = -14 - -14. Let c = 8 - 24. Let q = -8 - c. Is q smaller than y?
False
Let v be 6*(-6)/(6 + -18). Suppose -3 = v*j, 0 = -2*b - 5*j - 16 - 5. Let r = -27 - -17. Is b less than r?
False
Let w = 13929 + -13916. Is -117 greater than w?
False
Let r(u) = -u**3 + 4*u**2 + 8*u - 3. Let l be r(6). Let i be (-8)/(-56) + l/(-7). Are i and 21/4 non-equal?
True
Let f = -122 + 127. Suppose -f*r = o - 2, 9*o = 12*o - 4*r + 70. Suppose -40 = 2*z - 8. Which is greater: z or o?
z
Suppose -2*n + 3 = -9. Suppose -3*c + n = -g, -3*c + 2*c = -3*g - 58. Let m = 160 + -160. Which is greater: m or g?
m
Let s = -4336 + 21678/5. Are -0.67 and s non-equal?
True
Let a = 4/8679 + -4633/28883712. Do -1 and a have the same value?
False
Let j(p) = p**2 - 21*p - 166. Let u be j(27). Let w be (30/u)/((-51)/136). Let h(y) = -10*y - 3. Let f be h(-2). Are w and f nonequal?
True
Suppose -16414 = 24*a - 24070. Is a at least as big as 318?
True
Let u(v) = 2*v**2 - 42*v + 73. Let c be u(20). Let n(a) = -a**2 + 3*a - 2. Let h be n(3). Let p be (-51)/h*20/15. Is p > c?
True
Let k(d) = -8*d**2 - d + 25. Let y be k(-5). Let a = 145 + y. Suppose -v - 30 = -4. Which is smaller: v or a?
v
Let m = -255788 - -6240715625/24398. Which is smaller: -1 or m?
-1
Suppose y = 3*y + m - 1, -5*y - 5 = 5*m. Suppose 0 = y*j - 3*w, 4*j + 2*w - 20 = -2*w. Let h be j/(9/6) - (-326)/(-164). Which is smaller: 1 or h?
h
Suppose -3*k = 4*o - 258, 404 = 5*k + 2*o - 4*o. Suppose 20 = -k*b + 81*b. Is b less than -18?
True
Let q be (-230)/(-45) + 4/(-36). Let t be (2/q)/((-1263)/420 + 3). Is t not equal to -55?
True
Let f(j) = -4*j**2 - j**2 + j - j**3 + 0*j + 3 + 6*j**2 - 4*j**2. Let g(u) = u**3 - 2*u**2 - 9*u + 1. Let y be g(4). Let t be f(y). Which is bigger: -2/89 or t?
t
Let l(j) = 10*j**3 + j**2 - 4*j - 9. Let n be l(5). Let h = 607 - n. Let g = 1873/3 + h. Which is smaller: g or -14?
g
Let b = -15 - -3. Let a be 8/12 + (-12)/21 + 11938/(-987). Are b and a nonequal?
False
Let n(l) = -5 - 11 + 17*l - 10*l. Let a be n(3). Is 2 greater than a?
False
Let b = -982 - -823. Which is smaller: 25 or b?
b
Suppose a = -11*f + 8*f + 11, 3*f - 21 = -3*a. Is f > -0.294?
True
Let s = -78 - -56. Let j be (s/(-6) - 4)*69. Let v = j + 30. Are v and 7 nonequal?
False
Let z be 7/63 - 1886/369. Do -162/25 and z have different values?
True
Let b(o) = -o**3 + 5*o**2 + 39*o + 40. Let k be b(-5). Is k at most 114?
True
Let p = 46 + -44. Let a be (p/(-10))/(-3*4/90). Let g = -99/4 - -511/20. Which is smaller: g or a?
g
Let n = 5694 - 5694.021. Does n = 1/10?
False
Let h = 98 - 96. Suppose 5*f - h*m - 26 = 0, -4*m = -4*f - 3*m + 19. Let a = -0.02 + 0.52. Which is bigger: a or f?
f
Let a = 127 + -36. Let q be -5*74/2035 - (-3009)/33. Do a and q have the same value?
True
Let l be 29 + -5 + 3*1. Let f = -30 - -34. Suppose 0 = -f*r - 15 + 119. Is r greater than or equal to l?
False
Let i be ((1 - -1)*17)/(5/20). Let o = -163 + i. Is o less than -27?
False
Let u be (-1)/(-6)*11861/754. Let a = 5/39 + u. Which is smaller: 2 or a?
2
Let h = -6.17 + 360.17. Let x = -347 + h. Let y = -3 - -5. Which is smaller: y or x?
y
Let w = -2776 - -2763.09. Let y = w - 8.09. Is -0.19 at least y?
True
Let b be (0 - 173)*(-34 - -33). Is 173 at most b?
True
Let m(v) = 32*v - 91. Let z be m(5). Suppose 9*a - 87 + z = 0. Let n be 2 - (-3)/6*-58. Which is bigger: n or a?
a
Let r be (-2)/(-3) - (-14)/6. Suppose -21*l - 20 - 64 = -49*l. Suppose -o + r*g - 3 + 17 = 0, l*g + 29 = 4*o. Which is bigger: o or 0?
o
Let a(x) = -2*x + 22. Let r be a(11). Suppose -5*t - 122 + 127 = r. Which is smaller: -4/61 or t?
-4/61
Let c = -32 + 39. Let p = c + -102. Which is greater: p or -96?
p
Suppose -52 = -6*a + 38. Let z be 5/a - (-415)/(-165). Which is smaller: z or -1?
z
Let f be 33*194/6 + 612/51. Is f at least as big as 1079?
True
Let f be (117/(-42) + 3)*12/9. Let z be (26/(-10) - -2)*5. Let s = 2 + z. Which is smaller: s or f?
s
Let f = -60303 + 59855.81. Let g = f - -449. Let q = -0.91 + g. Is q bigger than -2/5?
True
Let g = -3304 + 2787. Which is bigger: g or -521?
g
Let u(a) = -a + 2. Let q be u(-2). Suppose 3 - 90 = n + 2*w, -211 = 3*n - q*w. Let x = n - -93. Is x greater than 16?
False
Let l = -8947 + 3963525/443. Is l at least as big as 0?
True
Let f be 0*(-1)/2*(11 - 12). Suppose f = -4*v + v + 15. Suppose -11 = v*r + 4. Is r > 8?
False
Let a be ((-27)/(-12))/((-1)/(-32)). Let i be (1 - 2/4)/((-137)/(-2466)). Suppose -i*k = -33*k. Is a less than k?
False
Let l = 124045/840996 + -1/16173. Is -1 smaller than l?
True
Let z(w) = w**2 - 32. Let r be z(6). Suppose -5*l - 2*a = 897, 3*l - 8*a + 533 = -r*a. Is -179 less than l?
False
Let j be (-24)/18*(-1791)/12. Let w(a) = -j*a - 34 + 2 + 201*a. Let t be w(16). Are t and -4/5 unequal?
True
Suppose 13*s = 15*s + 56. Let g be -11*(-5)/(-20)*12. Let o = g + 3. Is o at least as big as s?
False
Let v be ((-2)/18)/((-16)/273744). Is v <= 1900?
False
Let f be -4*-8*8/896. Is f <= 0.921?
True
Let n = -11854 - -11854.1. Is n greater than or equal to -9302?
True
Let l = 93.9 + -113. Let a = 66 + -47. Let t = a + l. Is -18 at most t?
True