 c = 1 - k. Which is greater: c or -0.1?
-0.1
Let z = 397/9 + -44. Which is bigger: -1 or z?
z
Let f(l) = 2*l**2 + 3*l - 2. Let z be f(-3). Suppose 0 = -2*u + z*u - 5. Is u greater than or equal to 1?
True
Let o = -0.081 + 0.081. Which is bigger: o or 30/11?
30/11
Let f be (-2)/(-11) - (-40)/22. Suppose -j = -y - 5, -f = -5*j + 8. Is -3 greater than or equal to y?
True
Suppose g - 2 = 0, -3*j + j - 3*g = 2. Let l = j + 3. Let i = -1.1 - -1. Is i greater than or equal to l?
True
Let w = -0.2 + 0.3. Let y = -12.9 - -14. Let q = y - w. Is q at least 1?
True
Suppose -2*y = y - 3. Suppose -3*t - 2*u + 10 - 3 = 0, 5*t = -u + 21. Suppose 0 = -t*k + k. Which is smaller: y or k?
k
Let d = 42 + -124/3. Which is smaller: d or -6/5?
-6/5
Let q = 36 - 24. Let k = q + -16. Are k and 2/3 non-equal?
True
Let k = -0.046 + 4.946. Let q = -0.04 + -4.96. Let l = q + k. Which is smaller: -1/8 or l?
-1/8
Let s = 1 + -8. Let p be 2/4*12/s. Is p greater than -1?
True
Let n = -248/275 + 18/25. Are -7 and n equal?
False
Let k be 1/(-1*(-1 - -2)). Let r be (1/(-3))/(k/(-3)). Which is greater: r or 0?
0
Suppose 2*i - 15 = 7*i. Let w be (4/i)/(8/(-12)). Let s be ((-1)/(-1) - 3)/w. Are -2/15 and s non-equal?
True
Let w be 3 + (-1 - (1 + 0)). Let p(m) = -2*m - 4. Let l be p(6). Let x be w/(-4) - 36/l. Is x smaller than 3?
True
Let k = 1315 - 24991/19. Which is greater: k or 0?
0
Let s = 2.2 + -2. Let w = -4 + 4.3. Let d = s - w. Which is greater: d or 2?
2
Suppose -10 = -4*y - 3*v, -4*y - 1 = -3*v - 23. Suppose 2*a - 2*w + y*w = 6, 19 = a + 5*w. Which is greater: a or -2/5?
-2/5
Suppose 3*a - 4*a = -5. Let l = -500 + 506. Which is smaller: l or a?
a
Let q = -783/2 - -359. Let l = q - -333/10. Which is bigger: l or 1?
1
Let o be (-15)/4*(-48)/9. Suppose 4*j = 2*w - 32, -4*w + o = -0*w + 3*j. Suppose -4 = -2*p + 10. Which is smaller: p or w?
p
Let y = -47 + 34. Are -13 and y equal?
True
Let z = -37 - -65. Which is bigger: z or 29?
29
Suppose -3*g - 13 = 2*h + 7, -h - 36 = -5*g. Is h smaller than -16?
False
Let k be 8/36 + 33/(-27). Is k equal to 1/17?
False
Suppose -5*z = 3*m + 22, -4*z = 3*m + 19 - 2. Which is smaller: 3/8 or m?
3/8
Let b(m) = m**3 + 5*m**2 + 4. Let l be b(-5). Suppose l*q + 8 = 20. Which is smaller: q or -2?
-2
Let y = -57 - -569/10. Is 3 <= y?
False
Let o be (2/4)/((-4)/(-8) - 0). Is o less than or equal to 1/82?
False
Suppose -3*l + 6*l = 0. Suppose -3*h - y - 4*y = -22, l = -4*h - 5*y + 31. Is h <= -1?
False
Let i = 42 + -6. Let r = i - 25. Which is bigger: 10 or r?
r
Let t be -1 + 2*(-2)/(-12). Suppose 2*c + 3*s = 1 + 3, -5*c + 5*s = -35. Suppose 3*o + c*a = 3*a - 6, -2*o = -a + 4. Does o = t?
False
Let x = -42 - -49. Are x and 5 unequal?
True
Suppose 2*x = 4*z - x - 39, -5*z - 5*x = -5. Suppose z = -l - 2*l. Is l not equal to 0?
True
Let b(y) = y**3 - 4*y**2 - 6*y + 7. Let x be b(5). Suppose 0*w + 18 = -x*w. Let j = w + 13. Which is greater: 3 or j?
j
Let t be 4 + -3 + (-61)/(-91). Let f be (-10)/(-26) + -1 - -2. Let j = t - f. Is 0.2 <= j?
True
Let m be -3*1*(-2)/(-21). Let o(k) = -3*k - 7. Let l be o(-4). Suppose -2*v - l = 3*v. Which is smaller: m or v?
v
Let q = -122415/16 + 7636. Let r = q + 15. Which is smaller: -1 or r?
-1
Let h be (-3)/3*1/1. Let t = h - -1. Let j be 0 - 3 - (-50)/18. Which is smaller: t or j?
j
Let c = -7.8 - -7.9. Suppose -3*t = -i + 11, t - 3 = -0*i - 3*i. Which is smaller: t or c?
t
Let v = -13.9 - -15. Let c = v - 0.1. Is -5 at most as big as c?
True
Suppose 0 = -4*y + 3 + 5. Let k be (2/15)/((-16)/(-132)). Let j = k + -1/2. Which is bigger: y or j?
y
Let k(v) = v**2 + 3*v + 2. Let t be k(-1). Which is smaller: -12 or t?
-12
Let t = -4 + 4. Suppose t*z = -2*z - 4. Let y(b) = b**3 - 6*b**2 + b - 8. Let l be y(6). Is z bigger than l?
False
Suppose -7*r + 6*r = -9. Is 7 > r?
False
Let h = 0.9 + -1. Let w = 0.9 + -0.1. Let o = w - 3.8. Which is smaller: o or h?
o
Let y be (-163)/(-261) + 0 + 2. Let l = 23/9 - y. Which is smaller: l or -1?
-1
Let f(l) = l**3 + 6*l**2 - 8*l + 7. Let u be f(-7). Let q = 23 + -10. Which is smaller: u or q?
q
Let s be (2/(-50))/(2/(-5)). Are 0 and s equal?
False
Let s be ((-12)/2)/(-2) - 2. Suppose -15 = -4*z + s. Suppose 0 = 5*a - 10*a + 2*g - 5, -z*g = 3*a + 3. Is -1 greater than a?
False
Let p = -12 - -6. Let z be p*(-2)/(-3) + -1. Let n(y) = y + 1. Let q be n(z). Is -1 > q?
True
Let k(w) = -w**2 + 4*w - 2. Let r be k(3). Is r <= 10/7?
True
Suppose 2*s - 12 = -s. Let f(r) = r**2 - 9. Let b be f(4). Suppose 0 = w + 4*w - 4*p - b, 0 = -5*w + 3*p + s. Which is greater: w or -2?
w
Let y = -2 + 2.1. Let o = y + 6.9. Let t = o - 10. Which is smaller: t or -1?
t
Let h = 97 - 95. Is h smaller than 1?
False
Let d = 48 + -29. Is d at least as big as 19?
True
Suppose -4*a - 3 = 1. Let k be -1*(-1 + 0) + -4. Which is bigger: k or a?
a
Suppose -2*i - 184 = -4*i - 4*r, 2*r = i - 84. Let l be (-8)/(-60) - i/210. Which is smaller: l or -2/11?
l
Let j = -2663/3 + 900. Let b = -395/33 + j. Is b at least as big as 0?
True
Let j = 47 - 52. Let k = -255/14 - -37/2. Which is smaller: k or j?
j
Let h = 5 - 4. Let c be 2*(-2 - -3)/1. Let k be (c + -1)/(2 - h). Which is smaller: k or 2?
k
Suppose 2*s = o - 6, 2*s + 5 = 5*o - 1. Let l = 0 - 0.1. Let b = l + 0. Which is greater: b or o?
o
Let u be (9/(-5))/(2/(-10)). Suppose -5*j = -u*j. Is j less than or equal to -6?
False
Let c = 31 + -29. Suppose 0 = 4*t + 39 - 11. Which is smaller: c or t?
t
Suppose 3*f - 2*f - 4 = -v, -3*f + 3*v + 42 = 0. Which is smaller: f or 10?
f
Let l(w) = w + 1. Let c be l(2). Is c at most as big as 13/3?
True
Let v(t) = -t + 8. Let i be v(8). Let o be (-7)/(-5) + 1 - 2. Which is smaller: i or o?
i
Let x(a) = -a**3 - 8*a**2 + 9*a + 17. Let u be x(-7). Are -94 and u equal?
False
Let x = 10 - 16. Let l be 0 - (x/(-405) + 0). Let j = l + 149/945. Is 0 >= j?
False
Let a = 285 - 1433/5. Which is smaller: -1 or a?
a
Let c be (0/(16/4))/(-1). Which is bigger: c or 5?
5
Let l be ((-2)/(-1) - 1)*4. Let f(u) = -u**3 - 7*u**2 + 6*u - 16. Let k be f(-8). Suppose 0 = 2*z + 3*z - y + 2, k = 3*z - l*y + 8. Are z and -6 equal?
False
Suppose -17 - 11 = 2*i. Let f(j) = j. Let l be f(7). Let t be 4/i + 2/l. Which is greater: -1 or t?
t
Let s be (12/14)/(2/70). Suppose 2*j - s = -q, 1 = -q + 3. Let h be (-3 - -6)*(-2)/j. Which is bigger: -1 or h?
h
Let t(u) = -u**2 - u + 2. Let r be t(-3). Let b = 5 + r. Is 1 > b?
False
Suppose 14*w + 5*w + 1311 = 0. Which is smaller: -68 or w?
w
Let w(q) = 5*q**2 + q - 2. Let m be w(-6). Let h be 3/7 + m/(-140). Which is smaller: h or -1?
-1
Let f be (-4)/(-10) - 2/5. Let l(s) = -2*s**3 - 48*s**2 + 1. Let u be l(-24). Does f = u?
False
Let a(m) = -3*m + 3. Let s be (-4)/(-10) - 28/(-5). Let f be a(s). Which is smaller: f or -16?
-16
Let p(w) = 2*w**2 + 4*w - 6. Let q be p(-7). Is 64 equal to q?
True
Let p be 8/(-6)*6/68. Let y = -27 - -26. Is y less than or equal to p?
True
Let b = 0.01 - 0.01. Let n = b + 0.2. Let x = -0.1 - -1.1. Which is bigger: n or x?
x
Let q = 2.21 - 0.21. Which is bigger: -0.1 or q?
q
Let j = -107 - -105. Let y be -3 + (-2 - 0) + 2. Which is greater: y or j?
j
Suppose 0 = 37*d - 40*d + 3. Do 4 and d have the same value?
False
Let i(u) = -u + 9. Let g be i(6). Suppose g*o - 2*o - 2 = 0. Which is smaller: o or -2?
-2
Suppose r - 3 = -4*l + 5, -4*l + 8 = 2*r. Let o be 2 + -14 + r + 2. Let t be ((-5)/(-2))/((-5)/o). Is t less than 4?
False
Let q(m) = 4*m. Let r be q(2). Suppose -t = w + t - 11, 0 = -2*t + r. Suppose 2*v = -3*n - 9, -2*n - 5*v - 20 = w*n. Is -1 <= n?
True
Let x = 1 + 12. Which is smaller: x or 14?
x
Suppose 3*a = -1 - 2. Let m be 15/6*a*2. Let u be (-1 + 5)/(7 + m). Which is smaller: 1 or u?
1
Let j = -1.7 - 0.7. Let f = -2.4 - j. Is -0.1 less than f?
True
Let c(z) be the first derivative of -z**3/3 - z**2/2 + 46*z + 3. Let p be c(0). Let d = p - 137/3. Which is bigger: 5 or d?
5
Let b = 1.8 - 2.2. Is b less than or equal to 0.2?
True
Let u = 21.6 - 21. Which is bigger: u or 1?
1
Let m = -0.28 + 0.08. Which is greater: -4/3 or m?
m
Let h = 0.2 - -3.8. Does h = 0.1?
False
Let r = 2 + -14. Let j be 2/(r/(2 + 0)). Is j less than 0?
True
Let c(m) = m**2 - 10*m. Let h(u) = 2*u**2 - 20*u. Let b(i) = 5*c(i) - 3*h(i). Let s be b(10). Is s at least as big as -1?
True
Let i be (64/40)/(2/5). Suppose