he third derivative of s**5/30 + s**4/2 + 11*s**3/6 - s**2. Does 13 divide d(c)?
True
Let n = -8 + 13. Let i be (8/6)/(n/30). Is (-16)/((-4)/i*1) a multiple of 16?
True
Suppose -5*q + 959 = j, 2*j - 181 - 1721 = -2*q. Is j a multiple of 96?
False
Let c(g) = -g**2 - 12*g + 14. Let d be c(-13). Suppose -3 = 2*j - 23. Is (2 - d)*(j - -12) a multiple of 22?
True
Let q be (-7)/(-1) - (18 + -16). Suppose -11*j + 720 = q*j. Is 45 a factor of j?
True
Let l(z) = -7*z**2 - 3*z + 2. Let c be l(-2). Let s = c - -30. Is s a multiple of 10?
True
Let q(c) = -461*c**3 - 2*c**2 - 11*c - 8. Does 7 divide q(-1)?
True
Suppose 0 = y - 5*a + 4*a - 334, -1364 = -4*y - 3*a. Is y a multiple of 26?
True
Let n = -1261 + 2421. Is 29 a factor of n?
True
Suppose 5*r = -p - p + 11, 3*r - 5 = -2*p. Is 14 a factor of (-111)/p + (-9)/6?
False
Let d be 4/(-2)*(-90)/20. Let i(y) = -y + 9. Let b be i(d). Suppose 2*a - 3*w - 19 = 0, b = -a - w + 6*w + 13. Is 2 a factor of a?
True
Let v = 15 - 15. Suppose -3*z + 5*m = 280, v*z - 2*m - 192 = 2*z. Let c = -43 - z. Is c a multiple of 10?
False
Let k(q) = -q**3 + 10*q**2 - 7*q + 10. Let y = 45 + -39. Is 9 a factor of k(y)?
False
Suppose 0 = 4*w - 0*w - 16. Suppose -w*v - 119 = 5*j + 39, -3*v = 6. Let t = -13 - j. Is t a multiple of 7?
False
Suppose -6 = -5*z + 2*z. Suppose 4*q = -5*t + 3 - 93, 4*t - z*q = -98. Let o = t - -38. Is o even?
True
Let r = -108 + 113. Suppose 255 = 5*q - r*u, 2*q = -2*u + 32 + 70. Is q a multiple of 10?
False
Suppose 12808 = -34*q + 56872. Is 36 a factor of q?
True
Let p = 3006 - 2110. Does 29 divide p?
False
Suppose -5*n + 15 = -0*g - g, -2*n - 5*g = -6. Suppose 4*u - n = 3*u. Is u + 10/(-2) - -15 a multiple of 13?
True
Let u(k) = -k**2 + 5*k + 20. Let o be u(-6). Let d = o + 144. Is 14 a factor of d?
True
Let t(l) = l**3 - 9*l**2 - 5*l - 63. Does 12 divide t(15)?
True
Let q be (1/(-2))/((-3)/(-6)). Let b = -1 - q. Is 11 + ((-1)/(-1) - b) a multiple of 4?
True
Suppose -155*n = -154*n - 60. Is n a multiple of 43?
False
Suppose -3*c - 1674 = -5*k, -340 = -k - 0*c - 2*c. Does 14 divide k?
True
Suppose -4*q - 36 = -7*q - 3*n, 2*n + 36 = 2*q. Suppose 5*k - 2*u - 302 = 0, -q - 224 = -4*k - u. Does 15 divide k?
True
Let b = 2557 - 989. Is b a multiple of 13?
False
Suppose 4*a + 5*q - 94 = 45, 4*q = 2*a - 102. Is 16 a factor of a?
False
Let n = 1117 + -417. Does 35 divide n?
True
Let m be 21*(-3)/(-9) - 3. Suppose 2*y = 3*i - 47, m*i = -3*y + y + 44. Is i a multiple of 13?
True
Suppose -5*j - 15 = -3*w + 32, 4*w + 3*j = 82. Let f = -10 + w. Suppose i - 3 - f = 0. Is 4 a factor of i?
True
Suppose l - 63 = -5*q - l, 0 = -2*l + 8. Let m = q - 2. Is m a multiple of 3?
True
Does 4 divide -3 - (-526)/7 - (-4)/(-28)?
True
Suppose 0 = -13*q + 3*q + 9200. Does 20 divide q?
True
Let q(j) = j**2 - 17*j + 78. Let p be q(10). Let x be 4/14 - (-47)/7. Suppose p*z - 30 = x*z. Does 10 divide z?
True
Does 37 divide (-3417 - (-13 - -1))*-1?
False
Let t(k) be the third derivative of -5*k**4/24 - 9*k**3/2 + 36*k**2. Does 4 divide t(-7)?
True
Let p(g) = g**2 + 13*g - 18. Suppose 5*q - 19 + 4 = 0. Let j(z) = -z**2 - 3*z + 2. Let b be j(q). Does 10 divide p(b)?
True
Suppose 0 = m + q - 39, -150 = -4*m - 3*q + 2*q. Suppose 0 = -5*r + 3*s + m, -28 + 12 = 4*s. Is 5 a factor of r?
True
Let d = 79 + 554. Is 38 a factor of d?
False
Let u(j) = -17*j**3 - 6*j**2 - 4*j. Suppose 2 = 8*l + 18. Is 40 a factor of u(l)?
True
Does 8 divide (-4)/14 + -16 + 198048/112?
True
Let i = 3397 + -2422. Does 75 divide i?
True
Let k = 139 + 11. Suppose 0*q + k = 6*q. Is q a multiple of 17?
False
Suppose -10*r + 17449 = 5389. Does 76 divide r?
False
Let l = 626 - 11. Is l a multiple of 66?
False
Suppose -x = -6*x + 5*o + 45, 54 = 5*x + 4*o. Suppose 186 = -7*k + x*k. Does 14 divide k?
False
Let r = 8195 - 5850. Is 67 a factor of r?
True
Let m = -24 - 41. Let i = 93 + m. Does 5 divide i?
False
Let n = 17 + -16. Let x be 1 - (-46*n + -1). Suppose x + 36 = 2*h. Is 15 a factor of h?
False
Suppose -2*l = -4*l - 6, -5*i = -4*l - 11292. Does 12 divide i?
True
Let a(n) = -n**3 - 5*n**2 - 6*n - 4. Let f = 41 + -21. Suppose -2*t - f = 4*w, 0 = -w - t - 5 - 0. Is 13 a factor of a(w)?
True
Suppose -25 = 5*r, 3*r - 1 = -3*t - 7. Suppose 4*y - 259 = 2*z - 3*z, -t*z = 5*y - 322. Does 14 divide y?
False
Suppose 14 = 4*l - 5*k + 2*k, l + 5*k - 15 = 0. Suppose -z = 4*b - l*z - 528, -5*b - 4*z + 633 = 0. Is b a multiple of 21?
False
Suppose 3*l + 8*a = 3*a + 3601, 0 = 2*l + 3*a - 2402. Is l a multiple of 11?
False
Let s(h) = 131*h**2 + h + 1. Let p be s(-1). Let z = -45 + p. Suppose 2*m + 0*u - z = -u, 0 = m + 4*u - 29. Is 22 a factor of m?
False
Let w be 18/9*22/4. Suppose 12*m = w*m + 52. Suppose -v + 3*y = -m, -y = 4*y. Does 15 divide v?
False
Does 3 divide (-34)/85 - 1324/(-10)?
True
Suppose -6039 = 4*k - 5*t - 21820, 3*k + 5*t - 11792 = 0. Is k a multiple of 28?
False
Let q(m) = -m**3 - 2*m**2 + m - 5. Let y be q(0). Let t be (y/(-10))/(1/(-6)). Is (174/t)/(-2) + 3 a multiple of 16?
True
Let j(q) = 9*q - 6. Let g be j(-13). Let w = g + 174. Let h = w - 21. Is 10 a factor of h?
True
Let s(r) be the third derivative of 23*r**5/30 + r**4/24 - r**3/6 + 2*r**2. Let l(f) = -f**3 + 18*f**2 - f + 17. Let i be l(18). Is 11 a factor of s(i)?
True
Let f(w) = w + 13. Let k be f(-13). Suppose k*j - 57 = -2*j + 3*a, 0 = 4*j + 5*a - 147. Is j a multiple of 12?
False
Let s be (-2 - 1) + 18 + 9. Suppose -2*y = -s - 232. Is 16 a factor of y?
True
Suppose -12*r = -11*r - 8848. Is (-4)/(-6) + r/84 a multiple of 9?
False
Let t be (-2)/(807/(-2055) + 12/30). Let y = t - -388. Is 23 a factor of y?
False
Let s(v) = -v**2 + 4*v - 4. Let o be s(2). Is (o - -1)/((-6)/(-420)) a multiple of 14?
True
Suppose -5*y + 1 + 14 = -2*r, -3*r = -2*y - 5. Suppose -3*o = 3*a - 5*o + 2, y*a = 4*o. Is 17 a factor of a/(-1 + 5) + 35?
True
Let n be (-6879)/(-2) - (-9)/18. Is 18 a factor of (-2)/(-12) - n/(-96)?
True
Let u be 2/(-6) - (-2888)/24. Suppose 0*k + z + u = 5*k, 4*z = -20. Suppose 3*p - 4*p = -k. Does 23 divide p?
True
Suppose 31304 = 22*t - 9*t. Does 28 divide t?
True
Let u(p) = 44*p**3 - 2*p**2 + 3*p - 3. Is u(1) a multiple of 13?
False
Suppose 0 = -v - 16. Is 1564/32 + (-1 - 1)/v a multiple of 7?
True
Suppose -2 = -c + 5. Suppose -11*n + c*n = -192. Is n a multiple of 12?
True
Let x(p) = -34*p - 74. Is 19 a factor of x(-5)?
False
Let g = 723 + -360. Is g a multiple of 8?
False
Let m(g) = g**3 + 4*g**2 + 2*g - 3. Let q be m(-3). Suppose q*s = 4*s - 48. Does 13 divide 304/s - (-4)/6?
True
Let c be 7 + -3 + 0 + -1. Let h be 3/(27/6 - c). Suppose 2*i = -h*q + 70, 2*q + i - 50 = 3*i. Is q a multiple of 15?
True
Let d be 7/(-28) + (-41)/(-4). Let r be 18/27*(d - 1). Does 8 divide 9/r*(6 - -32)?
False
Let f(j) = -9*j**3 - j**2 + 36*j + 200. Is f(-5) a multiple of 70?
True
Let f(u) = -u**2 + 12*u + 16. Does 36 divide f(10)?
True
Suppose 3*h - 5733 = r + 1625, h + 2*r = 2441. Does 47 divide h/27 + -2 + 4/18?
False
Suppose -4*v - 73 = -3*t - 2*v, 3*v = 12. Suppose p - 315 = -4*p. Let j = p - t. Is j a multiple of 9?
True
Is 8 a factor of 3*389 + (-65)/104*-8?
False
Let z = -150 - -105. Let g be 4/18 - 395/z. Does 4 divide (-25)/(-3) - g/27?
True
Let i be 2*(-3)/(-6) - -3. Suppose 2 = -i*c - t + 11, 2*c = -4*t - 6. Let s(a) = 17*a - 3. Is s(c) a multiple of 16?
True
Suppose 2*n - 4*f - 9058 = 0, -12*n + f = -9*n - 13592. Does 21 divide n?
False
Suppose -4648 = -18*d + 1598. Is 20 a factor of d?
False
Suppose w - 17 = -4*r, 22 = -4*w + 7*r - 5*r. Is -5*w*8 - 2 a multiple of 59?
True
Let v = 207 - -157. Is v a multiple of 13?
True
Let z(g) = -g**3 + 5*g**2 - 4*g + 4. Let p be z(4). Suppose 0 = -2*v + p - 0. Suppose -2*s = v*w - 20, -3*s + 3*w + 0*w + 36 = 0. Is s a multiple of 10?
False
Suppose 2*s = 4*a + 12, 7*s = 2*s - 2*a - 6. Suppose -3*b = 4*j - 169, b + b - 3*j - 107 = s. Is 15 a factor of b?
False
Is 16 a factor of 35811/27 - 30/(-18)?
True
Suppose -5*t - 13 = -4*c, 4*c - 2*t - 10 = -0*c. Let r = 4 - c. Suppose -z - s - 78 = -5*z, 4*z + r*s - 84 = 0. Is z a multiple of 10?
True
Let k = -21 + -66. Let g = -17 - k. Does 26 divide g?
False
Let o(j) be the first derivative of -11*j**3/6 - j**2/2 + 7*j + 11. Let z(c) be the first derivative of o(c). Does 17 divide z(-2)?
False
Let v(j) = j**2 - j. Let z be v(1). S