-o + 70, 2*a - 2*o - 28 = 0. Suppose 4*i + 51 = -s, -i - s - s = a. Let v be (2 + 0)/((-8)/i). Which is greater: 0.1 or v?
v
Let m be 14/(-1141)*166/(-3). Let q = m - 2/163. Which is greater: q or 0?
q
Let d(h) = -3*h**2 - 5*h - 1. Let f be d(-1). Do f and -10/9 have different values?
True
Let v = -12 - -5. Let i(s) = s**3 + 8*s**2 + 6*s - 7. Let y be i(v). Let q be 0 + 0 - (-9)/90. Which is bigger: y or q?
q
Let u = -486 - -12639/26. Is 1 smaller than u?
False
Let l(b) = b**3 + 4*b**2 + 4*b + 1. Suppose 5*h + 19 - 2 = -d, 0 = d + 2. Let z be l(h). Is -2 at least z?
True
Let s be 0/(-3) + -3 + 9. Let f = s - 7. Is -1 bigger than f?
False
Let m be (2/(-5))/(5/(-75)). Suppose 2 = -4*j - m. Do -2 and j have the same value?
True
Suppose 0 = -0*g + g. Which is smaller: -2/17 or g?
-2/17
Let m(k) = -k**3 + 9*k**2 - 9*k + 11. Let l be m(8). Suppose -5 = l*y + 1. Let t = 5 + -7. Are t and y equal?
True
Let r be 0 - 4/1 - -21. Which is smaller: 16 or r?
16
Let r be (-2)/(-4 + 0)*-6. Let j be r/((-12)/8)*1. Which is greater: j or 3?
3
Suppose -5*c + 1 = 36. Let d be (-4)/14 + 54/c. Are d and -8 nonequal?
False
Let a = 1.002 + -0.042. Let b = -0.16 + a. Let p be (-9)/6 - 2/(-4). Which is bigger: b or p?
b
Suppose -2*n + 35 = 3*n. Which is greater: n or 13?
13
Let h = 1/328 - -7541/984. Let k = h + -8. Suppose 5*o = -0*m + m + 1, -3*o = 3*m + 3. Which is smaller: m or k?
m
Let j(p) = -p**3 + 6*p**2 + 4*p - 5. Let r be j(7). Which is bigger: -25 or r?
-25
Let w be (-1)/(-8) - (27/6 - 2). Do w and -2 have the same value?
False
Suppose 4*u + 5*v - 18 = 0, 5*u - 40 = v - 3. Which is smaller: 1 or u?
1
Let p = 8059/51 - 158. Let h = 55/204 - p. Let y = 1 + -1. Is h bigger than y?
True
Let l be ((-2)/8)/((-2)/9). Which is greater: 2 or l?
2
Let h = 4 + -7. Let l be h/(-4) + (-1)/(-4). Let p = l - 1. Which is smaller: p or -1/4?
-1/4
Let h = 6.18 - 0.18. Let t = 7 - h. Let l = 2 - 2.1. Is l bigger than t?
False
Suppose 4*w + 6 = c, 3*w + 5 = -2*w. Let x be ((-6)/4)/((-30)/40). Is c at most as big as x?
True
Suppose -3*p - 4*y - 52 = 0, 5*p + 2*y - 3 = -85. Let t be (-2)/8 + (-4)/p. Is t at most 2?
True
Let p = 0.2 - 0.19. Let v = -0.11 + p. Let u = 0.2 + -0.3. Is v greater than or equal to u?
True
Let b be 4/6 - 13/(-3). Let p be (-1)/(-2 - b/(-2)). Is -1 != p?
True
Let f be (2 + 706/(-258))*1. Let b = 1/1235 - -3662/53105. Let i = f + b. Which is smaller: i or -2/5?
i
Suppose -4*v + 15 - 7 = 0. Suppose -l - 3 = -3*s, 4*s = v*l + 3 + 1. Let i be (-4)/(-168)*-4*3. Which is smaller: l or i?
i
Let l(r) = -r**2 - 8*r - 9. Let z be l(-8). Let o be (-3)/z*3/(-2). Is o greater than -1?
True
Suppose -62 = 4*p - 6*p. Let w = 17427/55 + -3140/11. Let m = w - p. Which is bigger: 1 or m?
1
Let x = -2.2 + -0.8. Let m = 3.7 + x. Let u = m - -0.3. Which is bigger: u or -0.1?
u
Let t be (-2)/7*-3*6. Let w = -265/42 + t. Let d be ((-21)/(-5) - 4)*20/(-4). Is d at most as big as w?
False
Let o = 19 + -22. Is -4 at least as big as o?
False
Let z = 47 - 33. Let y be 2/(4*(-2)/(-60)). Is z < y?
True
Let p = -1/41 + -75/287. Let t = 0.1 + -3.1. Is p at most as big as t?
False
Let s = 934/11 - 85. Is s at least as big as -1?
True
Suppose 5*b = 8*b + 6. Is -23 < b?
True
Suppose 4*d - 6 = 2. Suppose -5*a + 3*z = -4, -d*a + 2 = -3*z - 5. Let r be (-12)/10 - 4/(-10). Is a < r?
True
Let y = 1 + -2. Let c = y - -3. Let w = 0 + -1. Is w less than c?
True
Let h be (5/((-15)/(-2264)))/6. Suppose -2*g = 2*a - 246, g + 2*a = -0*g + 120. Let o = h - g. Are 0 and o equal?
False
Let w be (1 - (-2 + 1)) + -2. Suppose -3*q = -w*q - j - 19, j = -1. Let i be 3/9*q/2. Is 1 at most as big as i?
True
Let p = 8 + 5. Which is greater: p or 2?
p
Let a = 104/1173 - -2/69. Let m(v) = v**2 - 2*v - 1. Let z be m(2). Which is smaller: z or a?
z
Suppose 2*t = 0, 7*t - 4*t + 35 = -5*i. Is -6 less than i?
False
Suppose -4*v = -11 - 13. Let n = v - 10. Do -4 and n have the same value?
True
Let l(y) be the third derivative of y**4/24 + y**3/3 - y**2. Let s be l(-3). Which is smaller: 1/5 or s?
s
Let q be 3/6 - 2/(-4). Let f be q/(-1)*-1 + -4. Is f != -3?
False
Let l = -0.2 - 0.8. Which is bigger: 1/5 or l?
1/5
Let d be (5 - 7)/((-3)/12). Is d greater than or equal to 8?
True
Let p = 100 + -105. Let u = 0.2 - 0.3. Is p at least as big as u?
False
Suppose 4*g + 3*k = 28, -k - 12 = -4*g - 0*k. Is g not equal to 1?
True
Let h = 18 - 13. Suppose 3*f + 12 = 5*q + 5*f, -4*q - h*f = -13. Suppose -5*a + g + 12 = 0, q*g + 8 + 2 = 3*a. Which is greater: 3 or a?
3
Let i be (-2)/(-11) + 544/(-2508). Let f = i + 44/171. Which is greater: f or 1?
1
Let a = -20.09 + 20. Let h = a + -0.01. Which is greater: h or 0.3?
0.3
Let b(a) be the third derivative of -a**5/60 + a**4/6 - a**3 + 2*a**2. Let k be b(4). Is -6 at most as big as k?
True
Suppose -w + 2 - 1 = 0. Let q(b) = -b**2 + 5*b + 7. Let h be q(6). Is h bigger than w?
False
Suppose 5 = 4*d - 3. Is d at least 3/2?
True
Let t be 0 - (-39)/(-9) - -4. Which is bigger: t or 4/7?
4/7
Let f = -287373/1757 - 39/251. Let i = -164 - f. Which is bigger: 1 or i?
1
Let f = 2 - 1. Let u be f - (0 + (-18)/(-15)). Which is greater: u or -1?
u
Let x = 1.11 + -1.01. Which is greater: x or 25?
25
Suppose 4*q - 15 = 1, 4*p + 20 = 4*q. Let l(c) = 2*c. Let j be l(p). Let v be ((-2)/3)/(j/6). Which is bigger: v or 1?
v
Let u be (-26)/4 + (-1)/2. Let k be 1/(-4) + u/4. Let s = 0 + k. Is s > -2?
False
Let f = -2566 - -12883/5. Is 12 < f?
False
Let c = -1.6 - -0.9. Are 1/4 and c unequal?
True
Suppose -4*a - 5*g = 27, -4*a + 0*g + 5*g = 37. Let j = 5 + a. Let i be (1 + j)/6*-1. Is -1 > i?
False
Let m be 33/4 + (-2)/8. Let v = m - 8. Is 1/29 <= v?
False
Suppose -11 = -2*g - 1, y = g + 9. Suppose -20 = y*b - 9*b. Is -5/2 >= b?
True
Let d be ((-72)/30)/4 - (-34)/(-10). Which is smaller: d or -38/13?
d
Let a be 432/42 - (1 + 5/(-7)). Which is bigger: 1/4 or a?
a
Let p = -0.08 - -0.38. Which is bigger: p or -5?
p
Let n = -9 - -13. Let h be 32/(-30) + n/10. Let s = -5 + 7. Which is smaller: h or s?
h
Let s(r) = r**3 - 9*r**2 + 8*r - 3. Let b be s(8). Let i be -8*b/30*5. Let l = i + -5. Which is smaller: l or 0?
l
Suppose 2*l = -2*l - 12. Let g be 12/(-30) + 32/5. Let z = 3 - g. Do z and l have the same value?
True
Let s = -60 - -536/9. Which is smaller: -1 or s?
-1
Suppose -2*d - 3*p = -11, 2*p = -4*d - 0 + 2. Let c = 8 - 12. Let f = d - c. Is f at most as big as 0?
False
Let v(z) = -z**2. Let c be v(1). Let h be 1/(13/2 + 2). Which is bigger: h or c?
h
Suppose -68*v + 2 = -70*v. Is v smaller than 1/5?
True
Let s(t) = t - 2. Let c be s(4). Suppose 0 = 5*b - 66 + 36. Is b >= c?
True
Let t be (-7730)/24 + 10/30. Let o = t - -324. Which is smaller: 3 or o?
o
Let k = 26 + -24. Let i(c) = -c + 4. Let n be i(4). Which is bigger: k or n?
k
Let a(t) = 6*t**2 - 10*t + 6*t**2 - 8 - 4*t**2 + 2 + t**3. Let i be a(-9). Which is smaller: 2 or i?
2
Let x = 1 - 5. Suppose -2 = -0*h + 2*h - 4*c, 2*h + 1 = 5*c. Which is bigger: x or h?
h
Let q = -3 - -6. Let j = q - 3. Are -1 and j unequal?
True
Suppose 0*s = -5*s. Suppose s = c + 2*c. Let p = c - 1. Is p at least as big as -1/4?
False
Let i(a) = 2*a - 6. Let c be i(4). Suppose 4*t + c = 6*t. Which is bigger: 0 or t?
t
Let y be (-3)/9 - (-20)/6. Suppose y*c + 3 = -6. Which is smaller: -2 or c?
c
Let k(p) = 5*p + 3. Let a be k(0). Is a < 4?
True
Let w(n) = -14*n + 2. Let j be w(2). Let i be j/(-12) - (-6)/(-36). Which is greater: i or 2/5?
i
Suppose -2*y = -5*y. Is 1/22 >= y?
True
Let v = -10 + -3. Is v >= -14?
True
Let y = 50 + -48. Is 11/4 at least y?
True
Let f(q) = -q + 8. Let b be f(8). Which is smaller: b or -3/13?
-3/13
Let z = -2031/11546 + 1/502. Which is greater: 0 or z?
0
Let r be 4/(-15) - 2/(-3). Suppose -5*d = -5*s + 27 + 48, 0 = 3*s + 3. Let m = d + 16. Is m bigger than r?
False
Let c = -80/39 - -18/13. Which is bigger: c or 0.2?
0.2
Let r = -7.9 + 7. Let z = 1 + r. Let o be -1 - 0 - 2/(-4). Which is greater: o or z?
z
Let y be (1 - 1)/((-4)/4). Is 0 bigger than y?
False
Let w be (-6)/(4*(-9)/(-24)). Let g be w/10*(-15)/(-27). Is g bigger than 0?
False
Let l(f) = -2*f**3 - 10*f**2 - f + 6. Let i be l(-5). Is i at least as big as 10?
True
Let i = 22 + -12. Which is smaller: i or 0?
0
Let i(h) = h**3 + 11*h**2 - 14*h - 28. Let y be i(-12). Is y < -6?
False
Suppose