 Does 13 divide c(0)?
True
Let j(k) be the third derivative of -k**4/24 - 5*k**3/6 + 4*k**2. Let i be j(-5). Suppose -z + 63 = -i*z. Is z a multiple of 21?
True
Let q be ((-4)/(-14))/(2/14). Suppose -q*z + 32 = 2*z. Is z a multiple of 3?
False
Let d(l) = 2*l + 2. Let g be d(-3). Let q = 2 - g. Suppose q*u = 3*u + 15. Does 2 divide u?
False
Let h(a) = 6*a**2 - 4. Let r be h(4). Suppose 4*x + 0*x = r. Is x a multiple of 18?
False
Suppose 6*a + 655 = 2359. Is 10 a factor of a?
False
Suppose -5*a + 60 + 0 = 0. Does 8 divide 130/a + 2/12?
False
Suppose 3*l + 2 = r - 11, r + 2*l + 7 = 0. Let k = 24 - r. Does 6 divide k?
False
Does 8 divide 4 + 200/4 + 2?
True
Let s = 5 - 2. Suppose 2*z - 54 = -2*j, s*z - 16 = -z. Does 9 divide j?
False
Suppose -21*y + 18*y + 273 = 0. Does 27 divide y?
False
Suppose 3*h + h + 12 = 0, r - 2*h = 60. Is 42 a factor of r?
False
Let z(q) be the second derivative of q**5/20 - q**4/3 + q**3/2 - q**2 - q. Let n be 1/(-2) + (-27)/(-6). Does 10 divide z(n)?
True
Let s = -2 + 6. Suppose -2*h = -w + 16, w - 3 = 5*h + s. Does 17 divide w?
False
Let d be ((0 - -3) + 0)*1. Suppose -d*p = -5*p + 6. Suppose -2*q + 29 = p*m - 3*q, -3*q = -m + 7. Is m a multiple of 10?
True
Let a(s) be the second derivative of s**3/6 - s**2/2 - 2*s. Let t be a(5). Suppose -t*q + 59 = -93. Is q a multiple of 10?
False
Let g(p) = -3*p**2 - 5*p - 11. Suppose 2*i - 2*z = -10, 3*i + 0*z + 7 = 5*z. Let v(c) = c**2 + 2*c + 5. Let x(j) = i*v(j) - 4*g(j). Is x(-3) a multiple of 10?
True
Let v = 110 + -66. Is v a multiple of 25?
False
Is 1005/6 + (-1)/(-2) + 0 a multiple of 14?
True
Let d be 4/(-2 + (-168)/(-81)). Suppose 11 = 5*m - d. Let v = -7 + m. Does 5 divide v?
False
Let w be (4 + -3 + -2)*-3. Is (-58)/(-6)*3 + w a multiple of 12?
False
Suppose 0 = -3*h - 3*c + 324, 0*c = -5*h + 4*c + 540. Is h a multiple of 12?
True
Let h(j) = 7*j**2 + 7*j + 12. Is h(-4) a multiple of 8?
True
Let q = -77 - -31. Suppose -3*w - 53 = 19. Let y = w - q. Is 8 a factor of y?
False
Suppose 0 = -h - 0*h + 11. Is 11 a factor of h/4*4/1?
True
Let i(z) = -2*z + 14. Let u be i(6). Suppose 3*l = u*l + 5*k + 8, -4*k - 4 = 0. Is l a multiple of 2?
False
Suppose 2*w + w = -m + 855, m = -5*w + 1423. Suppose -w = -3*f + 4*f. Does 11 divide f/(-11) + (-14)/(-77)?
False
Suppose -4*k - k + d = 9, 2*d - 6 = 4*k. Let b be (-1)/((-6)/(-4) + k). Is 8 a factor of b*-2*(-4)/1?
True
Does 5 divide (4/10)/((-8)/230)*-4?
False
Let s(f) = 4*f**3 + 1 - 4*f**2 + 4*f + f**3 - 4*f**3. Suppose -5*t - 3*u = -2*u - 11, -2*t - 4*u - 10 = 0. Does 2 divide s(t)?
True
Is -2 + (408/4)/1 a multiple of 25?
True
Let i be -7 - (0 - 0/1). Let y be i/(14/(-12)) - 0. Suppose a + 2 = y. Is 4 a factor of a?
True
Let m(r) = 124*r - 17. Is m(2) a multiple of 11?
True
Let h(j) be the second derivative of 25*j**4/12 + j**3/6 + j**2/2 - 5*j. Is h(-1) a multiple of 22?
False
Let b(x) = -3*x - 6. Let y = -9 - -14. Suppose -4*w = -y*w - 8. Does 18 divide b(w)?
True
Let q be (12/(-7))/((-6)/126). Let k = q + -16. Is k a multiple of 20?
True
Suppose 4 = n - 2. Suppose t + 5 = n*t. Suppose -g + t = -2. Is 2 a factor of g?
False
Let k = -30 + 42. Is 9 a factor of k?
False
Suppose 0 = -2*f + 64 + 132. Is 10 a factor of f?
False
Let g be 1/(-1)*(-3 - -3). Does 8 divide 9 + (g - 1)/1?
True
Suppose 2*o - 5*t + 25 = 0, -8 = -o - 2*t + 2. Suppose -2*b + 8 = -o*b. Is 10 a factor of 9/b*(-16)/(-3)?
False
Suppose -54 + 18 = -5*w + f, -32 = -3*w - 2*f. Suppose -2*v = -5*p - 1 + 8, -5*v + 8 = -4*p. Suppose v + w = 4*o. Is o a multiple of 3?
True
Let m(i) be the third derivative of -i**6/120 - i**5/15 - i**4/8 + i**3/3 - 3*i**2. Suppose 4*h - h + 12 = 0. Is 7 a factor of m(h)?
True
Suppose -c - 36 = -0*c - 4*b, -4*c + 5*b = 111. Let s = c - -56. Is s a multiple of 9?
False
Suppose -4*w - 5 = 5*a + w, -5*w - 10 = 0. Let i = 5 + a. Does 2 divide i?
True
Let c be (-24)/14*14/(-4). Suppose -c + 29 = -f. Let l = f - -55. Does 16 divide l?
True
Suppose -5*u + 335 = 5*l, -6 = u - 4*l - 63. Does 13 divide u?
True
Let u = -57 + 74. Is u a multiple of 4?
False
Suppose -9*o = -212 - 22. Does 4 divide o?
False
Let x(i) = -i**2 + i + 130. Is x(0) a multiple of 30?
False
Suppose 3*y - 52 - 8 = 0. Does 10 divide y?
True
Suppose 4*r + 3*z = -18, r + 0*r - 2*z + 10 = 0. Let b = -6 - r. Suppose -k + b*k = -22. Is k a multiple of 11?
True
Let y(t) = 42*t - 1. Let j be y(1). Suppose 73 + j = 3*v. Is v a multiple of 14?
False
Let p(c) = c**2 + 7*c - 6. Let x(y) = 5 + 0 - 3*y - 4. Let o be x(-1). Does 14 divide p(o)?
False
Is (-20)/70 - 2358/(-21) a multiple of 28?
True
Let c = -33 + 28. Let a(r) = 1 - r**2 - 6*r + 0*r + 1. Is 7 a factor of a(c)?
True
Let p(w) = w**2 + w - 3. Let q be p(-4). Let h(z) = -z**2 + 14*z - 9. Is 18 a factor of h(q)?
True
Let l(s) = -s. Let f be l(7). Let m = 8 + -7. Let b = m - f. Is b a multiple of 4?
True
Let q = 25 + -13. Is q a multiple of 12?
True
Let b be 3/(-6*3/(-48)). Suppose c + c - b = 0. Is c a multiple of 3?
False
Let l = 6 - 12. Let a(v) = v**2 + 5*v - 3. Let b be a(l). Let j(u) = -u**3 + 4*u**2 - 4. Is 4 a factor of j(b)?
False
Let g be 1/4 - 513/4. Suppose 19 = -2*n - 139. Let r = n - g. Is 17 a factor of r?
False
Suppose 5*l - 3*o - 38 = -0*o, -32 = -2*l - 3*o. Suppose -5*b - l = -3*u + 36, -3*u + 2*b = -31. Is u a multiple of 3?
False
Let d(i) be the third derivative of -i**5/60 - i**4/24 + 7*i**3/2 - 10*i**2. Is 7 a factor of d(0)?
True
Let o(m) = -25*m**3 - 2*m**2 + 1. Let y(h) = h + 5. Let v be y(-6). Does 15 divide o(v)?
False
Let f(d) = -d**3 + d**2 + 6. Let r be ((-1 - -1)/(-2))/(-2). Is f(r) a multiple of 6?
True
Suppose -8 = 3*l + 5*s - 28, l - 4 = -s. Let u = l + 3. Suppose -2*a - 19 = -u*a. Does 16 divide a?
False
Suppose 5*s + 10 = -3*v - 2*v, 4 = -2*v - 5*s. Let r(o) = 3*o**2 - 3*o**3 + 0*o - 4*o**2 - o. Is r(v) a multiple of 10?
False
Suppose -l = -6*l + 70. Is 7 a factor of l?
True
Let g = -17 - -57. Suppose -3*t + 92 = -g. Is t a multiple of 13?
False
Let g be -24*(2 + -5) - 2. Suppose -87 - g = -d. Suppose -3*h + d = 5*y, h + 112 + 49 = 5*y. Does 16 divide y?
True
Let n(x) = -3*x + 2 - 3*x + 2*x - 37*x**2. Let q be n(3). Is 16 a factor of q/(-21) - 2/6?
True
Suppose 4*y + z - 3 = 0, -5*y + 5 = z - 0*z. Is 61/y + (-3)/6 a multiple of 12?
False
Suppose 3*o - 15 = -3*w - 2*o, 0 = -4*o. Suppose 0 = w*t - 19 - 1. Is t even?
True
Let l = -1 + -3. Let b = l + 4. Is 7/(1 - 0 - b) a multiple of 4?
False
Suppose -3*m + 4*g = -g - 18, -5*m = 4*g - 30. Does 16 divide 2/m - 380/(-12)?
True
Let w(q) = q**3 - 6*q**2 - 2*q + 5. Let y be (-2)/8 + (-116)/(-16). Is w(y) a multiple of 16?
False
Let l = 56 + 69. Is 32 a factor of l?
False
Suppose 2*q - 152 = -5*d - 24, -2*d = -3*q - 55. Let y = 43 - d. Suppose -4*a - 5 + y = 0. Is a even?
False
Let v(u) = -3*u**2 + 4*u**2 - 3*u + u. Let n be v(3). Suppose 3*h = 5*p + 7*h - 72, -5*p + 74 = n*h. Is p a multiple of 11?
False
Let l(u) = 2*u**3 - u**2 - 4*u + 3. Suppose m = 2*r - 8, 0 = -2*r + 4*m + 5 + 9. Let y be l(r). Suppose 0*v = -3*v + y. Does 4 divide v?
True
Suppose -11 = y - 55. Is y a multiple of 18?
False
Let o(f) = -f**3 + 4*f**2 + 5*f - 4. Let u(c) = 2*c**2 - 2*c - 5. Let t be u(-4). Suppose 5*q + 2*r - t = -3*r, -5*q = r - 23. Is 8 a factor of o(q)?
True
Let x(t) = t**2 + t - 16. Is 20 a factor of x(-10)?
False
Suppose -3*c + 304 = c. Suppose -2*k = -3*q + c + 21, 0 = -3*q + k + 92. Is q a multiple of 12?
False
Let d(l) = 21*l**2 - 2*l - 3. Let u be d(-2). Suppose -4*p = 16, 0 = 5*y + 5*p - 0*p - u. Is 10 a factor of y?
False
Let x = -25 + 18. Suppose 6*b = 2*b. Does 11 divide (b - 1)/(x/77)?
True
Is 18 a factor of 17/(17/200) + 2/(-1)?
True
Let c be 1/3 - (-4)/(-3). Let q be (-6)/c - 0/2. Suppose 25 = -l + q*l. Does 3 divide l?
False
Let r = 59 - 39. Does 4 divide r?
True
Suppose -3*x - 3*c + 87 = 0, -3*x = 2*x + 3*c - 141. Does 9 divide x?
True
Suppose -294 = 291*d - 293*d. Is 21 a factor of d?
True
Suppose 3 = -2*y - c, 2*y + 6*c + 13 = 3*c. Does 6 divide 1/y - (-9 - -4)?
True
Let w be (-3)/(-1) - (-1 - -20). Let v = w - -29. Does 13 divide v?
True
Let r be (4/5)/((-2)/(-5)). Suppose u + 69 = r*u. Is u a multiple of 23?
True
Let u = -7 + 15. Does 8 divide u?
True
Let s = -116 - -164. Is s a multiple of 12?
True
Let i = 0 + 0. Suppose -5*d - 14 + 44 = i. Is 342/