+ 6. Let d be i(2). Let q = d - 39411/59. Which is smaller: q or 0?
0
Let j be 5 + -4 + -1 + -1. Let l(c) = -c**2 + c + 1. Let o(u) = 3*u**2 - 15*u - 1. Let m(h) = j*o(h) - 4*l(h). Let z be m(-11). Which is bigger: z or -4?
z
Let k = 13/197 - 18189/985. Which is smaller: 0 or k?
k
Let j = 5 + -2. Let q = -97/390 - -3/26. Which is smaller: q or j?
q
Let r = 2.9 - 2.8. Let b be (-5)/((-15)/(-51)) + 5. Is b not equal to r?
True
Let v(k) = -12*k - 6. Let r be v(-8). Let a be 18/81 + 16/r. Is a < 0?
False
Suppose -3*v - 16*v + 114 = 0. Suppose 19 = -4*i - 1, 0 = -w + i + 11. Do w and v have the same value?
True
Let q be 7/(21/(-591)) - 2. Is 0.1 at least q?
True
Let z = -46671979/2335 - -19988. Which is greater: 0 or z?
z
Let c = -4027081/326 + 12353. Which is smaller: 1 or c?
c
Let d be -15 + (-1469)/(-78) + (-3 - 1). Is -0.255 > d?
False
Let y(a) = 12*a - 11. Let h be y(-9). Let z = 76 + h. Let u = 30 + z. Are u and -14 equal?
False
Let g(h) = 2*h - 4. Let d be g(6). Let w(x) = -x**2 + 11*x - 12. Let n be w(d). Let v be -4 + (-3)/(n/(-16)). Which is greater: v or -3/20?
v
Suppose 0*u - u + 19 = 0. Let s(b) = -2*b**2 - 20*b - 45. Let z be s(-3). Let g = z + u. Which is bigger: 17 or g?
17
Suppose l + 2*z = 223, -87 - 353 = -2*l - 2*z. Is l greater than or equal to 216?
True
Let b be (574/(-40) - -13)/33. Which is smaller: -1 or b?
-1
Let a be (((-34)/(-28))/17)/((-9)/(-3996)). Which is greater: a or 31?
a
Suppose -3*r - 35 = 2*r. Let f(s) = s**2 + 6*s - 4. Let t be f(r). Suppose -5 = -t*b + 2*b. Is 4 smaller than b?
True
Let k be (54 + -72)*((-14)/68)/1. Which is bigger: k or 5?
5
Let f = -17 - -25. Let i = f - 9. Let h be (i - 1)/((-16)/24). Which is smaller: h or 15/4?
h
Let z = 10 - 4. Suppose -4*k - 2 = z. Let l be (-332)/140 - 16/(-28). Is k at most l?
True
Let h = -14.5 - -14.3. Let l be (-81)/(-87) - (-1 + 2). Which is bigger: l or h?
l
Let v = 41 - 39. Suppose 68 = -v*n + 180. Is n != 56?
False
Let o(n) be the first derivative of 2*n**3/3 + n**2/2 - 2*n - 11. Let m be o(1). Is -2/49 at least as big as m?
False
Let w be 2/7 - (-1872)/63. Let h be (-8)/w*10/4. Is h at least 2?
False
Let p = 465 + -462. Is p not equal to 2?
True
Suppose 2*f - 60 = -30. Suppose w - 32 = -w. Is w greater than f?
True
Suppose 11 = -2*l + 5. Let r be 5/(10/3) + (l - -1). Which is greater: 0.5 or r?
0.5
Let x be ((-24534)/60)/29 - 2/5. Let s be (2 - 5 - 12)/1. Which is smaller: s or x?
s
Let g be (-44)/(-1752)*(-36)/(-40). Let d = g + 2/73. Is -1 smaller than d?
True
Let j = -34367/166 - -207. Are j and -1 equal?
False
Let t(h) = h**2 - 20*h + 30. Let q be t(19). Suppose 12*p = q*p. Are p and 1/27 equal?
False
Suppose -5*f = i + 1925, 4*f + 2*i + i + 1529 = 0. Which is smaller: -387 or f?
-387
Let p = -193 + 192. Are -1/28 and p equal?
False
Let y = 0.07 + -0.07. Suppose -16 = -x - 15. Suppose a = -x - 1. Is a <= y?
True
Let h = -745 - -3713/5. Is h != -2?
True
Let a = -8 + 12. Suppose 2*h - n = -2, 3*h = 2*h + a*n - 1. Is h bigger than 1?
False
Let t = -1.07 - 1.95. Let p = -0.18 + t. Let a = -16.2 - p. Is a at least 0.1?
False
Let u(c) = c**2 - 3*c. Suppose 6*g - 7 = 2*g + 5*q, -5*g - 5*q = -20. Let j be u(g). Let s = 991/11 + -90. Which is greater: j or s?
s
Let f(g) = g**3 + 2*g**2 + 5*g + 2. Let y(j) = -j**2 - 12*j + 5. Let b be y(-12). Suppose b*k + l = -5, 0*l = -k - l + 3. Let n be f(k). Is -8 > n?
False
Let g = -1.664 - 1.336. Is 3/65 > g?
True
Let q be 3*((-4)/2 - -1). Which is smaller: -1 or q?
q
Let y(o) = -o**3 + 10*o**2 + 14*o - 32. Let m be y(11). Which is smaller: 5/196 or m?
5/196
Let p(z) = z**3 + 6*z**2 - 7*z + 3. Let r be p(-7). Let f(l) = -8*l - 117. Let m be f(-15). Is r bigger than m?
False
Let w = 0.6 - 3.6. Let f = 39 - 62. Let z = 22 + f. Are z and w unequal?
True
Let x = -281 - -318. Is x < 36?
False
Suppose -u + 10 = u. Let x = u + -5. Let a = -25.96 + 26. Which is bigger: x or a?
a
Let x(z) = z - z**3 - 11*z**2 - 3 - 3 - 10*z - 2*z. Let r be x(-10). Is r less than or equal to 3?
False
Let t = -747 - -739. Let b be 30/(-12)*(-1)/5. Which is smaller: t or b?
t
Let g = -684 - -661. Let u = -9 + 24. Let b = g + u. Which is smaller: b or -2?
b
Let l be -9*(8/3 - 3). Suppose l*a = -a. Suppose 2*t + 32 = 4*j, a*j - j = 3*t + 6. Which is bigger: j or -1/4?
j
Let r = -44 - -45. Let k = 746/9 - 21628/261. Are r and k unequal?
True
Let o(q) = -q - 4. Let a be (4/(-8))/(1/8). Let d be o(a). Which is greater: d or 5/6?
5/6
Let m(n) = n + 7. Let t be m(-5). Let z be ((-6)/4)/(((-84)/(-32))/7). Let x be (t/3)/(z/6). Which is smaller: x or 0?
x
Let f = -0.16 + -4.84. Let o = f + -8. Let c = o - -14. Is 0.3 equal to c?
False
Let a = -0.07 - 14.93. Let d = 0.374 - -23.626. Let k = d + a. Which is greater: 0 or k?
k
Let v = 597 + -604. Are v and -41/5 nonequal?
True
Suppose 0 = -19*c - 22 + 3. Is -20/11 greater than c?
False
Let l = 5.1 - 19.5. Is l bigger than 1?
False
Let v = 33/175 + -5/28. Suppose 3*i + h + 0 = 4, -3*h = 4*i - 12. Which is smaller: i or v?
i
Suppose -4*h - h = -25. Let g = 37 + -35. Suppose -n + h*b + 6 = 0, -7 - 1 = n + g*b. Which is smaller: n or -5?
-5
Let j = 0.059 + 0.067. Let v = j - 0.926. Is 4 at most v?
False
Let g = -67 + 67.02. Let l = g - 30.02. Which is smaller: l or 0?
l
Let y(u) = u**2 + 15*u + 25. Let r be y(-13). Is r < 3/23?
True
Let t = 164 - 172. Which is greater: 3 or t?
3
Let y be 5/35 - (-6)/(-14). Suppose -n - 28 = -3*a, 4*a - n + 4*n - 20 = 0. Is y >= a?
False
Let c = 2.004 + -2.004. Let y = -75 + 47. Is y at most c?
True
Suppose -39*t + 12 = -45*t. Let o be 8/272 + (0/(-2))/t. Is o >= 0?
True
Let v = 3/1648 + -14029/11536. Which is smaller: v or 0?
v
Suppose 0 = -18*n + 21125 - 5141. Is 888 equal to n?
True
Let o = -659 + 660. Which is greater: 4/253 or o?
o
Let o be (-1 - 900/112) + (-8)/(-28). Which is greater: 3 or o?
3
Let o = -0.63 + 1.23. Which is smaller: -10 or o?
-10
Let g be 0 + -1 - 48/(-15). Suppose 0 = -7*n - 60 + 4. Let o = n - -9. Which is greater: o or g?
g
Let s = -6.5 - -33. Let u = s - 25. Let c = -1.7 + u. Which is greater: -9 or c?
c
Suppose 88 = -m + 232. Does m = 144?
True
Let p(n) = 5*n - 145. Let o be p(33). Which is smaller: o or 18?
18
Let z be 1 + 0/(-4)*3/6. Is 2/1023 greater than z?
False
Let k be (1 + -4)*32/6. Let q = k + 15. Which is bigger: q or 2/17?
2/17
Let l = 0.924 - 0.034. Let q = l - -0.11. Let v = -0.3 + 0.36. Which is smaller: v or q?
v
Suppose 0 = -0*t + 2*t. Suppose t = -v - 4*c - 21, -6*c - 15 = -c. Let q = 11 + v. Is q greater than or equal to -3?
True
Suppose -6*a + 865 = -1121. Is 331 bigger than a?
False
Let y be (-7 + (2337/(-18))/(-19))*3. Which is smaller: y or 627/7?
y
Let z = -40 + 21. Let s = z - -18.7. Which is smaller: 0.2 or s?
s
Let u = -142553/19516 + 1285/119. Let n = u - 10/41. Let w(l) = -l**3 - 9*l**2 - 8*l + 4. Let v be w(-8). Which is bigger: v or n?
v
Let t(z) = z + 2. Let v be t(-2). Suppose 2 + v = -2*g. Suppose 10*c = 9*c - 1. Do g and c have the same value?
True
Let s be 1/(-2)*(-2 + 1 + 109). Which is bigger: s or -56?
s
Let a be (-6)/((-10)/5) - 10/(-2). Suppose 10 = 7*o - a*o. Are -9 and o equal?
False
Let t = -0.019 - -0.067. Let s = 0.952 + t. Which is greater: s or 56/3?
56/3
Let x(j) = j**3 + 14*j**2 - 14*j + 9. Let r be x(-15). Let c be 20/24 - 1/r. Let t be 1*57/(-33) + 2. Which is greater: c or t?
c
Let k(y) be the third derivative of y**6/120 + 11*y**5/60 - 13*y**4/24 - 3*y**3/2 - 3*y**2. Let x be k(-12). Suppose f = 2 + x. Is 18/5 at least f?
False
Let f be 6/(-12)*2 - 96/(-2). Do f and 50 have the same value?
False
Let u = -44 - -38. Let w be 4 - (u + 2 + 3). Let r = -5 - -11. Which is greater: r or w?
r
Let t be (75/35 - 2) + 2/(-14). Let j be 6/2 - (-102)/(-20). Let n = -5/2 - j. Which is smaller: t or n?
n
Let i be 7 + 3896/(-84) - 3/9. Is i at most as big as -41?
False
Let n be (-8)/(-4) + (-8)/7. Which is greater: 2 or n?
2
Let r = -333 - -333. Which is smaller: r or 0.046?
r
Let r(c) = c + 33. Let t be r(-22). Which is smaller: 8 or t?
8
Let a(m) = 2*m + 59. Let n be a(-29). Which is smaller: 11/19 or n?
11/19
Suppose -7*v = -4*m - 4*v - 13, -v + 7 = -2*m. Let c be (-87)/(-4) + -4 + (-1)/m. Does 18 = c?
True
Let l be (-16)/32*(50 + 2). Suppose -3*y = -4*y + 6. Let s be l/4 + 3/y. Is -5 <= s?
False
Let x = 51 + -51