 Does 9 divide 1/p*-2*-18?
True
Suppose v - 5 = 2*h - 0*h, 0 = -4*v - 5*h + 20. Suppose -4*u + 3*n + 124 = -0*n, -4*u + v*n = -132. Is 14 a factor of u?
True
Does 11 divide (20/2)/((-2)/(-8))?
False
Let f(m) = 5*m. Let d be f(1). Suppose -z + 66 = 5*c, -3*z - d*c + 132 = -26. Does 29 divide z?
False
Let n be 2/3*(-27)/(-6). Is (n + 24 - 3) + 1 a multiple of 5?
True
Is (-67)/(-4*1 - (3 + -6)) a multiple of 19?
False
Let m(f) = -f**3 + f**2 + 2*f. Let h(p) = -p**3 + p. Let r(v) = 2*h(v) - m(v). Let q be r(-2). Suppose -q*z = 3*b - 37, -5*z - 3 - 3 = -b. Is 11 a factor of b?
True
Suppose -7*n + 3*n + 240 = 0. Is 20 a factor of n?
True
Let d(g) = 3*g**2 - 2*g - 5. Is d(5) a multiple of 12?
True
Let h(v) = v + 76. Does 9 divide h(-13)?
True
Suppose s = 26 + 16. Is s a multiple of 10?
False
Let o(a) = 2*a + a**2 + 2*a + 4 - 3*a. Let z be 1 - ((-4)/(-2) + 3). Does 7 divide o(z)?
False
Is -1 + 1/2 + (-1425)/(-50) a multiple of 28?
True
Suppose h - y = 5*h - 142, 3*y = -3*h + 102. Does 17 divide h?
False
Let b be (0 - (4 - 2)) + 4. Suppose 0 = -b*z - 2*k + 26, z - 4*k + 5 = k. Suppose -p + 2*p + 37 = 3*d, -5*p + z = 0. Is d a multiple of 13?
True
Is 27 a factor of (1 - 127)/((-24)/36)?
True
Suppose 6 = 2*z + 4. Is 19 + (-3 - (-1 - z)) a multiple of 9?
True
Let r(y) = -13*y + 28. Is 47 a factor of r(-11)?
False
Let x(m) = 12*m**2 - 2*m. Let o be x(4). Is 18 a factor of 7/(28/o)*1?
False
Let t = 50 - 15. Is 11 a factor of t?
False
Let y(b) = b - 3. Is 2 a factor of y(5)?
True
Let v(a) = 4*a**2 + 2*a + 20. Is 26 a factor of v(5)?
True
Let b(c) = -c**3 + 6*c**2 + 8*c. Does 12 divide b(6)?
True
Let o be 2/6 + 23/3. Let i(k) = 5*k**2 - k - 6. Let u be i(4). Suppose o*p - u = 3*p. Does 7 divide p?
True
Suppose 6*k - 15 = 3*k. Suppose 2*r + a + 17 = k*r, a + 1 = -r. Suppose 5*n + 4*f = 173, -n + 41 = 8*f - r*f. Does 11 divide n?
True
Is (2 + (-20)/3)*-3 a multiple of 8?
False
Suppose -63 = 5*b - 13. Is 10/(-25) + (-344)/b a multiple of 14?
False
Let o = 19 - -37. Suppose 3*d - 5*a = d + o, -3*a = -4*d + 98. Let b = d + -8. Does 9 divide b?
False
Suppose -2*m + 11 + 1 = 0. Let b(o) = -4*o + 4 - 2 + 0 + m*o**2 + 1. Is 15 a factor of b(2)?
False
Let y be 16/6 + (-3)/(-9). Suppose y*h = 6*h. Suppose -3*m - 4*i = -70, 4 = i - h. Is 9 a factor of m?
True
Suppose 11*b - 670 - 848 = 0. Does 46 divide b?
True
Suppose 2*l = l + 2. Suppose 3*j + 7 = 2*u, l*u + 5*j = -1 - 0. Suppose u*p - 66 = -0*p. Is p a multiple of 17?
False
Let d(m) = -m**3 + 7*m**2 - 7*m + 5. Suppose 6 = -3*h - 9. Let a be (2 + (-9)/3)*h. Does 8 divide d(a)?
False
Suppose 2 = -k + 5*y - 7, 4*y = -2*k + 10. Is 14 a factor of (0/1)/k + 42?
True
Suppose 4*f - u + 84 = 235, -3*u = -3*f + 102. Is f a multiple of 18?
False
Suppose 2*b = -2*b. Does 3 divide 7*1/1 - b?
False
Suppose 5*t - t = 840. Does 30 divide t?
True
Let m = -2 + 13. Suppose -4*j + 3*j = -m. Does 3 divide j?
False
Suppose 54 = 2*b + 3*n, 2 = -b - 4*n + 19. Is b a multiple of 9?
False
Suppose 0 = -j + 3*j - 5*c - 28, -3*j - 8 = 5*c. Let d = j + 8. Does 12 divide d?
True
Let g(l) = 11*l + 3. Let b = -17 - -29. Let c be (-1)/2*b/(-1). Is 18 a factor of g(c)?
False
Let g = 55 + 4. Is g a multiple of 14?
False
Is 8/(-36) + (-191)/(-9) a multiple of 21?
True
Let t(q) = 7*q**2 + q. Suppose -4*u = x - 5*x + 24, 5*x = u + 10. Is 8 a factor of t(x)?
True
Let n(v) = -v**3 + 16*v**2 + 17*v + 10. Is n(17) a multiple of 10?
True
Let w(f) = -f**2 + 20*f - 23. Is w(18) a multiple of 2?
False
Let s(z) = -5 + 0 + 4 - 2*z + 11*z. Is s(2) a multiple of 6?
False
Suppose 79*v - 81*v = -142. Does 9 divide v?
False
Suppose 3*j + 3*i + 2*i - 385 = 0, 3*j = i + 373. Is 25 a factor of j?
True
Let f(y) = y**3 + 14*y**2 + 21*y - 12. Is 6 a factor of f(-12)?
True
Suppose 2 = 3*j - 7, -4*j + 140 = 2*c. Is 16 a factor of c?
True
Let n(s) be the third derivative of 2/15*s**5 - 3/8*s**4 + 0 + 0*s**3 - s**2 + 0*s - 1/120*s**6. Is 9 a factor of n(6)?
True
Is 39 + (2 - (-8)/4) a multiple of 22?
False
Let f be -2 + 2 + 15 - -1. Suppose -10 = -2*l, -4*p - 3*l + 7 = -f. Suppose -14 = -p*w + 10. Does 5 divide w?
False
Suppose 0 = -5*k - 4*b + 13, -k - 4*b + b - 4 = 0. Let t(r) = -r**2 + 5*r + 2. Let j be t(k). Suppose 5 = 4*s - 3*a, -j*s + 7 = s + a. Is 2 a factor of s?
True
Let x(q) = -4*q**3 - q**2. Let f be x(-1). Suppose -f*y = -y + 58. Let c = 2 - y. Is 8 a factor of c?
False
Suppose 6*b - 2*b + v - 374 = 0, 0 = -2*v + 4. Is b a multiple of 37?
False
Let c be (-4)/(-26) + (-200)/(-52). Suppose -t = c*t - 40. Is 4 a factor of t?
True
Suppose 4 = -3*o - 3*w + 1, -2*o = -4*w - 22. Let h = 3 - o. Suppose h = -k + 3*k - 20. Does 8 divide k?
False
Is 7/(-3)*(4 - 10) a multiple of 5?
False
Suppose 0 = -m + 5*y + 23, -y - 11 = 4*m + 2. Is (12/16)/(m/(-16)) a multiple of 3?
True
Suppose 4*s + 2*m = 126 + 52, 0 = -3*s - 2*m + 131. Let o = 110 - s. Is 21 a factor of o?
True
Let v(t) = -4*t - 17. Is 3 a factor of v(-9)?
False
Let s(p) = p**3 + 3*p**2 - 2*p + 3. Let f be s(2). Let d = f - 12. Does 4 divide d?
False
Suppose 0 = -d - 0*d + 47. Suppose -3*f - 40 = 41. Let c = d + f. Is c a multiple of 8?
False
Suppose 0 = 2*f + 3*f - 5, -5*n + f = -1014. Is n a multiple of 29?
True
Let v(x) = 2*x**2 - 2*x + 1. Let s = -4 + 6. Is v(s) a multiple of 4?
False
Let t(a) = -a**2 - 9*a - 10. Let h be t(-7). Suppose -5*s = -s. Suppose h*k = -3*z + 25, z = -s*k - 3*k + 15. Is k a multiple of 2?
True
Suppose -4*r + 964 = 3*y + 306, 5*y - 10 = 0. Is 23 a factor of r?
False
Let i = 14 - 8. Is 207/i*(-16)/(-12) a multiple of 13?
False
Let m(k) = -k**3 + 4*k**2 + 5*k - 2. Let z be m(5). Let g(w) = w**2 + 2*w + 6. Let t be g(-4). Let n = t - z. Does 8 divide n?
True
Suppose -f - 3*f = -96. Is 6 a factor of f?
True
Let c(a) = a**2 - 4*a - 1. Let i be c(3). Let v be (-1 + (-2)/i)*0. Let g = v + 4. Is g a multiple of 4?
True
Let s = -1 - -2. Let f be (-4 + s)*62/(-3). Suppose -2*u + 0*u + l = -f, -4*u + 116 = 2*l. Does 15 divide u?
True
Suppose -3*s = -7 + 1. Suppose s*d = 6, d = 4*w - 3*d. Is 4 a factor of 88/12 + 2/w?
True
Suppose -m - 5*i + 42 = 0, -i - 6 = i. Suppose r + 5*u - 95 = -4*r, -m = -3*r - 5*u. Is r a multiple of 14?
False
Let p = -5 + 9. Let c(j) = -3*j**2 + 12*j**2 + 2*j + j**3 + p*j + 8. Is c(-8) a multiple of 12?
True
Let s be 1 + 0 + 2/1. Suppose -2*p = 2*i - 0*p, -s*i - 4 = p. Let b = 7 - i. Is 9 a factor of b?
True
Suppose -d - 2*d = -294. Is d a multiple of 33?
False
Let j be 1/(-3) - (-26)/6. Let f = -4 - j. Let p(t) = -t - 3. Is 2 a factor of p(f)?
False
Let s be 38/(-12) + 1/6. Is (-2 - s) + (32 - -1) a multiple of 17?
True
Suppose -3*p = 2*p - 2*f - 18, -3*f = 12. Suppose p*t = 3*t. Suppose 42 = 3*d - t*d. Does 6 divide d?
False
Does 11 divide (66/9)/(8/36)?
True
Suppose 6*j + 0*j - 786 = 0. Is j a multiple of 14?
False
Let x(w) = 23*w**2 + 2*w + 1. Let m = 1 - 2. Is 11 a factor of x(m)?
True
Suppose -3*p = p - 12. Let w(y) = y**2 + y + 4. Let x be w(p). Suppose 4*q = x + 4. Is q a multiple of 2?
False
Let k(i) = i**2 + 8*i - 10. Suppose 7*n - 10 = 5*n. Suppose -n = a + 5. Is 3 a factor of k(a)?
False
Let t = -1 - -4. Suppose -3*x + 28 = 4*o, o + t*x - 20 = -o. Suppose -2*a + 4*g - 15 = -7*a, 0 = 3*a - o*g - 41. Is a a multiple of 2?
False
Suppose -88 = -3*y - t, 4*t - 32 = -3*y + 59. Let z be -1*y + 1 - 1. Does 5 divide 3/9 + z/(-3)?
True
Suppose -2*i - 21 = -0*i + 3*b, i = b - 18. Let k be (-1)/(-4) - i/4. Is (-4)/2 - (-26 - k) a multiple of 19?
False
Suppose -3*h - 14 = 2*l, -5*l + 6 + 1 = -3*h. Let w = 27 - l. Is 21 a factor of w?
False
Let r be ((-5)/15)/(1/(-9)). Does 11 divide -1 + (-1 + 34 - r)?
False
Does 11 divide -1 - -15 - 33/(-11)?
False
Suppose 15 + 3 = -3*y. Let q = 11 + y. Suppose 2*g + 33 = q*g. Is g a multiple of 11?
True
Suppose -61 = -4*g - 5*n + 176, 0 = g + 3*n - 54. Suppose -3*s + 2*z + 48 = -g, -5*s - z = -185. Let b = -26 + s. Does 11 divide b?
True
Let k = -2 - -48. Is k a multiple of 30?
False
Let m = 24 - 11. Is m a multiple of 13?
True
Let j = 2 - -18. Is (j/6*-3)/(-2) a multiple of 2?
False
Let l(a) = a**2 - 5*a - 10. Let j = -14 + 21. Is l(j) even?
True
Let c(z) = -2*z**3 - 20*z**2 - 27*z - 9. Let p(f) = f**3 + 10*f**2 + 14*f + 5. Let v(r) = 3*c(r) + 5*p(r). Is v(-9) a multiple of 16?
True
Suppose -5*p = 4*q + 11 - 156, -3*q = 4*p - 117. Is p a m