)*22)*-4. Which is smaller: -8 or r?
-8
Let r(n) = n**3 + n**2 + n + 4. Let o(m) = -m**3 - 5*m**2 + m + 5. Let c be o(-5). Let u be r(c). Is u < 4?
False
Suppose -2*o + 3*g = 24, 0*g + 8 = 2*g. Let q be 0 + o/2 + 3. Which is bigger: q or -1/7?
q
Suppose 8*v - 3*v - 5 = 0. Which is smaller: 16/9 or v?
v
Suppose 2*z + 5*h = -29, 0 = z - 3*h - 4 + 13. Let i be ((-1)/2)/(2/32). Let n be 14/(-6) - i/z. Is -3 at most n?
True
Let r be (-8)/(-6) + (-14)/(-21). Which is smaller: r or 0.06?
0.06
Let w = 266 + -150. Let j = w + -70. Let t = j + -232/5. Is 0 less than t?
False
Let s be ((-3)/(-6))/(9/(-2)). Let a be (2 - 1) + (-1)/1. Which is smaller: s or a?
s
Let k = -1 - -5. Suppose -5*w - 2*x + 20 = 0, -k*x = -w + 11 - 29. Suppose 0 = w*r + r. Is r != 0?
False
Let x = 2.6 + -3. Let p = x - -0.2. Let s = -14.8 + 15. Which is greater: p or s?
s
Suppose 17*m - 15*m = 0. Is -3 != m?
True
Let x = -3 + 1. Suppose 2 = -2*o - 2. Is x < o?
False
Let p = 33/14 - -125/42. Is 4 at least as big as p?
False
Let f(y) = y**3 + 13*y**2 + 2. Let w be f(-13). Is w bigger than 5/7?
True
Let s = -40/8477 + -31389811/110201. Let y = s - -285. Let t(g) = -g - 2. Let q be t(-3). Is q < y?
False
Let m = 0.05 + 1.95. Is 2/5 smaller than m?
True
Suppose 0 = 2*f - l - l - 18, 5*f - 42 = 4*l. Suppose -o - 2*j = -f, -5*j = 3*o + o - 15. Which is smaller: -2/21 or o?
-2/21
Let n(o) = o - 9. Let i be n(9). Which is greater: 2/11 or i?
2/11
Let t = 0.2 - 0.21. Let h = 0.11 + t. Do h and 0.3 have different values?
True
Let t = -1052/7 + 150. Which is greater: 23 or t?
23
Let j(v) = v**3 + 3*v**2 - v - 2. Let w be j(-2). Suppose -2 + 0 = -r + s, -2*r = w*s - 34. Which is smaller: r or 8?
r
Let p = 5 - 6. Suppose 4*s - 15 = -r, -4*r + 5 + 11 = 5*s. Which is smaller: s or p?
p
Let z(c) = -2*c**2 - 11*c - 5. Let h be z(-5). Suppose -4 + 0 = 4*f. Let w be (f/8)/((-1)/(-2)). Are w and h nonequal?
True
Let x be 346/182 - (-1 - 9/(-7)). Which is smaller: x or 1?
1
Let h(u) = -u**2 - 10*u + 5. Let a be h(-10). Which is bigger: a or 3?
a
Let z be 2/(-2) + 69/6. Is z < 12?
True
Let c be -2 + (14 - (-1)/1). Let g = 8 - c. Which is smaller: g or -4?
g
Suppose 3*h = -h. Suppose 4*w - 5 = -u, 0 = -3*u - h*u - 2*w + 15. Are 6 and u equal?
False
Suppose -42 = -5*x + 8. Which is greater: x or 9?
x
Let n = 1.97 - 2. Let q = n + 0.03. Which is greater: q or -0.07?
q
Suppose 5 = -5*i - 0. Let j = -0.2 + 0.3. Let q = -0.9 - j. Is i less than q?
False
Let t = 24 + -24.2. Let g = t + -1.8. Is g at most 5?
True
Let b(g) = -2*g - 9. Let u(m) = -m - 5. Let s(t) = -6*b(t) + 13*u(t). Let o be s(-8). Let x be (o/9)/((-1)/(-3)). Is -1/5 at most as big as x?
False
Let h be (-16 - -17) + 1 + -1. Let f be 1/(-2)*4/18. Is f at least as big as h?
False
Let o = -0.64 - -0.54. Are o and -4/33 nonequal?
True
Let a = 2.93 + 0.07. Which is greater: -0.1 or a?
a
Let i be (-251)/4 + 4/(-16). Let a be -3 + 1 + (-140)/i. Which is smaller: 1 or a?
a
Let f = -3 + 5. Suppose 3*s + f = -1. Which is bigger: s or -4/7?
-4/7
Let c(f) = f**2 - 7*f + 12. Let k be c(5). Is 1 bigger than k?
False
Let a(y) = -y**2 - 3*y + 4. Let o be a(-3). Are 4 and o unequal?
False
Let f = 1516/11 + -138. Which is smaller: 1 or f?
f
Suppose 8*q + 70 = 3*q. Let g = -6 - 6. Let z be 14/(-10)*g/q. Which is smaller: z or 0?
z
Let x = 168.02 + -167. Is x > -2/9?
True
Suppose 0 = -2*w - 6 - 6. Which is smaller: 1 or w?
w
Let t be -20 + (-3)/(6/(-4)). Let r be 2/(-5) - (-357)/(-20). Let q = r - t. Which is smaller: -1 or q?
-1
Suppose -6*y = -2*y. Let x(n) = n - 5. Let h be x(5). Let z be ((-9)/5 - h) + 2. Do z and y have the same value?
False
Suppose -6*q + 8*q = -4. Let u be q/1*(-2)/(-4). Is -2/9 > u?
True
Let h = 121 + -86. Suppose -b - 4*b = h. Which is greater: -6 or b?
-6
Let n = 39 + -39. Is -4 equal to n?
False
Suppose -2*a - 5*i - 24 = 0, 5*i + 18 = -5*a + 6*a. Is a greater than or equal to -5/6?
False
Let d(h) = -4 - 4*h + 5*h + 5. Let n be d(-1). Is -3/4 > n?
False
Let x(f) = -f**2 - 7*f - 4. Let s be -13 + 3 - (-4 - -1). Let k be x(s). Is -4 less than k?
False
Let p be 3/(-4)*30/(-63). Is 1 at least p?
True
Let t(g) = g - 3 + 4 + 4. Let d be t(-5). Suppose 2*f + 0*f = d. Is -1 greater than f?
False
Let w = 1.1 + -1. Suppose 0*f + 4 = 4*f. Which is smaller: w or f?
w
Let w(h) = -h - 14. Let n be w(-15). Which is greater: n or 6?
6
Let i be (6 + 0)/(1/(-4)). Let c be i/(-10) - (-6)/(-15). Suppose -c*s = -7*s. Is s >= 3/4?
False
Let o be ((-2)/18)/(84/117). Let s = o - 2/21. Is s >= -1?
True
Let r be 1/(-2) + (-9)/(-2). Let l be (-3)/(-5)*(r + 1). Let h be 5/7 - (l + -2). Which is greater: h or -0.2?
-0.2
Let u(x) be the first derivative of x**2/2 + x + 3. Let h be u(-1). Which is smaller: 2/3 or h?
h
Let l = 12.92 + 0.08. Which is smaller: 2 or l?
2
Let s = 2.06 - 0.06. Let x = -0.01 - 0. Let m = x + -0.09. Which is greater: m or s?
s
Suppose -o + 1 + 11 = i, i + 3*o = 12. Suppose 3*n + 3*n - i = 0. Are n and -0.2 unequal?
True
Let q(j) = 10*j - 11. Let f be q(-4). Which is smaller: f or -52?
-52
Suppose -2*y + 3*k = -3*y + 16, -y - 4 = -2*k. Let v(w) = -2*w**2 + w**2 + 0 - 6*w - 4. Let d be v(-4). Is y < d?
False
Let w(i) = i**2 + 5*i - 2. Let a be w(-5). Let x be a/6 - 238/6. Let t be (2/8)/(25/x). Is t at least 0?
False
Let q(b) = -b - 11. Let j(f) = -2*f - 21. Let s(u) = -6*j(u) + 11*q(u). Let x(v) = -5*v**3. Let c be x(1). Let h be s(c). Is h <= -1/3?
False
Let w be ((-8)/(-20))/(1/5). Let q be 0/((w - 1)*2). Do -2/21 and q have different values?
True
Suppose 5*m = 11 + 9. Which is bigger: 2 or m?
m
Suppose g - 9 = b, -2*b - 24 = -6*g + 3*g. Let a = 6 - g. Is 0 at least a?
True
Let i = -73 + 1023/14. Which is smaller: i or -1?
-1
Let a be (-3 - (-132)/21) + -3. Are 0 and a equal?
False
Let g = -1/41 + -73/369. Let w = 0.03 - 0.33. Which is greater: w or g?
g
Let j be 30/16809*(-1672)/(-20). Let h = j - -2/431. Which is greater: h or -1?
h
Let j = -4 - -5. Suppose v - 20 = -4*s, 0*v - 24 = -4*v - 2*s. Let q be 1/(-2)*(v + -4). Which is bigger: j or q?
j
Let c(r) = r - 6. Let f be c(8). Suppose 0 = 2*i - h - 10, -i - 2*h - f*h - 4 = 0. Suppose -3*d + i = -2. Is d greater than 0.1?
True
Let b be (-2)/(-4) - (-2)/12. Let h be (-2)/(-3) - (-1)/(-2). Let m = h - b. Is m greater than -1?
True
Suppose 1 + 9 = 2*y. Suppose 27 = j - 3*j - 5*p, -4*p = -y*j + 15. Which is smaller: j or -1/22?
j
Let n = -49 + 50. Is n at least 5/3?
False
Let d be 10/25*(-1)/((-2)/5). Is d at least as big as -2/203?
True
Let d = -2.8 - -0.87. Let k = -0.07 + d. Does 0 = k?
False
Let p(m) be the second derivative of -m**5/20 + m**4/12 + m**3/6 - 9*m**2 - 2*m. Let l be p(0). Is l < -17?
True
Suppose 8 + 1 = -c + z, -3*z = 3*c + 39. Let w = c - -15. Which is bigger: 3 or w?
w
Suppose -p + 4 = p. Let s = 461/56 + -59/8. Is p less than or equal to s?
False
Let i(f) = f**3 - f**2 + f. Let r be i(1). Let s be (0 - r) + 50/46. Which is smaller: -1 or s?
-1
Let h = 0.37 - 3.97. Let y = 4 + h. Let j = y - 0.3. Are 0 and j unequal?
True
Let f = -0.4 - -0.3. Is f at least -3?
True
Let v = 0.3 + -0.2. Let n = v + -0.2. Which is smaller: 0.2 or n?
n
Suppose 5*n - 4 = 7*n. Let v be (-3)/n*8/(-12). Do v and -3/5 have different values?
True
Let t = 2/151 - 461/604. Is t at most -2?
False
Let u = 25 - 27.8. Let g = u + -0.2. Let x be ((-1)/2)/((-21)/(-12)). Do x and g have the same value?
False
Let j(t) = t**3 - 6*t**2 + 7*t - 6. Let s be j(5). Suppose -s*h = -8*h. Which is smaller: -2/11 or h?
-2/11
Let g be 3/(-14) + 6/(-21). Suppose -3*w + 22 = 4. Suppose 0 = i - w*i - 10. Which is greater: g or i?
g
Suppose 5*s = -4*g + 82, -4*s + g = -0*s - 53. Is 14 at most as big as s?
True
Let j = 16 - 101/6. Suppose -h = -2*h. Is j <= h?
True
Let n = -14 - -15. Is n < -2/31?
False
Let y be 1*((-12)/9 - -1). Let q(u) = u + 5. Let d = -13 + 7. Let c be q(d). Which is bigger: c or y?
y
Suppose -6*t + 2*w + 2 = -2*t, 13 = 2*t - 5*w. Is t smaller than 1/31?
True
Let q(m) = m**2 + 2*m + 2. Let t be q(-2). Is t at least 2?
True
Let d be (-19)/(-2) + 10/20. Suppose 3*q - d = -1. Let w be (0 + q/15)*-3. Which is smaller: w or -1?
-1
Let o = 33566/49 + -685. Is 1 at most as big as o?
False
Let d = -10 - -7.5. Let m = d + 2. Is m less than 1?
True
Let y = 1996 + -273450/137. Which is greater: 1 or y?
1
Suppo