8. Let g be f(4). Let n(y) = 12*y**2 + 0 + 3*y + 5 - 3 + g*y. Does 11 divide n(-2)?
True
Is 75/50*(-374)/(-3) a multiple of 17?
True
Let h(w) = -w**3 - 9*w**2 + 3*w - 1. Let d be h(-9). Let l = 86 + d. Does 58 divide l?
True
Suppose -s = -0*x + x - 30, 0 = s - 3. Let v be (x/2)/(3/8). Let w = v - -40. Is w a multiple of 11?
False
Does 42 divide (-140)/15*(-180)/8?
True
Suppose 2*d - 3*l - 879 - 270 = 0, 4 = -4*l. Does 42 divide d?
False
Let v(m) = m**3 + 7*m**2 + 7*m + 9. Let a be v(-6). Suppose -55 = -3*g - 2*h, g - 3*h = -a*g + 79. Is g a multiple of 4?
False
Is ((-82)/(-8))/(31/744) a multiple of 41?
True
Let y be (-100)/(-7) - 6/21. Does 7 divide y/(-1)*(-56)/16?
True
Suppose -1112 = -5*m + z + z, 2*m = 3*z + 447. Is 6 a factor of m?
True
Let g(l) = l**2 + 12*l. Let n(s) = s**2 + 11*s. Let r(o) = 4*g(o) - 3*n(o). Let i be r(-15). Suppose h + i*h - 34 = 0. Does 24 divide h?
False
Suppose 234 + 32 = 7*w. Suppose -5*v + w + 32 = 0. Is v a multiple of 12?
False
Let x be -10*(-57)/(-18) + (-2)/6. Is 4 a factor of 134/3 - x/(-48)?
True
Suppose 11 = 2*g + o - 3, -4*g + 28 = o. Suppose 127 - g = 4*j. Does 19 divide j?
False
Let n(s) = 6*s - 5*s + 5 + 0*s. Let p be n(-3). Suppose -7*v = -p*v - 400. Is v a multiple of 26?
False
Let n(z) = -25*z**3 + 4*z**2 + 4*z + 4. Let y = 147 + -149. Is n(y) a multiple of 30?
False
Let d = -102 - -69. Is 10 a factor of (112/(-6))/((d/9)/11)?
False
Let p be (-3 - (-4 + -1)) + 2. Suppose -4*m + 2*y + 171 = y, 4*y - p = 0. Suppose 21 = 2*h - m. Is h a multiple of 12?
False
Let m be ((-16)/16)/(((-2)/6)/1). Suppose 4*v - 78 = m*v - 4*h, -5*v + 318 = -4*h. Does 4 divide v?
False
Let y = -40 - -83. Suppose y = -2*b + 69. Does 4 divide b?
False
Suppose 0 = 312*x - 294*x - 540. Is 7 a factor of x?
False
Does 28 divide (2*(-478)/16)/((-47)/752)?
False
Let l(r) = r + 9*r**2 - 12*r**2 + 2 - 3 + 35*r**2. Does 12 divide l(1)?
False
Suppose 12*r - 7*r + 15 = 0. Let j be (-14)/(2 + r) - 3. Is 2 a factor of 7*j/((-77)/(-6))?
True
Is 13 a factor of ((1413/3)/1)/(4 - 3)?
False
Let p(r) = -r**2 - 14*r + 14. Let n be p(-13). Suppose 2*f = 181 - n. Is f a multiple of 6?
False
Let g(q) = -q**3 + 15*q**2 - 6*q - 3. Let z be g(9). Let t = -221 + z. Does 54 divide t?
False
Suppose 4*r - 9 - 87 = 0. Suppose 6*w = 5*w + r. Is 6 a factor of w?
True
Let n(r) = -4*r**3 - 52*r**2 + 2*r. Does 15 divide n(-15)?
True
Let k(o) = 8*o - 5. Suppose -3*j - 4*u - 6 - 2 = 0, -j - 5*u = 21. Does 6 divide k(j)?
False
Let p = 623 + -893. Let y = p + 379. Does 25 divide y?
False
Suppose -3*q = 5*t + 8, -24 = -q + t + 4*t. Suppose 5*g = -2*m, -q*m + 0*m = 3*g. Suppose 3*a - 78 - 57 = m. Does 15 divide a?
True
Suppose o - r = 460, -4*o - 5*r + 1490 = -386. Is 5 a factor of o?
False
Let j(l) = -3*l**2 + 176*l + 138. Is 3 a factor of j(57)?
True
Let w = -29 + 30. Let u be 2/(-6)*(-1 - 14). Suppose -5*k = -2*y - 128, -k + 22 = -u*y + w. Is 13 a factor of k?
True
Let g be 8 - (2 - (6 + -1)). Suppose 3*z = -57 - 63. Let a = g - z. Is a a multiple of 13?
False
Let h = -904 - -356. Is 1 - (-6)/(-10) - h/5 a multiple of 11?
True
Suppose -98*p + 26910 = -52*p. Is 60 a factor of p?
False
Let z = -374 + 574. Is z a multiple of 10?
True
Let p(k) = k**3 + 3*k**2 - 3. Let m be p(-3). Is 792/32 + m/(-12) a multiple of 13?
False
Let x = -12 - -22. Suppose x*f = 5*f + 25. Does 5 divide f?
True
Let f(h) = 23*h**3 - 2*h**2 + 8*h - 8. Let m(j) = 24*j**3 - 2*j**2 + 9*j - 9. Let o(z) = 6*f(z) - 5*m(z). Is o(2) a multiple of 37?
False
Let s(p) be the second derivative of p**3/6 + 21*p**2/2 - 5*p. Let g be s(-11). Suppose 0 = -5*v + g*v - 670. Does 34 divide v?
False
Suppose -3*w - 4*s + 2074 = -2838, -4916 = -3*w - 5*s. Does 32 divide w?
True
Suppose 10 = 5*f, -2*p - 131 = -3*p - 3*f. Suppose 5*y - 355 = p. Is 8 a factor of y?
True
Suppose o + 4 = 0, 32*o - 36*o = -5*c + 9116. Is c a multiple of 34?
False
Let w(n) = 2*n**3 - 9*n**2 + 13*n - 17. Is 13 a factor of w(6)?
True
Let b = -1000 - -1622. Is b a multiple of 9?
False
Let a(m) = -31*m - 4. Let d be a(6). Let v = -117 - d. Suppose -3*j = 2*u - 54, -3*u + v = 3*j + j. Does 8 divide j?
True
Suppose -f + 113 = -r - 127, 2*f - 474 = 4*r. Is 13 a factor of f?
False
Let k be 6 + -3 + (-5 - -2). Let f be 5*(1 + 0 + k). Suppose -65 = -f*n - 4*i - 0*i, 0 = 5*i. Does 7 divide n?
False
Suppose -32 = -2*a + l + 474, 756 = 3*a - 3*l. Is 23 a factor of a?
False
Let w = 39 - 32. Let s = 37 - w. Is 13 a factor of s?
False
Suppose 3*u = 13*u - 1260. Let a be 10/(-3) - (-1)/3. Is 6 a factor of u/10 - a/(-5)?
True
Does 6 divide 18/15*(-1)/((-15)/2050)?
False
Let n = 366 + -320. Let x(a) = 3*a**2 - a - 8. Let o be x(6). Let v = o - n. Is 12 a factor of v?
True
Let y(l) = l**2 + 23*l + 141. Is y(-21) even?
False
Let s(o) be the second derivative of 10*o**3/3 + 11*o**2/2 + 7*o. Let c be s(-9). Let t = c + 250. Is t a multiple of 27?
True
Let x = -17 - -23. Let p = 8 - x. Is 7 a factor of (p - 18)/4 + 20?
False
Suppose 4*o = -6*o + 680. Let h(n) = 11*n**2 + 3*n - 2. Let s be h(2). Suppose o + s = 2*d. Does 11 divide d?
False
Let l = -2573 + 5279. Is l a multiple of 41?
True
Suppose 172 = 5*c - 13. Let h(m) = 3*m**2 + 22*m + 11. Let i be h(-7). Suppose 5 - c = -i*u. Is u a multiple of 2?
True
Suppose 253*s - 242*s = 7392. Is 6 a factor of s?
True
Is 18 a factor of (-4)/(-12) - 1 - 6490/(-15)?
True
Let a(h) = -2*h**2 + 25*h - 8. Let l be a(12). Suppose -t + 39 + 86 = l*q, 130 = 4*q + 2*t. Suppose 0*x = -6*x + q. Does 2 divide x?
False
Does 34 divide 140 + -2 + 3 + -5?
True
Let g be (-1)/(-2) - 35/(-10). Let s be (g/8)/((-1)/(-82)). Let l = s - 21. Is l a multiple of 6?
False
Suppose 2*t - 3*t - 17 = -4*q, 3 = t. Suppose h = q*h - 8. Is 12/(-6) + 20 + h a multiple of 5?
True
Let a(s) = -s - 1. Let j(r) = -38*r**2 - 6*r - 5. Let m(t) = 6*a(t) - j(t). Let x = 7 + -6. Does 11 divide m(x)?
False
Suppose 0 = 5*y + 15 + 5. Let v = y - -8. Suppose -32 = -5*q - a, v*q - 40 = -2*a + 6*a. Does 5 divide q?
False
Suppose 0 = 2*h - 51 + 45. Suppose h*y - 468 = -6*y. Is 13 a factor of y?
True
Let l(a) = -3*a**3 - a. Suppose -c - 1 = -0*c. Let p be l(c). Suppose 2*h - 2*o - 130 = 3*o, -4*o = p*h - 232. Is 21 a factor of h?
False
Let k = 31 + -18. Let m = 64 - k. Suppose -b = -4*b + m. Is b a multiple of 17?
True
Let x(j) = -48*j - 37. Does 6 divide x(-4)?
False
Let i = -731 - -1343. Is i a multiple of 12?
True
Let t(n) be the second derivative of -n**3/6 + 8*n**2 - n. Let i be t(-8). Let x = i + -10. Is 14 a factor of x?
True
Let t be (1 + (-2 - -4))*337/3. Let i = t - -7. Is 56 a factor of i?
False
Let f = 118 - 71. Let n = 66 - f. Does 10 divide n?
False
Is 1/(-1) + 7 + 81 a multiple of 29?
True
Suppose -4*i - 41 = w, -17*i + 12*i + w - 49 = 0. Let j(u) = -u**3 + 6*u**2 - 5. Let r be j(5). Is (r - -10)*(-4)/i a multiple of 5?
False
Suppose -5*y + 14 + 11 = 0. Suppose -3*o + 10 = -5, -5 = -y*q + 4*o. Suppose 36 = q*t + d, t - 3*d - 4 = -0*d. Does 7 divide t?
True
Suppose 105 = -9*w + 14*w. Suppose 2*b = -b + w. Is 5 a factor of b?
False
Suppose -3*z - 70 = -5*m + 3*m, 5*z - 5*m + 120 = 0. Let q = 0 - z. Is 4 a factor of q?
False
Let l(y) be the third derivative of 1/20*y**5 + 0*y + 3/8*y**4 + 3*y**2 + 0 - 3/2*y**3. Does 16 divide l(-7)?
False
Suppose -y + 146 = y. Let w(s) = -s**2 + 22*s - 16. Let u be w(21). Suppose u*q = -3*n + 229, 2*n = n - 5*q + y. Is 12 a factor of n?
False
Let r = -67 + 159. Let q = 214 - r. Suppose 0*f - 4*f + q = -2*z, 4*z = -4*f + 128. Is 19 a factor of f?
False
Let l(m) = -244*m - 743. Does 72 divide l(-12)?
False
Let t(r) be the third derivative of 5*r**4/24 + r**3/3 - 15*r**2. Is 37 a factor of t(11)?
False
Let m be (-2289)/(-35) - 4/10. Suppose 2*y = -o + m, 5*y - 2*o - 109 = 58. Is 11 a factor of y?
True
Let b(y) = -y**3 - 16*y**2 - 28*y + 40. Is b(-16) a multiple of 8?
True
Let t = 1 - -1. Suppose b = -5*g + 85, 2*b = t*g - 0*g + 110. Is b a multiple of 20?
True
Let p = 2 + 2. Suppose -p*d = -4*o - 28, 3*d + o - 27 = 6*o. Suppose -d*n + 30 = 2. Is 6 a factor of n?
False
Let x(g) = -7 - 7 + 0 - 12*g - g**2 + 1. Let r be x(-11). Is (-4 - -13)/(r/(-2)) a multiple of 4?
False
Let w be (79 + 9)*(-7)/(-2). Let b = w - 204. Is b a multiple of 26?
True
Suppose 12837 = 11*j - 10329. Does 9 divide j?
True
Suppose 3*u + 0*u = -3*w, -5*w - 2