*2 - r + 2. Let z be o(3). Let k = z - 3. Suppose -22 = -6*y + k*y. Is 11 a factor of y?
True
Let r(c) = 3*c**2 - 8*c - 14. Let z be -22*3/(-6) + -4. Is r(z) a multiple of 12?
False
Let o(d) be the first derivative of 25*d**4/4 + 2*d**3/3 - d**2 + d + 6. Let w be o(2). Suppose 0 = -q + 5*q, -5*y + w = q. Is 9 a factor of y?
False
Let g(j) be the second derivative of -2*j + 1/2*j**3 + 0 + 2*j**2. Is 4 a factor of g(3)?
False
Suppose -3*o = -o + 66. Let l = o - -46. Suppose 9*y + 52 = l*y. Does 13 divide y?
True
Let a(f) = f**3 + 10*f**2 - f - 8. Let z be a(-10). Suppose 10 = 5*y, 0*y = 4*j + z*y - 916. Suppose -6*p + 2*p = -j. Is p a multiple of 17?
False
Let q(j) = 4*j**3 - j**2 + j - 3. Let m be (-59)/5 - 1/5. Let g = m + 15. Is q(g) a multiple of 18?
False
Suppose -12 + 10 = -2*i. Is (1 + 8)*(i - 0) a multiple of 6?
False
Suppose 0 = 4*u, -82 - 62 = 3*y - 5*u. Let g = y - -71. Does 19 divide g?
False
Suppose 2*m - j + 28 = -5*j, -51 = 3*m + 3*j. Let i be 4*26*(-85)/m. Suppose 426 = 5*o + 2*z, i = 5*o + 4*z + 20. Does 18 divide o?
False
Suppose 61*h = 72*h - 15510. Is 47 a factor of h?
True
Is 3 a factor of ((-9)/3 - -21)*4/12?
True
Let m = 6 + -16. Let l = m + 14. Suppose -5*c = l*q - 14 + 2, 3*q = -c - 2. Does 4 divide c?
True
Let o be (32/(-12))/(2/(-12)). Let k(p) = -p**3 + 2*p**2 - p + 4. Let r be k(3). Let c = r + o. Is c a multiple of 5?
False
Let s = 235 + -68. Let m = s - 108. Is m a multiple of 24?
False
Suppose -2*l = l - 36. Let i be -15*(-4)/l - 2. Suppose 24 = j + 2*u, -i*u + 4*u - 3 = 0. Does 18 divide j?
True
Let c = 413 + -224. Does 6 divide c?
False
Let j(x) = -13*x**2 - 5*x + 3. Let b be j(3). Let w be (-6)/10 + b/(-15). Let u = 4 + w. Does 6 divide u?
True
Suppose 3*l = -2*o - 2*l + 166, o - 70 = 4*l. Is 6 a factor of o?
True
Suppose -3*b = -4*u + 31 + 1, u = 5. Let y be (-4 - -2)/(b/6). Suppose -y*g - 5*i = -73, g = 2*g - i - 11. Does 8 divide g?
True
Let g(z) = 3*z**2 - 4*z + 2. Let w be g(2). Let n(x) = -x + 6. Let j(y) = -4*y + 9. Let v(l) = -j(l) + 2*n(l). Is v(w) a multiple of 15?
True
Let d = -9 + 6. Let q(z) be the first derivative of 11*z**3/3 + z**2 - 4*z - 3. Is q(d) a multiple of 33?
False
Let x(a) = a**3 - 3*a**2 + 52. Let l = -25 - -25. Does 13 divide x(l)?
True
Suppose 3*l - 10975 = 34*d - 30*d, -2*l - 3*d + 7328 = 0. Does 28 divide l?
False
Let k(x) = -87*x + 6. Let b be k(-2). Suppose 3*s = -s + b. Is s a multiple of 15?
True
Let a(x) = 3*x - 13*x**2 - 2*x - x**3 + 6*x + 5*x - 17. Let f be a(-14). Suppose -f*z = -9*z - 152. Does 19 divide z?
True
Let f(c) = 2*c**2 + 7*c + 4. Let d be f(-4). Suppose 30 = -3*y + d*y. Suppose -y*o + 107 + 133 = 0. Is 8 a factor of o?
True
Let y be 3*(-1)/6*-14. Let r(u) = -2*u - 3 + 6*u - 3*u + 2*u**3 + u**2 - y*u**2. Is 15 a factor of r(5)?
False
Let q = -29 + 34. Suppose q*x - 5*r - 10 = 0, -x = -5*r + r + 10. Does 6 divide x?
True
Let q = 313 + -212. Let s = q + -61. Does 8 divide s?
True
Suppose 17*y - 4100 = -326. Let j = 77 - 203. Let g = y + j. Is 24 a factor of g?
True
Does 27 divide ((-148)/6)/(10/(-540))?
False
Suppose 4*m = -2*w + 12, -m + 4*m = w + 19. Let q = -32 + 22. Is 10 a factor of (q/w + -3)*-60?
True
Let p(t) = -t**3 - 15*t**2 - 17*t - 21. Let u be p(-14). Let v = 46 - u. Does 3 divide v?
False
Suppose -7*l + 106554 = 14*l. Does 118 divide l?
True
Suppose -3*p + 0*p = -4*k + 178, 2*p - 2*k = -118. Let g = p - -65. Is g a multiple of 7?
True
Let g = -23 + 8. Let l = 274 + -208. Let p = l - g. Does 15 divide p?
False
Let l = 87 - 159. Does 8 divide ((70/(-6))/7)/(1/l)?
True
Suppose -7*q = -2*q + 25, 4*q = -v - 15. Suppose -y + 164 = -v*d, 43 + 49 = -3*d - y. Let g = d + 36. Is 4 a factor of g?
True
Is 130/(-585) + (-33142)/(-18) a multiple of 79?
False
Let l = -70 + 75. Suppose 2*m - 78 = m + 2*i, -l*m = 2*i - 378. Is 28 a factor of m?
False
Does 43 divide (-1 + 66/10)/(41/410)?
False
Let w(l) = -3*l - 29. Let x be w(-12). Let c = 43 - x. Is c a multiple of 7?
False
Suppose 20 = -3*a - 16. Is 5 a factor of (90 - 0)*a/(-36)?
True
Let x be (-9)/6*228/(-18). Suppose 0 = -3*y - y - 4*l + 4, -3*y + l = -x. Is (-2 - -10)*y/2 a multiple of 5?
True
Suppose 2823 = -896*p + 899*p. Does 3 divide p?
False
Let n(h) be the first derivative of h**7/840 - 7*h**6/360 + h**5/40 + h**4/8 + 2*h**3 - 5. Let o(k) be the third derivative of n(k). Is o(7) a multiple of 6?
True
Let b(o) = 73*o**2 + 215*o - 6. Is b(-6) a multiple of 36?
True
Let p = 2494 + -1440. Is 34 a factor of p?
True
Is 359 - 5/((-20)/(-16)) a multiple of 55?
False
Suppose -5 = 2*d + 11. Let u = -6 - d. Let a = 17 - u. Is 5 a factor of a?
True
Suppose 9*o - 6*o - 354 = 0. Let d = o - 68. Is d a multiple of 50?
True
Does 26 divide (4 - 8) + 782 - 2?
False
Let j(o) = -3*o - 3. Let s be ((-6)/4 + 2)*2. Let r = s - 4. Is j(r) a multiple of 5?
False
Let o be (0 - -1)*-24 + 3. Let t be 368/14 + 6/o. Is 11 a factor of -1*((-6)/3 - t)?
False
Let a be (-11 - 0)/(2/(-6)). Let b = a + -26. Is b a multiple of 7?
True
Let f(x) = -x**3 + 25*x**2 - 3*x. Is 63 a factor of f(24)?
True
Let s(d) = 4*d - 3*d - 2*d - 8. Let u be s(-11). Suppose u*q + 4*m + 58 - 152 = 0, -2*q = 5*m - 51. Is 15 a factor of q?
False
Let g = -156 - -828. Is 16 a factor of g?
True
Let t(k) = -k**3 + 18*k**2 - 15*k - 48. Does 16 divide t(15)?
False
Let o be ((-14)/4)/(2/(-4)). Suppose 4*l = 2*q + 50, 0 = -2*l + o*l + 2*q - 40. Suppose 12*d - l*d - 96 = 0. Does 15 divide d?
False
Suppose -115*i + 1260 = -112*i. Is i a multiple of 28?
True
Suppose -1649 = -12*q + 643. Is q even?
False
Let v(d) = -d**3 + 29*d**2 - 21*d - 447. Is v(27) a multiple of 6?
True
Suppose 0 = 3*h - h. Suppose h = -5*d + 8 + 2. Suppose 2*v - 3*v - 3*q = -27, -d*v = -q - 26. Is v a multiple of 5?
True
Let w(x) = 2*x + 30. Let q be w(-15). Suppose 4*v + v - 180 = q. Does 9 divide v?
True
Let r(p) be the third derivative of -p**6/120 + p**5/12 - p**4/8 - 5*p**2. Let q be r(4). Suppose 13 = q*f - 3*f. Is 13 a factor of f?
True
Let h(y) be the second derivative of -y**3/2 - 3*y. Let i be h(-3). Suppose -3*l + i = -81. Is l a multiple of 10?
True
Suppose -772*l - 1729 = -779*l. Does 24 divide l?
False
Let i be ((-20)/50)/((3/5)/(-3)). Suppose -5*j + 612 = -o, -4*j = -i*o - 0*o - 492. Is j a multiple of 12?
False
Let s = 32 + -34. Let b(c) = -6*c + 4. Is 4 a factor of b(s)?
True
Let i = -24 + 34. Let x be (8/i)/((-6)/75). Let o = 16 + x. Is 6 a factor of o?
True
Let o(r) = 3*r + 2 + 13*r**3 - 10*r**3 + 2*r**2 + 0*r**3 + 10*r. Is 30 a factor of o(4)?
False
Let k(j) = 2*j**2 - 7*j - 11. Let i be k(9). Let q be (i/55)/((-4)/(-10)). Is -3 - 188/(-8 + q) a multiple of 11?
True
Suppose -110 = 5*s + 10. Suppose -a + 12 = -37. Let b = s + a. Does 7 divide b?
False
Let k be 5/(-2)*(-12)/10. Let t = -203 - -205. Suppose t*b - n = 107, k = 6*n - 3*n. Is 24 a factor of b?
False
Let d be (-64)/(-14) + 3/7. Suppose -d = s + 30. Is (-56)/s*(-70)/(-2) a multiple of 28?
True
Let n(f) = -f**2 + 4*f + 9. Let x be (-6)/(-9) - (-30)/9. Suppose -x*k - 3*g = -23, 4*g + 3 = -k + 12. Does 3 divide n(k)?
False
Let b = 45 - 50. Let w = b + 52. Does 7 divide w?
False
Suppose 5*b = 803 + 4992. Does 12 divide b?
False
Let x = 11 - 8. Suppose -8*b = -x*b - 5. Is (-89)/(-1) - (3 - b) a multiple of 29?
True
Let k be ((14/3)/7)/((-6)/(-2367)). Suppose 5*l - k = -d, -2*d + 224 - 10 = 4*l. Is 13 a factor of l?
True
Let v = -1 - -3. Suppose -v*m - 7 = -31. Is 12/(-5)*(-40)/m a multiple of 6?
False
Let d(v) = v**3 + 25*v**2 - 11*v - 112. Is d(-23) a multiple of 131?
False
Let l = -84 + 357. Does 13 divide l?
True
Suppose 5 = a - 6*a, -2*a = -3*r + 602. Suppose 5*s = z + 2*z - 681, 5*s = 5*z - 675. Let y = s + r. Does 31 divide y?
True
Suppose -8*f + 3*f = -605. Let g = f - -30. Suppose -5*s - 4*n = -2*s - 101, -2*n = -5*s + g. Is s a multiple of 11?
False
Suppose 4*j - 6*j = 2. Let f(l) = -3*l**2 + l. Let n be f(j). Is n/8 - (-41)/2 a multiple of 17?
False
Suppose -4*x = 4*m - 24, 0*x = x - 3*m - 2. Let b = 9 - x. Suppose -5*a + 35 = 5*g, -13 = -4*a + b*g + 55. Is 3 a factor of a?
True
Suppose 8*d + 15*d = 18239. Does 39 divide d?
False
Let f = -19 + -1. Let s = f - -14. Let i = s - -26. Is i a multiple of 10?
True
Suppose 4*p - 1797 = -93*b + 92*b, 0 = -2*p + 5*b + 893. Is p a multiple of 10?
False
Let q(s) = 3*s - 8. Let