684. Let x be 6*(-7 + 23610/w). Which is bigger: x or 0?
x
Let w(f) = -f**2 + 7*f - 6. Let o be w(4). Let k = 311.0059 - 0.0059. Let u = k - 312. Which is smaller: o or u?
u
Let p = -0.85 + 1.8. Let y = p + 94.05. Let i = y + -95.1. Is -68 > i?
False
Suppose -b = -5*t - 13, t = 4*t + 6. Suppose b*n - 3*s + 4*s + 163 = 0, -5*n = 4*s + 281. Let i(w) = -7*w + 10. Let h be i(9). Are n and h equal?
True
Let m(q) = -676*q + 377. Let i be m(-3). Which is smaller: 2406 or i?
i
Let i = 35247 + -35247. Is -5/7051 < i?
True
Let q = 1.8 - 7.6. Let k = 2 + q. Let r = -4.1 - k. Is -3 less than r?
True
Let d = 853 - 1795. Let p be d/946 + (-4)/(-6 + 2). Which is bigger: p or -1?
p
Suppose 3*a + 5*w + 3588 = 0, 1196 = -a + 14*w - 11*w. Which is greater: a or -1197?
a
Let h(q) = q**3 + 10*q**2 - 19*q + 65. Let g be h(-12). Let x(z) = 14*z - 68. Let n be x(g). Are -4 and n nonequal?
True
Let l(w) = w**3 + 3*w**2 + 5*w + 3. Let k = -22 - -20. Let a be l(k). Let m be a*(-6)/(-9) - -3. Is -1 > m?
False
Let c = -2423941/5 - -481557. Is c < -3231?
True
Let v = -1762 - -1761. Are -377.8 and v equal?
False
Let s(a) = -3*a**2 - 8*a - 3. Let x(j) = -7*j**2 - 17*j - 5. Let o(d) = -5*s(d) + 2*x(d). Let v be o(-5). Let n = -2/113 + 1378/1243. Which is greater: v or n?
n
Suppose 0 = 2*x - x - q + 4, -3*x + 4*q - 14 = 0. Let o be (-36)/(-7) + x/14. Suppose o*t + 0 = -m - 1, -3*m - 3 = -4*t. Which is greater: m or 2/123?
2/123
Let c(y) = 2*y**2 + 90*y - 46. Let w be c(-39). Which is bigger: w or -516?
w
Let h(m) = m - 3. Suppose -305 = 34*r - 29*r. Let a = r - -56. Let o be h(a). Which is smaller: o or -60/7?
-60/7
Let a = -985542/395 + 2495. Do a and -1 have the same value?
False
Suppose -10*s = 312 - 242. Let n be 1 - 2 - 21/4. Which is bigger: s or n?
n
Let z be (-18 - (-25319)/1407)/79. Is z at least as big as 1?
False
Suppose 0 = -4*h + 4*z + 628, -5*z = 2*h - 3*z - 318. Suppose h = 50*m - 42. Which is bigger: m or 46/9?
46/9
Suppose -3*t + 71 = 23. Let c(d) be the third derivative of -d**6/120 + d**5/4 + 2*d**4/3 + d**3/6 - 17*d**2 - 22. Let s be c(t). Which is smaller: -1/8 or s?
-1/8
Let x = 170.8 + -354.5. Which is smaller: 2 or x?
x
Suppose -3*d + 15 = 0, w = 6*w + 4*d + 5320. Let b be (5225/1740 + -3)/((-9)/w). Let m = -3/29 - b. Is m bigger than 0?
False
Suppose 9*y - 1584 = -7*y. Let w be 39*(-5 - y/(-21))/(-6). Is w at most as big as 2?
True
Let b(y) = y**2 - 2*y - 6. Let j = -37 - -41. Let l be b(j). Suppose l*p - 2 = -3*t + 17, -2*t - 3*p = -6. Which is smaller: 0 or t?
0
Let k(z) = -z**3 - 8*z**2 + 41*z + 118. Let p be k(-11). Are 165 and p unequal?
True
Let r = -3173 + 5409/2. Let j = r - -469. Which is smaller: 0.117 or j?
0.117
Suppose -3*v + 4*d - 1529 = -d, -2*d + 1517 = -3*v. Let p = v + 506. Which is greater: p or 10?
10
Suppose -b = 4*w + 24, 9*w - 5*w = b - 24. Which is smaller: -1/5239 or b?
-1/5239
Let k = 583 - 583. Suppose 3*o + 839 = 4*f, -f + 209 = -k*f - o. Is f less than 211?
False
Let j(v) = v**2 + 60*v + 58. Let m be j(-25). Is -818 less than m?
True
Suppose 25*b - 71 = -17*b + 55. Which is smaller: b or 262/105?
262/105
Let f(y) = -35*y - 106. Let b be f(-3). Which is greater: b or -1/2836?
-1/2836
Let j(u) = -3*u - 35. Let l(g) = -g - 27. Let d be l(-14). Let x be j(d). Suppose 2*o = s + 12, -x*s - o - 3*o - 84 = 0. Which is greater: -17 or s?
-17
Let r be (-6)/5 + (-84650)/(-125). Let h be (-2*36/(-48))/((-27)/r). Is -38 at most as big as h?
True
Let v = -12 - -17.2. Let j = v + -6.6. Let b = j - -1.3. Which is smaller: b or 0.8?
b
Let b be (-11 + 22470)/(49/7 + -6). Which is smaller: b or 22458?
22458
Let v(h) = -h**2 - 101*h - 6 + 182*h - 99*h. Let n be v(-17). Is n less than -4?
False
Let o be (-2)/4*(41 - 919). Are 442 and o equal?
False
Let m = -44 - -50. Let n be (-126)/m*3/(18/(-8)). Suppose -12*o - n = -14*o. Which is smaller: 15 or o?
o
Let u = 248 + -173. Let i be 11 - ((-8050)/28)/(-23). Which is bigger: u or i?
u
Let f = 4564/17 + -64747/204. Let b = -49 - f. Suppose 15*o - 3*v = 12*o + 18, 4*o - 3*v = 17. Is b less than or equal to o?
False
Let x = 501 - 499. Suppose -r - x*g + 156 = g, -2*r + g = -347. Which is bigger: 169 or r?
r
Let i be -4*1/12*6. Let l be 17 + -2 + i + -1. Let a be (14/(-4))/(l/24). Is -9 greater than a?
False
Suppose 0 = 5*f - 4*j + 19303, -16*f = -17*f + 3*j - 3865. Is -3858 less than or equal to f?
False
Let b(n) = 45201*n + 45201. Let g be b(-1). Let l be (1 - 0) + 2539/(-2541). Do l and g have the same value?
False
Suppose 0 = -2*o + 4*x + 57 - 11, -69 = -3*o + 5*x. Suppose 0 = -o*s - 28 - 64. Which is smaller: s or 4?
s
Let w = -2813 - -5596. Are 2782 and w unequal?
True
Let t = -1709/18 + 95. Let h = 64959 + -64959. Are t and h unequal?
True
Suppose -3*k = -v - 711, -4*k - 1806 - 1882 = 5*v. Is -0.7 at least v?
True
Let v = 17963 + -17962.5. Which is smaller: -173 or v?
-173
Let m = 464 + -447. Suppose 210 = -m*c + 12*c. Is c > -83/2?
False
Suppose 60*x - 3*i + 27 = 62*x, 0 = 4*x - 5*i + 45. Which is smaller: -44/537 or x?
-44/537
Let q = -58 + 43. Let j = q - -44. Suppose 0*r = r + j. Is -29 at most r?
True
Let n(t) = 159*t**3 - 8*t**2 - 116*t - 335. Let m be n(-3). Which is smaller: -17409/4 or m?
-17409/4
Let v = -1/1622 - -35865/293582. Which is bigger: 0 or v?
v
Suppose -6*f = -f. Let c = 2978741/13 + -229135. Does c = f?
False
Let t(k) = -4*k - 8. Let c be t(-5). Suppose c = -40*j + 43*j. Suppose -8*a = -4*a - j*i + 32, -36 = 5*a - 4*i. Is -42/11 at most a?
False
Let b = 0.7 - -3.3. Let c = b + -10. Which is smaller: c or 0.7?
c
Let z = 92 - 88. Let v = 6 - z. Which is smaller: 0.042 or v?
0.042
Let t be (-9)/(-40)*148/(-111)*-1344. Is t >= 402?
True
Let y = -1.7404 - -1.8404. Which is greater: y or 227.99?
227.99
Let a = -3.04 + 2.853. Let t = 315.9 + -316. Is a not equal to t?
True
Suppose -5*g - x - 103 = 0, 13*g = 11*g + 4*x - 6. Suppose 79 = -4*v + y - 0*y, 0 = 2*v - 3*y + 27. Which is bigger: g or v?
g
Suppose -5*k - 4*m + 11 + 8 = 0, k - 23 = 4*m. Let f be (k + (-121)/17)*3/3. Do 1 and f have the same value?
False
Suppose 12 = 4*f - 8. Suppose -6*b - 55 = -b - f*q, -5*b - 55 = -2*q. Suppose 0 = -3*o - 3*a - 27, -5*o = -17*a + 20*a + 53. Which is smaller: o or b?
o
Let x = -29682 + 29695.4. Which is smaller: x or -21?
-21
Let d = 27 - 28. Suppose 0 = -5*z - 150 - 270. Let o = z + 78. Is o > d?
False
Suppose 0 = -28*c + 28. Let i(h) = -5*h - 3. Let f be i(-6). Let g be (1 - 0) + c + (-48)/f. Which is smaller: g or 0?
0
Suppose -4*d - 5*q - 15 = 0, -d - 4*d = 3*q + 9. Let y = -35122 - -35108. Is d <= y?
False
Let p be (22/(-66))/(1/(-6)) + 2. Suppose 4*c - 23 = 1. Let m be (20/c)/(6/9). Which is smaller: p or m?
p
Let x = -6048 + 6049. Let y be (-3)/(-472)*-1 + 0. Which is greater: y or x?
x
Let q = -0.3 - -0.1. Let h = -301766 + 301777.9. Is q at most as big as h?
True
Let i be (2/(1566/(-309)))/(10 - 609/63). Do i and 0 have the same value?
False
Let h be 28/10*20/8. Suppose 5*u + 30 = 245. Suppose 8*l - 29 = u. Are l and h non-equal?
True
Suppose 513*y - 914025 = -12*y. Which is smaller: y or 1743?
y
Suppose r - 5*b + 1123 = 0, 9*r - 14*r = -2*b + 5546. Let s be 550/r - (-9)/18. Do -0.1 and s have different values?
True
Suppose 0 = 2*y + t + 1 - 0, -y - 2*t = 8. Suppose 0 = -3*g + 5*l + 5, 0 = -g + 2*g - y*l. Let p be g*(-42)/312 - 3/(-2). Which is bigger: p or -5?
p
Suppose 21 - 18 = n. Suppose 0 = 4*d + d - n*c - 1, 2*c + 2 = 4*d. Let f(w) = 8*w - 11. Let l be f(d). Is l not equal to -3?
True
Suppose -2*f - 6 = z + 158, f = -z - 170. Which is smaller: -171 or z?
z
Let d be (10 - 483/49)*0/1. Which is smaller: d or 3/10?
d
Suppose -2*i - 13842 = 5*k, -20*k + 16*k - 11076 = 2*i. Are -2766 and k non-equal?
False
Let b be -14 + 1 - (-8635)/539. Is b < 3?
False
Let j = -0.7074 - -0.6074. Let z(q) = -q**3 - 5*q**2 - 6*q - 5. Let u be z(-4). Is u equal to j?
False
Let n = 4073 + -4067. Let b = 41 - 41.5. Is n greater than b?
True
Let s(r) = -3*r**3 - 30*r**2 - 10*r - 15. Let x be s(-10). Which is bigger: 2 or x?
x
Let q = 1021/768 + 1/256. Suppose 25*y = 28*y + 27. Which is smaller: q or y?
y
Let j be 2/2 - (-39 - 0). Suppose 4*f = -2*a + 12, -f = -3*a - 2*f - 2. Let d be ((-4)/(-16))/(987/492 + a). Which is smaller: j or d?
j
Let y = 69.5 - 3.2. Let k = y - 58. Let p = k - 8.6. Whic