 o or 3?
o
Let f = -0.36 + -0.04. Let k = 0.4 - f. Let o = k - -0.2. Is -1 >= o?
False
Let u(n) = n**2 - 9*n + 10. Let d be u(8). Let h = -7 - -6.08. Let b = h - 0.08. Which is smaller: b or d?
b
Let o = 476 - 3817/8. Which is smaller: o or -2?
-2
Let a be -3 - (16 - (1 - 1)). Which is smaller: -17 or a?
a
Let x = 2 + -1.9. Let v = x - 0. Let p be (-3)/(-9) + (-8)/(-3). Which is smaller: p or v?
v
Let s = 8 + -5. Let n = 2 - -1. Suppose 0*r + n*r = -s. Is -2/3 < r?
False
Let h(m) = 2 + 3*m + m**2 + 0*m + m + 0. Let j be h(-2). Let x(u) = 2*u**3 + 3*u**2 + u - 1. Let b be x(j). Is -7 greater than or equal to b?
True
Let c = -2/74665 + -20159512/1418635. Let j = -1122/95 - c. Which is smaller: j or 2?
2
Let m = -0.0043 - -5.2243. Let f = -0.22 + m. Let g = -2 + 1.9. Is f at least as big as g?
True
Suppose 33 = 2*s - 27. Which is smaller: s or 28?
28
Suppose 4 = -3*k - 5. Suppose -v - g = -5, -6*v + 4*g = -3*v + 6. Let o = v + k. Which is smaller: o or -2/11?
o
Suppose 2*h - 22 + 32 = 0. Is h equal to -7?
False
Suppose 24 = 13*c + 11*c. Which is greater: c or 1/18?
c
Suppose -3*h + 19 = -2*h - 5*q, -h - 4*q - 26 = 0. Which is bigger: -2/5 or h?
-2/5
Let g = 89 - 155. Let y = -72.1 - g. Let b = y + 6. Is b greater than or equal to 1?
False
Let d(x) = x**3 + 4*x**2 + 4*x. Let o be d(-3). Which is bigger: o or -1?
-1
Let l = 91 - 37. Which is greater: l or 55?
55
Let s be 36/45*(-15)/2. Let a(c) = c. Let t be a(s). Which is bigger: -7 or t?
t
Let p(o) = o + 16. Let z be p(-14). Suppose z = a, -5 + 27 = 2*c + 5*a. Which is bigger: c or 7?
7
Suppose t = 3*h - 1, 4*t = -h + 34 - 12. Which is greater: 3 or h?
3
Let g = 120 - 119. Is 4/81 >= g?
False
Let i be (26/(-39))/((-2)/(-57)). Is -20 at most as big as i?
True
Let r = -309 + 4633/15. Let t be 6/4*(-1 - 1). Let b be (2 + t)/1 + 2. Which is bigger: r or b?
b
Let v = 36.2 - 40. Let n = v - -3. Is n > -1/4?
False
Let o = 62 - 88. Let f be o/22 + 4/22. Let c = f + 1. Is c < -1?
False
Let z = -27.1 + 26. Is z greater than or equal to -0.1?
False
Let h = -0.099 + 0.299. Is -42 greater than h?
False
Let p be (-6)/(-2) - (2 - 58/(-38)). Let c be ((-22)/380)/(2/32). Let s = c - p. Which is smaller: s or 2/21?
s
Let k be 4/16*-2*1. Is 27 not equal to k?
True
Let k(i) be the second derivative of i**4/12 - 7*i**3/6 + 5*i**2/2 + i. Let h be k(7). Is h smaller than 4?
False
Suppose 5 - 2 = -3*n. Are n and 1/12 non-equal?
True
Let x = 6.6 + -6. Let y = -0.57 + x. Let r = y - 1.03. Are -2 and r unequal?
True
Let q = 0.1 - 0. Suppose 4*o = -4 - 0. Let x be o + (0/3)/3. Is q less than or equal to x?
False
Suppose -2 - 2 = -2*i. Let f(v) = 5*v**2 + 2. Let n(u) = 4*u**2 + 2. Let g(m) = 5*f(m) - 6*n(m). Let l be g(i). Which is smaller: l or 1?
1
Let r(h) = h - 4. Let c be r(4). Suppose m = 2*m. Suppose 5*o + 0 - 5 = m. Which is smaller: o or c?
c
Let t = 75 + -85. Which is greater: t or -21/2?
t
Let x be 1/(-2)*2 - -1. Which is greater: -1 or x?
x
Let m = -1 - 1. Let j be (-122)/(-10) - 1/5. Suppose 3*l - 4*f = -2, 5*l - l + 4*f + j = 0. Is l at most m?
True
Let v = -5/7 + 8/21. Suppose -553*n + 544*n = -9. Is v not equal to n?
True
Let i = 0 - -0.1. Is i >= -9?
True
Let c(f) = -f**2 + 8*f - 2. Let g be c(7). Let d = g - 3. Let i(z) = -z**3 - 7*z**2 - 3*z + 20. Let r be i(-6). Is d less than or equal to r?
True
Let f = 4.5 + -4. Let d = f + 0.4. Is d greater than 0?
True
Let u(o) = -o**2 + 12*o + 1. Let x be u(12). Is -2/35 smaller than x?
True
Let h = 12 - 11. Let i be (2/(-9))/((-1)/(-30)). Let k = i - -6. Which is greater: k or h?
h
Let a(q) = -2*q**2 + 23*q + 11. Let o be a(10). Is o less than 40?
False
Let p = -0.16 + 0.07. Let r = -0.11 + p. Which is bigger: -2 or r?
r
Let a = -2569963/42 + 406325/7. Let b = a - -3150. Let y = 463/66 - b. Is y less than 0?
False
Let z(y) = 3*y**2 + 2*y + 1. Let c be z(-1). Let f be (-65)/273*(-5 + 1 + 1). Are c and f non-equal?
True
Let f = -4 - -3. Let v = -3.82 + -0.18. Is v bigger than f?
False
Let n(h) = h**3 + 4*h**2 - 6*h - 2. Let a be n(-5). Which is smaller: 13/7 or a?
13/7
Let m(r) = -r**3 + 4*r**2 - r + 4. Let p be m(4). Let g = 12 - 11. Suppose -2*y = 3*b - g, 3*b + 1 = 2*y + 6. Do b and p have the same value?
False
Let v = 8.9 - 9.4. Which is smaller: v or -7?
-7
Suppose p = -2*p + n + 5, 0 = 4*p + n - 16. Suppose -3*a - 2*a = 0. Suppose a = -x - p*x. Is 2/7 not equal to x?
True
Let s = -66 + 52. Which is bigger: s or 2?
2
Suppose 4*a = 2*a - 2. Which is greater: -4 or a?
a
Let q = -14/9 + 8/9. Suppose -3*j = -0*j - 3. Is j >= q?
True
Suppose -x + 2*o = 2*x + 6, -4*x = o + 19. Let h be x/(-16) - (-19)/4. Suppose -2*t = 5*u - 34, 0*u - h*u + 38 = 4*t. Which is greater: 7 or u?
7
Suppose -b + 1 = 5, 4*k + 16 = -4*b. Let y = k - -1. Is y greater than or equal to 2/9?
True
Let q = 5.03 - 0.03. Let b = q + -9. Is 0.1 bigger than b?
True
Let r = -3.7 - -2.7. Suppose 6 - 4 = -2*v + p, 2*v - 5*p = -10. Which is greater: v or r?
v
Let i = 79 - 80. Which is smaller: i or -1/28?
i
Suppose -t + 0 = n - 3, -5*t = 2*n - 9. Let g be (-288)/(-140) - 5/(-35) - 1. Is g <= t?
False
Let d = -133.1 - -131. Which is smaller: -0.5 or d?
d
Let c be -2 + 6 - (1 + 95/31). Which is greater: c or 2?
2
Suppose 2*s - 1 = n, 5*s + 2*n = 4*n + 5. Suppose 5*z + s*c = -56, 0 = -2*z - 2*z + 5*c - 67. Is z <= -13?
True
Let v = 121/2 + -60. Which is bigger: v or 11/2?
11/2
Suppose -4*t - 4 = 4*q, -t = -q + t + 8. Suppose -4 = -q*i + 2*h - 16, 4*i + 3*h + 10 = 0. Which is greater: -5 or i?
i
Let q(c) = c - 2. Let y be q(3). Which is greater: -5/16 or y?
y
Let d = -9.43 - -1.33. Let t = 8 + d. Which is greater: t or 5?
5
Let k be 2/(-7) - (-8)/(-21). Let x(q) = q**3 - 7*q**2 - 62. Let g be x(8). Is k smaller than g?
True
Suppose -10 = -2*z + 18. Suppose -1 = -5*h + z. Suppose -5*r + 3 = 5*q - 2, r - q - h = 0. Which is bigger: r or 0?
r
Let h = -9 - 0. Let v = -7 - h. Is -2/7 less than v?
True
Let m = -27.98 - -28. Let h = 3 - 2.68. Let o = h - m. Do -0.1 and o have different values?
True
Let r be 1/3 - (-15)/9. Let d = 1 - r. Which is smaller: -1/5 or d?
d
Let n be 184/(-990) + 8/36. Let i = -12866 + 707654/55. Let q = n - i. Which is greater: q or -1?
q
Let s(c) be the third derivative of -c**6/120 - c**5/15 - c**4/24 - c**3/3 - c**2. Let p be s(-2). Let y = 6 + p. Is -3 at least y?
False
Suppose 17*i + 26 = 16*i. Which is smaller: 0.1 or i?
i
Let j(r) = -r + 14. Let f be j(5). Are 11 and f nonequal?
True
Let p(v) = -v**2 + 2*v + 8. Let d be p(-4). Is d at most as big as -17?
False
Let v(o) be the third derivative of o**5/60 + o**4/24 + 4*o**3/3 - o**2. Let b be v(0). Which is smaller: b or 7?
7
Let r(x) = -3*x - 4. Let i be r(6). Let p = 45/2 + i. Is 0 bigger than p?
False
Let q(h) be the first derivative of -h**2 - 4. Let z be q(2). Which is smaller: z or -3?
z
Let d = -0.13 - -0.2. Which is smaller: -2 or d?
-2
Let n(a) = a**2. Let y be n(1). Let t be 12/(-10)*(-6 - -1). Let u be 4/t - (-10)/(-24). Is y smaller than u?
False
Let b be (31 + 7)*2/4. Suppose -5*s = 2*y + b + 9, 2*y + 16 = -3*s. Is s >= -1?
False
Let j(w) be the first derivative of 2*w**3/3 - 3*w**2/2 + 2*w - 1. Let z be j(2). Suppose 0*c - z*y - 4 = -2*c, -c + 4*y + 2 = 0. Is 2 greater than c?
False
Let m(n) = n**2 + 2*n + 3. Let z be m(-2). Suppose 3*q + 4*g = 10, -5*q + 9 = -2*g + g. Suppose -q = z*w - 2*f, -3*w + 2*w + 6 = -4*f. Is -3 < w?
True
Suppose 5*c = 2*n - n - 27, 4*n = -4*c - 36. Let y(o) = o**2 + 6*o. Let w be y(c). Is 1 at most w?
False
Let b be (-7)/(245/(-90))*(-9 + 2). Is b greater than or equal to -15?
False
Let d = 6 - 18. Let s = -10 - d. Which is bigger: 6 or s?
6
Suppose -r + 3*f = -17, f = -2*r - 3*r + 53. Is 11 at least as big as r?
True
Let v(h) = -h**3 + h**2 + h - 7. Let q be v(0). Suppose 0*w + 12 = -w - 2*b, -5*b = 15. Is q <= w?
True
Let d = 13 - 10. Which is bigger: d or 1?
d
Let i = -233/171 + 9/19. Which is smaller: i or 0?
i
Suppose 4*a - 6 = 2. Suppose -a*j + 0 = -2. Suppose y + 4*y = 0. Is y < j?
True
Suppose 0 = -3*f - 0*f - 5*i + 14, -f + 14 = -3*i. Let t = -7 + f. Let r be -1 - -1 - (-1)/(-6). Which is smaller: t or r?
r
Let n(u) = 35*u**2 - 4*u + 1. Let j be n(1). Is 31 equal to j?
False
Suppose -4*a - a = -50. Let g be (-8)/6*a/(-16). Is 0 bigger than g?
False
Let u = -27/4 + 15/2. Suppose 17*