r: o or -0.4?
-0.4
Let j(k) be the second derivative of k**4/12 + k**3 + 2*k**2 - k. Let f be j(-6). Is 4 smaller than f?
False
Let k(i) = -i + 8. Let z be k(6). Suppose -2*c - 2 = -4. Suppose z + c = -u. Do u and -3 have the same value?
True
Suppose 3*j + 16 = -47. Which is greater: -17 or j?
-17
Let f be 8/(-28) + 4502/(-70). Let n = f + 65. Which is greater: n or 0?
n
Let h = -26 - -64. Suppose 5*t + 57 = -h. Let f = 13 + t. Is -6 less than f?
False
Let o(d) = 6*d**2 - 2*d + 1. Let j be o(1). Suppose -f - j*t = 23, 1 + 2 = -t. Let c = f + 9. Which is bigger: c or 2?
2
Suppose -3 = -4*o + 1, 2*o = 2*n - 6. Let h be ((-10)/15)/(n/(-18)). Suppose 2*k = -d + 4, -4*d + 13 + h = 3*k. Is 0 >= k?
True
Let s = -7 + 3. Let q be s/(-22) - 15/(-99). Are q and 0 non-equal?
True
Let m be (-8 - -8)/((-1)/1). Suppose 0 = 2*t + t - 6. Suppose 3 + t = 5*k. Is k at least as big as m?
True
Suppose -q = -4*q + 9. Suppose -4*s + q*l - 12 = 0, -8 = -4*s - 5*l + 12. Which is bigger: -12/11 or s?
s
Let u be (-5)/(-25) - 8/(-10). Suppose y + 13 = 2*i + 3*i, -i = -3*y - 11. Is u smaller than i?
True
Let u(k) = 2*k**3 + 5*k**3 - 2*k**3 - k - k**2. Let t be u(-1). Let j = 5 + -4. Which is greater: j or t?
j
Let n(p) = p. Let g be n(0). Suppose g*c + 2 = -c. Let v be (c/10)/(24/30). Is v at least as big as 0?
False
Let z be 11/((3/6)/(1/2)). Is z >= 12?
False
Let o = -12 - -12. Is o at least -4?
True
Let h = 32 + -38.1. Let m = -1.1 - h. Let u = 6 - m. Is 2 greater than or equal to u?
True
Let i = 36 + -68. Is i at most 2?
True
Let t be ((-11)/(-4))/((-9)/36). Is t at most as big as -12?
False
Suppose 13 + 9 = l - 5*p, l = -2*p + 1. Is 8 bigger than l?
True
Suppose 3*c - 71 = -2*t, -5*c + c = -4*t + 92. Suppose y = -3*j + 3 + 4, 0 = 4*y - 2*j - t. Is y less than or equal to 7?
True
Let d = -0.03 - 8.97. Is d not equal to -0.1?
True
Let j(h) be the second derivative of -h**5/20 - 7*h**4/12 + h**3/6 + 9*h**2/2 + 2*h. Let d be j(-7). Suppose -2*v = -0 + d. Is v greater than 2/5?
False
Let g = -11/2 - -69/10. Which is smaller: g or -1?
-1
Suppose 5*o + x = -0*x + 7, -3*o - 6 = 4*x. Let r = 1 - o. Let p be (-1)/(-5) + (-5 - -5). Which is smaller: r or p?
r
Let x = -5 + 3. Let r(g) = 2*g**2 + g + 4. Let s(j) = -5*j**2 - 3*j - 11. Let b(w) = 8*r(w) + 3*s(w). Let l be b(0). Is x bigger than l?
False
Let m = 13244 - 4357198/329. Let s = -9/47 - m. Which is smaller: s or 0?
s
Suppose -4*u - 4*l = 8, -2*u + 5*l - 15 = -4. Let o = 69 + -71. Which is smaller: u or o?
u
Let r = 106 - 106. Is 3/35 less than or equal to r?
False
Let n = 5 + -4.99. Let x = n - -0.09. Do 2/35 and x have the same value?
False
Let f = -3 - -3.1. Which is smaller: 2/9 or f?
f
Let q = -0.92 - -1.2. Let x = -0.08 + q. Is x > -2?
True
Let c be ((-20)/6)/5 + 1. Suppose 0*j + 23 = 2*a + 5*j, 2*j = 5*a + 15. Let o = a - -2. Is o equal to c?
False
Let h = -13.2 + 13. Which is greater: 0.2 or h?
0.2
Let l = 3 - 1. Suppose -g - 9 = -3*y, l*y + y = 4*g. Suppose 4*f - 4*b = 11 - 3, 0 = -2*b. Is g less than f?
False
Suppose -3 - 9 = 3*u. Let j be (3 + 3)*1/(-2). Is j less than u?
False
Let w(o) = -o - 3. Let u be w(-2). Let d be 2/(-3) - 264/63. Let a = d - -31/7. Which is smaller: a or u?
u
Let n(d) = 2*d**2 - 3*d. Suppose 5*g + 8 = 18. Let t be n(g). Is 2 greater than t?
False
Let v = 4 - 4.06. Let r = 0.06 + v. Is -3 less than or equal to r?
True
Let a = -10/3 - -4. Let n be ((-8)/4)/2*-8. Suppose -2*j + 5*g = -25, -4*g = j - n*g - 20. Is a at most as big as j?
False
Suppose 4*q - 2*q = 0. Is q greater than -1/2?
True
Let l = -22 - -9. Is 3 <= l?
False
Suppose -2*t + 0*t - 4*k = 18, 0 = t - 3*k - 11. Which is greater: t or 2/15?
2/15
Let a be (-100)/(-1825)*2/8. Is a equal to 0?
False
Let t be (-4 - -2) + -2 + 4. Suppose -w = -t - 1. Suppose -w = o - 0. Is -1/4 > o?
True
Let z = -1 - 0. Let d = 3 - 3. Suppose 8*i - 3*i + 3 = 3*b, d = -5*i - 15. Are z and b unequal?
True
Let r be 6/(-27) + 14/9. Suppose 26 = 4*p + 10. Suppose p*f = -f. Is f less than r?
True
Let q = 2 - 4. Let o(m) = -m - 4. Let c be o(q). Is -8/3 equal to c?
False
Let f be -1 + -18886 - 8/(-4). Let w = -528693/28 - f. Let l = w + -20/7. Which is greater: -1 or l?
l
Suppose -3*y + 1 - 7 = 0. Let g be -2 - (0 - 1)*-1. Let c be 2/g*(3 - 0). Do c and y have the same value?
True
Let g = -1.89 - 1.06. Let d = -0.01 - -0.06. Let r = g - d. Which is bigger: 0 or r?
0
Let w = 20848 + -2814436/135. Let u = -2/27 - w. Does -8 = u?
False
Suppose -4*r = r + 70. Let y be (-4)/r - (-18)/(-14). Is -1/8 greater than y?
True
Let b be (1 - 2) + (-4 - -6). Suppose -4*i = -b - 3. Is i != 1?
False
Suppose -f + 1 = -8. Suppose 4*w - f = -1. Let i be 3 + 4/w + -8. Is -3 bigger than i?
False
Let p = 42 - 39. Which is smaller: p or -2?
-2
Let d be (-2 + (-13)/(-5))/((-24)/15). Is d <= 1?
True
Let u = 74.1 - 83. Let v = 12 - 3. Let x = v + u. Which is bigger: x or 2?
2
Suppose -i - 2*r = -7, -2*i = -3*r + 13 + 1. Which is smaller: i or -1/148?
i
Let k(q) = -q + 1. Let v be k(-3). Suppose 35 - 14 = -v*z - 5*a, 5*a = -5*z - 20. Let d = 32 - 32. Is z >= d?
True
Let q = -142 - -141.6. Which is smaller: q or 4?
q
Let b = 1 - 2. Let n = -827 + 5798/7. Let q = n - 20/21. Which is bigger: b or q?
q
Let p(z) = 5*z**3 - 2*z + 1. Let h be -3*(0 + (-1)/3). Let x be p(h). Let j = -6 + x. Is j equal to -2?
True
Let z = 14.96 - -0.04. Let v = z - 16. Which is bigger: v or 0.2?
0.2
Let z be (2 + 0)*(-3)/6. Let h be (-1*9)/(-3) - 0. Suppose m - 2*a - 6 = h*a, -5*m = -5*a - 10. Is z smaller than m?
True
Let y be 2 + -1 - 5/5. Suppose y = -3*u - 0*u + 3. Is u at most as big as 1?
True
Suppose 0 = -p - p + 6. Let y be (1/(-2))/((-2)/8). Suppose -y*h - 5 = 3*h + 2*g, g = -3*h - 3. Which is greater: p or h?
p
Let t = 22 - 25. Let n be t/(9/6 + 3). Suppose 0 = -2*d - 1 - 3. Which is greater: n or d?
n
Let q = 1 + -0.7. Let b = -1/2 - -1. Which is smaller: b or q?
q
Let l be (-22)/(-16) + (-4)/(-16). Is l smaller than 1?
False
Let w be ((-1)/(-4))/(13/(-8)). Let m be (-3)/9 - 4/6. Let p be m/(-2)*(2 + -2). Is p < w?
False
Let i = -1.2 + 0.2. Let x = -68 + 75. Is x <= i?
False
Let c = 3 - 2. Let l(u) = -94*u**3 - u. Let j be l(c). Let d = j + 477/5. Which is smaller: d or 1?
d
Let i = -504 + 3536/7. Is i equal to 0.1?
False
Let m = -58/85 + 4/5. Suppose -2*s = -3*v - s - 4, -5*v - 4*s = 1. Is v bigger than m?
False
Let m(s) = -s**2 - 2*s + 1. Let f be m(-3). Let d be f/(-4) + 2/(-52). Which is greater: d or 1?
1
Let m be (-1 - -1)/(5/(-5)). Is -1/3 >= m?
False
Let y = 2.99 - 3. Let n = -4.01 - y. Let p = -0.5 + 0.6. Which is bigger: n or p?
p
Let r = 227 - 1819/8. Does r = -3?
False
Let m(j) = 2*j**2 - 9*j + 10. Let d(x) = x**2 + x. Let c(w) = d(w) - m(w). Let s be c(9). Is s greater than 8?
False
Let s = -48 + 64. Is s at most 0?
False
Suppose 250 = -t - 376. Let g = t - -20660/33. Is -1 smaller than g?
True
Suppose -3*m + 0*m = -6. Let w be m/(-5) + 3/(-5). Let k be 6/(-12)*3/1. Which is smaller: k or w?
k
Suppose 3*v - 28 = -3*y + 8*v, -y = -2*v - 11. Is 6/5 != y?
True
Let j(w) = w**3 + 4*w**2 - 7*w - 9. Let t be j(-5). Is -3/40 greater than or equal to t?
False
Let t(f) = -f - 3. Let k be t(-7). Suppose 2*x + y + 13 = -4*y, k*x = 5*y + 19. Let g = 90 - 448/5. Is g greater than x?
False
Let y = 18 + -23. Which is smaller: -23/5 or y?
y
Let l(s) = -4*s - 1. Let k be l(-4). Let j = 16 - k. Is j less than or equal to 2/13?
False
Let j be 2/(-5) + (-2)/(-5). Suppose m = -j*m + 1. Let t = m + -2. Is t > -1?
False
Suppose -2*j + 4*f + f - 15 = 0, -j + 3 = f. Suppose 3*x - 6 = -j. Suppose -a + 0 = -1, -5*m + x*a = 7. Are -1 and m equal?
True
Let q(z) = -z**2 - 5*z + 1. Let l be q(-5). Let d(w) = -w**3 - 5*w**2 + 7*w + 7. Let m be d(-6). Let t be (4/4)/(0 + m). Is l equal to t?
True
Let k be 48/220 - (-4)/22. Are 1 and k equal?
False
Suppose 0 = -2*x - 0 - 2. Let s = x + 2. Let n be ((-2)/6 + s)*-3. Is -2 less than or equal to n?
True
Let t = -6 + 6.5. Let s = 0.5 + t. Is s <= 0?
False
Let k(n) = n**2 - 4*n + 3. Let i be k(2). Let c = -3 - i. Is 0.1 equal to c?
False
Let t be 5*(1 + 9/(-5)). Is t less than or equal to -5?
False
Let r(q) = 7*q**3 - 2*q**2 + 1. Let g be r(1). Let m be ((g/3)/(-2))/(-1). Let d = -3 - -4. Is d less than m?
False
Let g = -14.4 - -13.4. Which is smaller: g or 0.164?
g
Supp