uppose -25 = 3*s + 5*h, 0 = 5*s - h - 1 + 24. Suppose -4*n + 18 + 14 = 0. Suppose 4*t = n*t + 28. Which is bigger: s or t?
s
Let m be 2/(-3)*(-3)/(-20). Which is smaller: -6 or m?
-6
Let b = 2 + 0. Suppose -4*m + 17 = -5*f - m, 5*f = b*m - 13. Is f not equal to -1?
False
Suppose -1701*b + 2108 = -1697*b. Is 527 at most as big as b?
True
Let t(r) = -5*r**2 + 55*r + 299. Let p be t(-6). Which is greater: p or -209?
-209
Suppose 5*j = 3*o - 9, 0 = 2*j + 4*o - 2*o - 6. Let t(r) = r**3 + 10*r**2 + r + 4. Let f be t(-10). Let n be (-6)/30*3/f. Is j equal to n?
False
Suppose 0*k + 3*k - 6 = 0. Suppose -2*p - k + 4 = 0. Let v = p - 4. Is -3 > v?
False
Let f = -15 - -7. Let q = f - -1. Let n be 3/q - 78/210. Which is greater: n or -1?
n
Let r be (0 - -2 - 16) + 0. Let l(u) = -u**3 + 19*u**2 - 17*u - 8. Let m be l(18). Let x be ((-50)/(-125))/((-8)/m). Is x not equal to r?
True
Let s = 17720 + -17725. Let h = 5 - 0. Suppose h*m + 2*f + 14 = 0, -6 = -f + 4*f. Is s at most m?
True
Let m be (-8)/6 + 320/96. Suppose 0 = -0*t - 2*t + 4. Suppose t*i + 1 = 5. Is m at least as big as i?
True
Let a = -47 - -45. Is -25/29 <= a?
False
Let m = 42.7 + -38. Let g = 16.3 + m. Let w = 20 - g. Which is smaller: w or 6/7?
w
Let h = 507 + -510. Let p(f) = -f**2 + 7*f - 2. Let w be p(7). Which is smaller: w or h?
h
Suppose 15*k + 124 = 11*k. Which is smaller: k or -29?
k
Let o(v) = -v - 9. Suppose 9 = i + 5. Let c(z) = -1. Let f(h) = i*c(h) + o(h). Let x be f(-8). Which is bigger: x or -4?
-4
Let i = -1 + -2. Let y = -4 - i. Let r be (-1 - 2 - -2)/(4/2). Is r > y?
True
Let j(d) = d**3 + 45*d**2 + 42*d + 13. Let g be j(-44). Which is bigger: g or 708/7?
708/7
Let o = -2117/5 - -141837/335. Which is smaller: o or -1?
-1
Let y = -4 - -4. Suppose 2*n - 10 = -2*d - 0*n, 2*d - n + 2 = 0. Suppose d = -3*s - 5. Which is smaller: y or s?
s
Let s(o) = 2*o - 32. Let g be ((-1)/(-5) - 1)*-20. Let b be s(g). Does -3/5 = b?
False
Let p(y) = -y**2 - 3*y + 3. Let v be p(-4). Let l = -629/1976 + -14/247. Which is greater: v or l?
l
Suppose -3*p + 58 + 101 = 0. Let x = 52 - p. Let n be (-6)/21 + 51/(-189). Which is greater: x or n?
n
Let t be ((-40)/(-200))/((-6)/790) + -4. Which is greater: t or -31?
t
Let m be (-2)/7 - 18/(-63). Let w be (m - -3)*(-4)/24. Which is smaller: w or -2?
-2
Let k(d) = -4*d**3 + 15*d**2 - 28*d + 5. Let n(a) = -a**3 + 5*a**2 - 9*a + 2. Let y(p) = -2*k(p) + 7*n(p). Let l be y(-6). Let t = l + -7. Is 2 bigger than t?
False
Let t(k) be the second derivative of k**5/10 + k**4/6 - k**3/6 + k**2/2 - 3*k. Let y be t(-2). Let o = -83 + 79. Which is smaller: o or y?
y
Let m(u) = u**3 - 2*u + 1. Let l(s) = -s**3 + 2*s**2 + 3*s - 3. Let p be l(2). Let f = p + -2. Let n be m(f). Which is greater: 1/5 or n?
1/5
Let w = -901 - -902. Is -72 bigger than w?
False
Let g = -496 - -522. Which is greater: 29 or g?
29
Let r be (-842 - 1)*((-16)/6 - -3). Which is bigger: -5 or r?
-5
Let f be 0 + 1 + (-12 - -15). Suppose -2*v + 23 = -5*h, -v = f*v + h - 17. Is v less than 8?
True
Let k = 20947/367 - 34629770/601513. Let r = k + 6/149. Which is greater: r or -1?
r
Let a = 1662 - 1575. Are 79 and a equal?
False
Let o be 6/(-194)*(13/(-3) - -4). Which is greater: 1 or o?
1
Let d = -47 - -96. Which is smaller: d or 3?
3
Let m be 1 + 44/20 + -2. Let x = -20 + 23. Let z be (x + -3)/(0 - -3). Which is smaller: z or m?
z
Let g be (-1)/(0 + 1) + 0. Suppose -4*h = -4 + 8. Let a be h/(-2) + -2 + (-236)/(-136). Is g smaller than a?
True
Let c = -264 + 260. Suppose 0*p = -5*p. Which is greater: c or p?
p
Let q(h) = -h**2 - 9*h - 24. Let v be q(-3). Let c(p) = p**2 - 9*p + 3. Let n be c(8). Let y = n - -1. Which is bigger: y or v?
y
Let a = 187814/141 + -1332. Suppose 0 = -3*l - 0*l + 3. Is l at least as big as a?
True
Let t = 83 - 81.02. Let r = t + 0.02. Suppose 20 = -w + 4*u, -2*w + 9*u - 4*u - 25 = 0. Which is smaller: r or w?
w
Let t(m) = -m**3 - 7*m**2 - 7*m - 4. Let w be t(-6). Suppose -29*s + 26*s = -6. Suppose 0 = -w*l + 4 + s. Which is smaller: l or 0.1?
0.1
Let f(w) = -w**3 + 5*w**2 + 2*w - 3. Let c be f(6). Let i = -25 - c. Suppose 0*b - 2*b = 3*m, -7 = -5*b - 4*m. Is b greater than i?
True
Let d = -34 + 50. Let j be d/66*(4/8 - 1). Which is greater: j or 1?
1
Let q be 15577/(-8) - 1/(-8). Is q > -1946?
False
Let r(a) = a**3 - 2*a**2 + 7*a + 15. Let v be r(-3). Which is greater: v or -50?
-50
Let j(n) = -4*n + 55. Let r be j(10). Which is bigger: r or 12?
r
Suppose -29 + 3 = g + 5*c, 4*c + 23 = -3*g. Let s be ((-3)/(-1) - g)*1. Suppose -2*a = -5*u - s, -7 + 1 = 2*u - 3*a. Which is smaller: 1 or u?
u
Suppose 0 = -5*o - 4*y + 7, 0 = 3*y - 9 - 0. Is -20/123 bigger than o?
True
Suppose 0 = -3*t + h - 85 - 24, t + 4*h + 19 = 0. Let u = t - -67. Which is greater: 33 or u?
33
Suppose 4*b = -5*s + 9, 3*s + b + 11 = 22. Let n be 2/(-9) + (-75)/27. Let j be 2/n + 10/6. Is j less than or equal to s?
True
Let a be -1 + 1 + 14 - -1. Let d = 12 - a. Let g be d/(-5)*42/18. Which is smaller: g or 1?
1
Let s(f) = f**3 + 6*f**2 + 2. Let t be s(-6). Suppose p = u - 10, -t*p + 0*p = 2*u + 20. Let v be p/11 + (6 - 5). Is v at least as big as 1/4?
False
Suppose -2*i + 84 - 82 = 0. Which is smaller: i or 672?
i
Let c(k) = k**3 + 4*k**2 - 5*k - 3. Let n be c(-5). Let u = 1 - 1. Suppose -2*q - 2*i - 8 = u, i + 4 = 5*q - 0*i. Is q < n?
False
Let g = 3928 - 23465/6. Is 16 < g?
True
Suppose 2*p - 704 = -9*p. Let i = -63 + p. Is -1/71 at most as big as i?
True
Let o(k) = 2*k**2 + 6*k - 4. Let i be o(-5). Suppose -8*b + 2*x + 38 = -6*b, -4*x = -2*b + 46. Which is greater: b or i?
i
Let n be -1 + -2 + 4/(8/26). Suppose 3*q = -2*q - n. Is q < -6/11?
True
Let r = 0.8 + -1.28. Let m = -0.48 - r. Which is smaller: 23 or m?
m
Let w(p) = p**2 - 32*p + 87. Let i be w(3). Is 134 at most i?
False
Let s = -1560 - -310441/199. Let r = 218/3781 - s. Let x be 0/((7 - 0) + -4). Which is smaller: r or x?
x
Let u = -0.025 - 23.975. Let q = 23.87 + u. Let c = q + -0.87. Which is smaller: c or -29?
-29
Suppose 5*i = -0*i. Let m be (8/3)/((168/(-3447))/4). Let g = -218 - m. Is i != g?
True
Let c be (7/(105/(-6)))/(3/(-105)). Suppose -c - 36 = -5*q. Which is smaller: 8 or q?
8
Let h be (-364)/(-98) - 2/(-7). Suppose 5 = -h*v - 7. Is v > -3?
False
Let w(g) = 165*g - 616. Let r be w(4). Is r at most 0?
False
Let j = -46.0325 + 0.0325. Let c = 9 - 9. Is j at most as big as c?
True
Let o(y) = -y**3 - y**2 + 9*y + 6. Let u be o(-3). Suppose -2*g + 4*p = 0, 3*g - 2*p + 5*p = 45. Let h = g + -10. Which is smaller: u or h?
u
Let a(h) = -15*h - 7. Let b be a(-3). Let p = 73 - b. Suppose 0 = -4*y + 4*x - 7 + p, 4*y - 28 = -4*x. Which is greater: y or 6?
y
Suppose 15 + 12 = 3*p. Suppose 0*z - p = -3*z. Is z smaller than 14/5?
False
Suppose 2*g + 56 = 5*c, 5*c - 3*g + 6*g - 66 = 0. Let d be 3 + -5 - (-207)/c. Let v = -167/12 + d. Which is smaller: 1 or v?
1
Let v be ((-60)/(-621))/(2/(-12)). Let o = -157/4 + 3603/92. Let s = v + o. Is 0 less than or equal to s?
False
Let s be ((-22)/12 + 2)*33. Let q be 0*(8 + -4)/4. Let n = 5 + q. Is n at least s?
False
Let l = -425/6 + 3119/44. Are l and -1 nonequal?
True
Let g(y) = -4*y + 10. Let k be g(16). Let z be 7/21 + 26/k. Is 1 > z?
True
Let o = 0.1 + -0.069. Let h = 0.041 - o. Which is greater: h or 4?
4
Let k(s) = s**2 - 41*s + 292. Let i be k(28). Is 2/3 < i?
False
Let b = 0.8 - -9.2. Let p = 1 - b. Let h = 8.94 + p. Which is smaller: h or -1?
-1
Let q(l) = 7*l + 2. Let x be q(-2). Let y(t) = -t**2 - 11*t + 11. Let n be y(x). Which is bigger: 4/19 or n?
4/19
Suppose -2 = 123*g - 2. Is g less than or equal to -0.0824?
False
Let u = 0.3 + -0.3. Let z = -8.2 - -8. Let a = z - u. Is a greater than 3?
False
Let i = -74 + 131. Let a = i - 57. Which is smaller: a or 0.25?
a
Let k = -51 + 54. Suppose 3*j = -3*z + 3, 2 = 4*j + 5*z - k. Let d be ((18/(-20))/3)/(-3). Is d greater than or equal to j?
True
Let t = -0.16 + -0.04. Let g(b) = 7*b - 58. Let y be g(7). Which is smaller: t or y?
y
Let a be -492*5/(-10)*2. Is 492 at most a?
True
Let i be (1 + 2)/((-6)/8). Let s be (3 - -1) + (-6 - -8) + -9. Is i at least as big as s?
False
Let y(u) = u**2 + 8*u - 32. Let h be y(-11). Let a be -1*(h - (-19)/(-17)). Let k be (-2)/(-7) + 15/21. Which is smaller: k or a?
a
Suppose -r = 3*r - 8. Let g = 30 + -23. Suppose -3