 569. Which is bigger: w or -2?
w
Let v be 1 - -1*(1 + 0). Let f be (1/(-6))/(3/v). Let a = 5.7 + -4.7. Which is smaller: a or f?
f
Suppose 5*x - 53 = 3*h, -2*h = 2*h + 3*x + 32. Which is smaller: -12 or h?
-12
Let k be 1*(1 + -3 + 1). Let u be k/4 - (-3)/12. Suppose -n = -2*r - 4 + 10, u = -3*n. Which is smaller: 2 or r?
2
Let z(s) = -s**3 - 24*s**2 - 22*s + 21. Let f be z(-23). Let y be (-1)/(1/(-1 + 4)). Which is smaller: f or y?
y
Let l be 17/3 - (-2)/(-3). Suppose l = -z + 2*z. Which is greater: 4 or z?
z
Let a = -7 - -2. Which is greater: 0.3 or a?
0.3
Suppose 0 = r + 5, 5*t = r - 5*r - 10. Let q = 0 + 0. Which is greater: t or q?
t
Suppose 0 = 2*t + 3 - 5. Let k be (t - 3)/6*15. Is k greater than or equal to -5?
True
Let g = -41 - -203/5. Which is bigger: 0 or g?
0
Let u(p) = -p**3 + 2*p + 3. Let s be u(2). Let o = -18713/27 - -693. Is s less than o?
True
Suppose 4*c - 4*g = 8 + 4, 0 = c + 5*g + 15. Is -1 at most as big as c?
True
Suppose -2*y + 14 = -8. Let x = -7 + y. Suppose -2*q + 10 = 4*z, -5*z - x - 11 = -3*q. Do z and -3 have the same value?
False
Suppose 4*z + 3*y = 8*z + 43, -2*y = -3*z - 33. Let b = z + 12. Is b at most as big as -1?
True
Let a = -0.05 - -0.05. Let w = a - 1. Which is greater: 1 or w?
1
Suppose 3*k + 15 = -0*k. Let l be 69/(-21) - (k + 2). Which is bigger: l or -3?
l
Let i(o) = 4*o**2 + 4*o + 3. Let x(c) = 3*c**2 + 3*c + 2. Let s(j) = -4*i(j) + 5*x(j). Let w be s(0). Which is greater: w or -1?
-1
Let b = -4.8 + 4. Let k = b - -1.1. Which is bigger: k or 0?
k
Let c = -6 - -6. Is -2/13 less than or equal to c?
True
Suppose y - 5*d + 25 = 0, y = -5*d + 14 + 1. Let m(u) = -14 + u - 6*u**3 - 2*u + 2*u**3 - 10*u**2 + 3*u**3. Let l be m(-10). Which is smaller: l or y?
y
Let q = 2.1 - 1.2. Let u = 1 - q. Which is smaller: -2 or u?
-2
Let f(o) = -o + 4. Let h be f(7). Let q be 3 + (h/(-3))/(-1). Suppose -4*i + 16 = -4*z, 2 = -4*z - q*i - i. Which is smaller: z or -0.1?
z
Suppose -4 - 8 = -3*d. Suppose -13 = 3*k + d*z, 5*k + 3 = -3*z + z. Which is smaller: k or 0?
0
Suppose -q + 2*k - 9 = -1, 0 = 4*q + 2*k + 72. Let h be q/(-10) + (-2)/(-5). Is h not equal to 3?
True
Let m = -34 + 12. Is -20 <= m?
False
Let x = 9 + 5. Let j be x/(-63)*3362/(-4). Let q = -187 + j. Is q < -1?
False
Let s = -83525 + 1167349/14. Let x = s + 143. Which is bigger: x or 1?
1
Let u be (5/130)/((-3)/72). Is -1 smaller than u?
True
Let f = 7.8 + -8. Let l = f - -0.1. Is l != -1/7?
True
Let z = -13 - -13. Is -1 bigger than z?
False
Let l = -6.7 - -6. Let i = 0.8 + l. Is 2 at most as big as i?
False
Suppose 3*l - 20 = 5*l. Is l != -11?
True
Suppose -3*m - 10 = -2*m. Let r(a) = a**2 - 10*a + 11. Let j be r(7). Does j = m?
True
Let l(x) = 19*x**2 + 3*x + 2. Let r be l(-1). Which is smaller: 3 or r?
3
Let p be ((1 + -1)/(-3))/(-1). Let r = 7199/290 - 7/290. Let m = 25 - r. Which is bigger: m or p?
m
Let y be (3/2)/((-27)/(-36)). Suppose -2*f - y = 0, 2*b - 4*f - 10 = 5*b. Is b at least as big as -9/4?
True
Let z(k) be the second derivative of k**4/6 - k**3/6 - 3*k. Let y be z(1). Is y greater than or equal to 2?
False
Let f be 3 + 1/(-2)*0. Suppose 0 = 4*p - 3*v - 8, 1 = 3*p - 3*v - 2. Do p and f have the same value?
False
Let y be 400/20 + 2*1. Which is smaller: 21 or y?
21
Let h be 872/(-2) - 2/(-2). Let u = -8263/19 - h. Suppose -12 = -3*a - 15. Is a greater than or equal to u?
False
Let o be (3 - 1)*(-4)/8. Is -3 less than o?
True
Let x(q) = 3*q**2 - 7*q - 1. Let u(p) be the third derivative of -p**5/15 + p**4/3 - 2*p**2. Let z(l) = -2*u(l) - 3*x(l). Let o be z(6). Is o < -4?
False
Let w(n) = n**2 - 5. Let p be w(-5). Suppose 5*d = -5 - p. Is d less than -4?
True
Let y(t) = -2*t - 6. Let a be y(-6). Suppose 4*w = 3*w - a. Does -5 = w?
False
Let p be -2 - -1 - (-4 - -4). Are 1/13 and p equal?
False
Let l = 2.7 - 29.9. Let z = l - -27. Which is smaller: -2/11 or z?
z
Suppose -2 = -2*d - 0*d. Which is smaller: d or -1/21?
-1/21
Let z = 4 + -2. Let n(f) = -4*f**2 + 3*f**z + 1 + f**3 + 2*f**2 - 2. Let j be n(0). Which is smaller: j or -2?
-2
Let p(a) = -a**2 + 2*a - 2. Let f be p(2). Let z(d) = 2*d**2 + d + 1. Let h be z(f). Suppose -4*j = q + 5, -3*q = -h*j + 2*j - 2. Which is greater: 4 or j?
4
Suppose 2*a + 4*z - 21 = a, -4*z + 24 = 4*a. Suppose a = 3*t - 5. Suppose 2*b + 17 = 5*j, -4*j + 2*j + 14 = b. Which is smaller: b or t?
t
Let y be (4/70)/((-3)/(-5)). Let w = -17 + 16. Which is greater: w or y?
y
Let v be (-1 + 9/2)/10. Let b = 126/11 - 2553/220. Let i = b - v. Is i != -2/5?
True
Let g = -27899/9 + 3096. Which is greater: g or -5?
g
Let o = 20 + -14. Which is greater: -0.1 or o?
o
Suppose -2*m = 2*m. Suppose -3*c = -8*c + 195. Let b = 157/4 - c. Is b <= m?
False
Let w be 1 + -2 - (-4)/8. Let i = 0.8 - 0.77. Let u = i - -0.07. Which is smaller: w or u?
w
Suppose 0 = 3*f - 4*v + 4, 0 = -0*f - 5*f - 3*v + 32. Which is smaller: f or 60/11?
f
Let j = 0.2 + 0. Let d = -1 + 5. Suppose 0 = d*f - 12, y = -0*f - 2*f + 6. Is y <= j?
True
Let c(t) = -t**3 + 14*t**2 - 2. Let i(z) = z**2 + 3*z - 4. Let n be i(3). Let j be c(n). Is j not equal to -1?
True
Let w be (-74)/(-14) - 8/28. Suppose 4*k - 5*u - 24 = 0, -2*k + w*u = 3*k - 25. Suppose -4*v + 3 = -k. Which is smaller: v or -2/5?
-2/5
Let v = 0.8 - 1. Let w = v + 0.4. Let o = 9 - 8. Is w >= o?
False
Let m = -3 - -3. Let r be m/((-3)/(-9)*3). Which is smaller: r or 1/13?
r
Let w be (-5)/(-15)*18/8. Do w and 2 have the same value?
False
Let r be 4*2/(-12)*-15. Which is greater: 9 or r?
r
Let r = -3 + 5. Let w be 3 - 4/((-8)/(-2)). Is r greater than w?
False
Let a be 1 - -1*172/(-180). Which is smaller: 1 or a?
a
Let h be (8 - 7)*(-29)/(-1). Let f = 55/2 - h. Is f equal to -1/4?
False
Let a(s) = -s**2 - 3*s + 1. Let n be a(0). Let z be 2 - 2 - (-4)/46. Which is bigger: z or n?
n
Let x = 0.42 - 0.02. Let t = 0.1 + -0.3. Let i = x + t. Which is greater: i or 0.1?
i
Let d = 6 + -6. Let c = -2 - d. Do 1 and c have the same value?
False
Let c = -0.058 - -2.058. Is c at least -17?
True
Suppose -f - x = -6*f - 80, -4*x = 5*f + 55. Is -15 less than or equal to f?
True
Let q = -5/11 - -47/55. Let j be (-6 - (-4 - 1))/(1/1). Which is greater: j or q?
q
Let q be 3 - 5 - 3 - -3. Suppose s = -0*s + 5. Let y = 5 - s. Which is smaller: q or y?
q
Suppose 4*y - l = 17, -5*y - 5*l = 6 + 4. Which is greater: 38/11 or y?
38/11
Let v be 5*1 + 8/8. Let k be (-12)/(-63)*9/v. Is -1 at most as big as k?
True
Let k = 41 - 38. Is -3 < k?
True
Suppose 3*k + 5 = 4*k. Let u be -2 + k + (-6 - -2). Which is smaller: u or 1?
u
Let w = -4 + 2. Let z be 1 + -1 - w/18. Let g be 15/(-150) - (-9)/(-10). Is z greater than or equal to g?
True
Suppose 0 = -0*v - 3*v + 6. Suppose -v*d - 4 - 2 = g, -3*d + 5 = 5*g. Is 5 less than or equal to g?
False
Let x = -6/115 + 536/5865. Is -1 smaller than x?
True
Let m = -9.3 + 9. Let w = -1.32 - -0.02. Let q = w - m. Do q and 1 have the same value?
False
Let h = 42 + -44. Which is smaller: -6/5 or h?
h
Let m = -15/4 - -9/4. Let p(c) = c + 3. Let n be p(-4). Is m >= n?
False
Let o = 38 - 25. Is 2/3 not equal to o?
True
Suppose 1624 = -3*i - 5189. Let j = i - -47680/21. Let h = j + 23/35. Is 0 less than h?
True
Let v = 52 - 52. Is v at most 0?
True
Let f be (1/2)/(3/(-144)). Let k be 5*(f/(-10))/4. Let s be k - (-8 - -1) - 2. Which is smaller: s or 7?
7
Let y = -12 + 15. Suppose -3*b + 0*b = 6. Let p be (-4)/2 + (-8)/b. Which is smaller: y or p?
p
Let h = 4 + -1. Suppose 4 = b + 6. Let y be -1*h/6*b. Is 0 at most as big as y?
True
Let p = -4 - 5. Let j = 5 + p. Let l = j + 6. Which is bigger: l or 1/7?
l
Suppose -4*v + 0*v = 12. Let r be (-6)/(-22)*v/9. Let m = 35/22 + r. Do m and 1 have different values?
True
Suppose 4*l - 270 = 114. Suppose 0 = -3*o + 7*o - l. Let t be 20/o + 2/(-2). Is t smaller than -1?
False
Let q = 4.5 - 1.5. Let h = -0.3 - -0.2. Is h smaller than q?
True
Let w be (35/(-2) - 4)*-2. Let v = 61 - w. Which is bigger: v or 17?
v
Suppose 4*m + 5*b = 4*b + 9, 4*m + 3*b = 19. Let n = 3 + 3. Let q = n - m. Is 3 greater than or equal to q?
False
Let o = -1 - 5. Let g = -7 - o. Is g bigger than -2/13?
False
Let v = 11 + -7. Suppose 9*t = 4*t + 20. Is t at least v?
True
Suppose -5 = p - 2*p. Suppose -6 - 24 = p*r. Let f be ((-2)/8)/(3/r). Is 1 equal to f?
False
Suppose d = 2*z - z + 2, 2*d = 