-2*c. Let d be w(-1). Let r(p) = -1 - 1 + 6*p + 0*p + 0. Is 10 a factor of r(d)?
True
Suppose 0 = 3*c - 3. Suppose 0 = -2*x - c + 5. Suppose -4*h + x*h = -44. Is 11 a factor of h?
True
Let o be (-4)/(-6)*(-27)/(-6). Suppose 4*j - k - 42 = -19, -4*j + o*k = -21. Is j a multiple of 2?
True
Let u(j) be the third derivative of j**6/120 + 11*j**5/60 + 3*j**4/8 + 13*j**3/6 - 2*j**2. Suppose 2*v - 6*v - 40 = 0. Does 23 divide u(v)?
True
Suppose 0 = -4*f + 4*s + 20, -2*f + 12 = -s - 2. Is f a multiple of 4?
False
Let x = 127 - 39. Is 15 a factor of x?
False
Suppose 21 - 5 = 4*y. Suppose y*w + 3 - 67 = 0. Is w a multiple of 8?
True
Let x(t) = -t**3 + 4*t**2 + t. Let p be x(4). Suppose 0 + 64 = p*z. Let w = z + 9. Is w a multiple of 9?
False
Suppose 11 = -3*y - 1. Suppose 0 = 2*x - x + 4. Does 2 divide 1/x - 17/y?
True
Suppose 2*z - 23 = -2*z + 5*s, -4*s - 14 = -z. Let q(k) be the second derivative of 3*k**5/20 - k**4/6 + k**2/2 - k. Is q(z) a multiple of 6?
False
Let u(i) = 2 + 0 - i - 6. Let r be u(-7). Let j = r - -7. Is 5 a factor of j?
True
Let g be 7/((-1)/(-20)*-2). Let v = -44 - g. Does 10 divide v?
False
Let t(b) be the second derivative of b**5/10 - b**4/4 + b**3/6 - b**2/2 + 3*b. Suppose z + 4*z = 10. Is 5 a factor of t(z)?
True
Let f = 143 + -225. Let r = -58 - f. Is 4 a factor of r?
True
Let u = 6 - 3. Suppose -2*s = u*s - 120. Does 8 divide s?
True
Suppose -2*u + 32 = 4*c, 3*u - 2*c + 8 = 48. Is u even?
True
Let x be (0 - -2) + 1/1. Let q(o) = 0*o**3 - 3 + o + o**3 - 2*o**2 - 6 + 8. Is q(x) a multiple of 10?
False
Suppose -4*f + 12 - 28 = 0. Does 8 divide (-1270)/(-30) - f/6?
False
Let n = -6 - -182. Is n a multiple of 16?
True
Let n be (-3 + 22/6)*27. Suppose 6*q = 5*q + n. Is 7 a factor of q?
False
Suppose -2*y + 25 + 91 = 0. Is y a multiple of 29?
True
Let s be (-14)/35 - (-4)/10. Suppose -2*o + s - 90 = -3*p, p + 4*o - 30 = 0. Suppose -d = 4*d - p. Does 4 divide d?
False
Let m be ((-25)/(-20))/((-1)/(-16)). Suppose -y + 5*g = m, -4*y + 3*g - g - 8 = 0. Suppose y*f + 2*f - 44 = 0. Is 11 a factor of f?
True
Suppose 0 = -4*m - u - 19, -2*u - 1 = m + 9. Let w = m + 6. Suppose -3*y + 19 = -w. Is 5 a factor of y?
False
Let n(o) be the second derivative of 19*o**4/12 - o**3 + 2*o. Let z(x) = -18*x**2 + 5*x. Let v(y) = -4*n(y) - 5*z(y). Does 7 divide v(1)?
False
Let n = 15 - 10. Let b be -13*((0/(-3))/2 - 3). Suppose -2*v = n*l - 29, 0 = 2*v - 5*l - 0 - b. Is v a multiple of 9?
False
Let o be (0 - -2)*20/8. Suppose 218 = 2*m - 3*q, 0*q = o*m + 5*q - 570. Is 28 a factor of m?
True
Suppose 2*q - 216 - 180 = 0. Does 28 divide q?
False
Suppose 0 = 2*c, 0 = 5*x + 2*c - c - 25. Let p = x + -3. Suppose 0*h - p*h = -30. Does 14 divide h?
False
Let h = 0 - 0. Suppose 3*b - 8 = -n - 1, h = b + n - 1. Suppose 15 = b*p + 3*z - 0*z, 0 = -5*p + z + 31. Is p a multiple of 6?
True
Let s(w) be the first derivative of -w**5/20 + 7*w**4/12 - w**3/3 + 2*w**2 - w + 1. Let p(o) be the first derivative of s(o). Is 14 a factor of p(6)?
True
Suppose -c + 2*c = 20. Suppose -2*x = 2*x - c. Is 4 a factor of x?
False
Let c be (0 - -10)/((-4)/(-46)). Let n = 14 - 14. Suppose c = -n*l + 5*l. Is l a multiple of 23?
True
Let a be (-18)/((-1 - 0)*2). Suppose r - 3*l - 54 = -a, -l + 29 = r. Does 11 divide r?
True
Is 3 a factor of 4*((-4)/4 + 3)?
False
Let s(c) = c**3 + 2*c**2 - 3*c. Suppose -7 = 3*b - 4*d, -d + 6 = 4*b - 10. Does 14 divide s(b)?
False
Does 14 divide (24/9)/((-18)/(-189))?
True
Is 14 a factor of (-1 + 5)*(1 - -3*9)?
True
Let n(d) = -d**3 - 5*d**2 + 3*d + 18. Does 12 divide n(-7)?
False
Let k = 33 + -86. Let v be 1/(-1 - (-32)/34). Let f = v - k. Is 14 a factor of f?
False
Suppose 3*s - 6*k = -k + 25, -2*k - 67 = -5*s. Is s a multiple of 5?
True
Let p be (-478)/(-15) + 6/45. Let l = 56 - p. Is 12 a factor of l?
True
Let f = 4 + 3. Let i(u) = u + 2*u - 1 - 2*u + f*u**2. Does 14 divide i(2)?
False
Suppose 461 = 4*v + 5*c, -5*c + 119 = 4*v - 3*v. Is 38 a factor of v?
True
Let v(w) = w**2 - 4*w + 1. Let i be v(3). Let u(m) be the third derivative of m**4/24 + 2*m**3/3 + 10*m**2. Is u(i) a multiple of 2?
True
Let t be 1 - (-3 + 1 + 2). Is 10 a factor of 254/12 + t/(-6)?
False
Let l(o) = -o**2 + 4*o + 1. Let k be l(4). Suppose -5*p = -k - 4. Is 2*(15/p - -2) a multiple of 16?
False
Let w(h) = 4*h**2 - h - 2. Let i be w(-2). Suppose 3*z = -i + 1. Let d = z - -21. Does 12 divide d?
False
Let g(r) = r - 2 + 4*r - r. Is 10 a factor of g(5)?
False
Let m = 64 + 32. Is m a multiple of 24?
True
Let o = -25 + 15. Does 16 divide (-201)/(-7) - o/35?
False
Suppose q - 47 = 19. Let x = q + -46. Is 14 a factor of x?
False
Is 3/3*(89 - 7) a multiple of 13?
False
Suppose -3*r + 15 = -21. Let v(j) = -30*j**2 - 6*j - 3 + 29*j**2 + 20*j. Is 21 a factor of v(r)?
True
Let l(b) = 14*b**2 - 4*b - 3. Let j = -11 + 9. Is l(j) a multiple of 18?
False
Let h be -6 + 4 + 8/1. Suppose h*b - 80 = b. Is b a multiple of 8?
True
Suppose -3*f = -114 + 486. Let b = -88 - f. Does 9 divide b?
True
Does 31 divide ((-186)/12)/(1/(-2))?
True
Suppose -4*a = -3 - 17. Suppose 6*s - 15 = s. Suppose -50 = -s*w + 4*b, -2*b + 91 = a*w - b. Is 6 a factor of w?
True
Let c = -63 + 76. Is 9 a factor of c?
False
Is 8 a factor of -3 - (242/(-7) - 3/7)?
True
Let w = 82 - 56. Let l = -8 + w. Is l a multiple of 9?
True
Let w = -21 + 28. Is w a multiple of 3?
False
Let o(f) = f**2 + 8*f + 10. Let g be o(-7). Suppose g*x + h - 222 = 0, 2*h - 6*h = -3*x + 222. Is x a multiple of 37?
True
Let d = 120 - 93. Is 12 a factor of d?
False
Is (7 + -1)*(-22)/(-4) a multiple of 11?
True
Let w(r) = 2*r**2 + 6*r - 11. Is w(-6) a multiple of 3?
False
Let o(v) = v**3 + 6*v**2 - 9*v + 1. Let i = -4 + -3. Is o(i) a multiple of 5?
True
Suppose 48 = 2*q - 3*w, 5*q - 92 = -5*w + 28. Is q a multiple of 4?
True
Let h be (-3)/15 - 42/(-10). Suppose 0 = -f + 6 + h. Is 13 a factor of 134/f + (-2)/5?
True
Let y(t) = 132*t + 2. Does 14 divide y(2)?
True
Let q(m) = 6 - 21*m + 8 - 20. Is 22 a factor of q(-2)?
False
Let d be (-8)/(-6) - 98/(-21). Does 3 divide (d - 5) + (2 - -2)?
False
Let s = -11 - -16. Suppose -s*q = -10*q + 80. Is q a multiple of 8?
True
Let x(n) = -2*n - 4. Let u be x(-4). Suppose p - 3*p = -3*d + 11, -5*p = 3*d - u. Is 10 a factor of ((-25)/20)/(p/8)?
True
Let k(b) = -b**3 - 6*b**2 + 10*b + 3. Let f be k(-7). Is 8 a factor of (f - -4)/(2/(-3))?
False
Let h be (-1 - -3)*9/6. Let r(g) = 3 - g - g - g**h + g**2 - 7*g**2. Is 8 a factor of r(-6)?
False
Suppose 0 = -3*w + 4*g + 73, -w + 3*g + 4 = -27. Is w a multiple of 3?
False
Let k(c) = 9*c**2 - 5*c + 2. Is 41 a factor of k(3)?
False
Let q be (-1 + 8)/(5/25). Suppose 0 = 4*x - 16, -6*x + 60 = -5*j - x. Does 5 divide (q/(-20))/(2/j)?
False
Let q = 15 + -11. Suppose 0 = -0*x - q*x + 204. Does 17 divide x?
True
Let c(t) = -t**3 + 2*t**2 + 4*t - 2. Let o(p) = -3*p**3 + 3*p**2 + 9*p - 4. Let s(r) = 5*c(r) - 2*o(r). Let x be s(-4). Let q = x + 15. Is q a multiple of 3?
False
Let r be (-15)/25 + (-13)/(-5). Suppose 0 = -4*s - 8, -r*i + 2*s + 32 = s. Does 10 divide i?
False
Let t = -4 - -7. Suppose v = -3 - t. Is (v + 3 + 0)*-4 a multiple of 6?
True
Let v = 0 - -7. Let l = v - 4. Does 2 divide l?
False
Let o(v) = 3*v**3 - v. Let d(y) = -10*y**3 + y**2 + 3*y. Let w(f) = -2*d(f) - 7*o(f). Let r(c) be the second derivative of w(c). Is r(-8) a multiple of 15?
False
Let o = 31 - -69. Is o a multiple of 10?
True
Let f(q) = 17*q**2 - 10*q - 18. Is 5 a factor of f(-2)?
True
Suppose -r - 4 = r. Let a = -21 - r. Let i = -11 - a. Does 4 divide i?
True
Let h = -33 + 39. Is 6 a factor of h?
True
Suppose 5 - 13 = -2*a. Let y(m) = m**2 + 3*m - 4. Does 12 divide y(a)?
True
Suppose 0*h = -3*h + 4*q + 75, 3*h - 2*q = 69. Let b = -7 + h. Is 5 a factor of b?
False
Let g(m) = 54*m. Let k be g(3). Suppose 7*d - k = 2*d - 2*u, -4*d + 5*u = -123. Suppose -a + d = a. Does 8 divide a?
True
Let b(v) = -3*v**3 - 20*v**2 + 2*v + 3. Let j(n) = -n**3 - 7*n**2 + n + 1. Let u(t) = 4*b(t) - 11*j(t). Does 4 divide u(-3)?
False
Let o be (-1 - -3) + (-9 - -31). Let m = o + -12. Does 12 divide m?
True
Let b be 1095/(-12) - (-6)/24. Let j = 151 + b. Does 15 divide j?
True
Let k be (-3 + (3 - 1))/1. Let d = k - -3. Suppose -z + 3*y = d*z - 57, -3*y + 11 = z. Is z a multiple of 8?
False
Suppose -i = -h - 1, -h + 14 = -2*i + 6*i. S