. Does 13 divide c(-3)?
True
Let i(g) = -g**3 - 6*g**2 + 7*g + 10. Let k be i(-7). Suppose -5 = -3*t + k. Let p(b) = 5*b + 2. Is p(t) a multiple of 15?
False
Let f = -408 - -526. Is 7 a factor of f?
False
Suppose -3*k - l - 433 = 0, -l = -2*k - 14 - 268. Let s = 200 + k. Is 4 a factor of s?
False
Let l(k) be the third derivative of 0*k + k**3 + 0 + 1/120*k**6 + 7/24*k**4 + 5*k**2 + 7/60*k**5. Is 13 a factor of l(-4)?
True
Let p = -4 + 12. Let l(u) = -12 - 10*u + p*u - 2*u. Does 8 divide l(-9)?
True
Let l be (2 - 0) + (2 - -1). Let c be 0/(l + -3 - 1). Suppose c*i + 25 = 5*i. Is 2 a factor of i?
False
Suppose -2*b + 44 = 2*b. Let x = b - 12. Let t(p) = -12*p**3 - 2*p - 1. Is t(x) a multiple of 3?
False
Let u(t) be the second derivative of -67*t**3/6 + 13*t**2/2 - 3*t. Does 36 divide u(-2)?
False
Let q(n) = n**2 + n + 4. Suppose g = -0*z + 3*z - 17, -2*z + 16 = 4*g. Let t be 1/(-6)*-3*z. Is 8 a factor of q(t)?
True
Suppose -16*l + 4*l = -2760. Does 10 divide l?
True
Let f(x) = -x - 3. Let v be f(-3). Suppose -3*j - j - 2*k + 982 = v, -497 = -2*j + k. Is 52 a factor of j?
False
Let m = 3 + 1. Is 10 a factor of m/(-30) - (-7826)/195?
True
Is 140/(-28)*((-187)/5 - 1) a multiple of 12?
True
Let l be (4/8)/((-1)/2). Let i(g) = 5*g**2. Let a be i(l). Is (6 - 4)/(2/a) a multiple of 3?
False
Let p = 6 + -3. Suppose 0 = -z - 3*t - 6, -p*z - 4*t = -4 + 2. Is (-104)/(-6)*z/4 a multiple of 6?
False
Let b = -6874 + 9804. Is 67 a factor of b?
False
Let s(p) = 2 - 5 - p**3 - 5 + 5*p + 7*p**2. Let f be s(7). Is (6/5)/(f/990) a multiple of 22?
True
Suppose 0 = 4*z + 49 + 7. Let x = 71 + z. Does 57 divide x?
True
Let t(d) = d**3 + 50*d**2 + 182*d + 88. Does 15 divide t(-46)?
True
Suppose 2*z - 569 = 5*d, -3*z + 8*d - 6*d = -859. Is 7 a factor of z?
True
Suppose -5*y + 181 - 511 = 0. Suppose -4*w + 444 = -2*n, w - n = -0*n + 113. Let q = y + w. Is q a multiple of 15?
False
Let j(r) = -r**2 - 22*r + 38. Is j(-19) a multiple of 4?
False
Suppose 5*z - 2*j - 11651 = 0, -2*z + 3*j - 1104 + 5771 = 0. Is z a multiple of 25?
False
Suppose 3*n = n - 2. Let o be 5/10*(-1)/(3/30). Is n/o - 114/(-5) a multiple of 20?
False
Let x = -46 - -66. Let c be ((-32)/x)/(1/5). Does 10 divide (-9)/(-2)*c/(-3)?
False
Let f(y) = -y**3 + 5*y**2 - 3*y - 6. Let q(l) = -1 - 2*l + 4*l + 6*l - 15*l**2 + 18 + 4*l**3. Let r(u) = -7*f(u) - 2*q(u). Is 14 a factor of r(-6)?
True
Suppose -2*z = -4*c + 721 + 775, -5*z - 740 = -2*c. Is c a multiple of 15?
True
Let g(u) = -3*u**2 + 3*u + 11. Let o(b) be the second derivative of -b**4/12 + b**3/6 + 2*b**2 - 6*b. Let n(m) = -4*g(m) + 11*o(m). Is n(-2) a multiple of 2?
True
Suppose 0 = -o + 2*w + 10, -o = -w + 2*w - 10. Is 6 a factor of o/40 + -1 + (-267)/(-4)?
True
Let z = 536 + 2008. Is 12 a factor of z?
True
Suppose -5*z = 3*a + 9, 0*z - 2*a - 6 = 4*z. Suppose -5*f = -z*f. Suppose -4*l + 5*n + 22 = -f*n, l = -n + 10. Is l a multiple of 4?
True
Suppose -x = -263 - 17. Is x a multiple of 4?
True
Is 13 a factor of 9681/6*(-240)/(-420)?
False
Let p be -3 + 2*(0 - -6). Suppose p*v = 574 + 155. Is 9 a factor of v?
True
Suppose 3*b - 4*i = 8*b - 6560, 5*i - 2624 = -2*b. Is b a multiple of 28?
False
Suppose 7*y - 1000 = 2*y - 5*v, 4*y = 4*v + 808. Is y a multiple of 8?
False
Does 17 divide ((-15)/(-45))/((-4)/(-228)*1)?
False
Suppose 14*n + 360 = 18*n. Is n a multiple of 30?
True
Let u be -1 + 2 + (-5 - 75). Let x = u + 111. Is 6 a factor of x?
False
Let t be -4 + (-2 - -2 - 0). Let i be -1 - t - 0 - -1. Suppose 3*r - 40 = -i. Does 3 divide r?
True
Suppose 77 = 2*r - 39. Suppose 71 = 2*m - 153. Suppose -2*b - 5*d = -r, 0 = -2*b + 5*b - 5*d - m. Is 17 a factor of b?
True
Suppose 3*a - 5*s + 20 = -44, -a + 2*s = 20. Is 3 a factor of a/(-2)*(-4)/(-8)?
False
Let f = -533 + 703. Is f a multiple of 10?
True
Suppose 3*h = 9, h - 3*h = -c + 9. Is -36*(175/c)/(-5) a multiple of 10?
False
Let k(s) = s + 10. Suppose 4*w - 14 = -5*n + 4, -4*n + 4*w + 36 = 0. Is 16 a factor of k(n)?
True
Suppose 5*d + 3*q = 2335, -2*d + 938 = -2*q + 20. Suppose d = 6*l + 98. Does 12 divide l?
False
Suppose h + 2*h = 15. Let f(i) = 2*i + i**2 + 5*i - 4 - 6*i - h*i. Is 5 a factor of f(6)?
False
Let y(o) = -o + 5. Let g(u) = u. Let q(a) = 2*g(a) + y(a). Let z be q(13). Let t = 83 - z. Is 13 a factor of t?
True
Suppose -4*n - 153 = -5*n. Let h = n - 81. Is 24 a factor of h?
True
Let x(y) = 57*y - 4 + 6*y - 18*y + 2. Let g be x(2). Let m = 149 - g. Is 9 a factor of m?
False
Let p(l) = -28*l - 71. Is p(-10) a multiple of 11?
True
Suppose -2*l = -3*u + l + 417, -4*u + l + 565 = 0. Let j = 328 - u. Is j a multiple of 31?
True
Suppose -i - 4*o - 16 = -1, i - 2*o = 3. Let y = -36 - i. Is y*1*-1 + 4 a multiple of 8?
False
Let t(h) = -2*h + 4*h - 6 - h + 3*h. Let o(z) = -z**3 + z + 5. Let w be o(0). Does 6 divide t(w)?
False
Suppose -o - 13 = 4. Let q = 35 + o. Is 3 a factor of q?
True
Is 4235/70 + (-1)/(-2) a multiple of 2?
False
Let m = -1267 + 3472. Is m a multiple of 45?
True
Let p be (4/6)/((-4)/(-102)). Suppose -3*t + 2*r + 16 = 0, 0*t + t - 3*r = p. Suppose 0 = -t*f - 0*f + 56. Is 16 a factor of f?
False
Let v(h) = 6*h - 7 - 5 + 3*h**2 + 2 - 2*h. Let r be v(-6). Let z = -38 + r. Is z a multiple of 23?
False
Let v(d) = d**3 - 2*d**2 + 10*d - 4. Does 17 divide v(4)?
True
Suppose -3*m = 5*t - 2131, -2*t + 1037 = -4*m + 195. Is t a multiple of 15?
False
Suppose 680 = 3*t + z - 613, 4*t - 1716 = -4*z. Is t a multiple of 18?
True
Let l(q) = -159*q - 55. Is l(-2) a multiple of 69?
False
Suppose 123 = 3*r + n - 2*n, -41 = -r + n. Let t = 80 - r. Is 8 a factor of t?
False
Let n = 19 + -86. Suppose 5*v - 467 = 3*a, a = 4*v + 4*a - 379. Let p = v + n. Is p a multiple of 6?
False
Suppose -66*x + 20424 = -29*x. Is x a multiple of 23?
True
Let f(a) = -16 + 4 - 3 + 5 - 11*a + a**3 - 8*a**2. Does 16 divide f(10)?
True
Let h(r) = r - 7. Let l be h(10). Suppose -5*f = -l*q - 85, -5*q - 6 = f - q. Is 14 a factor of f?
True
Let v = 72 + -36. Suppose 0 = -4*k + 6*k - v. Suppose 0 = g + 2*l - 35, 2*g + 2*l + k = 84. Does 16 divide g?
False
Let h = -9 + 66. Let w = h - 21. Does 17 divide w?
False
Let a = 1271 - 1108. Is a a multiple of 7?
False
Suppose 3*p = 11 - 5, 0 = -2*m - 4*p + 1256. Is 13 a factor of m?
True
Let k(r) = -48*r + 72. Is 3 a factor of k(-6)?
True
Let k be (-1)/((10/15)/(-2)). Suppose 5*c + 2*a - 285 = 0, -4*c = -k*c + a - 57. Is 19 a factor of c?
True
Suppose -9*l = -6*l - 18. Suppose -11*s = -l*s - 85. Let d = 47 - s. Is d a multiple of 7?
False
Let l be -1*6*1/(-2). Suppose -5*h - x + 494 = 0, 2*h - l*x = 132 + 52. Is 15 a factor of h?
False
Is 7 a factor of (-986)/(-10) + 86/(-10) + 9?
False
Suppose 5*v = 4*i - 23, -2*i + v - 2 = 3*v. Suppose -i*p + 4*p - 38 = 0. Is p a multiple of 3?
False
Is 43 a factor of 23940/95*(-11)/(-4)?
False
Let y be (-324)/(-78) + (-2)/13. Suppose -2*b = y*q - 20, 3*b - b - 5 = q. Suppose 8*f = b*f + 132. Is f a multiple of 18?
False
Let f = 5 - -5. Suppose 3 = b + f. Let q(o) = 3*o**2 + 9*o + 7. Does 23 divide q(b)?
False
Suppose 41*r = 40*r + 276. Is 69 a factor of r?
True
Let p(q) = -3*q + 32. Let z be p(-20). Let s = z - 64. Is 4 a factor of s?
True
Let n(z) = 4*z**2 + 16*z + 109. Does 12 divide n(-12)?
False
Let c = 19 + -15. Let z be 4 - -1 - (4 - c). Suppose -x = z*n - 45 - 32, 130 = 2*x + 4*n. Is x a multiple of 19?
True
Let o(w) = 7*w**3 - 14*w**2 - 12*w + 9. Let p(b) = -6*b**3 + 13*b**2 + 11*b - 9. Let m(h) = -5*o(h) - 6*p(h). Does 6 divide m(9)?
True
Suppose 0 = -a + 4960 - 697. Does 29 divide a?
True
Let a be (-6)/(4 - 8 - -2). Suppose -r + 5*r = 12, 2*d + r - 443 = 0. Suppose -2*x = a*x - d. Does 22 divide x?
True
Suppose 101*g = 87*g + 3808. Does 68 divide g?
True
Suppose -1157 = 34*d - 6597. Is 33 a factor of d?
False
Let u(g) = -1 + 5 - 21*g**2 + 10*g - 7*g. Let o(s) = -20*s**2 + 2*s + 4. Let r(n) = -4*o(n) + 3*u(n). Is 22 a factor of r(2)?
True
Suppose 3*u + 54 = 3*q, 16*q = 15*q + 5. Let a(i) = -i**3 - 14*i**2 - 14*i + 2. Is a(u) a multiple of 6?
False
Let n(q) = -2*q - q**2 - 13 - 7*q + 0*q. Let m = 1 + -7. Does 2 divide n(m)?
False
Let p(w) = -w**2 - 6*w + 4. Let q be p(-6). Let v be q + 2/1 + -2. Suppose -g = -v*g - 5*x + 23, -3*g + 14 = -4*x. Is 6 a factor of g?
True
Let w = -2444 + 3502. Is 23 a factor of w?
True
Let h(g) = 6*g - 1. Let b be