b = -84, -4*a - 4*b = -164. Is a a multiple of 8?
False
Let k(p) = -p**2 - 6*p + 7. Let s be k(-7). Suppose 16 = 4*x - s*x. Suppose -x*y = -5*o + 90, -2*o + 3*o - 4 = -2*y. Is o a multiple of 8?
False
Let r be 1*(-10)/(-1 - 1). Suppose 22 = r*g - 18. Is 8 a factor of g?
True
Suppose 0*m = -2*m + 52. Suppose -4*w = 2*t - 28, m = 4*t + 4*w - 10. Let n(f) = 6*f + 4. Is 10 a factor of n(t)?
False
Let y = -8 - -6. Let g(f) = -4*f**3 - 3*f**2 - 2*f - 3. Does 7 divide g(y)?
True
Suppose 5*b - 341 = 139. Does 5 divide b?
False
Let i = 158 - 78. Is i a multiple of 10?
True
Suppose 0 = 4*q + 2*w - 10, -w + 9 = -4*q + 8*q. Let z be (1*q)/((-6)/(-9)). Suppose z*l = g + 4 + 39, l + 3*g - 1 = 0. Is 9 a factor of l?
False
Let w(u) = -u**2 - 20*u - 42. Is w(-6) a multiple of 7?
True
Suppose -g + 37 = 2*v, -g + 3*v = -v - 25. Is 17 a factor of g?
False
Is (1/3*21)/(3/33) a multiple of 11?
True
Is 40 a factor of (232/(-16))/(3/(-36))?
False
Let i be 2/(-8) + 21/4. Let n be 4/(-6) - 12/(-18). Suppose i*a - 45 = -x + 5*x, n = 4*a - 2*x - 30. Is a a multiple of 5?
True
Let c(h) = 2*h**3 + 3*h**2 + 5*h - 4. Let d(z) = -3*z**3 - 3*z**2 - 6*z + 4. Let y(i) = -4*c(i) - 3*d(i). Let k be y(3). Is 16 a factor of (k/5)/((-2)/210)?
False
Suppose p = -p + 288. Is 36 a factor of p?
True
Let u(m) = -m**2 + 19*m + 20. Is 5 a factor of u(19)?
True
Suppose 97 + 0 = 4*r + g, -3*g = -3*r + 54. Is r a multiple of 23?
True
Suppose -4*g + 2*g = 6. Let y be ((-44)/6)/(2/g). Let t = y + -8. Does 3 divide t?
True
Let b = -20 + 13. Let w(j) = 5*j**2 + j**2 + j**2 - 2*j + j**3. Is 14 a factor of w(b)?
True
Let u be (27/(-2))/(6/(-8)). Let s be -1*4*(-225)/u. Suppose 0 = -p + 3*x + 31 + 2, 2*p + 2*x - s = 0. Is p a multiple of 14?
False
Let u = 4 - -14. Is 6 a factor of u?
True
Let z be 2 + (-1 - 1) + 0. Let f = 14 + -12. Suppose z*n + 3 = -n + 4*a, -f*a - 1 = -n. Is 5 a factor of n?
True
Let r(n) = n**3 - n**2 + 5*n - 1. Let f be r(4). Suppose f - 9 = 2*a. Is a a multiple of 17?
False
Suppose 4 = -2*k + 2, -l + 3*k = -165. Is l a multiple of 18?
True
Let k(s) = -3*s**2 - 14*s - 5. Let r(y) = -4*y**2 - 15*y - 5. Let l(p) = 3*k(p) - 2*r(p). Is 15 a factor of l(-7)?
True
Suppose -5*n - 5*r = -5, 2*n + 7*r + 10 = 2*r. Suppose -h + n + 0 = 0. Suppose -h*l + 286 - 11 = 0. Is l a multiple of 14?
False
Let x be (9/(-6))/(1/(-2)). Suppose -x*y + 6 = -0. Suppose -y*h = -3*f - 33, 3*h + f - 5 - 50 = 0. Is h a multiple of 9?
True
Let g(k) be the second derivative of -k**6/12 - k**4/24 - k**2 + 2*k. Let q(s) be the first derivative of g(s). Does 6 divide q(-1)?
False
Let i = 4 + -1. Suppose -i*g - 2*g + 3*a = -94, 4*g + a = 82. Is g a multiple of 10?
True
Suppose -3*a + 2*i = -61, 4*a - 2*a + i = 43. Is a a multiple of 21?
True
Let a(j) = -3*j - 3. Let i(l) = -l**3 + 6*l**2 - 4*l - 7. Suppose -5*c = -2*c - 15. Let n be i(c). Is a(n) a multiple of 3?
True
Suppose -5*x = 4*x - 900. Is 25 a factor of x?
True
Does 4 divide (4 + 1)*(0 - 4 - -11)?
False
Let x = 214 - 149. Suppose -2*z - 4*k + 217 = x, 5*k = 2*z - 134. Let g = z - 48. Is g a multiple of 11?
False
Suppose 5*x - 70 = 4*p, -3*x + 2*p + 35 = p. Does 10 divide x?
True
Suppose 4*y - 5*m = 6 + 26, -5*m + 20 = 0. Let h = 3 + y. Does 8 divide h?
True
Let i(p) = 54*p**2 - 4*p + 4. Let b(f) = 162*f**2 - 11*f + 11. Let g(q) = -3*b(q) + 8*i(q). Let j be g(1). Let t = 117 + j. Is 17 a factor of t?
False
Let m = 0 - -2. Suppose 6 = 4*x - m*x. Does 2 divide x?
False
Is (-5 - (-215)/45) + (-3280)/(-18) a multiple of 26?
True
Suppose -5*w - 3 = m, w = -w + 5*m + 15. Suppose w*r - 20 = -4*r. Is r a multiple of 2?
False
Is 4 a factor of (-2)/(-5) + 2907/95?
False
Let p be 4/10 + (-96)/15. Is 9 a factor of (p/10)/(7/(-105))?
True
Suppose -5*d = 11 - 1. Let y = -2 - d. Suppose 3*v - 4*f - 31 = y, -2*v + f = v - 28. Does 9 divide v?
True
Suppose 5*b - 393 = -3*m, 2*m - 4*m + b + 275 = 0. Suppose -7 = 3*o - m. Is 10 a factor of o?
False
Is -1*1 + 5365/37 a multiple of 48?
True
Let q be (8 - (6 - 3)) + -1. Let k = 0 + q. Suppose k*x - 76 = -8. Is 7 a factor of x?
False
Let p be (3 + -1)/(1/42). Suppose -3*a + 0*a = -p. Is a a multiple of 10?
False
Let o = -10 - -8. Let y = 0 - o. Suppose -63 = -l - y*l. Is l a multiple of 21?
True
Let v(c) = 26*c. Let n be v(-1). Let i = n + 50. Is i a multiple of 12?
True
Let d(w) = -w**3 - 10*w**2 - 11*w - 12. Let h be (-12)/((-4)/(-2)) + -3. Let b be d(h). Is (6*-5)/((-4)/b) a multiple of 17?
False
Let z(d) = d**2 + 9*d + 13. Let u be z(-10). Suppose 5*o + 48 - 13 = 5*m, -o + u = 4*m. Does 6 divide m?
True
Suppose -5*n + 16 = -n. Let d be 5*(n/(-10) + 0). Let y = 7 + d. Does 5 divide y?
True
Suppose -4*j = 8, -3*l + 3*j = -l - 58. Is 13 a factor of l?
True
Let v be (8/(-10))/(4/(-20)). Suppose 0*a - a - v = 0. Does 5 divide 8 - (6/3 + a)?
True
Is 18 a factor of 1 + (-52)/(-4) - -4?
True
Suppose 2*c - 12 = -5*h - 2*c, -h + 5*c + 14 = 0. Let y(f) = 6*f + 1. Is y(h) a multiple of 9?
False
Let q = -179 - -412. Does 12 divide q?
False
Let g(i) be the first derivative of 4*i**3/3 - 4*i**2 + 3*i - 4. Let f be g(-6). Does 5 divide f/20 - (-2)/8?
True
Let v(n) = n**3 + 4*n**2 + 4*n + 2. Let b be v(-2). Suppose 0 = 3*g + b*g - 105. Suppose -29 = -i + g. Does 23 divide i?
False
Let f = 190 - 134. Is 14 a factor of f?
True
Suppose g = -4*g. Suppose 179 - 55 = 2*o + 4*a, g = 3*o + 2*a - 194. Does 22 divide o?
True
Suppose 0 = 14*l - 11*l - 39. Is l a multiple of 13?
True
Let n(m) = -3*m**3 - m**2 + 3*m + 2. Is n(-3) a multiple of 13?
True
Suppose -80 - 52 = -11*p. Is p a multiple of 12?
True
Suppose 0 = -4*i + 5*k + 605 + 252, -4*i + k + 869 = 0. Is 22 a factor of i?
False
Suppose y - t + 136 = 6*y, 4*y + 3*t - 111 = 0. Let r = y - 9. Is 15 a factor of r?
False
Suppose -2*g - 4*m - 20 = -4*g, g = -3*m - 10. Let p(y) = y + g*y**2 + 5*y - 5 + 2. Is 17 a factor of p(-5)?
True
Let x(b) = b**2 - 25*b + 14. Is 41 a factor of x(-11)?
True
Let l be (-14)/4*24/(-14). Suppose 0*p = -p + l. Suppose 120 = -2*v + p*v. Is 15 a factor of v?
True
Suppose -17 = -t + 5*w, t = -3*t - 4*w + 20. Is 3 a factor of t?
False
Is (-3 - 0) + (-1 - -50) a multiple of 23?
True
Suppose -414 = -4*r - 4*s + 394, 590 = 3*r - 5*s. Suppose -6*k + r = -k. Let q = k - 26. Is 14 a factor of q?
True
Suppose 0 = -2*q + 2, q = -3*d + 2*d + 1. Suppose m + 0*m - 47 = d. Is m a multiple of 12?
False
Does 25 divide (14/21)/(6/1359)?
False
Let m = -9 + 17. Suppose 3*b - 4*b = -4, 4*t - 2*b = 332. Suppose 3*a - m*a = -t. Does 6 divide a?
False
Suppose 3*z = -2*g, -2*z = g + 2*g + 5. Let u(a) = 0*a**2 + 3 + a**z - 4 - 2*a. Is 5 a factor of u(4)?
False
Suppose -3*s = -17 + 5. Suppose 4*j = -0*j - s. Let b = j + 9. Does 4 divide b?
True
Suppose 6*x + n = 2*x + 6, -x - 3*n = 4. Let r = x - -44. Is r a multiple of 12?
False
Let q = -6 - 5. Is (-6)/33 + (-321)/q a multiple of 8?
False
Let v be 8/(1/(3/3)). Let d be (1/(-2))/((-4)/v). Suppose d = -j + 4. Is 3 a factor of j?
True
Suppose 0 = 4*x - 78 - 322. Suppose 4*m - 2*i + 202 = 0, 3*m - 2*i = m - 96. Let r = m + x. Is 16 a factor of r?
False
Let b be (-42)/(-12)*(-40)/(-14). Does 8 divide (-1)/(-5) - (-318)/b?
True
Let i = 0 - -2. Suppose i*d + 0*d - 28 = 0. Does 8 divide d?
False
Suppose 4*x + 32 = 2*u + 2*u, 2*u = 3*x + 19. Suppose 3*l - 25 = -s + 2*l, -s + l = -25. Suppose 0*j - s = -u*j. Does 5 divide j?
True
Let d = 2 + 18. Suppose 88 - d = 4*o. Does 6 divide o?
False
Let d(v) = -v**3 - 9*v**2 - v - 1. Does 8 divide d(-9)?
True
Let c be -2*1*18/(-12). Suppose 2*m = -4*h + 20, 0 = c*m - 2*h + 3*h - 30. Is m a multiple of 10?
True
Let g(j) = 3*j**2 - 10*j - 3. Does 37 divide g(7)?
True
Suppose -d = -3*d. Let k be d/(-5 + 3/1). Suppose 0*w - 5*w + 30 = k. Is w a multiple of 6?
True
Suppose 0 = -3*t - 2*t - 2*g + 106, 4*t - 71 = 3*g. Does 5 divide t?
True
Let z(p) = -8*p - 5. Suppose 6*j + 16 = 2*j. Let y be z(j). Suppose -6*a = -a + 2*k - 62, 2*a + 3*k - y = 0. Does 12 divide a?
True
Let y = 7 + -10. Is (-1 - 1)*(y + -8) a multiple of 11?
True
Suppose -4*n - 108 = -k, 3*k + n + n = 310. Is k a multiple of 21?
False
Let j = -362 + -238. Is 11 a factor of j/(-56) - (-4)/14?
True
Suppose 0 = -2*c - 4*r + 5*r + 122, c - 2*r = 64. Is c a multiple of 15?
True
Let f be 2/(-1) - 0/2. Let x(p) = 3*p**2 + 2*p. Does 8 divide x(f)?
True
Let a = 10