y**3 + 5*y**2 + 3*y + 1. Let s be d(5). Let a = 195 - 139. Suppose -s + a = 4*r. Does 5 divide r?
True
Let w = 2 + 1. Suppose 2*s - 15 = 13. Suppose -4*v - 4 = w*z, -2 = 5*z + 2*v - s. Does 4 divide z?
True
Let s = -12 - -32. Does 4 divide s?
True
Let v = -9 - -16. Does 5 divide v?
False
Let c(r) = -r**2 + 6*r + 4. Let m be c(6). Suppose -2*t - 2*t = -12. Let y = m + t. Is y a multiple of 3?
False
Suppose 8*v - 68 = 260. Is v a multiple of 12?
False
Suppose 5*l = 10 + 5. Let m(a) = -5*a**3 + 5*a + 3*a**2 + a**l - 4*a + 1. Is 22 a factor of m(-2)?
False
Suppose -i + 216 = -5*v + 88, 2*i = 3*v + 235. Is i a multiple of 51?
False
Let k(p) = -p**3 - 3*p**2 - 1. Let c be k(-2). Suppose 0 = -3*w + 4 - 10. Let o = w - c. Is 2 a factor of o?
False
Let w = -24 + 66. Suppose 0 = s + 3*k + 8, -2*s + 0*s + 3*k = -2. Does 9 divide (3/s)/((-7)/w)?
True
Suppose 0 = -q + n + 4, -n = 1 + 2. Let c be (13 + q)/((-1)/(-2)). Is 13 a factor of c + (-1)/(2/4)?
True
Let h = -3 + 4. Does 11 divide ((-22)/(-3))/(h/3)?
True
Suppose -5*w = -2*w - 12. Suppose -4*a = w - 92. Is a a multiple of 14?
False
Suppose 0*f + 217 = 7*f. Does 11 divide f?
False
Suppose -2*q + 120 = -4*g, g + 5 = -5*q - 47. Let l = -15 - g. Does 9 divide l?
False
Let f(c) = 11*c**2 - 19*c. Does 14 divide f(4)?
False
Let n be 1 + -3 - 287/(-1). Suppose 2*o + 2*b + 11 - 137 = 0, -5*b = -5*o + n. Is o a multiple of 11?
False
Let t = 27 - 7. Does 10 divide t?
True
Let p(w) be the first derivative of w**5/20 - w**4/2 + 5*w**3/6 + 3*w**2/2 - 2*w + 1. Let z(a) be the first derivative of p(a). Is 3 a factor of z(5)?
True
Suppose 0 = 5*l - z - 32, -l + z + 8 = -0. Suppose l = -3*q + 354. Suppose 2*x + 3*a - q = -2*x, -4*x + a = -100. Is x a multiple of 13?
True
Suppose -3*v = -6 - 6. Does 3 divide v?
False
Suppose -8*d + 3*s + 36 = -4*d, 3*d - 27 = -3*s. Let r = 15 - d. Suppose 3*w = r*w - 60. Is w a multiple of 8?
False
Suppose 0 = j - 2*r + 3*r - 173, j = -5*r + 193. Is 14 a factor of j?
True
Let d(p) = 2*p**3 - 6*p**2 + 6*p - 6. Let b be d(4). Suppose 3*k = k + b. Is 16 a factor of k?
False
Suppose 3*k = -0*k + 93. Is 8 a factor of k?
False
Let z be 98 - (0 + 0 + 2). Suppose -4*u + h = 3*h + z, -h - 24 = u. Let t = -7 - u. Does 8 divide t?
False
Let c = -81 - -294. Suppose -c = -5*d + 2*d. Let x = d - 49. Is x a multiple of 12?
False
Let d = -65 + 113. Suppose d = w + 2*w. Does 10 divide w?
False
Suppose -4*f + 593 = 125. Does 12 divide f?
False
Suppose 18 = 4*j + 2*g - g, -2 = -j + g. Suppose 4*w = 5*c - 9, -j*c = -w + 4 - 9. Let q = c - -11. Does 4 divide q?
True
Let c be 175/(-20) - (-3)/4. Does 11 divide (-92)/c + 1/(-2)?
True
Let v(k) = k**3 - 2*k**2 + 2*k - 4. Let m = -10 + 14. Does 20 divide v(m)?
False
Suppose -r - r - 2*n + 132 = 0, -5*r + 351 = -2*n. Is 14 a factor of r?
False
Let p(j) = j**2 + 4*j - 2. Let b be p(-6). Suppose b + 18 = f. Is f a multiple of 15?
False
Let w(o) = -4*o - 2. Let y = 2 - 2. Suppose -s + y*r + 5*r - 23 = 0, -4*s - 17 = 5*r. Does 18 divide w(s)?
False
Suppose -2*v + v + 1 = 0. Let w(o) = 3*o**2 - o. Is w(v) even?
True
Suppose 4*p - 3*p - 54 = 0. Is 9 a factor of p?
True
Suppose 117 = 5*r - 283. Let g = 122 - r. Does 16 divide g?
False
Let w(c) = -3*c. Let m be w(8). Does 4 divide (4/(-6))/(2/m)?
True
Let a = -4 - -6. Let k(b) = -b**3 - b + 1. Let w(i) = 7*i**3 - i**2 + 7*i - 4. Let y(q) = 5*k(q) + w(q). Does 6 divide y(a)?
False
Let d(m) = -37*m. Let x(y) = -75*y. Let b(l) = -13*d(l) + 6*x(l). Let w = -8 - -9. Is 11 a factor of b(w)?
False
Let q(b) = b**2 + 5*b - 37. Is 32 a factor of q(7)?
False
Let y(u) = -2*u. Is 4 a factor of y(-9)?
False
Suppose 0 = -4*j, 4*d = -0*d + j + 12. Let m be -6 + d - -2 - -9. Is m/(-28) - (-100)/7 a multiple of 5?
False
Suppose -5 = -b - 5*z + 26, 0 = 4*z - 20. Suppose 14 = 4*k + b. Is 10 a factor of (-208)/(-7) + k/7?
True
Suppose -5*d - 7 + 32 = 0. Is 2 a factor of d?
False
Let u(q) = -10*q. Let f(m) = 60*m. Let p(x) = 6*f(x) + 34*u(x). Let i(b) = 3*b**2 - 2*b + 1. Let c be i(1). Is p(c) a multiple of 15?
False
Suppose 0*k - k = -2. Let w(f) = -f. Let h(c) = -c**3 + c + 1. Let n(v) = -2*h(v) - 4*w(v). Is 6 a factor of n(k)?
True
Suppose 13*v + 565 = 18*v. Is v a multiple of 7?
False
Let u be -1*(-2 - -1)/1. Suppose 0*f = -f - u. Let n(y) = 13*y**2 + 1. Is 8 a factor of n(f)?
False
Suppose 3*i - 122 = -11. Suppose -i = -y - v, -y - 3*v + 4*v = -35. Is y a multiple of 18?
True
Let h(w) = -w**3 - 6*w**2 + 2*w - 3. Let j(q) = q**3 + 5*q**2 - q + 3. Let b(n) = -2*h(n) - 3*j(n). Let f = -1 - 3. Is 17 a factor of b(f)?
True
Suppose 2*j - 61 + 2 = -d, 4*d + 5*j - 221 = 0. Is 5 a factor of d?
False
Let o = 38 - -63. Suppose 3*g - 2*z = o, -5*g + z + 125 = -34. Is 12 a factor of g?
False
Let b(z) = 100*z**2 + z. Let q be b(-1). Let i = -2 - -4. Suppose -i*p - p = -q. Is 21 a factor of p?
False
Suppose 12 = 3*f - j + 2, 4*f + 5*j + 12 = 0. Suppose f*w + 0*w - 42 = 0. Is w a multiple of 18?
False
Let g(u) = 20*u. Let q be 1*4 - (-1 - -2). Let r = q - 2. Does 10 divide g(r)?
True
Suppose -4*t + 2*j + 18 = 0, -t = -3*j - 25 + 8. Let w(z) = -12 + 7 + 3 + t*z**2 - 3*z. Is w(-2) a multiple of 12?
True
Suppose -18 = -4*r + 3*r. Does 6 divide r?
True
Let j(s) = s**3 - 8*s**2 + 9*s - 9. Let p be j(7). Suppose 5*a - 75 = -p*t, -a = -t + a. Let y = t - -10. Is y a multiple of 10?
True
Let o = -18 - -89. Is 10 a factor of o?
False
Let z(s) = s**3 - 4*s**2 - 2*s - 6. Let w be z(5). Let b be ((-20)/7)/((-6)/21). Suppose 0 = 3*p + 3*t - 14 - b, 0 = -3*t + w. Is 5 a factor of p?
True
Suppose 36 = 2*c - 0*c. Is c a multiple of 13?
False
Suppose 2*f = 4*s - 20, 3*f = -s - 2*f - 17. Suppose s*a + y - 2*y = 63, -3*y = 3*a - 51. Is 20 a factor of a?
True
Let v = -17 + 25. Let p = v - 0. Is (-61)/(-7) + p/28 a multiple of 9?
True
Suppose 4*g + 4 = 3*f, 2 = -g - g. Suppose -3*x - 3*j + 273 = -f*j, -5*j = -5*x + 505. Is x a multiple of 24?
True
Let b = 19 + -11. Let y be b/(-3)*27/(-2). Suppose -64 = -2*i + y. Does 19 divide i?
False
Let u(z) = 2*z**2 - 3*z + 2. Let m = 3 + 0. Does 11 divide u(m)?
True
Let x be (-90)/(-11) - 2/11. Is 14 a factor of 3/12 - (-374)/x?
False
Suppose i - 118 = -5*j, -85 - 51 = -i + 4*j. Is 32 a factor of i?
True
Does 36 divide (144/(-14) + 0)/(8/(-84))?
True
Let s = 3 - 0. Suppose 0 = -s*l + 74 + 79. Is l a multiple of 17?
True
Suppose 3*v = -2*v + 10. Suppose 0 - 20 = -v*b. Does 3 divide b?
False
Let p = 10 - 8. Suppose 4 + 4 = f - a, -5*a = -p*f + 28. Is 2 a factor of f?
True
Is (-721)/(-14) + (-3)/((-18)/(-3)) a multiple of 25?
False
Suppose -2*x = -2*k - x + 5, -5*x + 45 = 4*k. Let c = k + 13. Does 9 divide c?
True
Suppose -5*k + 115 = -275. Is k a multiple of 39?
True
Let q(y) = 1 + 4*y + 0 + y. Let b be q(2). Suppose -b = g - 44. Is g a multiple of 16?
False
Suppose 2*p + 5*y = 3*p, 2*y = 8. Let u = 7 + p. Does 10 divide u?
False
Suppose 0 = -2*l + 2*d + 166, d - 75 = -l - 0*l. Let v = l + -56. Is 20 a factor of (-6)/(v/(-20) - -1)?
True
Let y be 2*(-3 + (-10)/(-4)). Let m be (-86)/(-1) - (0 + y). Suppose 0*w + j - m = -4*w, w - 5*j - 48 = 0. Does 13 divide w?
False
Let a = -40 - -67. Let k be 6/a - (-65)/(-9). Let s = -4 - k. Is 3 a factor of s?
True
Let o(l) be the third derivative of -l**5/60 + 7*l**4/24 - 2*l**3/3 + 3*l**2. Is o(4) a multiple of 8?
True
Let f(g) = -2*g + 77. Is f(16) a multiple of 6?
False
Let q = 147 + -52. Suppose 5 = -3*f + q. Is f a multiple of 15?
True
Let y(w) = 64*w**3 - 2*w**2 + 1. Let d be y(1). Suppose 4*j - j = d. Is 13 a factor of j?
False
Let v be -3 + 3/1 + 21. Let m = v + 15. Is 8 a factor of m?
False
Let y(j) = -j**2 - 11*j + 16. Let m be y(-12). Is 2 a factor of ((-3)/4)/(m/(-32))?
True
Let x(s) be the first derivative of s**4/4 - s**3 - s**2/2 + 3*s - 3. Let u be x(3). Suppose u = 3*g + 9, m + 3*m - 87 = 5*g. Is m a multiple of 9?
True
Suppose 0 = -4*q - 11 + 27. Suppose -r + 34 = 5*u, -4*u + 25 + 47 = q*r. Is 7 a factor of r?
True
Let x be 3/2 + (-27)/(-6). Let f(h) = h**2 - 5*h + 8. Does 14 divide f(x)?
True
Let k(x) = 3*x**2 - x + 1. Let r be k(4). Suppose -2*y = 3*y - r. Is y a multiple of 4?
False
Let z = -8 - -13. Suppose -72 + 7 = -z*a. Is 13 a factor of a?
True
Let m be (-286)/4 + 1/2. Let p = -18 - m. Let y = p - 36. Does 5 divide y?
False
Is 198*(0 - (-4)/6) a multiple of 6?
True
Let