ppose -5*n = -r + s, 28 = -3*n - r - 0*r. Which is bigger: n or -8?
-8
Let q be (-3)/(-24) + 110/16. Let m(l) = -l**3 + 4*l**2 + 5*l + 5. Let h be m(5). Let x = 6 - h. Which is greater: q or x?
q
Suppose 2*s = -0*s + 8. Let c = 4 - -11. Suppose t + s*t = c. Is t < 3?
False
Let o(a) = 141*a**2 + a**3 - 6*a**3 - 72*a**2 - 72*a**2 + 3*a - 1. Let d be o(1). Suppose 5*g + 0*g = -30. Is g < d?
False
Let m be (-2 - 0)*10/(-4). Let n = -7 + m. Let s be (n/(-8))/((-2)/(-4)). Is 4 greater than s?
True
Let l(g) be the third derivative of 11*g**4/24 - 19*g**3/6 + 25*g**2. Let o be l(-5). Does o = -74?
True
Suppose 616 = 4*j - 4*o, 4*j + 220 = -4*o + 860. Let c = j + -142. Which is smaller: c or -2?
-2
Let x be ((-5)/4)/(20 + -19). Let t = -53/36 - x. Let c = -2.6 - -0.6. Which is greater: c or t?
t
Suppose d - 24 = -3. Suppose -28*w = -32*w + 84. Is d less than w?
False
Let i = 39.87 - 40. Let h = -0.23 - i. Which is bigger: h or -5/2?
h
Let c(k) = -k - 12. Let j be (-29)/2 + 3/(-6). Let t be c(j). Suppose -t*v + 96 = -11*v. Is v <= -12?
True
Let r be (16/(-4) - 8)/(14/10). Is r < -10?
False
Suppose 1 - 19 = 2*r. Let o be (17110/(-35))/((-5)/r). Let t = o + 880. Which is bigger: t or 1?
1
Let u(g) = 24*g - 3. Let d be u(-2). Let s = d + 51. Let i be ((-2)/(-12))/((-2)/(-9)). Is i < s?
False
Let r(p) = -p**3 + 15*p**2 - 15*p - 7. Let x be r(14). Let o = -7 + 34. Let h = x + o. Which is smaller: -1 or h?
-1
Suppose -9*x + 160 = -209. Does 47 = x?
False
Let l = 1667/19 - 88. Is l less than -1?
False
Let k be ((-15)/20)/(2*(-555)/(-20)). Which is greater: 1 or k?
1
Let c = -3083/7 - -440. Is c at most -1?
False
Let z = 1.338 - -0.122. Let l = z - 1.4. Which is smaller: 0 or l?
0
Let v(b) = 41*b - 138. Let q be v(2). Which is smaller: q or -54?
q
Let x = -1.397 + 1.417. Let f = 2.01 - 0.01. Is f smaller than x?
False
Let s = 755.1 - 755. Which is greater: -0.01 or s?
s
Let o = 92 - 174. Which is bigger: o or -80?
-80
Let x = 8.43 + -3.43. Which is smaller: x or -1.9?
-1.9
Let v be (-2)/2 + 0/9. Let m be (0 - -1)*v/1. Let q be 3 - (m - (-1)/1). Which is smaller: -2 or q?
-2
Let s be (-6)/(-15)*(-50)/(-1830). Is 1 > s?
True
Let f be 0 - ((-55)/(-33) + (-12)/9). Suppose p = 5*p + 4. Which is smaller: f or p?
p
Suppose 27 + 6 = p. Suppose 3*j = -5*i + 65, 0 = -16*j + 21*j - 4*i - 207. Is p at least as big as j?
False
Let s(z) = z**3 + 7*z**2 + 2*z + 8. Let g be s(-7). Let r be 47 + (-3 - (g + 3)). Suppose -4*v + 2*q + q = -r, 5*v = -4*q + 51. Are v and 11 nonequal?
False
Let t = 276 - 252. Which is smaller: t or 31?
t
Suppose -2*r + 2*s + 32 = -36, -4*r + 2*s + 140 = 0. Suppose -4*d = -6*d + 68. Are r and d nonequal?
True
Let x(h) = 4*h + 2 - 3*h**3 - 5*h + h**2 + h**2 + 2*h**3. Suppose -2*l - 1 = -5. Let j be x(l). Is j < 0?
False
Let w be -2 + 2 + -6 + 6. Suppose -l + 10 - 5 = w. Which is greater: l or 7?
7
Suppose 4*c - 3*p = 7, -c + 5*p = 2*p - 13. Let z be 0 + 33 - (c - 1). Let j be 1 - 0 - z/12. Are -4 and j equal?
False
Let l(g) = 3*g**2 - 10*g + 20. Let p(b) = -16*b**2 + 49*b - 100. Let t(y) = 11*l(y) + 2*p(y). Let z be t(11). Which is smaller: 6 or z?
6
Let g be 56/(-35)*5/1. Let o = g + -2. Which is greater: -12 or o?
o
Let t = -8 - -8.06. Let s(i) = -i**2 - 10*i - 15. Let q be s(-8). Which is smaller: t or q?
t
Let u be 6/27*90/20. Which is greater: u or 1/33?
u
Let b = -491 + 230. Is -260 equal to b?
False
Let m be 3/158*(1 - (-2)/6). Let d = 74 + -75. Is d bigger than m?
False
Let w be 351/210 + 9/(-6). Are w and -1 non-equal?
True
Let q = 8/117 + -2/9. Suppose -3*u - 3 = 5*y - y, 0 = -2*y. Let g(j) = -j**3 - 3*j**2 + 1. Let s be g(u). Which is smaller: q or s?
s
Let x be (-590)/(-2212) - (48/21 + -2). Which is greater: 1 or x?
1
Let s(h) = 0*h**3 - 1 - 5*h**2 - 2*h**2 + 11*h**2 + h**3 + 3*h. Let u be s(-3). Let y = 0.09 - -0.01. Is y at least as big as u?
True
Suppose 2*u - 4*h = 192 + 212, 0 = -h. Is 202 less than u?
False
Suppose 5*h - 2*j = h + 1014, -j = 3. Suppose h = -2*g + 5*g. Let a be 20/5*(-9)/g. Which is bigger: 1 or a?
1
Suppose -3*m = -3*r - 6, m = -5*r - m - 17. Let z = 0 + r. Let g be 2/z + (-3)/9. Does -1/5 = g?
False
Suppose -5*z - 3*l + 98 = 0, 3*l - 2*l + 26 = z. Let n = z + -35. Let k = 9 + n. Are k and -4 equal?
True
Let c(n) = -n**2 - 17*n - 59. Let b be c(-12). Which is bigger: -4/61 or b?
b
Let v = -634 - -569.2. Let b = v - -65. Which is bigger: -5 or b?
b
Let w = -42 + 29. Let m be 6 - 3 - 3 - w. Suppose -c + 5 = c - 3*o, m = -5*c - o. Is c less than 1?
True
Let v = -0.3 + -0.7. Let w = -2256.29 + 2247. Let f = -1.71 + w. Is f at most v?
True
Let p be (-9 + 7)/(1 + 1)*1. Which is smaller: p or 4/695?
p
Let v be 7/(21/2) + (-60163)/51. Which is smaller: v or -1180?
-1180
Let q be (-610)/8 + 31/124. Is -75 bigger than q?
True
Let f = 9 - 18. Let q = 723 + -731. Which is bigger: f or q?
q
Let k be (-6576)/(-84) - 2/7. Let u = k + -67. Do u and 13 have the same value?
False
Let v be 108/(-351)*(-26)/12. Let i be 4/10 + 1/(-1). Which is smaller: v or i?
i
Let w be 185/15 + 4/30*5. Suppose 237 = -w*k + 10*k. Do -79 and k have the same value?
True
Let u = 8 - 5. Let j = -1046 - -1045.9. Which is smaller: u or j?
j
Let y = -8 + 10. Suppose -4*o = -5*d + y*d - 4, 0 = -2*o - 3*d - 16. Which is smaller: -3 or o?
-3
Let a = -1774.17 - -1766. Let k = -0.17 - a. Let p = -9 + k. Which is bigger: 2 or p?
2
Let z(n) = -n**3 + 7*n**2 - 15*n + 12. Let w be z(4). Let j = -611 + 9106/15. Let d = j + 18/5. Is w at most d?
False
Let u = -8 - -13. Let g = 382.1 - 382. Which is smaller: u or g?
g
Let f = -15 + 11. Let w = 0.05 - -4.15. Let a = w + f. Is a greater than 0?
True
Suppose -6*t = 13*t + 19. Is -3/53 less than t?
False
Suppose 160 = 9*h + 412. Is h bigger than -32?
True
Let g = -10/19 - -249/76. Is g >= -4?
True
Let g = 300 + -109. Let n = 76282/11 + -2596357/385. Let c = g - n. Are c and -1 equal?
False
Let a be (-1)/((-2)/10) - 18/9. Do a and -29 have the same value?
False
Suppose g + 0*g + 3 = 0. Let c = -561 - -563. Is c greater than g?
True
Let q = -704 + 1127. Let c be 2/(-4) + q/6. Let p be 30/12*(-8)/c. Which is smaller: p or 0.2?
p
Let l be -7*(1410/21)/(-5). Suppose l = -9*u - 194. Is -31 smaller than u?
False
Let s = 434 - 521. Is -87 equal to s?
True
Let o be 2 + 7/(28/16) + -3. Suppose -4*a - 11 + 3 = 0. Let y = a + o. Is 6 smaller than y?
False
Let m = -349 + 350. Do 2/579 and m have the same value?
False
Let l(b) = b**2 + b. Let h be l(-2). Let w = h - 0. Let k be (-23)/w + 15/10. Which is greater: -11 or k?
k
Let i = 78 + -156. Let o = i - -87. Let w be (-32)/(-3) - 4/6. Which is bigger: w or o?
w
Suppose 4*l = -5*n + 2*l + 1353, 3*n - 5*l = 787. Which is smaller: 268 or n?
268
Let u(q) = 3*q - 4. Let l(c) = -6*c + 7. Let g(z) = -3*l(z) - 5*u(z). Let j be g(1). Do j and 7/5 have different values?
True
Let r(f) = -f**2 + 3. Let a be r(3). Let l be ((-128)/(-48))/(4/a) - -4. Is 2/19 > l?
True
Suppose 4*z + 65 = -4*b - 19, 4*z + 82 = -2*b. Suppose 29*j = 26*j - 66. Which is smaller: z or j?
j
Let k = 10.04 + -0.04. Let y = -0.39 - -9.59. Let g = k - y. Which is smaller: -2/3 or g?
-2/3
Let t(f) = -f + 29. Let b be t(8). Suppose 31 = 2*z + b. Is z less than 0?
False
Let z = 386 + -386. Which is smaller: z or 28?
z
Let j be (0 + 13)*-2*(12 + -13). Let u(m) = 2*m**2 - 53*m + 20. Let c be u(j). Which is greater: c or -23/5?
-23/5
Let c = -73 - -81. Let t be -3 + (c - 5) + -4. Is t less than 5?
True
Let y be (44/16 + -2)/(-801). Which is smaller: y or -1?
-1
Let j = -36 + 38. Suppose -6 - 2 = j*z. Let m = 0 + z. Which is greater: -0.2 or m?
-0.2
Let n be (-30)/154*10/(-4). Let z = 3/14 - n. Which is smaller: -0.2 or z?
z
Let h = -2078 + 1144. Which is smaller: h or -933?
h
Let t be 2666/4410 - 18/30. Let o = -7489/1764 - t. Are o and -3 unequal?
True
Let y(v) = -v**2 + 10*v - 6. Let o be y(9). Let b be (-4 - (o + -3)) + 13. Suppose -1 = -4*u - b. Does u = 2?
False
Let j be (-4)/(4/15) - -2. Suppose 26 = -2*c + 12*z - 7*z, 13 = -c - z. Is j at most as big as c?
True
Suppose 0 = -3*z + 21 - 111. Let q be (-4)/(-6)*z/(-20). Let n be q/4 - (-2)/24. Which is smaller: n or -2/5?
-2/5
Let h be 4375/(-19565) - (-2)/13. Are 0 and h non-equal?
True
Let p = 3.66 + -3.55. Are p and 0.4 unequal?
True
Let y = 22.1 + 16.7. Let i = 32 - y. Le