6). Suppose -2*w = -s*u - 1 + 10, 2*w = u + 3. Let n = 3 + u. Is 3 a factor of n?
True
Is 7 a factor of ((-30)/10)/((-1)/11)?
False
Suppose -5*n + 12 + 213 = -4*y, 2*n = 2*y + 88. Let c = n + -29. Does 10 divide c?
True
Let k = -5 + 9. Let m be k + 2 + -2 + -1. Suppose -m*j = -4*v - 3 + 19, 4 = v - 4*j. Is 3 a factor of v?
False
Let b(f) = 3*f**3 + 2*f. Let u be b(-2). Is 15 a factor of u/(-2) + (-2 - -3)?
True
Let j = -11 + 8. Let s(z) = -z**2 - 5*z - 3. Let o be s(j). Let y = 10 - o. Does 4 divide y?
False
Let q(i) = -i**3 - 10*i**2 - i + 3. Suppose -6*k = -2*k - 44. Suppose -3*z - 19 = k. Is 13 a factor of q(z)?
True
Let j(l) = -l**2 - 6*l + 9. Does 7 divide j(-6)?
False
Suppose y + y + 212 = 2*c, -216 = -2*c + 3*y. Is c a multiple of 34?
True
Is 16 a factor of ((-64)/3)/((-6)/18)?
True
Let f(u) = 3*u - 2. Let p be f(4). Suppose 3*q = -4*l + 27 + 2, -l = 5*q - 20. Suppose -z = n - l, z = 5*n - 3*n - p. Is n even?
False
Suppose 0*l = -4*l + 236. Suppose 5*j = l + 21. Does 16 divide j?
True
Let v(x) = -x**3 - 4*x**2 + 2. Let z be v(-4). Suppose 4*l = -4*a + 24, 0*a + a = z*l - 3. Does 2 divide a?
False
Is (-8)/(-68) + (-98)/(-34) even?
False
Let x(v) = v**3 + v**2 + v - 2. Let g be x(0). Let t(m) = 6*m**2 + m + 1. Is t(g) a multiple of 23?
True
Let a = 22 - 18. Is 4 a factor of a?
True
Suppose 3*f - h = 3*h + 5, f - 4*h = 7. Let k be (3/(-2) - f)*8. Let r = k + 6. Does 2 divide r?
True
Let q be 16/24 + (-68)/(-6). Suppose -q = -p + 2*l + 77, 0 = -5*p - 5*l + 520. Is p a multiple of 21?
False
Suppose o + 3*y = 3*o - 137, 3*y - 283 = -4*o. Does 14 divide o?
True
Let n = -1 - -3. Suppose 63 = n*f - f + 3*z, -f = -4*z - 35. Let y = f - 22. Is y a multiple of 8?
False
Let i(w) = -w**3 - 14*w**2 + 15*w + 15. Let d(v) = v**2 + v - 15. Let g be d(0). Is i(g) a multiple of 15?
True
Let t be (10/2)/(1/1). Suppose -182 = -t*b - 3*g, -1 = -g + 3. Does 14 divide b?
False
Suppose 2 = -4*k - 2*r - 0, 0 = -3*k - 4*r - 14. Suppose -k*m - 140 = -7*p + 2*p, 3*p + 3*m = 84. Is p a multiple of 22?
False
Suppose 5*d = -3*l + 4*d - 8, -3 = 2*l + 3*d. Does 18 divide l - -2*84/8?
True
Let v be -2*1 - 7*-1. Let u be 1 + (3 - (-4)/(-1)). Suppose 4*p - 38 = -v*d + 23, 4*d + 2*p - 50 = u. Does 13 divide d?
True
Let s(r) be the third derivative of -r**6/120 + r**5/15 - r**4/24 + r**3/3 - 3*r**2. Is 4 a factor of s(2)?
True
Let o be (1/3)/((-2)/(-12)). Suppose 0*u - 2*u + 4*f = 10, 35 = o*u + 5*f. Suppose -4*p - 4*g + 64 = 0, -4*p - u*g - 6 = -72. Is p a multiple of 7?
True
Let c(v) = -v**3 - 16*v**2 - 2*v - 20. Does 12 divide c(-16)?
True
Does 17 divide (-9)/12 - (-535)/20?
False
Suppose 0 = y - 0*x - 4*x - 21, -3*y - x - 2 = 0. Let z(r) = 56*r**3. Does 14 divide z(y)?
True
Suppose -568 = 4*y - 160. Let o = y - -177. Suppose -5*l = -o - 85. Is l a multiple of 13?
False
Suppose 4*t = 3*t - 4*y + 9, -4*t = 5*y - 25. Let z(v) be the third derivative of v**5/30 - v**4/12 - v**3/6 - 3*v**2. Is 14 a factor of z(t)?
False
Let u(m) = -17*m. Suppose -1 - 5 = 2*p. Let v(b) = -b**2 - b + 4. Let f be v(p). Is u(f) a multiple of 20?
False
Does 12 divide -1*(-2 + -35 - 0)?
False
Is 3 + 3/((-12)/(-268)) a multiple of 7?
True
Let i be (10/(-5))/(-1 - -2). Let b be i/9 + (-114)/(-27). Suppose -71 + 10 = -b*w + 5*k, 3*k = -15. Does 9 divide w?
True
Suppose 0 = -6*c + c + 15. Let k = 7 + c. Is k a multiple of 10?
True
Let c be -3 + (-2 - -1)/(-1). Let i(n) = n**2. Let l be i(c). Suppose 4*h = 3*h + 4*x - 1, -3*h + 29 = l*x. Does 3 divide h?
False
Let v(m) = m**3 + 10*m**2 - 13*m - 14. Let p be v(-11). Suppose 0 - p = -2*i. Is i a multiple of 4?
True
Let q = -20 + 102. Is 21 a factor of q?
False
Suppose 5*r - 38 = 4*s + 47, 2*s = -r + 31. Suppose -186 + r = -5*v. Does 11 divide v?
True
Let v(t) = -2*t**3 - 6*t**2 - 4*t - 6. Let r(x) = -x. Let g be r(4). Is v(g) a multiple of 18?
False
Suppose 3*p + c = 95 + 74, 2*c - 281 = -5*p. Is 19 a factor of p?
True
Suppose -4*s + 2*s - 14 = 0. Let m(j) = 14*j**2 + 2*j + 1. Let u be m(-1). Let t = u + s. Is t a multiple of 4?
False
Suppose 0 = -t + 2*c + 130, -3*c + 624 = -t + 6*t. Is t a multiple of 14?
True
Let p(q) = q**3 - 3*q**2 - 4*q - 1. Let z be p(4). Is z - -1 - (-2 + -28) a multiple of 12?
False
Is 16 a factor of (250/4 - 0) + 2/(-4)?
False
Let y be 2 - (-2 + -1 + -51). Let w = 38 - y. Let i = 13 - w. Is i a multiple of 10?
False
Suppose -5*o = 14 + 6. Let f(q) be the third derivative of q**5/20 + q**4/8 - 5*q**3/6 + q**2. Does 11 divide f(o)?
False
Suppose -b = -3*b + 2, 0 = 2*g - b - 7. Suppose -32 = -4*q + k, 10 = 5*q + g*k - 9. Let f(d) = d**3 - 8*d**2 + 9*d + 4. Does 9 divide f(q)?
True
Let s(w) = w**3 - 2*w**2 - 2. Let k be s(3). Let b = k - 2. Is 2 a factor of b?
False
Let t = 6 - 7. Let v = 125 + -38. Is 1*t/((-3)/v) a multiple of 12?
False
Let v be 764/6 + (-4)/(-6). Suppose 4*r + 8 - v = 0. Is r a multiple of 11?
False
Suppose -4*d + 516 = 4*c, 2*d - 315 + 52 = -3*c. Does 6 divide d?
False
Let t be (16 - 1)*12/30. Suppose 3*j + 5*k + 81 = t*j, 2*k = 6. Is j a multiple of 11?
False
Suppose -4 - 6 = -s. Let u = 21 - s. Suppose -u = -j + 17. Is 14 a factor of j?
True
Let u(t) = -4*t**3 - 3*t**2 + 6*t + 9. Is u(-3) a multiple of 18?
True
Does 9 divide (-200)/(-6) + (-32)/24?
False
Suppose 2*d + 222 = 5*s - s, 3*d - 59 = -s. Does 8 divide s?
True
Let r = 5 - 18. Let f(z) = z**3 + 14*z**2 + 9*z - 1. Does 11 divide f(r)?
False
Does 16 divide 0 - 1 - (-195 + 18)?
True
Let h be 1/(-2)*-4 + 8. Suppose s - r = 14 + h, -8 = 2*r. Does 13 divide s?
False
Let b(j) = 3*j - 3. Let p be b(7). Let y = 2 + p. Is y a multiple of 7?
False
Suppose -2*a = 5*m, -a = -4*m - m - 15. Is 1/m + 19/2 a multiple of 3?
True
Let v = -20 + 29. Is v a multiple of 6?
False
Let p(f) = f**2 + 2*f. Let q be p(-3). Suppose -o + 6*o + 45 = 0. Is 3 a factor of q*3 + 7 + o?
False
Let i = 1 - -3. Suppose 3*k - k - i = 0. Does 4 divide 1/(1/k) + 6?
True
Suppose -20 = 5*y, -4*y - y = w - 4. Does 6 divide w?
True
Does 21 divide -382*((-3)/(-1))/(-6)?
False
Let p = -229 - -337. Does 12 divide p?
True
Suppose -2*p - n + 180 + 38 = 0, -4*p = -5*n - 408. Is p a multiple of 34?
False
Let t(m) = -m**2 - 8*m - 7. Let j be t(-6). Suppose -4*c + 0*c + 8 = 2*n, 0 = 4*n. Suppose c*u = -3*x + 81, -j*u = -4*x + 82 + 3. Does 9 divide x?
False
Suppose -4*m + 1 = -2*y - 9, -3*m + 8 = -y. Let k be y/(1/(-12)*-3). Suppose -w + 3*l + 10 = -44, 4*w = -k*l + 184. Is 16 a factor of w?
True
Let u(a) = -2*a + 62. Is u(0) a multiple of 11?
False
Does 8 divide (2/(-4))/(4/(-32)) + 103?
False
Suppose 0 = -5*o + 33 + 52. Suppose 79 + o = 3*b. Is 9 a factor of b?
False
Let w be ((-6)/8)/((-8)/160). Suppose -4*n - 2*h = h - 177, 5*h = w. Is n a multiple of 13?
False
Let v(n) = -n**2 - 8*n + 8. Does 5 divide v(-7)?
True
Suppose -4*d + 14 + 6 = 2*o, -5*d + 25 = o. Suppose -4*g + 51 + 1 = o. Suppose -g = -4*t + 23. Is 5 a factor of t?
False
Let y = 32 - 18. Is y even?
True
Suppose 0 = 4*q - 3*f + 6*f - 410, -2*q - 2*f + 204 = 0. Is q a multiple of 26?
True
Suppose 0 = 17*b - 21*b + 188. Suppose 0 = 2*u - 9 - b. Is 7 a factor of u?
True
Suppose -2 = c - 7. Let l = c + -2. Does 3 divide l?
True
Suppose 0*u = 3*u. Suppose 0 = 5*o - 2*c - 230, u*o + 3*c + 191 = 4*o. Is o a multiple of 21?
False
Suppose -6*m + 12 = -2*m. Let r = 3 + m. Does 4 divide r?
False
Suppose -6*p = -2*p - 160. Let s = p + -4. Is 12 a factor of s?
True
Suppose -39 = -2*t + f + 4*f, 4*f = 5*t - 55. Is t even?
False
Let w be 294/4 - 2/4. Let n = w + -49. Is n a multiple of 8?
True
Let l(f) = -f**2 + 10*f + 1. Let v(b) be the third derivative of -b**5/60 + 7*b**4/24 + b**3/2 + 2*b**2. Let w be v(6). Does 5 divide l(w)?
True
Let n be 207 - (1*-2 + 3). Suppose 4*h - n = -3*a, 2*h - 138 = -2*a - h. Let g = a + -19. Is 18 a factor of g?
False
Suppose -4*r + 5*g - 17 = -5, 3*g - 6 = 3*r. Does 15 divide -1 - (3 + -30 + r)?
False
Let w be 9/(0 + (-6)/4). Let i(h) = -h**2 - 12*h - 4. Does 16 divide i(w)?
True
Let n = -134 + 95. Suppose -69 = -3*u + 2*u. Let g = u + n. Is g a multiple of 15?
True
Let o = -5 + 8. Suppose 17 = 3*q - m, o*q + 5*m = 4 - 17. Suppose 3*f + 4*r = 4*f - 13, 0 = 5*f - q*r - 49. Is f a multiple of 9?
True
Suppose -44 + 17 = -2*k - 5*m, 3*k + 2*m = 13. Let v be 27/(-6) + k/2. Is 1/(2/v) - -5 even?
False
Let u be 11/44 + (-623)/(