ger: -3 or c?
c
Let f(v) be the third derivative of -1/6*v**3 - v**2 - 1/120*v**6 - 1/12*v**5 + 0*v - 1/24*v**4 + 0. Let w be f(-5). Is 2 less than or equal to w?
True
Suppose 10*l - 7*l = -3. Suppose -t = -2*t + 1. Which is bigger: l or t?
t
Let n = 0.1 + -0.1. Let y = -16.2 - -18. Let l = y - 2. Which is smaller: n or l?
l
Let o(m) = m**3 + 8*m**2 - 3*m - 22. Let w be o(-8). Is 2 greater than w?
False
Let y = -9/7 - -29/28. Let g = 1 - 1. Suppose -m - 4 = g, 2*s + 2*s + 20 = -5*m. Which is smaller: y or s?
y
Let f = -59/126 + -2/63. Let i(h) = -3*h - 39. Let s(l) = -l - 13. Let j(k) = 3*i(k) - 8*s(k). Let x be j(-11). Which is smaller: f or x?
x
Let n be 3/(-9) - (-1478)/3978. Let o = n - -2/153. Is o greater than 0?
True
Suppose -296 = -k + 5*k. Is -73 < k?
False
Suppose w - 21 = 5*t + 23, 2*t = 3*w - 28. Is -50/7 less than or equal to t?
False
Let y(f) = 1 + 2 + 3 + 2 - f. Suppose 3*c - 2*c + 3*r = 6, -2*r - 2 = 0. Let s be y(c). Which is smaller: -2/5 or s?
s
Let r = 2 - 0. Let x = r - 2. Let k = -0.05 + -0.15. Is x smaller than k?
False
Let p = -89 + 90. Which is smaller: 3/11 or p?
3/11
Let q be (-1)/3*-3*1. Let l be (11/3 + -3)*48. Let r be -1 + l/15 + -1. Which is smaller: q or r?
r
Let j(p) = p**3 + 6*p**2 + 8*p - 2. Let o be j(-6). Let l be 2/(-9) + o/18. Let m(b) = 3*b + 3. Let s be m(l). Which is smaller: -1 or s?
s
Let h(j) = -j**2 - 2*j + 9. Let w be h(-4). Which is smaller: 5/6 or w?
5/6
Let d be 4/6 + (-12)/30. Let k = d + 2/15. Let x be 0 + -1*2/(-4). Which is smaller: x or k?
k
Let n = 8 + -16. Suppose -4*m + 7*m = -21. Is n greater than m?
False
Suppose 3*w - 41 = -5*j, -3*w + 4*j = w - 12. Which is smaller: 6 or w?
6
Suppose 3 = t + 2*v, -v = -t - 0*v. Let p be 384/270 - 4/18. Is p smaller than t?
False
Let r = -4.8 - -4. Let k = r + -0.2. Let p = 0.18 + -0.08. Which is smaller: p or k?
k
Let r = -3 - -1. Let i be -3*r/12*-12. Is i at least as big as -7?
True
Let m = 0.8 + -1. Let a = 11 - 2. Let x = 9 - a. Which is smaller: m or x?
m
Let t(l) = -31*l**2 - 20 + l**3 - l + 45*l**2 - l. Let q be t(-14). Do q and 7 have different values?
True
Let d be 0*(1 - (-6)/(-3)). Let i be -10*(-1 + (-30)/(-28)). Is d equal to i?
False
Let s = -15.5 + 15. Let q = 3.6 + -3. Let v = s + q. Is 0 less than or equal to v?
True
Suppose -32*h + 12 = -26*h. Let n = -5/14 - -13/7. Is n != h?
True
Suppose 0 = 3*z - 0 - 12. Let k = 3 - 5. Which is bigger: z or k?
z
Let z be ((-12)/(-10))/(2/5). Suppose -q + z*q - 10 = 0. Which is bigger: 4 or q?
q
Let h(l) = -l**2 - 8*l + 18. Let k be h(-8). Is 19 <= k?
False
Let a = 6.8 - 0.8. Let r = 7 - a. Is -1/6 <= r?
True
Let q = -6.3 + 6.38. Does q = 2?
False
Suppose -2*s - 2*d + 4 = -6*d, 0 = 3*s + 3*d + 3. Which is smaller: s or -2/149?
-2/149
Let o(y) = y**3 - 2*y**2 + y - 2. Let x be o(2). Suppose -5*q = -x*q. Is 2/9 less than q?
False
Let t be 7/2 + 6/12. Suppose -t*r = 5*k - 50, 0 = -5*k - 0*k - 5*r + 55. Let d be ((-4)/k)/(2/(-6)). Which is greater: d or 1?
d
Let r(i) = -i**3 - 7*i**2 - 8*i + 1. Let u be r(-6). Is 14 equal to u?
False
Let n = 47.8 - 44. Let r = n + -3. Let i = r + -1. Is -1 less than i?
True
Let n(w) = -w**3 - 7*w**2 + 8*w + 4. Let m be n(-8). Suppose 5*z + m*i + 17 = 6, -3*i - 9 = 3*z. Which is smaller: 1/3 or z?
1/3
Let o be (-8)/12 - 205/30. Is 0 at most o?
False
Let b be (-3 - -2)*-6 - 4. Is 18/11 at most as big as b?
True
Let x = 23217 + -812648/35. Let c = -9/5 - x. Let r = 1 - 1. Which is bigger: r or c?
r
Let o = 0.02 + -0.05. Let n = o - -0.05. Is 0 greater than n?
False
Let t(o) = -o**2 + 5*o + 4. Let k be t(5). Which is smaller: k or 5?
k
Let i = 0.53 + 39.47. Let z = -62 + i. Which is smaller: 1 or z?
z
Let h = 14 - 4. Is 3 less than h?
True
Let u = -138 - -2072/15. Let i(x) = x**2 + 4*x. Suppose 4*n + 17 = 1. Let f be i(n). Which is bigger: u or f?
u
Let l be (2 - (-10)/(-4))*-2. Let n be 8/(-12) - l/3. Which is smaller: n or 2/9?
n
Suppose -k = -4*p - 4*k + 17, -5*k = 3*p - 10. Suppose -p*q + 5 = -0*q. Is -1 less than q?
True
Let m = -7.6 - 2.4. Let p = -6 - m. Which is smaller: p or -1/3?
-1/3
Let w = -1/55 + -49/330. Suppose 4*n = 2*n - 3*f - 2, -2*f = 0. Is n >= w?
False
Let i(t) = -3*t**2 - t - 1. Let n be i(0). Which is smaller: -5/18 or n?
n
Let p = 16 - 28. Let x be 4*(-2)/p*3. Is x at least 1?
True
Let v = 73.71 + -11.61. Let p = v + -66. Let b = 4 + p. Which is greater: b or -1/4?
b
Let g = -1 - 0. Let j be (2 + 1)/15*1. Which is greater: j or g?
j
Let n be (-8)/10 + -4*5/100. Is -4/7 greater than n?
True
Let n(j) = j**3 + 3*j**2 + 2*j + 1. Let x be n(-2). Let p be 126/24 - 1/4. Suppose -2*f = -f - p. Is x greater than f?
False
Suppose k = 4*i - 13, 3*i - 9 = i + k. Suppose 3*v - 2*f - 2*f - 9 = 0, 0 = 2*v - 5*f - 13. Is i less than v?
False
Let u = -2 + 8. Let k(o) = -4 + u + 2 + o. Let i be k(0). Does i = 4?
True
Suppose 5*g - 67 = q + 25, -5*g + 25 = 0. Let v = -205/3 - q. Let a(o) = -o + 1. Let t be a(3). Is v equal to t?
False
Let p be 0 + -2 + 1 + 2. Suppose -5*a = -22 + 7. Suppose a*z = -2 - 1. Which is greater: p or z?
p
Let r be 2/(-4) + (-36)/(-8). Suppose -l = r*l. Which is smaller: -1 or l?
-1
Let b be 1*((-6)/1 - -2). Let f = b - -2. Which is bigger: f or -1?
-1
Let m be (-1)/3 - 0/2. Let j = 1.4 + -1.49. Which is bigger: j or m?
j
Suppose 0 = -4*z - 2*x - 14, -4 = -z + 3*x - 2*x. Suppose k - 10 = -14. Which is bigger: k or z?
z
Let s = -11 + 2. Let r be -3*(-2 - 21/s). Which is greater: 2/5 or r?
2/5
Let u = -4 + 5. Is 0 <= u?
True
Let d = 2/221 + -894/1105. Is -1 bigger than d?
False
Let i be 86/6 - 8/(-12). Let t = i - 9. Is 6 equal to t?
True
Suppose 22 = 5*u + 4*f, -9 = 3*u - 7*f + 2*f. Let z be ((-16)/20)/((-4)/30). Let g(h) = -h**3 + 5*h**2 + 7*h - 3. Let q be g(z). Is q at most u?
False
Let s = -31 - -28. Is 2/53 bigger than s?
True
Suppose -8 = -5*c + c. Let p be c/4*(-9 + 6). Which is bigger: -3 or p?
p
Let f = -1.79 + 1.9. Which is bigger: 1 or f?
1
Let y = 208123 - 18938911/91. Let q = y + -44/13. Is q equal to -1?
False
Let w = -27 - -24. Let p be (-1)/2*(-6)/w. Suppose 0 = o + 5 - 3. Is o greater than or equal to p?
False
Let r(i) = i**3 + 6*i**2 - 2*i + 1. Let c be r(-6). Which is smaller: 14 or c?
c
Let r = 92.6 + -108. Let h = -3.6 + r. Is 0 less than or equal to h?
False
Let s be (-1 - 0)/(1/3). Let n = -5 + 8. Let w = 1 - n. Is s greater than w?
False
Let g(k) = k - 7. Let t be g(7). Suppose t*v = -2*v. Let o(f) = f**2 - f + 1. Let l be o(v). Which is smaller: l or 2?
l
Let a = 65 - 70. Is a at least as big as 3?
False
Let g(s) = -s**2 - 7*s - 1. Let x be g(-7). Is -3/14 smaller than x?
False
Let i = -472/12839 - 6/347. Which is smaller: 1 or i?
i
Let o = -0.01 + -0.09. Which is smaller: o or -8?
-8
Let a(i) = -i**3 + 2*i**2 + 2*i - 3. Let y be a(2). Let v = 15 + -38. Is y smaller than v?
False
Let d be -7*1/2*14/(-35). Is d > 2?
False
Let l = 0.06 - 0.06. Is l smaller than 2?
True
Let i = -1.54 + 0.14. Let a = i - -0.4. Are a and -2 equal?
False
Let w(p) = -p**2 + 6*p + 8. Let u be w(6). Suppose -u*s - 8 = -7*s. Which is smaller: -6 or s?
s
Suppose -d - 8 = -5*d. Suppose d = n - 0. Suppose 5*c - 2*y - 10 = 0, 0 = 4*c - 2*c + 3*y - 23. Are n and c unequal?
True
Let n(f) = -f**2 + f + 1. Let r be n(-3). Let y = 8 + r. Are -7/3 and y equal?
False
Let z = 18 - 55/3. Let y = 11 + -6. Suppose 2*q - 3 = -y. Which is smaller: z or q?
q
Let c(t) = -9*t**2 - 2*t - 1. Let d be c(-1). Is -7 less than d?
False
Let o(a) = -a**3 + a**2 + 5*a - 5. Let u be o(2). Let v(d) = -d + 5. Let j be v(-5). Let k be (-1 - 0)*(-2)/j. Is k less than or equal to u?
True
Let s(a) = a**2 - 10*a + 15. Let g be s(8). Is g > 0?
False
Suppose -3*h + h = 2. Let f be (13/(-130))/(2/15). Is f < h?
False
Let p = 20317/7 - 2909. Which is bigger: -6 or p?
-6
Let v = 10.14 - 10. Let q = -0.06 - v. Is q smaller than 1/7?
True
Suppose 4*h = -4*k + 28, k + k - 5*h + 21 = 0. Which is smaller: 1 or k?
1
Let y be 20/42 + (-6)/42. Is 2 at most y?
False
Let t = -0.11 + 0.21. Let o = 0.1 - 0. Is t > o?
False
Let n be (2/(-6))/((-12)/36). Is n greater than or equal to 1/9?
True
Let p be (-4)/(-6) + (-500)/30. Let h = -17 - p. Which is smaller: h or -5/4?
-5/4
Suppose -2*g - 5 = -2*h + 3*h, -5*g = -3*h - 4. Is g equal to -1?
True
Let j be (-33)/(-99) - (0 + (-1)/(-3)). Which i