. Does 13 divide d(6)?
True
Suppose -7*u - a + 56 = -10*u, -2*u - 37 = -a. Let n(w) = -11*w + 3. Let h be n(-4). Let q = u + h. Does 7 divide q?
True
Suppose -4*f = -7*f + 6, 22 = 4*z - f. Let v(p) = 5*p**2 - 13*p - 8. Is 19 a factor of v(z)?
False
Suppose 2*p = 2*g - 0*g + 244, 3*p - 362 = 4*g. Is p a multiple of 4?
False
Suppose 0 = 5*i + 4*s - 471, 0*i + 2*s = -5*i + 463. Is 13 a factor of i?
True
Let d = -308 - -666. Is 12 a factor of d?
False
Let s(l) = -l**2 - 88*l + 86. Is s(-72) a multiple of 28?
False
Let x(i) = 2*i**2 + 11*i + 8. Let h = -52 + 44. Is 24 a factor of x(h)?
True
Let m = 27 - -43. Is m a multiple of 5?
True
Let v(k) be the first derivative of -1/3*k**3 + 2 + 0*k**2 + 84*k. Is 28 a factor of v(0)?
True
Does 19 divide (8 - 2) + -8 + 477?
True
Suppose -6*l = -11*l + 2*c + 5872, -8 = -2*c. Is 21 a factor of l?
True
Let y = 245 - -24. Suppose -y + 62 = -d. Suppose -3*u + d = 5*g, 0*u + 79 = u + 5*g. Does 16 divide u?
True
Let w = 81 + -74. Suppose w*j - 3*j = -2*x + 104, 5*x - 3*j - 221 = 0. Is 4 a factor of x?
False
Let z(a) = 2*a**2 - 11*a - 10. Let q be z(6). Let u(m) = 5*m**2 - 9*m - 11. Does 15 divide u(q)?
True
Suppose t = 4*v + 63, 5*t + 16 = -3*v - 37. Let f = 21 + v. Suppose -f*x + 0*d - 3*d = -287, 0 = -4*d - 4. Is x a multiple of 9?
False
Suppose -3 + 33 = 5*u. Let n be u/(-9)*9/(-2). Suppose 0 = 5*q + g - 80, n*g = -4*q + 5*g + 50. Is q a multiple of 5?
True
Suppose -2*u + 903 = 243. Suppose k - 3*n - u = -52, 4*n - 1390 = -5*k. Let l = k + -197. Does 27 divide l?
True
Is 6 a factor of 21/(-5)*8050/(-105)?
False
Let h be (-1)/4 + (-26)/(-8). Let b(p) = p**3 - 10*p**2 + 10*p - 7. Let x be b(9). Suppose 3*a + a - h*g = 25, 33 = 5*a - x*g. Is a a multiple of 7?
True
Let r be (-4 + 36)/(1/4). Suppose h = -2*v + 5, -4*v + h - 6 = -1. Suppose -4*p + v*p = -r. Is p a multiple of 16?
True
Let c be -1*(-3 + -2) - (1 + 1). Suppose -l + 48 = -4*h, -c*l = 4*h + 96 - 304. Does 15 divide l?
False
Let z be 29/(3/(-12)*2). Let v(n) = 3*n + 6. Let c be v(-2). Let x = c - z. Is x a multiple of 16?
False
Suppose -3*m - 402 = 4*k, -5*k + 0*k + m = 493. Let r(h) = -4*h**2 + 11*h + 7. Let s be r(5). Let q = s - k. Does 26 divide q?
False
Let h(a) = a**3 + 4*a**2 - 7*a - 4. Let x be h(-5). Let v be (3 + -3)/(-2 + x). Suppose -y + 12 + 18 = v. Is 7 a factor of y?
False
Let m be 10/(-3)*228/(-10). Suppose -5*c + 33 + 7 = 4*u, -4*u + 24 = c. Suppose 27 = z + r, z - c*r = 4*z - m. Does 20 divide z?
False
Let p be 13/(-65) - (-232)/10. Let u = 15 - p. Is 5 a factor of -1 + 32 - (u + 8)?
False
Let b(k) = k**3 + 9*k**2 + k + 9. Suppose s = 5*s + 28. Does 25 divide b(s)?
True
Let k be -34*(-2 + 5)/(-6). Suppose 2*f + 5 = i, 0*f - k = -i - 4*f. Does 28 divide 24/(-10)*(-210)/i?
True
Let d be (-9)/15 + -1 + 288/5. Is (2 + -1 + -3 - -2) + d a multiple of 23?
False
Let y(a) = -a**2 - 12*a - 20. Let l be y(-14). Let h = 80 + l. Is h a multiple of 4?
True
Let y be ((-8)/4)/(0 - -2). Let w = 2 - y. Suppose 13 = w*i - 5. Is i a multiple of 3?
True
Let o = 2177 + -1836. Is o a multiple of 11?
True
Suppose 3*y - 52 = y. Let c = y + 90. Is 26 a factor of c?
False
Let z = 337 + -58. Suppose -5*l - z = -2*h, 0*l + 117 = h + 5*l. Is 44 a factor of h?
True
Let p = 59 + -50. Suppose 28 = p*a - 125. Does 4 divide a?
False
Suppose 0 = 2*m + 2*n - 96, 3*n = 3*m + 13 - 151. Is 3 a factor of m?
False
Let l be (3/4)/(1/4) - 1. Suppose 0 = l*r + 3 + 7, 225 = 2*i - 5*r. Is i a multiple of 17?
False
Let m(l) = -l**3 + 32*l**2 - 42*l + 78. Is 17 a factor of m(30)?
False
Suppose -7*w + 14184 = -12094. Is 119 a factor of w?
False
Suppose -2*s = -4*w + 1762, 2*s = 8*w - 12*w + 1758. Is 22 a factor of w?
True
Let c = -271 + 565. Is c a multiple of 14?
True
Suppose 235*u - 842400 = 79*u. Is u a multiple of 36?
True
Let c(f) = -4*f - 4. Let i be c(-2). Is 3 - (-210)/(7 - i) a multiple of 17?
False
Suppose 0 = 43*f - 41*f - 1198. Does 19 divide f?
False
Let d(n) = n - 2. Let w be d(6). Let m(k) be the third derivative of 11*k**4/24 + k**3/6 + 15*k**2. Is m(w) a multiple of 15?
True
Suppose -21*o = 38*o - 115758. Is o a multiple of 9?
True
Let r be -5*(-4)/16*-60. Let b = r + 37. Does 9 divide 3 + 1 + -6 - b?
True
Let u(h) = 6*h**2 + 108*h + 9. Let v(t) = -4*t**2 - 72*t - 6. Let r(o) = -5*u(o) - 7*v(o). Is 9 a factor of r(-17)?
False
Is (-10)/(-85) + (-24200)/(-68) + 6 a multiple of 26?
False
Let w(f) = -2*f - 13. Let g be w(-8). Suppose -s + 478 = g*h, -8*h = -3*h - 2*s - 804. Suppose h = d + 4*d. Is d a multiple of 8?
True
Suppose f - 5*f = 48. Let b = -12 - f. Is (13 - b)/(8/16) a multiple of 13?
True
Let y(v) = v**3 + 6*v**2 + 5*v - 10. Let k be y(-5). Does 13 divide k + 2 + 6 - 28/(-1)?
True
Let d(p) = -8*p**3 - 10*p**2 + 4*p - 30. Does 10 divide d(-5)?
True
Suppose 9*k = 6*k + 6. Let z be (-253 - -1)*2/(-3). Suppose z = 2*a + k*a. Does 14 divide a?
True
Suppose i + 4*i = -110. Let a = i - -30. Is 6 a factor of a?
False
Let s(n) = 7*n + 6. Let h be s(8). Let j be (-3)/(-9) - h/(-3). Suppose 3*f = -0*f + j. Does 2 divide f?
False
Let d = 24 + -22. Let c be 454/2 - (d + -6). Suppose -2*a = 3*y - 339, y - c = -y - 3*a. Does 37 divide y?
True
Let g = -28 + 21. Does 15 divide g/(-63) - (-2805)/27?
False
Let n(u) = -19*u + 16. Is n(-5) a multiple of 14?
False
Let g(x) = -23*x**3 + 0 + 3 - 4 + 3*x**2 + x. Let a be g(-1). Is (32/(-12))/((-2)/a) a multiple of 10?
False
Let x(s) = -616*s + 1. Does 21 divide x(-1)?
False
Let w = 37 + -27. Does 4 divide (-1)/8*w*-12?
False
Suppose -2*p = 5*k - 20, k + 4*p - 27 = -p. Let z(n) = 6*n**3 - 2*n + 3. Let i be z(k). Suppose 2*o = -1 + i. Is 11 a factor of o?
False
Let x = -6 + 4. Let s be (x - -3)/((-3)/(-6)). Suppose -s*w + 3*w = 34. Is w a multiple of 17?
True
Suppose 31 = -5*s - u, -u + 3*u = s + 15. Is (s - -11)*(-11)/(-2) a multiple of 11?
True
Let c be 3 - (-3 - -1 - -2). Suppose 10 = -c*l + 46. Suppose l*r = 9*r + 90. Does 30 divide r?
True
Suppose -22*k = -18*k - 3*y - 2004, 4*k + 2*y - 2024 = 0. Is k a multiple of 7?
True
Is 98*((-45)/10 - -6) a multiple of 6?
False
Suppose h = -1 + 14. Suppose -2*g = -2*t - h - 13, 4*g = -5*t + 7. Is g*(-3 + -1)/(-2) a multiple of 16?
True
Suppose 4*z + 968 = 3356. Is 91 a factor of z?
False
Let l(k) = k - 7. Let r be l(-8). Let c(z) = z**3 + 16*z**2 + 14*z - 3. Is c(r) a multiple of 3?
True
Let f = -470 + 3098. Is 30 a factor of f?
False
Let n(r) = 3*r + 7. Let s(z) = 16*z + 36. Let j(x) = 11*n(x) - 2*s(x). Does 7 divide j(26)?
False
Let y be (-28)/21 + (-38)/(-6). Suppose 0 = -y*u - 42 + 442. Does 18 divide u?
False
Suppose 0 = -4*i + 17*r - 19*r + 10100, -3*r = -6. Does 103 divide i?
False
Let t(r) = r**2 + 4*r - 7. Let f be t(-5). Let y(n) = 6*n - 11. Let v(p) = -3*p + 6. Let h(q) = -5*v(q) - 3*y(q). Is h(f) a multiple of 3?
True
Suppose 4*f = -3*v + 339, -3*f - v = -2*v - 238. Let g = f - 35. Let j = -22 + g. Is 16 a factor of j?
False
Suppose -2*m = -g - 8, g + m - 1 = -0*g. Does 19 divide (-334)/g + (-10)/((-25)/5)?
False
Suppose 16*f + 5250 = 30*f. Is f a multiple of 7?
False
Suppose -262 = -u - 75. Does 11 divide u?
True
Let i(x) = 2*x**3 - 25*x**2 - 2*x - 19. Is 4 a factor of i(13)?
True
Let z = 143 - 125. Suppose 33*f - 30*f = z. Does 5 divide f?
False
Let k(x) = -29*x**3 - 2*x**2 - x - 6. Let u(p) = -146*p**3 - 10*p**2 - 5*p - 30. Let m(z) = 11*k(z) - 2*u(z). Does 34 divide m(-2)?
True
Let b(x) = -x**3 + 9. Let q(i) = -i**2 + 6*i - 5. Let w be q(5). Is 9 a factor of b(w)?
True
Suppose -3*g + 5*z + 40 = 0, 3*g + z - 4 = 6. Suppose g*y - y = 392. Does 8 divide y?
False
Does 22 divide (9/6)/((-18)/60) + 47?
False
Let l be 11/(3/(-9)*3). Let d = -4 - l. Suppose 0 = -j + d + 5. Does 6 divide j?
True
Let q = 263 + 459. Does 11 divide q?
False
Let k(d) = 3*d**2 - 89*d + 31. Is 29 a factor of k(30)?
False
Let n(l) = 2*l**3 + 5*l**2 - 17*l - 4. Is n(7) a multiple of 24?
False
Let p be ((-6)/4)/(1165/(-390) - -3). Does 19 divide (p/(-3) - 1)*4/4?
True
Let u(x) = -118*x**3 - 2*x**2 + 1. Let g be u(1). Let k = -41 - g. Does 39 divide k?
True
Suppose -26*s + 64 = 6*s. Let r(q) = -5*q - 1. Let d(n) = -11*n - 2. Let f(h) = -3*d(h) + 5*r(h). Is 3 a factor of f(s)?
False
Let h(q) = 26*q + 1. Let d(o) = -o**2 + 3*o + 3. Let y be d(7). Let g = 28 + y. Is 14 a factor of h(g)?
False
Let j(o) = 45*o + 4