z**4/12 + z**2/2 + z. Let k be d(n). Which is smaller: -1 or k?
-1
Let c = 0.006 - -19.994. Let b = 104.8 + -125. Let l = c + b. Which is smaller: l or 0.1?
l
Suppose 0 = -4*p - 4*d + 24, 4*d - 7 + 28 = 5*p. Suppose 9*u - p*u = -8. Which is smaller: u or -7?
-7
Let d = -19/10 - -2. Do -13 and d have the same value?
False
Let q = -18/317 - 3772/11729. Which is smaller: q or 0?
q
Let y(v) = v**3 - 4*v**2 - 3*v + 17. Let f be y(2). Which is smaller: 30/7 or f?
f
Let u = -17 - -24. Suppose -u*a + 2*t + 10 = -2*a, 0 = -t - 5. Does -5/4 = a?
False
Let p = -21 + 26. Let w = p + -5.02. Let m = -0.12 - w. Is m equal to -15?
False
Let x = 1/6940 + -791173/90220. Is -10 less than x?
True
Let r = -51/20 + 1133/460. Suppose 5*m - 9 = 2*l, 3 = -4*m - 5*l + 30. Suppose y = 0, -m*y + 2 = h + 3. Is h at least as big as r?
False
Let y be 1 - (-2 + 1 + -10). Let t(i) = 9 - 28*i - 24 + 29*i. Let s be t(y). Which is smaller: s or -2?
s
Let w be (-8 + 15)*18/2. Let x be w*(-2 + 4)/6. Which is greater: 20 or x?
x
Suppose -6*y + 2*y + 20 = 0. Let f(g) = -g**3 + 3*g**2 + g + 16. Let l be f(y). Is -30 < l?
True
Let m(j) be the second derivative of -j**4/12 - 2*j**2 - 6*j. Let h be m(0). Which is smaller: h or -5?
-5
Let d(b) = -3*b - 64. Let w(r) = 14*r + 7. Let c be w(-2). Let s be d(c). Which is smaller: s or -3?
-3
Suppose 0 = -3*n - 2*p - 326, 425 = -3*n - 5*p + 87. Which is greater: n or -103?
-103
Let j(r) = -8*r**2 + 12*r - 18. Let s be j(8). Let a be s/(-8) + 30/(-10). Let f = -51 + a. Which is smaller: f or 7?
f
Suppose 0 = -5*g - o - 958, 7*o - 950 = 5*g + 12*o. Is -767/4 not equal to g?
True
Let s be (231/84)/(2/80). Let f = s + -104. Is f > 7?
False
Let t be -7*3/(-35)*-5. Is 2/19 greater than t?
True
Let y = 0 + 7. Suppose -o - r + 2 = 0, 0 = 5*o - 0*r + 3*r - 16. Let a be (y/o)/(24/20). Which is smaller: 0 or a?
0
Suppose 3 = -2*c + 7. Let x(o) = o**2 + 6*o + 9. Let d be x(-6). Let w be ((-4)/(-12))/(2 + (-15)/d). Which is greater: c or w?
c
Let b(u) = -9*u + 109. Let o be b(12). Let h = -28604/11 - -2603. Let y = -584/209 + h. Is y >= o?
False
Let g = 56.005 + -56. Which is smaller: g or -0.3?
-0.3
Let r = -401 + 427. Are r and 22 nonequal?
True
Suppose 2*b + n = 74, 4*n - 116 = -2*b - b. Let c be 90*(12/(-20) + 1). Are b and c nonequal?
False
Let m = 50091225624051457/66633 + -751748017078. Let j = m + -5137/167. Let q = 2/133 + j. Which is smaller: q or 2?
q
Suppose -4*f + 5*v = 19, -3*f - 3*v = -2*f - 8. Let b be ((-72)/(-33) - f) + -3. Is -10 greater than or equal to b?
False
Let l(x) = -x**3 + 16*x**2 - 26*x - 26. Let u be l(14). Let w = 59/42 + 2/21. Is w greater than or equal to u?
False
Suppose 2*u - 8 + 34 = 0. Let a be 5/((-15)/6)*-1 - 1. Let g be a/5*(u + 18). Which is smaller: g or 4?
g
Suppose 11 = 4*t + 3*h, 6*t - t - 3*h + 20 = 0. Let r = -11 - -10. Let d be t*(16 + -1 + r). Which is smaller: -13 or d?
d
Let t(j) = 115*j**2 - 3*j - 2. Let n be t(-3). Let r = -651 + n. Let f = r - 1575/4. Is -4 at most as big as f?
True
Let m = 35 + -23. Let g be -3 + m/8*-2. Suppose 4*k = 5*d + 56, 0 = 2*d - 0*k + 2*k + 8. Do d and g have the same value?
False
Let n be (39 - 1)*8/(-704). Let w = n + 2/11. Let p = 8.9 - 9. Does w = p?
False
Suppose 2*r = 4*r - 32. Suppose -r = 5*v - 9*v. Suppose -3*j - 11 = 4*m - 3, v*m + 2*j = -4. Is m >= 2/29?
True
Let z = -1199/12810 - 1/610. Let m = 19847 - 19850. Are m and z nonequal?
True
Suppose 3*v + 3*q = 6, 2*v + 2*q + 2 = 6*v. Let i be (-2)/(-8)*6/18. Which is greater: v or i?
v
Let g = -1.93 - -2. Let o = g - 0.08. Let v = 80/3 + -27. Which is greater: v or o?
o
Let i(j) = j**3 - j**2 + 33. Let c be i(0). Suppose 38 + 6 = 3*p - l, -36 = -3*p - 3*l. Let q = p - c. Is -20 at most as big as q?
True
Let m = -57 + 63. Let a be ((-2)/m)/((-14)/42). Is a at most 1/9?
False
Let z(q) = q**3 + 13*q**2 + 12*q - 1. Let l be z(-12). Let t be (-3 + 3)*l/(-2). Let m(v) = v**2 - v - 2. Let p be m(t). Which is smaller: p or 4?
p
Let t be (-4)/(-6)*(-5 + 20). Suppose -t*o = -15*o + 20. Suppose -2*k = -4*i - 4*k + 20, -o = i - 4*k. Which is bigger: 6 or i?
6
Suppose j - 4*g = -176, -200*j + 196*j = -2*g + 732. Are -184 and j equal?
True
Let t = -100247 - -11726716/117. Let s = 170/9 + t. Which is smaller: 0 or s?
0
Let c = -838 - -890. Are 55 and c unequal?
True
Suppose -2*a = 5*g + 4 - 15, a = -3*g + 6. Let i be 3/2*(-11 - -15). Let w = i - 3. Is a greater than or equal to w?
True
Let l = 83 + -215. Let g = l - -132.1. Which is greater: -2 or g?
g
Let x(s) = 9*s + 9. Let h be x(4). Which is greater: 588/13 or h?
588/13
Let m be 9/(-6)*((-16)/6)/1. Suppose 2*q = 4*s + 14 + m, 3*s + q = -6. Do -2/3 and s have the same value?
False
Let t be 1/(-2) + (-26)/4. Suppose 4*z + z + 207 = 4*j, -4*z - 5*j = 141. Let h = -45 - z. Which is smaller: h or t?
t
Let u be 7/(35/(-120))*-3. Let p be (6/u)/(6/4). Are p and 0 unequal?
True
Let q = -5 + 10. Suppose 69 = 5*o + 4*b - 1, q*b = 5*o - 115. Suppose -92 = -5*j + 3. Which is smaller: j or o?
o
Let p = -1.6 + -6.4. Let n = 17.9 + -18.037. Let k = -0.237 - n. Is p <= k?
True
Let o = -14 - -19. Suppose o*i + 12 = 2*b, 0*b - i - 1 = b. Suppose -4*c + 4*c = -7*c. Is b <= c?
False
Suppose 42 = 10*y - 3*y. Let h be (y/21)/((-2)/(-7)). Let z = -339/22 + 31/2. Which is smaller: h or z?
z
Let n be (-12)/16 - (-3)/4. Suppose -4*z = -2*i - 0*z + 818, 2*i = -2*z + 848. Let o = 2927/7 - i. Is o at least as big as n?
False
Let y = -110 - -109.934. Let j = 0.012 + y. Is -0.1 bigger than j?
False
Suppose 0 = 5*d - 32 - 33. Which is bigger: -3 or d?
d
Let o(r) = r**2 + 1. Let m be o(2). Let n be (-274)/(-30) - ((-141)/(-45) - 3). Are m and n equal?
False
Let r be (4 + (-30)/9)/((-4)/(-30)). Suppose -2*m = -3*c - 72, 3*c = r*c + 2*m + 58. Which is bigger: c or -27?
c
Suppose 0 = -14*d - 18*d + 32. Which is smaller: -106 or d?
-106
Let m = 78 - 73.9. Let u = -7 + m. Let b = -0.9 - u. Which is smaller: b or -9?
-9
Let x = -424 - -425. Which is bigger: 1/29 or x?
x
Let r = -180047/30 + 6001. Is 0 less than r?
False
Suppose 4*z - 5*c - 36 = 0, 16 = 3*z - 5*c + 4*c. Suppose -78 = -4*k - 22. Suppose -6 + k = -z*b. Is -10/13 bigger than b?
True
Let v = 1.4 - -3.6. Is -1/3 bigger than v?
False
Let q be 0*4/(-20) - 1. Let p be (-276)/(-756) - (-4)/(-18). Is q greater than p?
False
Let b = 13 - 11. Let j be (b/(-14))/((-3)/18). Let r = j + -45/28. Which is smaller: r or -1?
-1
Let o = 2.62 + 4.42. Let k = 0.04 - o. Let j = -14 + 13. Which is smaller: j or k?
k
Let n = -10 - -8. Let w = -10 + 7. Let k be 0/w + (-1)/(-2). Are n and k nonequal?
True
Suppose 0 = 5*l + 15, 2*o - 4*l - 1 = 11. Let v be (266/231)/(2/(-177)). Let s = -102 - v. Which is smaller: s or o?
s
Let p = -8552/5 - -1695. Is -15 smaller than p?
False
Suppose -5*z - 3*x = 40 + 32, -z + 5*x = -8. Let m be 12/(-16) + 219/z. Let k = 18 + m. Is k > -2/63?
False
Let t be 7/3 + (-5)/15. Let p be (-49 + 3)/(0 - t). Which is greater: p or 22?
p
Let c = -9.1 + -1.9. Let f = c + 10.98. Let b = -0.02 - f. Are b and 1 equal?
False
Let q = 82 + -166. Is q < -82?
True
Let l = -556/285 + 336/19. Which is smaller: l or 15?
15
Suppose -6 = -3*j, -5*j = 3*s + 126 + 179. Is -106 smaller than s?
True
Suppose 0 = 2*c + 10, 0 = 6*f - f - 3*c + 1060. Is f at least -216?
True
Let q be (-156)/79 + -5 + 7. Suppose 2*j + 20 = 3*j + 4*m, 0 = 2*j - m + 5. Which is bigger: j or q?
q
Suppose 333 = s - 10*s. Let l = 42 + s. Which is greater: 8 or l?
8
Let k = 34.8386 - -0.0614. Which is smaller: -1/4 or k?
-1/4
Let x(z) = -z**3 + 89*z**2 - 2*z + 177. Let i be x(89). Let o be (-78)/(-82) + (-2)/2. Which is bigger: i or o?
o
Let t be (-40)/(-5)*-2*(4 - 1). Is t >= -48?
True
Let f be 2/4 + (-9)/(-18). Which is smaller: f or -3/101?
-3/101
Let n be ((-1156)/(-119))/(4/14). Which is smaller: 25 or n?
25
Let s be (3/1095)/(6/15). Is s at least 1?
False
Let g(f) = -4*f + 7. Let b be g(8). Let t = -161 - -138. Is t <= b?
False
Let m be (-1)/(-4) + (-700)/(-16). Let h = 27 - m. Is -18 less than h?
True
Let g = -37 + 11. Let t = -270 - -246. Is g bigger than t?
False
Let f = -7 + -38. Let b = f - -43. Is -17 at most b?
True
Let u = 23.023 + -0.023. Let q = -23 + u. Which is greater: q or 0.2?
0.2
Let g(x) = x**3 + 6*x**2 + 3*x + 8. Let v = -55 - -49. Let d be g(v). Is -51/5 at least d?
False
