951. Suppose l + 265 = -16*w. Which is bigger: -61 or w?
w
Suppose -61 = -11*k - 17. Suppose 0 = -k*z + 4, 0 = 5*x - 4*z - z - 90. Let s be 0 - -3 - x*(-2 + 4). Is -35 >= s?
True
Let q be -1*1*(-64)/(-864) + 0. Are q and 0 equal?
False
Let i = -8 - -12. Let w be i/(-10)*(1 + 4). Let x = 18.2096 + -0.2096. Are x and w equal?
False
Let s(n) be the second derivative of -3*n**5/20 + n**4/6 - n**3/6 - 15*n**2/2 - 47*n. Let d be s(4). Does -181 = d?
False
Let k = -110.095 + 109. Let r = -0.095 - k. Let u = r - -75. Do 0 and u have different values?
True
Let k = -18 - -21. Suppose 0 = 4*l - 5 - k. Suppose 4*x - 3*c + 13 = 2*x, c = -l*x - 9. Is x not equal to -5?
False
Let d = 19066 + -19339. Which is bigger: -259 or d?
-259
Suppose -9 - 39 = -16*j. Suppose -6*d - j*d + 72 = 0. Which is bigger: 58/7 or d?
58/7
Let p be (-5)/(-15) + (-463)/3. Let f be (p/4)/(3/3). Let i = f - -38. Which is smaller: 4 or i?
i
Suppose 20*n - 14*n = 132. Suppose -14*s = 22 - n. Let y = -6 - -23. Are s and y unequal?
True
Let c(w) = -3*w**2 - 6*w + 5. Let s be c(1). Let b be -6*4/6*3/s. Suppose -4*a = b*a + 7. Which is smaller: -2/63 or a?
a
Let b(w) = 2*w**3 + w**2 - 5*w - 9. Let i be b(-2). Let x(f) = -f - 2. Let s be x(i). Let z = 350 + -681/2. Is s bigger than z?
False
Let w be (-4)/((-3)/(30/4)). Let v be 3/(3/w*5). Suppose -l - 10 = -v*a, a - l - 7 = -4. Which is smaller: a or 9?
a
Let v = 3/2182 + -1619053/6546. Are -248 and v equal?
False
Let f = -2.04 + 1.64. Let v = f - -0.9. Which is bigger: v or 8?
8
Let i be 5/4*2*3760/100. Suppose 8*u - 3*u = -g + 51, 2*g + 2*u = i. Is g less than 45?
False
Let l(a) = a**3 - 5*a**2 - 6*a + 10. Let u be l(6). Suppose 5*c - u = -5*j + 20, -j - 2*c = -10. Suppose 0 = 3*p + 15, -2*p - 6 = -2*i - j. Is -3 less than i?
False
Let b be ((-18)/(-18039))/((-156)/(-56)). Is b less than 0?
False
Let t = -3230 - -12452. Which is bigger: 9221 or t?
t
Let k be 14/((-224)/24)*(-16)/6. Suppose 0 = g + 4*l - 3, -k*g + 2*l - 7 = -l. Do g and 1/89 have the same value?
False
Let j be -69*((-72)/20 + 3). Let z be 11/((-440)/12)*(-6554)/(-48). Let a = z + j. Which is bigger: 0 or a?
a
Let h be 316/(-10) - (-2)/(-5). Suppose 19*z = g + 16*z + 6, -3*g + 15 = 2*z. Suppose g*s + 0*s = 4*t + 139, 5*t - 5*s + 180 = 0. Which is greater: h or t?
t
Suppose 4*b = 2*k - 3688, -14*k + 10*k + 5*b = -7370. Is k >= 9204/5?
False
Let y be ((-1)/(-3))/((2380/2780)/17). Is y <= 8?
True
Let s(a) = -19 - 27 - 4 + a**2 - 1 - 5*a. Let x be s(-8). Is 52 less than x?
True
Let f be (-225)/(-54) + -5 + 10/(-60). Is -3393 equal to f?
False
Let z(d) = -d**2 + 13*d - 17. Let x be z(8). Let n(g) be the first derivative of 3*g**4/4 - g**3 + 3*g**2 - 2*g - 4. Let q be n(2). Is q at least x?
False
Let v be ((-13)/(117/15849))/((-8)/(96/18)). Which is greater: v or 1177?
1177
Let p be (0 + 1)/(-3*((-125)/(-15) + -8)). Which is smaller: -0.17892 or p?
p
Suppose -76 = 3*t - 118. Let y(j) = -j**2 + 18*j - 63. Let f be y(t). Which is bigger: f or -38/5?
f
Let i(t) = 3489*t - 3907. Let a be i(3). Which is bigger: 6561 or a?
6561
Suppose -4*i - 32 = -2*s, -5*s - 17 = -i - 61. Suppose x = -s + 10. Let a be ((x/(-4))/(-1))/(20/105). Is a less than or equal to 3?
True
Let f(j) = -j**3 - 18*j**2 - 15*j - 208. Let n be f(-18). Suppose 2*l - 3*k + 109 = 4*l, -243 = -4*l - k. Is l != n?
False
Let c = -4/27 + -29/351. Let w(k) = k**3 + k**2 - 14*k - 3. Let g be w(-4). Suppose -4*r + r - 5*y = -g, r + 2*y = 2. Does c = r?
False
Let o = -589.9 + 594.931. Which is bigger: 1 or o?
o
Let p = 10440587/19747164 + -2/80931. Are 2 and p nonequal?
True
Let n = 5.1 + -5.391. Let g = n - -0.191. Which is smaller: 38 or g?
g
Let s = 2.9 - 21.9. Let v = 0.2033 - 17.2033. Let j = s - v. Is 0.3 smaller than j?
False
Let h = -410 - -419. Suppose h*g + 3 = 12. Is g at most -5/153?
False
Let j = -23869.22 - -23677. Let x = 192 + j. Let f be 4/22 - 240/(-1100). Which is smaller: x or f?
x
Let a = -9.105 - -9.3. Let s = 0.01957 + 0.07543. Let w = a - s. Is w at least 0?
True
Let c = -5282/16037 + 144/553. Which is greater: -60.2 or c?
c
Let b = 4523 + -1854. Which is greater: b or 5337/2?
b
Suppose 0 = 9*q - q - 7*q + 1. Let m be (2/8)/((-60)/9). Are q and m equal?
False
Let c(t) = -2*t**3 - 3*t**2 - 7*t - 6. Let l be c(-3). Let p be ((-332)/14 - 12/l) + 2. Is -25 greater than p?
False
Let z = -0.906 + -0.094. Which is smaller: -2786 or z?
-2786
Let v = -21154176/11 - -1921293. Let j = 1812 + v. Is -0.1 at most j?
False
Suppose 35*g + 38565 = 6*g + 14*g. Is g bigger than -2573?
True
Let u = -28056 - -28085. Which is smaller: 369 or u?
u
Let a(m) = -m**3 + 7*m**2 - 18*m - 130. Let x be a(4). Is x <= 2.5?
True
Let d = -18 - -18. Suppose d = 5*m - 3*q - 4, 2*m = 7*m - 5*q. Suppose 0*n - m*n - 3*y = 15, -3 = -3*n + 4*y. Is n at most 7?
True
Let j be ((-8450)/(-507))/((-1)/(-3)). Is j < 100?
True
Let w(x) = x**2 - 13*x - 15. Let g = -183 + 193. Let o be w(g). Which is smaller: o or -44?
o
Let n = 6.065 - 5.6. Let a = 0.465 - n. Which is smaller: a or -131?
-131
Suppose 16*c = 10*c - 36. Let y be (379615/(-1104))/(56/c). Let p = -258/7 + y. Do p and -1 have the same value?
False
Let b = -2.008 + -2.992. Suppose 2*i + 5*g = 2*g - 42, 5*i + 82 = 4*g. Is i greater than or equal to b?
False
Let o(f) be the first derivative of 2*f**3/3 - 6*f**2 + 5*f + 9. Let j be o(6). Suppose j*p = 8*p. Is p smaller than 0.25?
True
Let j = -3/76 - -54437/532. Let y = j + -102. Let c(t) = -5*t**3 + 28*t**2 - 7*t. Let m be c(5). Which is bigger: m or y?
m
Let q be 7/(-24)*(-5126)/(-154) + 10. Does q = 1?
False
Let r = -836 - -104. Let y = r + 98822/135. Let x = 30 + -31. Do x and y have different values?
True
Suppose -4*j = f - 229, 3*f - 12 = -9. Let i be j/190 - 397/1320. Is i at least as big as -1?
True
Let k be -2*(3/(-18) + -3). Let o = -49 - -49. Suppose -5*i + 10 = -3*m - 35, o = m + 5. Is k bigger than i?
True
Let p = 706236/91 + -7761. Which is smaller: p or 1?
p
Let k(u) = -10*u - 260. Let n be k(2). Which is smaller: -295 or n?
-295
Let s = 48 + -51. Let h be s/((-3)/(-2)) - (10 - 7). Let o = -17 + 20. Which is greater: o or h?
o
Suppose -61*f - 38119 = 16*f + 19554. Which is smaller: f or -734?
f
Let q(l) = 10*l + 27. Let x be q(-3). Let o be (6/(-9 + 10))/(x/34). Is -66 bigger than o?
True
Suppose 0 = -12*u + 18*u - 12. Suppose -u*s - 7*s - 18 = 0. Let k be ((-5)/(-2) + s)*(-8)/(-372). Do k and 0 have the same value?
False
Let u be 207/(-80) - (-6372)/33984. Let n be 2*((-2)/4 - 0). Which is smaller: u or n?
u
Let r(j) = -5*j**2 + 187*j + 6525. Let w be r(-31). Which is smaller: -1/4 or w?
w
Let c be (-3 - -1)/(8/(-16)). Let t be (-222)/30 - (0 - c/10). Let s be 3/t - (-216)/63. Which is smaller: 9/5 or s?
9/5
Let q be (2/(-6) - -1) + 10/(-15). Let u = 1/1437 - -7661/4311. Let c = u - 73/36. Which is bigger: c or q?
q
Let w be 1*89 - (-57 + 17 - -49). Let x = -53 - -133. Are w and x unequal?
False
Let n be -3 - ((-88)/7 + 1). Let b be 125 - 1*-2*4/8. Let u = -118 + b. Which is smaller: n or u?
u
Let f(k) = 264*k - 528. Let c be f(2). Do c and -2/4057 have different values?
True
Suppose 31 - 9 = -81*o - 59. Are -23/41 and o nonequal?
True
Suppose -2*i = -i + 14. Let w(n) = -36*n - 157. Let p be w(-4). Do i and p have the same value?
False
Let w(n) = -3*n. Let f be w(-15). Let r = -44 + f. Let s be (-70)/8 + 5/(20/r). Which is bigger: s or -8?
-8
Let f(k) = -k**3 - 6*k**2 - 6*k + 2. Let g be f(-5). Suppose -b + 110 = 3*c, -1 = 3*b - c - 281. Let u = 103 - b. Is u greater than or equal to g?
True
Let n = 28 - 24. Suppose 7*r - n = 5*r. Suppose -5*o + q = 20, -4*q + 0*q = -r*o - 26. Which is smaller: o or -5?
-5
Suppose -473 + 25 = -4*w. Let c be w/(-60) - (-6)/(-45). Do c and -2/3 have different values?
True
Suppose -5*n = -6 + 16, 2*n + 40 = -3*l. Let u be 16/l - 5/(75/(-1685)). Is u less than 0.1?
False
Let d be (1 - 2)/(3/(-27)). Let n be (-3 + (-80)/(-4))/(34*(-10)/(-340)). Which is greater: n or d?
n
Suppose 2*f + 39*p - 36*p = -474, 2*f - 7*p = -414. Is f not equal to -221?
True
Suppose -5*y + 64 = 11*y. Let u be (-185)/(-15)*y/(-64)*6. Which is bigger: -4 or u?
-4
Suppose 90*c - 1421 = -1421. Which is smaller: -2/21227 or c?
-2/21227
Let w = 1875 - 1879. Which is bigger: -17 or w?
w
Let d(i) = i**3 + 43*i**2 - 46*i - 45. 