6. Does 21 divide j?
False
Let l = -48 - -72. Suppose -2*y - 12 = -3*y + 2*d, 0 = 2*y - d - l. Let h = y + 5. Is 6 a factor of h?
False
Suppose 0 = 29*q - 17*q - 7080. Does 12 divide q?
False
Let w = 325 - -939. Does 17 divide w?
False
Let p(n) = n**2 + 8*n + 5. Suppose 2*v + 2*k + 18 = 0, -4*v = 6*k - 4*k + 30. Let s be p(v). Let c = s - -25. Is c a multiple of 9?
True
Does 38 divide (-8664)/18*(-45)/30?
True
Suppose -24 = -9*x + 3. Let q be (x - 1) + 2 + 59. Suppose q + 252 = 7*r. Is 5 a factor of r?
True
Let w be (0 - 5/5) + 13. Suppose 0 = 11*n - w*n + 3. Is n a multiple of 3?
True
Suppose -5*k + 440 + 740 = 0. Does 21 divide k?
False
Suppose -5*b - 3*j = -2*b - 240, -2*b - 3*j = -160. Is b a multiple of 33?
False
Let f be (-1)/3*1*0. Suppose f*q + 5*k = -3*q + 39, 2*q = k + 39. Is 9 a factor of q?
True
Let r(v) = v**2 - 6*v - 9. Let w be ((-1)/((-8)/36) - 0)*2. Does 6 divide r(w)?
True
Suppose -u - 2*b + 2 = 0, -13 = -4*u - 4*b - 1. Suppose u*v + 24 = 8*v. Is v a multiple of 2?
True
Let j = -1139 + 1778. Does 9 divide j?
True
Suppose -g + 1 = -2*v, 0*g = -3*v + 4*g - 4. Suppose 4*j + a - 4*a - 27 = v, 3*j = 3*a + 18. Is 9 a factor of j?
True
Suppose -8*n + 16*n = 0. Suppose -5*y + y + 672 = n. Is 14 a factor of y?
True
Let l(z) = z**2 - 2*z + 69. Let f = 25 + -25. Does 23 divide l(f)?
True
Let r = 41 + -46. Does 12 divide -90*(2 + r)/3?
False
Let o = 2475 + -1650. Is o a multiple of 75?
True
Suppose -33*n + 41*n - 4032 = 0. Is n a multiple of 19?
False
Let i be ((-8)/6)/((-14)/126). Suppose 0 = 2*a + 2*s - i, -4*a - s = 3 - 27. Suppose w + a = -3*g + 32, -w = 1. Is g a multiple of 5?
False
Suppose 0 = -3*n - 5*o + 181, -2*o - 83 = -n + 2*o. Let a = -57 + n. Is a a multiple of 10?
True
Suppose 4*o + 238 = 6*o. Is o a multiple of 28?
False
Let p = 7 + -13. Let x(w) = -3*w + 10. Is 14 a factor of x(p)?
True
Let x be (24/(-4))/(-1) + 0. Let j be 38/12 + (-1)/x. Suppose -n - 12 = -j*n. Is 3 a factor of n?
True
Let j = 25 - 18. Suppose -j - 5 = -3*r. Suppose k - 34 = 5*b, -6*k + 2*k = -r*b - 72. Is 7 a factor of k?
True
Let m(a) = -24*a - 6. Does 18 divide m(-7)?
True
Let d(u) = -3*u**2 - 8*u + 6. Let w be d(-6). Let x = 90 + w. Is 10 a factor of x?
False
Let g = 2203 - 1553. Is g a multiple of 5?
True
Suppose w - 11*w + 50 = 0. Suppose 0 = 4*m - w*k - 240, 3*k + 120 = 10*m - 8*m. Does 31 divide m?
False
Let o = 1 - -1. Let f be (2/(-3))/(-3 + 12927/4311). Suppose 3*u = -o*z + 290, 0 = -0*u + 5*u - z - f. Is 16 a factor of u?
True
Let o = 12 - 64. Let a = o - -74. Is ((-429)/a)/(1/(-2)) a multiple of 13?
True
Let g(o) = o**3 - 12*o**2 + 17*o - 11. Let b be ((-3)/6)/((-1)/(-2)) - -13. Does 10 divide g(b)?
False
Let v(r) = 28*r**2 + 6*r + 4. Is 26 a factor of v(-2)?
True
Suppose -5*u = -5*s + 5, -2*s = 3*s + u - 17. Suppose s*l = -12 - 3. Is (-2)/10 + (-121)/l a multiple of 12?
True
Let r(t) = 8 + 10 - 858*t + 7 + 873*t. Is r(8) a multiple of 29?
True
Suppose -k = -3*i - 12, -3*i - 46 = -3*k - 4*i. Is 3 a factor of k?
True
Suppose 21 + 19 = t. Let v(g) = g - 22. Let n be v(10). Is ((-12)/10)/(n/t) a multiple of 4?
True
Let q be (48/(-36))/(4/(-6)). Let a be 1*(-1)/q*-2. Is (4*a)/((-6)/(-3)) a multiple of 2?
True
Suppose 5*g - 267 = -22. Suppose 3*b = 4*z + 36, -5*b + 5*z = 2*z - g. Let o(x) = -x**3 + 9*x**2 - 4*x - 3. Does 18 divide o(b)?
False
Let d = 5 + 12. Does 5 divide (8 - -1) + d + -16?
True
Let d be 4/((-48)/(-20))*15. Suppose 0*n + 5*n = d. Suppose n*l - 4*k = 74, -4*l = 4*k - 36 - 16. Is 7 a factor of l?
True
Let y be 4/6*(-2502)/12. Let t = -51 - y. Suppose -q = -4*u - 29, -5*q - 5*u = -6*u - t. Is q a multiple of 8?
False
Let f(b) be the first derivative of b**6/120 + b**5/120 + 5*b**4/12 - 2*b**3 - 4. Let p(q) be the third derivative of f(q). Is 30 a factor of p(5)?
True
Let g(z) = z**3 - 9*z**2 + 8*z - 6. Let f be g(7). Is 18 a factor of (-2 - (-15)/12)*f?
True
Let m(p) = 233*p + 38. Does 42 divide m(2)?
True
Suppose 5*s + 333 = -57. Let r = 16 - s. Is r a multiple of 31?
False
Suppose 3*a = -2*o + 4236, 3*o + 2*a - 47 = 6317. Does 36 divide o?
True
Let f(a) = -10*a - 60. Let g be f(-24). Does 15 divide ((-8)/6)/((-4)/g)?
True
Suppose 361 + 37 = h. Suppose -w + 3*w - h = -2*l, -2*l + 403 = -3*w. Is l a multiple of 25?
True
Suppose -12 = -2*b + 2*x, 0 = 2*x + 3 + 5. Suppose -6*g + g + 90 = 0. Suppose b*c + 3*u + 36 = 3*c, 3*u = -c + g. Is 9 a factor of c?
True
Let r = -5156 + 8891. Is 111 a factor of r?
False
Suppose -2 = 2*t + 4. Does 9 divide 46/(-4)*(t - 2 - -3)?
False
Suppose -k + 4*k - 258 = 0. Suppose n + n = k. Is 24 a factor of n?
False
Suppose 4*x - 267 + 27 = 0. Suppose x = 3*s - 33. Does 31 divide s?
True
Let z be -2*(-2)/((-16)/(-20)). Is 12 a factor of (-5 - -235) + 3 - z?
True
Let i(g) = -8 + 0*g**2 + 0*g + g - 6*g - 2*g**2. Let v be i(-5). Let c = 55 + v. Is 6 a factor of c?
False
Suppose -3248 = 4*h - 11*h. Suppose 0 = -4*s - f + h, 3*f = 5*s + 8*f - 565. Is 13 a factor of s?
True
Let o(y) = y**3 + 9*y**2 - 11*y - 5. Let a be o(-10). Suppose 0 = -4*j + a*j - 6. Is 6 a factor of j?
True
Suppose 554*s + 4190 = 559*s. Is s a multiple of 28?
False
Let i(j) = -j**3 + 7*j**2 + 3*j + 1. Let x be i(7). Let l = 5 - x. Is 12 a factor of (-1)/(3/6)*l?
False
Let a(p) = 22*p**2 - 15*p + 99. Does 9 divide a(5)?
False
Let v be 3*((-8)/6)/(-1). Suppose 606 + 258 = 4*b. Suppose -c - v*c + b = -n, 5*c = 2*n + 217. Does 11 divide c?
False
Let i be ((-8)/10)/(8/(-40)). Let n(o) = 8*o + 5. Let t be n(8). Suppose y + i*k - t = 0, -2*k + 70 = y + 3*k. Does 13 divide y?
True
Let r(w) = 2*w**2 + 11*w + 22. Suppose -3*i = -19 + 40. Is 5 a factor of r(i)?
False
Suppose 2*o + 263 = 437. Is o a multiple of 10?
False
Let s = -12 + 18. Let o be 128/s - 7/21. Suppose -3*r - 5*t - o = -4*r, 3*t - 77 = -5*r. Does 16 divide r?
True
Suppose -4*m - 8 = 4*q, 5 - 1 = -2*m. Suppose 0*k + 4*k = -j + 639, -2*k - j + 317 = q. Is k a multiple of 23?
True
Let r(f) be the second derivative of -5*f**3/6 - 19*f**2/2 - 7*f. Let s be r(-6). Let d = s + 34. Does 15 divide d?
True
Suppose 3*s = -5*g - 24, 0*g = 4*g + 3*s + 18. Is 11 a factor of 39*(-20)/(-18) + (-4)/g?
True
Is (-102)/(-8 - (-234)/30) a multiple of 58?
False
Let c(f) be the third derivative of -f**5/60 + 7*f**4/8 - 8*f**3 + 10*f**2. Is 5 a factor of c(15)?
False
Suppose 18 = 10*b - 13*b. Let n be (-47)/(1 - (4 + -2)). Let j = n + b. Does 26 divide j?
False
Is 30 a factor of 78/4*(-11)/(66/(-128))?
False
Let k = 41 + -55. Does 4 divide k/(-21)*(-81)/(-2)?
False
Let a be 2/(4/54*3). Let j(z) = 0 - 2 + z**3 - 7*z + a*z - 12*z**2 + 0. Is j(12) a multiple of 11?
True
Let x = 393 - 70. Is x a multiple of 26?
False
Let b(y) = 2*y**2 + 9*y + 88. Is b(-19) a multiple of 9?
True
Let b(h) = h**3 + h + 18. Let m(y) = -y**2 + 6*y + 2. Let g be m(6). Let r = 2 - g. Is b(r) a multiple of 12?
False
Suppose -45 = 4*h - q, -3*h - 2*h = 2*q + 66. Let k(a) = -a**2 - 16*a + 40. Is k(h) a multiple of 22?
True
Let f(w) = -w**3 - 6*w**2 - w - 1. Let h be f(-6). Suppose 5*b + 3*o - 51 = 31, 3*b - h*o = 22. Let l = 19 + b. Is 17 a factor of l?
False
Suppose 3*n - 5*v - 277 = 0, -3*v + 439 = -7*n + 12*n. Does 4 divide n?
False
Suppose -20*z + 6761 = 1041. Is z a multiple of 3?
False
Let m(k) = k**2 + 4*k - 5. Let i be m(-5). Let a(v) = -v + 3. Let h be a(i). Does 2 divide (h - 1) + 1 - -3?
True
Let p(i) = 3*i**2 + 11*i + 3. Let v be (-6)/(-9)*45/(-6). Is 16 a factor of p(v)?
False
Let b(k) = k**2 + 6*k + 4. Let h be b(-6). Let g(i) = 3*i**2 + i - 8. Is 14 a factor of g(h)?
False
Suppose 0 = -0*z + z - 20. Is 20 a factor of 1995/z + 6/(-8)?
False
Let s be 3 + 1 + 17 + -1. Suppose -3*u - s = -5*h, 9 = 5*h - 4*u - 6. Let y(j) = 2*j**2 - 9*j + 3. Does 19 divide y(h)?
True
Suppose 3*y - 5*y - 6 = 0. Let d be 12/((-6)/y) + -2. Suppose 17 = t + 4*j - 7, 2*t = -d*j + 48. Is 24 a factor of t?
True
Suppose -2*t - 1680 = -3*s - 251, -4*s - 4*t + 1872 = 0. Does 16 divide s?
False
Is 52 a factor of 104 - (0/(-6))/3?
True
Suppose -4*b + 14 = 3*b. Suppose b*f = -d + 90, -2*d + 7*f + 201 = 4*f. Does 12 divide d?
True
Suppose -2*j - 4*c = -2400, -j + 1200 = -c - 0*c. Suppose -3*k = -3*z - 660, -2*z + 106 = -5*k + j. Is k a multiple of 15?
False
Suppose 5*i - 154 = 4*y, 65 + 45 = -3*y + i. Does 32 divide (-8)/((-3)/y*-3)?
True
Let k(v) = v**2