5. Which is smaller: m or -1/89?
m
Let y be ((-728)/21)/(-8) - (6 - 2). Let o = 0 + 3. Suppose i - 2 = -3*n, -i = -o*n - 4*i + 6. Which is smaller: y or n?
n
Suppose 5*p + 2*m = -18, 67*p = 62*p + m - 6. Is p greater than -27/17?
False
Let h = -3576/3859 - 30/227. Let f = 5 - 5. Which is greater: f or h?
f
Suppose -2*j + 6 - 16 = 0. Let q(p) = -p + 5. Let i be q(j). Let x be (8/(-4))/(14/i). Which is bigger: -2 or x?
x
Suppose 241 = 5*f - 9. Let l be 710/14 - -5*(-6)/(-105). Which is greater: l or f?
l
Let p(c) = -3*c**3 + 36*c**2 + 2*c - 23. Let g be p(12). Are 10/91 and g nonequal?
True
Let r = 1/129 + -2071/903. Let s be 4/(((-14)/4)/7). Let b = s + 7. Is r bigger than b?
False
Let u = -233 + 694/3. Let g be (-4)/14 - 36/21. Is u > g?
True
Let y = -1 + 3. Let x = 8 - y. Let f be (2 - 0)/(x/(-6)). Which is greater: -8/9 or f?
-8/9
Let w = 94 - -2. Suppose s + 3*s + w = 0. Let g be 45/(-40) + (-3)/s. Is g < 2?
True
Suppose -j + 7 = -2. Let s(o) = o**2 - 1. Let q(l) = -14*l**2 + 4*l + 2. Let p(f) = -q(f) - 4*s(f). Let g be p(1). Which is smaller: g or j?
g
Let o(u) be the first derivative of 7*u**2/2 - 13*u - 24. Let j be o(2). Is j less than or equal to 4/51?
False
Let j = 25.37 + -51.432. Let w = j - -0.062. Let h = 27.1 + w. Is h at most as big as 0?
False
Let j = 9 - 3. Suppose 0 = -5*u + 4*q + 34, -3*u + q + q = -20. Is j less than or equal to u?
True
Let l = -2143 + 6115/3. Which is smaller: l or -106?
-106
Let r = 1 + 11. Suppose -5*l = 2*t - 9 - r, -t = -4*l + 9. Which is greater: 2/53 or t?
t
Let q be (-6)/9*(-45)/10. Suppose -4*l = q + 5. Let o = 4 + -7. Are o and l nonequal?
True
Let f = -0.3717 + 0.0117. Which is bigger: f or -2/5?
f
Let t = 117/5 + -24. Let v = -2.981 + -0.019. Which is greater: v or t?
t
Let i = 71 - 36. Let z = -34 + i. Suppose -z = -10*u + 9*u. Which is bigger: u or 1/8?
u
Let v be (-1)/(-4) - (-135)/(-60). Let u = v + 2. Suppose u = -2*h + 5*k + 12, 4*h + 4 = -3*k + 2. Is h greater than -1/21?
True
Let g = -44/3 + 173/12. Let k(a) = -a**2 + 9*a - 7. Let w be k(8). Suppose 5*y + 3*l + w = 2*l, -2*l = -2*y + 2. Is y > g?
True
Let r(z) = 36*z + 223. Let m be r(-14). Do -281 and m have different values?
False
Let k(y) = -5*y - 75. Let r be k(-15). Let n = -0.14 - -0.82. Let u = -0.02 - n. Is u < r?
True
Suppose -4*n = -16, -2*x + 5 = 3*n + 3. Let b be ((-2)/4)/(2/(-20)). Let a = 1 - b. Is x at least a?
False
Let t = 715 + -562. Is 0.1 bigger than t?
False
Let s = 72 - 72.1. Let x be 676/(-5) - -1 - -1. Let c = -8688/65 - x. Is c <= s?
True
Let g(p) = p**2 + 7*p - 2. Let u be g(-8). Suppose 2*m - u*m = -4*r - 60, 19 = m + r. Let t = -18 + m. Is t at least -1/2?
False
Let v = 88.61 - 4.83. Let k = -84 + v. Is k at least as big as 0?
False
Let m = -1186 - -1165. Which is bigger: m or 1/8?
1/8
Let i(h) = -h**3 + h. Let j be i(1). Let n be -1*j/(1/(1/(-2))). Which is bigger: n or -2/183?
n
Let k(a) = -a**2 - 4*a + 12. Let i be k(-6). Is -12.9 greater than or equal to i?
False
Let f be 15/(-10)*(-122)/3. Let h be 51/(-34) - f/(-6). Let z = -8 + h. Which is smaller: z or 0?
0
Suppose -p + 61*p = 10080. Does 168 = p?
True
Let h = 691/8 + -86. Let u be 8/6 - 1/3. Let i = u + 0. Which is greater: h or i?
i
Let w = 5830623 + -2099026859/360. Let j = 37/5 + w. Let g = j + -1/8. Which is greater: 1 or g?
1
Let z(u) = 5*u**2 + u + 5. Let q be z(-3). Let l = q + -79. Is l > -32?
False
Suppose 2*y = -d + 8, 3*d - 5*y - 58 = -d. Let c be 0*(-4)/d*1. Which is smaller: 24/23 or c?
c
Let m(c) = c**2 + 7*c - 7. Let v be m(-6). Suppose 6*a = a - 45. Let k be a/(-6) - (-58)/(-4). Is v less than or equal to k?
True
Let l = 591/91 + -39/7. Which is bigger: 0 or l?
l
Let d be (-10)/4*(-2)/5. Let h = d - 10. Is h < -5?
True
Let s = 276514/13 - 21256. Is s at most 13?
False
Let a = -182 + 187. Is -1 greater than a?
False
Let z be (-5)/((-120)/(-2052))*(-2)/3. Is 0.07 smaller than z?
True
Let o = 49.048 + -49. Let i = 0.148 - o. Which is bigger: 53 or i?
53
Let j = 100 + -107. Is j > -1?
False
Let j = 361 + -364. Let c = 0.4 - 0.6. Let x = -0.23 - c. Is j smaller than x?
True
Let h = 0.375 - 0.475. Is 0.062 at most h?
False
Let b be (-2751)/(-6) - 24/(-48). Is b equal to 460?
False
Let h(m) = m**3 - 21*m**2 - 23*m + 29. Let v be h(22). Which is smaller: v or 21?
v
Suppose -28*m - 1 = -1. Which is smaller: m or 22/19?
m
Suppose -4*f = -5*m - 5911, -m = f + f + 1185. Let p = 13001/11 + m. Which is smaller: 0 or p?
p
Suppose -24764 = -16*g + 57*g. Is -604 >= g?
True
Let k be -5*(4 - (-135)/(-25)) - 4. Which is smaller: -1 or k?
-1
Let j = 0.1 - 0.28. Let i = -0.22 + j. Which is smaller: i or 0.6?
i
Let i = -1 - -4. Suppose -3*k = 2*a - 186, -i*a = -k - a + 62. Let v = k - 184/3. Which is bigger: 1 or v?
1
Let d(p) be the first derivative of -2*p**2 + 5. Let k be d(-1). Let j = -2 + 6. Is k > j?
False
Let u(a) = -a**3 + 24*a**2 - 44*a. Let l be u(22). Let p = 4 - 7. Is p smaller than l?
True
Let n(t) = 12*t - 4. Let p be n(-2). Is -25 >= p?
True
Let p = 0.1 - 5.1. Suppose 0 = g - 7*g - 90. Let u be 39/g - (4/2 - 5). Which is smaller: p or u?
p
Let d be -3*965/180 - (-12)/16. Is -15 at most d?
False
Let v = 3.49 - -0.11. Let q = 4.6 - v. Is q >= 3?
False
Let v be -1 + (16 - 13 - (1 + 1)). Do v and 49 have the same value?
False
Let c = 172 + -63. Let s = -108.9 + c. Let k = 4 + -2. Is k > s?
True
Let a = 16.07 - 17.07. Which is smaller: -500 or a?
-500
Let m(o) = -3*o**2 + 84*o - 105. Let a be m(33). Is a > -600?
False
Let n(f) be the third derivative of 0 - f**2 + 0*f - 1/30*f**5 - 1/12*f**4 - 1/6*f**3. Let s be n(-1). Is -12/7 greater than s?
False
Let t = 17 - 13. Suppose -n + 2*b - 19 = 0, 2*b = t*b. Which is smaller: -22 or n?
-22
Let s = 35330 - 69275/2. Is -0.1 not equal to s?
True
Let p = 1 - 1. Let y be ((-21)/(-6) - 4)*-2*1. Suppose 2*c - c + y = p. Is -1 smaller than c?
False
Suppose -16*b + 12*b - k = 19, 2*b - 5*k = 7. Which is greater: -13 or b?
b
Let k be 39/(-182)*62 + 2/7. Is k smaller than -196/17?
True
Let l be -126 + (1 - (-3 + 0)) + -4. Let n = l + 124. Which is greater: 21 or n?
21
Let t = -275 - -275.1. Which is smaller: -17/6 or t?
-17/6
Let o(i) = 32*i**3 - 2*i**2 + 8*i - 18. Let x be o(2). Which is smaller: x or 248?
x
Let b = 5 + -8. Let u = 1090 - 1105. Let n be b*1*35/u. Which is bigger: n or -1?
n
Let b = 603 - 427. Which is smaller: b or -1?
-1
Let f = 46275/92 - 503. Let q = 180/13 + -4218/299. Let z = q - f. Which is greater: z or 1?
1
Let w be (-4)/6 - 50/(-3). Suppose 9*y - 7*y - 71 = -5*r, -3*r + 49 = -2*y. Suppose -4*m - 5*f - w = 0, -m - 2*m + 3*f = -r. Is m > 1/4?
True
Suppose 27 = 5*a + 3*v, 14 = -4*a + 5*v + 6. Suppose 2*q + a = -q. Let z = 8/7 + -9/7. Is q less than or equal to z?
True
Let d be (0/(-4 + 1))/1. Let p(k) be the third derivative of -k**6/120 + k**5/60 - k**3/6 + 7*k**2. Let s be p(d). Which is smaller: s or -8?
-8
Let d be (-1)/(-6)*(-80)/60. Let o = -20 - -10. Which is bigger: o or d?
d
Let o(x) = -x - 3. Let f be o(-3). Suppose z + 4*c = 2*z + 23, -2*c + 8 = f. Let b = 0.1 + -0.1. Which is smaller: z or b?
z
Let f = 2.4 + -2.3. Let d = f + 0.1. Let i = -1/10 + -7/30. Is i bigger than d?
False
Suppose -2*x - 4*d - d = 26, 2*x + 46 = 5*d. Let h = 22 + x. Which is greater: 3 or h?
h
Suppose 20 = -8*u + 3*u. Let w be (9/u)/(12/32). Is -8 equal to w?
False
Let v = -14 + 14. Let b = -2 - 11. Let u be (0 + v)/(-15 - b). Which is bigger: 1 or u?
1
Suppose -7*l + 3*l = 2*a - 338, 0 = 3*a - 2*l - 475. Let b = -1768/11 + a. Is b >= 0?
True
Suppose 3*a - 2*d - 27 = -8, -3*a = -3*d - 24. Suppose 0 = -6*t - 8 + 56. Suppose 0 = -r + a - t. Which is greater: -4 or r?
-4
Suppose 52 + 16 = 2*x + 2*l, -5*x = -4*l - 134. Suppose 34*k = x*k. Let c be ((1*-2)/44)/(-1). Which is greater: c or k?
c
Suppose 0*g - 20 = 4*g. Let c be 4*(g/(-2) + -2). Which is greater: 3 or c?
3
Suppose -12 = -2*n + 2*q - q, 2*n = 2*q + 12. Let j = -531 + 538. Which is smaller: j or n?
n
Let q be 1533/(-28) + (-6)/(-2). Which is smaller: -51 or q?
q
Let z(w) = -w**3 - w**2 + 50*w + 168. Let q be z(-3). Does 27 = q?
False
Let a(u) = 3*u**2 + 4*u - 13. Let o be a(-4). Let f = -55 - -54. Is f equal to o?
False
Let g be (132/(-198))/((-16)/(-6)). Which is bigger: g or -5/14?
g
Let f = -60 - -60.4. Let i = f + -0.56. Is 0.2 smaller tha