) = -n**2 - 8*n - 6. Let p be z(-8). Let q = 28 + p. Does 5 divide q?
False
Let d(c) be the second derivative of 14*c**3/3 - 5*c**2 - 43*c. Is 6 a factor of d(4)?
True
Let k(p) = -2*p + 21. Let j(o) = -o. Let r(x) = -6*j(x) + k(x). Let g be r(9). Suppose -g = -4*a + 3. Is a a multiple of 3?
True
Let n = 30 - 26. Suppose -366 = -n*t + s, -6*t + 3*s = -4*t - 188. Is t a multiple of 19?
False
Let c(s) be the third derivative of s**6/4 - s**5/60 + s**4/8 - 5*s**3/6 - 28*s**2. Does 46 divide c(2)?
False
Let g(q) = 14*q - 23. Let a be g(-7). Let p = 192 + a. Let j = p + -27. Does 14 divide j?
False
Let s be (-5)/10 - (-2)/4. Let i be s - 1 - 0/(-8). Is 4 a factor of (-1 - -2 - i) + 2?
True
Let u(r) = 2*r**3 + 5*r**2 - 3*r - 1. Let g be u(3). Suppose -3*q + 7 = -g. Suppose q = 2*m - 54. Is 12 a factor of m?
False
Suppose -o - 56 = 6*o. Let j be o*(1 + (-69)/6). Is 19 a factor of ((-231)/j)/((-1)/28)?
False
Is -6 + -687*(-6)/18 a multiple of 38?
False
Suppose 3*z = -0*z - o - 358, -3*z + 5*o = 388. Let s = z + 142. Is s a multiple of 21?
True
Suppose -14 = -5*g - 4. Suppose 3*p - z + 4 = 0, 2*p = 5*p - 2*z + g. Is (22/6)/(p/(-6)) a multiple of 3?
False
Suppose 0 = -2*n - r + 39, n - 2 = 4*r - 5. Let f(v) = -5*v - 13 + n + 18*v + 6*v. Is f(5) a multiple of 33?
True
Suppose -4*m - 16 = -5*d, 0 = -0*d + d - 3*m - 12. Suppose d = -z + 82 - 19. Does 9 divide z?
True
Let p(a) = 7*a - 1. Let d(f) = 2*f - 2. Let s be d(4). Let g = 11 - s. Is p(g) a multiple of 9?
False
Suppose -3*f - 9 = 0, -2*f - 269 = -4*i + f. Is i a multiple of 16?
False
Let i(c) = -4*c - 8. Let g be i(8). Suppose 4*y + 3*q - 311 = 0, -3*q + 390 - 2 = 5*y. Let a = g + y. Is a a multiple of 8?
False
Suppose 128*g - 164056 = 155432. Is 8 a factor of g?
True
Let b = 57 + -88. Let w(i) = -i**3 + 3*i**2 + 12*i - 19. Let y be w(6). Let j = b - y. Is j a multiple of 8?
True
Let n be (-84)/(-20)*30*1. Suppose -3*c + 532 = -4*g + 115, c + 3*g - n = 0. Is 27 a factor of c?
True
Let d(p) = p**2 + 5*p - 5. Let y(w) = -w**2 - 7*w + 5. Let v be y(-4). Let u = 9 - v. Does 19 divide d(u)?
True
Let q = 877 + 188. Is q a multiple of 10?
False
Let f(g) = 33*g**2 - g + 3. Let b be f(-2). Suppose a = -0*a - 4*i + 31, -3*a - i = -b. Does 8 divide a?
False
Suppose -11*l = -4313 - 7578. Does 23 divide l?
True
Suppose 57*x - 3345 = 52*x. Is x a multiple of 70?
False
Let r = 29 + -28. Let i(z) = z + 1. Let y(c) = 39*c - 7. Let d(g) = 6*i(g) + y(g). Is 22 a factor of d(r)?
True
Let z(i) = -i**3 - 6*i**2 - 5*i + 2. Let m be z(-5). Suppose -2*g + 4*o = m*o + 204, -12 = 3*o. Let p = -44 - g. Is p a multiple of 31?
True
Let c = 358 - 178. Let t = c - 11. Is t a multiple of 13?
True
Let h = 1954 - 1041. Is 65 a factor of h?
False
Let n be (-2)/(-3) - 40/(-12). Suppose -n*l - 234 = -46. Let q = l - -113. Is q a multiple of 22?
True
Let q be 2 - (2 + (-3)/(6/(-956))). Let b = -248 - q. Is b a multiple of 11?
False
Let g(c) = -2*c**3 - 8*c**2 - 9*c - 43. Is 29 a factor of g(-8)?
False
Let z(i) = i**2 + 4*i + 5. Let u be z(-2). Let s be u + 5/(15/(-117)). Let f = s + 61. Is 7 a factor of f?
False
Let q(c) = 5*c**2 - 3. Let g be q(-2). Does 15 divide (20/(-2))/5 + g?
True
Suppose 0 = -3*t + 2*t + 4. Suppose 4*n - t*h + 476 = 0, -2*n - 476 = 2*n - 2*h. Let f = -83 - n. Does 10 divide f?
False
Suppose 2*t = 3*f - 247, -5*f + 9*t = 6*t - 413. Is 5 a factor of f?
True
Suppose 38 + 2 = 8*d. Suppose -d*g = 2*b - 165, -g - 235 = -3*b - 30. Does 5 divide b?
True
Let l(h) = 7*h + 9. Let k(t) = 6*t + 9. Let o(g) = -4*k(g) + 3*l(g). Is o(-7) a multiple of 9?
False
Let g = -158 - -233. Suppose -2*q - g + 463 = 0. Is 26 a factor of q?
False
Let r be -25 + (3 - 4)/(-1). Is (-11 - -1)/(4/r) a multiple of 30?
True
Suppose y - 33 = -6*i + i, -5*y + 2*i = -30. Let a = -3 + y. Suppose -a*w = -3*w - 24. Is 4 a factor of w?
True
Suppose 259782 = 117*c - 59*c. Does 25 divide c?
False
Suppose -3*l - 2*y + 1462 = 0, -l - 3*y + 249 = -250. Let k = l + -324. Is 10 a factor of k?
True
Let h = 0 - 0. Suppose -x - 13 = -3*l + 2, -l - 2*x - 2 = h. Suppose -l*p - 31 = -247. Does 14 divide p?
False
Is 12 a factor of 272 - ((-16)/(-8) + 3)?
False
Let s be ((-10)/(-4))/((-1)/(-2)). Let p be 4/10 - (-143)/s. Suppose 0 = -4*x + 3*o + 78, p = x + 2*o + 2*o. Does 7 divide x?
True
Suppose 0 = -5*j - 0*j + 560. Does 7 divide j?
True
Let u(w) = w**3 - 14*w**2 + 16*w - 12. Let k be u(12). Let j be 256/(-18) - (-2)/9. Is (k/j)/(2/14) a multiple of 15?
False
Suppose -4 + 29 = 5*d. Suppose -182 + 42 = -d*w. Does 5 divide w?
False
Let d = -4 - -9. Let m = -5 + d. Suppose 4*l = m, -l = u - 2*u + 28. Does 17 divide u?
False
Let l = -741 - -1209. Is 9 a factor of l?
True
Suppose -13*k + 5*f = -16*k + 2376, 0 = k - 2*f - 792. Is k a multiple of 66?
True
Suppose 29*y + 0*y - 40600 = 0. Is 100 a factor of y?
True
Let m = 57 - 55. Suppose 3*p = -4*z + 109, 4*p - 2*p + m*z - 72 = 0. Is p a multiple of 8?
False
Does 8 divide (-149370)/(-105) - (-20)/14?
True
Let s(l) = -21*l + 1. Let d be s(-1). Suppose -2 = j - d. Is 3 a factor of j?
False
Let s be (-105)/42*4*-14. Suppose 8*r - 140 = s. Is 18 a factor of r?
False
Suppose 0 = -5*i + 4*i + 3. Suppose i = -2*l - 1. Is 6 a factor of l/(4 - (-87)/(-21))?
False
Suppose 5*h - 3*j - 85 = 0, -4*h + 26 + 5 = 5*j. Let l = 50 + -21. Let t = h + l. Does 16 divide t?
False
Suppose -i + 3*i = -r + 1140, -1142 = -r - i. Does 57 divide r?
False
Suppose 1847 = 5*w - f - 1352, 4*f = -16. Is 9 a factor of w?
True
Let w(n) be the first derivative of 17*n**5/120 - n**4/8 - 2*n**3 - 6. Let z(k) be the third derivative of w(k). Is 16 a factor of z(3)?
True
Suppose -210*a + 702 = -208*a. Is a a multiple of 27?
True
Suppose 4*k - 2684 = -4*n, -116 + 2800 = 4*k + 5*n. Is k a multiple of 22?
False
Suppose 32*z - 28*z - 1388 = 0. Is 36 a factor of z?
False
Let m = -802 - -5137. Is m a multiple of 15?
True
Let w = -7 + 7. Suppose 6*y - 2*y + 152 = w. Let m = y + 92. Is m a multiple of 14?
False
Let l(n) = n**3 + 3*n**2 - 7*n + 14. Is l(4) a multiple of 14?
True
Is (21948/(-155))/(6/(-15)) a multiple of 75?
False
Let t(b) = -b**2 - 13*b - 4. Suppose 2*p + 20 = -0. Is 10 a factor of t(p)?
False
Suppose -2*u + 155 = 47. Suppose 6*t = 3*t + u. Is t even?
True
Suppose -41 = -5*s + 44. Suppose -57 = -5*d - s. Let o(k) = k**2 - 8*k + 10. Does 10 divide o(d)?
True
Suppose 3*p - 3 = 2*p. Suppose p*y = -2*y + 25. Suppose 8*l = y*l + 72. Does 7 divide l?
False
Let u = -48 - -93. Is 27/u + (-681)/(-15) a multiple of 10?
False
Let u(y) = -2*y**3 + 14*y**2 - y + 7. Let x(h) = 7*h - 7*h - h**2 - h**3 + 2*h**2. Let q(z) = u(z) - 3*x(z). Does 9 divide q(-11)?
True
Suppose i = 5*d - 1840, -10 = -44*i + 46*i. Is d a multiple of 15?
False
Let z = 87 - 62. Suppose -6 - z = -r. Does 21 divide r?
False
Let a(n) = -n**3 - n - 1. Let p(g) = -98*g**3 - 3*g - 4. Let l(i) = -4*a(i) + p(i). Does 31 divide l(-1)?
True
Suppose -33*p = 1316 - 14714. Does 14 divide p?
True
Let c = 2485 - 343. Is c a multiple of 36?
False
Suppose -5*r - 2*b = 5, -5*b - 15 = r - 37. Let s(l) = -2*l**3 + l**2 + 2*l + 3. Is 8 a factor of s(r)?
False
Suppose 10*p = 1 + 119. Suppose p*y = 4*y + 1008. Is 21 a factor of y?
True
Is 26 a factor of 803 - -1 - -3*6/9?
True
Let q be 756 + -1 - (-1 - -6). Suppose 3*h - q = -5*d, -3*d - d = -4*h - 632. Is 17 a factor of d?
True
Let q(v) = -124*v + 195. Does 62 divide q(-4)?
False
Suppose 1825 = 9*z + 547. Does 15 divide z?
False
Let m(b) be the second derivative of b**4/6 + 11*b**3/6 + b**2/2 - 14*b. Is m(-8) a multiple of 19?
False
Let l = 50 - 51. Is 6 a factor of 14 - 10 - (l + -5)?
False
Let a = -1898 + 3861. Is a a multiple of 43?
False
Let i = 377 + -245. Suppose 82 + i = t. Is 7 a factor of t?
False
Let w(i) = 3*i**2 + 35*i + 46. Let l(n) = -n**2 - 12*n - 15. Let d(f) = 7*l(f) + 2*w(f). Let x be d(-13). Let o(g) = g**2 + g + 24. Does 14 divide o(x)?
False
Suppose -3*z = -5*z + 6. Suppose 2*v + z*b + 22 = -b, 5*v - b = -11. Is ((-44)/6)/(2/v) a multiple of 8?
False
Let p(x) = -21 - x + 3*x + x - 6*x. Let m = -15 - -5. Does 2 divide p(m)?
False
Let b be 37*(4 + -2)*3. Let m = 317 - b. Is m a multiple of 29?
False
Let g(r) = -r**3 + 8*r**2 - 8*r + 9. Let a(o) = -o**3 + 7*o**2 + 7. Let t be a(7). Let b be g(t). Suppose 0 = -b*d + 42 + 30. Is 6 a factor of d?
Tru