). Which is smaller: w or g?
w
Let x be (-12)/(-20) - (-4)/10. Let r be -1 + 2 - 1/(-1). Let z be 1 + (3/r)/(-3). Is z > x?
False
Suppose -6*q + 12 = -0*q. Suppose -4*w + 4*o = 9 - 1, 2*w - 3*o = -8. Is q less than w?
False
Let c = 67 + -75. Does 0.3 = c?
False
Suppose 2*j - 6 = 2. Let u = 5 - j. Let b be ((-2)/(-40))/(9/24). Which is smaller: u or b?
b
Let a = -25 - -29. Which is smaller: a or -0.1?
-0.1
Let h = 16481 + -114742/7. Let f = -89 + h. Let n = -2.2 - -2. Which is smaller: n or f?
n
Suppose 5*y = 9 + 1. Let d = y + -2. Let u be (d - 5)*(-3)/5. Is u smaller than 2?
False
Let j = 0.79 - 0.8. Is 0.1 at least as big as j?
True
Let u = 0.5 + -0.7. Let q = -0.06 - -1.26. Let z = u + q. Which is smaller: 3/7 or z?
3/7
Suppose -6 = -5*y - y. Which is bigger: -9 or y?
y
Let r = -153/2 - -75. Let j(b) be the third derivative of b**5/60 + 17*b**4/24 - 10*b**3/3 - 6*b**2. Let k be j(-18). Are r and k non-equal?
True
Let g = 179 + -49. Let b be (8/g)/((-6)/(-15)). Is b smaller than -1?
False
Let r = -14.2 - 1.4. Let b = 8.2 + r. Let i = b + 7. Is i at least 0?
False
Let i be (-6)/(-15) + (-4)/10. Suppose -6*j + 3*j = i. Let d be 1/((j - -1) + -2). Which is smaller: 0 or d?
d
Suppose -14 = 5*u + 26. Which is bigger: u or -14?
u
Let p = -13.4 + 13. Let f = p + 0.7. Is f != 0?
True
Let q(r) = -r + 2. Let i be q(5). Let g(v) = v**2 - 6*v - 10. Let o be g(8). Let s(d) = d**3 - 5*d**2 - 7*d + 4. Let p be s(o). Which is bigger: p or i?
p
Let z be (6/(-8))/(3/3962). Let u = -1009 - z. Let s = u - -18. Which is greater: -1 or s?
s
Let g = -3 + 3. Suppose -3*m - m = 5*p - 22, 2*p + m - 10 = g. Suppose -6 = 3*l + p. Is l smaller than -4?
False
Let u(c) = c**2 + 5*c - 3. Let b be u(-8). Let d be (-2)/(-14) + (-87)/b. Which is smaller: -3 or d?
d
Suppose 8 - 13 = -5*o. Is o < 1.2?
True
Let d(n) = 5*n - 9. Let j(l) = -l + 2. Let v(h) = -2*d(h) - 11*j(h). Let p = -2 + 5. Let a be v(p). Which is greater: 3 or a?
3
Suppose -5*l + 91 = 4*h - 4*l, 3*h + 5*l - 47 = 0. Suppose -7*d + h = -3*d. Which is greater: d or 5?
d
Let l = 23 - 23.4. Let d be (4/(-6))/(2/6). Which is bigger: d or l?
l
Let t = 5 + 1. Suppose -15*i + 13*i + 8 = 0. Suppose i*y - 2*n - 2*n - 16 = 0, -n = -3*y + t. Is 3/5 less than or equal to y?
True
Let y = 5 - 5.1. Let d = 2 + -5. Which is smaller: d or y?
d
Suppose 2*i - 9 = 23. Let y = -13 + i. Suppose -4*v + 21 = o, 5*o = 2*o - 5*v + 28. Which is bigger: o or y?
y
Let o(f) = f + 17. Let p be o(12). Are p and 30 unequal?
True
Let o = 3/55 - 5/11. Which is smaller: o or 2?
o
Let f be (1 - (-2 + 2))*-2. Let n be f + -3 + (-3 - -1). Let c = n + 10. Is c at most 3?
True
Let i(b) = b**3 - 5*b**2 + 6*b - 3. Let o be i(4). Which is smaller: 31/5 or o?
o
Let o(x) = x + 4. Let j be o(0). Suppose j*r = 13 + 7. Does 6 = r?
False
Suppose -1 = -5*o + 6*o, 5*o = -5*j + 35. Which is greater: j or 16?
16
Suppose 2*u + 2*u + 4*j = -4, -3*u = -j - 5. Which is smaller: u or -2/209?
-2/209
Let h = 70 - 52. Is 18 at least as big as h?
True
Suppose 4*b + 2*k = 3*b + 11, 5*b + 15 = 4*k. Let o(z) = z**3 - 5*z**2 + z - 3. Let s be o(5). Let l be (s/14)/(24/28). Is l bigger than b?
False
Let l(n) = -n**3 - 8*n**2 - 1. Let f = -7 - 1. Let y be l(f). Is -3/4 <= y?
False
Let k(z) = z**2 + 7*z + 6. Let u = -16 - -11. Let s be k(u). Do s and -4 have the same value?
True
Let a(f) = -f**3 - 8*f**2 - 6*f + 10. Let u be a(-7). Let c be (2 + 1)/u + 1. Let r be c - (-3)/9*-3. Do r and 1/4 have the same value?
False
Let p = -1.21 - -0.21. Which is smaller: p or -0.18?
p
Suppose -2*r = 2*n + 6, 0*n - 3 = 4*r - 5*n. Which is bigger: -1 or r?
-1
Let o = -40 - -40. Let n = 44 + -134/3. Does o = n?
False
Suppose 6 = -3*w - 0. Suppose -z + 0 = -3. Let x = z - 4. Which is smaller: w or x?
w
Suppose 3*g - 20 = -5*l, 4 - 17 = 2*l - 3*g. Let b = -134 - -941/7. Is b <= l?
True
Let n be 22 + (-2)/((-4)/6). Suppose 2*r + n = 7*r. Suppose -r*p + 2 = g - 0*p, -4*p + 1 = g. Which is smaller: -2 or g?
g
Let b = -3 + 2. Let m = 27/5 - 6. Is m greater than b?
True
Let j = -72 - -64. Is -10 <= j?
True
Let i = 10 + -13. Let u = i + 1. Which is smaller: -3 or u?
-3
Let q be 0/(-2)*(2 + -3). Let r = -16 - -16. Is q greater than r?
False
Let a = -0.35 - 1.15. Let b = 0.5 + -1. Let l = a - b. Is 0 at most l?
False
Let z = 29 + -10. Let j be 10/4 + z/(-38). Which is smaller: -1 or j?
-1
Let c = 1 + 2. Suppose u = -u + 4, 4*u - c = 5*d. Let m be (-2)/5 - (-24)/10. Is d greater than m?
False
Let t be (0 - 1/(-25))*-2. Let s(y) = -y. Let h be s(-8). Let r be 0/1*8/h. Which is smaller: r or t?
t
Let l be (-5)/(-3) - (-8)/24. Suppose l*s = 7*s - 5. Is 3 less than s?
False
Let d = 3390/11 + -308. Let c be 21/4 + (-2)/8. Suppose 5*f = -0*f - c. Which is smaller: f or d?
f
Let c be (-2)/(-2 - -1)*(-39)/(-2210). Is -1 greater than c?
False
Let t = -1.2 - -1.1. Is t less than -4?
False
Let i be -2*(-1)/(1 - 0). Suppose 2*y - 4*y = -5*a - 6, 2*a - i*y = 0. Let n be a*(14/4 - 2). Is -2 at most as big as n?
False
Let n be (-8)/6*7/(-8). Let y be ((-7)/(-49))/(1/7). Which is bigger: n or y?
n
Let h be (6/(-10))/(1/5). Suppose -2 = r - 3*w, 0*r + 2*r + 4 = -5*w. Which is greater: r or h?
r
Let a be 5/3 - 2/3. Let s be 0 + 0/(0 + 3). Suppose 2*p - 16 = -g - 2*p, 3*g + 4*p - 16 = s. Is a bigger than g?
True
Let q(t) = 4*t. Let o be q(-1). Let a(x) = x**2 + 4*x - 1. Suppose 0*j + 6 = -2*j. Let p be a(j). Is o greater than p?
False
Let u(n) = -2*n - 9. Let j be u(-10). Is j less than 1?
False
Let t(p) = -5*p + 2. Let w(i) = 11*i - 4. Let u(c) = 9*t(c) + 4*w(c). Let x be u(6). Which is smaller: -0.1 or x?
x
Let v be -5 + 10 - (1 - -1). Suppose a - 4*a = -v. Which is bigger: -2 or a?
a
Let c(m) = m**3 - 5*m**2 - 4*m - 2. Let p be c(5). Let i = 15 + p. Is -5 less than i?
False
Let x be 2/(-3)*3 + 1. Let i be -2 + 2 + 1/x. Is -1 at least as big as i?
True
Let p(u) = u**2 + 8*u + 3. Suppose o = -1 - 6. Let h be p(o). Are -4 and h equal?
True
Let w = 3035 + -191210/63. Let c = -2/9 - w. Does 1 = c?
False
Let y be -2 + 4 + (-2)/(-2). Suppose -d - 33 = 4*d + 2*p, -29 = 5*d + p. Let z(i) = i**2 + 4*i - 5. Let a be z(d). Which is smaller: y or a?
a
Let x(k) = 6*k - 10. Let g be x(5). Let h = 25 - g. Is h at most as big as 6?
True
Let m be 4/10 + 3/5. Let s = 2 - m. Suppose s = -3*w - 2. Is w less than -3?
False
Let d = -6.04 - -0.04. Let t = d + 4. Is t equal to -1?
False
Let n(j) = -3 - 5 - 3 - j + 0*j. Let g be n(-12). Let o = 0 - 0. Is o > g?
False
Let v(j) = -j**2 + j + 27. Let r be v(0). Let b be 2 - (r/(-21) - -3). Is 1 bigger than b?
True
Let i be 15*1*(3 - 2). Let t be -1 + 3 + i/5. Do 3 and t have the same value?
False
Let m be 5 - (-6)/(-2) - -2. Let y be m/20 - 182/(-40). Which is smaller: 5 or y?
y
Suppose 0 = -5*l + 50 - 10. Suppose l + 4 = 4*o. Is 7 less than or equal to o?
False
Let t(c) = c**2 - 11*c + 7. Let i be t(10). Are 2 and i nonequal?
True
Let b = -0.6 - -0.3. Let f = b - -0.3. Let n = -6 - -3. Which is smaller: n or f?
n
Suppose 3*v - 41 = 4*g - 15, -2*v + 2*g + 14 = 0. Suppose -2*k - 4 = 3*x + 2*k, -v*k = 2*x + 2. Let s be x/(-2 + (2 - -1)). Which is bigger: s or -1/2?
s
Let u be -3 - -1 - (-25 - 1). Suppose -d + u = 2*d. Which is bigger: d or 7?
d
Let t(k) = -k**3 - 5*k**2 + 7*k + 6. Let q be t(-6). Suppose q = -j + 2*j - 2. Let a be ((-1)/9)/(j/(-4)). Which is smaller: 0 or a?
0
Let b = 56 + -23. Let o be 117/b + (-2 - 1). Do 0 and o have the same value?
False
Suppose 0 = 8*r - 4*r. Are r and 2/15 equal?
False
Let b = 27 + -26. Is b smaller than -7?
False
Let k be (8/10)/((-4)/50). Let j be (k/(-12))/(2/(-3)). Which is smaller: j or -1?
j
Suppose 2 + 2 = -2*l. Suppose 3*p - 6*p - 9 = 0. Which is bigger: l or p?
l
Let x be (-20)/(-6)*(-6)/(-5). Suppose -5*i - 3*u - u + 15 = 0, -3*i + 9 = 4*u. Let t = i - x. Is -2 >= t?
False
Let t = 0.1 + -0.1. Let c(p) be the first derivative of p**4/4 + 5*p**3/3 - p**2/2 - 5*p + 3. Let u be c(-5). Does u = t?
True
Let i = 1/33 - -40/11. Let x(d) = -4*d - 1. Let j be x(-1). Is i at least as big as j?
True
Let b be (6/(-3))/6*-1. Let s(l) = 3*l + 2*l**3 - l**3 + 3*l**2 - l. Let f be s(-2). Which is smaller: f or b?
f
Let i(q) = q + 5. Let h(p) = -p**3 + 3*p**2 - 3*p + 3. Let j be h(3). Let x be i(j). Do x and -1 have different values?
False
Suppose 3*p - 4 = 2. Suppose