62. Let g be z(0). Which is greater: g or -160?
-160
Let o = 14361 - 1278102/89. Does o = -1?
False
Let c = -2.061 + 2.461. Are 59 and c non-equal?
True
Let k(p) = -p**2 - 4*p + 47. Let s be k(-14). Let o = -92 - s. Which is smaller: 1/27 or o?
1/27
Let t(a) = -a**3 + 2*a**2 + a. Let x be t(3). Let g be 1/((-32)/x - 1). Suppose 2*k + 18 = -5*l, -2*l - 10 = -4*k + 2*k. Which is greater: g or k?
k
Suppose 22 - 14 = 4*z. Let w = 4 - 5. Is z >= w?
True
Let g be 1/(-2) + 21/2. Let f = g + -9. Are f and 2/123 equal?
False
Let w = 18 + -18.19. Let n = -100 + 99.89. Let g = w + n. Is g > 2/5?
False
Let c = 12229 - 379053/31. Is c at least as big as 2?
False
Let b be (-3 - 11/(-4))/((-132430)/(-304)). Is 0 at least b?
True
Let b be 5/10 + (-3)/(-6). Suppose -y = 5*p - b, 3*y + p - 4*p = -33. Which is smaller: y or -49/5?
-49/5
Let p = -187 + 186. Let u = -1 + 0. Let t(q) = -q**3 - 2*q**2 + 1. Let v be t(u). Which is greater: v or p?
v
Suppose -2*j = 3*j + 5. Suppose -4 = -2*g - 0*g. Suppose -g = 4*m + 2. Is m less than j?
False
Suppose 20*g + 9 = 23*g. Suppose k = g*m + 43, -5*m + 2*k - 55 = -3*k. Let v = m - -15. Is v at least 2/19?
False
Let c be 4/12 - (-10)/6. Let s be (-3 + 5 - 2)*c/(-8). Is 1/50 equal to s?
False
Let w = -2 - -7. Suppose 3*b - 3 = -w*l, 5*l - 2*b = -4 + 2. Which is greater: l or -11?
l
Let g(o) = -o**3 + 14*o**2 - 10*o - 12. Let s be g(13). Let z = -12 + s. Is 15 less than or equal to z?
True
Let q = -30 + 32. Suppose -13 = -3*d + 14. Let c = -5 + d. Are c and q nonequal?
True
Let a(h) = -6*h - h + h**2 + 8 - 2*h**2 + 5. Let j = -67 + 58. Let z be a(j). Are z and -11/3 non-equal?
True
Let p be 61/24*(-30)/(-14). Let s = 39/7 - p. Let n(d) = -531*d + 3717. Let o be n(7). Which is smaller: s or o?
o
Let o be (-62)/4*(-8 - (-4 + -6)). Which is bigger: o or 2?
2
Let x = 1243 - 218769/176. Which is greater: 1 or x?
1
Let m = 42 - 49. Which is smaller: -12 or m?
-12
Suppose -2*d = -3*a - 0*a - 27, 16 = -4*a - 4*d. Suppose 3*r = 4 + 8. Let i be (-3)/7*a/r. Which is greater: 0 or i?
i
Suppose t = 5*y + 45, 0*t = -y + t - 5. Let r(q) = 2*q + 12. Let p be r(-4). Suppose -p*v + 3*v = 10. Is y > v?
False
Let h be (-18 + 0/4)*-1. Let p be (34/3)/((-22)/(-33)). Is p bigger than h?
False
Suppose 2296 = y + n, -2*y + 3*n = 3377 - 7989. Let j = y - 39128/17. Let i = 230/119 + j. Which is smaller: 2/15 or i?
2/15
Let p be (-6)/9 + 14/12. Let h = 87.17 + -47.43. Let t = h - 40. Is t smaller than p?
True
Let p(u) = -u**3 - 27*u**2 - 54*u - 9. Let i be p(-2). Is -1/228 equal to i?
False
Suppose 0 = 8*d - 10*d + 8. Suppose d*t + 5*c = 5*t - 25, -t - 3*c = 15. Is 2 at least as big as t?
True
Suppose -3*w + 4*w - 1 = 0. Suppose 0 = s - w + 2. Let f = 35/78 - -2/39. Do s and f have the same value?
False
Let j(r) = -r**3 + 12*r**2 - 2*r + 3. Let d be j(12). Let h be (-6)/d + (-46)/63. Which is greater: h or -1?
h
Let o be (2/(-6))/(5/135). Let w be 1*28*14/28. Suppose w = 10*u - 12*u. Does o = u?
False
Suppose -5*q + 3*z = 5*z, 3*q + 5*z = 0. Suppose q = -m - 0*m. Is m at most 3?
True
Let q be (3 - (-486)/237) + -5. Let h = -106/1027 - q. Which is bigger: -9 or h?
h
Let i be 1/(-3)*1 - (-669)/9. Let y = i - 75. Is 2/23 != y?
True
Let l = -73 + -11. Is -85 greater than l?
False
Suppose u + 2*a = a - 20, 47 = -2*u + 5*a. Let z(s) = 2*s + 31. Let j be z(u). Is j greater than -11?
False
Suppose -3*a - 12 = 0, o + 5*a - 104 = 2*o. Let n = 867/7 + o. Is 1 at most as big as n?
False
Let m = 163 + -158. Let q(i) = i - 1. Let u be q(4). Which is smaller: m or u?
u
Let c(m) = m**3 + 8*m**2 + m - 1. Let y be c(0). Which is smaller: 1 or y?
y
Suppose 2*b - 70 = -22. Suppose 0 = -10*p + 138 + 82. Do b and p have the same value?
False
Let j = 4 + -1. Let r = 5 - j. Suppose 4*u = t - 40, 5*t - 30 = r*u + 2*t. Do u and -10 have different values?
True
Let w = -1.615 + 1.66. Is 1 less than or equal to w?
False
Let l = 39 + -32. Let i(q) = 3*q + 15. Let m be i(-6). Is m greater than or equal to l?
False
Let o(x) = -x**3 - 4*x**2 - 3*x - 2. Suppose 10*l = 2*l - 24. Let j be o(l). Let i be -2*(j - 1) - 3. Which is greater: 2 or i?
i
Suppose 0*a + 21 = -3*a. Let t(n) = -3*n**3 - 15*n**2 + 2*n + 5. Let u be t(-5). Which is smaller: a or u?
a
Let w(g) = -6*g**3 + 10*g**2 - 6*g. Let v be w(6). Let t be (-6)/(v/(-330)) - 1*-2. Which is smaller: 1 or t?
t
Let b = -242 + 129. Let l = -104 - b. Do -5/3 and l have different values?
True
Let t = 0.3 + -0.2. Let q(c) = -c**3 - 5*c**2 - c + 6. Let y be q(-5). Suppose 5*o + 4 + 16 = 5*f, -2*f + y = -5*o. Is t at most as big as f?
True
Suppose 5*x - 5*i = 20, 2*i = 50*x - 55*x - 15. Is -25/18 != x?
True
Suppose -4*u - 13 = -3*b, -2*u - 2*u - 21 = 5*b. Which is smaller: -16/33 or b?
b
Let r be ((-8)/(-6))/((-6)/(-90)). Let c be 42/r*(-45)/(-108). Is c smaller than 1?
True
Let b = 0.7 + -0.5. Suppose 3 = s - 2. Suppose -6*k + 4 = -s*k. Do k and b have the same value?
False
Let w = -5235 + 5229. Suppose 3*b = -4*u + b - 4, 0 = 4*u + 4*b. Which is smaller: w or u?
w
Let u be (-21)/(-7)*1/3. Let c be (-1 - -3)/(-6 + -3). Is u > c?
True
Suppose -5*k - 1 - 14 = 0. Let d be 2/k*3 - 4. Do -4 and d have the same value?
False
Let m = 20.8 + -20. Let u(d) = -6*d**3 - 3*d**2 + d + 2. Let w be u(1). Which is greater: m or w?
m
Let z be -14*(-15)/40 + -1 - 4. Is 4/15 equal to z?
False
Let b(f) = -2*f**3 - 2*f**2 - f - 2. Let x be b(-1). Which is bigger: x or 2/141?
2/141
Let v(n) = n**3 - 4*n**2 - 4*n + 4. Let x be v(4). Which is smaller: x or 0?
x
Suppose 0 = -5*v - 2*i - 3, -v - 4*i = -0*i - 3. Is v less than -3/257?
True
Suppose -59 = 5*y + 5*o - 14, -3*o - 36 = 4*y. Let j be (y - 3)/(-4) + -1. Suppose 0 = 4*g + 4*n - 12, 4*g - 30 = 3*n + j*n. Which is smaller: g or 4?
4
Let k be 1*(22/(-33))/(2/3). Which is greater: -16/43 or k?
-16/43
Suppose -3*g - 80 = -4*g. Let v be (480/9)/(10/15). Is g less than v?
False
Let u = -164283/103 - -1595. Is 1/4 < u?
False
Let b = -2789047/472 + 5909. Which is bigger: 0 or b?
b
Let o(m) be the second derivative of 0 - 3/2*m**3 - 11/2*m**2 + 11/12*m**4 + 3*m - 1/20*m**5. Let a be o(10). Which is smaller: a or 1?
a
Let c = 91509/14 - 6532. Let r = c + -34/7. Which is bigger: -2 or r?
r
Let o be 21/(-1)*((7 - 4) + -2). Let p be 9/(-4)*(70/o)/5. Are p and 6 equal?
False
Let n = 198.076 + -1.076. Do -1 and n have the same value?
False
Let j(f) = -2*f**2. Let b be j(2). Suppose -3*w - 3*g - 44 = 2*w, -3*w - 5*g = 20. Which is smaller: w or b?
w
Let b = 6.34 + -7.34. Is b at least as big as 12.63?
False
Let i(z) = -2*z + 22. Let g be i(10). Suppose 3*b - 3*o = -15, 5*b - g*o + 6*o = -16. Let m(a) = a**2 - 9*a + 9. Let k be m(7). Which is greater: k or b?
b
Let a = -5 + 7. Let k be -6 - (-6 + a + 2). Let o be (-10)/6*27/18. Which is greater: o or k?
o
Let k = 23.5 + -26.6. Is -2 >= k?
True
Suppose 0 = -33*q + 30*q + 96. Let f be q/6 + 3/6. Which is bigger: f or 6?
6
Suppose -3 - 13 = -4*k. Let z(y) = -y**3 - y**2 - 16. Let j be z(-4). Let c be ((-104)/j)/((-21)/24). Which is bigger: k or c?
k
Let c = 0.539 + -1.039. Let t = 1.7 - 3. Let a = t - -0.3. Is c bigger than a?
True
Let a(g) = 2*g + 9. Let j be ((-85)/(-68))/(1/(-4)). Let s = -9 - j. Let i be a(s). Is 3/29 at least i?
False
Suppose -4*b = 5*p - 618, -2*p - 5*b = 28 - 282. Is 3/4 less than p?
True
Let w(j) = -j**2 - 38*j - 101. Let s be w(-3). Which is smaller: s or -12?
-12
Let h(f) = -14*f - 14. Let t be h(6). Which is smaller: -97 or t?
t
Let p = -31 - -26. Let n be (4/10)/((-2)/p). Is 1/11 != n?
True
Let y(j) = j**2 + 2*j - 19. Suppose -4*q - 5*g + g = 28, 5*g = -5. Let w be y(q). Which is greater: w or 14?
14
Suppose -2800 = 12*y + 944. Is y <= -311?
True
Let g(w) = -2*w**2 + 3*w**2 - w - 2*w + 17 - w**3 + 3*w**2. Let o be g(4). Which is smaller: o or 4?
4
Let o = -9.2 - -86.2. Let z = o - 77.7. Let r = 5 - 7. Which is smaller: r or z?
r
Let b = 1685 - 1843. Is -158 at least b?
True
Let v(g) = 2*g - 3. Let o(k) = -1. Let b(s) = 4*o(s) - v(s). Let a be b(0). Is a less than 1/10?
True
Let i = 1700182/39 - 43592. Which is smaller: 1 or i?
1
Let j = 83 - 91. Let g be (-2)/j - (-3 + 127/(-4)). Is g > 35?
False
Suppose -18 - 72 = -5*y. Let u be 8/3*y/12. Suppose 4*h - 4*o - 1 + 9 = 0, -10 = u*h - 3*o. Do -6 and h have the same value?
False
Let l(o) = -180*o + 9. 