-37. Let b be -3*((-22)/r - 1). Suppose 0 = -5*j - o - 8, 6 = -4*o - 6. Is j greater than b?
False
Suppose 5*h - 2*h = -12. Suppose -3*b - 5*m = -2*b - 47, 4*b = -m + 93. Suppose -4*k - b = -6. Is h greater than or equal to k?
True
Let l = 0.7 - 0.2. Let i = -5 + 4.6. Let z = i + l. Which is smaller: z or 1/4?
z
Let s(c) = c**2 + 5*c + 4. Let v be s(-5). Suppose i = -v*i. Which is smaller: i or -1/3?
-1/3
Suppose 39 = 4*h + 99. Is -16 bigger than h?
False
Suppose 5*x - 2*j + 0*j - 695 = 0, -3*x + 417 = 2*j. Let l = 561/4 - x. Is 2 equal to l?
False
Suppose -3*k = 2*k. Is k bigger than -3/11?
True
Let k(w) = -w**2 - 12*w + 4. Let u be k(-11). Suppose 3*n = 3*g + u, 0*g - 15 = n + 4*g. Is 1/7 at least as big as n?
False
Suppose 17 = -f + 9. Is -10 > f?
False
Let d be 40/(-96)*(-63)/30. Which is bigger: d or 1?
1
Let z = 11 - 12. Is -3 at most as big as z?
True
Let l(y) be the third derivative of -y**7/1260 + y**5/20 - y**2. Let g(u) be the third derivative of l(u). Let d be g(1). Is d less than or equal to -4?
True
Let g be 18/40 - (-5 + (-130)/(-25)). Is 5 at most as big as g?
False
Let b = -51 + 60. Which is smaller: b or 7?
7
Let s(l) = 4 + 0 - 5 + 3*l - l**2 - 2. Let m be s(2). Is m at least 0?
False
Let s be (-477)/(-459) - 1/1. Do s and 1 have different values?
True
Let f be (-2 + 3)*-2 + 1. Suppose -4 = 2*n - 0. Which is smaller: n or f?
n
Let r be -1*(24/17)/6. Which is greater: r or 1?
1
Let a = -1084/7 - -154. Let m = a - -33/14. Is 1 at most m?
True
Suppose -2*n - 22 + 4 = -5*y, y = 3*n + 14. Let h be 6/(6*4/36). Let i be (-24)/h*6/4. Is n >= i?
True
Suppose 0*p - 3*p = 5*i, -5*i - 2*p + 5 = 0. Suppose i*v - 492 - 57 = 0. Let s = v - 2015/11. Is s equal to -1?
False
Suppose -3*s = 3*f - 2*f + 43, -3*s = 12. Is -31 greater than f?
False
Let l = -175.7 - -176. Does -18 = l?
False
Let h = 2.9 + -3. Let n = 75/11 - 7. Is n at least h?
False
Let i be 1 - ((-18)/(-14) - 0). Let j = -2 + 2.03. Let x = -1.03 + j. Which is smaller: i or x?
x
Let n = -3131 + 129919/40. Let f = -117 + n. Let o = f + 83/120. Is o at least 1?
False
Let f = -10 - -2. Let d = f - -7. Is d < 0?
True
Let f = -149/703 - -2/37. Which is bigger: 1 or f?
1
Let u = -1 + 1. Let x = -0.4 - 9.6. Let j = 10 + x. Is j >= u?
True
Let c be -5*(-2)/(-4) + -1. Let a = c + 4. Which is smaller: 2 or a?
a
Let d be (-2 - -3)/(2/6). Suppose -8 = -d*r - 5. Which is smaller: 2/39 or r?
2/39
Let q(t) = t**2 + 4*t + 4. Let f be q(-3). Suppose -2*p - 20 = 3*p. Let j = p + 6. Which is smaller: j or f?
f
Let x = 0.2 - 0.4. Let u = -0.3 - x. Do 3 and u have the same value?
False
Let k(s) = s**2 - 5*s - 9. Let d be k(7). Suppose 0 = -3*i + 7 + 2, 0 = -2*b - i - d. Is b less than or equal to -4?
True
Suppose 4*o - 3*p + 4 = 1, -2*o - p = -1. Is 2/35 greater than or equal to o?
True
Let o = 0.4 + -0.2. Let m = 14.8 - 13.8. Which is greater: m or o?
m
Let u = -3.5 - -5.4. Let w = u + 0.1. Is w less than or equal to 0?
False
Let q = 17 + 3. Let s be (-1)/q + (-1)/5. Are -0.3 and s nonequal?
True
Let n be (1 - 1) + (-4 - -2). Let z be 9/12 + (-75)/4. Let r be (-1)/((-2)/(z/3)). Is r greater than or equal to n?
False
Let a be (63/(-30))/(-7)*691. Let w = 207 - a. Which is smaller: 1 or w?
w
Let g(x) = x**2 - x**2 + 3*x**2 + 2*x**2 - x**3 - 6. Let f be g(5). Which is bigger: -5 or f?
-5
Let n be -12*(8/3 + -3). Suppose n*k + 24 = -0*k. Let t be (6/32)/(3/k). Which is bigger: t or 1?
1
Let n(w) be the third derivative of w**6/120 + w**5/15 - w**4/8 - 3*w**2. Let q be n(-5). Which is smaller: -9 or q?
q
Let m be 2/8 + (-11)/(-4). Let l(y) = -y**3 + 5*y**2 - 3*y - 4. Let o be l(m). Which is bigger: o or 6?
6
Let t = -5 + 1. Let w be (-2 + 0)*(5 + t). Suppose -5*o - 10 = k - 0*o, 0 = 4*k + 2*o + 4. Is w less than or equal to k?
True
Suppose -4*s = -0*s + 8. Let t = s - -1. Do -1/2 and t have different values?
True
Let s = -23 - -21. Is s smaller than 0.2?
True
Let a = -169 + 177. Which is greater: 1 or a?
a
Let c = 5 + -2. Let d be 2/3 + (-7)/(-3). Let p be (-3)/(18/(-4))*d. Is p at least c?
False
Let r = 28/9 - 29/18. Suppose -2*i = -3 - 5. Suppose i*y - 10 = 2*s, -2*y - 3*y - 2*s = -17. Is r at most y?
True
Let i = -4 - -8. Let b = i - 3.9. Which is greater: -0.2 or b?
b
Suppose -480 = -c + 7*c. Which is smaller: c or -79?
c
Let g = -1/15610 - 6325947/85855. Let b = 147/2 + g. Let i(w) = w + 3. Let h be i(-4). Which is smaller: h or b?
h
Let i be (-299)/2264 - ((-51)/24 - -2). Which is greater: i or 1?
1
Let r be (7 + -8)*8/346. Let o = 382/1557 + r. Which is bigger: o or -0.1?
o
Suppose 0*s + s = 0. Let t = -2 + s. Are -6 and t nonequal?
True
Let q = 0 + 0.1. Suppose -p + 13 = -3*w + 2, -4*w - 16 = -2*p. Which is bigger: w or q?
q
Let d be 9/(-12)*-2 + -1. Suppose 0 = -n, -3*p - 6 = -3*n - 2*n. Let v = p + 3. Is v at least as big as d?
True
Let n(c) = -c**2 + 10*c + 2*c - 1 - 19*c. Suppose -2*y + 0*y + 4*w = 6, -2*y - 5*w = 24. Let g be n(y). Is g equal to 2/13?
False
Let m = -41820161/801 + 52210. Let y = m - 1/178. Suppose -3*v + 3 = 6. Are y and v unequal?
True
Let n(r) = -r**2 - 2*r + 3. Let h be n(-3). Suppose 3*k + h = -3. Which is smaller: -7/3 or k?
-7/3
Let y = -0.015 + 6.015. Which is bigger: y or 0.1?
y
Let o = 1.4 - 2.4. Is o less than -1?
False
Let j = 2.8 - 3. Let h = -6.8 + 7. Which is bigger: h or j?
h
Let c = -4.07 + 0.27. Let t = -20.8 - c. Which is smaller: 2/5 or t?
t
Let t(b) = b - 1. Let f be t(-4). Let s = 0 - 1. Which is smaller: s or f?
f
Let q(h) = h**3 + h**2 + 4*h + 3. Let a be q(-2). Let x = a - -21. Let v be ((-2)/x)/((-2)/(-3)). Is -1 less than or equal to v?
True
Let d be -6 + ((-6)/1)/(-3). Let h = d + 9. Suppose 4*v - 3*b = 2, -11 = -h*v - 2*b + 3. Which is greater: 3/5 or v?
v
Let m = 83/3 + -28. Which is smaller: m or 4?
m
Let n = 96 + -85. Do n and 9 have the same value?
False
Let x = 3 + -3.07. Let n = x + -0.03. Let z = 5 + -8. Is z not equal to n?
True
Let q = -15 - -11. Which is greater: -1 or q?
-1
Let j = 21 + -13. Let c(b) = -j - 4*b**3 - 3*b**2 + b + 5*b**3 + 8*b - 5*b**2. Let g be c(7). Is g at most as big as 5?
False
Let z = 2 + -2.3. Is -0.1 <= z?
False
Let h = -2/1075 + 231/8600. Is -1 greater than h?
False
Let d(w) = -5*w. Let x be d(-2). Let h = x + 1. Let j = h + -21/2. Which is greater: 0 or j?
j
Let t(k) = 2*k**2 + 2*k - 2. Let u be t(-2). Suppose 2*f - 2 = -u*x, -f - f = -x + 16. Let w be (-2)/x*(-6)/12. Is w bigger than 0?
True
Let s = 1 + -1.5. Let a = s - -0.6. Is 2 smaller than a?
False
Let d = 6.4 + -5.4. Which is smaller: d or -1/21?
-1/21
Let v = -0.02 + 0.12. Which is greater: v or -13?
v
Let u(p) = p**2 - 3*p - 2. Let g = -7 - -11. Let j be u(g). Let d be (4/(-8))/(j/12). Is d < -2?
True
Let s = -15 + -21. Is -36 smaller than s?
False
Let o(b) = b**3 + 9*b**2 + 4. Let x be o(-9). Let r be (-12)/(-7) + x/14. Suppose -3*q = 4*s + 15, -r = 2*s + q - 5*q. Is -2 at least as big as s?
True
Let r = 16 - 16. Suppose 0 = -4*w + 5 + 3. Let l be (w/(-12))/((-2)/(-8)). Is l smaller than r?
True
Suppose 0 = -2*z - 0*z - 8. Let b = z + 5. Suppose -b = -5*t + 4*t. Is 0 smaller than t?
True
Suppose 0 = 6*m - m. Suppose 3*p - 9 = -3*r, -2*r - 4*p = -m*p - 8. Let d be 3/(-6)*r/4. Which is smaller: -1 or d?
-1
Let d = -13 - -23. Let x = 9.2 - d. Let m = x + 1. Which is smaller: 0.1 or m?
0.1
Let d(c) = -c**2 - 6*c + 3. Let b be d(-6). Let n be (-1 + -1)/(-5 + b). Is n at least 1/6?
True
Let z be 4/(-24) - 2/(-12). Suppose z = -4*x + 4*d - 32, x - 22 = -4*d - d. Is 0 bigger than x?
True
Let b(u) = -5*u - 2. Let q be b(-1). Let p be 4 + (14 + 2 - q). Which is greater: 16 or p?
p
Let y(c) = c**3 - 8*c**2 - c + 9. Let d be y(8). Suppose -q + 2*q + 2 = 0. Is q less than or equal to d?
True
Let v(w) = -w**3 + 6*w**2 - 3*w - 4. Let d be v(5). Suppose -4*f - 8*t + 34 = -5*t, -4*f + 4*t = -20. Which is greater: d or f?
f
Let b = 47/80 + -3/16. Which is bigger: b or -42?
b
Let h = 19 - 14. Suppose -2*g - 3 = -h*g. Which is greater: -1/5 or g?
g
Let j be 378/28 + 3/(-2). Which is greater: j or 11?
j
Let r be ((-6)/28)/((-63)/2044). Let o = r + -58/7. Which is smaller: -0.1 or o?
o
Let h = -17 + 17. Let t = 5/91 - -3/13. Which is smaller: h or t?
h
Let l = 2.981 - -0.119. Which is bigger: 0 or l?
l
Suppose -4*v + 20 = 2*y, y + v - 5 = -4*y. Let f = -4 + 3. Is y grea