3 or z?
z
Let l = -8687 + 12554. Let o = 41443281 - 2776958910/67. Let f = l + o. Which is smaller: -1 or f?
-1
Let f(y) = -2*y**3 - 29*y**2 + 6*y - 55. Let x be f(-15). Which is greater: 48 or x?
x
Let h be (5/2)/(-35 + 25). Which is bigger: -9848 or h?
h
Suppose -20*b + 63 = -537. Let j be ((-38)/10 + 4)/(78/b). Does -14 = j?
False
Let d(u) = -3*u**3 + 19*u**2 - 8*u + 8. Let o be d(6). Is 12.3 equal to o?
False
Suppose -129*b = -235*b + 118*b - 38316. Which is smaller: 3192 or b?
3192
Let m(i) = -i**3 + 22*i**2 + 50*i + 31. Let j be m(24). Let c(w) = 12*w + 3. Let b be c(6). Let x = b - j. Which is bigger: x or -10?
x
Suppose 10*k - 23 = -233. Let m be ((-3)/(-3))/(k/861). Does -43 = m?
False
Let d = -240 - -157. Let y = d + 88. Does -13 = y?
False
Let x(j) = -635*j**2 - 4*j + 3. Let r be x(1). Let b = -62329/98 - r. Is 1/5 at most b?
False
Suppose -30*n - 40 = -38*n. Let t be (219030/(-192) + n)*(-2)/10. Let r = t + -227. Which is greater: -1 or r?
r
Let t = -238.99 + 236.46. Which is bigger: 0.3 or t?
0.3
Let u = -7354 + 7225. Which is smaller: u or 9?
u
Suppose 26*q - 975 + 1183 = 0. Which is smaller: q or 104?
q
Let r = 3703 + -3701.9. Which is smaller: r or 139?
r
Suppose 42*q - 45*q - 1750 = 497. Which is bigger: -3744/5 or q?
-3744/5
Let b be (-8)/(-18)*30*(-9)/4. Let x be 12/4 - b/(-2). Let r be (119/(-84))/(9/x). Which is bigger: r or 2?
2
Suppose 0 = -11*f - 38 - 138. Let q be (-2)/((-24)/3) + f/16. Let g(m) = -m + 4. Let o be g(4). Is o > q?
True
Let u(f) = -57*f**2 + 148*f - 738. Let b be u(5). Is -1423 greater than or equal to b?
True
Let r be 3/((-45)/9669) + (-18)/(-30). Let v = -651 - r. Is v < 0?
True
Let l = -1042710238/2745 - -379858. Which is smaller: -1 or l?
-1
Let o be 11/5 - (-43632)/(-1200). Is o equal to -35?
False
Suppose 380 = w + w. Let k be w/(-45) + (-4)/(-18). Let v be (3 + 30/(-12))/(2/k). Which is smaller: v or -2/17?
v
Suppose -24*p + 7955 = 19*p. Let c = p + 153. Are c and 339 nonequal?
True
Let p(m) = 3221*m**2 - 13*m + 15. Let i be p(1). Is 3222 less than i?
True
Let u be 10 + -9 + 4527/(-4617). Which is bigger: 0 or u?
u
Let c(t) = 3*t - 49. Suppose 0 = -a + 2*m + 22, -3*a + 4*m - 11 = -71. Let p be c(a). Is p <= -3/17?
True
Let q be (-76)/(-6) - (-6 + (-80)/(-12)). Suppose -q*i = -13*i - 70. Is -69 greater than or equal to i?
True
Let v = -1956 - -1949. Which is smaller: -340 or v?
-340
Let u be 0 + 5 + (6 - (-36)/((-28)/7)). Let j = 11761 - 48127/4. Let v = 4343/16 + j. Is v > u?
False
Let k = -13 - -15. Suppose 2*t + t - 109 = 4*d, 0 = -k*t + d + 76. Suppose 48*u - 114 = 45*u. Is t >= u?
True
Suppose -3*z + 143*q - 144*q = 18597, z - 2*q + 6185 = 0. Is z at least -6195?
False
Suppose -10*n + 4*s + 142 = -15*n, -s = -2. Is n > 1/10?
False
Let o = -433 + 661. Suppose -2*z = -3*k + 7*k + 4, z - 6 = 2*k. Suppose 0*n + 5*p + 24 = n, -5*n - z*p + o = 0. Is n equal to 44?
True
Suppose 0 = 5*d - 2*c + 36609, 4*d = 37*c - 32*c - 29277. Is d > -7323?
False
Suppose -61*i - 33 = 78 - 50. Are -6/2767 and i nonequal?
True
Let t be (-6)/14 + (-578)/(-42) + 504/(-216). Which is greater: 31 or t?
31
Suppose 4*m - 59 - 73 = 0. Let o = -1933 + 1936. Is o bigger than m?
False
Let q be -5 + -4 + 4 + 6 + -6. Let r be ((-4)/(-6))/(q/(-15)*-1). Which is smaller: -32/41 or r?
r
Let i be ((-20)/(-270))/(6/(-118343)). Let k = i + 1461. Suppose 5 = -5*q - 0*o - 3*o, -5*o = 5*q + 5. Which is greater: k or q?
k
Let k(x) = 2*x**2 - 20*x + 11. Let g be k(9). Let m be 156 + (-14)/8 + g/28. Let i be (-1)/(m/(-94)) - (-6)/(-33). Which is bigger: 0 or i?
i
Let a = -34 - -36. Suppose 5*n + a*b - 25 = 0, 4*b = n - 2*n + 23. Suppose 23 - 20 = -n*o. Is o != -0.2?
True
Let b(m) be the first derivative of m**3/3 + m**2 - m + 3. Let h be b(4). Let y = -379 + 403. Which is greater: y or h?
y
Let f(h) be the first derivative of 1/3*h**3 + 0*h**2 - h + 1/4*h**4 - 25. Let x be f(-1). Which is greater: x or 4.4?
4.4
Let z = -650568 - -31879352/49. Is z equal to 31?
False
Let l(u) be the first derivative of -u**4 - 21*u**3 + 9*u**2 + 18*u + 77. Let o be l(-16). Is 0 less than or equal to o?
False
Let y = 2.94 + 0.06. Let q be 96/1890*10 - (-4)/(-18). Is q less than or equal to y?
True
Let w(v) = 3*v**2 + 54*v + 43. Let u(t) = -t**2 + 2*t**2 + 50*t - 32*t + 2 + 12. Let q(d) = 17*u(d) - 6*w(d). Let f be q(-17). Which is smaller: f or -1?
f
Suppose 3*r + 81 = -0*r. Let x be 6/(-30) + 168/(-60). Is r > x?
False
Let i = 11003819/628 + -17522. Is -1 at least as big as i?
False
Let y be -538*(-6)/24*-1. Let t = -132 - y. Is t less than or equal to 3?
True
Let m(t) = -17735*t + 53243. Let d be m(3). Let n = -5906 - -23777/4. Is n less than or equal to d?
False
Let z be -4 + 10/2 + 8 + -3. Let i = 52 - 52. Are z and i equal?
False
Let c = 3.5966 + -2.5966. Which is smaller: 1881/13 or c?
c
Let a(l) = -l**2 - 20*l + 107. Let p(g) = -2*g**2 - 3*g - 23. Let z be p(0). Let n be a(z). Does n = 3?
False
Let g = -302 - -328. Let z be 0 - g - -6 - 2. Is 0 bigger than z?
True
Let z = -5509/40 + 1097/8. Is 18.43 greater than z?
True
Let i = -482041/24 - -60266/3. Suppose 15 = -n + 6*n - 5*l, -5*l - 10 = -4*n. Is n smaller than i?
False
Let b be (84/28 - 7*2) + -11. Is -336 > b?
False
Let l(p) = -p**3 - 25*p**2 - 46*p + 30. Let j be l(-23). Which is bigger: 215/7 or j?
215/7
Let c = 17 + -18. Let y = c - 76. Let q = -93 - y. Does q = -12?
False
Let j be 2/14 + (-10543)/(-91). Let n = 115 - j. Do n and 163 have the same value?
False
Let g = 842 + -26100/31. Let a = -8 - -13. Suppose -a*h - h = 6. Which is smaller: g or h?
h
Let r = 123 - 123.089. Let a = 0.039 + r. Let m = -231 + 228. Do a and m have different values?
True
Let d = -0.15 + -14.85. Let k(r) = -r**2 - 45*r - 324. Let g be k(-36). Which is greater: g or d?
g
Let n = -36230 + 36234. Suppose -5*j - 55 = 5*w, 0*j + j = w + 5. Is n smaller than w?
False
Let p = 0 + -0.5. Let k = 0.2 - p. Let z = 388 + -775/2. Is z >= k?
False
Suppose -22*k - 8*k = 32*k - 48980. Is k greater than -3/2?
True
Let a = 773 - 774. Which is bigger: 1/7 or a?
1/7
Let a = 203.6 - 181.6. Is a not equal to -5?
True
Let p(h) = h**3 - 12*h**2 + 2*h + 5. Suppose 18 = 31*b - 29*b. Let k be p(b). Let o = k + 1096/5. Which is greater: -2 or o?
o
Let k = 44/609 + 169/6090. Is -452 != k?
True
Let u be (-2)/(-11) - 18230/17160*6. Is u >= -5?
False
Let n(x) = -x**3 + 8*x**2 + 2*x - 14. Let l(d) = -20 - 5*d - 7*d - 2*d + 16*d. Let y be l(14). Let z be n(y). Is z greater than 4?
False
Let r(z) = -z**2 - 6*z - 6. Let s be 4/(-1) + ((-6)/2 - -1). Let x be r(s). Let m be -6*x/42 + 4/(-14). Which is bigger: m or 1?
1
Let f be (2*1)/(8/30). Let c be 6/(-14) - (6/(-14) - -3). Let v be (-16)/c*(-147)/(-98). Are f and v equal?
False
Let m(h) = -3*h**2 + 6*h + 80. Let u be m(-6). Are -4 and u equal?
False
Let a = -21232/259 - -82. Let j = 11/2072 - a. Which is smaller: 1 or j?
j
Let g = 1638 - 1639.3. Do 0.115 and g have the same value?
False
Let r = -3260/13 - 7025/78. Is r smaller than -342?
False
Let s = -154.2 - -5.2. Let x = s - -145. Is 1.2 bigger than x?
True
Let n = 18 + -34. Let y = -37.32 + 36. Let x = -0.32 - y. Are x and n non-equal?
True
Let q = -4312134730/26397 - -163357. Which is greater: 0 or q?
0
Let g be (7/4)/(14/(-8) - -2). Suppose -g*s + 22 = -9*s. Let y be (-18)/(-99) + (-962)/88. Which is smaller: s or y?
s
Let l = 3 + -2. Let p = 539 + 133. Let c be 9/(-12) - -3*584/p. Which is smaller: c or l?
l
Let i = 20.4 - -774.6. Do i and 0.2 have the same value?
False
Let h = 3/31 + 0. Let q(l) = 7*l**3 + 15*l**2 + 54*l + 3. Let c be q(-6). Let o = c + 1293. Which is smaller: h or o?
o
Let w(m) = m**2 + 12*m + 10. Let u be w(-11). Let j = 7013/24 - 292. Which is smaller: u or j?
u
Let h(w) = 2*w**2 + 82*w + 98. Let x be h(-40). Let c be ((-11376)/30 - 4) + x/15. Which is smaller: c or -383?
-383
Let a be -2 - (5 + -10) - 91. Which is bigger: a or -92?
a
Let u(r) = -8*r + 39. Suppose -7 - 73 = -8*z. Let m be u(z). Let o be (-15)/2*32/6. Is m bigger than o?
False
Let b(u) be the first derivative of -u**3/3 - 4*u**2 - 3*u - 32. Let z be b(-9). Suppose -28 - 22 = 5*f. Is f < z?
False
Let w = 8.2 + -68.9. Let u = 0.3 - w. Let n = u + -60. Is -14 bigger than n?
False
Suppose q - 3*q - 26 = -v, -4*v - q + 95 = 0. Suppose -3*u + 0*d + 6 = 3*d, 2*