. Does 13 divide p(-2)?
False
Let h = -6 - -6. Suppose -5*b - 2*w = -44, b + 2*b + w - 26 = h. Is 3 a factor of b?
False
Let t = 1 + -4. Let h = t - -5. Suppose 5 = h*v - 11. Is v a multiple of 4?
True
Let p be 0 + 0/(-3) + 1. Let g be (-146)/(-8) + (-4)/16. Let s = p + g. Does 9 divide s?
False
Let k = 25 + 8. Does 13 divide k?
False
Let a(v) = v**3 + 5*v**2 - 8*v + 1. Let r be a(-6). Suppose -5*l = n + 2*n + r, -2 = 3*l - 4*n. Let o = 6 + l. Is o a multiple of 4?
True
Is 1/(-4) - (-1989)/68 a multiple of 14?
False
Suppose 2*n + n = 3*d + 21, 5*n - 19 = -3*d. Is 208/12 - d/(-6) a multiple of 12?
False
Suppose 0*f + 20 = 5*f. Suppose -f*g + 35 = g. Let c = g - 2. Does 4 divide c?
False
Let c(w) = w**3 + 5*w**2 + 4. Suppose x - 3*z = -8*z - 14, 3*x + 2*z = -16. Let i be c(x). Suppose 2*r = 5*r - 5*l - 32, -i = -4*l. Is 5 a factor of r?
False
Let x be 3 - (0 + (2 - 3)). Suppose -x*b + 84 = 12. Suppose 0 = 4*z + 5*m - 78, z - b = 2*m - 4*m. Is 11 a factor of z?
True
Suppose -10*m + 38 = -82. Is 12 a factor of m?
True
Suppose q = -5*u - 1 + 4, u = -4*q - 7. Let d(t) = 3*t**2 - t. Let b be d(u). Does 5 divide ((-14)/6)/(b/(-6))?
False
Let y = 17 - 14. Suppose -p + w = -8, -y*w = 4*p - 0*p - 60. Does 4 divide p?
True
Let d(q) = -q**3 - 5*q**2 - 5*q + 2. Let l be d(-4). Suppose f - u + 427 = l*f, 0 = 2*u - 4. Suppose g = 0, -5*i + 3*g + f = 7*g. Is 14 a factor of i?
False
Suppose 3 + 1 = 2*a. Suppose j = a*w + 25 - 4, 85 = 5*j - 5*w. Is 4 a factor of j?
False
Let s be 274/(-8) - 1/(-4). Let x = -90 - s. Let h = 86 + x. Is h a multiple of 15?
True
Suppose 0 = 2*l + 1 + 3. Let q = 14 + l. Is q a multiple of 6?
True
Let l = -5 + 14. Let f be 38/l - (-2)/(-9). Suppose g - 43 = -3*q - 0*g, f*q + 4*g = 60. Is 5 a factor of q?
False
Suppose -8*v = -368 - 64. Does 9 divide v?
True
Suppose z - 3 - 6 = 0. Is 2 a factor of z?
False
Suppose -5*u + 17 = f, 5*f - 47 - 65 = 2*u. Is f a multiple of 4?
False
Suppose 3*v - 42 = v + 4*m, -4*v - 2*m + 74 = 0. Does 7 divide v?
False
Suppose 80 = 10*w - 6*w. Is w a multiple of 20?
True
Suppose 4*h - 20 = 0, -3*f + 4*h + 163 = -195. Is f a multiple of 14?
True
Does 10 divide 1 + 47 + 0/1?
False
Is 8 a factor of 9 + 0/(1*(-4 + 3))?
False
Let z = 1 + 1. Suppose 0 = -z*m + 2*n + 18, 5*n - 18 = 4*m - 6*m. Suppose -4*u - 140 = -m*u. Is u a multiple of 14?
True
Let y = 2 - 1. Does 20 divide y/(3/66) - 2?
True
Let y(s) = -5*s**2 + s**3 - 5*s - 12 + 0*s + 22 - 1. Does 5 divide y(6)?
True
Suppose 4*l = 4*t + 24, 9 = l - 5*t - 1. Suppose -l*b - 48 = -2*p, 5*p + b - 85 = 62. Is p a multiple of 16?
False
Let f(h) = h + 59. Is f(-17) a multiple of 4?
False
Let p(c) be the third derivative of -c**4/4 + c**2. Let u be p(-1). Suppose -20 + u = -i. Is i a multiple of 14?
True
Suppose 7 = -2*y + 3. Let x be y/9 + 237/(-27). Does 12 divide 12/(-9)*x + 0?
True
Let d = 175 - 51. Is d a multiple of 9?
False
Let n = -24 + 45. Does 7 divide n?
True
Let j(q) = -q**3 - 6*q**2 - 8*q - 6. Let k be j(-6). Does 12 divide (k/(-28))/(1/(-16))?
True
Let u = -3 + 19. Is 3 a factor of u?
False
Suppose -5*w + 106 = 3*g, 2*g + w - 113 = -2*g. Is g a multiple of 5?
False
Is (-25)/(-3) - 2/(-3) a multiple of 9?
True
Let l(b) = b**2 + 4*b + 2. Let j be l(-4). Suppose 5*v - 143 = -4*r, j*r = 5 - 1. Suppose 2*c + c = v. Is 4 a factor of c?
False
Suppose 45 = 3*q - 0*q. Suppose -5*w = m - 43, 0*w + 4*w - 4*m = 44. Let t = q - w. Is t a multiple of 3?
True
Suppose 0 = -3*a + 18 - 3. Suppose 5*g - 216 = -5*l - 66, -130 = -a*g - l. Does 23 divide g?
False
Let y be ((-848)/(-24))/((-2)/(-6)). Let a = 164 - y. Does 29 divide a?
True
Suppose -3*v + 249 + 256 = 5*s, -3*s - 2*v + 303 = 0. Is 45 a factor of s?
False
Suppose a - 2*a = 2. Suppose 0*p + 5*p = -15. Is a*(p - (9 + -1)) a multiple of 8?
False
Let m(a) = 2*a**2 + 11*a + 1. Is m(-10) a multiple of 35?
False
Let n(u) = -u**2 - 11*u - 8. Does 5 divide n(-4)?
True
Let n(p) = -25*p**3 + 2*p**2 + 2*p + 1. Suppose 0 = -h, -5*t = -4*h - 2 + 7. Is 13 a factor of n(t)?
True
Suppose -2*i = 4, -4*h = -3*i - 0*i - 6. Suppose 2*a - 9 - 15 = h. Is a a multiple of 3?
True
Let l = -6 - -5. Let n be l/1*-5*9. Let s = n - -1. Is s a multiple of 23?
True
Let b(a) = a**2 + 6*a - 4. Let z be b(-7). Let d(y) = -y**z - 2*y**2 - 2 + 1 + 2*y**2 + 6*y**2 + y. Does 2 divide d(6)?
False
Let j = -22 + 16. Is (-61)/(-5) + j/30 a multiple of 6?
True
Let p be 21/(-14)*(-3 - -1). Let i = 4 + p. Does 3 divide i?
False
Suppose 4*q = -g + 8, 6*g - g - 3*q + 29 = 0. Is 6/g*(-128)/12 a multiple of 8?
True
Suppose -2*v + 0*v + 404 = 0. Let r = -8 + v. Does 14 divide (-2)/(-10) - r/(-5)?
False
Suppose 4*q - 45 = 207. Suppose d - 24 - q = 0. Is d a multiple of 32?
False
Suppose -4*a = a - 3*f - 67, -3*f + 32 = 4*a. Suppose 2*b - a = 2*c + 3, -4*c = -b + 10. Is 3 a factor of b?
True
Let d be 0 - (9/(-3) + 5). Let z be 87/d*6/(-9). Suppose 4 - 1 = k, -z = -v - 2*k. Does 12 divide v?
False
Suppose 7*p - 945 = -2*p. Does 35 divide p?
True
Suppose t + 14 = 34. Let m be (0/(-1) - 1) + -13. Let a = t + m. Does 4 divide a?
False
Let r be (-10)/35 - 1320/(-14). Suppose -4*g - r = -2*k, 47 = -5*k + 4*g + 252. Does 14 divide k?
False
Let y = 1 - -4. Let k be 2/5 - 2/y. Is ((-21)/6 - k)*-10 a multiple of 12?
False
Suppose -5*k = -s + 4 + 22, 3*s = 5*k + 78. Is 13 a factor of s?
True
Suppose 3*p + 2*p = -75. Is 6 a factor of ((-12)/p)/(3/90)?
True
Suppose 0 = -5*y - 0*c + 3*c + 529, c = -3. Is y a multiple of 21?
False
Suppose 191*j + 216 = 192*j. Is j a multiple of 54?
True
Let t = 8 - 6. Let b be 80/t + (-2)/2. Does 11 divide b/3 - 1*2?
True
Suppose 3*b + b + 388 = 0. Let r = b - -142. Is 13 a factor of 6*(r/(-2))/(-5)?
False
Let z(t) be the second derivative of t**3/6 + 61*t**2/2 - 2*t. Is 16 a factor of z(0)?
False
Let m(a) = -13*a + 1. Let y = 9 + -10. Is 3 a factor of m(y)?
False
Let j be 7*(-3)/2*2. Let s = -3 - j. Is s a multiple of 6?
True
Suppose 8 = -5*t + t. Let z be ((-24)/18)/(t/(-96)). Let j = -40 - z. Is j a multiple of 13?
False
Let t be ((-3)/(-4))/((-6)/(-8)). Suppose 3*j - 23 = 106. Let m = j - t. Is 21 a factor of m?
True
Let j(y) = y**2 + y. Let r be j(-2). Suppose 0 + 4 = r*x. Is x even?
True
Suppose -4*t + 176 = -72. Does 6 divide t?
False
Suppose -5*b = -3*m - 4*b - 21, 0 = 4*m + b + 28. Let u(s) = s**2 - s + 8. Is 16 a factor of u(m)?
True
Let q(j) = -3*j**2 - 3*j - 3. Let a be q(-2). Let f = 32 + a. Let l = 32 - f. Does 9 divide l?
True
Let y(h) = -3*h + 32*h**2 - 2 + h**2 + 17*h**2. Is 23 a factor of y(-1)?
False
Suppose 5*m - 2 = 4*m. Suppose -m*i = i - 30. Let a = i - -10. Is a a multiple of 10?
True
Let f(d) = -d**3 - d**2 + 10*d + 48. Is f(-7) a multiple of 37?
False
Let b = 44 - 84. Suppose 0 = -4*m + 4*y + 288 - 48, 2*m - 120 = -2*y. Let v = m + b. Is v a multiple of 17?
False
Let m be (-16)/(-12)*3/2. Suppose -m*q - q + 15 = 0. Is q a multiple of 5?
True
Suppose -4*j + i = -4*i - 214, 3*j - 174 = -3*i. Is 39 a factor of j?
False
Let w = -5 + 72. Is w a multiple of 9?
False
Does 10 divide (-72 + (-2 - 4/(-1)))/(-1)?
True
Suppose 13 = 2*o - 33. Does 3 divide o?
False
Let u = 185 + -131. Does 27 divide u?
True
Let r(n) = -9*n - 4. Does 3 divide r(-4)?
False
Let u(r) = r**2 + 5*r + 6. Let x be u(-5). Suppose -24 = -2*j + d + x, 0 = j + 3*d - 1. Is j a multiple of 7?
False
Is 26 a factor of 0 + 340 - 80/40?
True
Let j(v) = v**2 - 1. Let t be j(2). Suppose 3*g + g = -8, 4*b - t*g - 358 = 0. Suppose 6*d - b = 2*d. Does 11 divide d?
True
Suppose -2*a + 28 = 4*r, -2*r = a - 4*a + 74. Is 14 a factor of a?
False
Let t(r) = -r**3 + 7*r**2 + 5*r + 8. Is 23 a factor of t(6)?
False
Suppose -3*k + 17 = -2*z - 0*z, -14 = -2*k + 2*z. Suppose k*l - 130 = -2*l. Is l a multiple of 13?
True
Let b be (-2)/8 - 116/(-16). Does 4 divide -1*b/2*-4?
False
Is (-15)/1*1*18/(-15) a multiple of 18?
True
Let t(z) be the first derivative of 3 + 4/3*z**3 + 1/2*z**2 - 2*z. Does 6 divide t(-2)?
True
Let g(d) = 16*d**2 + 5 - 2*d + 0 + 3*d - 4. Is 11 a factor of g(-1)?
False
Let h(d) = -6*d - 3. Suppose -5*r - 2*p - 4 = 0, 1 = 3*r - 2*r + p. Is h(r) a multiple of 6?
False
Let y = 5 + -1. Suppose -y*k + 132 = -k. Does 22 divide k?
True
Let a(k) = -k**2 + 13*k - 9. Let y be a(12). Suppose 0*w = -y*w + 12. Is w a multiple of 2?
True
Suppose -2*m + 42 = 5*w, 6*m - m = -3