6 a factor of 10*(y/15)/(-2)?
False
Suppose 37 = -2*v - 15. Let a be 7/(-35) + v/(-5). Let w(g) = 11*g + 2. Is w(a) a multiple of 17?
False
Let j(o) = 4*o**2 - 3*o - 3. Let n be j(4). Let g = n - -8. Is 19 a factor of g?
True
Suppose 0*j + 2*a + 2 = -2*j, 2*j = -4*a - 6. Suppose 0 = c + j, 7*s = 4*s - 3*c + 75. Does 17 divide s?
False
Let v(y) = 3*y + 7 - 4 + 1 - y**2 - y**3. Let h be v(-3). Let d = h - 8. Is 5 a factor of d?
True
Let s = 9 - 13. Let d = s - -7. Let t = 3 + d. Does 6 divide t?
True
Let x(c) = c**3 + 11*c**2 + c + 5. Let v be x(-11). Does 12 divide -40*(-2 - 9/v)?
False
Is (-9 + 7)*10/(-4) a multiple of 4?
False
Let d = 166 + -116. Is 28 a factor of d?
False
Is (24/(-9))/((-2)/51) a multiple of 15?
False
Let i(s) = 2*s**2 + s + 12. Is 19 a factor of i(-5)?
True
Suppose 4*c = -2*a + 108, 5*c + 2*a - 70 = 63. Is 5 a factor of c?
True
Let p(m) = m**2 - 3 + 2*m + 4 - 9*m. Let z be p(7). Is 14 a factor of (-8)/z*(-21)/12?
True
Let x(q) be the third derivative of -q**6/20 + q**4/12 + q**3/6 + q**2. Is x(-1) a multiple of 5?
True
Suppose g + 3*g = 80. Suppose 3*q = x + 61, -x + g = 3*x. Is q a multiple of 11?
True
Suppose -t - 4 = -8. Is (t/6)/((-6)/(-558)) a multiple of 14?
False
Let v = -2 + 4. Is -2 + ((-138)/(-3) - v) a multiple of 13?
False
Suppose -5*w - 120 = -10*w. Does 10 divide w?
False
Suppose 13*p - 7*p = 1212. Is 18 a factor of p?
False
Let v be 2/(-5) + 28/(-5). Is 0 - (v + (-1 - 2)) a multiple of 9?
True
Let u(v) = -v**2 - 10*v - 5. Let l be ((-27)/(-6))/((-2)/4). Let h be u(l). Suppose -h*w + 2*w = -52. Is 18 a factor of w?
False
Let t = -25 - -118. Suppose 0 = -h - 5*l + t, -2*h + l + 219 = -0*h. Does 9 divide h/8 + (-3)/6?
False
Let s(z) = -6*z**3 - 11*z**2 - 11*z - 65. Let g(a) = a**3 + 2*a**2 + 2*a + 13. Let q(j) = 11*g(j) + 2*s(j). Is q(0) a multiple of 7?
False
Let v(s) = -s**3 + 9*s**2 + 5*s - 9. Let i be 1/4 + (-1)/4. Suppose i = -y - y + 4*x + 2, -26 = -2*y - 2*x. Is v(y) a multiple of 18?
True
Suppose -47 - 261 = -11*y. Does 4 divide y?
True
Let c = -156 + 229. Suppose 0 = 6*q - 3*q + 144. Let a = c + q. Is 7 a factor of a?
False
Let q(h) = -h + 7. Let i(l) = l - 8. Let d(r) = 2*i(r) + 3*q(r). Let c be d(0). Is 2 a factor of c/4*(-3 + 7)?
False
Let s = -203 - -142. Suppose -4*f - 3*y - 146 = 0, -3*y + 13 + 16 = -f. Let w = f - s. Is 12 a factor of w?
False
Let v(b) be the first derivative of -b**4/4 + 3*b**3 - 7*b**2/2 - 10*b - 1. Is v(7) a multiple of 12?
False
Suppose -2*w + 2*g + 64 = 0, 0*w + 4*w + 4*g - 112 = 0. Is w a multiple of 10?
True
Let x be 2 + -29 - (-2)/(-1). Let c = x - -63. Suppose 0 = 2*j - 5*y - c - 20, -2*y = 2*j - 40. Does 8 divide j?
False
Let p(b) be the third derivative of b**5/30 + b**4/6 - b**3/3 + b**2. Let m be p(-5). Suppose 3*i - m = 8. Is 6 a factor of i?
True
Suppose -14*b + 6*b = -848. Is 12 a factor of b?
False
Let o be (0 - (2 - 2))/(-1). Let m = 10 + -7. Suppose a + 14 = 5*f, m*f + 4*a + 0 + 10 = o. Is f even?
True
Let m be 4/(-2) - 0 - -99. Let w = m + -57. Suppose 5*d + 0*d = w. Is 3 a factor of d?
False
Let d(n) = n**2 - 9*n - 6. Let j be d(10). Let i be 2 - j*19/(-2). Suppose i - 6 = 2*c. Is c a multiple of 15?
False
Suppose -8*h = -4*h - 16. Suppose -2*m + h = -0. Suppose m*k = 5*k - 33. Is k a multiple of 11?
True
Let q(z) be the first derivative of -z**3/3 + 2*z**2 + 2*z + 1. Let o be q(-5). Let y = -24 - o. Is y a multiple of 19?
True
Let i = 4 - 3. Is 4 a factor of i + 1 - 6/(-3)?
True
Let y(u) = -u**3 + 5*u**2 + 3*u + 2. Let n(a) be the second derivative of -a**4/12 + a**3/6 - a**2/2 - 3*a. Let v(z) = 2*n(z) + y(z). Is 4 a factor of v(4)?
True
Suppose -5*a = -5*p + 30, 4*p - 5*a - 13 = 12. Suppose 4*n + p*b = 89, -4*b - b = -5. Is 14 a factor of n?
False
Let b(w) = -2*w - 2*w**3 + w**3 - 7*w**3 - 4*w**3 - 3*w**2. Is b(-1) a multiple of 5?
False
Let i = 78 - -3. Does 9 divide i?
True
Suppose -4*z = -0*z + 400. Let a = 146 + z. Suppose 0 = -p - 5*o + 4, 5*p + o - a = 2*o. Is p a multiple of 4?
False
Let s(z) = 4*z - 8. Let c be s(6). Let t = c + -12. Does 4 divide t?
True
Let k(d) = 8*d + 11. Does 6 divide k(5)?
False
Suppose -5*z = 5*h - 10, 2*z = z + h + 4. Suppose 26 = -z*c + 83. Let a = -11 + c. Is 8 a factor of a?
True
Suppose 8*j = 12*j - 432. Is 6 a factor of j?
True
Let l = 22 - 5. Is 13 a factor of l?
False
Let c = -103 + 157. Is 27 a factor of c?
True
Suppose -3*w - 2*w - 4*h + 70 = 0, -2*h = -2*w + 28. Suppose -w = -3*k + 1. Does 3 divide k?
False
Let q(l) = -l - 7. Let j be q(-5). Let f = -4 - j. Is 4 a factor of f + 6*12/9?
False
Let k(b) be the second derivative of -b**3/2 - b**2/2 - 2*b. Is k(-10) a multiple of 19?
False
Suppose 0 = -4*x + 5*x. Suppose x = o - 2 - 9. Does 10 divide o?
False
Let m(n) = -n**3 + 16*n**2 + 22*n + 17. Is 19 a factor of m(17)?
False
Suppose 4*u = -2*o - 74, 0 = -u - 5*o + 3 + 1. Let k = 58 + u. Is 20 a factor of k?
False
Let v = 8 - 5. Suppose -v*l + 3*w + 2*w = -18, -2*l = -w - 19. Is l a multiple of 7?
False
Suppose u - 2 - 2 = 0. Suppose -14 = q + 4*m + 2, 0 = -u*q - 2*m - 92. Let w = 58 + q. Is 12 a factor of w?
False
Let z = -13 + 73. Does 20 divide z?
True
Suppose 4*x = -3*j - 236, 0 = -0*x - 5*x + 2*j - 272. Does 14 divide (x/(-12))/(2/30)?
True
Suppose b + 2*v = 9, -3*v + 19 = -b + 2*v. Let h be 4 + 0 - 2/b. Does 11 divide h - -6*20/6?
True
Let q be (-28)/(-8) + (-3)/(-6). Suppose q*t - 192 = -3*h + 4*h, t = -h + 53. Is t a multiple of 19?
False
Suppose -2*h + b = -2*b - 4, 12 = 2*h + b. Suppose -l + 104 = -h*u, -5*l + 424 = u - 2*u. Is 22 a factor of l?
False
Let y(j) = -j**3 + 34. Let o(w) = -w**3 - 5*w**2 + 7*w + 6. Let h be o(-6). Does 20 divide y(h)?
False
Is 2 a factor of 21/(-6)*(-80)/35?
True
Let c(q) = -22*q + 3. Let x be c(3). Let o = x + 36. Let g = o + 47. Is g a multiple of 10?
True
Let v be 1/1 + (-2 - -5). Suppose -5*g - 2*b - 8 = -4*g, -4*g - 26 = 5*b. Is 12 a factor of (32 + v)*g/(-6)?
True
Let a(x) = -x**2 - 8*x - 7. Let g be a(-5). Suppose q - g = -q. Is q even?
True
Let c(f) = 24*f - 1. Let x(k) = 25*k - 2. Let w(j) = 4*c(j) - 3*x(j). Let m be w(5). Let t = m + -73. Does 17 divide t?
True
Is 54/14 - (-6)/42 a multiple of 4?
True
Suppose -2*z - 3*r = -103, 4*z - 2*r - 117 - 49 = 0. Is z a multiple of 11?
True
Let v(a) = a**3 - 7*a**2 + 10*a - 9. Let c = -3 - 10. Let u = c - -19. Is v(u) a multiple of 15?
True
Let u be 15/10 - 9/(-2). Let h = u - 0. Does 4 divide h?
False
Let v = -8 - -12. Suppose 0*p - v*p + 44 = 0. Let d(b) = 2*b - 16. Is d(p) a multiple of 3?
True
Suppose 3*m + 8 - 62 = 0. Is m a multiple of 6?
True
Does 18 divide ((-8)/(-3))/(8/108)?
True
Let y(z) = -z**3 + 10*z**2 + z. Let q be y(10). Let p(m) = 4*m - 13. Does 17 divide p(q)?
False
Suppose -2*q + v = 16, q + 2*q + 22 = v. Let y be (-15)/q + 3/(-6). Is (27 - -1)/y*1 a multiple of 11?
False
Suppose -t = 2*t - 15. Is (21 + t)*1/2 a multiple of 13?
True
Let y(r) = 5*r**2 - 5*r - 6. Let s(c) = -6*c**2 + 5*c + 7. Let d(a) = -6*s(a) - 7*y(a). Let b be d(-5). Suppose 0 = 2*i - b*i - 56. Is i a multiple of 13?
False
Let v(p) = p + 25. Let q be v(0). Let o = q + -17. Is o a multiple of 8?
True
Let h(u) be the first derivative of -2 + 2/3*u**3 - 5*u + 9/2*u**2. Does 14 divide h(-7)?
False
Let f = -334 + -382. Does 11 divide (-4)/(-18) + f/(-18)?
False
Let i(a) = a**3 + 4*a**2 - 5*a - 5. Let m be i(-5). Let f = 8 + m. Is f a multiple of 2?
False
Let j = 8 - 4. Suppose 12 = 3*q, -3*u = -j*q - 133 + 2. Is 28 a factor of u?
False
Let v be (-2)/8 + (-2)/(-8). Suppose 0 = -v*y + 2*y - 6. Suppose 0*l - 126 = -y*l. Is l a multiple of 16?
False
Let d be (-1)/(54/28 + -2). Let w(n) = 2*n - 17. Does 5 divide w(d)?
False
Let t(c) = c**3 + 3*c**2 - c + 1. Is t(-3) a multiple of 4?
True
Let r(q) = q**3 + 6*q**2 - 5*q - 5. Let c be r(-7). Suppose y = 1, -4*y + y = m - 30. Let v = c + m. Is v a multiple of 8?
True
Let d be 2/(-5) - 228/(-20). Let l = d - -8. Let a = l + -10. Is 9 a factor of a?
True
Suppose -3*l - 5*m = -182, -4*l + 0*m = m - 220. Is l a multiple of 18?
True
Suppose -86*g + 11 = -85*g. Is g a multiple of 10?
False
Let z be ((-39)/(-6))/(1/2). Let k = z + 2. Is 15 a factor of k?
True
Suppose 2*w = -0*w + 4. Suppose 2*d = -w*d + 72. Does 9 divide d?
True
Let s = 106 + -17. Suppose 25 - s = -2*x. Does 13 divide 3/((-61)/x - -2)?
False