+ 8. Let a(b) = 9*c(b) + 4*n(b). Let w be a(0). Suppose -4*s + 20 = w. Does 2 divide s?
False
Let v(h) = -101*h - 98. Is 13 a factor of v(-15)?
True
Let x(o) = -4*o**3 + 5*o**2 - 3*o - 5. Let j be x(-5). Suppose -8*f + j - 219 = 0. Is 8 a factor of f?
False
Suppose 32*l + 10 = 37*l. Suppose 144 = 4*v - l*v. Is 12 a factor of v?
True
Let g(n) be the second derivative of n**4/12 + 5*n**3/3 + 5*n. Let f be g(-10). Does 11 divide 16 + -1 + f + 1?
False
Let y = 89 + -81. Let b = -115 - -335. Does 14 divide (-12)/(-10)*b/y?
False
Let q be (3 - (-3 + 1)) + 2. Suppose -q = -n + 3. Is (12 - n)/(2/24) a multiple of 6?
True
Let p = -206 - -220. Is 9 a factor of p?
False
Let f(x) = 3*x - 7. Let i be f(3). Suppose i*t - w = 0, -3*w = -t - 4*t + 2. Is 63 + t + (-12)/(-3) a multiple of 10?
False
Let t = 3722 + -1992. Is 90 a factor of t?
False
Let f be 16/6 - (-1)/3. Suppose -3*l + 174 = c - 113, 2*l - 189 = -f*c. Suppose 7*u - 3*u - l = 0. Is u a multiple of 8?
True
Let o(u) = -159*u**3 + u**2 - 8*u - 17. Does 17 divide o(-3)?
False
Let l(w) = w**3 + 8*w**2 + 14*w + 4. Let t be l(-4). Suppose -t*p = -6*p - 36. Suppose -3*c + 4*f + 277 = 0, p*c - 2*c - 381 = 3*f. Does 18 divide c?
False
Let f(y) = -561*y**3 - y**2 - 4*y - 3. Does 33 divide f(-1)?
True
Let c = -41 - -59. Let x(z) = -z**3 - 3*z**2 + 8*z - 5. Let l be x(2). Does 12 divide 95 + -1 - c/l?
True
Let t = 188 + -71. Suppose t - 9 = 6*l. Is l a multiple of 9?
True
Let k = 151 - 385. Does 6 divide (0 - -1)/((-13)/k)?
True
Let w(u) = u**3 + 15*u**2 + 22*u - 7. Is w(-11) a multiple of 35?
False
Suppose -7*i = -11*i + 600. Does 9 divide i?
False
Let i(n) = 20*n + 27. Is i(2) a multiple of 14?
False
Let w(t) = -20*t**3 - 6*t**2. Let l(s) be the third derivative of s**6/4 + 3*s**5/20 + 2*s**2. Let u(b) = -5*l(b) - 7*w(b). Is 20 a factor of u(-2)?
False
Let a(s) = s**3 + 4*s**2 - 6*s. Let h be a(-5). Let i = 33 - -162. Suppose -h*j = -35 - i. Does 23 divide j?
True
Let a be 3*3/81*3*0. Suppose a = -2*d - 3*p + 342, 2*d + 4*p = 6*d - 644. Is d a multiple of 33?
True
Suppose -214 - 1678 = -22*y. Is 43 a factor of y?
True
Let c be 1 + -3 - (-10 - -3). Suppose -4*j + c*t = 1, -j = 3*j - t - 3. Is j/(-2) + (-305)/(-10) a multiple of 10?
True
Suppose -3*b + 35 = 2*p, 4*b = 4*p + 10 - 70. Is p a multiple of 4?
True
Let a(c) = -17*c**3 + 6*c**2 - 4*c - 5. Does 13 divide a(-3)?
True
Suppose 0 = 2*i + 3*v - 1142, 5*v = 4*i - i - 1675. Suppose -2*a - 29 = 5*d - i, -2*a = -2*d - 550. Does 21 divide a?
True
Let j(m) = -13 + 56 - 9*m - 29. Let x be j(8). Let f = x - -115. Is f a multiple of 19?
True
Suppose 0*t = -15*t + 2220. Does 3 divide t?
False
Let s = 181 - 75. Is s a multiple of 32?
False
Let y(o) = -o - 12. Let c be y(-17). Suppose -b = -c*p + 3*b - 35, 4*p + 7 = -b. Is 16 a factor of 54/15*(-40)/p?
True
Is 16/24*(-2094)/(-4) a multiple of 21?
False
Let l = 3894 - 2662. Suppose -m = 4*a - 203 - 57, 3*a - l = -5*m. Is 38 a factor of m?
False
Suppose 15*x = -9*x + 7704. Does 9 divide x?
False
Let d(i) = 73*i**2 + i - 17. Let c(m) = -36*m**2 - m + 9. Let a(q) = 5*c(q) + 3*d(q). Is 31 a factor of a(-2)?
False
Let o = -256 - -469. Is o a multiple of 3?
True
Suppose -3*s + m = 6 + 14, 4*s - 5*m = -34. Is 3 a factor of (100/(-15))/(((-8)/s)/(-4))?
False
Suppose 2*l - 45 = -5*h, 4*l - h = l + 25. Suppose 5*n + 3*u - 24 = -u, 2*n + 2*u = l. Suppose n*b = 3*b + 22. Is 3 a factor of b?
False
Suppose y - 5*b - 142 = 0, -7*b + 2*b - 426 = -3*y. Is 8 a factor of y?
False
Let n(t) = -36*t + 2. Let x be n(2). Let c(l) = -36*l - 8. Let s be c(-3). Let z = x + s. Is 10 a factor of z?
True
Let s be 50/(-1)*(-14)/(-35). Let k = -3 - s. Suppose 73 = 2*g - k. Does 19 divide g?
False
Let r be 136/(-6)*(2 - 65/10). Let f = r - 62. Does 10 divide f?
True
Let a = -14 - -11. Let h = 13 + a. Does 6 divide h?
False
Let u be (81/(-15))/3 + (-2)/10. Is (-1)/4 + 530/8 + u a multiple of 8?
True
Let k = -28 + 25. Does 31 divide 11/(k/((-15)/1))?
False
Let w(q) = 2*q**2 - 4*q**2 - 3*q + q**2 - 2. Let k be w(-2). Suppose k*b + 26 = b. Does 9 divide b?
False
Let h(r) = 3*r + 11. Let l be h(8). Let j = 56 - l. Let b = -12 + j. Is b a multiple of 3?
True
Suppose -5*v + 845 = -10*v. Let y = v - -209. Is y a multiple of 10?
True
Let t(y) = 152*y - 56. Is 134 a factor of t(4)?
False
Let q(i) = -71*i**3 - 3*i**2 - i + 1. Let x be q(-1). Suppose -3*y - 22 = -x. Does 4 divide y?
True
Suppose -2*p = 3*t + p - 39, -p - 23 = -3*t. Suppose 2*c - 9 = t. Does 9 divide c?
True
Let h = 367 - 192. Is 15 a factor of h?
False
Is ((-3034)/(-6))/((-2 - 4)/(-36)) a multiple of 82?
True
Suppose 5*f - 8*k + 5*k = 27, -2*f + k = -11. Is 0 + 0 + f + 216/8 a multiple of 3?
True
Let b(h) be the first derivative of -19*h**2/2 - 5*h - 2. Is 10 a factor of b(-2)?
False
Is (-225)/2*((-406)/21 + -2) a multiple of 60?
True
Let z(k) be the third derivative of -5*k**4/8 - 8*k**3/3 - 18*k**2. Does 15 divide z(-12)?
False
Suppose 14*j - 1872 = -12*j. Is j a multiple of 6?
True
Let w(u) = 17*u**2 + 4*u. Suppose 0*z + 12 = 2*z + d, 3*z - 2*d = 4. Is w(z) a multiple of 12?
True
Let b(m) = 5*m**2 + 2*m - 1. Let f = -27 - -29. Is 6 a factor of b(f)?
False
Suppose -5*a = 2*o - 509, 3*o + 2*o = -4*a + 1298. Is 10 a factor of (-2)/5 - o/(-5)?
False
Let x = -231 - -301. Is 24 a factor of x?
False
Let z(b) = -4*b - 23. Let r be z(-7). Suppose 2*x = r*i - 33, 2*x = 5*i - 3*i - 12. Let w(n) = -n**2 + 9*n - 5. Is w(i) a multiple of 9?
True
Does 25 divide 47*((-168)/3)/((-18)/9)?
False
Suppose 0 = -3*t - 5*g + 4219, 14*t = 17*t - g - 4243. Is t a multiple of 32?
False
Suppose 58*k = 56*k + 990. Is 45 a factor of k?
True
Suppose 4*r - 2*k - 1058 = 0, -4*k - 423 = -5*r + 901. Suppose -3*y = y - r. Is y a multiple of 22?
True
Suppose 93*c - 109190 = 89272. Is 22 a factor of c?
True
Let i(w) = 24*w - 799. Is 2 a factor of i(49)?
False
Let g(n) = -n**2 - 7*n - 11. Let j be g(-7). Is (-332)/j + (-3)/66*4 a multiple of 15?
True
Let g(v) = 3*v**2 - 2*v. Let f be g(-2). Let p = f - -5. Is 11 a factor of p?
False
Let x = -362 + 632. Suppose 86*o - x = 83*o. Is 6 a factor of o?
True
Let m = -2 + 0. Does 2 divide (-20)/(-3)*(-3)/m?
True
Let a(b) = 3*b**2 - 24*b - 22. Let k be a(9). Let z(u) = u**3 - 7*u**2 + 7*u - 4. Let y be z(6). Suppose -k*s = -y*s - 183. Is 13 a factor of s?
False
Let w(p) be the second derivative of 13/12*p**4 - 2*p + 0 + p**2 + 0*p**3. Is 9 a factor of w(2)?
True
Let a be (-3)/(-18) - 1085/30. Let t = -62 - a. Is (-39)/t*104/6 a multiple of 26?
True
Let i = 6 - 3. Does 4 divide (-2)/i - 2737/(-69)?
False
Suppose 0 = 5*q - 0*q. Suppose 0*z + 5*z + m - 487 = 0, -3*z - m + 293 = q. Does 21 divide z?
False
Let i(u) = 12*u - 19. Let j be i(3). Let z = 132 - j. Is 23 a factor of z?
True
Suppose 178 = 2*m - 0*m. Suppose z = -4*y - m + 331, y - 3*z = 67. Suppose -4*r + y = -147. Is 26 a factor of r?
True
Let c(l) = -2*l**3 - l**2 - l - 24. Is c(-5) a multiple of 10?
False
Let h(x) = -2*x**3 - 4*x**2 - 3. Let l be h(-3). Suppose 0 = -6*v + v + l. Is 26 a factor of 158/v - (-2)/(-3)?
True
Suppose -952 = -23*c + 15*c. Does 17 divide c?
True
Let t = 1581 - 563. Does 25 divide t?
False
Suppose -2*b - 2*v = -102, 0 = -5*b + b - 2*v + 194. Suppose -u - 12 = -b. Is 15 a factor of u?
False
Let t be 106/8 + 2/(-8). Let l(r) = r**3 - 14*r**2 + 14*r - 11. Let k be l(t). Suppose -2*b = -k*s - 0*s + 24, -4*b - 6 = 2*s. Does 7 divide s?
True
Suppose 0 = -2*y + 10*y - 128. Suppose -y*f = -363 - 613. Is f a multiple of 8?
False
Let i be 0 - (0 - 2 - -2). Suppose i = 10*r - 15*r + 30. Is r a multiple of 4?
False
Let n(o) = -o**3 + 6*o**2 - 5*o + 2. Suppose v - a = 3*a + 21, -4*a = 16. Let j be n(v). Suppose -j*i - 3*i = -65. Is i a multiple of 8?
False
Suppose 5*y - 19 - 6 = 0. Let c be 207/45 - (-2)/y. Suppose 85 = 5*j - j - c*d, j = 2*d + 25. Does 5 divide j?
True
Let d(r) = -r**2 + 5*r + 19. Let k be d(7). Suppose -3*a - 26 = -2*w, 10 = k*a - 10. Is 8 a factor of w?
False
Suppose -8*f = 2*f - 40. Suppose 0 = f*t - 12, -1075 + 301 = -3*w - t. Does 15 divide w?
False
Suppose 3 + 1 = 2*u. Let d(i) = -3*i - u + 2 - 10. Is d(-10) a multiple of 5?
True
Let a be (-4 - 84)/(0 + -2). Let h(i) = 4*i**3 + 2*i**2 + 4*i + 2. Let k be h(-2). Let c = a + k. Is c a multiple of 7?
True
Let d(f) = -f**3 + f**2 + f + 1. Let g(