9 - 974. Does 3 divide x?
False
Let t(m) = m**3 + 14*m**2 - 15*m + 35. Let x be t(-15). Let y = 90 - x. Is 21 a factor of y?
False
Let z(d) be the second derivative of d**5/10 - d**4/12 + d**3/3 - d**2/2 + d. Let c be z(3). Is 12 a factor of (-2)/(-6)*(c + -8)?
False
Let w = 51 + -48. Suppose -3*r = w*k - 28 - 29, 0 = k - 3. Does 4 divide r?
True
Let i(m) be the second derivative of m**4/12 + 2*m**3/3 + 2*m**2 + 6*m. Let x be i(-4). Suppose 34 = -2*a + x*a. Is a a multiple of 5?
False
Suppose 744 = 1765*a - 1764*a. Is a a multiple of 6?
True
Let d(n) = -9*n**3 - n**2 + 2*n + 1. Let m be d(-2). Let u = -91 + 45. Let f = u + m. Is 5 a factor of f?
False
Suppose k - 260 = -9*k. Does 26 divide k?
True
Let p(f) = f**2 - 2*f. Let h be p(3). Let w(g) = -g**3 + 4*g**2 - 5*g + 3. Let q be w(h). Let n(y) = -7*y + 4. Is n(q) a multiple of 25?
True
Let i(t) be the second derivative of t**4/12 - t**3/6 + 2*t**2 + 8*t. Is i(9) a multiple of 19?
True
Suppose b + 11 = -55. Is 16 a factor of ((-9)/(-9))/((-2)/b)?
False
Suppose 23*p = -59*p + 50758. Is 27 a factor of p?
False
Let p be (-3)/(-9)*11673/(0 + 3). Let x = -877 + p. Is x a multiple of 70?
True
Let u(a) be the first derivative of 1/3*a**3 - 3*a**2 + 3*a + 1. Is 3 a factor of u(6)?
True
Let p(s) = -9*s + 3*s**2 - 5*s**2 + s**2 - s + 11. Is p(-9) a multiple of 5?
True
Let c = 68 + -7. Let b = c + -47. Is b a multiple of 3?
False
Suppose -6*g = -5*g - 8. Suppose -8 = 2*h + 3*p, -2*h - 2*p = -4*p + g. Is 3 a factor of 5 - (17 - 1)/h?
True
Suppose 3*y + 2*t - 484 = 0, -6 = 4*y - t - 666. Let s = y - 11. Does 17 divide s?
True
Let t(n) = -n. Let g(k) = 11. Let s(o) = g(o) + 4*t(o). Let x(v) = -4*v + 52. Let m be x(13). Does 11 divide s(m)?
True
Let q(s) = -s**2 + 8*s - 2. Let u be q(9). Let r(l) = l**3 + 10*l**2 - 18*l + 1. Does 13 divide r(u)?
True
Let t = 111 + -43. Suppose 0 = 5*g - 5*y + 1 - 66, 0 = 5*g - 2*y - t. Is g a multiple of 14?
True
Suppose 4*q = -5*g - 5, 14 = -q + 3*g - 0. Let m be (-3)/q*30/3. Does 19 divide (2/1)/(m/75)?
False
Suppose -315 = 7*l - 861. Is l a multiple of 6?
True
Is (-26814)/(-70) - (-98)/(-1715) a multiple of 27?
False
Suppose 8253 = -77*q + 27657. Is 18 a factor of q?
True
Suppose m = 3*u + 22, 5*m - 5 + 15 = 0. Is 134/11 - u/(-44) a multiple of 3?
True
Let c be (-1)/(-6) - 4/((-168)/917). Suppose 8*v = 7*v + c. Does 2 divide v?
True
Suppose 0 = -2*k - 5*g + 210, 2*g = k - 0*g - 96. Suppose 4*v - 2*b = k, v - 4*b = 4*v - 64. Is v a multiple of 4?
True
Suppose -5*g + 2*k = 124, -5*k + 19 - 112 = 3*g. Is 2 a factor of (-3)/(4 - (-107)/g)?
True
Does 48 divide (-2024)/(-6) + -2 + (-2)/(-3)?
True
Let d(w) = -52*w + 3. Let x be d(-3). Let t be (-33)/44 - x/(-4). Suppose -t = -3*n + 3*k, 0*n + k = -4*n + 37. Is n even?
True
Let v be ((4 - 3) + -35)*-1. Let u = v + 106. Does 28 divide u?
True
Suppose -5*n + 3*t + 882 = 0, -2*n - 2*t - 3*t = -328. Is 29 a factor of n?
True
Let x be -5 + 5 - (-4)/2. Suppose 3 + x = k. Suppose k*j + 186 - 506 = 0. Does 16 divide j?
True
Suppose -6*u + 2*u + 24 = -2*o, 4*o + 48 = -5*u. Let c be (-225)/12 - o/16. Let w = c - -39. Is w a multiple of 21?
True
Let w(b) = 14*b + 11. Suppose 0 = -5*n - 2*l - 0*l + 23, -n = -4*l + 13. Is w(n) a multiple of 16?
False
Let f(p) = -6*p**3 + 7*p**2 + 11*p + 26. Is 7 a factor of f(-5)?
True
Let l = 31 - 25. Suppose 0 = h - l*g + 4*g - 27, 2*g = -2*h + 78. Does 20 divide h?
False
Suppose 120*u - 108*u = 10692. Is u a multiple of 99?
True
Let b(s) = -91*s + 3. Let t be b(1). Does 15 divide (-4)/(-6) + t/(-3)?
True
Let m be ((-2)/(-5))/((-20)/100). Let h = 32 + -200. Is 14 a factor of (4/m)/(4/h)?
True
Suppose 2*v - 2 = 4*u + 7*v, 2*u = 2*v + 8. Suppose 0*w - 4*a = -4*w + 92, u*w + 4*a - 16 = 0. Does 9 divide w?
True
Is -553*(5 + 6/(-1)) a multiple of 7?
True
Let f(l) = -l**3 - 9*l**2 - 8*l + 6. Let a be f(-10). Suppose 3*b = 6*b - a. Is b a multiple of 24?
False
Suppose -9*g + 24114 = -11283. Suppose -16*b - 493 = -g. Is 38 a factor of b?
False
Suppose -3*u + 3*h + 1850 = -1357, 1053 = u + 3*h. Does 15 divide u?
True
Let s = 105 + -59. Is (s/3)/2*3 a multiple of 23?
True
Let g = -1267 + 2485. Is 42 a factor of g?
True
Suppose -3*d + 12 = -3*w + w, -2*d + w + 8 = 0. Suppose -19 = -h - 5*a, d*h - 176 = 8*a - 3*a. Is 9 a factor of h?
False
Let x = 272 - 85. Does 17 divide x?
True
Let r(c) = -2*c + 3. Let o(w) = -5*w + 5. Let l(m) = -3*o(m) + 5*r(m). Let z be l(6). Let g = z - 13. Is 5 a factor of g?
False
Does 13 divide 1275 + (-1 + 0)*(-12)/(-12)?
True
Let x = -132 + 86. Let l = 129 + x. Is 34 a factor of l?
False
Let a(v) = -v**3 + 4*v**2 + 6*v - 5. Let c be a(4). Let l be ((-2)/(-6))/(1/(-24)). Let s = l + c. Is s a multiple of 11?
True
Let c = 429 - -3424. Is 39 a factor of c?
False
Let i(f) = 8 - 15*f + 32*f - 11*f. Is 25 a factor of i(7)?
True
Suppose -5*w + 3*m = -35, -5*w = -2*w - m - 17. Suppose w*j = -0*j + 196. Is 5 a factor of j?
False
Let h = 501 + -508. Let g(u) be the second derivative of -5*u**3/6 - 23*u**2/2 - 2*u. Is g(h) a multiple of 4?
True
Let m be 5/((-15)/2) - 286/39. Is 2 a factor of (1 + (-66)/18)*162/m?
True
Let v(j) be the second derivative of -j**4/12 + j**3/6 + 11*j**2/2 + 4*j. Let s be v(0). Is 2*(2/(-2) + s) a multiple of 20?
True
Suppose 5*p + 4*a = 675 - 2013, -6 = -2*a. Let g = -192 - p. Does 17 divide g?
False
Let f(g) = 6*g**2 - 7*g + 2. Let t be f(6). Suppose -31*l + 25*l = -18. Suppose a - 91 = -4*o, -l*a = -5*o - t - 131. Does 33 divide a?
True
Suppose -90 - 277 = -5*h + 2*r, -4*h + 2*r + 294 = 0. Is h a multiple of 31?
False
Let a = 44 + -26. Is (-4)/a + 8772/108 a multiple of 20?
False
Let d(o) = o**2 - 6*o + 7. Let i(s) = 25 + 4*s**2 - 2*s**2 - 7*s - 5*s - 10. Let h(l) = -7*d(l) + 4*i(l). Does 27 divide h(8)?
True
Let o(b) = 11*b - 2*b**2 + 3 + 17*b + b**2 - 5*b. Does 13 divide o(17)?
False
Let f(g) = -g**2 + 7*g - 5. Let l be f(5). Suppose 0 = 5*o + l, 110 + 95 = 2*a + 5*o. Let k = -47 + a. Is 17 a factor of k?
False
Let x(g) = 3*g**2 - g - 76. Is 11 a factor of x(-8)?
False
Suppose 0 = -4*y - 20, -3*n = -3*y - 0*y - 1905. Does 30 divide n?
True
Suppose 0 = -4*x - 5*j - 213, 3*x - 288 = 8*x - j. Let t = -49 - x. Is 8 a factor of t?
True
Suppose 2 = -o + 5. Suppose o*p + b - 68 = 0, 3*p - 32 = 5*b + 42. Is 13 a factor of p?
False
Suppose 0 = -2*f - 5*g - 12, g + 3*g = -16. Suppose m = -3*b + 284, -4*b + f*m + 352 = -0*m. Is b a multiple of 31?
True
Let z be 3 + (-8)/10 + (-2305)/25. Let g = 142 + z. Is 13 a factor of g?
True
Suppose -j + 5*j - 5 = -3*i, 0 = -i - 5*j + 9. Let c(l) = -82*l - 2. Does 20 divide c(i)?
True
Let c = -2 - -5. Suppose 0 = 4*h + 3*y - 16, 0 = c*h + 4*y - 6 - 6. Suppose -5*r = -h*r - 23. Is 6 a factor of r?
False
Let y(o) = 39*o**2 + 16*o + 45. Is 41 a factor of y(-5)?
False
Let f be -8 - -4 - (-42 - -2). Suppose 0 = -9*w + 6*w + f. Is 4 a factor of w?
True
Let c(f) = -15*f**3 + 4*f**2 + 20*f + 51. Does 4 divide c(-3)?
True
Does 43 divide 5 + 9/(-4 - -3) + 176?
True
Let t(s) = -12*s - 9. Suppose 5*c - 35 = -3*z - 2*z, -4*c - 3*z + 25 = 0. Let y(n) = 13*n + 10. Let x(d) = c*t(d) + 3*y(d). Is x(-5) a multiple of 13?
True
Let b(u) = u. Let g be b(2). Suppose g*n - 229 = -3*c, -2*c - 93 = -3*c - 4*n. Does 22 divide c?
False
Suppose x - 7*x = -54. Suppose -p - 3 = -x. Is p a multiple of 6?
True
Let v(f) = 207*f + 8. Is v(5) a multiple of 68?
False
Let i be ((-1)/2)/((-2)/1672). Suppose i = 2*y + 4*p, -211 = -y - 0*y - 4*p. Suppose 150 = 3*j - y. Is 24 a factor of j?
False
Let b(v) = 11*v**2 + 39*v + 3. Does 2 divide b(-7)?
False
Let f be (76/6)/(16/24). Let h(d) = f - 9*d**2 + 2 - 13*d + 10*d**2. Is h(14) a multiple of 19?
False
Suppose 38 = 4*s - 26. Let x = 105 - s. Let o = x + -54. Does 7 divide o?
True
Suppose 36 = 4*i - 5*q, -i - 2*q - 2*q = -9. Let v be 1*-1*(i - 105). Suppose -38 = -4*l + 3*s + 86, 4*s - v = -4*l. Is l a multiple of 11?
False
Let m = 82 - 19. Is m a multiple of 9?
True
Suppose -20*q + 3990 = -870. Is q a multiple of 2?
False
Let q(k) = -k**3 + 11*k**2 - 17*k - 48. Is 3 a factor of q(8)?
False
Suppose -3*n = f - 1379, -4*n - 3*f = 354 - 2186. Is n a multiple of 3?
False
Let c(l) = 4*l**3 - l**2 + 4*l - 6. Let w be c(2). Suppose 0 = -3*u - 2*u - w. Let i(a) = -a**3 - 5*a**2 + 5*a + 2. Is i(u) even?
True
Let v(s) = -s**3 - 8*s**2 - s