97. Which is smaller: o or -1/375?
o
Suppose 169 = 2*k + j, 32 = k + 4*j - 35. Which is smaller: k or 88?
k
Let l(o) be the first derivative of -2*o - 12 - 1/3*o**3 - 3/2*o**2. Let j be l(-2). Which is bigger: j or -1/3?
j
Let d = 14.6 + -13.63. Let l = 1.03 + -1. Let c = l + d. Is c at least as big as -0.4?
True
Let b(m) = -5*m**2 + 3*m - 3. Let o be b(2). Let j be (12 - 11)*(-2)/o. Is -1 < j?
True
Let o = -954 - -44836/47. Let m(y) = -y - 8. Let l be m(-8). Which is greater: l or o?
l
Suppose 4*d + 12 = -4*i, 5*d - 2 = -2*i - 14. Is -15/22 at most i?
False
Let y = 0.45 - -10.85. Let m = 11.4 - y. Let s be 2/7 - 57/(-21). Which is smaller: s or m?
m
Suppose 216 = 44*j - 26*j. Is 47/4 not equal to j?
True
Let d(w) = -73*w**2 - 5*w + 4. Let f be d(1). Let c = f + 76. Which is smaller: c or 3/7?
3/7
Let j(y) = y**3 - 5*y**2 + 2*y + 5. Let l be j(5). Suppose -l = -0*w - 5*w. Suppose 3*d - v - 1 = v, -w*v - 15 = 0. Is d less than -3?
False
Let a = 89 - 143. Let c be 6/4 - -5*15/a. Let p = 3 - 4. Which is greater: p or c?
c
Let u = -10 + 29/3. Let d = 6.6 - 5.67. Let b = d - -0.07. Which is smaller: b or u?
u
Let p be 189/84*(-2 - 10). Suppose 4*w - 80 = 3*v - 6, 5*v + 133 = -3*w. Let n = p - v. Does 3 = n?
False
Let v = 8 - 16. Let p be ((-4)/10)/(v/(-5)). Are p and 1 equal?
False
Let w = 3 + -5. Let t be (-8)/(-12)*6/(-4). Which is greater: t or w?
t
Let j(v) = -3*v**2 - 3*v - 28. Let b be j(-7). Is b greater than or equal to -155?
True
Let d = 47 + -50. Let j be 1/d*(-3)/2. Is -7 greater than j?
False
Suppose 19*z - 10 = 14*z. Suppose -5*j + 6 = n + 18, z*j + 4 = 0. Let l be 3 + ((-6)/4 + 0 - 3). Is n less than l?
True
Suppose -3*p + 8*p - 130 = 0. Let f be 1/4*700/(-24 - -31). Is p smaller than f?
False
Suppose 6*k = -117 + 15. Which is smaller: -15 or k?
k
Let i(h) = -h**3 + 8*h**2 - h - 7. Let s be i(8). Let z(d) = d**2 + 15*d - 2. Let x be z(s). Does x = -18/11?
False
Suppose 4*f - 2528 = -8*k, -7*k + 5*f = -2*k - 1610. Is k less than 317?
False
Let d be (-2)/(-5) - 62/5. Let z be d/(-9)*((-34)/(-28) + -1). Which is smaller: z or 2/11?
2/11
Let s = 17 + -14. Suppose -11 = -o - 3*y - 2, o - 5*y = -15. Suppose -w + 2*w = o. Which is greater: w or s?
s
Let a = 3 + -17. Let v = -6 - a. Do 6 and v have different values?
True
Suppose 0*a + a = -2, a + 40 = 2*v. Let k = v + 8. Let b = k - 25. Which is greater: 5 or b?
5
Suppose 0 = -116*j + 111*j. Is j bigger than -8/77?
True
Let r = -1.99 + -3.11. Is r > -2/7?
False
Let m = 265927/80 + -3324. Which is bigger: -1 or m?
m
Let d = -3227706/673 + 4796. Let n = d - -2682/3365. Let q = 72 - 70. Which is bigger: q or n?
q
Let u be 16/(-6) - 4/(-6). Suppose 11*c = 6*c + 10. Suppose 7*f = l + c*f - 22, -4*l - 2*f = 22. Which is smaller: u or l?
l
Let t = -16 - -44. Let a = t - 27. Which is smaller: -1/47 or a?
-1/47
Let i be (-6)/(-2) + 2*(-276)/190. Let r = -2/19 - i. Is 2 less than or equal to r?
False
Suppose -61 - 231 = -4*h - 4*r, -2*h + 2*r + 150 = 0. Let b be (h/21)/(5/(-15)). Do -12 and b have the same value?
False
Let u(x) = x**3 - 5*x**2 + 7. Let a be u(5). Suppose 12 = -a*d + 4*d. Suppose -5*o = -s - 0*s - 28, -5*o + 19 = 2*s. Do d and s have the same value?
False
Let y = 15.3 - 16.13. Let w = 0.17 - y. Let q = -5.3 + -17.7. Which is bigger: q or w?
w
Let y be (-164)/18 + (-2)/306*-17. Which is greater: y or 7?
7
Let x = -369 - -319. Suppose 3*z - 2*z = -20. Let q be (-47)/(-55) - z/x. Which is bigger: q or -1?
q
Let o = -32 - -14. Let z be 3/o*3*-4*2. Which is bigger: 8/3 or z?
z
Let r = -33 + 46. Let u = -21 + r. Let t be -5*3*21/35. Are t and u unequal?
True
Let j be 2*(-36)/(-32)*16. Let h be (-8)/(-32) - 1/j*-31. Which is smaller: 2 or h?
h
Let o = 61 + -61. Suppose -2*h + 4*a = -o*h - 14, 3*h - 6 = a. Let f be 1/((-14)/(-4))*1. Is f != h?
True
Let o be (20/(-22))/(13/(-143)). Which is bigger: 11 or o?
11
Let o = -0.7 + -0.3. Let f = 119 + -122. Let q = o + f. Which is greater: q or -1?
-1
Let s = 0.018 + -0.118. Is s not equal to 84/5?
True
Suppose 3*c - 69 = -5*o + o, -o - 111 = -4*c. Suppose -192 = -5*k + 2*r, -k + 2*r + c = -5. Which is smaller: k or 39?
39
Suppose 17*a = 21*a - 2532. Let w be a/(-33) + -1 + (-4)/(-22). Is -19 smaller than w?
False
Let u(m) = m**2 - 8*m + 10. Let q be u(6). Suppose -4*v + 38 = -v - 4*y, 0 = -5*v + 2*y + 54. Is v equal to q?
False
Let m be -1 + 0 - 2 - (-4 + 1). Is m at most as big as 1/590?
True
Let b = -0.0565 + -13.6435. Which is smaller: -1 or b?
b
Let j be 2 - (-2)/(2 - 4). Let x be (-6)/(-10)*(-11 - -26) - -1. Let k be (-6)/x + 186/110. Does j = k?
False
Let d = -144 - -173. Which is smaller: 5 or d?
5
Let f = -6 + 212/35. Let z(j) = -3*j**2 - 3*j. Let v be z(-1). Is f < v?
False
Let h = -31 + 35. Let d be 4 + (-168)/20 + h. Which is smaller: d or 3?
d
Let k = 541.9 + -253. Let u = k + -303. Let c = -14 - u. Is 0.02 greater than c?
False
Let f(v) be the first derivative of 2*v**3/3 + 12*v**2 + 20*v - 19. Let b be f(-11). Let y = -150 - -597/4. Which is smaller: y or b?
b
Let m = -6.54 - -7. Let n = m - 0.76. Which is smaller: n or 3?
n
Let v be -5 + 2 + 5 + -4. Let n = -21 - 38. Let z = 405/7 + n. Which is bigger: v or z?
z
Let r(m) = -5*m**3 - m**2. Suppose 0*p - 5*p = 5. Let z be r(p). Suppose 300 + 6 = 133*o - 93. Do z and o have the same value?
False
Let l = -0.24 - 0.16. Let t = -47.12 + 50. Let d = 0.12 + t. Which is greater: d or l?
d
Let m = 2/65 + 53/390. Let z be (-4)/(-2) + (-10 - -8). Which is smaller: z or m?
z
Let y = 227/75 + -84/25. Is 560 equal to y?
False
Let f be ((-1)/((-4)/8) - -3)/1. Suppose -2*y + 5*y - f*q + 12 = 0, 0 = -4*y - 4*q + 16. Are 3/2 and y equal?
False
Let r(h) be the second derivative of -h**4/2 + 2*h**3/3 - 2*h**2 - 6*h. Let x be r(2). Suppose -12 + 92 = -4*y. Is y > x?
False
Let a be (-2)/(16/(-6)) - (-149)/4. Let t be (-5 - -4) + a/(-8). Which is bigger: -5 or t?
-5
Suppose 8*x + 4*x = 2*x. Let p = -100 + 152. Let v be ((-6)/p)/(12/16). Which is smaller: x or v?
v
Let u be (-507)/26 - (-1)/(-2). Let j = -15 - u. Suppose -4*d + 0*o = -2*o + 4, -2*d = -j*o + 10. Which is smaller: d or 1?
d
Suppose -m - 16 + 9 = -2*y, 8 = 4*m + y. Which is bigger: m or 1/282?
m
Let w(c) = c - 67 + 146 - 67. Let v = 8 - 14. Let j be w(v). Do j and 6 have the same value?
True
Suppose 240 + 192 = 54*i. Which is bigger: i or 105?
105
Let n be 8/(-1)*((-6)/8)/3. Which is smaller: -2 or n?
-2
Let z be 3 - (8 - (-135)/(-25)). Is -11 at least z?
False
Let n(y) = 4*y + 4. Let r be n(7). Let l = r + -12. Suppose 0 = 5*i - 0*i - l. Which is smaller: i or 3?
3
Let y(v) = v**2 + 4*v - 65. Let a be y(-12). Are a and 35 equal?
False
Let n = -0.022 + -0.388. Let b = n - -0.61. Are b and -21 equal?
False
Suppose 3*w - 320 = -311. Suppose w*f - 27 = -5*k, 0 = f - k - k - 20. Which is smaller: 73/5 or f?
f
Suppose 0 = -3*z - 3, z = 2*f + 6*z - 3. Suppose f*g - 39 - 41 = 0. Let k be (-3 + g/8)*2. Which is greater: 1/16 or k?
1/16
Let m = 2.31 + -2.11. Which is bigger: 3/16 or m?
m
Suppose 0 = 2*g + 4*l + 8, 0 = 2*g - 3*l + 2*l + 33. Let u = g + 20. Let c be 34/20 + u/(-4). Which is smaller: c or 0?
0
Suppose 0 = -6*i + i. Let d be 4/(-10) - i/9. Let h be ((-30)/14 + 2)/(-1). Which is smaller: d or h?
d
Suppose -52*t + 67*t - 30 = 0. Suppose 0 - 4 = 2*n. Let w = n - -3. Are w and t unequal?
True
Suppose -4*b + 12 - 20 = 0. Let k be (-596)/196 + (-6)/b. Is k smaller than 1?
True
Let q(a) = a**2 - 21*a - 48. Let t(h) = -5*h - 2. Let z be t(-5). Let d be q(z). Which is smaller: d or -3?
-3
Suppose 0*y + 4*b + 7 = -y, 2*b = 5*y + 13. Let h = y - -6. Let p = -140 + 140.03. Which is greater: h or p?
h
Let j = 2.04 + -2. Let x = 1.96 + j. Let f = -47 - -185/4. Is x greater than or equal to f?
True
Let v be -1*5 - ((-4)/2 - 3). Let x = -667/8 - -83. Which is bigger: x or v?
v
Let o be (-1 - -1) + 1/4. Let a = 1165 - 1165.48. Do a and o have different values?
True
Suppose -2*q - 3*q + 5 = 0. Which is smaller: -194 or q?
-194
Let h be 4*((-4)/(-6))/((-248)/93). Is h at least as big as -129?
True
Let n = -0.3034 + 0.3034. Is n equal to 5/8?
False
Let d = -9.9 - -1.9. Let j = d - -8.2. Let o = 0 - j. Is 1 at least o?
True
Let z = 18 + -13. Suppose -z*t - 16 = -3*t. Let k(y) = -2*y - 5. Let w be k(t). Do 12 and w have different values?
True
Suppose -159*u + 