94). Let p = -3264/11 + a. Is 1 at most p?
False
Let g(y) be the second derivative of -5/2*y**2 + 0 - 5/12*y**4 + 5/6*y**3 + y + 1/20*y**5. Let s be g(4). Which is greater: 0 or s?
0
Suppose 2*t - 5 = 3. Suppose 0 = -2*s + 2*m - t, -m = -5*s + m - 16. Suppose 0 = a - 3*y - 9, -4*y - 7 = a + 12. Which is bigger: a or s?
a
Suppose -12 = -3*y, 4*d + 5*y - 2 - 10 = 0. Which is bigger: d or -2/3?
-2/3
Let f = -130 + 129. Which is greater: f or -1/26?
-1/26
Let m = 197/300 - -1/100. Let w be (-10)/(-35) - 12/(-7). Does m = w?
False
Let n = -251 + 1009/4. Is n < -3/2?
False
Let u = 193/308 - 1/616. Let c = -4.1 - -4. Which is smaller: c or u?
c
Suppose -4*f + 0 + 8 = 0. Let u(r) = r**2 + r - 1. Let p be u(-2). Which is smaller: f or p?
p
Suppose k + 2*k - 6 = 0. Suppose -k*f - 9 = f. Is -4 less than f?
True
Suppose 5*d + 3*l + 19 = 0, 5*d + 3*l + 29 = 5*l. Is -6 >= d?
False
Suppose 0*d = 2*n - 4*d - 62, n + 5*d = 10. Is n >= 26?
False
Suppose 3*b - 3*d = 15, 5*b + 0*d - 23 = 4*d. Let y = 0 + 4. Suppose 2*l = -5*w - y, b*w = -2*l + 7*l + 10. Which is greater: 1 or w?
1
Let o(k) = k**3 + 2*k**2 - 5*k - 3. Let c be o(-3). Let r be c + 23/8*-1. Which is smaller: r or -1?
-1
Let t = -0.4 + -1.6. Let r = -0.08 + -2.92. Let u = t - r. Does 1/6 = u?
False
Let a be 0/(-2) + 16/(-44). Let z(g) = -3*g - 5. Let h be z(-2). Do a and h have different values?
True
Let g(o) = -o**3 - o**2 + o - 17. Let r be g(0). Let v = -16 - r. Is -3/7 equal to v?
False
Let d(z) = z**3 + 5*z**2 - 7*z - 4. Let h be d(-6). Let f(u) = -h + 2*u + 3 + 0*u - u**2. Let x be f(-1). Is -1 greater than or equal to x?
True
Suppose 4*o - 9*o = 35. Which is smaller: o or -6?
o
Let r(v) = -v**3 + 10*v**2 - 10*v + 10. Let h = 13 + -4. Let z be r(h). Let c = 12 - 47/4. Which is smaller: c or z?
c
Let v(m) = -m**3 - 3*m**2 - 3*m - 2. Let j be v(-1). Suppose 0 = -0*b + b. Which is greater: j or b?
b
Suppose c = -5*t - c + 42, -2*t = 2*c - 18. Suppose l - t = 5*l. Is l < -3/5?
True
Let c = 56 - 57. Let r = 5.2 - 3.5. Is r <= c?
False
Let j = -34 + 35. Is 2 at least j?
True
Let l = 21/187 + -32061/748. Let w = 43 + l. Is 1 greater than w?
True
Let h = -22 + 22. Suppose h = -2*u - 2*u. Let k be (-2)/(-3) + 2/(-12). Is k at least as big as u?
True
Let i(q) = q**2 + 2*q - 1. Let y be i(-2). Which is smaller: -2/9 or y?
y
Let c be 15/(-5) - 2/2. Let k be 12/(-18)*6/c. Are 0 and k non-equal?
True
Let r = 6.4 + 0.6. Which is greater: 0 or r?
r
Let h = 1273/1974 - 2/987. Which is greater: h or 1?
1
Let m = 2204252543/1421 + -1551198. Let w = 3/49 - m. Let v = w + 64/87. Is v less than 2?
True
Let u = -9.8 - -7.8. Is u at most -2?
True
Suppose -37 + 40 = 3*y. Is 4/5 smaller than y?
True
Let u = -12 + 12.8. Let t = u - 0.9. Is t less than or equal to -12?
False
Let w be 2*(0 + 2/16). Let k(j) = j**2 + 8*j + 9. Let r be k(-6). Let m be (-6)/2*(-1)/r. Are m and w unequal?
True
Suppose -5*f + 4 = -2*m, -5*f - 8 = -5*m + 4*m. Is m greater than -25/2?
True
Let q(f) = f**2 - 9*f + 6. Let x be q(7). Let d be 1/(-2) + (-10)/x. Let c be 3*1*(-6)/(-18). Which is smaller: d or c?
d
Let d = 80 + -80. Which is greater: -4/83 or d?
d
Suppose -5*a + 12 = -2*a. Let n = a - 3. Which is bigger: n or 1/7?
n
Let x be (-1)/(1/(-26) + 0). Let w = 14 - x. Let u be (-14)/w - 6/9. Is 1 at most u?
False
Let w = 101038/79 - 1279. Is -1 equal to w?
False
Let f = -21 + 12. Is -8 smaller than f?
False
Suppose -3 = -4*c - 7. Let i be (-7 - -3) + (1 - 1). Let p(d) = -d**3 - 4*d**2 + 2*d + 6. Let z be p(i). Which is greater: c or z?
c
Let o = 0.02 + -13.02. Is -1/2 greater than or equal to o?
True
Let i = -6.98 - -7. Let k = 8 + -8. Which is smaller: k or i?
k
Suppose -2*x + 7*x - 20 = 0, 0 = 3*t + 3*x - 18. Let z(s) be the first derivative of -s**2 - s + 12. Let j be z(t). Which is smaller: -6 or j?
-6
Let k = 7.18 - 7. Let x = -0.12 - k. Is x > -1?
True
Let x = -13 - -12. Is x != -4/9?
True
Let w(y) = y**2 + 5*y. Let b be w(-5). Suppose -4*g = -5*a - 23, -2*g + 0*g = 4*a - 18. Let u = g + -6. Is b less than u?
True
Let k(f) = f + 9*f**2 - 10*f**2 + 6 + 3*f. Let d be k(5). Which is smaller: d or 1/2?
1/2
Let h = 1/482 + -6271/2410. Which is smaller: h or -4?
-4
Let v be 4/8*(-8)/14. Let j be 1/(-4) + (-14)/(-8). Is v <= j?
True
Let i be 4/44*1*28. Let l = -229/77 + i. Suppose 2*o - 3*o = 5*g - 9, 4*g - 4*o = -12. Which is bigger: l or g?
g
Let t = -72 + 71. Is -4 bigger than t?
False
Let x = 11 - 4. Let p = 125.3 - 132. Let d = x + p. Is 0 greater than d?
False
Let b be 0 + ((-6)/(-7) - -2). Let x(q) = -5*q - 2. Let v be x(-1). Let i = v - b. Which is smaller: 1 or i?
i
Let q be -15 + 0 - (1 + -2). Is -15 at least q?
False
Let r = -0.06 + -34.94. Is r >= -1/4?
False
Let x = -1 + 0. Let v be x*(2 + -1) - -1. Let i be (8/12)/(2/12*-10). Is i != v?
True
Let l = 1714/5 + -338. Is 4 < l?
True
Let p = 16 - 16. Let a = 7 + -11. Which is smaller: a or p?
a
Let p be (6/5)/((-6)/(-20)). Suppose -p*a + 2*s + 2*s + 4 = 0, -5*s = 0. Which is greater: a or 2?
2
Let w(p) = -20*p - 3. Let i be w(-3). Let x = i - 169/3. Is -7 at most x?
True
Let h(b) = b**3 + 11. Let j be h(0). Let d(g) = -g**2 + 12*g - 10. Let o be d(j). Let f = -2 + 3. Is f at most as big as o?
True
Let p = -1080/7 - -154. Let c(q) = q**3 + 8*q**2 - q - 9. Suppose -5*x - 56 + 16 = 0. Let o be c(x). Which is smaller: o or p?
o
Let u be (30/(-8))/((-21)/140). Which is greater: 26 or u?
26
Let l(t) be the first derivative of -t**3/6 - t**2/2 - t - 1. Let v(g) be the first derivative of l(g). Let u be v(-2). Which is greater: 0 or u?
u
Suppose -62 = 4*b + 5*d, -4*b - 3*d - 53 - 13 = 0. Is b equal to -17?
False
Let c = 0.13 + 1.37. Let x = c - 1.2. Let d be (3/1)/(3/2). Are x and d non-equal?
True
Let c = -0.05 + 0.45. Let j = c - 0.4. Let p be (-33)/(-27) + (-2)/9. Is p less than j?
False
Let l(w) = w**3 + 13*w**2 + w + 9. Let f be l(-13). Let m = 0 - 4. Is m > f?
False
Let d = 115 + -115.47. Let w = d - -0.5. Let p = w + 2.97. Is -1/3 less than or equal to p?
True
Let h = 13/130810 + -1128628927/2485390. Let z = -454 - h. Is 0 equal to z?
False
Suppose 2*q + 104 = -2*q. Let v = q + 105/4. Suppose -10 = -3*d + 5*n, -d = -3*n + 8*n + 10. Is v at most as big as d?
False
Let o be (1/2)/((-7)/84). Which is bigger: o or -5?
-5
Let k(q) be the first derivative of q**3/3 - 7*q**2/2 + 5*q + 1. Let c be k(6). Is c less than -1?
False
Let n(b) = b**2 + 9*b + 8. Let r(f) = -f**3 + 7*f**2 + 6*f + 8. Let u be r(8). Let t be n(u). Which is greater: t or 6/11?
6/11
Let r(q) = q + 6. Let c be r(-3). Let k be (c + 39/(-15))*-1. Which is smaller: -8 or k?
-8
Suppose -4*d + 2*d + 4*w + 182 = 0, -d = 3*w - 91. Is 91 at most d?
True
Suppose 221 = -11*g - 2*g. Suppose f = a + 28 - 6, 5*a - f + 90 = 0. Are a and g unequal?
False
Suppose 5 = w + 4*w. Let a(y) = y**3 - 2*y - 1. Let p be a(2). Let i be -2*(p/6 + -1). Is i less than or equal to w?
True
Let f = -31/4 - -97/12. Let c(n) = n**3 + n. Let p(s) = -3*s**3 - s**2 - 3*s + 1. Let b(g) = 4*c(g) + p(g). Let a be b(0). Is a not equal to f?
True
Let q = -0.1 + 0.1. Let m = q - 0.1. Let d be (-3)/5 - (0 - 1). Which is bigger: m or d?
d
Let y = -1 - -3. Let n be (-76)/(-18) - (-2)/(-9). Which is greater: n or y?
n
Let f be 57/11 - 4/22. Suppose -2*y - y + 34 = -4*d, -14 = y + f*d. Is 9 bigger than y?
True
Let m be (-4)/9*16*-6. Let h = -42 + m. Is 1 bigger than h?
True
Let k = 0.6 + 6.4. Let n = -13 + k. Is n at most -0.2?
True
Let r = 3 + -5. Let p be 1 + r - (-10)/12. Which is greater: p or 1?
1
Let w = 13 + -12. Let g be (-1)/(-11)*(-1 + 0). Which is smaller: w or g?
g
Let p(n) = n - 6. Let r be p(5). Let k be (3/6)/(r/(-2)). Which is smaller: -3/7 or k?
-3/7
Let r = 4 + -10. Let f(s) = -2*s - 4. Let i be f(r). Which is smaller: i or -2/7?
-2/7
Suppose 4*v - 12 = -8. Let h = -2.5 - -0.5. Is v at most h?
False
Suppose f - w + 15 = -6*w, -15 = -f + 5*w. Is f less than 1/35?
True
Suppose 3*n - 2 = -0*n + u, 3*n + 4*u = -8. Which is smaller: n or -4/3?
-4/3
Suppose 0 = -o - 3 + 7. Suppose 5*l - l = -o. Which is smaller: -6/7 or l?
l
Let b = 63 + -89. Is -27 > b?
False
Let l = -1.8 - -0.2. Let z = 0.6 + l. Is z less than or equal to 5?
True
Let p = -3 - -5. Let u be p/(-12) - (-115)/(-30). Which is bigger: -2 or u?
-2
Let r be (-13)/30 + 4/10. Let s = -3/10 + r. Is