r**3/3 - r**2 - 8. Let i(o) be the second derivative of z(o). Does 14 divide i(3)?
False
Let o = 34 + -167. Let w = 70 - o. Is w a multiple of 14?
False
Let b = -1231 + 1375. Is 11 a factor of b?
False
Let y(f) = 82*f**3 + 3*f**2 + 6*f - 8. Let c(j) = -5 + j**2 + 26*j**3 + j**3 + 2 + 2*j. Let u(b) = 11*c(b) - 4*y(b). Is 15 a factor of u(-1)?
False
Suppose 0 = 2*b - 2*a - 3*a - 26, -4*b - 5*a + 22 = 0. Let c be b - (7 + (-5 - -2)). Suppose c*z - 27 = z. Does 2 divide z?
False
Suppose 0 = -3*i - 2*f + 1250, 1285 = 3*i - 0*i - 5*f. Is i a multiple of 10?
True
Let p be -22 + 22 - 8*4. Suppose 133 = 2*n + 13. Let g = p + n. Is 14 a factor of g?
True
Let d(g) = 20*g**2 - 1. Suppose 5*s = 5*p + 45 + 10, 2*p = -s - 7. Let a be (-1)/(-2 - p - 3). Is 7 a factor of d(a)?
False
Let v(x) = -4*x**3 + 3*x**2 - 2. Let n be ((2/(-6))/1)/(1/6). Is v(n) a multiple of 8?
False
Let y be 1*2*(1 - -23). Let p = 20 + y. Is p a multiple of 18?
False
Let o = -363 + 990. Is o a multiple of 11?
True
Let w be (-3)/(-21) - (-444)/28. Does 16 divide w - (1 + 1 + -2)?
True
Suppose -4*q + 509 = -1123. Is q a multiple of 12?
True
Suppose -5*u + 3*u = -544. Is 29 a factor of u?
False
Let q(w) = -w**3 - 12*w**2 - 14*w - 56. Is 17 a factor of q(-13)?
False
Suppose 0 = -4*l + 5*a - 682, 3*a - 2*a = 2*l + 338. Let n = -58 - l. Is 22 a factor of n?
True
Suppose -3*w = -6*w + 6. Suppose 5*o = 4*y - 55, -w*y + 7*y = -3*o + 4. Let k(m) = m**3 + 8*m**2 + 4*m - 3. Is 6 a factor of k(o)?
True
Suppose -u = -6*u + 1400. Suppose -25 = -8*n + 7. Suppose y - u = -n*y. Is 25 a factor of y?
False
Suppose -6456 + 234 = -6*m. Is 37 a factor of m?
False
Let z(n) be the second derivative of -n**3 + 7*n**2 - 2*n + 21. Is 34 a factor of z(-9)?
True
Suppose 0 = 7*s - 2*s - 30. Does 29 divide (-21)/s*((-500)/(-35))/(-1)?
False
Let b be 6/(-21) - (-18)/14. Let r be b/(-6) - 455/(-30). Let t = 54 - r. Does 13 divide t?
True
Suppose 3*q + q - 32 = 0. Suppose 8*k - 6*k = q. Let r(a) = 4*a - 4. Is r(k) a multiple of 6?
True
Suppose 6*n = 10*n. Suppose n = 3*d - 5*w - 20, 4*w - 3 = -19. Let i = 13 - d. Is i a multiple of 3?
False
Let b(v) = 67*v**2 - 36*v - 2. Does 45 divide b(-3)?
False
Let j(n) be the second derivative of n**7/280 - n**6/120 - n**5/40 - n**4/24 - n**3 + 7*n. Let r(g) be the second derivative of j(g). Is 11 a factor of r(3)?
True
Suppose 4*l = l + o + 7320, 3*o + 7326 = 3*l. Does 36 divide l?
False
Suppose 9*h - 2241 = -0*h. Suppose -4*m + 6*r = 4*r - 198, h = 5*m - r. Does 6 divide m?
False
Let j be 14*(-6)/16*-12. Let y = j - -49. Does 16 divide y?
True
Suppose 2*y + 12 = -0*y - 5*v, -5*y = -v - 24. Suppose -4*g = -7*g - y*q + 312, -294 = -3*g + 2*q. Let h = g + -22. Is 15 a factor of h?
False
Suppose 2*q = 2*l + 992, -5*l + 2*l - 994 = -2*q. Is q a multiple of 26?
True
Let x(u) = 2*u**3 - 2*u + 11. Let z be (8/(-3))/(-2)*3. Is x(z) a multiple of 11?
False
Suppose 2*o = 8, 3*v - 590 = -2*v - 5*o. Let l = 222 - v. Is l a multiple of 12?
True
Suppose 5*g = -2*v + 5923, -2*v - 1247 = -g - 72. Is 5 a factor of g?
False
Suppose -7*q = -2*q - 20. Suppose -q*m - 3 = -h, m + 4*h = -0*h + 12. Suppose m = -j + 76 - 26. Is 12 a factor of j?
False
Let i(z) = -2*z - 2. Let x be i(11). Is (272/x)/((-4)/6) a multiple of 3?
False
Suppose b - 5*b = -4. Let j be (-48)/9*-6 - b. Let q = -15 + j. Is 8 a factor of q?
True
Suppose 0 = -5*a - 2*s + 32, -2*a = 2*s - 0*s - 8. Let k be (1/(-2))/((-2)/a). Does 3 divide 720/88 - k/11?
False
Suppose r + 51 = -0*r. Suppose -5*g = -3*y + 2*y + 4, -2*g - y = 3. Is 0 - (g + -1 + r) a multiple of 11?
False
Let k be 15 - 6 - (-3 + 1). Suppose 2*q - k*q = -702. Does 13 divide q?
True
Let g = -147 - -284. Is g a multiple of 5?
False
Let x be 2/10 - (-328)/10. Suppose -5*r + 82 = 4*t, -2*t - 3 + x = -3*r. Does 6 divide t?
True
Suppose 14*s + 804 = 12*s. Let p = -240 - s. Let y = p + -100. Is y a multiple of 30?
False
Suppose -v - 1 = 0, d - v - 20 = 13. Suppose -3*j = -0*j - 5*f - d, 5*f = -5*j. Suppose -3*c + 61 = -2*c + 5*h, -j*c + 4*h = -196. Is 17 a factor of c?
True
Let p = -19 - -10. Let i = p + 14. Does 5 divide i*(-3 + (-18)/(-3))?
True
Does 21 divide (0 - -2116) + (-4 - -9)?
True
Let i = -1 - 0. Does 35 divide 30/i*(-35)/10?
True
Let r(s) be the third derivative of -s**4 - 5*s**3/3 + 17*s**2. Is 10 a factor of r(-5)?
True
Suppose -z - 80 - 42 = -3*y, y + 106 = -z. Let d = z - -186. Is 11 a factor of d?
False
Let d(o) = o**3 + 5*o**2 - 6*o + 6. Let r(y) = y + 6. Let w be r(-11). Is 19 a factor of d(w)?
False
Suppose 0 = 9*f - 4894 + 1330. Is 44 a factor of f?
True
Let m = -43 + 41. Is m/2 - (-41 + -1) a multiple of 9?
False
Let z = 1789 + -1313. Is z a multiple of 28?
True
Let k(t) = -t**3 - 3*t**2 + 4*t + 6. Let c be k(-4). Let n(a) = a**3 - 5*a**2 - 2*a - 3. Let s be n(c). Let o = 43 - s. Is o a multiple of 14?
False
Let i = 580 + -370. Does 6 divide i?
True
Let a be -1*3 + 11 + -69. Suppose 3*h + 92 = -3*l + 20, l = 3. Let g = h - a. Is g a multiple of 17?
True
Let i(r) = 2*r - 27. Let k be i(12). Let x = 23 + -82. Let j = k - x. Is j a multiple of 17?
False
Let t = -18 - -33. Is 9 a factor of 756/10 + 6/t?
False
Let d(l) = l**3 + 22*l**2 + 21*l + 59. Is 13 a factor of d(-21)?
False
Does 63 divide 116 + -9*(-16)/72?
False
Suppose 0 = 4*w - 5*u - 660, -5*w - 2*u + 541 = -284. Does 11 divide w/6*(8 - 6)?
True
Let g be 4*(6/8 + 0). Suppose -3 = g*n - 129. Suppose 0*q = q - 4*j - n, 0 = -5*q + j + 134. Does 14 divide q?
False
Is (-1872)/(-3) + 0/(-62) a multiple of 17?
False
Suppose -4 - 8 = -2*l. Let y(d) = d**2 + d - 1. Let h(t) = -5*t**2 - 14*t + 2. Let o(z) = l*y(z) + h(z). Is o(10) a multiple of 16?
True
Let q(g) be the third derivative of 11*g**5/30 + g**4/12 + g**3/6 - 2*g**2. Let c(s) = 4*s - 41. Let a be c(10). Does 6 divide q(a)?
False
Suppose -3810*k = -3801*k - 9396. Is 67 a factor of k?
False
Suppose 0 = -2*t + 5*o + 18 + 15, -t - 3 = 4*o. Let s = t - 5. Suppose -g - x = 2*g - 10, -s*g = 4*x - 16. Is g even?
False
Suppose 0 = 2*s - 0*s - 168. Let b be (-16)/(-6) - 12/18. Suppose b*c = -c + s. Is c a multiple of 24?
False
Let y = -107 + 127. Let b(q) = 8*q + 11. Does 10 divide b(y)?
False
Let k be ((-3)/4)/(36/(-32))*-3. Is (8 + -9)/((-2)/(86 + k)) a multiple of 21?
True
Let l = 15 - 13. Suppose 0 = -2*m + 4, l*m + 222 = 5*a - 29. Is 17 a factor of a?
True
Let w be (-32)/(-6) - (-10)/75*5. Suppose -w*t = -41 - 37. Does 13 divide t?
True
Suppose -33*c + 19*c = -4200. Does 20 divide c?
True
Let v be (-1 + 1)/((-12)/(-4)). Suppose -5*n - 5 = -v*m - 4*m, -m - 5*n = -20. Suppose -16 = -m*a + 3*a. Is 2 a factor of a?
True
Let o(t) = -t - 3. Let g be o(-7). Let i = g - -6. Suppose z - i = 22. Is z a multiple of 13?
False
Suppose 5*t - 8485 = 5*p, -5*p + 10*p = 3*t - 5091. Is t a multiple of 40?
False
Let v = -61 + 69. Is 146/v + (-1)/4 a multiple of 6?
True
Let b(x) = -x**3 + 9*x**2 - 4. Let f be b(8). Suppose -13 = -u - 3*p + 49, 5*p = -u + f. Does 15 divide u?
False
Suppose -5*o + 3*x + 53 + 15 = 0, 0 = 3*o + x - 52. Does 3 divide o?
False
Let r be (-884)/(-6) + 10/15. Suppose 3*i = -3*t + 141, 0*t = -3*t + 4*i + r. Is 6 a factor of t?
True
Let l be (0/(-2))/(1 - 2). Suppose l = -2*k + 4*k - 8. Suppose 3*v - 54 = -k*w + 2*v, -w + 12 = v. Does 5 divide w?
False
Suppose 5*a = 2*d - 14, -3*d + 12 = -4*a - 2. Let i be (31/2)/(d/4). Suppose -4*c + 57 = -i. Is 7 a factor of c?
False
Suppose 0 = 15*f - 19*f + 4, 0 = 3*v + 2*f - 1001. Is v a multiple of 4?
False
Let v = -20 + -5. Let g = -39 + 34. Is 3 a factor of (-24)/(-5) + g/v?
False
Suppose -n + 535 - 35 = -4*m, 0 = 4*m - 8. Is n a multiple of 26?
False
Let n = 65 + -62. Is 11 a factor of (2/n)/(1*(-6)/(-477))?
False
Let x(w) = -25*w + 68. Is x(-9) a multiple of 17?
False
Let c(j) = j**3 + 2*j**2 + 2. Let b be c(-2). Let q(n) = 7 - 22 + 0*n**b + n**2 + 8*n. Is q(-11) a multiple of 5?
False
Let i be (8/(-20) - -2)*1480. Suppose -4*f = -224 - i. Is 8 a factor of (1/(-2))/((-12)/f)?
False
Let z be 2/(-2) + (-7 - -56). Is (180/z)/(1/72) a multiple of 10?
True
Suppose 5*n + 3 = -7. Let b be (-4)/n + -6 + 6. Suppose b*m = -m + 33. Is m a multiple of 3?
False
Suppose -3*b + 5*b = -4*h - 504, -h + 5*b - 126 = 0. Does 3 divide (h/35)/((-2)/10)?
True
Let h be (-2 - -26)*(6 - 5). Suppose -2*g + h = -4. Suppose g = 2*r - 4