 9. Let b(d) = 2*d**3 - 3*d**2 + 1. Let p be b(2). Is 16 a factor of x(p)?
True
Let v be ((-2)/4)/(2/(-16)). Suppose 5*l - v*g = 100, -82 = -4*l + 2*g + 4. Is l a multiple of 12?
True
Let w(c) = 6 + c + 8*c - 16*c**2 + 15*c**2. Is 2 a factor of w(9)?
True
Let l = 13 - 0. Is l a multiple of 11?
False
Let u be 10/25 + 53/5. Let t(p) = p**2 - 9*p + 8. Is 16 a factor of t(u)?
False
Let i be 19/3 + (-2)/6. Suppose 3*k + i = 12. Suppose -4*r + 36 = 2*w, -22 = -3*r + r - k*w. Is 3 a factor of r?
False
Suppose 0 = 3*p - w + 8, 4*p - 4*w = 7*p - 2. Let b = p - -7. Is 2 a factor of b?
False
Let c(v) = -21*v**2. Let q be c(1). Let y = 27 - q. Is y a multiple of 16?
True
Let w(b) = -b + 87. Is w(0) a multiple of 20?
False
Suppose 2*s = s + 2. Suppose -s*f + 0*f = -2*d - 50, -4*f = 4. Does 3 divide (-4)/6 - d/3?
False
Let t(j) = -80*j + 18. Does 19 divide t(-5)?
True
Suppose -2*f - 14 = 98. Let u = f - -100. Suppose -4*x - 18 - u = -3*w, -3*x = 5*w - 84. Is 18 a factor of w?
True
Suppose -3*z = -4*r - 174, 0*r - 4*r + 258 = 5*z. Suppose -z = -4*m + 2*y - 4*y, 2*m + 4*y - 18 = 0. Is 7 a factor of m?
False
Let r(z) = -5*z - 16. Is 22 a factor of r(-14)?
False
Let g(p) = 5*p - 4. Let n be g(6). Suppose 3*b - 16 = n. Is b a multiple of 11?
False
Let j(d) = -4*d**2 - d**2 + 7*d - 4 + 4*d**2. Is 2 a factor of j(6)?
True
Let y(z) = -z**3 - 2*z**2 - 2*z - 4. Is y(-3) a multiple of 2?
False
Does 6 divide (-261)/(-12) - 2/(-8)?
False
Suppose 0*h = -5*h + 225. Does 15 divide h?
True
Let l(b) = 41*b - 28. Is 11 a factor of l(5)?
False
Is 2 - -1 - (-2 + 3)*-15 a multiple of 4?
False
Let v(n) = -16*n - 7. Let i(g) = -4*g**2 - 2*g + 1. Let m be i(1). Let j be v(m). Does 15 divide (-8)/(-20) + j/5?
True
Let x(m) = -m**3 - 16*m**2 + 6*m - 8. Let l(q) = q**2 + q. Let a(t) = -6*l(t) - x(t). Is a(-11) a multiple of 19?
True
Let h(l) be the first derivative of 14*l + 3 - 1/2*l**2. Is h(6) a multiple of 5?
False
Let p = -16 + 39. Is 5 a factor of p?
False
Let w(b) = b**3 - 9*b**2 + b + 11. Let d be 18/(-12) - 18/(-4). Suppose 0*c = -5*a + c + 45, -d*a = 5*c - 27. Is w(a) a multiple of 11?
False
Let i(f) = 3*f - 3. Let k be i(3). Is ((-4)/k)/(16/(-168)) even?
False
Suppose -m + 3*m - 12 = -3*v, 5*m - 23 = -4*v. Suppose 19 = m*g + 85. Let u = g + 46. Does 11 divide u?
False
Suppose 5*m - 5*g = -0*m - 5, -5*m + g - 1 = 0. Suppose m = y - 6*y + 10. Suppose -y*f + 58 = 14. Is 11 a factor of f?
True
Let f be (4/2)/((-2)/9). Let n = f - -24. Is n a multiple of 15?
True
Let q = -67 - -142. Is 25 a factor of q?
True
Is 10 a factor of 7/((-14)/20)*-2?
True
Suppose -s - 4*p + 135 = -0*s, 2*p + 123 = s. Suppose 5*n = 27 - s. Let y = 31 + n. Is 11 a factor of y?
True
Let i = -65 + 105. Is 20 a factor of i?
True
Suppose -2*v + 0*v = -8. Suppose 0 = -v*a + a - 51. Let m = a + 31. Does 7 divide m?
True
Let v(j) be the first derivative of -3*j - 1/2*j**2 + 5/3*j**3 + 2. Does 13 divide v(3)?
True
Let z = -148 + 212. Is 30 a factor of z?
False
Let n = -92 + 158. Is n a multiple of 22?
True
Does 16 divide (30/(-4))/(5/(-30))?
False
Let t(r) = 2 + r**3 - r**2 + 2*r - r**2 - 1. Let k be t(2). Suppose 4*x - 260 = k*w, 4*x + 2*w - 356 + 68 = 0. Does 26 divide x?
False
Suppose -5*u = 5*o - 175, 5*u + 3 = 2*u. Does 6 divide o?
True
Suppose 0 = 5*l + 2 + 18. Let x(o) be the second derivative of -5*o**3/6 - 2*o**2 - 5*o. Is 10 a factor of x(l)?
False
Let j(l) = -l**3 + 9. Let v be (10/(-4))/(2/(-4)). Suppose -r = 4*y + 16, 0 = 3*r - 4*r + v*y + 20. Is 9 a factor of j(r)?
True
Let s(o) = 2*o - 1 - 3*o - 4. Let m be s(-7). Let i = 0 + m. Does 2 divide i?
True
Suppose -3*k = -v + 26, -3*v + 138 - 53 = -2*k. Is v a multiple of 29?
True
Let b = 8 + -14. Let v be (-1)/(3/b) - 0. Suppose 0 = 2*y, 3*k - 39 = y + v*y. Is k a multiple of 13?
True
Let f(k) = 127*k**2 - 3*k + 2. Does 13 divide f(1)?
False
Let h = 12 - 2. Let w = -5 + h. Suppose -91 = -4*f + w. Does 9 divide f?
False
Let w(m) = 6*m**3 + m**2 - 2*m + 2. Is 16 a factor of w(2)?
False
Let m(a) = -8*a - 20*a**2 + 5 + 21*a**2 - 2*a. Is 4 a factor of m(11)?
True
Let z(i) = 10*i - 4. Let j be z(-3). Let p = 77 + j. Suppose -2*m + 6 = -a - p, -4*m + 93 = -3*a. Is m a multiple of 14?
False
Let b(c) be the first derivative of -11*c**4 - c**3/3 - c**2/2 - 1. Suppose -4*y + 2 - 5 = 3*w, 5*w + y + 5 = 0. Does 21 divide b(w)?
False
Let d(n) be the third derivative of -n**5/60 + n**4/24 + 29*n**3/2 - 2*n**2. Let g be d(0). Is g/21 + (-2)/14 a multiple of 2?
True
Let f(s) = 5*s. Let x be f(1). Suppose 4*v + x*d - 110 = 0, -4*v + 2*d = -d - 94. Let c = v + -11. Is c a multiple of 7?
True
Is 58 a factor of -4*3/3 + 396?
False
Suppose -4*d + 0*d + 8 = 0. Suppose 0*p + 3*p + 2 = -o, -d*p - 49 = -3*o. Is 4 a factor of o?
False
Let p(c) = c. Let o be p(4). Suppose -3*t + o*s = 14, -4*s + 5 + 17 = t. Suppose 3*z + t*k = 4*k + 49, -k - 5 = 0. Is z a multiple of 13?
True
Let a(g) = g**2 + 9*g + 8. Let x be a(-8). Suppose x = 3*n - 21 - 24. Is 6 a factor of n?
False
Suppose 18 = -2*h - h. Let k be ((-4)/3)/(h/90). Suppose -k = -4*m + 2*m. Does 10 divide m?
True
Suppose 2*n + 5*k - 17 = 0, -16 = 2*n - 5*k + 17. Let v be (-74)/(-10) + n/10. Suppose -t + 13 = -v. Is t a multiple of 8?
False
Suppose -6 = -3*l - 2*l - 2*b, -15 = 3*l - 5*b. Suppose -4*t + l*t + o + 139 = 0, -t = o - 41. Is t a multiple of 12?
True
Let z(d) = 5*d**2 - 1. Let n be z(-5). Let f = -80 + n. Suppose -3*r + f = -61. Does 14 divide r?
False
Let d(p) = p**2 - 9*p - 81. Does 8 divide d(16)?
False
Let a(s) = 2*s**2 + 13*s - 3. Let q be a(-7). Suppose 3*f + q - 34 = 0. Does 8 divide f?
False
Suppose 0 = -4*s + 2*c + 292, -6*s + 206 = -3*s + 5*c. Is s a multiple of 12?
True
Let i = 93 - -12. Is 7 a factor of i?
True
Let a = 28 + 0. Does 11 divide a?
False
Let c(v) be the second derivative of v**3/2 - v**2/2 + 2*v. Does 7 divide c(5)?
True
Let h(y) = -y + 11. Let z be (-3)/12 - (-9)/4. Suppose 2*p + 34 = -3*k - k, z*p = -5*k - 43. Is h(k) a multiple of 10?
True
Let w be (-1 + (-2)/4)*-40. Is 8/(-12) + w/9 a multiple of 3?
True
Let a(r) = r + 2. Let f be a(0). Suppose -5*p + f*x = -14, -18 = -5*p - 2*x + 6*x. Suppose 0 = -0*l - p*l + 62. Does 12 divide l?
False
Suppose 5*g = g - 5*s + 20, 0 = g - s - 14. Let p be (g/(-6))/((-5)/105). Suppose -5*u - 4*w + 75 = w, 0 = -2*u - 3*w + p. Is u a multiple of 5?
True
Let l(m) = -5*m**3 - m**2 + 11*m - 7. Let q(h) = 4*h**3 - 10*h + 6. Let c(o) = 3*l(o) + 4*q(o). Is c(5) a multiple of 9?
True
Does 40 divide ((-69)/6)/((-2)/72)?
False
Does 8 divide 4/6 + 154/21?
True
Let b(v) = v**3 - 3*v**2 - 5*v - 2. Let a be b(4). Let n = a + 4. Does 13 divide 24 + -4*n/4?
True
Let v = -13 + 19. Suppose v = -3*l + 21. Is l a multiple of 2?
False
Suppose -z + 257 = 3*x, 0 = -5*x + 2*x + 2*z + 242. Suppose 0 = 2*k + 3*w - x, -5*k + 188 + 4 = 3*w. Does 12 divide k?
True
Let f(s) = 35*s**3 + 2*s**2 + s - 2. Does 15 divide f(1)?
False
Suppose 0*g - 2*g + q + 3 = 0, 9 = 5*g - q. Suppose 0 = -2*o - 3*u + 93, 120 = 3*o - 0*u - g*u. Is o a multiple of 21?
True
Suppose -2*s - 8 = -2*m, s + 9 = 3*m - s. Does 18 divide (m - -25) + (-8 - -5)?
False
Let y(a) = 4*a**2 + 8*a + 5. Let f be y(-6). Let g = f + -45. Is 23 a factor of 2256/g - 4/14?
False
Let u(g) be the first derivative of -g**3/3 - 7*g**2/2 + 6*g - 10. Is 12 a factor of u(-6)?
True
Suppose -i = 2*m - 11, -3*m = m + 5*i - 37. Suppose -4*d - 1 = -3*d, -m*d + 245 = 4*z. Suppose -4*g - 2*r + 87 = -3*r, 0 = 3*g - 4*r - z. Does 11 divide g?
True
Suppose 5*f = -2*q + 27, 0 = -f - 0 + 5. Let w be ((-8 - -1) + q)/(-2). Suppose w*n + 53 = 4*g - 34, 3*n - 33 = -g. Is 10 a factor of g?
False
Suppose -2*q - 2*q - v + 4 = 0, -4*q - 3*v = -12. Suppose q = -h + 5*n - 5 - 8, -2*h = -4*n + 20. Let m = h - -23. Is m a multiple of 5?
True
Let v(k) be the second derivative of k**4/6 + 5*k**3/6 - 3*k**2 + 2*k. Is 13 a factor of v(-5)?
False
Let a = 53 + -27. Let z = 4 - 2. Suppose b - 2*b = -3*f - a, f = -z*b + 31. Does 10 divide b?
False
Let f(d) = -d**3 + 2*d. Let c be f(-2). Let i = c + 43. Suppose -3 = a + 4*g, 4*a = a + 2*g + i. Does 13 divide a?
True
Suppose -4*y - 140 = -6*y. Does 7 divide y?
True
Suppose -1 = -3*n + 5. Let j be n/(-1)*(6 + -3). Let c(x) = x**2 + x + 4. Is 14 a factor of c(j)?
False
Let y(b) = b**3 + b**2 - 5. Let p be y(4). Suppose -