4)/6). Which is smaller: c or -0.4?
-0.4
Let k = -803 + 797.91. Let t = -0.09 - k. Let i = -4 + t. Which is smaller: -2 or i?
-2
Suppose -4*z - z + 557 = y, 4*y + 214 = 2*z. Let u be z/6 + 1/(-2). Let s be 1/6*u/(-4). Is s smaller than -2?
False
Let g(a) = a**3 + 6*a**2 - a - 6. Let k be g(-5). Let s be 2 - 3*17/k. Let z = 2 - 3. Which is greater: s or z?
s
Let w = 6883/3 + -2325. Let k = w - -30. Which is greater: -1 or k?
k
Let v be 4/10*35/1. Let l be (-4)/14 - (-32)/v. Suppose l*y + 3 = 1. Which is bigger: 2/7 or y?
2/7
Let q be 44/56 - 4/14. Let s = -2/15 - 4/15. Which is smaller: q or s?
s
Let t = -7 - -7. Let v = -2 - t. Suppose 0 = 2*f + k + 3, -k + 1 = -3*f + k. Is f < v?
False
Let r = -0.9 - -1. Let l = -2.09 + 0.09. Which is smaller: r or l?
l
Let x = 3.8 + 0.2. Let l = 0.26 + -4.06. Let m = x + l. Which is smaller: 2/3 or m?
m
Let r = -0.1 - 0.4. Let m = 0.3 + r. Let k = m - -0.1. Is k less than or equal to 2?
True
Let h(r) = r + 2. Let f be h(2). Suppose 4*m - 3*q = 4, m = -f*q - q + 24. Let i be ((-1)/3)/(1/(-6)). Is m greater than or equal to i?
True
Let h(j) = 4*j + 1. Let l be h(1). Suppose -6 = l*f + 14. Let r be (f/18)/((-6)/(-18)). Which is smaller: r or 0?
r
Let w be (2/24)/((-21)/28). Let a(v) = -v**2 - 7*v - 2. Let t be a(-6). Let h be (-4)/(-14) + t/(-14). Which is bigger: h or w?
h
Let y = -0.039 + 1.009. Let u = y - -0.03. Let n = -1.2 + u. Which is bigger: n or -2/7?
n
Suppose -3*w + 3 = -0. Let d be 11/(-5) + (3 - w). Which is bigger: 0 or d?
0
Let z be 6 + 8*(7/(-2) + 4). Which is smaller: 31/3 or z?
z
Let y = -5 + 9. Suppose 4 = -5*g + y*g. Let m be (g/(-6))/(2/3). Which is bigger: m or 3/5?
m
Suppose -2*k = z, 4*k = -0*k + 2*z. Which is smaller: k or 2/15?
k
Let z = -0.2 + 0.3. Let m be 42/(-252) - (-2)/4*0. Is m <= z?
True
Let u = -182161/176 + 1035. Which is smaller: u or 0?
u
Let i(l) be the first derivative of 3*l**2 + 14*l + 1. Let m be i(-10). Let z be ((-2)/m)/(2/4). Which is smaller: z or -1?
-1
Suppose r - 48 = 5*r. Which is greater: r or -13?
r
Let a = -0.8 + 0.2. Let k = -2.72 + 0.12. Let c = a - k. Is c >= 1/4?
True
Let z = -17.9 - -18. Are z and -6 nonequal?
True
Let n(y) = -14 + 14 - y**2 + 4*y. Let d be n(4). Suppose -4*x + 0*x = 0. Is d less than or equal to x?
True
Let r = 1.35 - 1.45. Are r and -0.2 non-equal?
True
Let f be (0/(-1))/(-3 + 2). Suppose f = 2*y - 5*b + 22, -5*y = b - 6*b + 25. Suppose 0 = a + 3*t - 15 + 3, -3*a + 4*t = 16. Is a equal to y?
False
Let u(w) = w - 3. Let x be u(5). Suppose -k = -3*k - x. Is k less than or equal to 1/5?
True
Let a = 32 - 20. Suppose 4*j + 4 = a. Which is smaller: 4 or j?
j
Let g = 5498/95 - 292/5. Which is smaller: 0 or g?
g
Let u = 6 + -5. Are -2/55 and u equal?
False
Let n = -18 + 21. Suppose 0 = -n*h - h - 8. Is h equal to 0?
False
Let l = 2/255 + -1552/2805. Which is smaller: 2/7 or l?
l
Let w(x) = -1 - x**2 - 1 - x - 5*x**2 + 2*x**3. Let b(f) = -f**3 + 3*f**2 + 1. Let r(t) = 5*b(t) + 2*w(t). Let m be r(1). Which is greater: m or 0?
m
Let k be 14*(1 - 9/6). Which is greater: k or -5?
-5
Let s = -4778 - -4802.91. Let g = 25 - s. Is 0 greater than or equal to g?
False
Let u(t) = 6*t + 18. Let m be u(-3). Is -1/39 > m?
False
Let l be 6/21 + 59/21 + -3. Which is smaller: -0.1 or l?
-0.1
Let c(m) = -3*m + 8. Let w be c(7). Is -13 bigger than w?
False
Let s be (2 - (2 - 0)) + 0. Suppose s = 2*k + 2. Is k at least as big as -1?
True
Let o be ((-22)/110)/((-244)/30). Which is greater: 1 or o?
1
Suppose -2*p + 0*k - 4*k = -22, 3*p - 21 = -3*k. Suppose s - 7 = -2*c, 3*s + 2*c - 2 = p. Is 1/5 at least s?
True
Let m = -10.81 + 0.01. Let a = -11 - m. Is a < -2/11?
True
Suppose -w + 2*t = -3 + 4, 3*w = -2*t - 27. Let p = -5 - w. Let d be 6/18 + p/3. Are d and -2/5 unequal?
True
Let b(q) = q**3 + 5*q**2 - 5*q + 8. Let w(a) = -a**2 - 6. Let r be w(0). Let k be b(r). Is 6/11 at least as big as k?
False
Suppose f + 0*f - 1 = 0. Let i be (0/1)/(1 - 3). Suppose s - f = -i*s. Does s = -2/9?
False
Let i be -1*4/(-10) - (-4)/(-5). Are i and -21 non-equal?
True
Suppose 0 = -4*r - 5*z, -5*r - 7*z + 2*z = 0. Is 4 equal to r?
False
Let c = -5.4 - -5. Let r = 103 - 103. Is r >= c?
True
Let r = -23437/39 - -601. Is r bigger than -1?
True
Suppose -2*f + 3*q = 3*f + 22, 0 = -4*f - 5*q + 12. Let i = 1759/18 - 195/2. Which is smaller: f or i?
f
Let y = 15 + -14. Which is smaller: y or -6?
-6
Let o = 69/54788 - 531233211/6958076. Let s = -8963173/117729 - o. Let m = s + 1/103. Is -2 at least as big as m?
False
Let f = 8 - 0. Suppose 2*v + 3*s + 5 + f = 0, -5*s - 25 = 5*v. Let b = v + 1. Is -1 at most b?
True
Let g(j) = j**2 - 3*j + 3. Let o be g(2). Let n(u) be the third derivative of -u**4/12 + u**3/6 - 18*u**2. Let k be n(o). Is k bigger than -4/9?
False
Suppose -m + 9 = -0*m. Suppose -4*c - m = 7. Which is greater: c or -3?
-3
Let z be (68/(-25))/((-12)/(-390)). Let j = 14 - -74. Let d = z + j. Is 1 greater than or equal to d?
True
Let a = 0.156 - 7.056. Let z = a + 7. Is z > -0.1?
True
Let v = -38 - -53. Let g be 6/15 - 111/v. Is -7 != g?
False
Let g = -18 - -17. Which is bigger: 1 or g?
1
Let k = 3 + -1. Let q be ((-5)/10)/((-2)/12). Suppose c = q*c - 2. Which is greater: c or k?
k
Let y = -539 - -3223/6. Let f = y + 3/2. Let x be (-6)/26*2/3. Are x and f equal?
False
Let w(v) = v + 4. Let s be w(-5). Let b(t) = -t**2 + t + 1. Let o be b(s). Let q be ((-15)/(-40))/(9/4). Is q bigger than o?
True
Suppose -2*x + 7*x = 0. Suppose -2*l - 2 + 4 = x. Which is greater: l or -3/7?
l
Let r = 15 - -67. Let b = r - 900/11. Is 0 > b?
False
Let y = 341747/10120 - 3005/88. Let f = 1/46 - y. Are -1 and f equal?
False
Let s(v) = 69*v**3 + v. Let w be s(-1). Is w < -70?
False
Suppose 13 = -2*r + 23. Which is smaller: r or -5?
-5
Let n = 2885 - 8770/3. Let l = -38 - n. Which is bigger: l or 1?
1
Let u = -2 + 1. Let d be u*(0 - (-4 + 1)). Suppose -3*z - 10 = -2*b, b - 1 = -z + 4. Which is smaller: z or d?
d
Let r = -5 - -4. Let c = 3 + r. Let f = c + -3. Is -0.2 bigger than f?
True
Let h = 54 - 120. Which is smaller: h or 2/5?
h
Let w(f) = f + 2. Let l = 1 - 2. Let a be w(l). Let j be ((-2)/(-24))/((-2)/(-4)). Do j and a have the same value?
False
Let t be (-266)/(-10) + (-8)/(-20). Suppose 0*i = -3*i - t. Is -7 smaller than i?
False
Suppose 11*j + 6 = 5*j. Which is smaller: j or -2/23?
j
Let x be 3/84 - 2/7. Are 1 and x equal?
False
Suppose 1 = x, 3*s - 4*x + 9 = 4*s. Suppose 0 = -3*h - b + 5*b - 4, 0 = s*h - b + 1. Which is smaller: h or 2?
h
Suppose i + 2 = w, -i + 5*w - 7 = 3*i. Let o be -3 + i*4/3. Let b(h) = h**2 + 6*h - 10. Let r be b(o). Is r not equal to -3?
False
Let t be 0 + -5 + 0/3. Let b = 5 + t. Suppose 4*x = d + 5 - b, 0 = x + 5*d + 25. Which is bigger: x or 1/4?
1/4
Let q(k) be the first derivative of -4*k + 2 + 1/3*k**3 + 7/2*k**2. Let x be q(-7). Which is greater: x or -2?
-2
Let w = 24 - 8. Let o = w + -20. Which is greater: -5 or o?
o
Let z be (-16)/(-9) + -2 + (-2)/(-9). Which is smaller: z or 1/83?
z
Let s = -8.3 + 5.3. Let d = 0.05 + -2.05. Let r = d + s. Does r = -1?
False
Let d = 0.2 - 0.2. Let k be 45/(-3)*(-8)/6. Suppose -3*j + 11 = 4*o, 3*j + j = k. Which is smaller: d or o?
o
Let c = 22 - 21.4. Let o = c - 1. Suppose w + 3 - 4 = 0. Does o = w?
False
Suppose -20 = 5*u - 0. Let p be (-1)/u - 1/8. Which is smaller: p or 1?
p
Suppose r - 2*r = 2, -5*c - 20 = 5*r. Is -8/11 != c?
True
Let r(q) = -q + 1. Let o be r(0). Let l = -0.028 + 0.088. Are o and l equal?
False
Let w = -6 - -4. Let d be ((-1)/(-1))/(2/8). Suppose 4*c - 2*n + 4 + 8 = 0, 0 = -5*c - d*n - 15. Which is smaller: w or c?
c
Let f(m) = -m**2 - 6*m - 6. Let d be f(-5). Let g = -104 + 1041/10. Is g bigger than d?
True
Let p(v) be the second derivative of -v**3/6 + 3*v**2 - v. Let u be p(6). Is u > -2?
True
Let k(b) = -5*b. Let y be k(-1). Suppose -3*x + 4*u - 8 = x, 3*u = -y*x + 14. Suppose -t - x - 3 = 0. Which is bigger: t or -3?
-3
Let z = -178 - -182. Are z and 7 non-equal?
True
Let s = 5767/17 - 339. Is s less than or equal to 1?
True
Let k be (-25)/(-81) + 2/(5 - 11). Which is smaller: k or 0.1?
k
Let d = 63/2 + -31. Which is smaller: d or 0?
0
Let a = 13.8 + -12. Let p = -0.2 - a. Which is smaller: p or -0.03?
p
Let z = 1.1 + -0.1. Is z > 18?
False
Suppose 4*b - 10 + 2 = 0. Suppose -5*l = -0*h - 5*h