rivative of m**6/120 - m**5/12 - 7*m**4/24 + m**3/6 + m**2. Let b be r(6). Is k <= b?
False
Let d(w) = -w**3 + 7*w**2 + 8*w + 10. Let c be d(8). Let u = -59.7723 - 0.1277. Let r = -60 - u. Which is greater: r or c?
c
Let j = -4007 - -20101/5. Let y = -1376933/102990 + 10/3433. Let d = j + y. Is 0 less than or equal to d?
False
Suppose -t = 2*t - 39. Let n = 16 + -27. Let j = t + n. Is 3/4 smaller than j?
True
Let g be (-20)/15*(-11922)/76. Let m be (-3350)/(-16) + 48/(-128). Let s = g - m. Which is smaller: 0 or s?
0
Suppose 6*i - 36 = 2*i + 4*f, 2*f = -3*i + 2. Suppose i*v + 18 = -42. Let j = v - -12. Is -11/6 > j?
True
Let c be (3 + -2 + 2)*-5. Let k be 53/5 + (-6)/c. Which is greater: k or 9?
k
Let m be -1 + (-68)/14*1. Let p = -4 - 3. Which is smaller: m or p?
p
Let k be 11 - 2*1/2. Let r = 20 - k. Suppose 2*y - 4*z - 18 = 0, -r = -0*y - 2*y + 2*z. Does y = -1/5?
False
Let t = 35 + -32.9. Let i = -53393/2 - -26697. Which is smaller: t or i?
i
Let z be ((-49)/245)/((-2)/(-10)). Are 2/89 and z equal?
False
Let l = 29/6 + -5. Let f be (1 - -2)/((-3)/3). Let g be f/(-3) - 2*1. Which is smaller: l or g?
g
Let b(t) be the first derivative of -t**3/3 + 4*t**2 + 21*t + 1. Let o be 11 - (4 - 3)*1. Let a be b(o). Is -32 at least as big as a?
False
Let n = 804 - 5636/7. Which is smaller: 19/2 or n?
n
Let f = -6113 + 6109.067. Let x = -0.067 + f. Which is greater: -11 or x?
x
Let v(k) = 7*k**3 - k**2 - k. Let h be v(1). Let t be 1/(-3)*5*-3. Are t and h unequal?
False
Suppose -3*m = -7 - 2, 3*p + 465 = -4*m. Which is bigger: -1 or p?
-1
Suppose -28 = -7*j - 42. Which is smaller: j or -10/9?
j
Let v = -877 + 788. Is v > -89?
False
Let s = 12 + -29. Let x = 2244 - 2260. Is x at most s?
False
Let n = 4773989/102 + -46803. Let h = n + -5/34. Which is smaller: 0 or h?
0
Let a = 541 + -542. Is 451 at least a?
True
Suppose -21*u = 25*u + 690. Which is smaller: u or 9?
u
Let z be (12/(-8))/(870/(-38)). Let j = z - -1/29. Let t be -2*((-6)/4 - -1). Is j equal to t?
False
Let f = -8.906 - -8.98. Is 5 >= f?
True
Let b = -43.3 - -43.4. Is b > -157?
True
Let g = -51/2 - -26. Let j = -12 + 28. Let n = -18 + j. Is n >= g?
False
Let v(y) be the first derivative of -y**4/4 + y**3/3 - 4*y + 3. Let z be v(0). Which is greater: z or -8/3?
-8/3
Let q be -2 + (-215)/(-25) + (-4)/(-10). Suppose q*m - 5*m = 30. Is 14 at least m?
False
Suppose -4*d - 2*t = 240, 0 = -5*d + 5*t - 3*t - 300. Let o = -42 - d. Is o at most as big as 18?
True
Let w be (-8 + (-75)/(-10))*0. Are 19/30 and w equal?
False
Suppose 0 = 3*b - 0*b + 72. Let l(f) = -5*f. Let m be l(5). Which is bigger: b or m?
b
Let a(t) = t**3 - 4*t**2 + 2*t - 11. Let q be a(4). Let v = 7 + -12. Let o = 1 + v. Is q smaller than o?
False
Let b be (-902)/1640 + (-1)/4. Are -0.088 and b nonequal?
True
Suppose -80 = -13*z + 635. Suppose -t + 11 = z. Which is smaller: t or -46?
-46
Let k be (2/16 + 0)/(-6). Let c be -2 + (1/2)/(6/12). Which is bigger: k or c?
k
Let k(u) = -2*u**2 - 13*u + 11. Let x be k(-7). Suppose -2*d = 5*f - 25, 2*f - 14 + x = -d. Is d at least as big as -2/187?
True
Let g be ((-216)/10)/(-4) + -4. Suppose 12 = 2*n + q, -3*n + q = -q - 11. Suppose -3*w + n = k, 3*w = 5*k - 20 - 5. Which is bigger: w or g?
g
Suppose 3*d + 4 = 4*d. Suppose -i + d = 13. Let z = i + 8. Which is smaller: z or 2/35?
z
Let n be 7/((-7)/1)*-1. Which is bigger: n or -2/7?
n
Suppose 0 = -5*q + 159 + 111. Suppose -2*s - q = s - 5*h, h = s + 18. Let b be (-3)/s + (-4)/(-48). Is b at most as big as -1?
False
Suppose -3*z + 9 = 0, 5*h - 4*z + 5 - 13 = 0. Let t be (18/14)/((-1)/(-3)). Is t at most h?
True
Let y be (2/(-6))/(26/(-216)). Suppose -26 + 10 = 19*g - 54. Which is greater: y or g?
y
Let t be -6 + 4/(-16)*-81. Which is greater: 15 or t?
15
Suppose -77*c = 10*c. Which is greater: -11/37 or c?
c
Let n be 2/7 + 528/(-84). Let t(q) = q**3 + 9*q**2 + 3*q + 11. Let a(l) = l**2 + l + 1. Let w(h) = n*a(h) + t(h). Let f be w(-4). Are -1/4 and f non-equal?
True
Suppose -15*q - 13*q - 7084 = 0. Which is smaller: -254 or q?
-254
Let s(j) = -j**3 - 9*j**2 - j + 5. Let g be s(-9). Let b be (g/(-147))/((-14)/(-428)). Let y = -12/49 - b. Which is smaller: y or 3?
y
Let n be (3852/(-504))/(1/4). Which is greater: -32 or n?
n
Let w be (-1155)/(-13) + 2/13. Let a = w - 53. Let f be (2/4)/(18/a). Which is bigger: 1/2 or f?
f
Suppose 0 = 2*k - k + 61. Which is smaller: -63 or k?
-63
Let h(o) = -2*o**3 + 38*o**2 - 21*o - 55. Let d be h(18). Are 215 and d nonequal?
False
Let a = 9 - 9.07. Let l = -265 - -265.17. Let o = a + l. Is 0.2 at least as big as o?
True
Let s = 1567290 + -39195029/25. Let z = 511 + s. Which is greater: -1 or z?
z
Let m = -52 + 151/3. Let z = -416 - -415. Is m greater than or equal to z?
False
Let f be (0 + 2)*6/4. Let y be (-19)/114 + (-13)/(-6). Which is greater: y or f?
f
Let d = -61 - -37. Let f be ((-10)/39)/(d/(-36)). Which is smaller: 0 or f?
f
Let m = 426 + -449.7. Let w = m - -10.5. Let g = 13 + w. Is -10 at least as big as g?
False
Let w = 5251 + -26374/5. Which is greater: -25 or w?
w
Let o = 41 - 62. Let j = 21.06 + o. Let n = 0.14 - j. Do n and 0 have the same value?
False
Let c = 28 - 27. Let u(f) = -14*f**3 - f**2 + f - 1. Let j be u(c). Let a be (1 - (-20)/j)/1. Which is smaller: 3 or a?
a
Let l = -325 + 320. Is l less than 32?
True
Suppose -12*h - 5*s = -10*h + 844, 0 = h - 5*s + 452. Which is smaller: -431 or h?
h
Let u(x) = x**3 - 5*x**2 + 2*x - 5. Let o be u(5). Suppose -8*i + 3*i = o*i. Which is greater: -1/19 or i?
i
Let l = -181 + 53. Is -128 greater than l?
False
Let v = -13 + 53. Suppose 5*z - 10 = v. Let k be (z/(-12))/((-3)/6). Is 1 at least k?
False
Let h = -5 + 10. Let m = -443 - -448. Is m smaller than h?
False
Let i = -17 + 9. Let x = -3 - i. Suppose h = 6*h - x. Which is smaller: 4/5 or h?
4/5
Let i be (-1)/3*(-3)/(-1). Let f be 0 + -2 + i - -2. Let o be ((-1)/(-5) + f)*5. Which is smaller: o or 1?
o
Let h = 134393/178 + -755. Which is smaller: 0 or h?
0
Let g be (-3)/((-12)/56)*1. Suppose -4*x = -3*x + 4*q + g, 3*x - q = -3. Let u be x/(-3)*6/16. Are -4 and u equal?
False
Let k(c) = c**3 + c**2 - 2*c + 1. Let f be k(1). Let u = f - 2. Let s be 3/(-12)*((-138)/(-57) - 2). Is s >= u?
True
Suppose 11*f + 11 = 10*f. Let b = f - -1. Which is greater: b or 1?
1
Let d(b) = -b**2 + 10*b + 25. Let p be d(12). Suppose -59 = w - 103. Is w greater than or equal to p?
True
Let o(w) = -w**2 - 16*w - 30. Let j be o(-13). Let v(x) = x + 21. Let p be v(j). Which is greater: 29 or p?
p
Let g = 4.9 - 5. Let l = 1215 + -1167. Is l at least g?
True
Let g be -2*(34/4 - 8). Is -8/15 not equal to g?
True
Let g(a) = -a**2 + 1. Suppose -5*k + 3*h = 2, -k = 4*k - 2*h + 3. Let n be g(k). Suppose -4*o + 10 = -2*j, -4*j + 16 = -n*o + 4*o. Which is smaller: j or 2?
j
Let l(z) = -z**2 - 11*z - 5. Let c be ((-1)/3)/((-8)/192). Suppose -5*u = -6*u - c. Let v be l(u). Is v at least 17?
True
Let o(c) = c**3 + 4*c**2 + 4*c + 3. Let b be o(-2). Let j be 11 + (-4)/(-1 - -2). Suppose -j + 6 = -g. Do b and g have the same value?
False
Suppose -4*n = 3*f - n - 33, 5*f + 4*n = 60. Let o be -1*(376/f + (-2)/4). Is o at least as big as 1/6?
False
Let j = 34.7 - 7.7. Let d = -27 + j. Are -18 and d nonequal?
True
Let d(h) = h**3 + 8*h**2 - 2*h - 12. Let g = 1 + -9. Let m be d(g). Which is greater: m or 3?
m
Let p be ((27/44)/9)/((-1)/2). Is p greater than or equal to -1?
True
Suppose 0 = -4*t - 11 + 23. Suppose -3*x = -0*m + 4*m + 10, 0 = -t*x - 3*m - 12. Is x at least as big as -1?
False
Let d be 3 + 1*(-6)/3. Let t be (-3)/(-2)*12/9. Let f = t - 2. Are f and d equal?
False
Let q = 44927/11 + -4087. Is -3 at least as big as q?
False
Let f = -290 - -290. Is 1/4 at least f?
True
Let c = 0.054 - -0.046. Which is bigger: 183 or c?
183
Let a(l) = -l**2 - 16*l - 43. Let f = -94 + 79. Let v be a(f). Which is smaller: v or -30?
-30
Let z(x) = x. Let q(c) = -c**2 - 6*c + 8. Let r(m) = -q(m) + 6*z(m). Let b be r(-7). Is -2 bigger than b?
True
Let v = -165 - -155. Is 1.9 != v?
True
Let x = 0.073 - -68.927. Let r = x + -67. Which is smaller: r or 0?
0
Suppose 7*s - 2*s = 15. Suppose -s*w - 2*w = 15. Is w < -10/3?
False
Let p = -39 - -31. Let a be ((-3)/(-27))/(p/(-60)). Is 1 at most a?
False
Let m = -3602 - -3603. Let w be 98/30 - (-4)/10. Which is 