and b have the same value?
False
Let f(m) = m**2 - 6*m - 18. Let t be f(9). Which is bigger: t or 10?
10
Let t = 352 + -7390/21. Let x = 0 + 0. Let u be 1*0/(-3 - x). Is t at most as big as u?
False
Let s(t) = -t + 7. Let d(i) = i. Let k be d(6). Let u be s(k). Are 2 and u equal?
False
Let t = 21 + -32. Let l = -11 - t. Do 0 and l have different values?
False
Let c be (4 - (-100)/(-24))*2. Which is smaller: c or 4?
c
Suppose 2 - 26 = -4*k. Let y be 9/6*2/k. Is 0.2 bigger than y?
False
Let a be -1 - (1/3 - 0). Let j be (-14)/(3 + -5) - -1. Let y = j + -8. Which is bigger: a or y?
y
Let d = 6 + -5. Let t = 45 + -25. Let g be 6/2 + (-68)/t. Which is smaller: d or g?
g
Suppose -w - 2*w - 11 = -2*b, -4*w - 4*b = 8. Let c = -5 - -1. Is c equal to w?
False
Let a be 2/2*12/(-30). Which is greater: -0.072 or a?
-0.072
Let r be (-1*2)/(10/(-15)). Suppose 0*x + r*x = 0. Suppose 2*a + 4 = -x. Does -2 = a?
True
Let g be (-3)/(-2) - (-83)/(-58). Are 1 and g unequal?
True
Suppose 4 + 6 = 5*w. Let d = w - 1. Is 2/3 at least d?
False
Let i(y) be the third derivative of -y**5/60 + y**4/24 + y**3/3 + 5*y**2. Let m(z) = z - 2. Let u be m(4). Let n be i(u). Is n <= 0?
True
Suppose -4*i + 4 = 4*u, -3*i - 5*u = -14 + 3. Let v be 0/((12/2)/i). Let t = 0 - 2. Which is smaller: v or t?
t
Suppose -16 = 2*g - 2*v - 0, -4*v - 16 = 2*g. Let f = g + -8. Is f < -16?
False
Let s be ((-3)/3 + 0)*1. Let p be 1/(-4) + s/(-4). Do 0 and p have different values?
False
Let c(j) = -j**3 + 8*j**2 + 9*j + 8. Let z be c(9). Let b = 5 - z. Which is smaller: b or -5?
-5
Suppose v + 47 = 37. Does v = -12?
False
Let i(m) = -m + 15. Let x be i(9). Let v be (x/(-4))/((-564)/(-16)). Is v at least 1?
False
Let f be (36/(-16))/((-3)/(-12)). Let z = 6 + f. Let b = -85/14 + 32/7. Are b and z nonequal?
True
Let t be ((-1)/(-6))/((-2)/(-6)). Let d = 3 - -21. Let v be d/35 - 4/14. Is t smaller than v?
False
Let u = 7 + -7.1. Let q be (-6)/9 - 2/(-3). Which is greater: u or q?
q
Let r = 23 - 7. Let z = r + -20. Is -4 at most as big as z?
True
Suppose 11*b = 10*b - 1. Which is smaller: 1/24 or b?
b
Let f be 388/(-16) + 1/4. Let b be ((-15)/20)/(135/f). Is b greater than 0?
True
Let k = -2 - -2.1. Let d = -6 + 6. Let q = k - d. Which is bigger: q or 3?
3
Let f = 33 + -31.7. Let l = f + -1. Let n be (-7)/(-5) - 4/10. Is n equal to l?
False
Let m(c) be the third derivative of -c**5/20 - c**4/12 - c**3/6 - 2*c**2. Let j be m(-1). Which is smaller: j or 2?
j
Let g be (-24)/16*(-4)/(-3). Which is smaller: g or 0.21?
g
Suppose -2*h = -0*h - 5*m - 2, -2*m = 0. Let o be -1 - (-2 + 0/(-1)). Let d be o/(-1)*2 - -5. Is d greater than or equal to h?
True
Suppose -2*b - 1 = 4*j - b, 2*b + 2 = -4*j. Is j > 5/13?
False
Let k = 10 + -7. Suppose 8*b = k*b. Do b and -5/6 have different values?
True
Let p = -10 - -16. Let x be (-8)/p*36/600. Is x less than -0.1?
False
Let t be (4 - 3/3)*-3. Which is smaller: t or 0?
t
Let g be 2/21*(-180)/4. Let k = 4 + g. Let z be (-1)/2*(-8)/(-4). Which is greater: k or z?
k
Suppose 4 = -m - 0. Let w be (-3)/m*14/(-21). Which is greater: -2 or w?
w
Let z be -2*5/4*16/(-10). Which is smaller: 21/4 or z?
z
Let y(c) = c**2 + 8*c + 7. Let m be y(-6). Let g(i) = -i**2 + 5*i - 1. Let q be g(5). Let o = m + q. Which is smaller: -5 or o?
o
Suppose 0*n = 4*n - 12, -h - 5*n = -19. Let z(c) = -c**3 + 5*c**2 - 4*c. Let r be z(h). Which is greater: -3 or r?
r
Suppose 32 = 4*p - 0*p - q, 2*q = -p + 8. Let w = p - 14. Let m = w + 4. Is -3 at most as big as m?
True
Let z = 1.98 + -2. Let l = z + 0.02. Is 2 greater than or equal to l?
True
Let s = -2.6 - 14.4. Are 0 and s unequal?
True
Suppose -5*z + 20 = -2*f, 4*f + 21 - 3 = -z. Let k be (-1)/(-2)*(-12)/z. Suppose -3*b + b = 4. Is b greater than or equal to k?
True
Suppose 4*q = -q + 180. Let g = -51 + q. Does -14 = g?
False
Let c(o) = -o**3 - 5*o**2 + 4*o. Let j be c(-6). Is 12 greater than or equal to j?
True
Let w = 6 - 4. Let m(n) = 1. Let x(o) = -3*o - 2. Let g(c) = -3*m(c) - x(c). Let i be g(1). Is w less than i?
False
Let m = -1052 - -6253/6. Let k be 58/(-18)*6/(-2). Let c = m + k. Does c = 0?
False
Let w(u) = u**2 - 2. Let y be w(0). Let d be 1683/14 + (-1)/y. Let b = d + -121. Is b > 0?
False
Suppose -5*s + 5*d - d - 10 = 0, 0 = -2*s + 2*d - 6. Is s not equal to -1?
True
Suppose 36 + 24 = -4*a. Let h be (a - -1)*(-2)/(-20). Which is greater: h or -2?
h
Let w = -25/9 - -3. Which is greater: -17 or w?
w
Let o be (-1)/4*(8 - 8). Are 5/22 and o unequal?
True
Let x be (-28)/30 - (-6 - 168/(-36)). Let q = -0.5 - -2.5. Let s = q - 1. Which is bigger: x or s?
s
Let w = 13 + -1. Suppose 0 = y - 4*y + w. Suppose -4*s - i = -6, 6*s = y*s - 2*i + 6. Is s equal to 3/10?
False
Suppose -3*r + 3*v + 36 = 0, 2*r - 5*v - 6 - 30 = 0. Let h = -23/3 + r. Let w = 1 + 0. Which is bigger: h or w?
w
Let k be ((-3)/75)/(7/14). Is k bigger than -0.3?
True
Let w(l) = l**2 + 3*l + 3. Let o be w(-2). Suppose -20 = -2*r - 2*r. Suppose 0 = 2*n - 3 - r. Is n at most o?
False
Suppose -o + 8 = 3, 3*o - 15 = -w. Is w greater than -1/5?
True
Suppose 0 = 6*a + 9 - 3. Let b(s) = s**3 + 6*s**2 + s + 6. Let z(j) = -5*j - 1. Let h be z(1). Let q be b(h). Which is smaller: a or q?
a
Let t = 4.7 + -4. Let b = -0.3 - t. Let o = 23.8 + -24. Which is bigger: b or o?
o
Let q = -25 + 18. Does q = -6?
False
Let a = -6 - 183. Let s = 751/4 + a. Let u = -5 - -4. Which is smaller: u or s?
s
Let u = 13 - 6. Suppose -u*p + 2*p = 0. Let r be (-1)/(-6) + 4/(-8). Is p greater than r?
True
Let h be 34 + ((-17)/9 - 4/36). Which is bigger: h or -2/5?
h
Let y be (-1 + 0)*10 + 3. Is 2 >= y?
True
Let c be (4/(-10))/(5/25). Let v = 0 - c. Suppose v*n - 5 = 7*n. Which is smaller: -2 or n?
-2
Let g be (-2)/7 - 96/56. Let m(r) = r**2 + 4*r + 2. Let t be m(g). Is -2 less than t?
False
Suppose 0 = -0*x - 3*x + 12. Let m be (0/(-3))/(x - 3). Let o = 27 - 80/3. Is m at most as big as o?
True
Let h = -1.1 + 0.1. Let q be 2/6 + 2/6. Which is bigger: q or h?
q
Let h(j) = -j**3 + 2*j**2 + 3*j - 4. Let o be h(3). Let s be (6/o)/(6/(-8)). Is s >= -1?
True
Let q be -2 - ((-98256)/(-16065))/(-4). Let l = 4/765 - q. Let n = -1/42 - l. Are n and -1 equal?
False
Let l = -102.7 + 109. Let g = -6 + l. Suppose 4*c + s - 5*s - 20 = 0, 2*s + 10 = -2*c. Which is smaller: g or c?
c
Suppose -14 = 4*w - 2. Let q = -1.1 + 1. Let m = q + 1.1. Which is greater: w or m?
m
Let g be 2/(-3) + 11/3. Suppose -g*q = -q. Suppose q = s + 4*r - 1 - 2, -5*s - 8 = -3*r. Is s at least as big as 1/2?
False
Suppose 0*x + 2*z = x + 14, x - 6 = -2*z. Is -6 bigger than x?
False
Let u = -53 - -211/4. Is -1 bigger than u?
False
Suppose 0*z - 327 = 5*z - i, -5*z - 339 = 3*i. Is z greater than or equal to -65?
False
Let d be (-3)/(-2)*(-2)/(-3). Suppose b + 2*q + 5 = 0, -q + d = -b + q. Let j(z) = -z**2 - 7*z - 13. Let g be j(-5). Are g and b non-equal?
False
Let v = 337 - 4379/13. Let m(b) = 0*b + 3 + 2 - b. Let z be m(6). Is z less than v?
True
Suppose 3*r - 2*q = 2*q - 19, 0 = 5*q - 20. Which is smaller: -1/170 or r?
r
Suppose -3*c - 21 = -4*c. Are c and 20 equal?
False
Let w = 12 + -4. Suppose -2*p = -3*z + z + w, p = 5*z - 12. Which is greater: -0.2 or z?
z
Suppose -u - 9 = -2*n, 0 = 5*u - 2*n - 3*n + 40. Which is bigger: -6 or u?
-6
Let p be -2*((-63)/(-6) - 1). Let k = -41/2 - p. Which is smaller: -1 or k?
k
Suppose 5*c + 0*c = 0. Let v be -3 + c + 38/18. Which is greater: v or -2?
v
Suppose -5*z = 2*m + 3*m - 20, -5*m = z. Let k = 41/3059 + 4/133. Is m < k?
True
Let k(u) = -3*u - 16. Let a be k(-5). Let j = 16/517 - 10/47. Which is greater: j or a?
j
Suppose 3*c + 0*c - 18 = 0. Suppose -4*v + 0*f = -f - 63, 2*f = -c. Are v and 15 non-equal?
False
Suppose -i = i. Suppose 0 = a + 3 - 5. Which is bigger: a or i?
a
Let q = -1.24 + 1.15. Is 1/2 greater than or equal to q?
True
Let i = -16 - -19. Let u be 1 + 44/108*i. Is 1 smaller than u?
True
Let m = -14 + 10. Let r = 0.2 + 0.4. Let d = 0.5 - r. Is d less than or equal to m?
False
Suppose -2*n - 10 = -v - 3*v, -5*n = 3*v + 25. Let g = -3.26 - -0.26. Which is smaller: g or v?
g
Let g(f) = 6*f + 5. Let y(o) = 7*o + 6. Let z(a) = 5*g(a) - 4*y(a). Let i be z(-1). Let s = 4 + -6. Which is greater: i or s?
i
Let a = 5 - 2. Let c be a*3/(-9)*1. Which is smaller: -2 or c?
-2
Suppose 5*z - 5 = -0. Is 4 less