+ 29*q**2 + 5*q - 14. Let t(k) = 4*k**3 - 10*k**2 - 2*k + 5. Let l(b) = 3*p(b) + 8*t(b). Is l(3) a multiple of 31?
True
Let q(p) = -p**3 - 8*p**2 - p + 11. Let t be q(-9). Let d = t - 43. Suppose -3*x = 4*w - 46 - d, w = 4*x - 145. Is 12 a factor of x?
True
Let y be -2 + (-5967)/(-33) - (-8)/44. Suppose y*o = 184*o - 1070. Is 29 a factor of o?
False
Let r = -599 - -914. Is r a multiple of 5?
True
Suppose -5 = 3*u - 11. Let g(l) = -13*l + l**3 + 9*l**2 - 3 - l**2 + 0*l**3 + l**u. Is g(-10) a multiple of 15?
False
Let v(x) = 17*x**2 - 7*x + 5. Does 24 divide v(2)?
False
Let z(n) = 22*n**2 + 2*n - 2. Let o be z(2). Suppose -m = -6*m + o. Does 9 divide m?
True
Let p(n) be the third derivative of -3*n**4/8 - 11*n**3/6 + 4*n**2. Is p(-5) a multiple of 20?
False
Let f = 11 + -9. Suppose -w - f = -2*p, 8 = 5*w + 4*p - 5*p. Suppose -w*v - 52 = -4*c, -2*v = 2*c + c - 39. Does 6 divide c?
False
Suppose 18*k - 16*k - 6 = 0. Suppose -120 = p - k*p. Is p a multiple of 10?
True
Suppose 8*j + 616 = 22*j. Does 11 divide j?
True
Let m = 44 + -44. Let a(x) = x + 65. Is 13 a factor of a(m)?
True
Suppose -3*m + 7*s = 4*s + 6, 3*m + 11 = 4*s. Suppose -4 = 4*v - 16. Suppose u = v*u, 3*k - m*u = 180. Does 20 divide k?
True
Let l(r) = 3*r - 1. Let c be l(12). Suppose 6*h - c = h. Does 7 divide h?
True
Let b(x) = -2*x + 7. Let u = -47 + 28. Is b(u) a multiple of 6?
False
Suppose 3*b = f - 2*b + 19, -3*b + 17 = -2*f. Is 10 a factor of 1/((-2)/(f - 30))?
False
Let x(g) = -g**3 + 33*g**2 - 93*g - 7. Is 61 a factor of x(26)?
False
Let k(s) = -s**3 + 9*s**2 + 15. Let u be k(9). Suppose -z + 4*z = u. Does 2 divide z?
False
Suppose 0 = m - 5*m + 684. Suppose 3*t + 0*t - m = 0. Suppose 2*p - 40 = 3*o, -3*o = -5*p + t + 34. Is 5 a factor of p?
False
Let m be -3*(8/(-12) - -2). Let y(q) = q**2 + 3*q - 2. Let h be y(m). Let t(w) = 11*w - 7. Is 13 a factor of t(h)?
False
Let l = 38 + -23. Suppose -202 + l = -s - 3*g, -2*g = 4. Suppose 23 = j + 5*a, -5*j + 0*j = -a - s. Is j a multiple of 9?
False
Suppose -3*x = x - 5*i - 2377, -2*x = 4*i - 1208. Is 23 a factor of x?
True
Suppose 2*v + 53 = 17. Let h = v - -8. Let p = h + 29. Is 6 a factor of p?
False
Does 37 divide 15 - (-20 + -2443) - -1*1?
True
Does 22 divide -10 + 5 + -5 + 252?
True
Let g = -89 + 1208. Is 4 a factor of g?
False
Suppose -2*r - 4*v = 24, -22 = 3*r + 2*v - 3*v. Let k = r + 0. Is ((-78)/k)/(12/32) a multiple of 10?
False
Let u be (-1 - (6 + -2)) + 4. Let x be (20/(-16) - u)*4. Does 3 divide ((-3)/x)/((-7)/(-14))?
True
Suppose -314 = -5*d + 3*k, 132 = 2*d - 0*d + 2*k. Let l = -47 + d. Does 11 divide l?
False
Suppose v - 4*g = 100, -6*g = 2*v - 3*g - 255. Is v a multiple of 24?
True
Suppose -y + 2*q = -1, 3*y + q = 3*q + 7. Suppose y*t = i - 112, 5*t = -i + 3*i - 187. Let j = -32 - t. Does 3 divide j?
False
Suppose -5*z + 7 = -8, -f = 2*z - 86. Let x = f + -48. Does 32 divide x?
True
Let j(d) be the third derivative of d**6/6 - d**5/60 + d**4/6 - d**3/2 - 28*d**2. Is 23 a factor of j(2)?
True
Suppose 17*q - 11*q - 444 = 0. Does 2 divide q?
True
Let z = 61 + -53. Is 20 a factor of (-4460)/(-60) + 1 + z/(-6)?
False
Suppose -x = 2*h + 3 + 4, 0 = 5*x + 5*h + 20. Let d be x*((2 - -1) + -5). Suppose -5*u + 78 = 2*r, d*r + 4*u = -2*r + 156. Is r a multiple of 28?
False
Let f be (3 - 3)/(((-6)/(-3))/(-2)). Suppose 6 = w - f. Is w a multiple of 6?
True
Suppose 3*k + v = 141, -3*k - 2*k - 5*v = -245. Suppose 2*d + 0*d = k. Is 7 a factor of d?
False
Suppose 26 = -h + 4*y - 16, -3*h - 5*y - 41 = 0. Let c = -3 - h. Is 10 a factor of c?
False
Let a(r) = -r**3 - 11*r**2 - 6. Let z be a(-11). Let t = -16 - z. Is ((-180)/50)/(4/t) a multiple of 4?
False
Does 22 divide 55/30*15*864/20?
True
Let c(v) = -v**2 + 2*v + 19. Let k be c(6). Let g be 1 + 2 + 15/k. Suppose g = 3*x + 2*x - 500. Does 25 divide x?
True
Suppose 0*o + 6*o - 24 = 0. Suppose -o*g - 7 = 1. Is g/(-8) - (-23)/4 a multiple of 4?
False
Let r be 2/(0 - (-4)/6). Suppose -4*n = -r*n - 12. Is 3 a factor of (12/24)/(2/n)?
True
Let u(p) = -p - 1. Let w be u(-5). Suppose m - w*c - 2 = -0*m, -3*c = -4*m + 73. Suppose 0*v = 2*v - m. Does 11 divide v?
True
Let t = -27 - -30. Suppose -3*k + 84 = 3*p, -k + t*p + 37 = p. Does 2 divide k?
False
Suppose 5*m = 4*h + 2*m - 1107, h - 272 = -4*m. Is h a multiple of 92?
True
Let h(d) = 4*d**2 - 72*d + 32. Does 20 divide h(24)?
False
Suppose 82 + 26 = 4*t. Suppose -2*q = q - 5*r - 7, -13 = -3*q - r. Suppose -1 = u, 3*p - q*p + 5*u = -t. Is 22 a factor of p?
True
Let p = 0 - 4. Let o(a) be the first derivative of -a**4/4 - a**3/3 + 2*a**2 + 3*a + 68. Is 8 a factor of o(p)?
False
Let t(d) = 18*d - 1. Let g be t(5). Suppose 3*u + g = 4*u. Is 37 a factor of u?
False
Suppose 0 = -179*o + 197*o - 15750. Is 35 a factor of o?
True
Let i(c) = 2*c**3 - 28*c**2 - 44*c + 32. Does 39 divide i(17)?
False
Let n(u) = -2*u + 16*u**2 + 17*u**2 - 32*u**2. Does 8 divide n(-4)?
True
Suppose -5*n = -3*c + 8*c - 5345, 0 = -3*c - 4*n + 3205. Suppose -381 = 10*s - c. Does 8 divide s?
False
Suppose -r = r - 10. Suppose -r*o + n = -4*n - 10, -o - 5*n - 28 = 0. Is (-108 + -9)/(o/2) a multiple of 26?
True
Let p = 308 + -272. Is p a multiple of 36?
True
Suppose -4*r - 5*a + 2*a = -15, -a = 5*r - 5. Suppose 0 = -2*n - 10, r*g + 4*n = 3*g - 146. Does 8 divide g?
False
Let t be 1/(-3) - (-88)/(-24). Suppose -y - 3*y = w - 4, 0 = 5*y + 25. Is 22 a factor of t + (w - (-5 - -3))?
True
Let r(y) = 2*y**3 + 2*y**2 + y + 2. Let v be r(-2). Let s(k) = -k**3 - 6*k**2 + 7*k - 11. Is 13 a factor of s(v)?
False
Let j(n) = -8*n + 1. Let u be j(2). Let o(c) = 7*c - 22. Let m be o(7). Let a = m + u. Is 12 a factor of a?
True
Let m be (-6)/(-4)*16/(-12). Is 28 a factor of (m + -1)/(9/(-84))?
True
Suppose -71*u + 68*u + z + 1677 = 0, -3*z + 2223 = 4*u. Is 13 a factor of u?
False
Let j(q) = -3*q**3 - 8*q**2 - 5*q + 14. Let r be j(-7). Suppose 9*d - 700 = r. Is 22 a factor of d?
True
Suppose -3*d + 13 = 1. Suppose d*a = 2*w - 24, 3*w - 2*w = -5*a + 47. Does 4 divide w?
False
Let h be 1/(1/(-1))*-21. Let r = -16 + h. Suppose 0 = -5*t - 2*d + 128, 2*d = -r*t + 7*d + 135. Is t a multiple of 26?
True
Suppose 5*g + 324 = 9*g. Let j be g/(-6)*(-4)/(-6). Let m = -5 - j. Is m a multiple of 3?
False
Let z = 14 + -12. Let l(g) = -13*g**2 - 10*g - 3. Let u(m) = -4*m**2 - 3*m - 1. Let o(c) = z*l(c) - 7*u(c). Is 9 a factor of o(3)?
False
Let k = 11 + -8. Suppose -4 = -4*n, -2*y - k*y + 5*n = -70. Is y a multiple of 5?
True
Let p(w) = -w**3 + 5*w**2 - 4*w - 7. Let a(y) = y**2 - y + 1. Let r(n) = -5*a(n) + p(n). Is r(-4) a multiple of 16?
True
Let m(q) be the first derivative of q**4/4 - 2*q**3/3 - 5*q**2 + 6*q - 38. Is m(6) a multiple of 18?
True
Suppose 4*p - 3*q = 99, 43 = p + 3*q + 7. Is p a multiple of 4?
False
Suppose -l + 169 = -122. Does 12 divide (-8)/16 + l/2?
False
Let n(x) = x**3 + 16*x**2 - 41*x + 1. Let j be n(-18). Suppose -o = -5*y - j + 469, 2*y - 4*o = 162. Does 35 divide y?
False
Suppose 2*s - 12 = -2*s. Let p be s - 2*(4 + 1). Let o(a) = a**3 + 8*a**2 + 4*a + 3. Is 16 a factor of o(p)?
False
Let a(j) = -j**2 - 7*j - 9. Let x be a(-6). Let u = x - -8. Suppose 0 = u*o + 16 - 131. Is o a multiple of 23?
True
Suppose -h - 5*w + 7 = 0, -4*w = 5*h - 0*w - 14. Let c be 6/(-3) + 58 + 0. Let d = c - h. Is 17 a factor of d?
False
Let u(h) = -4*h**3 - 70*h**2 + 3*h + 27. Is 5 a factor of u(-18)?
False
Let v = 55 + 41. Suppose -v = -3*i + 39. Is 5 a factor of i?
True
Let c(h) = h**2 - h + 1. Let f(v) = -6*v**2 + 23*v - 40. Let y(n) = -5*c(n) - f(n). Is 23 a factor of y(21)?
False
Suppose 2*i - 4 = i, 5*x - i = 11. Does 7 divide x/(15/68) - (-6)/15?
True
Suppose 5*q = 2*i - 40, -i + 23 = 5*q - 12. Is 6 a factor of i?
False
Suppose 3*z - 23 = h, 2*h + z - 10 = -49. Let b = 21 - h. Does 10 divide b?
False
Let k be (-5)/((-3)/(-6)*-5). Suppose 2*j - y = -2*y + 224, -5*j - k*y = -558. Let r = -75 + j. Is r a multiple of 35?
True
Suppose 4*f - 6 = 7*f. Let o be -39*1 - (f - 0). Let p = -33 - o. Is 4 a factor of p?
True
Suppose 3*t - 4*y - 1161 = -0*t, -2*y = -4*t + 1558. Is t a multiple of 11?
False
Let c = 302 + -254. Is c a multiple of 16?
True
Let u(t) = -435*t - 17. Is 22 a factor of u(-1)?
True
Let l = 19 + -8. Let b(a) = -10*a**3 + 2*a**2 - 1. Let s be b(1). Is s + l + -1 + 43 a multiple of 11?
