0)). Suppose -2*n - n = 0. Is n less than d?
False
Let a be (-16)/40*(-34 - 1). Let c(k) = -14 + a + k**3 - 2*k - 2*k**2. Let o be c(3). Which is bigger: o or 2?
o
Let y = -28.06 - -28. Which is smaller: y or -2?
-2
Let d = -8 + 21. Is d less than or equal to 12?
False
Let c be (-10)/(-4) - (-3)/(-6). Let h(t) = t**2 - 3*t + 2. Let b be h(c). Suppose b = 2*y - 12 + 4. Is y at most as big as 1?
False
Let g be (-12)/(576/(-1400)) + 2/(-12). Are 29 and g non-equal?
False
Let w = -38 - -38.76. Let n = w - 0.8. Which is greater: n or -1?
n
Let y = -21 - -67/3. Suppose 4*l - 4*t - t = 7, l + 4*t = 7. Suppose 0 = -l*v + 5*b + 6, 2*v - 3*b + 4 = 4*v. Which is smaller: v or y?
y
Let q = -61.3 + 66. Let h = q - 5. Is h >= -1/4?
False
Let g = 4/23 - -18/161. Is g at least as big as -0.075?
True
Let k(n) = -4*n**2 + n + 2. Let b be k(3). Let v = b - -63/2. Which is greater: v or 2?
2
Suppose 0 = q + 1 - 3. Is q less than 6/11?
False
Let x = 1.19 + 0.01. Let h = -2.8 - x. Let p = -709/7 + 101. Is h <= p?
True
Let j be (2 - 5)/27 - -1. Let m(a) = -a + 11. Let t be m(9). Which is greater: t or j?
t
Let g(z) = -z**3 + 5*z**2 - 4*z + 6. Let c be g(4). Suppose 4*d - 105 = y, 27 = -4*d - 3*y + 112. Let i = d + -20. Is i less than c?
True
Let m be ((-12)/10)/(6/(-30)). Let x be (2 - 4/m)/2. Let l = -45 - -136/3. Which is greater: x or l?
x
Let n = 0.4 + 0.6. Is n at most -7?
False
Let p be -2*1*2/(-40). Suppose 6*h - 3*h = 21. Suppose 6 - h = -k. Are k and p non-equal?
True
Suppose -5*d = -7*d - 4. Let x be (4/(-18))/(d - -1). Is 1 greater than x?
True
Let y(f) be the first derivative of -3*f**2/2 + f + 6. Let j be y(4). Is j at least as big as -11?
True
Let p be 6*(-6)/15 - -2. Let t = p + 9/10. Let z be 1*-1*(-2 + 1). Is z <= t?
False
Let r = -75 - -108. Which is bigger: 32 or r?
r
Let y be -3*(-2 + (-4)/(-3)). Let n(w) = w**2 + w - 4. Let k(h) = -h**3 - 3*h**2 + 6*h + 5. Let j be k(-4). Let z be n(j). Is z <= y?
True
Let k = 6 + 2. Let u(w) = -w**3 + 9*w**2 - 6*w - 9. Let a be u(k). Let d = -8 + a. Is d not equal to -2/9?
True
Let h(n) = -n**2 + 4*n - 3. Let v be h(3). Suppose v*r = -2*r + 2. Which is bigger: r or -2?
r
Let z = 10.03 - 0.03. Let t = -8 + z. Is 0 equal to t?
False
Let z be ((-16)/(-6))/(24/36). Suppose 3*y = -5*w + 6*y + 42, -z*w + 35 = -y. Does 9 = w?
True
Suppose 0 = -3*y + 4*d + 6, -3*y - 12 = -4*y - 2*d. Let f be (-2)/y - (-20)/6. Suppose 2*t = f*o - 14, 0*t + 5*t + 9 = o. Is 5/2 less than o?
True
Let c = -150 - -124. Are -26 and c nonequal?
False
Let k = -19 - -19. Is -2/7 > k?
False
Let s be ((-8)/(12/(-3)))/(-3). Let f(x) = -x**3 + 8*x**2 - 6*x - 4. Let v be f(7). Which is bigger: s or v?
v
Let t be (5 + 28*-2)/(-1). Is 52 at least as big as t?
True
Let u = -6 - -13. Let z = -27/4 + u. Let d = 14/15 + -73/30. Which is smaller: z or d?
d
Let u = 22 + -2. Let t = u - 12. Suppose 2*l + 5*d = 5*l + t, d - 8 = -l. Does 4 = l?
True
Suppose -y + 5 = 4. Suppose 0 = -0*n - 2*n + 12. Suppose 0 = 2*x - 4*x + n. Is y < x?
True
Suppose 2*c = -l + 2*l, 0 = c - 1. Is 3 >= l?
True
Let b = 8 - 4. Let o be (14/6 + -1)*3. Suppose b = 4*f - o. Which is greater: f or 1?
f
Let a(n) be the second derivative of n**3/6 - 4*n**2 - n. Let o be a(10). Which is smaller: o or 3?
o
Let j = -0.44 - -0.24. Which is smaller: j or 0.02?
j
Suppose 1 + 3 = 2*p. Suppose 2*r = -p*j - 18, 4*r + 2 = 4*j - 2. Let m = -2 + j. Is m at most as big as -7?
False
Let h be (-3)/(-2)*-2 - -2. Which is bigger: 1 or h?
1
Suppose -7 = 5*i + 3. Let u(y) = y**2 + 6*y + 4. Let a be u(-4). Let o be 5/a - (-1)/(-4). Is i > o?
False
Let j = -1 + 4. Let t = j - 2.8. Let u = t - 0.1. Which is smaller: u or -4?
-4
Suppose 0 = -i + 4*i + 27. Let t be 1 - (0 - 6/i). Is -1 at most as big as t?
True
Let h be (-18)/(-270)*(2 - -1). Is h != -0.05?
True
Let z be (-2 + 1)*(7 + -7). Suppose -2*l + z*l + 2 = 0. Let h = -0.2 + 0.2. Is h <= l?
True
Let a = 0.29 - 0.29. Which is greater: -12 or a?
a
Suppose w + 27 = -4*b, -5*w = -w - 3*b + 13. Let a(t) = -t**3 - 6*t**2 + 8*t + 6. Let x be a(w). Which is bigger: -5/3 or x?
x
Let p(u) = 3*u**2 - 21*u + 12. Let b be p(8). Suppose 3*r - b = -3*i, -4*r + i + 39 = 2*i. Which is greater: r or 10?
10
Let z(b) be the second derivative of b**4/12 + b**3 - 7*b**2/2 + 2*b. Let n be z(-7). Suppose -5*h - 8 - 12 = n. Is -3 > h?
True
Let p(c) = -3*c - 1. Let v be p(-1). Suppose 0 = v*t + 3*t. Let k = -1 + 0. Is t at most k?
False
Suppose 3*a + 5 = -2*x, -10 + 5 = 5*x. Suppose 10 = 2*g, -25 = 2*d - g - 4*g. Let w = d - a. Is w at most -1/6?
False
Suppose -z + 2*z + 18 = 0. Let y be 6/(-5)*135/z. Do y and 9 have the same value?
True
Suppose z + 0 = -5. Is z greater than or equal to -2?
False
Let i = -4.8 - -5. Let s = i + -0.1. Is s > 0.1?
False
Suppose -4*d = -4, 3*b - d + 3 = 2. Which is smaller: b or 14?
b
Let y = 0.4 + 0.6. Which is greater: y or 0.04?
y
Let f(s) = s**2 + s + 1. Let w(v) = -v**2 + 8*v - 1. Let j be w(8). Let d be f(j). Let c = -2/81 + 85/162. Which is smaller: c or d?
c
Let i = 5 - 3. Suppose 0 - 11 = -4*y - 3*o, 3 = 3*o. Let s be (y/4)/(1/1). Which is greater: i or s?
i
Let g = 6 - 8. Let l = 53 - 52. Which is bigger: l or g?
l
Let i = -14 + 8. Which is smaller: -3 or i?
i
Let l = 28 + -27.41. Let i = 0.01 + l. Which is smaller: 1/2 or i?
1/2
Suppose -5*s - 61 = 9. Which is greater: 1 or s?
1
Let t = 12.1 + -12. Is t smaller than 48?
True
Let k = -0.16 + 0.48. Let h = k - 0.32. Let w = 5 - 5.3. Is h equal to w?
False
Let p(n) = -n**3 - 9*n**2 + 6*n - 44. Let x be p(-10). Let o = -6 - -3. Which is bigger: x or o?
o
Suppose 0 = 5*x + 5*l + 70, -3*l = 2*l - 5. Which is smaller: x or -14?
x
Let g = -89 - -86. Which is smaller: g or 2?
g
Let r = -256/21 - -83/7. Let w = -0.05 - -0.35. Let s = w - 1.3. Which is smaller: r or s?
s
Suppose -152 = 3*s - 29. Which is smaller: s or -40?
s
Let o(w) = w**2 - 2*w. Let n be o(-2). Suppose -3*v - 4*a = 1, 2*v = 2*a + a + 5. Which is greater: n or v?
n
Let w = 6 + -4. Let q = 52 - 50. Is q > w?
False
Let z = -5 - -4. Let g be ((-2)/(-12))/((-6)/(-8)). Which is greater: z or g?
g
Let q = -0.14 + 0.03. Are -2/3 and q unequal?
True
Suppose 3*x + 3 + 2 = -5*t, 0 = -4*t - 4*x + 4. Suppose -6 = -0*d - 2*d. Let c = t + d. Are 3/10 and c equal?
False
Let j(g) = -g**2 - 5*g - 2. Let z be j(-3). Suppose -6*x = -4*x - z. Is 0.2 bigger than x?
False
Let b = -10.92 - -12. Let o = b + -0.08. Which is smaller: o or 1/6?
1/6
Let h(q) = q**2 + 2*q + 1. Let x(d) = -d**3 + d - 1. Let l be x(1). Let v be h(l). Which is smaller: v or 4/3?
v
Let r = -0.54 + 0.6. Let m = 0.184 + 1.756. Let a = r + m. Is 0 != a?
True
Let h(n) = -n + 9. Let l be h(9). Let p = -83 + 417/5. Which is bigger: p or l?
p
Let j(o) be the second derivative of -o**3/3 - o**2/2 + o. Let y be j(-1). Let d be 4/10*30/24. Which is smaller: y or d?
d
Suppose 3*x + h - 116 = -h, 4*x - 173 = h. Is x smaller than 44?
True
Let q be (-8)/4 + 16/2. Suppose 5*c + q = -4. Let n be -3 + 1 + c + 3. Is -1/4 equal to n?
False
Let v be 1/(-4)*(-18)/36. Which is smaller: v or 0.06?
0.06
Let p = -2513 - -2532.97. Let d = -20 + p. Which is smaller: d or 2/5?
d
Let r = -5 + 4.7. Let m = 1097/7 + -157. Which is smaller: r or m?
r
Suppose 13*k + 5 = 18. Which is greater: 16/3 or k?
16/3
Suppose 2*x + 3*q + 2 = 0, 3*x + 22 = -x + 3*q. Suppose 5*l = n - 8, 3*n + n = 3*l - 2. Which is greater: x or n?
n
Let j = -3 + -4. Let h = j + 6. Which is smaller: 0.5 or h?
h
Let d = 16 + -17. Is 3/8 at most d?
False
Suppose 2*n - 14 = 2*f, 2*n = -3 + 9. Is f bigger than -2?
False
Let s(h) = h - 3. Let i be s(25). Which is smaller: 21 or i?
21
Suppose 0 = -i - 2*p - 1 - 3, 0 = 2*i - 5*p - 10. Is i greater than 3/4?
False
Suppose 2*f - 8 = 0, 5*g - 26 = -5*f + 4. Suppose g*h = -2*r, -5*r - 2*h - 4 = -h. Is -9 bigger than r?
False
Let c = -146717776/2385 - -615171/10. Let b = -1/106 - c. Let p = -2 + 1. Which is smaller: b or p?
p
Let q be 298/(-8) + 1 - -1. Let t = q - -35. Which is bigger: t or 1?
1
Let d be 8/280 - 6/14. Which is smaller: d or -1?
-1
Let b = 0.09 + -0.09. Let y = 0 - 0. Is y != b?
False
Let g(d) = -d**2 + 5*d - 3. Let m be g(6). Let k be 50/136 - m/(-36). Which is smaller: k or 1?
k
Suppose 4*f = 6*f - 2. Suppose -w - 19 = 4*g, -5*g = 4*w + 20 + f. Which is smaller: 1/8 or w?
1/8
Let y be