Which is smaller: b or k?
k
Let z be (-554 + -2)*(-2)/(-28). Which is smaller: -3 or z?
z
Suppose -4*g + 58 = -6. Let y = 86 + -73. Let z(f) = -f**3 + 12*f**2 + 14*f + 4. Let c be z(y). Is c at least as big as g?
True
Let m be -3 + 1 + 4 + -1 - 176/160. Which is bigger: 47 or m?
47
Let n = 1643374 - 1643375. Suppose -3*h = -2*h - 1. Let m be 12/(h/2 - -1). Is m at most n?
False
Let f(i) = -5*i**3 - 5*i**2 + 13*i + 16. Let o be f(-5). Which is smaller: o or 450?
450
Let w(j) be the first derivative of -j**3/3 + 9*j**2/2 - 14*j + 10. Let v be w(6). Suppose 2*u + 1 + 1 = -d, v*u = 4*d - 28. Is d at most as big as -3?
False
Suppose -134*y - 9978 + 52438 = -156*y. Is -1931 > y?
False
Let c = 21 + 9. Suppose s - 3*s - c = 0. Which is smaller: s or -14?
s
Let k(i) = 1 + i**2 - 5*i**2 - 4*i - 9*i**3 + 0. Let n be k(-3). Let p be 14/(-56) - (-47)/n. Which is smaller: p or -1?
-1
Suppose -3727 + 820 = -19*f. Suppose 2*j + 143 - f = 0. Which is smaller: 21/5 or j?
21/5
Let w(x) = -42*x - 105. Let k be w(0). Is -99 > k?
True
Let u = 7.8 - 7.751. Let j = u - 0.109. Is 5 greater than j?
True
Let q(z) = z**3 + 57*z**2 - 113*z - 76. Let w be q(-59). Is -370 equal to w?
False
Suppose -12*d + 128 = 4*d. Suppose -4*k + 36 = 4*h, -11*k - 2*h = -d*k - 31. Suppose 40 = 4*m - 0*m + 4*r, m = -2*r + 6. Are k and m equal?
False
Suppose -7*x - 52 = -11*x. Let a(m) = m**2 - 20*m + 19. Let r be a(x). Let w be 18/(-22) + 1 - r/(-99). Which is smaller: -1 or w?
-1
Suppose -2*g = 13*g + 360. Let r be 2225/(-180) - (-18)/g. Which is smaller: -14 or r?
-14
Suppose m - 8 - 23 = o, 4*o = -2*m + 44. Let x = 39 - m. Let j be (4/10)/(x/(-55)). Which is bigger: -7/5 or j?
-7/5
Let g be (-2)/6*(3 - -57). Which is bigger: g or -40?
g
Suppose 183*z - 35946 = 438*z + 395*z - 145796. Suppose -5*x + 2*n + n = -841, -4*x + 674 = -2*n. Which is smaller: x or z?
z
Let v be (399/105)/(((-4)/(-702))/1). Let z = -670 + v. Which is smaller: -3 or z?
z
Let u(a) = -a**3 - a**2 - 2*a + 121. Let z be u(5). Let s = -18 - -19.4. Let c = s + -1.3. Is z less than or equal to c?
True
Suppose 8*o = 175 + 17. Suppose -t - 3*j - 23 = 0, 4*j - o = t + 8*j. Let m be ((-19)/9 + 2)*-2. Is m < t?
False
Let x = -18889 - -18889. Is x greater than 15/461?
False
Let p(m) be the second derivative of -3*m**3 - m**2/2 + 11*m. Let y be p(0). Is y at least as big as -8/51?
False
Let u be (8/(-14))/(5 - 111/21). Suppose -20 = u*j - 100. Let l be ((-128)/j)/((-4)/10). Which is bigger: 12 or l?
12
Suppose -2*l + l = -2*u - 22, -5*l = 10. Let j(k) = -4*k + 2. Let y be j(u). Which is smaller: 49 or y?
49
Let n = -184 + 187.41. Let k = n + -3.51. Which is smaller: k or -221?
-221
Let x be 15/660*(0 - 325/(-4)). Let y = -1/16 - x. Which is smaller: y or -1?
y
Suppose -5*r = 3*s + 1672, -3*r - 4*s = 1519 - 507. Is -317 at least r?
True
Suppose -3*c = 0, 0 = 7*v - 5*v + 4*c - 32. Suppose -46*m - 72 = -52*m. Is v at least as big as m?
True
Suppose 5*g = -35 + 175. Let o be 1 - (-21)/(-18) - g/(-24). Is o bigger than -2/105?
True
Suppose -b + 0*b + 1 = 0. Suppose 47 = -6*r + 71. Let o be r/(-10)*(-10)/(-8) - -1. Which is smaller: b or o?
o
Suppose -5*y + 2*d - 5 = 0, -3*y - 2 = -y + d. Let w = 31/6 - 86/3. Let o = 24 + w. Which is greater: y or o?
o
Let u(j) = -14*j**3 + 9*j**2 + 11*j + 2. Let n be u(-1). Which is smaller: 42 or n?
n
Let w = 3997 - 4007. Which is smaller: -58 or w?
-58
Let y = -7864680/11 + 715480. Does 508 = y?
False
Suppose 250*n + 18 = 252*n. Let g = -12 + n. Is -2 equal to g?
False
Let m = -129 - -139.5. Let u = 10.4 - m. Which is greater: u or 171?
171
Let d = -1605.1 + 1605. Which is greater: d or -2/3761?
-2/3761
Let i be (-244)/5 + 3/(-15). Suppose -5*b + 60 = -4*b + 5*o, 2*o + 435 = 5*b. Suppose 2*w + b = -5*x, w + 185 = -3*w - 5*x. Is i at most as big as w?
False
Let i(w) = -85*w**2 + 24*w - 102. Let y be i(15). Let q be (y/(-6852) - 18/24) + -2. Is q greater than 1?
False
Let c = -11.01 - -11.21. Which is bigger: c or 2277?
2277
Let x be 12/(-48)*0*-1. Which is bigger: x or -4/1843?
x
Let m = 76 + -72. Suppose 0 = y - 2*y - 3*c - 17, 0 = m*y - 4*c - 12. Which is bigger: 2/47 or y?
2/47
Let m be 4/(-7) + 2682/(-259) + 638/58. Do 1 and m have the same value?
False
Let v(h) = -36*h - 1215. Let j be v(12). Which is smaller: j or -1648?
-1648
Let m = -10810 + 10398. Is m greater than -1649/4?
True
Let i(m) = -m**2 + 6*m + 1. Let d be i(5). Let s be d*2/90 - (-26)/30. Let w be (-154)/84 - s/6. Is -11/4 > w?
False
Let r = 53 + -31. Suppose k + 3*m - 13 = r, -2*m - 10 = -k. Which is smaller: 19 or k?
19
Let v = -356 - 322. Let u = v + 677. Let z be -1*(0 + 1)*4. Is z at least u?
False
Let m(f) be the third derivative of f**5/12 + 5*f**4/24 - f**3/2 + 11*f**2. Let o be m(3). Let z = o - 58. Is -9 > z?
False
Let m = 4 - -100. Let c = -411/4 + m. Let s be -9 + (-4 - (-580)/45). Is s bigger than c?
False
Let j be ((-280)/(-30))/((-2)/24). Let u = j - -76. Let p be (-6)/(((-2)/(-6))/((-24)/u)). Which is bigger: -14 or p?
p
Let r be -1*73/((-31317)/66). Let a = 4.7 + -1.9. Which is greater: a or r?
a
Let w = -646 - -355. Let u = 3199/11 + w. Which is greater: u or -3?
u
Let n = -3054 + 4145. Is n != 1090?
True
Suppose -1415*o + 1424*o = -4065 + 105. Which is smaller: -441 or o?
-441
Let k be 6/9 - 2/(-6). Let w = -102/589 - -252602/2945. Let m = -86 + w. Is k < m?
False
Suppose -198 = 3*h + 4*p, 2*p = 30*h - 28*h + 118. Which is smaller: h or -307/5?
h
Let k be (-27 + 28)/(1 - 21/22). Let f(o) = o**2 - 16*o - 91. Let q be f(k). Do q and 39 have different values?
True
Let o = -4311 + 4311. Do 1/173 and o have the same value?
False
Suppose 8*k + 9 = 13*k - 6. Let q = 45.4 + 0.6. Is k > q?
False
Let m = -239996/15 + 16000. Suppose 3*r = 2*f, f - 4*f - r = 0. Is f at most m?
True
Let b = -27 - -48. Let t = 0.06647 - 0.06647. Is t != b?
True
Let w = 18.14 + -18. Let f = 8583 + -8582.2. Which is smaller: w or f?
w
Let f = 6.731 - 5.731. Let o be (9/(-6))/((-6)/(-8)). Let w be (-2)/(-4) + 2 + o. Do w and f have different values?
True
Let k = 0.56 - -0.2. Let y = -0.24 - k. Is y != -7?
True
Let l be (-2 - (-428930)/214440)/(8/(-24)). Is 0 at most l?
False
Suppose -4*l + l - g + 180 = 0, -5*l - 7*g = -284. Which is smaller: l or 30?
30
Let r be (-579)/(-965) + (-1452)/(-5). Is 2028/7 > r?
False
Let r(i) = i**3 + 9*i**2 - 9*i + 18. Let a = -19 - -18. Let u(n) = 6*n - 4. Let d be u(a). Let k be r(d). Is k > 3?
True
Suppose 1 = q - 5*p, -40*p + 44*p = 0. Which is smaller: q or -2934?
-2934
Let i = 247 - 240. Let s be (-20)/(-6) + (3 - (-1 + i)). Suppose 4*w - u = -4, -2*u = -2*w - 3*u + 4. Which is smaller: w or s?
w
Suppose 2*t = 4*c - 2, 5*t = -c - 2 + 19. Let b = -3 - -5. Suppose -2*q + 3*r + 15 = 0, t*r + b = r. Are q and -2/3 nonequal?
True
Let d be 2/54 + (-1004050)/(-9450). Let s be (-632)/(-6) + (-2)/6. Which is smaller: d or s?
s
Suppose 117*t - 245*t - 332 = 204*t. Let y be (-4)/10 + (-4038)/(-10120). Which is smaller: t or y?
t
Suppose 504 + 204 = 3*r. Suppose 203*k - 37503 - 10435 = -233. Is k smaller than r?
True
Let b = -522.9 - -555.9. Which is smaller: 1 or b?
1
Let p = 545 - 544.93. Let l = 14 + -13.99. Let n = p + l. Which is greater: n or -0.3?
n
Let x = 217 - 215. Suppose -x*o + o = -35. Which is smaller: o or 36?
o
Let w(a) = -a**3 + a**2 - 3*a - 6. Let t be w(-2). Suppose 0 = -17*z + t*z. Suppose 5 = 2*l + b, -l + 10 = -z*l + 3*b. Is l < 1?
False
Let f(c) = -c**3 + 5*c**2 + 5*c + 6. Let r be f(6). Let l(q) = 3*q + 63. Let a be l(-27). Let g be ((-12)/17)/((-12)/a) + 1. Is g >= r?
False
Let v = -7553 - -7531. Is v at least -5/4?
False
Let h be (7/28)/((-3)/(-4)*14/(-42)). Is -5/143 less than h?
False
Let r(t) = -t**3 + 9*t**2 + 9*t + 11. Let k be r(10). Let x = -74464 - -221828258/2979. Which is smaller: k or x?
x
Let g = 1955/28 + -375/7. Let q(w) = w**2 - 6*w + 11. Let u be q(5). Let z(i) = -i**3 + 5*i**2 + 10*i - 8. Let p be z(u). Is g smaller than p?
False
Let p = -12665 - -12665.2528. Which is smaller: -0.3 or p?
-0.3
Let f(z) = z**3 - 19*z**2 - 18*z - 52. Let n be f(20). Let k be ((-4)/5752 - 0)*(-24)/n. Which is smaller: 1 or k?
k
Let p(q) = -q - 6. Let h be p(-5). Let t be (36/34776)/(26 + -27). Do t and h have the same value?
False
Suppose 2*a - 4 = 4. Let j be (a/6)/((-4)/(-354)). Let o = -95 +