ich is bigger: w or o?
w
Let g(r) = r**3 - 8*r**2 + 13*r - 3. Let p be g(6). Which is greater: p or 98?
98
Let v = -11/20 - -3/10. Suppose -2 = -25*n + 24*n, -j + 3*n = 6. Which is bigger: v or j?
j
Suppose -2*m + 17 = -3. Let f = -20 + m. Let p be ((-12)/f)/(16/10). Is 0 <= p?
True
Let u = -331 - -336. Let p(s) = -s + 5. Let d be p(6). Let b be 10*((-3)/6 - d). Is u > b?
False
Let n(h) = -h**3 + 9*h**2 + 3*h - 7. Suppose d + 0*d - 9 = 0. Let p be n(d). Let m be (3 + (-58)/p)*4. Are 8 and m unequal?
True
Let g(k) = -k**3 + 2*k**2 + 2*k + 1. Suppose 5 = -3*r + 14. Let q be g(r). Let p = 173/2 - 357/4. Is q greater than p?
True
Suppose 0 = 4*r + 16. Let v be (-3 - 24/(-10))*-5. Suppose 6 = -3*s - v. Which is greater: s or r?
s
Let p be ((-4)/8)/(2/20). Let x be 1/p + 54/(-5). Let z = -19 - x. Is z at most -7?
True
Let q(a) = -7*a. Let l be q(-1). Let h(c) = 3 + 2*c**2 + 0*c**2 - c**2 - 8*c + 0. Let p be h(l). Which is bigger: 0.1 or p?
0.1
Let m(d) = -d**3 - 5*d**2 - d + 10. Let f be m(-4). Let c be (-150)/96*(f/10 - 1). Which is bigger: 3 or c?
3
Suppose -3*v + 0*v - 1131 = 3*w, -4*v - 1490 = -2*w. Is v greater than -374?
False
Let i be (-30)/20*1271/5. Let f = i + 381. Which is smaller: -1 or f?
-1
Let b(w) = 8*w + 8. Let i be b(-6). Let p be 1*124/i + (-2)/4. Which is bigger: p or -4?
p
Let k be ((-342)/30)/((-204)/8). Which is smaller: k or 0?
0
Let d = -31 + 33. Suppose -2*b - 36 = 5*h - 2*h, -2*b + d*h = 26. Do b and -15 have the same value?
True
Let j = 4.21 - -1.61. Let l = j + -0.82. Let f be (1 + 12/(-14))*-2. Which is smaller: f or l?
f
Let r = -0.2 + 0.1. Let c = 0.42 - 0.46. Which is bigger: c or r?
c
Suppose b + 8 + 2 = 0. Suppose -9*m = -75*m - 792. Is m greater than b?
False
Let s = -0.83 - 5.17. Which is smaller: s or -1/6?
s
Let p be (8 + -5 - 7) + 2*-3. Let y be 124/p - -3 - 6/10. Is -35/4 != y?
True
Let x be ((-2)/(-290))/(294/735). Which is smaller: 0 or x?
0
Let v(m) be the first derivative of 11*m**4/4 + 2*m**3/3 + m**2 + m - 2. Let p be v(-1). Let d = p - -17. Are d and -2/5 unequal?
True
Let u = -0.6 - -1. Let f = u + -0.2. Let o be (-150)/(-125)*(-5)/(-14). Which is bigger: o or f?
o
Let d be (68 - 69) + -4*(-14)/60. Is -13 less than or equal to d?
True
Let t(x) = x**3 - 12*x**2 - x + 11. Let g(m) = m**3 + 9*m**2 + 8*m + 12. Let a be g(-8). Let f be t(a). Let c be 49/(-47) + 0 + 1. Is c != f?
True
Let g(o) = -34*o + 23. Let s be g(2). Let w = s - 15. Which is greater: 1 or w?
1
Let r = 0.1 - 2.1. Let d be (4/3)/(6/(-36)). Let a(u) = -u**2 - 9*u - 11. Let p be a(d). Is p <= r?
True
Suppose 5*c - 10*c = -10. Suppose 2*j + 28 = 4*p, -p + 4 = -c*j + 3*j. Let w be (-1)/(-3) - p/(-9). Which is bigger: w or -2/17?
w
Let p be (23/(-46))/(10/(-45)). Let h be 8 + -1 + 1 + 1. Let f be (-4)/(-10) + h/15. Do p and f have different values?
True
Let t(w) = -w - 10. Let d be t(-16). Let f = -8 - -13. Suppose -u + 2 = a, d*u - f*a = u + 30. Is 3 less than or equal to u?
True
Let k(h) = -h**3 + 10*h**2 - 14*h - 23. Let o be k(6). Is o smaller than 36?
False
Let y = 546 - 586. Let f(z) = -38*z - 1. Let r be f(1). Which is smaller: y or r?
y
Let u = 0.915 - -0.085. Let f = -0.047 + -39.953. Which is bigger: f or u?
u
Suppose 6*k + 503 + 433 = 0. Let j = k - -3119/20. Which is smaller: j or -1?
-1
Suppose -j = -5*d + 2, j - 4*j - 3*d + 84 = 0. Let f = 302 + -280. Which is bigger: f or j?
j
Let t = 30626/83 + -369. Let n(v) = v**2 + 8*v + 8. Let z be n(-1). Is t equal to z?
False
Let z = 29 + 3. Which is bigger: 4 or z?
z
Let t = -15 + 12. Let a be 0 + (171/44 - 3). Let w = 3/22 - a. Which is smaller: t or w?
t
Suppose -3 - 3 = 2*l + v, 5*l + 15 = -v. Let c be l + (-1018)/12 + 0. Let y = c + 87. Which is smaller: y or -1?
-1
Let r = 210 - -219. Is 429 smaller than r?
False
Let d(x) = 2*x + 4. Let h be d(-5). Let s(p) = 3*p + 23. Let i be (8/(-10))/((-8)/100)*-1. Let b be s(i). Which is greater: b or h?
h
Let b = 232.21 - 232. Which is greater: b or -3?
b
Suppose 10*s = 1710 + 830. Suppose 2*o = 4, 2*o = 5*g - 0*g + s. Do g and 0.2 have the same value?
False
Suppose -3*h - 529 + 532 = 0, -k + 4*h = 11. Let u = 160/3 + -60. Which is smaller: k or u?
k
Suppose -4*f + 74 = -2*f + 5*k, 0 = 2*f + k - 58. Which is smaller: f or 1?
1
Let o(z) = -z - 15. Let v be o(-16). Let k = 4 - v. Which is greater: k or 15/4?
15/4
Suppose 7*o = 5*o + 26. Let b(h) = 2*h**3 - 27*h**2 + 15*h - 2. Let w be b(o). Which is bigger: w or 23?
w
Let t = -0.147 - -18.147. Is t at most as big as 2?
False
Let y(t) = t**3 + 10*t**2 + 7*t - 14. Let b be y(-9). Is -7 at most as big as b?
True
Suppose -4*b - 2*u + 49 = u, -5*u = 3*b - 34. Is b < 14?
True
Suppose 44*z = 43*z + 9. Let i be z/15 + 1362/(-300) - -4. Which is smaller: i or 0?
0
Let z be 24/(-36) - 5/2. Is z > -2/7?
False
Suppose -3071*j + 390 = -3077*j. Is j equal to -59?
False
Let m = 469 + -454.9. Which is bigger: 0.1 or m?
m
Let s = -31.1 - -26. Let m = 0.1 + s. Let h be (516/176 - 3) + 10/(-55). Which is smaller: h or m?
m
Suppose -5*v + k = 160 + 7, -105 = 3*v - 3*k. Suppose 4*n + 22 = -d + 149, 4*n - 112 = 4*d. Let b = n + v. Which is smaller: b or -1/2?
b
Let k(o) = 131*o**2 - 2*o + 3. Let x be k(1). Let f be ((-30)/4)/(x/(-16)). Which is smaller: f or 1?
f
Suppose 3*m - 27 = -p + 3*p, -4*p + 23 = m. Let b(t) = 7*t - 4. Let r be b(2). Is m greater than r?
True
Let n be 1/(-4) - 0 - 104/(-32). Suppose 7 + n = 5*b. Is b smaller than 17/7?
True
Let i = -27 + 31. Suppose -w = -i*w + 69. Is w at most as big as 24?
True
Let r = 0.21 + -4.71. Let y = r - -9.5. Do -0.2 and y have the same value?
False
Let r(a) = -a - 10. Let q be r(0). Let x be 1/(-3) + q/(-3). Suppose -8 - 24 = -4*u + 4*f, 5*u - x*f = 32. Which is smaller: u or 3?
3
Let i be (-144)/40 + 4 - (-4)/(-10). Is 0 less than or equal to i?
True
Let d = 2 - -26. Let g = 0.122 - -1.878. Which is smaller: g or d?
g
Suppose -40 = 5*b - 3*p, -p - 3*p = 2*b - 10. Let n be 1*3 + (1 + -6 - b). Is n > -6?
True
Let f = 1399 - 1399. Let u = -2 + -1. Let g be 2/(-4) - u/14. Is f greater than g?
True
Let l be (-3)/4*18/27. Which is smaller: l or -25?
-25
Let z = 108 + -107. Does -62 = z?
False
Let m(g) = g**3 - 10*g**2 + 4*g - 26. Let l be m(8). Which is greater: -121 or l?
-121
Let g = -9 - -9. Suppose g = 2*a + 4*q - 12, -3*a = -a - 5*q - 12. Is 1 bigger than a?
False
Let d(g) be the third derivative of g**5/60 - 3*g**4/8 + 4*g**3/3 - 23*g**2. Let k be d(9). Does 54/7 = k?
False
Let w be (6/(-15))/((-5)/250). Suppose -c + w = -5*c. Let a(y) = y**3 + 3*y**2 - 7*y - 1. Let h be a(c). Which is smaller: h or -15?
h
Let j be ((-2)/(-6))/(21/(-99)). Let y = -5/3 - j. Let f(r) = -2*r**3 - 32*r**2 - 3*r - 49. Let p be f(-16). Is p at least y?
False
Let u be 34/51 - (-280)/(-69). Let j = 183/115 + u. Is -2 bigger than j?
False
Suppose -4*i = -14*i - 6*i. Which is greater: 1/70 or i?
1/70
Let j(w) = -10*w**3 + w**2 - 4*w - 3. Let z be j(-1). Suppose -t + 3*t = 24. Is t at least as big as z?
True
Suppose 13*h + 198 - 874 = 0. Let m = h - 37. Is 15 smaller than m?
False
Suppose -3*k + 29 = -2*k + 4*q, k = 2*q + 29. Which is smaller: k or 25?
25
Let t = -1.71 - -0.21. Let c = t - 12.5. Let w = c + 13.7. Which is smaller: 5 or w?
w
Let p(s) = s**2 - 17*s + 47. Let v be p(4). Does 9 = v?
False
Suppose -4*j + 71 - 1 = 2*y, -3*j = 2*y - 52. Let o be (-29)/(-72) + (20/j)/5. Suppose -4*w + 2 = -2*w. Which is bigger: o or w?
w
Let g = -0.121 + 4.921. Let a = g + -11.8. Is a > 3?
False
Let f be ((-8)/40)/((-4)/20). Is f > 13?
False
Let x = 28.996 + 0.004. Let y = 304 - 273. Let n = x - y. Is 6/5 smaller than n?
False
Let u(v) = v**2 - 1. Let a(k) = -4*k**2 - 7*k - 7 + 17*k**2 - 10*k**2. Let l(c) = a(c) - 2*u(c). Let t be l(7). Is t at least -4?
False
Let v be (1 + (-26)/10)*-5. Suppose 4*t = -0*t - v. Suppose 2*a + 9 = -2*z + 3*a, 2*z = -3*a - 5. Which is smaller: z or t?
z
Let c be (0 - (-2)/(-18))/(309/18). Which is greater: -1 or c?
c
Let l(m) = -2*m**2 - 6*m - 7. Let w(d) = -d**2 - 3*d - 3. Let y = 44 + -37. Let z(t) = y*w(t) - 4*l(t). Let b be z(-3). Do b and 8 have different values?
True
Let v be ((-2)/548)/(1 + (-9)/10). Do v and -1 have the same value?
False
Let x = -50 - -52. Let b = 50 + -251/5. Which is smaller: b or x?
b
Let f = 18 - 16. Suppose -f*u - u = 3*r - 6, 2*r = -