2 or t?
-22
Let h be (1/2)/(1/2). Let o(g) be the second derivative of -g**5/20 + g**4/4 + g**3/3 - 3*g**2/2 - g. Let d be o(3). Which is smaller: h or d?
h
Let g = 18.4 + -17. Let o = g + -1.53. Let u = 0.03 + o. Which is greater: 2 or u?
2
Let c be 3/5 + 3*(-123)/315. Which is greater: c or 0?
0
Let x(b) = -b**3 + 7*b**2. Suppose -2*k + 30 = -4*r, 0 = r + r + 8. Let o be x(k). Are o and 2/13 unequal?
True
Let w = -17 + 18. Is 0 equal to w?
False
Suppose 0*n + 20 = -5*n. Let t(o) = -o**2 - 9*o - 8. Let s be t(-7). Let k = s + n. Which is greater: 2/3 or k?
k
Suppose 0 = -2*m - 3*u + 7 - 0, 19 = 3*m - 4*u. Let g be (3 - 1 - m) + 0. Which is smaller: 1 or g?
g
Let r(i) = -i**2 + 10*i - 8. Let n be r(9). Let o = n - 2. Which is greater: o or 1/4?
1/4
Let u be (-244)/30 + 3/9. Let c = u + 15/2. Which is greater: 0 or c?
0
Let o = 7 - 10. Suppose 5*t - 25 = -0*t. Suppose -t*m - 11 - 1 = -4*l, 2*l - m = 0. Is o greater than or equal to l?
False
Let c be ((-6)/(-9))/((-1)/(-3)). Which is greater: 21/8 or c?
21/8
Let b be (-1)/(-2)*5*-8. Let w be 8/b + 27/5. Which is bigger: 3 or w?
w
Let g = 9 - 11. Which is bigger: -3/5 or g?
-3/5
Let r(s) = 2*s + 9. Let j be r(-7). Let p = 2 + j. Does p = -3?
True
Let b(f) = -f**2 - 3*f. Let n be b(-3). Suppose -a + 1 = -7. Let v be (-13)/20 - a/(-32). Do n and v have the same value?
False
Let h = -3144/7 - -450. Suppose -8*p = -3*p + 10. Let s = p - -3. Which is greater: h or s?
s
Let z = 63 - 442/7. Do 1 and z have different values?
True
Suppose l + 24 = 2*l + 5*o, 0 = -2*l - 5*o + 23. Are 2/11 and l nonequal?
True
Let h be (-116)/(-12) + (-4)/6. Let o = -7 + h. Suppose -2 + 5 = 3*i - o*p, -2*i - 3*p - 11 = 0. Which is smaller: i or 0.1?
i
Suppose -2*v - 2*w + 0*w + 6 = 0, -2*v + 9 = 5*w. Are -2 and v non-equal?
True
Let d = 1.41 - 1.31. Which is smaller: d or 1/17?
1/17
Let p be ((-16)/30)/((-47)/24). Let x = -651/2 - -30585/94. Let m = x - p. Which is smaller: m or 0?
m
Let h = -1/4 - 0. Let j = 1/4 - h. Is j > -2/11?
True
Let i be (-22)/5 + 4/10. Let z be i/12*0/2. Suppose 0 = -4*h - z - 4. Is -2/17 less than or equal to h?
False
Let p = 20 + -12. Which is bigger: p or 9?
9
Let s = 1 + 3. Suppose 0 = -4*g + l + 4, -4*g + s*l = -21 + 5. Is g > 1/4?
False
Let c = 6 - 8. Let n = c + 0. Let b = -0.2 - 0.8. Which is bigger: b or n?
b
Suppose 0 = -7*f + 171 + 18. Which is greater: f or 28?
28
Let f be 10/15*39 + -5. Which is bigger: 20 or f?
f
Let n be (15/20)/(42/16). Is n > 2/27?
True
Suppose -4*o - 7 = 1. Let m be -1 - o*(-3)/(-9). Which is smaller: m or 1/4?
m
Let x(d) = -4*d**2 + 8*d + 1. Let u(y) = 3*y**2 - 7*y - 1. Let m(k) = 5*u(k) + 4*x(k). Let h be m(-1). Let c be h*(2 + -1 - 0). Is c smaller than 3/4?
False
Let y = 0.6 + -0.6. Let x = 3 - 2.99. Let t = x - -1.99. Is t smaller than y?
False
Suppose 11*z + 3 + 8 = 0. Are z and 4/25 non-equal?
True
Let w = 239 + -237.99. Let f = 0.01 - w. Is 0.2 less than f?
False
Let j = 29/6 + -5. Is j not equal to 1?
True
Let n = 0.6 + -1.1. Let g = n - -0.4. Let j = 1 + 2. Is g greater than j?
False
Let r = 37 - 42. Is r greater than or equal to -23/4?
True
Let o(r) = -r**2 - 6*r - 3. Let b be o(-5). Let f = 3 - 2. Suppose -4 = -k - f. Which is smaller: k or b?
b
Let o = 13/2 + -19/3. Which is smaller: o or -2?
-2
Let i be ((-8)/(-16))/((-1)/2). Which is bigger: i or 7?
7
Let w = -3.9 + 4.05. Which is bigger: -0.1 or w?
w
Let q = -8 + 9. Is q < -2?
False
Suppose -4*a + 10 = -10. Which is bigger: a or 23/4?
23/4
Let p be 1/3 - (-2)/(-42). Let f(q) = q + 13 - q**3 - 5 + q**2 - 7. Let t be f(0). Which is smaller: t or p?
p
Let o = 18.6 + -19. Let y(s) = -s - 1. Let p be y(-3). Is o less than or equal to p?
True
Suppose -v = 4 + 5. Which is smaller: v or -8?
v
Suppose -4*t + 217 + 925 = o, 5*o - 5820 = 2*t. Let s = -173140/149 + o. Let y = s + -141/596. Which is greater: -1 or y?
y
Let j(w) = w**3 - 8*w**2 + 7*w - 2. Suppose 5*k = -2*p + 34, 2*p + 4 = 4*k + 2. Let x be j(p). Let c = 1 + -1. Is c at least as big as x?
True
Suppose -2*k = k. Let z = 231/4 + -58. Which is bigger: k or z?
k
Let c = 11 - 6. Let l be 0*(-2)/4 - -2. Let q = c - l. Is q greater than 3?
False
Suppose 0 + 3 = -3*g. Suppose -2*r + 4*r = -3*b + 9, b - 3 = -5*r. Suppose 2 = -5*l + b*l. Is l less than or equal to g?
True
Let y(l) = -4*l - 6*l + 9*l - 3. Let s be y(-3). Are s and 1/7 unequal?
True
Let u(o) = o**3 + 18*o**2 + 17*o + 3. Let l be u(-17). Is l at least as big as 3?
True
Suppose 3*b + 8 = 2*y, -2*b - 8 = 2*b. Which is greater: -2/109 or y?
y
Let o = 6 - 3. Let y be -2 + 0 + (-54)/4. Let c = y + 17. Which is smaller: o or c?
c
Suppose 0*i = i - 3*m + 12, 0 = 5*i + 4*m - 16. Is -2/15 bigger than i?
False
Let t(u) = -u**2 + 10*u - 7. Let w be t(6). Let c = w - 52/3. Which is bigger: 0.05 or c?
0.05
Let k(g) = g**3 + 3*g**2 + g - 3. Let w be k(-3). Which is smaller: w or -1?
w
Suppose -i - 3 = -9. Let s be (4 - i)*1/2. Let l be (-4 - -1)*4/66. Which is smaller: s or l?
s
Let n be 0 + 0 + 6/9. Let f = n - 1. Let q = 3 - 4. Which is bigger: q or f?
f
Let k = 8 + -2. Let s be 2/(-4) - k/(-8). Is s greater than 1?
False
Let u = -117/5 + 431/15. Which is bigger: u or 6?
6
Let k = 4 - 2. Let n(r) be the third derivative of r**6/120 - r**5/20 + r**4/12 - r**3/3 + r**2. Let j be n(k). Which is bigger: j or -3?
j
Let i(c) = -c**2 - 3*c + 2. Let g be i(1). Is 0.4 less than g?
False
Let t = -6 - -4. Do t and -10/3 have the same value?
False
Let s(u) = -u**3 - 8*u**2 - 8*u - 7. Let z be s(-7). Which is greater: 1/4 or z?
1/4
Let d = 15/14 - 4/7. Let c(g) be the second derivative of g**3/3 - 3*g**2 + 2*g. Let r be c(3). Which is greater: d or r?
d
Suppose -3*v - k + 4 = 15, -k + 5 = -5*v. Let j = 4 + v. Which is smaller: j or 5/3?
5/3
Let d be (-3)/12 + 11/(-4). Suppose o - 3*y + 27 = 2*y, 0 = 3*o + 3*y - 9. Let j be ((-3)/o)/1*-2. Does d = j?
True
Let k(i) = -i**3 - 5*i**2 - 4*i - 1. Let z be k(-4). Let r be ((-11)/124)/((-11)/132) - 1. Which is greater: z or r?
r
Let w(f) = f**2 - 13*f + 31. Let b be w(9). Is -0.4 != b?
True
Suppose 3*a = 4*l - 13, 4*l + 8*a = 4*a + 20. Suppose -l*r - 7*j = -3*j - 16, 20 = -5*r + 5*j. Is r not equal to -3/4?
True
Let g(h) = 3 - h - 4*h + 6*h - 4*h. Let p be g(2). Which is greater: p or -2?
-2
Let f be 10/6 + (-6)/9. Let t be 0 - (0 + f + 0). Let b(a) = a**2 - 9*a + 10. Let r be b(8). Is t at most r?
True
Suppose 4*d = -16, -2*w + 9 = -3*w - 4*d. Let k = w + -8. Which is bigger: k or 2/7?
2/7
Let y be 5/(-2)*24/20. Is y less than -7/2?
False
Let a(o) = -o**3 - o**2 - o - 1. Let d be a(-1). Let z(q) = q**2 - q + 3. Let i be z(d). Let m be (-1 + (-3)/(-1))*2. Is m < i?
False
Let h be 60/90 + (1 - (-2)/(-3)). Is h smaller than 5?
True
Let u be 0 + (2 - 2)/3. Let s = 0 + u. Which is bigger: s or -4?
s
Let o = -1.97 - 0.03. Is 0.11 less than o?
False
Let d be (-1)/(-3) + (2372/642 - 4). Is d greater than or equal to 0?
True
Suppose 6*w - 5*w = -2*x - 14, -4*w - 36 = 4*x. Let z be 2 - (2 - -2) - w. Let y = 151/10 - 29/2. Is z smaller than y?
False
Let d(r) = r**2 - 4*r - 6. Let i be (-16)/12*3/2. Let y be 1/(-2)*(-12 - i). Let m be d(y). Is m > 1?
False
Let a(v) = 7*v + 8. Let k be a(3). Suppose -1 = -3*t - 4, 4*p - t - k = 0. Is p <= 8?
True
Let d = 0.06 - -2.94. Let w = d - 3.1. Let p = 1.8 - 4.8. Which is bigger: p or w?
w
Suppose 5*q - 9 - 11 = 0. Suppose -q*k = -27 + 3. Let w be (-2)/(-3)*k/(-10). Is 0.2 less than w?
False
Suppose -3*t + 19 - 1 = 4*i, 2*i - 12 = -2*t. Let h be 48/(-20) + t/15. Let o = -6 - -4. Is o smaller than h?
False
Let f be (-2 - -2)/(10/5). Let g be (f + -1 + 2)/(-1). Which is smaller: g or 2?
g
Let l be (-2)/(-45)*(5 - -5). Is 2 less than or equal to l?
False
Let i = 1/72 + 131/936. Which is greater: 0 or i?
i
Suppose 0*z - 24 = -5*z + c, -3*z - 4 = 4*c. Which is bigger: z or 2?
z
Let k = -28/3 + 10. Which is greater: k or 7?
7
Suppose -5*n + 13 + 2 = 0. Suppose n*w = 11 - 2. Let j = 6 + -4. Is w equal to j?
False
Let n = -9 + 10. Let k(m) = -m**2 - 7*m - 2. Let i be k(-5). Let x be ((-2)/i*6)/n. Which is bigger: 0.1 or x?
0.1
Let y = 11 + -6. Let f = y - 5. Let t = -0.1 + -2.9. Which is bigger: t or f?
f
Suppose -3*o - 12 = 0, -2*o - 14 = w + 2*o. Let q(d) = 2*d + 14. Let c be q(-6). Is c greater than w?
False
Let d = -0.3 - 0.7. Let m = 0 + d. Is