rivative of -7*z**6/720 - z**5/30 - z**4/12 + z. Let t(n) be the third derivative of y(n). Is t(-4) a multiple of 12?
True
Let l = 8 + -2. Suppose 3*c = l + 6. Does 4 divide c?
True
Let v be 6/39 - 22/(-26). Let n(s) = 29*s**2 - 1. Is 13 a factor of n(v)?
False
Let b be 4/6*(-30)/(-4). Let i = b + -3. Suppose m = 5, 0 = i*y + 5*m - 0*m - 43. Is 9 a factor of y?
True
Suppose -5*z + 6*z = 6. Suppose -6*a = -3*a - z. Does 2 divide a?
True
Let x(y) = 36*y - 3. Let g(d) = 2*d**2 - 2*d - 2. Let q be g(2). Is 24 a factor of x(q)?
False
Suppose 2 = 5*x - 18. Suppose -2*j = 2*j - x. Let z = 35 - j. Does 17 divide z?
True
Suppose 0*g - 3*g = 0. Let k be (6/8 - g)*4. Suppose 30 = k*i + 6. Is 4 a factor of i?
True
Let s = 0 + 438. Does 33 divide s?
False
Let c = 2 + 4. Let s be c + 0*(-3)/(-9). Suppose 2*w = -s, -2*j - 6*w + 2*w = -16. Is 7 a factor of j?
True
Let v(i) = 3*i**2 + 7*i - 6. Is v(4) a multiple of 5?
True
Let d be (1 - 3 - 1) + 0. Let f(t) = 8. Let o(u) = -u - 7. Let y(m) = 5*f(m) + 6*o(m). Is y(d) a multiple of 6?
False
Let f(z) be the third derivative of -z**7/2520 + z**6/60 - z**5/12 - z**4/24 - z**2. Let k(c) be the second derivative of f(c). Does 17 divide k(9)?
True
Let j = -87 + 122. Let b be 4/(-7)*j/(-10). Suppose -t = k - b*k + 17, 5*k + t = 85. Does 7 divide k?
False
Suppose -30 = -2*d + 6. Is 3 a factor of d?
True
Let r = 44 + -15. Suppose -n = 2*n - 12. Suppose 0 = 3*w + n*d - r, 5 = -d - 4*d. Does 11 divide w?
True
Let n be (-1)/2*(-2 - -2). Let y(a) = a**2 + a + 18. Is y(n) a multiple of 18?
True
Suppose -4*b + 2*n - 84 = -2*n, n + 1 = 0. Let v be 4/b - (-670)/55. Is 12 a factor of 88/v*(4 + -1)?
False
Is 12 a factor of 3/((-3)/(-2))*28?
False
Suppose -3*y + 3 = -2*h, y - 3 = -h - 2. Is 12 a factor of 52*(y/2 - 0)?
False
Suppose -47 + 18 = u. Let s = u + 40. Does 7 divide s?
False
Suppose -1 - 1 = 2*l. Does 16 divide 3/(l/(-18 + 2))?
True
Suppose 0 = -3*a + 55 + 143. Is 22 a factor of a?
True
Let w be (2 - 1)*-1 - -6. Let z be -36*1*4/(-2). Suppose -2*m + 2*o = -z, 6*m - m + w*o - 210 = 0. Is 18 a factor of m?
False
Is (-1*5)/((-3)/45) a multiple of 13?
False
Let b = -5 + 10. Suppose b*v + 3 = 28. Suppose 6*o = 2*o + 16, v*t = -4*o + 146. Is 15 a factor of t?
False
Let g(p) = 10*p - 1. Let j be 1 + -5 + 2 + -2. Let l = 8 + j. Does 19 divide g(l)?
False
Let a = 52 + -20. Is a a multiple of 5?
False
Let j(s) = 3*s**2. Let b be j(1). Let a(l) = 2*l**2 + 9*l - 10. Let o(r) = -r**2 + 1. Let x(k) = b*o(k) + a(k). Is 4 a factor of x(7)?
False
Let b be ((-6)/(-9)*15)/(-1). Let y = -6 - b. Is y a multiple of 3?
False
Let f(s) = -s**2 - 20*s + 23. Does 19 divide f(-18)?
False
Let u(g) = -g**2 - 11*g - 6. Let o(v) = -v**2 + 4*v - 1. Let y be o(5). Does 8 divide u(y)?
True
Let j(u) = -63*u**3 - 3*u**2 + u + 1. Is j(-1) a multiple of 10?
True
Let n be (0 + 0)/(4/(-2)). Let k be (0 - 1*-7) + -2. Suppose -k*i + 3*d + 65 = n, -i + 59 = 3*i - d. Is 9 a factor of i?
False
Suppose -69 = -y + 48. Is 12 a factor of y?
False
Let j be 1 - -79*(1 - 0). Suppose -o - 20 = -2*x + 56, o = -2*x + j. Suppose -x - 63 = -3*q. Is 13 a factor of q?
False
Let c(v) = 7*v - 10. Suppose -5*x + 2*p - 39 = 0, 0 = 4*x + x + 3*p + 54. Let l be c(x). Let k = 134 + l. Is 23 a factor of k?
False
Does 31 divide 31*(-5)/10*-2?
True
Let n(r) = -3*r**2 + 5. Let k be 69/15 + 4/10. Let t(f) = 2*f**2 - 3. Let i(m) = k*t(m) + 3*n(m). Is i(4) a multiple of 14?
False
Let b(n) = n**2 - 6*n + 6. Let q be b(5). Let i be -1 - (1/q - 134). Suppose 0 = -p - 4, -3*y = 3*p + 3 - i. Is 16 a factor of y?
False
Let v(f) = 3*f**2 - 2*f - 14. Is v(-5) a multiple of 71?
True
Suppose 0 = 2*a + 3*y - 155, 55 + 27 = a + 3*y. Is a a multiple of 8?
False
Suppose 0*o + 41 = o. Does 12 divide o?
False
Let u be ((-12)/9)/((-2)/6). Suppose -b - 69 = -u*b. Is 16 a factor of b?
False
Let x be (-3 + (-3 - -3))*-17. Suppose -x - 141 = -4*z. Suppose g = 5*g - z. Is g a multiple of 9?
False
Does 27 divide 260/(-39)*66/(-4)?
False
Let j(c) be the first derivative of c**5/20 - 3*c**4/4 + 5*c**3/3 - 3*c**2 + c - 3. Let x(y) be the first derivative of j(y). Does 7 divide x(8)?
False
Suppose 4*t = -2*z + 72, 0 = 5*t + 3*z + z - 87. Let k = t - 11. Is 3 a factor of k?
False
Let q = 14 - -28. Is q a multiple of 17?
False
Let t be 21/(-9) + 1/3. Let m be 6*(3 + t)/3. Let i = 0 + m. Is i even?
True
Let w = -40 + 91. Does 8 divide w?
False
Let f(c) = 3*c + 12. Let k(g) = -g. Let i be 2/(-3)*3/2. Let z(l) = i*f(l) - 6*k(l). Does 10 divide z(11)?
False
Suppose -q + 87 = 2*n + n, 0 = 2*q. Let x = n + -17. Is x a multiple of 12?
True
Suppose 18 = -6*i + 9*i. Does 6 divide i?
True
Let t = 141 - 80. Suppose -4*a + t - 17 = 3*y, 5*a + 37 = 2*y. Suppose 4*c = -0*c - 20, -y = -3*k - c. Does 4 divide k?
False
Let t = 8 + 38. Is 11 a factor of 4*(-3)/(-24)*t?
False
Suppose 3*t - 11 = 25. Is t a multiple of 4?
True
Let y be (1/1)/(4/156). Let q = y - 20. Is 19 a factor of q?
True
Let h = -35 - -53. Is h a multiple of 3?
True
Suppose -4*s - 2 = 10. Is 3 a factor of ((-3)/(s - -2))/1?
True
Let h = 61 - 57. Let t = -3 + 2. Does 22 divide t/h - (-354)/8?
True
Suppose 5*t + 15 = 2*t. Let i = t + 1. Let n(w) = 2*w**2 + 6*w + 2. Is 8 a factor of n(i)?
False
Let i be (-4 - 1)*(1 - 2). Suppose -3*u - 4*m + 10 = 0, -u - i = -3*u - m. Suppose u*p = 17 + 21. Is 19 a factor of p?
True
Let s be 0 + 1 + (-5 - -3). Let j be 10/(-4) - s/2. Is 1/j + 11/2 a multiple of 5?
True
Suppose 0 = -3*m + 2*m + 2. Suppose -3*r + 0*x + 60 = 2*x, -m*x = 5*r - 96. Is r a multiple of 14?
False
Suppose 0 = 4*r - 13 - 11. Let s = r + -3. Suppose -5*y + s*g + 78 = -0*g, 5*y + 4*g = 71. Is y a multiple of 8?
False
Let p(s) = -s + 13. Let t be p(9). Suppose 18 = 5*q - t*q. Is q a multiple of 9?
True
Suppose -3*x + 4*f - 2*f = -3, 2*x = 5*f - 9. Suppose -5*q = x*i - 78, 0 = -q - q - 5*i + 35. Does 15 divide q?
True
Let j(d) = 0 + 1 + d**3 + 5*d - 9*d**2 + 2*d**2 + 2*d. Is j(6) a multiple of 4?
False
Suppose 11 = 5*p + 1. Suppose t - 3*b = 88, -2*b - 109 - 51 = -p*t. Is 23 a factor of t?
False
Suppose -5*b - 16 = -4*y, 4*b + 29 = -4*y + 9. Let w(a) = 2*a**2 + 6*a + 5. Let z be w(b). Suppose 4*f + 5*j - 78 = 0, -f + 8 = 2*j - z. Does 10 divide f?
False
Let p(k) = 11*k + 6. Let h(d) = 2*d**2 + 2*d - 1. Let v be h(-2). Does 11 divide p(v)?
False
Suppose -150 = -34*v + 29*v. Is 5 a factor of v?
True
Suppose -3*r = 5*d - 40, r + 2*d + 0*d = 15. Suppose -x + 3 = -r. Does 3 divide x?
False
Let z(v) = 4 + 7*v - 2 - v + 0. Is z(8) a multiple of 25?
True
Suppose 0 = -2*y - 5*x + 220, 0 = 7*y - 2*y + 4*x - 533. Is y a multiple of 21?
True
Let b(h) = h**3 - 13*h**2 + 14*h + 6. Is 4 a factor of b(12)?
False
Let d = -10 + 38. Does 5 divide d?
False
Suppose -5*z + 415 = -2*d, d + 0*d = 3*z - 248. Is 34 a factor of z?
False
Let h = -1 - -5. Suppose 2*g + h*b = 16, 4*b - 16 = -4*g + 5*g. Suppose g = -3*m + 22 + 20. Is 6 a factor of m?
False
Let v be 96/9 - 3/(-9). Let z = v - 0. Is z a multiple of 10?
False
Suppose 2*a = -5*j + 179, 2*j = 5*a + 5*j - 438. Does 29 divide a?
True
Let m = 81 + -34. Is m a multiple of 17?
False
Suppose -3*n = -0*n - 33. Suppose 4*l - 17 = 3*x, 2*x - 2*l + 15 - 5 = 0. Let y = x + n. Is y a multiple of 6?
False
Let v = -19 + 23. Is 23 a factor of 1*v + (14 - -5)?
True
Suppose 4*u + 2 - 6 = 0. Let i be (-2)/(1 - 2) + u. Suppose i*r = 147 + 6. Is r a multiple of 21?
False
Let v be 721/21 + (-2)/(-3). Suppose -4*z = -5*g + z + v, 0 = 5*g - z - 47. Does 4 divide g?
False
Let n(h) = -2*h - 2 + 0*h**2 + h**2 + 13*h**2. Let l be (1 - 1/3)*3. Is n(l) a multiple of 25?
True
Let f = 3 + -2. Is 2 a factor of (-1)/f + 15/3?
True
Let z(y) = -y**3 - 10*y**2 - 10*y - 4. Let w be z(-9). Let j(k) = -k + 3*k + 2*k + k**3 - 4*k**2 - 5*k - 4. Is j(w) a multiple of 14?
False
Let s(l) be the third derivative of 41*l**5/60 - l**4/12 + l**3/6 - 9*l**2. Is 20 a factor of s(1)?
True
Suppose 0 = -y + 2. Suppose 3*s = 15, y*j + 2*j + 2*s - 18 = 0. Suppose j*n - 4*n + 82 = 0. Is n a multiple of 15?
False
Let q(w) = -w + 3. Let c be q(-3). Let d be (-2 - (-9)/c)*-58. Suppose 3 = -3*g, -d = -5*m + 4*g + 25. Is m a multiple of 10?
True
Let v = 399 + -220. Is v a multiple of 12?
False
Let c = 13 + 17. Suppose a + a = c. Suppose -g = 3*s - 21, 3*g = -0*s + 3*s + a. Is 6 a factor of g?
Fal