be the first derivative of -x**4/4 + 4*x**3 - 4*x**2 + 11*x + 9. Is 7 a factor of o(11)?
False
Is ((-23)/(-115))/((-2)/(-1930)) a multiple of 16?
False
Let c(p) = p**2 - 5*p - 5. Let s be c(6). Let v be -1 - -4 - (s - -33). Let r = -8 - v. Does 12 divide r?
False
Let k(p) = -p**2 - 12*p - 7. Let l be k(-11). Suppose -107 + 587 = l*q. Suppose i = 0, -4*j - j + q = 3*i. Is 12 a factor of j?
True
Does 13 divide (-3291)/(-15) - (-272)/170?
True
Suppose 5 = -3*v + 2*f, 3*f - 1 = 3*v + 5. Is (10/v)/((-8)/64) a multiple of 16?
True
Suppose k + 2*o + 98 = 0, -362 = 4*k + 3*o - o. Let d = k - -128. Suppose 0 = -c + d + 12. Is 10 a factor of c?
False
Suppose 0*o - 240 = 5*o. Let b(u) = -5*u**2 - 1. Let j be b(2). Is o/(-9)*j/(-4) a multiple of 9?
False
Let b(h) = 3*h**2 - 1. Let i be b(2). Suppose c + 7 = i. Is (-4 - -1)/(c/(-16)) a multiple of 4?
True
Let l(z) = z**3 - 2*z**2 - 21*z + 8. Let m = -9 + 15. Is 23 a factor of l(m)?
False
Let j = -31 - -34. Suppose 52 = -2*h - 3*p + 13, -67 = j*h - 4*p. Does 9 divide ((-22)/(-7) - 4)*h?
True
Let s = 1134 + -653. Is s a multiple of 37?
True
Let k = 50 - 13. Let x = k + 64. Suppose x = 4*a + 9. Is a a multiple of 6?
False
Let j(m) = m - 274 + 142 + 140. Suppose -3*t = -2*n - 0*n - 8, -n - 4 = -3*t. Is j(n) a multiple of 3?
False
Let q = 15 - 76. Let z = q - -125. Is z a multiple of 13?
False
Let k be ((-3)/(-2))/(3/18). Is (8 - k)*(-13 + -1) a multiple of 6?
False
Let w(p) = p**3 + 12*p**2 + 9*p - 6. Let b be w(-11). Suppose 5*c - c + b = 0, s - 14 = 3*c. Suppose -s*o - 10 = -4*o. Does 2 divide o?
False
Let k(y) = 9*y**2 - 2*y + 8. Let g be k(2). Suppose -o + 191 = 5*t - 153, -3*o = -4*t + 260. Let p = t - g. Is 12 a factor of p?
False
Suppose 0*m + 4*m - 532 = 0. Let n = m + -8. Does 25 divide n?
True
Let y = 41 - 9. Suppose -213 = -5*j + y. Does 7 divide j?
True
Let o(b) = 31*b**2 - 10*b + 242. Does 12 divide o(9)?
False
Is 2 a factor of ((-267)/6)/(62/(-620))?
False
Suppose -4*u + 454 = -394. Is 72 a factor of u?
False
Let p(j) = 18*j + 1. Let i be p(2). Does 40 divide (-6 - -8)*(-6)/(-4) + i?
True
Let s be ((-5)/(-15))/(1/(-51)). Let t = 14 - -22. Let a = s + t. Is a a multiple of 10?
False
Let d(c) = 726*c**2 + 8*c - 6. Is d(1) a multiple of 56?
True
Suppose l = -5*d + 470, 2*d - 2*l + 1 = 177. Suppose -411 = -4*u + d. Is u a multiple of 18?
True
Suppose 3*z - 285 = -n + 4*n, -2*z - 4*n = -160. Let l = 110 - z. Is 10 a factor of l?
True
Suppose -2*s + 11 - 1 = 0. Suppose 0 = s*d + 2*m - 117, -3*m - 112 = 4*d - 9*d. Is d a multiple of 15?
False
Suppose -2*l = -3*g + 8, g - 2 = 2*g + 4*l. Suppose -g*i + 3*s = -106, 0*i + 5*i = -3*s + 244. Is 6 a factor of i?
False
Let u(b) = b**3 + 12*b**2 + 13*b + 25. Let h be u(-11). Does 8 divide (2/h)/((-15)/(-360))?
True
Let z = 20 - 16. Suppose j - 4*n = 21, -z*j = -6*j + n + 21. Does 11 divide 538/j + (-2)/(-9)?
False
Let t(p) = -6*p**3 - 9*p**2 + 9*p - 5. Let k(s) = -s**3 - s**2 + s - 1. Let m(v) = 5*k(v) - t(v). Suppose 2*x = x - 4. Does 16 divide m(x)?
True
Suppose 10*u = 3*c + 5*u + 3, -c + 5*u = 11. Suppose -c*q - 3 = -19. Suppose 2*y - 14 + 0 = -q*l, -4*y - 5*l + 31 = 0. Does 4 divide y?
False
Suppose -4*n = -2*n + 3*f + 1, 5*n - f + 11 = 0. Let j(w) = -36*w. Let x be j(n). Is 7 a factor of (-114)/(-16) + (-9)/x?
True
Suppose 5*q - 256 = -4*i, 4*q - 221 = -3*i - 17. Suppose 0 = 4*j - 0*j - 3*l - 72, -4*j - 3*l = -q. Is j a multiple of 6?
False
Let o = 70 - 21. Suppose o = -8*b + 345. Is 21 a factor of b?
False
Let s be 2/4 - (-12)/8. Let f(i) = 2*i**2 - 2*i - 1. Let m be f(s). Suppose m*y - 290 = y. Is 22 a factor of y?
False
Let t(u) be the third derivative of u**6/60 - u**4/6 + 5*u**3/3 + 15*u**2 - 2. Is 48 a factor of t(5)?
True
Let a(q) = -14*q - 1. Let m be a(1). Let j = -39 - m. Let u = 13 - j. Is 14 a factor of u?
False
Suppose -4*z = -3 - 9. Suppose -5*c + z*c = -60. Does 10 divide c?
True
Let i(d) = -4*d**2 - 4*d - 6. Let f(n) be the third derivative of -n**5/60 - 6*n**2. Let r(m) = 3*f(m) - i(m). Is r(-4) a multiple of 3?
True
Suppose -2288 = -24*r + 304. Is r a multiple of 6?
True
Suppose 2*m + 3*m - 1020 = 5*z, -z = -3*m + 604. Is 20 a factor of m?
True
Does 44 divide (-132)/5*(-1 - (-56)/(-4))?
True
Suppose -10*u + 4 = -6*u. Is (9/(-3) + u)*-50 a multiple of 20?
True
Suppose -4 = -6*y + 2*y. Is 3 a factor of (437/57)/(y/3)?
False
Suppose 0 = -2*d - t + 472, -d + 0*t + t + 233 = 0. Is d a multiple of 3?
False
Let c(i) = -462*i**3 - 27*i**2 - 25*i + 2. Does 22 divide c(-1)?
True
Let s(h) = 6*h - 23. Let m be s(5). Suppose 17 + m = 3*z. Does 4 divide z?
True
Suppose 6*r + 1482 = -0*r. Is 21 a factor of ((-2)/(-3))/(-2 + r/(-123))?
False
Suppose 0*a = -15*a + 1350. Is 18 a factor of a?
True
Let b = -698 + 1202. Does 6 divide b?
True
Let a = -108 + 113. Suppose -200 - 95 = -a*n. Is n a multiple of 52?
False
Let b = 191 + -23. Suppose -o + b = o. Suppose 0 = 2*s - 3*g - 52, 4*s - o = 2*s - 5*g. Is 19 a factor of s?
False
Suppose -2*o + 15 + 31 = 5*v, 0 = -2*o - v + 46. Let n be 162/5 + (-21)/(-35). Suppose -x - o = -3*z, -2*z + n = 5*x - 5. Is z a multiple of 6?
False
Let x(r) = -r**2 + 8*r - 7. Let h be x(7). Suppose 0 = 5*z + 2*i - 35, h = 2*z + 2*z + 5*i - 11. Let j = z + 2. Does 11 divide j?
True
Suppose 5*j = -3 - 17. Let m = j + 40. Is 12 a factor of m?
True
Let p be 3/(2/((-40)/(-6))). Let j(r) = -r**3 + 12. Let a be j(0). Let q = a - p. Is q a multiple of 2?
True
Suppose -5*p + 80 = -p - 5*a, -5 = p + 5*a. Let c = p + -2. Suppose c*s - 345 = 8*s. Does 23 divide s?
True
Let f be (82/6)/(1/3). Is (f + 21)*2/4 a multiple of 5?
False
Let n = 614 - 593. Is 5 a factor of n?
False
Suppose 0 = -2*i + 3*d + 669, -2*i + 2*d + 663 + 11 = 0. Is 38 a factor of i?
True
Let h = 1183 - 733. Is 45 a factor of h?
True
Suppose b = -2*a + 4, 2 = -5*a + 2*b + 21. Suppose v - 11 = 54. Suppose 0 = -a*d + 22 + v. Does 9 divide d?
False
Let w be ((-3)/6)/(2/(-148)). Let k = -498 - -511. Let t = w - k. Is 15 a factor of t?
False
Let j(n) = n**3 - 19*n**2 - 54*n + 22. Is j(23) a multiple of 27?
False
Suppose -11505 = -49*b + 7017. Is 14 a factor of b?
True
Does 10 divide (204 - (-1 - -3))/((-26)/(-65))?
False
Let a be ((-10)/(-4))/(14/28). Suppose 129 = a*r - 1. Is 24 a factor of r?
False
Suppose 3*w - 1610 = -4*w. Does 10 divide w?
True
Let k = -65 + 64. Is k/((-5)/639) + (-31)/(-155) a multiple of 16?
True
Let u(w) = w**2 + 25*w + 20. Is 26 a factor of u(16)?
True
Suppose 28 - 81 = -f. Suppose -3*s = -j + 19, -j - 4*s + f = 13. Is 4 a factor of j?
True
Does 46 divide -894*8/84*-14?
False
Let w(c) = -c**2 - 4*c + 2. Let u be w(4). Is 3/(-1) - (3*u)/3 a multiple of 9?
True
Is 0/(12/(-6) + 1) - -671 a multiple of 13?
False
Let y(k) = -5*k - 3. Let w(m) = 11*m + 6. Let n(t) = 4*w(t) + 9*y(t). Let p be n(-5). Suppose -3*v - p*u = -68, -5*v + 4*u + 100 + 28 = 0. Does 12 divide v?
True
Let r be -2 + 4 - (-1 + 19). Let m be (r/(-6))/((-2)/(-135)). Suppose 0*t + m = 3*t. Is t a multiple of 15?
True
Suppose 4*u = t - 3*t + 10320, 5*t + 5160 = 2*u. Does 45 divide u?
False
Let w(l) = 6*l + 9. Let v(o) = 12*o + 18. Let s(a) = -2*v(a) + 5*w(a). Is 32 a factor of s(8)?
False
Suppose -m = 4, -5*p - 13 - 19 = 3*m. Let d be p + ((-18)/3)/(-2). Is 17 a factor of 54 - ((1 - d) + 1)?
True
Let q = 13 + -11. Let v be (12/(-9) + q)*6. Suppose p = v*p - 30. Is 2 a factor of p?
True
Suppose 5*p + 19 + 66 = 0. Let l = 30 + p. Does 9 divide l?
False
Let o = 900 + -718. Does 13 divide o?
True
Suppose -3*v = 2*t + 50, -5*v + 2*v = -4*t - 64. Let n = t + 33. Let q = n + -6. Is q a multiple of 4?
True
Let r(z) = -z**2 + z + 18. Let u be r(10). Let a = u + 149. Is a a multiple of 11?
True
Let o(i) = i**3 + 30*i**2 + 53*i + 41. Is o(-21) a multiple of 8?
False
Suppose -2*n - 125 = 121. Let p = 12 - n. Does 31 divide p?
False
Let n = -94 + 144. Suppose 4*d = -3*v + n, -2*v + 7*v = 5*d + 60. Is v a multiple of 2?
True
Let w(z) = -3*z + 26. Let b be w(9). Is 35 a factor of (630/(-54))/(b/12)?
True
Let c(b) = 38*b**2 - b - 45. Is 79 a factor of c(-6)?
False
Suppose g + 0 - 4 = 0. Suppose g*j + 3*z - 4*z - 464 = 0, 349 = 3*j - z. Is j a multiple of 16?
False
Let r = 1098 + 757. Does 8 divide r?
False
Let y = -854 - -1216. Does 11 divide y?
False
Let x(h) = h - 1. Let l(z) = 18*z**2 - 2*z + 6. Let a(u) =