 -11*a**4/4 - a**3/3 + 4*a**2 + 6*a - 27. Is s(-3) a multiple of 54?
True
Let d be -5*(36/15)/(-3). Let m = 91 + -76. Suppose -z + m = d. Is z a multiple of 11?
True
Suppose -4*o - w + 9967 = 0, 2*o - 12*w - 4986 = -10*w. Does 100 divide o?
False
Let c = 12 + -18. Is 8*216/80 - c/(-10) a multiple of 5?
False
Let v = 15 + -11. Let c be -2 - (8/v - -8). Is (-85)/(-4) + (-9)/c a multiple of 15?
False
Let c be 9*(1 - 5/3). Let x(p) = -26*p + 7. Let h(j) = j - 1. Let k(o) = 4*h(o) + x(o). Does 28 divide k(c)?
False
Let x be (21/(-14))/(3/4). Let j be 1 + 9/(9/x). Is 19 a factor of 4 + -7 - 41/j?
True
Suppose -56*k - 240 = -64*k. Does 10 divide k?
True
Let r = 231 + 502. Does 2 divide r?
False
Let t(s) = -s**2 - 3*s + 4. Let b be t(-4). Suppose -4*k + 8*k - 120 = b. Is k a multiple of 5?
True
Let t(n) = -n**3 - 7*n**2 - 8*n - 9. Let s be t(-6). Suppose -5*o + i = -62, -o - i + 4 = s*i. Suppose 5*k + o = 132. Is k a multiple of 8?
True
Let r = 241 + -41. Is 14 a factor of r?
False
Let x(t) = 2*t**2 - 13*t + 99. Does 81 divide x(18)?
False
Suppose -267 = -3*h - 5*n, 9*h = 11*h + 2*n - 178. Does 6 divide h?
False
Suppose -2*a + g - 219 = a, -4*a + 2*g = 290. Let s = -7 - a. Does 7 divide s?
False
Let v(n) be the third derivative of -n**4/8 - 41*n**3/6 - 21*n**2. Does 3 divide v(-25)?
False
Suppose 6*l - 9*l = 0. Suppose y + 54 = -b, y + 58 = -l*y - 2*b. Let o = -23 - y. Is o a multiple of 22?
False
Suppose 0 = 12*r - 13 + 37. Suppose 0*l + l - 1 = 0. Is 18/r*(-2)/l a multiple of 18?
True
Let b = -13 + 17. Suppose w - b*w = -12. Suppose -3*h + 3*i + 84 = -45, w*h + i = 197. Is h a multiple of 24?
True
Let f(h) = 135*h**3 - 2*h**2 + 3 + 3*h + 7 - 134*h**3 - 5. Is f(5) a multiple of 36?
False
Let p(x) = 2*x**3 + 55*x**2 + 60*x - 33. Does 29 divide p(-26)?
True
Suppose 15*v = 14*v + 238. Let p = -123 + v. Is 37 a factor of p?
False
Suppose -3 = 4*f - f. Let h(d) = -16*d. Is h(f) a multiple of 6?
False
Let c = -38 + 40. Suppose b = z + 70, 4*b - 265 = -z + c*z. Is 50 a factor of b?
False
Is 32 a factor of 5/(20/64)*6?
True
Let g = 54 + -11. Suppose -2*v - r = -v + g, 3*v + 2*r = -125. Let n = v + 69. Is n a multiple of 30?
True
Let u(f) = f**3 - 7*f**2 + 2*f + 8. Suppose 5*j = -0*j + 5*p + 270, -5*p + 10 = 0. Let v be j/(-12)*3/(-2). Does 11 divide u(v)?
True
Suppose x - 2*x = -1397. Is x a multiple of 20?
False
Let y(x) = -2*x**2 + x + 18. Suppose 4*d + 5*c = -11, -3*d - 2*c = -3*c + 13. Let b(w) = w**2 - w - 9. Let f(v) = d*y(v) - 7*b(v). Is 12 a factor of f(-7)?
False
Let g = 348 + 1380. Is g a multiple of 64?
True
Let u = 22 + 93. Is u a multiple of 23?
True
Let w(r) = -17*r**2 - r. Let a(k) = -7 - 8 + 16. Let m(h) = -a(h) - w(h). Does 3 divide m(1)?
False
Does 54 divide 10/55 - 34704/(-66)?
False
Suppose 1148 = n + m, 2*n + 19*m - 21*m = 2296. Is 14 a factor of n?
True
Let q(s) be the third derivative of -s**4/4 - 29*s**3/6 - 9*s**2. Is 16 a factor of q(-12)?
False
Let c = 24 - 24. Suppose c = -4*y - 0*v - 2*v + 142, -5*v + 175 = 5*y. Is y a multiple of 18?
True
Let m = -2 + 4. Let z = -70 - -100. Is 10 a factor of z/1 - (-5 + m)?
False
Let l(g) = -3*g + 5. Let b be l(11). Let o(x) = -x**3 - 29*x**2 - 29*x + 31. Is o(b) a multiple of 27?
False
Suppose 0 = 4*i + 3*r - 53 - 10, 10 = 2*r. Let d be 45/4 + (-3)/i. Suppose 8*m = d*m - 15. Does 5 divide m?
True
Let a = -1023 - -1779. Does 14 divide a?
True
Let q = 25 - 12. Suppose -q = 4*v - 165. Suppose 2 + v = 5*t. Is t a multiple of 4?
True
Let v = -89 - -97. Let i(g) = 3*g**2 + 6*g + 24. Does 37 divide i(v)?
False
Suppose 4*j = 5*n - 763, -2*n = -0*n - 5*j - 312. Suppose 0 = -3*i, y - 2*i - n = 2*i. Suppose 5*q = 9 + y. Does 16 divide q?
True
Let o be 3/(-27)*-2374 + 4/18. Suppose u = 4*u - o. Is 8 a factor of u?
True
Suppose 14*s = 5*s + 45. Suppose -60 = s*d - 465. Does 14 divide d?
False
Let n(t) be the first derivative of -t**5/20 + t**4/2 + t**3/2 - 3*t**2 - 5*t + 5. Let j(v) be the first derivative of n(v). Is j(6) a multiple of 4?
True
Suppose 3*b - 2 = 4. Is (-350)/(-12) + b*3/(-36) a multiple of 5?
False
Let l(o) = o**3 + 6*o**2 - 6*o + 8. Let x be l(-6). Let k = 91 - x. Is 9 a factor of k?
False
Let p(g) = 6*g**3 + g**2 + 2*g + 1. Let w be p(-1). Let z(j) = j - 872. Let n be z(0). Does 12 divide w/27 - n/36?
True
Suppose 0 = -2*p + w - 7, -2*w + 5 = 2*p + 3. Let m(z) = 5*z**2 + z + 3. Let s(r) = -r**2 + 1. Let u(d) = m(d) - s(d). Is 24 a factor of u(p)?
True
Suppose -2*v + 447 - 20 = -m, -5*v - 4*m + 1074 = 0. Is v a multiple of 9?
False
Suppose -4 = -4*t, -2*t = -0*v - v - 3. Let j be (-1)/((-1)/v) - 13. Let y = j + 36. Is 11 a factor of y?
True
Let s(p) = 5*p**2 - 60*p - 5. Is s(-13) a multiple of 27?
True
Suppose 4*j - 2260 = 1960. Does 65 divide j?
False
Suppose 5*b - b - 16 = 0. Suppose -20*k = -16*k - 120. Suppose b*i + 2*x - 6 - k = 0, -i = -5*x - 31. Is 11 a factor of i?
True
Suppose -2*r + q - 128 = 3*r, 0 = 2*q + 4. Let c be 598/5 - r/65. Suppose 0 = -0*j + 5*j - c. Does 12 divide j?
True
Is 3525/(-100)*24/(-9) a multiple of 26?
False
Let y(l) = -l**2 + 8*l - 15. Let b be y(3). Is (b - 0) + (-12)/(-3) - -44 a multiple of 8?
True
Let m = -263 - -299. Is m a multiple of 20?
False
Let w be 13/1*(5 - 6). Let y(x) = x**3 + 14*x**2 + 12*x - 8. Let i be y(w). Let t(u) = 2*u**2 - 4*u + 3. Does 12 divide t(i)?
False
Let s be (-16)/(-72) - (-70)/9. Suppose 4*f = -12*b + s*b + 720, 3*f - 188 = -b. Is b a multiple of 22?
True
Let v(u) = 3*u**3 + 4*u**2 - 3*u. Suppose -3*z - 2*f = -5*f, 0 = z - 2*f. Suppose z = -5*p - 9 + 19. Is 6 a factor of v(p)?
False
Suppose -5*d + 4*m + 322 = -0*m, 0 = -2*d + m + 130. Is d a multiple of 11?
True
Let o = -4 - -8. Suppose -4 = -4*s + o, -2*t - s = -8. Suppose t*x - 19 = 2*n + 87, 5*x - 2*n = 174. Is 17 a factor of x?
True
Let s = 8 - 7. Let p be s + (-4 - (-2 - 124)). Suppose -4*v - 6*l = -l - 103, 0 = -4*v - l + p. Does 16 divide v?
True
Let u = 4 + -1. Suppose b - 85 = -2*t - 0*t, -2*t - u*b + 95 = 0. Does 5 divide t?
True
Is 30 a factor of ((-4)/(-12))/((-4)/(-4728)) + -4?
True
Let x be (0 + 3 + 0)*1. Suppose 5*b + 0*z = x*z + 340, 3*z + 272 = 4*b. Does 34 divide b?
True
Is (-3)/((-6)/(-8924))*76/(-152) a multiple of 29?
False
Suppose -3*q - 3*c - 15 = -57, -2*q + 3*c + 28 = 0. Let x = q + 12. Let r = x + -4. Is r a multiple of 11?
True
Let u = 27 - -3. Suppose -5*d + 3*z - u = 0, -4*d = -9*d + 5*z - 40. Is 11 a factor of ((-7)/d)/((-25)/(-825))?
True
Is 43 a factor of 1/3 - (29788/(-33) - 9)?
False
Suppose -4*r + 13 = -3. Let k be (-10)/(-20) + 6/r. Suppose -2*o - o + 33 = -2*v, -k*o - 2*v + 12 = 0. Is 8 a factor of o?
False
Let j(v) = -v**2 + 0*v**2 - 2*v - v**3 + 2 + 7*v + 4*v**2. Let a be j(4). Suppose u = -2*y + 13, -y + a*y - u = 22. Does 2 divide y?
False
Let g(z) = 2*z**2 + 5*z - 25. Is 9 a factor of g(4)?
True
Let o(s) = 6*s + 5. Let t be o(-1). Is 5 a factor of 30 + (t - -3) + 4?
False
Suppose 25*w + 3198 = 31*w. Does 35 divide w?
False
Let b be ((-1)/3)/(7/(-7791)). Suppose 4*t + 0*u - 301 = -3*u, 5*t = -2*u + b. Is t a multiple of 15?
False
Let a be (-1)/(1 + (-50)/49). Suppose 0 = -3*y + 2*k - a, -6*y + 5*y = k + 8. Let j = 38 + y. Does 18 divide j?
False
Suppose 0 = -p + 5, 2*k - 3*k + 1921 = -p. Does 24 divide (-6)/16 + k/16?
True
Suppose -4*y - 80 = -0*y. Let q be y/(-15) + 6/9. Suppose -3*p + q*r + 190 = 2*p, 0 = -p - 4*r + 38. Is p a multiple of 6?
False
Let k = 26 - 28. Let w be 8/(-4)*1 - k. Suppose -5*v + 6*a = a - 75, 5*v - 2*a - 66 = w. Is 12 a factor of v?
True
Let z be 0/(5/(10/(-4))). Suppose -5*l + 10 = -0*l, -5*t + 5*l + 190 = z. Is 20 a factor of t?
True
Suppose 2*j + 4 = 0, -j = -3*s - 0*s - 10. Is 1/(4 + -5)*s even?
True
Does 6 divide (-20196)/(-84) - (-4)/7?
False
Suppose q + 5 = 0, -2*b + 3*q = -21 - 2. Suppose -b*o = -o - 6. Suppose -o*k - 5*p + 226 = 0, 3*k = -4*p - 0*p + 353. Is k a multiple of 21?
False
Let i(n) be the first derivative of -n**4/4 + 2*n**3 + n**2/2 + n - 5. Suppose 5*w = 5*d - 0*d + 45, 2*w - 3 = -3*d. Is 7 a factor of i(w)?
True
Suppose 0*x - 3*x - 39 = 0. Is 9 a factor of (-54)/(-6)*x/(-3)?
False
Suppose h + 5*j = -0*j + 447, -h - 2*j + 459 = 0. Is 40 a factor of h?
False
Does 19 divide 304/(-5)*105/(-14)?
True
Suppose -5*g + 2*k + 3086 = 0, 4*k - 1077 - 759 = -3*g. Is g a multiple of 7?
True
Is (-4)