Let v(u) = -u**2 + 20*u - 10. Let j(k) be the third derivative of k**5/30 - k**4/4 + 7*k**3/6 - 3*k**2. Let s be j(4). Does 13 divide v(s)?
True
Let g(n) = -n**2 + n + 42. Suppose k + 76 = 3*v, 4*v = 5*k + 113 + 3. Let q = 24 - v. Is 21 a factor of g(q)?
True
Let x be 76/3*-6*(-4)/(-8). Let z = 12 - x. Does 22 divide z?
True
Let k be (4/12)/1*39. Let n = -9 + k. Suppose n*s = 7 + 53. Does 15 divide s?
True
Let x be (-112)/(-52) - (-4)/(-26). Suppose x*r - 3*r - 489 = -3*v, 3*v - 4*r = 498. Is 13 a factor of v?
False
Let x = -25 + 33. Suppose 0 = -13*r + x*r + 25. Suppose -r*z = -z - 36. Does 2 divide z?
False
Let y = -15 + 15. Suppose -14*r + 17*r - 33 = y. Is r a multiple of 2?
False
Let s(w) = 5*w**3 - 8*w**2 - 17*w + 10. Does 22 divide s(6)?
False
Let f be (-1 - (-14766)/15) + (-2)/5. Suppose 5*g - 137 - f = 0. Does 28 divide g?
True
Let d = 21 - 40. Let q = d + 31. Does 3 divide q?
True
Suppose -3*g + 5*g = -z + 19, 5*z = -5*g + 55. Let n(c) be the first derivative of 5*c**2/2 + 26. Is 20 a factor of n(g)?
True
Is (43772/310)/((-2)/(-85)) a multiple of 22?
False
Let j(q) be the third derivative of q**6/120 + q**5/12 - q**4/12 - 5*q**3/6 + 3*q**2. Let l be j(-5). Let d = 9 + l. Does 3 divide d?
False
Let g(n) = -2*n**3 - 19*n**2 + 4*n + 88. Is g(-13) a multiple of 39?
False
Let d(a) = -a**3 - 4*a**2 + 3*a + 9. Let b be d(-6). Let m = -21 + b. Suppose 0 = h + h - m. Does 7 divide h?
True
Let v = -804 - -1557. Does 24 divide v?
False
Does 16 divide 2/4*10*222/15?
False
Suppose 0 = -4*i + 5*h + 6275, h = i + 2*h - 1580. Does 21 divide i?
True
Let m(j) be the first derivative of 11*j**2/2 - 6*j + 1. Let k = 1 + 3. Is 19 a factor of m(k)?
True
Suppose 0 = -17*j + 10*j + 3479. Is j a multiple of 7?
True
Let p(f) = -f**3 + 6*f**2 + 7*f - 9. Let z be p(6). Let k(v) = -v**2 + 7*v - 7. Let s be k(3). Suppose s*b + z = 8*b. Does 7 divide b?
False
Suppose 2*s + 2 = 4*c + 4*s, 3*c - s = 4. Is -12*(c - -7)*(1 + -2) a multiple of 19?
False
Let o(q) = q**3 + 25*q**2 + 51*q - 30. Is o(-22) a multiple of 60?
True
Suppose 4*g - 485 = -g. Suppose g = -y + 180. Is y a multiple of 15?
False
Let y(v) = 17*v**2 - 5*v + 6. Is y(-5) a multiple of 38?
True
Is ((-4)/(-3))/((-21)/(-32004)) a multiple of 10?
False
Let g(u) = -27*u + 12. Let l(s) = 9*s - 4. Let h(m) = -3*g(m) - 8*l(m). Is 43 a factor of h(10)?
True
Let p(t) = -5*t**3 + t**2 - 1. Let f be p(-1). Suppose f*v - 19 = 1. Suppose -217 = -v*i - 41. Is i a multiple of 22?
True
Suppose -319*i = -293*i - 1560. Let u be 1/3 + 22/6. Suppose -2*t = -u*t + i. Is t a multiple of 11?
False
Let o be 1*2/2*-1. Let y = 7 - o. Suppose g + y = 47. Is g a multiple of 27?
False
Let c be (-40)/15 - 3/9. Does 8 divide (-268)/c + 6/(-18)?
False
Suppose -2*y = -15 + 5. Suppose -y*j + 5*z + 45 = -225, 3*z = -3*j + 168. Is j a multiple of 11?
True
Let u(r) = r + 52. Is 9 a factor of u(26)?
False
Suppose -8 = 2*k - 66. Let f be (-832)/(-18) + (-6)/27. Let i = f - k. Is i a multiple of 17?
True
Suppose -45*m = -49*m + 280. Does 7 divide m?
True
Let h = -364 + 620. Does 32 divide h?
True
Let y(s) = -74*s**2 + 3*s + 6. Let w(r) = 1. Let v(l) = -3*w(l) - y(l). Is 10 a factor of v(-2)?
False
Suppose 2*r - 710 = -5*n, -303 = -5*n - r + 402. Is n a multiple of 14?
True
Let b(a) = -a**3 - 19*a**2 + 19*a + 7. Let t(y) = y**3 + y**2 - 20. Let l be t(0). Does 27 divide b(l)?
True
Let z(u) = u**3 - 2*u**2 - 25*u - 18. Does 31 divide z(13)?
False
Let a(z) = z**3 + 11*z**2 - 13*z - 9. Suppose -36 = -16*l + 19*l. Let n be a(l). Suppose -3*p = m - 382, 2*p + m - n*m = 252. Is 34 a factor of p?
False
Suppose -6*g - 20 = -2*g. Let h(l) = -l**2 - 8*l - 12. Let s be h(g). Suppose s*j - 3 = 0, -4*j - j + 47 = 2*u. Is 6 a factor of u?
False
Let u(p) = 84*p - 80*p + 5*p**2 + 3 + 4*p**2. Is u(-3) a multiple of 12?
True
Let d = 57 + -52. Suppose -2*r = -4*b + 966, -d*r + 225 = -2*b + 3*b. Is b a multiple of 37?
False
Let m(z) = -6*z - z - 5 + 2*z**3 + 1 + 8*z**2 - 3*z**3. Is 13 a factor of m(6)?
True
Suppose -4*d - 38 + 14 = 0. Let k(c) = c**3 + 6*c**2. Let y be k(d). Suppose 2*j - 32 = -y*j. Does 9 divide j?
False
Let o(v) = -17*v**2 - 4*v + 3. Let j be o(1). Does 23 divide (46/3)/((-12)/j)?
True
Let h be (150/(-45))/(4/(-6) - 0). Suppose 5*j - 1580 = -h*j. Is 10 a factor of j?
False
Suppose 12*i = 3*i + 306. Let k = 16 - -34. Let h = k - i. Does 5 divide h?
False
Let v(p) = 6*p**2 + 18*p - 58. Is v(-16) a multiple of 10?
True
Suppose -u + 55 = 4*u. Let j = u - 7. Suppose 6*z - 30 = j*z. Is 15 a factor of z?
True
Let b(v) = -v**2 - 4*v + 3. Let i be b(-4). Suppose -24*k = -21*k - i. Is 15 a factor of (13 - 12) + k + 13?
True
Let f = -704 + 1073. Suppose 5*x = 211 + f. Is 31 a factor of x?
False
Suppose -j = 2*z - 112, -j + 109 = -6*z + 5*z. Is 4 a factor of j?
False
Let t(m) be the second derivative of m**4/12 - 4*m**3/3 - 2*m**2 + m. Let r be t(12). Suppose 7*s - 3*s = r. Does 6 divide s?
False
Let a(x) = -39*x + 5. Let j(d) = 506*d - 66. Let c(s) = -66*a(s) - 5*j(s). Let i be c(-1). Let u = 69 + i. Is u a multiple of 5?
True
Let b(s) = -s**3 - 14*s**2 - 14*s - 6. Let f be b(-13). Let n(q) = 7*q - 12. Does 11 divide n(f)?
False
Suppose 135 = 38*c - 33*c - 5*o, -c - 5*o = -33. Does 7 divide c?
True
Does 11 divide ((-2)/4)/((-5)/1210 - 0)?
True
Let s(k) = -k**2 - 5*k + 24. Let c be s(-8). Suppose c*d + 3*d + 264 = 3*o, 0 = -4*o + 5*d + 353. Is o a multiple of 23?
False
Let z(v) = 80*v**2 - 1. Is z(-2) even?
False
Let y(s) = -s**2 + s + 19. Let g(h) = -h + 9. Let n be g(9). Does 4 divide y(n)?
False
Suppose -b = -38 - 47. Suppose 4*u = 375 + b. Is 23 a factor of u?
True
Let c be (-616)/((-2 - -4)/(-2)). Suppose -l = -8*l + c. Is l a multiple of 22?
True
Let q(f) = -f**2 + 8*f + 9. Suppose -3*x - 3*n = -0*x + 6, 0 = x + 2*n - 3. Let z be x/(-3)*27/9. Is q(z) a multiple of 10?
False
Let g = -1209 - -1714. Is g a multiple of 13?
False
Suppose 4*n = x + 3, -5*n - 2*x = 10 - 4. Suppose q = p - n*q - 33, 5*p + q = 183. Is 18 a factor of p?
True
Let d be (-248)/(-88) + 2/11. Suppose -d*q - 256 = -l, -2*l + 0*q = 5*q - 556. Suppose 5*v + 2*f - l = 0, 2*f - 6*f = 4. Is 27 a factor of v?
True
Suppose 5*i - 766 = -3*a, 0*i + 2*i - 5*a = 294. Is i a multiple of 5?
False
Suppose 4*y = -2*a + 628, 118 = y + 5*a - 57. Is 31 a factor of y?
True
Does 18 divide 42/28 + (-885)/4*-2?
False
Let r = 450 - 261. Is 21 a factor of r?
True
Let r(z) = -z**3 + 9*z**2 + 9*z + 6. Let n be r(10). Is 5 + n/(-12)*(6 + 0) a multiple of 2?
False
Suppose 119 = 17*c - 884. Is 8 a factor of c?
False
Suppose r - 649 = 5*u, -u - 1975 = -3*r - 0*u. Is 24 a factor of r?
False
Suppose 2 - 5 = -3*t. Suppose -3*o + 10 = 2*m, 4*m = 4*o - 5*o - 10. Does 5 divide (30/9)/(t/o)?
True
Let i = -4 + 4. Suppose -g + 8 - 2 = i. Is 13 a factor of (-3)/1 - (-15 - g)?
False
Suppose -6*n + 4*n = -2. Let v = n - -1. Is 4 a factor of (-1 - v/(-1)) + 11?
True
Is 9 a factor of (-30)/(-20) + (-1)/(2/(-131))?
False
Suppose -7*z + 3*z + 3*d = 73, 0 = -3*z + 5*d - 52. Let y = -1253 - -1298. Let t = y + z. Is t a multiple of 13?
True
Let f(s) = s**3 + 5*s**2 + 2*s - 3. Let o = -7 + 7. Suppose -3*h - 5*c = 7, o = -4*h + 3*c - 29 + 10. Is f(h) a multiple of 5?
True
Let o(a) = 12*a**2 - 11*a - 12. Does 37 divide o(-5)?
False
Suppose 0 = -5*h - 4*v + 451, v = 5*h - 9*h + 352. Is (h/(-2))/((-27)/12 - -2) a multiple of 9?
False
Does 27 divide (264 - (-15)/(-3))/(-1 - -2)?
False
Is 5 a factor of -3 + ((-28)/(-3))/((-16)/(-48))?
True
Let b be (-1*(-3)/6)/(2/1400). Let f = -221 + b. Does 18 divide f?
False
Let x(h) = h + 22. Let k be x(-7). Let y(f) = f**3 - 7*f**2 + 8*f - 1. Let t be y(6). Let o = k - t. Is o a multiple of 3?
False
Let f be (2 + (-48)/30)*(-70)/2. Let d(m) = m**3 + 14*m**2 - 19*m + 14. Does 12 divide d(f)?
False
Suppose 12 = 2*w - 10. Let x be w/((1 - 2)*1). Is 18 a factor of 4/(-3)*(-4 + x)?
False
Suppose -4*u - 45 = -9*u. Suppose 0 = 4*y - 4*d - 20, 4*d + 29 = -2*y + u. Suppose -3*k = 3*z - 126, 2*k = -y*z - 4*z + 164. Is z a multiple of 21?
False
Let m(p) = p**3 + 28*p**2 - 21*p - 63. Does 16 divide m(-28)?
False
Suppose 134*h - 9865 = 131*h + 5*k, -k = 2*h - 6568. Does 15 divide h?
True
Let l = 87 + -91. Does 2 divide (l/(-6))/((-12)/(-450))?
False
Suppose -2*y = -3*c - 4*y + 28, -5 = -y. Suppose 2 = 2*x - c