et c(u) be the first derivative of -u**4/4 - 5*u**2/2 + 375*u + 24. Is c(0) a multiple of 25?
True
Let i = -648 - -956. Let p = i - 261. Is p a multiple of 4?
False
Suppose -s + 2*s + 10 = 0. Let t = 15 + s. Suppose 2*k = -2*a + 146, a = -2*a + t*k + 235. Does 6 divide a?
False
Let s(r) = -2*r - 4*r**3 - 2*r**2 - 4*r - 5*r**2. Let t be (6/5)/((-2660)/200 + 13). Does 42 divide s(t)?
True
Let j be ((-454)/(-4))/((-1)/(-4)*2). Let r(t) = -j*t**2 + 369*t**2 - t + 3 - 3. Does 10 divide r(-1)?
False
Is 14 a factor of 585/(-156)*(-170352)/65?
True
Let m(k) = k**3 - 3*k - 68. Is 34 a factor of m(17)?
True
Let g = 25 - 29. Let j be -206*(-2)/g*-1. Suppose 2*o + 4*k = -k + 206, 5*k - j = -o. Is 17 a factor of o?
False
Suppose -5*k = 2*v - 113, -5*k = -3*k + v - 45. Let q(p) = 7*p**2 + 4*p + 2. Let n be q(-2). Let i = k + n. Is i a multiple of 15?
True
Let m be (4 - -3*(-21)/(-9)) + 4. Suppose 6*p = m*p - 3483. Is p a multiple of 9?
True
Let j be 16/2*(-3)/(-6). Suppose -g = -3*m + 1144, -g + 1511 + 19 = j*m. Is 91 a factor of m?
False
Suppose 5*p + 30 = -4*s + 9*s, -2*s = -5*p - 24. Is ((-21)/p)/((-84)/(-2240)) a multiple of 35?
True
Suppose f = 4*p + 8042, -47*f + 42*f + 40300 = -5*p. Does 37 divide f?
True
Let s(j) = 17*j**3 + 2*j - 3. Suppose -7*w + 14 - 7 = 0. Is s(w) a multiple of 3?
False
Let k(o) = 39*o**2 - 325*o + 1559. Does 6 divide k(5)?
False
Let a(b) = -3*b + 6. Let h(u) = -6*u + 12. Let l(p) = -9*a(p) + 4*h(p). Let z be l(-4). Does 32 divide 3/(z/392)*6/(-4)?
False
Suppose 84480 = 404*l - 308*l. Is l a multiple of 12?
False
Let y(c) = -c**3 + c**2 - c + 9. Suppose 78 = 4*n - 22. Suppose -5*j = o + 3*o - 20, 5*o - n = -j. Does 9 divide y(j)?
True
Let f = 34 + -7. Suppose f*s = 37*s - 4080. Is s a multiple of 12?
True
Let p = 110204 - 62819. Does 195 divide p?
True
Let k be 102/(-119) - 54/(-14). Suppose -k*m = -4*a + 268, 3*m + 473 - 141 = 5*a. Does 32 divide a?
True
Suppose 0*f + 3*x = 4*f - 3323, 2*f = -4*x + 1678. Is 5 a factor of f/(-17)*-3*4/3?
False
Let u be (6 - 0) + (-1 - 2). Is 7 a factor of u + (2 + 1)/3 + 297?
True
Let y(z) = z**3 + 35*z**2 - 42*z - 806. Is 8 a factor of y(-17)?
False
Let k(g) = 30*g**2 + 20*g - 64. Let f be k(3). Let r = f + -92. Is 7 a factor of r?
False
Suppose -38 = -17*z - 4. Suppose v - 2*s - 33 = s, 4*s + z = -v. Is v a multiple of 18?
True
Suppose -5*u + 5*s + 10 = 0, -10*s = u - 15*s + 6. Suppose -922 + 1282 = u*c. Is 5 a factor of c?
True
Let r = -683 + 1209. Suppose 5*w - 51 = 4*t - r, t - 475 = 5*w. Does 13 divide w/(-15) - 6 - (-167)/3?
False
Suppose a + 6 = 0, 3*a = z + 780 - 4630. Is z a multiple of 5?
False
Suppose 5*c - 4*x - 116073 = 0, 680*c - 676*c - 92880 = -4*x. Is c a multiple of 109?
True
Let a(x) = -x**3 - 24*x**2 + 11. Let z = 11 + -14. Let s be 1/(z*(-2)/(-144)). Is a(s) a multiple of 11?
True
Let r(m) be the second derivative of m**5/20 - 2*m**4/3 - m**3/3 - 2*m**2 - 5*m. Let n be r(8). Is 11 a factor of (n/(-15))/((-10)/(-165))?
True
Let w(j) = 147*j**2 + 3*j - 2. Suppose 6*u - 10*u + 244 = 0. Let h = 62 - u. Does 37 divide w(h)?
True
Let l = 421 - 390. Does 3 divide (l/93)/((-2)/(-1272))?
False
Let r(d) = -2*d**3 - d**2 - 5*d + 6. Let q be r(-5). Let z = q - 135. Suppose 33 = -o + z. Is 16 a factor of o?
False
Let f be (-19460)/(-126) + (-12)/27. Is 9 a factor of f/22 + 2 + 67?
False
Suppose 3*y - r - 16 = 0, -2*y + 3*r + 5 = -1. Let j be ((-5)/(-10))/(1/(-4)) - -457. Suppose -y*d + 13*d = j. Is 22 a factor of d?
False
Let k(l) = 164*l**3 + 3*l**2 - 4*l + 1. Let r be k(1). Suppose -2*u - a - 4*a - 68 = 0, -3*a - r = 4*u. Let p = 50 + u. Is 2 a factor of p?
True
Suppose -300 = 41*s - 56*s. Suppose s*q - 18480 = -8*q. Is 20 a factor of q?
True
Let o(y) = -29 + 9 - 29 + 5*y - 28. Does 7 divide o(29)?
False
Let i = -16100 - -17220. Is 112 a factor of i?
True
Suppose -12*s + 2481 = -939. Let w = -206 + s. Is w a multiple of 2?
False
Let c(l) = -l + 26. Let p be c(4). Suppose -p*q - 4348 + 12818 = 0. Is q a multiple of 11?
True
Suppose 3*j + 4*t + 4 = 0, 7*t = 3*j + 6*t - 16. Suppose -105 = -r + 63. Suppose 0*p = -4*b + 4*p + r, 5*b = -j*p + 210. Does 14 divide b?
True
Suppose 4*b - 34 = 2*b. Let x be (-1579)/(-5) + b/85. Suppose -3*h = -5*h + x. Does 15 divide h?
False
Is -12 + 2835136/96 + 2/(-3)*1 a multiple of 24?
True
Is ((-14547)/104*-4)/((-3)/(-2)) a multiple of 8?
False
Let i be 8/(-6)*(-207)/138. Suppose -953 = -g + 5*q, -i*q = -5*g + 4675 + 21. Is 22 a factor of g?
False
Let x(o) = -12*o - 17*o + 31*o - o**2 + 13*o + 141 - 16*o. Suppose l = -l. Is 47 a factor of x(l)?
True
Let d(v) = 259*v**2 + 9*v - 13. Is 69 a factor of d(-5)?
True
Is 23 a factor of 46/(89*(-10)/100 - -9)?
True
Let b(n) = 182*n**2 + 14*n - 144. Is 12 a factor of b(6)?
True
Suppose -3*h + 5*i = -20, 0 = -3*h - 3*i - 12. Suppose 3*r = -h*r + a + 497, 4*a - 668 = -4*r. Does 13 divide r?
False
Let u(i) = i**2 - 2*i - 6. Suppose -5*n + 14 = -11. Let k be u(n). Suppose k*m = 5*m + 704. Does 22 divide m?
True
Let f be 22/77 - 928/14. Let b = 63 + f. Let c(z) = 5*z**2 - z + 3. Is 17 a factor of c(b)?
True
Let t(o) = o**3 + 35*o**2 + 12*o - 53. Is t(-30) a multiple of 67?
True
Suppose 0 = -8*k + 350 - 302. Does 4 divide k - 2 - (3 - 7)?
True
Let o(c) = c**3 - 19*c**2 + 34*c + 4. Let s be o(17). Suppose -5*l = -s*l - 273. Does 21 divide l?
True
Let u(c) = -c**2 + 10*c - 13. Let a be u(15). Is (4/((-128)/a))/(2/48) a multiple of 22?
True
Suppose 0 = -6267*q + 6259*q + 267464. Is 12 a factor of q?
False
Suppose 18 = -c - 5*c. Let u be (3 - (-1 - c))*174. Let j = u + -89. Is j a multiple of 7?
False
Let k be (3 + (4 - (3 + -2)))/2. Suppose -m - 5*t + 174 = -349, -5*m = k*t - 2527. Is m a multiple of 5?
False
Let f(w) = w**2 - w - 9. Let y be f(-3). Let n be y/(-6)*1 - (-63)/6. Suppose n*d = 13*d - 144. Does 20 divide d?
False
Let r = -395 - -251. Let i = r - -249. Is i a multiple of 7?
True
Suppose 9 = 5*g - 2*z - 11, 4*z + 20 = 0. Let f(l) = 33*l + 104. Is f(g) a multiple of 5?
True
Suppose 46*x = 49*x - 9. Suppose 1008 = -x*y + 9*y. Is y a multiple of 21?
True
Is 4750 + (-10 - 2) + -4*(-9)/(-6) a multiple of 52?
True
Suppose -3*i - 18*j + 136 = -23*j, i - 36 = 4*j. Suppose 54*w - 210 = i*w. Is 9 a factor of w?
False
Suppose 42 = 44*i - 45*i. Let f = -44 - i. Does 9 divide 50 - 8/(4/f)?
True
Suppose 0 = -20*s - 21 + 61. Suppose -4*m + d - 50 + 1159 = 0, -2*d + 552 = s*m. Is 9 a factor of m?
False
Let z(k) = -20*k + 12. Let w(b) = 21*b - 13. Let s(o) = 6*w(o) + 5*z(o). Let p = -50 + 56. Is s(p) a multiple of 32?
False
Let p be 1/2 - (231/6 - -2). Let a = -38 - p. Suppose 0 = -q + 5*z - 12 + 52, 0 = a*q - z - 125. Is q a multiple of 13?
True
Let g be (-3 - 0) + -100 + 90. Does 12 divide (g/(-3))/((-8)/(-216))?
False
Let x = 4973 + -1421. Is x a multiple of 24?
True
Let t = -39 + -99. Let u = -135 - t. Suppose -45 = -u*k + 84. Is 22 a factor of k?
False
Suppose 0 = -3*i - 0*i + 3*u - 30, 0 = -u. Does 5 divide (-12)/(-2)*i*10/(-12)?
True
Let i be (-2)/8 + 5/20. Let k be (1248/42)/8 + (-4)/(-14). Suppose i = -k*t + 4, 3*t = 2*w + w - 585. Is 14 a factor of w?
True
Let r(s) = 46*s**2 - 214*s + 1471. Does 89 divide r(7)?
False
Suppose x + 76*a = 71*a + 1505, 2*a + 12 = 0. Is x a multiple of 43?
False
Suppose 48*p - 42*p = 4626. Suppose 4*v + 2*a - 1020 = 0, -3*v - 3*a + p = -0*v. Is 11 a factor of v?
True
Let v = 3583 - -15197. Is v a multiple of 3?
True
Let j(x) = x**3 + 56*x**2 + 112*x - 133. Is j(-53) a multiple of 6?
True
Let v(b) = 10*b**3 - 16*b**2 + 10*b - 5. Let j(a) = a - 1. Let s(k) = -3*j(k) + v(k). Does 3 divide s(3)?
False
Suppose 3*p + 8*p = 792. Let i = 77 - p. Suppose 4*c - 108 = -3*z, 3*z + 37 = i*c - 125. Is c a multiple of 3?
True
Suppose 17646 = -4*u + 17646. Suppose -4*k + 18 - 6 = 0. Suppose u = 2*b - k*d - 196, -4*b + 392 = 2*d + 2*d. Does 14 divide b?
True
Let u(c) be the second derivative of 4*c**3/3 + 3*c**2 - 5*c. Let n be u(3). Suppose 5*d + 80 = l - n, 0 = -l - 5*d + 140. Is l a multiple of 25?
True
Let a(o) = -o**2 - 15*o - 21. Let x be a(-10). Let w = 50 - x. Suppose -w*h + 210 = -15*h. Is h a multiple of 5?
True
Suppose -7 = 6*g - 13. Let j be ((-6)/3 + g)*(-6 + 5). Is j + 49 + (-3)/(9/(-12)) a multiple of 14?
False
Suppose 2*g = 7*g - 37*g + 57760. Does 14 divide g?
False
Is 2/(-3) - ((-6)/8)