96. Let t be (1 + -3)/2*-2. Let c be (-24)/26*(-1)/t. Which is greater: c or k?
c
Suppose 0*j - 27 = 3*k - 3*j, 0 = -5*k - 5*j - 75. Let v(x) = -2*x**3 + x**3 + 78*x - 90*x - 6 - 13*x**2. Let u be v(k). Is u >= -7?
True
Let h(k) = -2*k**2 + 2*k - 3. Let n be h(-3). Let d be -3*((-2)/(-2))/(18/162). Is n at most d?
True
Suppose 0 = -4*a + 20. Suppose 0 = s + a + 4. Which is smaller: s or -2?
s
Suppose -5*n = -5, 3*n - 2*n + 5 = -p. Let i = -2210 + 2205. Is p equal to i?
False
Let x = 0.097 - 1.037. Let q = 0.06 - x. Is q at most -11/2?
False
Let k be (-672)/26 - (-4)/(-26). Is k less than -27?
False
Suppose -s + 0*s = 0. Let v = s - -5. Suppose 3*u + 27 = -v*w, 4*w = 6*u - 4*u - 4. Which is bigger: u or -6?
u
Suppose -300 = -2*u - 3*u. Let q be ((-2)/12)/((-4)/u). Is q not equal to 3?
True
Let g = 0.01 + 2.39. Let c = 0.4 - g. Is 0.2 equal to c?
False
Let k be 0 + (-998)/1260 - -1. Let g = k - -1/70. Let u be (-1 + -1 - 0)/2. Is g < u?
False
Let b = -1006 - -3999/4. Suppose 0*a = 2*a + 12. Which is smaller: a or b?
b
Let c be (-19 - -22)*6/63. Which is greater: -2/13 or c?
c
Let y(b) = -b**3 - 8*b**2 - 7*b + 3. Let f be y(-7). Let z be f + 0 - (1 + 2). Let u = 3 - 3. Is u at least as big as z?
True
Let l = 1066 + -1066. Which is smaller: 100 or l?
l
Let k = -2/719 + -2862/5033. Let f(b) = b**2 + 6*b + 7. Let r be f(-5). Suppose -2*w = 7 + 1, 0 = 4*j + r*w + 12. Which is bigger: j or k?
k
Let a be (-210)/(-30) - 7*1. Which is greater: a or 3/77?
3/77
Let x = 37038/325 + -3276/25. Which is smaller: -17 or x?
x
Let p be 9/45*(-265)/18*-4. Which is greater: p or 11?
p
Let l = 481 + -253. Suppose n = -3*n + l. Suppose -6*d = -3*d + 4*h + 43, -5*h - n = 4*d. Which is smaller: d or -14?
-14
Let g = 1294 + -1290. Which is bigger: 1.4 or g?
g
Let o(z) = 4*z + 23. Let p be o(-6). Which is greater: p or -1/86?
-1/86
Let v be 164*(-4)/24*-3. Suppose 4*o - q - v = 0, 4*o + 40 = 2*q + 124. Let f = o - 22. Is -3/5 smaller than f?
False
Let w be 19 + -5 + (-1 - -3). Suppose -2*o - o - 16 = -2*m, 0 = 4*o - w. Let h(f) = -f**2 + 14*f + 2. Let p be h(m). Does 10/3 = p?
False
Suppose 43*p - 3*n = 41*p - 17, 0 = -2*p - n - 13. Which is smaller: p or 38?
p
Let q be 2/4*36/81. Which is greater: q or -60?
q
Let x(k) = -k**2 - 8*k - 6. Let o be x(-8). Let f(d) = -4*d - 1. Let h be f(-4). Let j be 10/(-6)*o/h. Does 2 = j?
False
Let u be 1/2 + 76/8. Suppose 11*r = r + u. Which is smaller: r or -2/207?
-2/207
Suppose -3*y - 134 = 4*p, -6*p - 3*y - 102 = -3*p. Let x be 8/p*(-363 + -1). Which is smaller: x or 0?
0
Let v be (-17)/(374/1140) + 2/(-11). Let x = v + 51. Does x = -3/55?
False
Suppose 2*n - 38 + 28 = 0. Is n <= -15?
False
Suppose p - 46 = b, 5*b + 214 = -23*p + 24*p. Does b = -293/7?
False
Let i(h) = -h**2 + h + 5. Let b be i(4). Suppose 4*m - 4*d - 3 = -31, 4*m + 38 = -d. Is m < b?
True
Suppose -45 - 9 = -3*s. Let g be (-12)/s + (-136811)/123. Let q = 1113 + g. Is q less than or equal to 1?
True
Suppose 2*h + 3 - 9 = 0, 2*b - 3*h + 245 = 0. Which is smaller: 0.1 or b?
b
Let a = 334140/1267 + -1846/7. Let u = -15 - -16. Which is greater: u or a?
u
Let d(f) = 2*f**2 - 23*f + 16. Let p be d(11). Let y(x) = -x**3 + 5*x**2 + 2*x + 9. Let k be y(p). Which is greater: 20 or k?
20
Let h = -9 - -9.47. Let b = -0.77 + h. Is b < -12?
False
Let o(v) = -4*v**2 + 2*v + 3*v**2 - 7*v. Let q be 24 + -22 + (-4 + 1 - 3). Let n be o(q). Is n at least 4?
True
Suppose 27 + 63 = 8*g - 23*g. Suppose 6*m - 2*m = -i - 7, -m = 4*i + 13. Let k be m*5 - (-1 + 1). Which is smaller: g or k?
g
Let u(j) = -j**3 + 5*j**2 + j - 1. Let m be 30/4*(-10)/15. Let d = m - -10. Let b be u(d). Which is greater: 2 or b?
b
Let f(y) = -9*y**2 - 9*y - 54. Let b be f(-5). Is -234 less than or equal to b?
True
Let m(l) = l**3 - 4*l**2 - 3*l + 6. Let k be m(5). Let s = 10 + k. Which is smaller: s or -2/5?
-2/5
Suppose 5*i - 11 = 3*k, -11*i = -13*i + 2. Let d be k - 0 - (-6 - (-3)/3). Let s = 375/209 - 3/19. Which is bigger: d or s?
d
Suppose -3*l - 64 = v, 0 = -4*l + v - 51 - 39. Which is greater: l or -18?
-18
Let n(r) = -3*r**2 + 6*r + 17. Let h be n(5). Is 1 less than h?
False
Suppose 2*y + 0 + 4 = -5*n, 2*n = -5*y + 11. Let x be ((y - (1 + 2))*1)/(-2). Is 6/11 equal to x?
False
Let t(z) = 10*z - 5. Let o be t(6). Let u = o + -215/4. Suppose -2*y = -6*y + 8. Does u = y?
False
Let t be (136/16 + -8)*148/(-9). Which is smaller: t or -9?
-9
Let n = -5 - 1. Let v(b) = -b**2 - 6*b. Let p be v(n). Let z = 0.0442 - 0.0642. Which is greater: z or p?
p
Let r = -3235 + 22601/7. Which is bigger: r or -0.1?
-0.1
Let p be (-158)/18 - (28/(-36) - -1). Let c be 152/(-36) + 4 + 241/p. Which is smaller: c or -26?
c
Let l = 2071 - 2074. Is -27 less than l?
True
Let p(q) = q**3 + 2*q**2 - 6*q - 8. Let g be p(-2). Let h(x) = x**2 - 2*x - 5. Let i be h(6). Is g >= i?
False
Let a = 8.6 - 15.7. Let h = 7 + a. Let i = 0 - 2. Is h <= i?
False
Suppose 28 = y + 17. Let p(c) = 2*c - 9. Let h be p(7). Suppose -4*g - 16 = 0, -r + y = 2*g - h*g. Which is bigger: r or -4/9?
-4/9
Let j(g) = -g**3 + 13*g**2 + 11*g + 39. Let f be j(14). Let s be (1 + 0 + f)*-2. Which is greater: -0.1 or s?
s
Suppose 0 = m - 4*m + m. Which is smaller: -1/185 or m?
-1/185
Let h = -0.2 + 2.6. Let m = 2.6 - h. Which is greater: m or 10?
10
Let z be 9 + (-3)/((-6)/(-8)). Let p be z + (2 - 0)/(-1). Which is greater: p or -0.03?
p
Suppose -662 = 3*z + 5*s + 3430, -2*s = 2*z + 2728. Are -1364 and z equal?
True
Let c = 2039/8 + -264. Let q = -9 - c. Which is greater: -1 or q?
q
Let b be ((-28)/(-196))/(-2 - (-12)/(-21)). Is b != 0?
True
Let y = -27 - -26.991. Let u = -0.091 + y. Are 13 and u non-equal?
True
Let a = -0.0353 + -0.1147. Is 6/11 <= a?
False
Suppose 2*z - 3 = -5*w, -4*w + 6*w - z - 3 = 0. Let i = -5 + 8. Let a be (4/282)/(1/i). Which is smaller: a or w?
a
Let c(p) = p. Let v be c(-3). Let m(o) = -2*o**2 + 2*o - 1. Let j(b) = 3*b**2 - 2*b. Let l(w) = v*j(w) - 4*m(w). Let q be l(-3). Is q > 6/11?
True
Suppose -3*o + 36 = -3*t, 3 + 9 = -3*t. Let z be 5*6*((-48)/(-10))/4. Let j = 43 - z. Which is greater: o or j?
o
Suppose 55 = -4*q - 157. Let h = 294 - 346. Is q != h?
True
Suppose 48 = -o + 43*d - 42*d, 3*o = 5*d - 152. Is o <= -46?
False
Let m = 0.6 + -0.67. Let s = -25 + 22. Which is smaller: m or s?
s
Let z = -0.2191 - -0.3191. Which is bigger: z or -0.381?
z
Let h(x) = -4*x + 24. Let z be h(13). Is -24 at most as big as z?
False
Let q(p) = -p**3 - 3*p**2 - 2*p + 5. Let h be q(-5). Let g be ((-14)/5)/((-26)/h). Let j(y) = y**3 - 7*y**2 - 6. Let l be j(g). Which is smaller: l or -1?
l
Let n(q) = 11*q**3 - 2*q**2 - q + 3. Let k be n(-4). Let z = 10942/15 + k. Which is greater: 2/3 or z?
2/3
Let g be (108/30)/((-3)/10). Suppose j = -3*u, -u - 23 + 3 = 2*j. Is g != j?
False
Let g(y) be the third derivative of -y**6/120 - 2*y**5/15 - y**4/4 + y**3/6 + 13*y**2. Let o be g(-7). Is o greater than or equal to -7?
True
Let j = 171 + -190. Let g = 19.05 + 0.25. Let c = g + j. Is c <= 5?
True
Let z = 131 + -123. Let k be 118/(-4)*(z/1)/4. Is k at most as big as -59?
True
Let u = 0 - -6. Let r = -6.08 + u. Let g = -5 - -5. Is r < g?
True
Let d = 501/4 + -126. Is d not equal to -88?
True
Let w = 41 + -41. Suppose -5*o - 79 = 4*r, r - 5*o + 21 + 5 = w. Which is smaller: r or -20?
r
Suppose -2*y - 1 = 2*h - 7, -3*y = -9. Suppose 2*k = -h*k - u + 87, 3*k = 4*u + 114. Suppose 5*f + 20 = 5*t, 4*f + 4*t - 10 = -k. Which is bigger: f or -7?
f
Let h = -4 - -8. Suppose 4*u + z + 2 = 0, h*u + 7 = 3*u + 3*z. Let a be -3 + 2 + 9/(-33). Which is smaller: a or u?
a
Let k = 249 + -248.89. Is k equal to -2/5?
False
Let s = 13/10 + 115/2. Let p = 772/15 - s. Which is greater: -8 or p?
p
Let h = 6 - -10. Let d be 132/h + 12/16. Let y be (-1 - 2) + 33/d. Which is smaller: 0 or y?
0
Let w be (385/22)/((-1)/2). Are w and -37 equal?
False
Let t = -9.4 + 6.4. Let i = -5 + -2. Let p = t - i. Which is greater: -1 or p?
p
Let z be 8/40 + 21/(-5). Let j be z*((-2 - -1) + 2). Is -5 at least j?
False
Let b = -80 + 149. Which is bigger: b or 73?
73
Let l = 36.4 - -170.6. Which is greater: l or -0.1?
l
Let r = 102 + -211/2. Let s = r + 23/6. Let b = 3 - 2. Which is greater: s or b?
b
Let u(p) = p**2 + 18*p - 32. Let w be u(-16). Let n = -65 - w. Let o = 82/3 + -1382/51. Which is bigger: n or o?
