 -3*u + s - 26 = 0. Is z + 6 + (u - -9) a multiple of 5?
False
Let f(v) = -25*v - 7. Does 21 divide f(-7)?
True
Let u(m) = 11*m**3 - 4*m + 1. Let w(j) = -21*j**3 + 7*j - 2. Let t(h) = 11*u(h) + 6*w(h). Is 6 a factor of t(-1)?
True
Suppose 5 = 5*z, -138 = 4*w + 3*z + 95. Let v = w + 159. Is 11 a factor of v?
False
Let n = 19 + -9. Let t be -7*1*(-19)/133. Is n/(t + (-12)/16) a multiple of 12?
False
Suppose -3*m = 0, 3*j + 2*m - m + 513 = 0. Let u = -53 - j. Suppose 86 = w + w + 4*q, 5*q + u = 3*w. Is w a multiple of 14?
False
Suppose -7*y + 3*y = -12. Let i = y + -2. Does 3 divide i/(-2)*-6 + 4?
False
Let i(m) = -8*m - 5. Let t be i(7). Let r = t - -126. Is 25 a factor of r?
False
Let j(s) = 7*s**3 - 9*s**2 - 40*s + 29. Let r(y) = -3*y**3 + 5*y**2 + 20*y - 14. Let x(d) = 2*j(d) + 5*r(d). Is x(9) a multiple of 6?
True
Suppose -2*i - k + 62 = 0, -3*i + k + 82 = -3*k. Let n = i + 29. Is (n + 3)/(0 - -2) a multiple of 8?
False
Let s = 16 + -19. Let m be -4 - (2 - (s + 2)). Let d(t) = t**2 - 3*t - 10. Does 22 divide d(m)?
False
Suppose 6*z + 3*z = 414. Let a = 93 - z. Is 13 a factor of a?
False
Let z(k) = -456*k - 169. Is z(-7) a multiple of 88?
False
Let h = 40 - 36. Suppose 4*r - 7*j - 432 = -3*j, -2*r - h*j = -216. Suppose r = 6*v - 738. Is 27 a factor of v?
False
Let i = 1747 - 893. Is 7 a factor of i?
True
Let z(t) = -t**3 - 8*t**2 + 31*t - 44. Does 32 divide z(-12)?
True
Let u(z) = 551 - 552 - 37*z + 2*z. Is u(-3) a multiple of 26?
True
Suppose 5 = -7*s + 2*s. Let i be 24*s*(-9)/6. Let g = 57 - i. Is g a multiple of 6?
False
Let q = -56 - -64. Is (-4*q/(-32))/((-2)/(-228)) a multiple of 15?
False
Let n(o) = 10*o**2 - o. Suppose -3*j = -3*h, -2*h + h - 2 = j. Let z be n(h). Suppose 2*y - 49 = -5*u, -4*y + 5*u + z = -12. Is 12 a factor of y?
True
Let v(n) = n**3 + 9*n**2 + 7*n - 1. Let x be v(-8). Suppose 0*s - 4*s + x = -3*d, 0 = -5*d + 2*s - 7. Is 11 a factor of 4 + d - -16 - -3?
True
Let r(s) = s**3 - 5*s**2 + 2*s - 5. Let q be r(5). Suppose -2*m + q*x + 18 = -m, 2*x - 6 = -4*m. Suppose 44 = m*w + 14. Is 10 a factor of w?
True
Let s be (-6)/(-9) + (-770)/(-6). Does 5 divide s/4 - (15/12 + -1)?
False
Let c(x) = 3*x - 10. Let y be c(4). Suppose 10 = 5*m + 5*k, y*m + k = 4*k + 14. Suppose -292 + 40 = -m*i. Is 13 a factor of i?
False
Suppose 3*b - 55 = 2*b. Let a(o) = -o**3 - 32*o**2 + 32*o + 62. Let v be a(-33). Let f = v - b. Does 10 divide f?
True
Suppose 122 = -5*h - 13. Let t = 101 + h. Suppose -t = -4*v + 22. Does 12 divide v?
True
Let l(n) = 1 - 6*n**2 + 3 - 5*n**2 + 20*n**2. Is 5 a factor of l(-3)?
True
Suppose 8*y + 38*y = 29808. Is 52 a factor of y?
False
Let a(x) = x**3 + 6*x**2 - 7*x - 11. Suppose 0 = 2*i - 2*l + 8, -2*i + l = 4*l + 13. Let b be a(i). Suppose -185 = -2*n + b. Is 32 a factor of n?
False
Let h(f) be the second derivative of f**3/6 + f**2 + f. Let z be h(-2). Suppose z = 2*o - o - 40. Does 8 divide o?
True
Suppose -14601 - 32355 = 13*m. Does 22 divide -2 + m/(-18) + 2/(-3)?
True
Is -3 + (-4)/(-6)*15147/18 a multiple of 6?
True
Let t(n) = n**3 - 13*n**2 + 12*n + 3. Let i be t(12). Suppose 0 = -y + 4, i*m + 0*m - 560 = -5*y. Does 18 divide m?
True
Let x(u) = -u**2 - 12*u + 15. Let l be x(-13). Suppose 179 = -l*w + w. Let g = w - -263. Is g a multiple of 23?
False
Suppose 0 = 4*l - 3*c - 21 - 38, 5*c - 15 = 0. Let y = -13 + l. Is (-3)/(2*y/(-40)) a multiple of 3?
True
Let g(c) = -c**2 + 18*c - 28. Let n be g(18). Let p = 36 + n. Is p a multiple of 3?
False
Does 10 divide 20748/60 - (-24)/20?
False
Let w(x) = x**3 - 11*x**2 - 14*x - 11. Let s be w(12). Let g = 59 + s. Does 24 divide g?
True
Let w = 701 + -632. Is 3 a factor of w?
True
Let g(y) = 5*y + 51. Is 29 a factor of g(-4)?
False
Let i = 1 + -15. Let w = -11 - i. Is 3 a factor of w?
True
Let t be -123*1/6*-10 - 1. Let n(h) = -108*h. Let m be n(1). Let w = m + t. Is w a multiple of 25?
False
Let k(b) = -2*b - 3*b + 12*b - 1. Let v be (-424)/(-56) - 7 - (-24)/7. Does 12 divide k(v)?
False
Suppose 267 = z - 0*z. Suppose -3*q - 240 = z. Is 14 a factor of q/(-4) + (-2)/8?
True
Let p = -7 - -10. Let o = -12 + 19. Suppose -p*n + 97 = o. Is 11 a factor of n?
False
Suppose -18*k = -16*k - 500. Suppose -52 = 2*v - k. Is 33 a factor of v?
True
Let m(x) = 2*x**2 - 33*x + 75. Does 3 divide m(15)?
True
Let j(d) = 24*d**2 - 32*d + 144. Is 51 a factor of j(6)?
True
Let s = 17 + -5. Let q = s + 13. Let z = q + 20. Is z a multiple of 15?
True
Suppose -973 = -8*r - 261. Suppose -4*j - 1 = -r. Is j a multiple of 3?
False
Is 2/(((-6)/(-8))/(23 + 34)) a multiple of 24?
False
Let i = 509 - 215. Suppose 0*y + 574 = 4*y - q, 0 = 2*y + 3*q - i. Does 25 divide y?
False
Let m = 109 - 107. Suppose -4*h + 666 = -m*h. Is 14 a factor of h?
False
Suppose -58*g + 4560 = -43*g. Is 13 a factor of g?
False
Suppose -840 = 4*i - 14*i. Suppose 4*f - i = -2*f. Does 2 divide f?
True
Suppose -v + 6*v - 30 = 0. Suppose -v*o + 315 = -57. Is o a multiple of 14?
False
Let c(a) = 7*a**2 - 92*a - 11. Is 64 a factor of c(-15)?
True
Suppose -24*l - 745 = -29*l. Suppose -l*n + 145*n + 580 = 0. Is 5 a factor of n?
True
Let c(s) be the third derivative of -s**4/24 - s**3/6 - 5*s**2. Suppose -2*f - 6 = 14. Does 9 divide c(f)?
True
Let w(b) = -b**2 - 19*b - 8. Is w(-18) a multiple of 5?
True
Let x(t) = -9*t**3 - 8*t**2 + 12*t - 37. Does 117 divide x(-7)?
True
Let h = 9 + -5. Suppose 0 = -p - h*g + 19, -6 = -3*p + g - 1. Suppose p*k + 3*r - 99 = 0, 101 = 3*k + 5*r - 4*r. Is k a multiple of 11?
False
Let p = -34 + 38. Suppose 0 = p*d + 4*m, -d - 4*m = 4*d - 4. Is d a multiple of 2?
True
Is (-111)/((72/(-66) + 1)*1) a multiple of 11?
True
Let i(l) = -l**2 - 5*l - 12. Let w be i(-8). Is 11 a factor of (w/14)/(4/(-308))?
True
Is 75 a factor of ((-456)/190)/(1/(-125))?
True
Suppose -j + 5*r + 6 = -16, -3*r = -2*j + 16. Suppose 5*z - 88 = -j*n, 4*z + 131 = 3*n - 47. Is n a multiple of 11?
False
Let g = -70 - -46. Let p = 56 - g. Is p a multiple of 15?
False
Suppose 38*h - 36*h - 5372 = 0. Is 17 a factor of h?
True
Suppose 2*k = -2*b - k - 3, -4*b - k - 1 = 0. Suppose m + 0*r = 5*r + 10, b = 5*r - 15. Is 11 a factor of m?
False
Let c = -16 - -30. Suppose -25 = -3*q + c. Let k = q - 2. Is 11 a factor of k?
True
Let y(p) = -6 + 1 + 10*p**2 - 8*p + 8. Is y(3) a multiple of 23?
True
Suppose -6*u = -167 - 259. Is 71 a factor of u?
True
Suppose -6*f + 2343 = -1287. Does 11 divide f?
True
Suppose -22*n + n = -19992. Is n a multiple of 8?
True
Suppose 10 = 4*j - 6. Suppose -9*s + 600 = -j*s. Suppose -2*n + s - 18 = 5*d, 3*d - 6 = 0. Is 23 a factor of n?
True
Suppose 6916 = 46*s - 39*s. Is s a multiple of 34?
False
Suppose 280 + 50 = 5*m. Let w = m + -21. Is w a multiple of 7?
False
Let b be (13 - 8)*(-96)/10. Let l = b + 24. Is (l/18)/(6/(-189)) a multiple of 14?
True
Suppose 5*n = 8*n. Let x = -3 - -5. Suppose n = -x*a + a + 9. Does 4 divide a?
False
Suppose -3*q = q - 32. Let j = q + -4. Suppose 6*a - 2*a - 4*u - 52 = 0, -j*u + 8 = 0. Is 15 a factor of a?
True
Let a(x) = -4*x**3 - 4*x**2 - 5*x - 2. Let h be a(-3). Let q = h - 6. Does 11 divide q?
False
Let i(o) = o**3 - 3*o**2 - 8*o + 4. Let b(g) = g**2 - 1. Let f(c) = -4*b(c) - i(c). Suppose 0*d - 5 = d. Is f(d) a multiple of 12?
True
Is 50 a factor of (165/9 + -3)*210/20?
False
Let l be ((-972)/30)/(-9) - 9/15. Let x(q) = 4*q**2 - 5*q + 7. Let t be x(5). Suppose t - 7 = l*s. Is s a multiple of 17?
False
Suppose -v - 1 = -5. Suppose -941 = -v*c + 719. Suppose -4*l + c = l. Is 21 a factor of l?
False
Let k = 64 - 4. Suppose -x - 4*x = -k. Is 4 a factor of x?
True
Let o be 1/3 + 70/15. Suppose 4*f = o*f - 38. Is f a multiple of 19?
True
Suppose -4*x = -49 + 9. Suppose x*m = 5*m + 105. Is m a multiple of 7?
True
Suppose 116*h - 121*h + 120 = 0. Let y = -17 - -5. Let z = h + y. Is z a multiple of 12?
True
Suppose y - 13 = -6. Suppose 8*i - y*i = 69. Is i a multiple of 13?
False
Let k = -537 - -861. Is k a multiple of 27?
True
Let l(m) be the second derivative of -2*m**3 - 29*m**2/2 + 35*m. Is l(-15) a multiple of 42?
False
Let d be 310 + (-1)/((-1)/4). Suppose 2*k + 5*h - d = 0, -2*h = -4*k + 2*k + 300. Is k a multiple of 31?
False
Let y(j) = j**2 + 34*j + 49. Let r be y(-26). Is (1 + (4 - 7))/(6/r) a multiple of 29?
False
Let u = 47 + -19. Suppose -i - 5*m = -u, 0*m = -5*i - 2*m + 25.