et x = -6 - c. Suppose -3*a - a - 3*w + 119 = 0, -2*a - x*w + 77 = 0. Is 17 a factor of a?
False
Let d(v) = -3*v. Suppose 3*b - 2 - 10 = 0. Suppose -u + b*q - 21 = 0, -4*q + 4 + 12 = 0. Is d(u) a multiple of 10?
False
Let p = 65 - 36. Let o = p + -14. Let u = -1 + o. Is u a multiple of 9?
False
Suppose -2*b + 5071 = -3*c, 0*b - 12672 = -5*b + 2*c. Let v be b/(-91) - 2/13. Is 24 a factor of (-8)/v + (-556)/(-14)?
False
Let a be ((-3)/12)/(2/(-24)). Suppose d - 49 = -a*v + 8, 3*v - 255 = -4*d. Suppose -d = -7*q + 4*q. Is 10 a factor of q?
False
Let a(k) = k**2 + k - 1. Suppose 3*u = -9 - 0. Let w be a(u). Suppose 2*p - w*v - 25 + 1 = 0, 2*v + 12 = p. Is 12 a factor of p?
True
Suppose -4*m = -7 - 17. Suppose 2 - m = -l. Suppose -49 = -l*k + 27. Is 13 a factor of k?
False
Let g(h) = 6*h**2 - 4*h - 4. Does 7 divide g(-2)?
True
Suppose -6*d + 16 = -2*d. Let q(i) = -9 - i**2 + d*i + i + 5*i. Does 5 divide q(8)?
False
Let b(o) = -2*o**2 + 3*o**2 + 10 + 3 + 0*o**2 - 4*o. Is b(7) a multiple of 7?
False
Suppose 35 + 92 = 3*w + g, 0 = w + 4*g - 24. Does 7 divide w?
False
Is 32 a factor of ((-1)/2)/((-4)/512)?
True
Let f = -13 - -23. Does 5 divide f?
True
Let j = 56 + -10. Is 28 a factor of j?
False
Let i = -1 - -5. Is 9 a factor of (i/(-8))/(1/(-36))?
True
Suppose w + 5*y + 22 = -0*w, 4*w + 4*y = -8. Suppose w*a + 45 = -h, -5*a = h - a + 46. Let q = h + 63. Is 12 a factor of q?
False
Suppose -4*f - 32 = 3*x, -5*f + 4*x = -f + 4. Let s(y) = 4*y**2 - 5*y - 7. Let q be s(f). Let p = q - 84. Does 21 divide p?
False
Suppose 97 = 3*l + 19. Does 13 divide l?
True
Let x be ((-6)/(-9))/(1/(-15)). Is 150/4*(-8)/x a multiple of 18?
False
Suppose 4*y - 299 - 13 = 0. Does 11 divide y?
False
Let t = -69 - -133. Does 17 divide t?
False
Suppose -z - 14 = -2. Let l be ((-6)/2)/(z/28). Suppose -l = 3*u - 55. Is 5 a factor of u?
False
Suppose 2 - 1 = h + 2*g, 3*g = 2*h - 16. Suppose 2*w - l = 53 - 12, 0 = 4*w - h*l - 91. Is 7 a factor of w?
False
Suppose 8 = 2*u, 0*t = 2*t - 5*u - 124. Is 12 a factor of t?
True
Suppose -8*t = 22 - 214. Is 7 a factor of t?
False
Let d = 41 - 98. Let x = d - -100. Does 9 divide x?
False
Suppose -y - f = -2*y - 2, -5*y - 4 = -2*f. Suppose 5*c - 122 + 12 = y. Is 10 a factor of c?
False
Suppose -v + 8 = -0*v. Suppose 0 = -2*h + 80 + v. Is 19 a factor of h?
False
Let w = 129 + -85. Suppose 6*g = 2*g + w. Is 3 a factor of g?
False
Suppose -4*j = -2*o + 2, 4*j + 11 = -0*j + 5*o. Let a be -1*(-6)/((-2)/j). Let i = 11 - a. Is 6 a factor of i?
False
Let t(b) be the first derivative of b**4/4 - 3*b**3 - 4*b**2 - 5*b + 9. Is t(10) a multiple of 5?
True
Suppose -a + 0*a = -37. Does 13 divide a?
False
Let d be 3*(-6)/9 + 7. Suppose -199 = -d*i - 49. Is i a multiple of 15?
True
Suppose -l = 2*l + 5*g + 7, 3*l - 28 = 2*g. Let c(k) = k**2 + k - 6. Is c(l) a multiple of 12?
True
Let d(f) = 3*f**2 + 5*f - 2. Let j(b) = -b**2 - b. Let t = -4 + 3. Let v(q) = t*d(q) - 4*j(q). Is 3 a factor of v(-2)?
False
Let n(x) = -x**3 - 12*x**2 - 16*x - 2. Let k(t) = -t**3 - 11*t**2 + 2*t + 11. Let j be k(-11). Is 21 a factor of n(j)?
False
Suppose 4*t = -t + 230. Is 10 a factor of t?
False
Let v(o) = o**2 - o - 1. Let j be v(3). Suppose 19 + 81 = j*z. Does 20 divide z?
True
Suppose -10 = -5*a + 25. Suppose -4*r = -5*r + 1. Suppose -c = r - a. Does 6 divide c?
True
Suppose -3*i + 277 = 52. Let g = 111 - i. Is g a multiple of 19?
False
Let t be (-142)/(-8) + (-2)/(-8). Let v be t/8 - (-1)/(-4). Suppose 0 = 4*i - v - 10. Does 3 divide i?
True
Let k = -17 - -51. Does 17 divide k?
True
Suppose 54 = f + 3*c, -5*c = 3*f - 0*c - 162. Suppose 4*p + f = -10. Let x = 32 + p. Is x a multiple of 16?
True
Let o = 7 + -9. Let k be o/(-5) + (-13)/(-5). Suppose k*p + 79 - 214 = 0. Is 21 a factor of p?
False
Suppose m - 15 = -45. Let o = 61 + m. Does 12 divide o?
False
Let x(g) = g**3 - 7*g**2 + 7*g - 7. Let p be x(6). Does 14 divide p/2 + 57/2?
True
Let g = 23 - 7. Does 8 divide g?
True
Suppose -4*i - 4*r + 104 = 0, 4*i - 125 = -i - 4*r. Does 7 divide i?
True
Suppose -5*v = 3*v - 864. Is v a multiple of 9?
True
Is 8 a factor of (9/6)/((-6)/(-1088))?
True
Let o(v) = 16*v**2 + v - 1. Is o(1) a multiple of 4?
True
Let g(c) = -c**3 - 2*c**2 + 10*c + 6. Is 11 a factor of g(-5)?
False
Let u(p) = -4*p - 10. Let y(b) = b**2 - 6*b - 6. Let o be y(7). Suppose o = -w - 6. Does 9 divide u(w)?
True
Suppose -14*a = -18*a + 52. Is a a multiple of 7?
False
Let h(c) = 183*c**3 - 2*c**2 + 1. Does 9 divide h(1)?
False
Suppose 4*i - 38 = -3*u + 5*i, -58 = -5*u - i. Let p = -8 + u. Let z = 14 + p. Is z a multiple of 18?
True
Suppose t = 5*t + 5*o + 127, -4*t - 4*o = 128. Let c = 101 + t. Is 14 a factor of c?
False
Let a be (-4)/8 + 9/(-6). Let v be 1/((-3)/(-18)*a). Let l(f) = -f**3 - 3*f**2 - 3*f - 3. Is 3 a factor of l(v)?
True
Suppose 8 = 2*l - 8. Is l a multiple of 4?
True
Let q = 6 + -14. Let t(m) = -m**3 - 3*m**2 + 6*m + 5. Let n be t(-3). Let g = q - n. Is g a multiple of 5?
True
Does 3 divide 165/35 - 2/(-7)?
False
Let r(x) = 59*x**2 - 7*x + 7. Let q(z) = -88*z**2 + 11*z - 11. Let i(m) = 5*q(m) + 8*r(m). Does 14 divide i(1)?
False
Let w = 8 + -3. Does 3 divide w?
False
Let i(l) = -4*l + 5. Let t be i(-12). Let m = t + -9. Is 22 a factor of m?
True
Let x = 42 - 74. Let j = -12 - x. Is j a multiple of 10?
True
Let d(z) = z**3 - z**2 + 3. Let b be d(0). Suppose -4*i = -3*o - 9*i + 63, o = -3*i + 17. Suppose 0 = b*l - 5*l + o. Does 13 divide l?
True
Suppose -1 = 5*x + 19. Is (x/6)/((-4)/168) a multiple of 11?
False
Suppose -3*w + 208 = 4*v, 2*w + 2*w = -2*v + 114. Is 26 a factor of 4/(-14) + 3836/v?
True
Suppose 1 = l + 2. Let z(f) be the third derivative of -f**4/4 - 7*f**2. Is 3 a factor of z(l)?
True
Suppose 3*l = -116 + 26. Let d be (-576)/l + 2/(-10). Let q = 47 - d. Is 18 a factor of q?
False
Let n(j) = 13*j - 9. Let q(v) = -4*v + 3. Let h(w) = -6*n(w) - 21*q(w). Is 13 a factor of h(8)?
True
Let i(j) = -76*j + 1. Let h be i(-1). Suppose -2*k = 13 - h. Suppose -l = -5*l + k. Is 4 a factor of l?
True
Suppose -2*c + 125 = -z, -8*c + 6*c + 95 = 5*z. Is c a multiple of 10?
True
Suppose 4*a - r + 32 = 0, 0 = -3*a - r - 5 - 26. Let l be 4/18 + (-295)/a. Suppose -l = 5*p - 8*p. Is 11 a factor of p?
True
Suppose -3*x = -3*o - 36, 2*o - 81 = -8*x + 3*x. Is x a multiple of 14?
False
Let c(x) = 2*x**3 - 2. Is 20 a factor of c(3)?
False
Does 5 divide (2/(-8))/(10/(-200))?
True
Let l(p) = -28*p**3 + p + 1. Let z be l(-1). Does 13 divide (z/(-4))/(2/(-14))?
False
Let t = 12 + 8. Let z = t - -2. Is z a multiple of 11?
True
Let o(m) = -2*m**3 - m**2 + 1. Let g be o(-1). Suppose x = -g*x + 51. Does 7 divide x?
False
Let z(h) = -h**3 + 10*h**2 + 3*h - 13. Is z(10) a multiple of 6?
False
Suppose z + 14 = -z + 5*s, -s = 5*z + 62. Is (-208)/z - 2/6 a multiple of 7?
False
Suppose 5*m + 23 = g, -3*m - 6 = 2*g - 0. Suppose -4*n - g*k = 2*k - 22, -2*k + 7 = n. Is 3 a factor of n?
True
Let z(j) = j + 7. Let w be z(-4). Suppose 79 = 3*v - 5*c + c, w*c = 2*v - 53. Is 9 a factor of v?
False
Suppose -27 = -4*h + 7*h. Is (h/(-3))/(1/8) a multiple of 11?
False
Let j be (34/(-6))/((-2)/(-6)). Let o(n) = -4*n + 8. Let m be o(-8). Let b = j + m. Is 16 a factor of b?
False
Let y = 6 - 4. Suppose -6*k + 18 = a - 5*k, -y*k = -2*a + 40. Let z = a + -1. Is z a multiple of 10?
False
Let i(x) = 200*x**3. Let g be i(1). Let z = g - 143. Is z a multiple of 20?
False
Let r(k) = 2*k**2. Let h be r(-6). Suppose -7*j = -3*j - h. Is j a multiple of 6?
True
Suppose 0 = 3*f + 3*g - 72, 13 - 3 = 5*g. Is f a multiple of 11?
True
Suppose -2*o - 30 = -5*r, o = 3*r - 3*o - 32. Suppose -r*b = 5*v - 39, 2*b - 2*v - 35 = -b. Suppose -2*w + 6*j = j + b, j - 33 = -4*w. Is 6 a factor of w?
False
Let d = 134 + -67. Is 13 a factor of d?
False
Let c(u) = -18*u**3 + u. Let y be c(-1). Suppose 0 = -h + y + 5. Does 11 divide h?
True
Let j be (75/12)/(2/(-8)). Let t = -11 - j. Suppose 10 = 4*m - t. Is m a multiple of 4?
False
Let h = -1 - 1. Let f be (-3)/h*(-8)/6. Does 2 divide 57/11 - f/(-11)?
False
Let f = 2 + -2. Suppose f*z + 104 = 2*z. Suppose z - 217 = -5*n. Is 16 a factor of n?
False
Let z = -18 - -39. Is 4 a factor of z?
False
Let p(i) = -9*i - 17. Is 7 a factor of p(-5)?
True
Let j(u) = u - 4. Let q be j(3). Is q/5 - (-91)/5 a multiple of 18?
True
Let w(z)