- 1). Let f = 7/204 - 2/17. Is d less than or equal to f?
False
Let t = -745/6 - -125. Is 2/7 != t?
True
Let n(i) be the second derivative of i**3/6 + 3*i. Let k be n(3). Suppose -4*d + 3*m = -3, k*d + 2*m - 1 + 3 = 0. Which is greater: d or -1/2?
d
Let x = 50.04 - 49. Let r = -0.04 + x. Which is greater: 0.2 or r?
r
Let y be 9/21 - 41/63. Which is bigger: -2 or y?
y
Let x(z) = z**3 + 4*z**2 + z + 4. Let w be x(-3). Let i = -23/2 + w. Is i at least -2?
True
Suppose -5*j + 2 + 3 = 0. Let q be (j/(-3))/((-2)/(-3)). Let h(z) = z**3 - 3*z**2 - z + 4. Let f be h(3). Is q at most as big as f?
True
Let l(z) = -z + 7. Let k be l(3). Let r = 23 - 21. Let d be 1 + r*(-10)/(-5). Which is bigger: d or k?
d
Let i = -3505/8 + 439. Is i <= 2?
True
Suppose -2*w + 4*x + 67 = 19, 0 = 2*x. Let c be (9/w)/(3/(-6)). Is c greater than or equal to -1?
True
Suppose -2*o = 2, -3*m - 2*o = -0*m + 2. Let g(z) = z**3 + 6*z**2 + 5*z - 5. Let p be g(-5). Let k = -4 - p. Which is greater: m or k?
k
Let t = -0.01 + 5.01. Let l = t - 4.6. Is 0 at most l?
True
Let v be 75/(-24) + 1/8. Is -4 greater than v?
False
Let i = -14 - -13. Let u = i - 12. Is -1 greater than or equal to u?
True
Suppose -l + 663 = -4*o, -2*l + 182 = -o - 5*l. Let x = o + 52. Let q = x + 919/8. Which is greater: q or -1?
q
Let v = -6 + 5.6. Is v >= -2?
True
Let l = -0.9 + 0.9. Which is smaller: -0.3 or l?
-0.3
Let q(j) = j**3 + 4*j**2 + 2*j - 2. Let s be q(-2). Suppose 8*z + 80 = 13*z. Let h be (44/z + -2)*2. Which is greater: s or h?
s
Let g = 4 - -1. Let n be 10/g + (-6)/3. Are n and -1/2 unequal?
True
Let a = -1.54 + 0.14. Let f = a + 1.4. Is f bigger than 3?
False
Let l be -2 - 1/(-1 + 2). Let d be 2 + -2 + l + -2. Is -4 at most d?
False
Suppose n - 49 = -9. Suppose -n = -2*i - 2*i. Is i less than or equal to 11?
True
Let v be (3 + 6/4)*-2. Let n = -10 - v. Is -1 less than n?
False
Let f be 1*6/(-153)*21. Is 0 equal to f?
False
Let z = -342 - -338.77. Let i = z + 0.13. Let r = i + 3. Do -2/3 and r have the same value?
False
Suppose 2*z - 1 = 1. Let g be 0 + 1 + z + -1. Let t be (-4)/6 - g/3. Which is bigger: -2 or t?
t
Let x = 44 - 47.7. Let r = -16 - -15.3. Let p = x - r. Do 1 and p have the same value?
False
Suppose z + 4 = 4*t - z, -5*t = 4*z - 18. Let b be 0/t*(2 + -3). Let f = b - -1. Which is smaller: 0.2 or f?
0.2
Let q = -5.7 + -1.3. Which is greater: 0.1 or q?
0.1
Let u(m) = -3*m - 10. Let b be u(-6). Is b at least 14?
False
Let w = -88 - -88. Which is bigger: 4/65 or w?
4/65
Let s = 0.08 + -0.18. Let p(y) = -y**2 + 2*y + 3. Let b be p(3). Which is greater: b or s?
b
Let n = 827/5 + -166. Let t be (-4)/(-14) + 6/(-21). Which is smaller: t or n?
n
Let k be 22/(-30) + 2/6. Let u be (-3 + 3)/(2 - 0). Suppose -4*q - 2 - 2 = u. Which is greater: q or k?
k
Let y = 6 - 8. Let m be -4 + (y/(-1))/2. Let v be m*(-2)/12*2. Which is smaller: v or 1/17?
1/17
Let v be 0 - -3 - (-72)/(-40). Which is greater: v or 1?
v
Let d = 136/9 - 46/3. Suppose 0*o + 13 = 5*o - 4*u, 3*u = -2*o - 4. Which is greater: d or o?
o
Let i be (-25)/(-4) + 2/(-8). Let g = -3 + i. Suppose -15 = 8*p - g*p + 2*t, -p - 3*t - 3 = 0. Do -1 and p have different values?
True
Let r = 1.3 + -1.06. Let q = r - 0.14. Is 3/2 at least q?
True
Let d = 5 + -3. Suppose 5*y = 3*y + 2. Is d equal to y?
False
Let q = -17 - -10.4. Let o = 9 + q. Let a = o - 0.4. Which is bigger: 0.1 or a?
a
Let u = 2/405 + -11753/1620. Is u less than -6?
True
Let q be 3/(-6) - (-6)/4. Is q < -1/19?
False
Let x = 48 + -2. Are -1/3 and x nonequal?
True
Let f = -23/5 + 2313/455. Let t = f - 10/13. Is t != 1?
True
Suppose -3*j - 7 = 5. Which is bigger: j or -3?
-3
Suppose 0 = -h + 5*l + 13, 4*h - h + 4*l = 20. Are h and -1 nonequal?
True
Let k = 0.3 + -0.7. Let x = 0.4 + k. Is -4 != x?
True
Suppose -3*a - 1 = -3*j + 14, -4*j - 5 = a. Let o be -2 + 1 - 2/(-6). Which is smaller: o or j?
o
Let j(c) = -c**3 - 4*c**2 + 8*c + 6. Let b be j(-3). Which is bigger: -26 or b?
-26
Let t = -1.5 - -1.5. Which is smaller: -7 or t?
-7
Let f(b) = b**3 + 3*b**2 - 5*b + 2. Let x be f(-4). Suppose x = 5*t + 1. Is 5/4 greater than t?
True
Let f be (-6)/(-15*8/(-36)). Are f and -2 non-equal?
True
Let h be (-1 - -1) + 6 + 1. Let p = 2 - h. Suppose -2*t - 2*c = -5*t - 11, -2*t + 2*c = 8. Is t < p?
False
Let k = 10 + -7.8. Let m = 3 + -2.2. Let x = m + k. Which is greater: 0.1 or x?
x
Suppose 3*a - 2 = 4. Suppose -1 = a*k - 13. Which is greater: k or 2/5?
k
Let y(f) = -f**3 + 6*f**2 - 4*f + 4. Let q be y(5). Let k be 2/18 + 2/q. Which is greater: k or 0?
k
Suppose -l + 325 = -5*o + 2*l, 3*l = 4*o + 260. Does o = 0?
False
Let r = -2/217 - 60/217. Let b be (-1)/(0 - -1 - 2). Which is greater: b or r?
b
Let u(c) = -c + 1. Let g be u(-2). Let f = -4 + g. Let x = -2.3 + 2.6. Are x and f equal?
False
Let r be 2 + (2235/(-1300) - (-1)/(-4)). Which is bigger: r or -1?
r
Let r = -31 + 39. Is r at most as big as 8?
True
Let n(h) be the second derivative of -h**4/12 + h**3/3 + 3*h**2/2 - 2*h. Suppose p = -5*b + 16, 2*b + 6*p - 10 = 2*p. Let v be n(b). Is v greater than -1?
True
Let d(n) = -7*n - 15. Let w be d(0). Let i = -1.1 + 0.1. Which is greater: w or i?
i
Let y = -3 - -4. Let a be 4/(-16)*(-1 + 2). Are y and a unequal?
True
Let v be (3 - 2) + 4/(-3). Let g = -14 + 9. Let u(b) = -b - 4. Let c be u(g). Are v and c equal?
False
Let y = 1 + 17. Suppose u = -y + 2. Let g be -1 + -1 + u/(-7). Which is smaller: g or -1?
-1
Let h(b) = -b - 5. Let s be h(-13). Is s greater than 9?
False
Let g = 2/316441 + 165497951/109488586. Let d = g + -2/173. Is d less than 1?
False
Let n(y) = -y - 6. Let f be n(-4). Let s = 9 + -11. Are s and f non-equal?
False
Let g = -0.059 - 0.981. Let c = g - -0.04. Let v = c - -1.1. Which is bigger: -0.2 or v?
v
Let y = -0.8 - -0.2. Let j = y - 7.4. Do j and 2 have the same value?
False
Let v = 4/215 - -383/215. Is v less than 2?
True
Let i be 3 - ((0 - 0) + 3). Suppose -l - 3*l + 8 = 0. Is l smaller than i?
False
Let i = 13 + -64. Let t = i + 34. Which is bigger: -16 or t?
-16
Let h = 57 - 140. Is -84 less than or equal to h?
True
Let d = -7.9 - -8. Let r = -3.9 - d. Suppose 14 = -4*f - 5*i, -2*i = 5*f - f + 8. Is f at least r?
True
Let a(w) be the second derivative of -w**3/6 - w**2/2 - 2*w. Let s be a(-5). Suppose 0 = -5*g + 4*g + s*o - 7, 0 = -4*g + 4*o - 4. Is g at least as big as -0.5?
True
Let c = 6 + -8. Let m be (-1338)/9*(-2)/4. Let k = m - 75. Are k and c equal?
False
Let b be -4 - (344/(-12))/((-6)/(-9)). Do 40 and b have the same value?
False
Let c = 3.2 + -3. Suppose 3*n - 4*h = 48, -2*n = 5*h - 8 - 1. Suppose -4*f + n*f = 16. Which is bigger: f or c?
f
Let h(t) = -t**3 + 6*t**2 + 2. Let s be 0*(0 + (-3)/6). Let z = s - -6. Let q be h(z). Which is smaller: q or 3?
q
Let b = -179 + 2686/15. Is 0 bigger than b?
False
Let i = 103/984 - 6/41. Which is smaller: i or 1?
i
Suppose -1 - 9 = 2*w. Let q = 28 - 28. Is w <= q?
True
Let r = 12 - 12.6. Is -3 at least r?
False
Let p be (7/2)/((-2)/4). Let m be (-6)/9*3/p. Let i = -0.019 - 1.981. Is m < i?
False
Let s = -7 + 6. Which is bigger: -5/9 or s?
-5/9
Let x = -23942/195 - -1428/13. Let j = x + 40/3. Does j = 0?
False
Let g = -1 + 1.1. Suppose -7 - 5 = -4*t. Let m be t/15*17 + -3. Which is smaller: m or g?
g
Let n = 7/24 - 1/24. Let q(f) = 6*f + 1. Let o be q(1). Let i(h) = -h**2 + 8*h - 6. Let d be i(o). Do n and d have the same value?
False
Let o(x) = x**2 + 2*x + 7. Let s be o(-10). Are s and 87 unequal?
False
Let s be ((-10)/(-35))/((-4)/(-3)). Suppose -5*f + 4*w = 21, -2*f + 5*w = -3 + 25. Which is greater: s or f?
s
Let c be (11 - 5)*(-1)/(-9). Which is greater: -15 or c?
c
Let o = -5 + 4.2. Let d = o - -1.1. Is d < -2?
False
Let h = -30 + 149/5. Suppose 0 = -f + 1, 0 = -0*z - 2*z - f - 19. Let k = z + 11. Which is bigger: k or h?
k
Let h(u) = 0*u + 10*u**2 + 51 - 14*u - 77 + u**3. Let z be h(-11). Let i = -5 + 11. Is i equal to z?
False
Suppose -h - 9 = -5*c, -c + 4*h - 1 = h. Let m be 1*(2 + (-5)/c). Is -2 at least m?
False
Suppose -5*g = -3 - 2. Let d = -53 - -47.4. Let q = d + -0.4. Is g smaller than q?
False
Let y = 0.67 + -0.77. Which is bigger: y or 3/11?
3/11
Let x = -1.62 + 1.8. Let k = x + -0.08. Let s = 0 + k. Is s greater than -1?
True
Let h = 0.17 + 6.83. Let k = h + -7. Let o = 3 + -5. Are o and k non-e