ater than or equal to y?
True
Suppose 15 = -z + 4*n, -1 = -5*z + n - 0. Let u = -16.6 - 3. Let c = 11.6 + u. Which is smaller: c or z?
c
Let s(y) = -2*y**2 - 56*y + 100. Let r be s(13). Are r and -965 nonequal?
True
Let s(k) = 5*k - 29. Let x(w) = 9*w - 58. Let q(d) = 5*s(d) - 3*x(d). Let i be q(14). Which is bigger: i or -1/57?
i
Let p(r) be the first derivative of -r**6/45 + r**5/60 + r**4/24 - 8*r**3/3 - 2. Let q(u) be the third derivative of p(u). Let f be q(-1). Is f > -8?
False
Suppose 25 + 19 = k. Let l be (-522)/(-33) - (-8)/k. Is l at most 14?
False
Suppose 0 = 11*w - 947 - 296. Is 113 bigger than w?
False
Let a(v) = v**3 + v**2 - 3*v + 8. Suppose -6*n = -11*n - 15. Let d be a(n). Which is greater: d or -2/43?
-2/43
Let w(o) = o - 8. Suppose t = 3*n + 11 + 9, -n = -t + 16. Let l be -1 + -2 + -4 + t. Let h be w(l). Is -8/5 greater than h?
False
Let y = 2 - 1.7. Let o = -0.023 + 0.203. Let f = o + -0.48. Which is smaller: f or y?
f
Let t be (52/(-14))/(3*8/(-48)). Which is greater: 8 or t?
8
Let z be -2 - (-1 + -2 + -5). Suppose 2 - z = -2*f. Suppose -5*m + h + 2 = -3, -2*m - 4*h + f = 0. Is m less than 1?
False
Let p = -2/1515 - 2060/303. Let g = 1253 - 1261. Which is smaller: g or p?
g
Let r = 267 + -267. Which is smaller: -1/19 or r?
-1/19
Let t be 1 + (-1 - 4/(-52)). Let m = t + -29/39. Let x = 0 - -1. Is x < m?
False
Suppose 212*j - 205*j = -147. Is j bigger than -25?
True
Let j = -349062/89 + 3922. Does 1 = j?
False
Let l = -1187 + 216. Which is smaller: l or -970?
l
Let b = 2 + -3. Let a = -7844.018 + 7844. Are a and b nonequal?
True
Let f = -1.5 - -0.6. Let x = f + 1. Let g = -0.4 + x. Which is greater: -2/3 or g?
g
Let h = 3 + -4. Let w be 444/18*(-4 + 1). Let i = w + 593/8. Is h at most i?
True
Let i be 2*-2*(-1)/4. Let l = 677/4 - 3047/18. Which is greater: l or i?
i
Let l be (-84 + -2)*-1*10/(-20). Which is greater: -41 or l?
-41
Suppose -12*i - 3*r - 19522 = -r, -5*i - 8110 = -4*r. Are i and -1626 unequal?
False
Let t = -12 + 17. Suppose t = -3*f + 4*x - 3*x, 3*f - 5*x - 11 = 0. Let a be (f/9)/(2/(-9)). Is 3 < a?
False
Let q = -14723 + 14728. Let w = -1.2 - -1. Which is greater: q or w?
q
Suppose 2*z + 2*z = -g - 6, 5*g - 3*z + 30 = 0. Let s be 0*2/g + -1. Suppose 5*o - 3*o + 10 = 0. Which is greater: o or s?
s
Let n(k) be the first derivative of k**4/4 + 10*k**3/3 + 9*k**2/2 - 2*k - 2. Let g be n(-9). Let l be (g/(-3))/((-4)/6). Which is smaller: l or -2/47?
l
Let a(b) = -3*b**3 + b**2 + b - 1. Let p be a(1). Let c be (2 - p - 2) + 11. Let i = -14 + c. Which is smaller: 2/7 or i?
i
Let a(c) = -6*c**2 - 2*c - 9. Let g be a(-5). Which is bigger: -151 or g?
g
Let a(s) = 2*s**3 + s**2 + 2. Let b be a(-2). Let d = -2 - b. Suppose -6*w + d = -2*w. Which is smaller: 8/7 or w?
8/7
Suppose -7*t + 5*t + 2 = 0. Let d be -2 - (-1 + 20754/(-57)). Let m = d - 363. Do m and t have the same value?
False
Let b be 25 + (1 - 48/8). Is b less than 4?
False
Let c = 11 + -47. Let d = c - -35.5. Which is smaller: -0.1 or d?
d
Let v be (-36)/(-28) + (-1)/1. Let b = -65 - -51. Which is greater: b or v?
v
Suppose 0 = -20*c - 7 + 27. Is c equal to 5/37?
False
Let x = -8.3 - -0.3. Let g = x + 28. Which is bigger: g or 0?
g
Suppose -3*h - 31 = 2*l - 6*h, -5*l = 4*h + 135. Is l bigger than -47/2?
True
Let s = 4501 + -4501.1. Let w = 48 + -27. Suppose -5*l - w = 39. Is l smaller than s?
True
Let y be -2 + 5/(105/48). Let h be (-2)/4*(16 - 0 - 10). Which is greater: h or y?
y
Let x = -38 + 87. Suppose -19*p = -23*p + 196. Do p and x have different values?
False
Let c be (-1)/(-1)*(-100)/4. Let j be 1330/c - (1 + -1). Let u = j - -53. Are u and 0 non-equal?
True
Let q = -330.9 + 331. Which is bigger: -0.0987 or q?
q
Let p be 2/7 - (-202)/(-70). Suppose 29 = z + 4*x, 13*x - 25 = 8*x. Let u = z + -11. Which is smaller: u or p?
p
Let y be 852/14 + 6/42. Suppose 4*r - 77 = 4*k + r, 3*k + y = -r. Which is bigger: k or -2?
-2
Let a(s) be the first derivative of s**4/12 + 5*s**3/6 + s**2 - 2*s - 9. Let l(p) be the first derivative of a(p). Let n be l(-4). Is n smaller than -12/11?
True
Let t = 5 + 16. Suppose -2*l + 5*l + t = -3*p, -4*l - 30 = 2*p. Let g(b) = b**3 + 8*b**2 + b + 5. Let d be g(l). Is d != -3?
False
Suppose 8*v - 2 = 6. Is v greater than or equal to 43/18?
False
Suppose 5*a - 16 = 4. Suppose 6 - a = -2*o. Let u be -2 - o/4*17. Is u greater than or equal to 3?
False
Let o = -107 - -111. Suppose 3*v + 28 = o*i, -2*v + 20 = 4*i - 7*v. Is i < 1/4?
False
Let b = -51.78 - -0.78. Let a = b + 54. Which is greater: 0.03 or a?
a
Let u be 6/2 + 20/(-4). Let a be 1*(2 - u)*2/(-52). Which is smaller: a or 0.2?
a
Suppose 0 = 2*p + 4, 3*m - p - 10 = p. Suppose f + 18 = -m*f. Suppose 0*q = 7*q + 35. Is q not equal to f?
True
Suppose -16 = -0*k + 2*k. Let z be 22/k + 30/40. Let w be 8/35 + z/(-10). Which is smaller: w or -1?
-1
Suppose 0*v + 11*v + 3036 = 0. Do -1 and v have the same value?
False
Suppose 15 = 3*u - 5*i, 7 = -4*u - 5*i - 8. Let s be (-16)/(u - (-1)/(-2)). Is 33 greater than or equal to s?
True
Suppose -3*f + 7 = -2*f. Suppose -4*v + y = -49, 4*v + 5*y = 12 + f. Which is smaller: 12 or v?
v
Let x be (15 + (-265)/15)*-3. Let j = 1 + 1. Are x and j equal?
False
Let a(v) = 32980*v**2 - 1. Let c be a(-1). Let n = 230445/7 - c. Let k = 58 + n. Does k = 1?
False
Let c = 27 - 7. Let p = 21 - c. Let h = -137/4 - -35. Which is smaller: h or p?
h
Let t be (-4)/(-36) + (-646)/(-18). Suppose 3*b + 9 + t = 0. Which is smaller: b or 2?
b
Let u = -27.979 + -0.021. Let y = u + 28. Let i = -14 + 12. Are i and y equal?
False
Let m = 23137441/10388565 + 68/62961. Let i = 25/11 - m. Is 1 greater than or equal to i?
True
Let d = 22.1 + -22. Let a = d - 11.1. Is 0 > a?
True
Let g(y) = 2*y**3 + 3*y**2 - 2*y - 3. Let o be g(-3). Let m be (9/(-6))/((-9)/o). Let t(a) = a**3 + 5*a**2 + 2*a - 2. Let x be t(m). Is 6 bigger than x?
False
Let q = 150 - 154. Do q and -16 have the same value?
False
Let z be (30/(-525) - (-29)/(-105))*6/(-14). Let c = -6279/4 - -1623. Let a = c + -53. Is a > z?
True
Let g = -35 + 35. Suppose g = x - 9*x + 56. Does x = 12?
False
Suppose -89 = 2*j - 97. Let h = 820 + 277. Let b = h + -7661/7. Is j equal to b?
False
Let a(i) = i + 10. Let s be a(-8). Suppose -3*c = 3*x, 0 = -2*c + 2 + s. Let p be ((-6)/(-30))/(x/(-5)). Which is greater: p or 11?
11
Let q = 145 - 433/3. Let c = -0.12 + -5.88. Let j = c + 12. Which is bigger: j or q?
j
Let l = 0.726 + -0.68. Let x = l + -0.346. Which is bigger: x or -0.2?
-0.2
Suppose -288 = 7*o + 468. Does o = -322/3?
False
Let z = 0 - -17. Which is greater: z or 69/4?
69/4
Let o = -173 + 174. Suppose -5*r = -p + o, -3*p + 3 = 3*r - 8*r. Suppose -7 + 17 = -5*b. Is b smaller than p?
True
Let y = 136471/13 - 10481. Are y and 17 equal?
False
Let f = -22 - -35. Let a(h) = h**2 - 16*h - 23. Let c = 91 - 73. Let n be a(c). Is n at least f?
True
Suppose -7*i = -2*i + 5. Let g(j) = -6*j**3 - 2*j**2 - j. Let z be g(i). Suppose n - 12 = 3*x + 4*n, -25 = -z*x + 4*n. Which is smaller: -4/11 or x?
-4/11
Let g(l) be the third derivative of l**6/120 + 17*l**5/60 - 19*l**4/24 - 3*l**3 - 2*l**2. Let f be g(-18). Is -6/29 less than or equal to f?
True
Let b be ((-2)/12)/(2/(-3)). Let j = 27 - 25. Suppose 5*p = -3*s + 20, 2*p + j*p + s = 9. Is b smaller than p?
True
Let j = 39.03 + -39. Let q be 455/(-105) - (-4)/(-6). Which is greater: j or q?
j
Suppose 5*i = -4 + 74. Let z be 8/i + 90/(-378). Which is smaller: -2/17 or z?
-2/17
Let u be 2*3/(-12)*-4. Suppose 0 = -9*x + u*x. Suppose -4*o - 28 = n, -5*o - 41 = 2*n - x*o. Are 0 and n unequal?
True
Let g = -71 - -112. Let n = -40 + g. Which is bigger: n or -2/115?
n
Suppose 3*o = 4*i - i - 114, 5*i + 3*o = 206. Let v = 40 - i. Which is smaller: v or -0.06?
-0.06
Suppose -317 - 814 = -29*n. Which is greater: n or 45?
45
Let f(v) = 4*v**2 - 8*v + 11. Let i be f(3). Is 23 >= i?
True
Let n = 83.55 + -80. Let m = n - -0.25. Let q = m - 5.8. Is 0.09 at most as big as q?
False
Let k(u) = -u**3 - 16*u**2 + 16. Let o be k(-16). Which is greater: o or 142/9?
o
Let v = -3/121 + 983/605. Suppose -7*x + 216 = -13*x. Let b = 39 + x. Is v >= b?
False
Let l = 653.3 + -586. Let z = l + -60. Let k = 7 - z. Is 3/2 less than k?
False
Suppose -3*b + 3*i = 9189, -b - 12252 = 3*b - 2*i. Let q be 0 + (1 - b/(