ich is bigger: c or a?
c
Let t = 0.1 - 0.3. Let k = -0.4 - t. Let y = -0.2 - k. Which is smaller: y or 1/3?
y
Suppose 4*u - 133 = -21. Let z = u - 111/4. Which is bigger: z or -9?
z
Let s = 17 - 6. Let g = s - 12. Is g < 1?
True
Let w(t) be the first derivative of t**3/3 - 7*t**2/2 - 8*t + 1. Let k be w(7). Let f be (-6)/k*(-4)/(-6). Which is smaller: f or 1?
f
Let a(o) = -o + 2. Let k be a(0). Let d be 0 + 1*(4 + -2). Is d at least k?
True
Let d = 45 - 45. Which is bigger: -2/137 or d?
d
Let l = 205 + -124. Is 81 at least as big as l?
True
Suppose -4 - 5 = -3*v. Let o be (-20)/(-12)*v/(-4). Let f = -3/4 - o. Which is smaller: 1 or f?
f
Let a = -0.12 + -0.98. Let h = a + 0.8. Let w = 0.2 + h. Is 0.1 < w?
False
Let b = 2081/1145 + -4/229. Is 3 < b?
False
Let f be 288/(-745) - 4/(-10). Is 1 at most as big as f?
False
Let i = 0.06 - 0.46. Suppose 4*r = -5*t - 6, -5*r + 1 + 12 = -4*t. Is i at most as big as r?
True
Let h(p) = p**3 - 6*p**2 - 8*p + 7. Let b be h(7). Suppose -2*m + 4 = -b. Let c = 4 - 4. Is m less than or equal to c?
False
Suppose -3*h + 25 = 2*h. Let v be -2*h*(-1)/2. Do 4 and v have different values?
True
Suppose 0 = -h + 3*a - 27, 4*h + h + 169 = -2*a. Is -30 at most as big as h?
False
Suppose -3 + 5 = 2*u. Let o(l) = l - 7. Let r be o(9). Suppose -3*n - 2 = -2*j, -j - 5*n + r*n + u = 0. Is 2 > j?
True
Let q = -13.8 - -23.7. Let j = -10 + q. Which is bigger: 6/11 or j?
6/11
Suppose q - 4*q + 210 = 0. Let j be 4/10 - 48/q. Is j bigger than 1?
False
Let q be ((-4)/10)/((-144)/(-90)). Is q greater than or equal to 0?
False
Let m(c) = 2*c**2 + 14*c + 2. Let b be m(-7). Which is greater: 3 or b?
3
Suppose 0*w - 50 = 2*w. Which is greater: -26 or w?
w
Let p(i) = -i**3 + 10*i**2 - 9*i. Suppose 7 = 5*x - 8. Suppose -21 = -x*m + 3*w, -m - 5*w = -0*m - 19. Let u be p(m). Do 4/7 and u have different values?
True
Suppose -2 = 4*g + 6. Let i = -2 - g. Let s be i*1/(-2)*2. Which is smaller: 1/2 or s?
s
Suppose g + 5 = 2*g. Let t = -4 + 10. Which is bigger: g or t?
t
Let l be (-26)/(-22) - -1 - 2. Let r = -8 - -7. Which is smaller: r or l?
r
Suppose -2*r = 3*r. Let k be (-6)/4*(-2)/3. Let n = k + r. Which is smaller: n or 3/7?
3/7
Let d = 5.93 + -6. Let w = d - -0.17. Let r(q) = -4*q**3 + 2*q + 1. Let g be r(-1). Is g greater than or equal to w?
True
Let s be ((-120)/261 - 0) + 4/6. Is s at least as big as 1?
False
Let k(m) = m + 6. Let x be k(-3). Suppose p - x = -d, 0 = -0*p - 4*p - 8. Suppose -10 + d = -4*y - 5*n, y - 4*n = -4. Which is smaller: y or 1?
y
Let c be 29/(-4) + 6/24. Let r = c - -7. Is r != 0?
False
Let f(v) = v**3 - 14*v**2 - v + 18. Let y be f(14). Suppose p + 5 = 0, -17 = -u + y*p - 3. Let n be 2*(-9)/u - -1. Is n smaller than 3?
False
Suppose 0 = 3*h + 4 + 17. Let f be 3 + -1 + h + 2. Is f smaller than -1/2?
True
Let r = 0.22 - 0.12. Which is greater: r or -2?
r
Suppose 29 + 6 = -5*x. Let c(j) = j**2 + 7*j - 4. Let l be c(x). Is -4 < l?
False
Let p = -58 - -131. Which is bigger: p or 74?
74
Let j be (25/9 - 2/(-9)) + -1. Which is smaller: j or 3/2?
3/2
Let f = 0.03 - 0. Let l = -0.13 + f. Is -10 bigger than l?
False
Suppose -4*k - 11 = -c - 2*k, 6 = -2*k. Let o = 0 - 0. Suppose o = c*l - 0 + 15. Is -1 not equal to l?
True
Let t(v) = 7*v**3 - 4*v**2 + 3*v - 6. Let j(k) = 4*k**3 - 2*k**2 + k - 3. Let a(h) = 5*j(h) - 3*t(h). Let i be a(2). Which is bigger: i or -6?
i
Let j(q) = q**3 - q. Let c be j(1). Suppose -o + p + 4 = 0, 2*o + 2*p = -c*p + 20. Let m(r) = -r**3 + 6*r**2 + 8*r - 4. Let a be m(o). Is a less than 2?
False
Suppose -279 = -4*n + 3*n. Let a = n - 3071/11. Let d be 3/18*0 + 2/(-2). Is a less than or equal to d?
False
Let t = -16 - -18. Is 6/11 equal to t?
False
Let y = -0.08 - 1.92. Let a = -43 + 39.9. Let w = -3 - a. Which is smaller: w or y?
y
Let n be 2/(-10) + 48/(-10). Which is bigger: -1/4 or n?
-1/4
Let j be 3 - (-2 + (-308)/(-64)). Let v = -1 + 0. Is v less than j?
True
Let k(j) = j**3 - 29*j**2 - 30*j - 68. Let r be k(30). Which is smaller: -70 or r?
-70
Suppose w - 2*z = 4, 3*w - z - 12 = -0*z. Suppose -5*g + g + 104 = 0. Suppose -3*b - 1 = -2*j, -2*b + g = -0*b + 4*j. Is b greater than w?
False
Let r = -2596/15 + 173. Let n = r - 32/195. Suppose 4*a = -a. Which is bigger: a or n?
a
Let q = -5 - -8. Suppose q*p = p - 8. Suppose 0*k = -3*k - 3. Which is smaller: k or p?
p
Let x = 0.13 - 0.072. Do -1 and x have the same value?
False
Let a = 17.2 + -19. Let h = 0.6 - 2.6. Let f = a - h. Is 1/2 at least as big as f?
True
Let c(r) = r + 1. Let u(b) = -3*b + 2. Let l(k) = 2*c(k) + u(k). Let p be l(4). Is 0 smaller than p?
False
Let q be (42/147)/((-102)/14). Is 0 greater than or equal to q?
True
Let a = 696 - 3506/5. Let l = a + 99/20. Which is smaller: 1 or l?
l
Let d(u) be the second derivative of u**3/6 - 7*u**2/2 - u. Suppose -2*p + 3 = 2*g - 3, 3*g = -4*p + 14. Let h be d(p). Is h > -2?
False
Let h(q) = q**2 + 6*q + 9. Let s be h(-4). Is s equal to 0?
False
Let v = 5 + -9. Let o be (2/v)/((-35)/28). Let g = -0.3 - 0.7. Is g at most o?
True
Let v = -6 + 9. Suppose 7*k = 2*k + 10. Is k < v?
True
Let d(r) = r**3 + 5*r**2 + 6*r + 3. Let l be d(-2). Is 6 < l?
False
Let r = 19 + -7. Suppose 0*b = -4*b - r. Which is bigger: b or -4?
b
Suppose -3*v + v + 2 = 0. Let l be 14*(v - -1 - 3). Let k be 78/(-126) + (-4)/l. Is 1 less than or equal to k?
False
Suppose -b + 2*i - 5 = 0, -4 = 2*b + i + 1. Are b and -3 unequal?
False
Let z be ((-4 - -3) + 2)*(0 + 1). Which is smaller: -1/66 or z?
-1/66
Suppose 4*q + 0 = 16. Let u be -4 + (q - 9/3). Is u less than -4?
False
Suppose 8 = -3*k - 40. Is -47/3 >= k?
True
Let c be ((-5)/(-145))/((-50)/284). Let x = c - -8/29. Which is smaller: -1 or x?
-1
Suppose 2*r = -0*r - 2. Suppose -4*b = -3*w + 4 - 20, 2*w = 2*b - 8. Let c be (-1)/3*(w - 0). Which is smaller: r or c?
r
Let o be (-10)/(-2)*(-2)/(-25). Let s = -4 - -4. Let x = s + 1. Which is bigger: x or o?
x
Let s = -42 + 36. Which is bigger: s or -38/7?
-38/7
Let s = 1 + -3. Let k = -15 - -6. Let g = 8 + k. Is g less than or equal to s?
False
Let q = -3 - -3. Let d = 2 + q. Let k = -29 + 117/4. Which is greater: k or d?
d
Let a = -127.1 + 127. Which is greater: 17 or a?
17
Let i = -30 + 20. Let h be ((-4)/i)/((-81)/(-15)). Which is smaller: h or 1/4?
h
Let u = 3/31705 - -9004181/412165. Let b = -22 + u. Which is bigger: b or 1?
1
Let l(z) = z**2 - 12*z + 2. Let y be l(0). Let x = -1 + 1. Let t be (x - (-1 + 0))*3. Is y <= t?
True
Suppose -2*b = -3*q, 0 = 5*b - q - 0*q - 13. Are b and 2 nonequal?
True
Suppose 0 = -8*x + 77 + 27. Is 27/2 bigger than x?
True
Let m(a) = -2*a - 6. Let r be m(-8). Which is greater: r or 12?
12
Let g(v) = v**2 + 3*v - 9. Let x be g(0). Is x smaller than -6?
True
Let g be (3/((-3)/(-4)))/(-1). Suppose 4*j + 10 = -2*u - 0*u, -u - 17 = 5*j. Suppose -3*o - u*s = s + 29, -o = 3*s + 18. Is g <= o?
True
Let k(t) be the first derivative of t**2/2 + 13*t + 2. Let d be k(-5). Which is greater: 10 or d?
10
Let f be (-3262)/(-4) + 4/8. Suppose -2*x = 2*x + f. Let b = x + 1838/9. Is b at least -1?
True
Let a(w) be the second derivative of w**5/20 - w**4/3 - w**3/3 + 3*w**2 - 3*w. Let r be a(4). Let v = 0 + 0.2. Is r != v?
True
Let b be (-74)/(-6) - (-8)/12. Suppose -15 = -4*g + b. Let j = g - 135/19. Is 0 greater than j?
True
Let b(n) be the second derivative of -n**5/20 + n**2/2 - 2*n. Let d be b(1). Let x be (d*(-2)/(-4))/(-1). Which is greater: x or 2?
2
Let h(a) = 4*a + 3. Let y be h(-2). Let x be (-54)/(-10) + 2/y. Suppose 0 = -x*j - 15. Is -1 greater than or equal to j?
True
Let s be (-2)/(2/(-1))*2. Suppose 5*j + s*u - 13 = 0, -3*j - 4*u + 1 = -18. Do 1 and j have the same value?
True
Let r = -1 - -2. Let n be (344/70 - 4) + 4/14. Which is smaller: n or r?
r
Let h(j) = -j**3 - 8*j**2 + 2*j + 1. Let u be h(-8). Let y(a) = -12*a - 52. Let t be y(-3). Does t = u?
False
Suppose 2*x = p - x - 33, 4*p = 2*x + 122. Suppose t = 6*t - p. Which is smaller: 1/3 or t?
1/3
Let t = -51 - -66. Let s = 4.1 + -4. Is t equal to s?
False
Let h(j) = j + 9. Let d(w) = w + 9. Let k(s) = 6*d(s) - 7*h(s). Let t be k(-7). Which is smaller: t or -5/6?
t
Let c = 18 - 30. Let n = c + 47/4. Let d = 0 + 1. Is d bigger than n?
True
Let a = 18 + -13. Suppose 5*u = -a*f, 0*f + 2*u = -4*f + 4. Do 1 and f have the same value?
False
Le