0. Let z be w/r - 26/30. Which is greater: z or -0.1?
-0.1
Let m(w) = -w**3 + 3*w**2 + w + 5. Let n be m(4). Let q(d) = d**2 + 8*d + 4. Let t be q(n). Which is smaller: 0 or t?
t
Let n be -11*((1 - 2) + 0). Suppose -3*a + 16 = -5*k, 5*k = a - 1 - n. Let u be (-3 + (-4)/(-1))*3. Which is smaller: a or u?
a
Let h be ((-26)/(-8))/((-2)/8). Let l be h/(-28) - 8/(-28). Is l at least 2?
False
Let w = -2.2 - -2. Suppose 7 = -5*h - 3. Let x be h*(-1 + (-30)/(-27)). Is x > w?
False
Let p = -63 - -103. Suppose 7*c - 2*c = p. Which is smaller: 7 or c?
7
Let s = -43 + 557/13. Do s and 1 have different values?
True
Let y(l) = l**3 - 2*l**2 - 8*l - 1. Let b be y(4). Is -1 smaller than b?
False
Let q = 91 + -91. Are q and 4 equal?
False
Let n = 12 + -17. Let s(q) = 2 + 5*q - 4*q + q**2 + 5*q. Let u be s(n). Which is smaller: u or -2?
u
Let t = 7 + -9. Which is greater: t or -8/5?
-8/5
Let m be -3 + 3/(207459/240347). Let i = 2/3293 + m. Let w = 4/21 + i. Which is greater: w or 1?
1
Let u = 0.1 - 0.2. Let v = 0 - u. Let f = 0.1 - v. Which is greater: 2 or f?
2
Let i = -0.4 - -1.4. Let w = 1.05 - i. Let v = w + -0.05. Is v bigger than 0?
False
Let w = -31/3 + 10. Which is smaller: w or -5/7?
-5/7
Let s = -383497/60 - -6392. Let w = -1/20 + s. Let t(x) = x - 7. Let r be t(7). Is w smaller than r?
False
Suppose -3*n - 34 = 6*l - 2*l, 2*n - 2*l + 4 = 0. Let m be (-9 + 10)/(2/(-10)). Is n smaller than m?
True
Let z(g) = g**2 + 7*g + 7. Let a be z(-5). Let r be 6 - (-1)/(a/6). Suppose -1 = x - r. Are 4 and x nonequal?
True
Let s = -4 - 1. Let t = 0.01 + 4.99. Let w = t + s. Are 1 and w equal?
False
Let y = 93/28 - 15/4. Which is smaller: 4 or y?
y
Let j(v) be the second derivative of 1/4*v**4 + 1/20*v**5 + 0 + 1/3*v**3 + v**2 + v. Let u be j(-2). Is u >= 1?
True
Let d = -2.3 + -6.7. Let w = -7 - -17. Let y = w + d. Is y greater than or equal to -3?
True
Let c be (0/2)/((-1)/(-1)). Let j be -2 - (-2 + 2 + -2). Does j = c?
True
Suppose 4*x - 13 = 11. Is 7 at most as big as x?
False
Let o = -0.45 - -0.56. Which is smaller: 2 or o?
o
Let i = -120.1 - -120. Is 5.8 greater than or equal to i?
True
Let z be ((-1104)/140)/(-6) + 2/7. Is 1 at least z?
False
Let c = 52 - 51. Which is smaller: 0 or c?
0
Let t(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 + 2*x**2. Let a be t(-2). Which is greater: -4/5 or a?
-4/5
Let w = 0 + 14. Let l = w + -10. Let m = l - 4.1. Which is bigger: m or -4?
m
Suppose -2*h - 10 = 3*h. Let s = 4 + h. Suppose 3*q + 5*o = -12, -q = o + 1 + 1. Are s and q equal?
False
Let x(k) = k**3 - 6*k**2 + k - 7. Let v = -10 + 14. Suppose -v*i = -5 - 19. Let g be x(i). Do g and -2/3 have the same value?
False
Let o(x) = -x**3 - 9*x**2 - 7*x + 2. Let g be o(-8). Let s = -5 + 16. Suppose 3*n + s = -7. Is n less than or equal to g?
True
Let q = 47 - 48. Let p = 0.05 + 1.95. Is q bigger than p?
False
Suppose 5*o = -3*o + 48. Suppose -2*s = -3*s - 3*x - 6, -50 = -5*s + 5*x. Do o and s have different values?
False
Let k be 1*0/(7 + -3). Which is smaller: 10/7 or k?
k
Let y = -0.05 + 2.05. Let w = 4 - y. Does -2/9 = w?
False
Suppose c - d = -3*c - 6, 5*c - d + 7 = 0. Which is smaller: c or 3/7?
c
Let o be (-3)/2*(-2)/3. Which is smaller: o or 3/10?
3/10
Suppose 2*j = 28 - 26. Is -2/269 <= j?
True
Let k = -3 + 21. Let d be 2/k + (-4)/(-18). Suppose 0 = -p - 1 - 0. Which is smaller: p or d?
p
Let p be ((-68)/4 + 2)*4/(-78). Let d be -3*1/6*-2. Is p <= d?
True
Let q(v) be the second derivative of v**3/6 - 7*v**2/2 + v. Let y be q(6). Let t be 104/(-26)*1/3. Is t >= y?
False
Let o = -3 - -6. Suppose o*p = 5 - 2. Which is smaller: p or 4/3?
p
Let m = -18 + 17. Let b be m/(-3) + 5/(-6). Is -7/6 less than b?
True
Let h = 10 - 6. Let x = 0.615 - 0.315. Are h and x nonequal?
True
Let b be 88/(-70) + (-18)/(-45). Let g = 47/14 + b. Which is smaller: 3 or g?
g
Suppose 6 + 24 = -5*l. Let a be 14/(5 + 3 + l). Are 4 and a equal?
False
Let u = 59 - 79. Which is smaller: u or -1?
u
Suppose -i - 5 = -2*i. Suppose 2*a + i*j - 6 = 0, a - 2 - 1 = -3*j. Suppose -5*c = -c - 8. Which is bigger: a or c?
a
Let h = 2/45 + -104/315. Is 2/5 < h?
False
Let v = 26 + -24. Let s = 2 - v. Let y(d) = -d**3 + 3*d**2 + d - 3. Let a be y(3). Are a and s nonequal?
False
Suppose 0*p - 16 = -4*p. Suppose 5*k + 321 = 3*q, 0*k - p*q = 2*k + 144. Let t = k - -332/5. Is -1 > t?
False
Let b be (-2 - -4) + -1 - -3. Suppose 2*p = 6*p - b. Let r = 0.11 - -0.09. Which is bigger: p or r?
p
Let k = 43 + -39. Are k and 3 unequal?
True
Let x be -2 + (1 - 2) + 13. Which is smaller: x or 1?
1
Let j = -9.1 + 1.1. Let a = 5.1 - -0.9. Let r = j + a. Is -2 < r?
False
Let l(i) = i. Let a be l(-7). Let d = -1 + -6. Is d at most a?
True
Let v = -184 - -174.76. Let g = 9 + v. Let a = g - -0.04. Is a != -2/7?
True
Suppose 2*a - 3*a + 1 = 0. Suppose z = -3*b - 0*z + 3, -b - 4*z = 10. Is b <= a?
False
Suppose 0 = 7*v - 2*v - 100. Let f = v + -21. Which is smaller: f or 2/53?
f
Suppose 5*g + 32 = 2. Let a = -9 + 16. Let v = g + a. Which is smaller: v or -1/15?
-1/15
Let v(p) = p**3 - 3*p + 3. Let b be v(2). Let h = b - 2. Which is bigger: h or 0.2?
h
Let d = 2 - -4. Let j = d + -9. Which is smaller: j or -2?
j
Suppose -15 = -8*y + 25. Which is smaller: 7 or y?
y
Let z(p) = -p**2 + 2*p - 3. Let s be z(3). Let h be ((-4)/5)/(6/(-15)). Suppose -5*n + 10 = -5*g, -h*n - 21 = -0*g + 3*g. Which is greater: g or s?
g
Let b(l) = l - 2. Let d be b(6). Suppose -2*y + 4 + 6 = 0. Is y < d?
False
Let p(c) = -c**2 + 3*c + 2. Let u be p(3). Suppose 0 = -o + u*o. Suppose 0 = 3*z - o*z. Which is bigger: z or -1?
z
Let j = -30088/59 + 510. Which is greater: j or 1?
1
Let u = -19 - -17. Which is smaller: -2/3 or u?
u
Let k = 12.9 + 0.1. Let a = 12 - k. Which is smaller: -0.5 or a?
a
Suppose f - 9 = -4*j, 0 = 3*j + 3*f + 2*f + 6. Suppose j*i - 3 = -15. Let n(g) = -g**3 - 4*g**2 - 3. Let h be n(i). Is -2 >= h?
True
Suppose -4*x = -4*o - 2*x - 48, -x = -4. Let a be 1/(8/o + 1). Is a greater than or equal to 4?
True
Let u(h) = h - 2. Let s be u(2). Let w be (-1 + s)*(2 + -1). Let k be w - (1 - 1)/1. Is 1/5 at most as big as k?
False
Suppose 14 + 4 = -2*n. Which is greater: -10 or n?
n
Let i = 2 + 0. Suppose 7 + i = 3*z. Suppose 6 = z*m - m. Which is smaller: 1 or m?
1
Suppose 2*m = m - 4. Let p(u) = -4*u**2 - 20*u - 5. Let j be p(-5). Which is bigger: j or m?
m
Suppose 0*h - 4*h = -8. Let r = -12 + 21. Suppose 0 = 4*a + 3*j - r, -a - 3 = -0*j - j. Which is smaller: a or h?
a
Let u(f) = 4*f + 7. Let h be u(-4). Is h not equal to -8?
True
Let c(a) = -a - 3. Let l be c(-8). Let f(w) = w**2 - 4*w - 2. Let h be f(l). Let d be (0/2)/(1 - 2). Is h less than d?
False
Suppose -w - 6 = 3*b - 5*w, -3*w = -3*b - 6. Is b smaller than -5?
False
Let a = 5 - 6. Let y = -11 - -8. Which is smaller: a or y?
y
Suppose 3*x + p = -10, 2*x - 6 = x + 2*p. Which is bigger: -15 or x?
x
Let p = 0.03 - 0.33. Let i = -13 - -18. Let a = -4 + i. Which is greater: a or p?
a
Let g be (-2 - -1) + 9 + -9. Is 3/19 greater than or equal to g?
True
Let a = -13 + 11. Which is smaller: a or -4?
-4
Suppose 3*z - 10*z = 7. Let t = 14 - 0. Let i = 9 - t. Is i at most z?
True
Suppose 4*v + 5 = -10*f + 5*f, -4*v = -2*f - 2. Is f > -1/29?
False
Let o = -77 - -84.2. Let i = 7 - o. Are -0.1 and i unequal?
True
Let x(m) = 10*m - m**2 + 2 - 5 + 3 - 6. Let c be x(10). Which is smaller: -5 or c?
c
Let y = -0.47 + 0.37. Suppose -4*p - 24 = 5*c, -c - 5*p + 2 = 11. Let r be c/10 + 2/10. Which is smaller: y or r?
r
Let x = -13 - 6. Let y = 19 + x. Which is greater: -2/51 or y?
y
Let i(g) = 2*g**3 + 6*g**2 + 7*g. Let q(x) = -3*x**3 - 9*x**2 - 11*x. Let j(v) = 8*i(v) + 5*q(v). Let z be j(-1). Which is smaller: z or -2/3?
-2/3
Suppose -2 + 5 = 3*s. Let k be ((-9)/(-24))/((-12)/8). Is k at most s?
True
Suppose 0 = -2*p + 4*p + f - 8, 3*p = -2*f + 14. Let q be (1 - 4)*10/15. Let d be (-2)/(-3) - q/3. Is p greater than d?
True
Suppose -l = -6*l + 20. Suppose -4*r = -0*r + 2*a - l, -1 = -r + a. Suppose r + 7 = 2*t. Which is smaller: t or -1?
-1
Let k be 13/(-26)*(1 + 5). Which is bigger: -2 or k?
-2
Let n(z) = -z**2 - 4*z + 4. Let v be n(-5). Do 2 and v have the same value?
False
Let f be ((-7)/4)/((-1)/12). Let r be (-2)/(-3) + f/9. Suppose r = 3*q - 2*v, 2*q - 2*v - 2 = -3*v. Is q > 0?
True
Let c = -