ose 2*d + 2*d - 228 = 0. Let r = -19 + d. Is 13 a factor of r?
False
Let r(g) be the second derivative of -2*g**3/3 - 6*g**2 + g. Does 20 divide r(-8)?
True
Suppose -2*z + 36 = -z. Does 10 divide z?
False
Suppose -2*u = 3*u - 10. Suppose -120 = -5*p + u*p. Is 20 a factor of p?
True
Let l(y) be the first derivative of y**3/3 - 7*y**2/2 - 5*y + 2. Is l(12) a multiple of 11?
True
Suppose 7*b = 130 + 38. Is b a multiple of 6?
True
Suppose -8 = 4*p + 16. Let i(x) = -x**2. Let j(h) = -h**3 - 6*h**2 - 2*h - 5. Let z(u) = -i(u) - j(u). Is z(p) a multiple of 14?
False
Let s(b) = b**3 + b**2 + 10. Let w be s(0). Let a(h) = h**3 + 5*h**2 + 3*h - 3. Let g be a(-4). Let x = g + w. Is x a multiple of 11?
True
Suppose 2*g - 16 = g. Suppose 5*f - g = 454. Let d = f - 56. Is d a multiple of 19?
True
Suppose z - 4*z + 5*p = -101, 5*z = -p + 215. Is 7 a factor of z?
True
Suppose 155 = x - 4*j + 2*j, 5*x - 747 = -4*j. Does 39 divide x?
False
Let g(x) = -2*x**2 - 2*x**2 + 1 - 4*x**3 + 2*x**2 - 4*x**3. Does 7 divide g(-1)?
True
Let p(a) = 2*a**2 + 11*a - 5. Let m be p(-8). Suppose -248 = -3*u - m. Does 13 divide u?
False
Suppose 0 = -2*i + 2*k + 2*k + 26, 3*i + 5*k = -5. Let h(d) = 2*d - 2. Let y be h(6). Suppose 2*c + y = 3*j, c = -j + i*j - 15. Is 4 a factor of j?
True
Suppose -c - 4*c - 5*w = 500, -292 = 3*c + 5*w. Is 28/(-8)*c/14 a multiple of 6?
False
Let w(k) be the second derivative of k**7/1260 - k**6/240 - k**5/40 - k**4/3 - k. Let t(l) be the third derivative of w(l). Is 9 a factor of t(-3)?
False
Suppose 0*v + 60 = 3*v. Is 10 a factor of v?
True
Suppose 9*s - 11*s = -384. Does 48 divide s?
True
Let i be 2/(-3) + (-28)/(-6). Suppose 3*v + 40 = 4*v + i*r, 2*v + 3*r = 80. Is 21 a factor of v?
False
Suppose -676 = -4*o + 3*k, -514 = -3*o + k + 3*k. Suppose 5*i = 3*i + o. Is 34 a factor of i?
False
Let y = -6 + 1. Let b(w) = -w**3 - 4*w**2 + 4*w + 1. Is 6 a factor of b(y)?
True
Suppose -260 = -5*q + 3*y + 11, -3*q - y + 171 = 0. Is 10 a factor of q?
False
Let z(m) = 2*m + 8. Suppose -h + 5*x + 20 = 0, -x - 2 = 5*h + 2. Is z(h) a multiple of 4?
True
Suppose 5*b - 180 = -60. Let i = b + -11. Does 5 divide i?
False
Suppose 4*z = -101 + 5. Let q = -12 - z. Does 4 divide q?
True
Let m be (-4)/(-18)*3*6. Suppose m*y - 34 = 3*y. Is 10 a factor of y?
False
Let y(c) = -c**3 - 4*c**2 - 3*c + 8. Does 10 divide y(-4)?
True
Let o be 4/6*(-4 + 34/4). Suppose 3*f - 204 = f. Suppose 2*p - 39 = o*v, -p = -6*p + 3*v + f. Is 16 a factor of p?
False
Let a = -9 - -10. Let v be 2 + -3 + 3 + a. Suppose v*p - 6*o = -o + 25, 0 = 4*o - 16. Is 7 a factor of p?
False
Suppose 3 = -a + 9. Suppose -3*z + a = -0*z. Suppose -7 = -v - z. Does 5 divide v?
True
Let d = 92 - -236. Does 57 divide d?
False
Suppose -2*t + 4*t = 0. Suppose t*l - 5*l + 20 = 0. Is 12 a factor of l/(1/((-8)/(-2)))?
False
Suppose -197 = -6*z + 379. Does 3 divide z?
True
Let w be (-1345)/(-15) + (-8)/(-6). Let a = w - 11. Is 28 a factor of a?
False
Suppose -55 = -2*w + 3. Does 27 divide w?
False
Is (-9)/(-3*4*4/48) a multiple of 9?
True
Suppose -3*i = -2*i. Suppose -3*p + w + 61 = i, 2*p + 19 - 55 = -4*w. Does 10 divide p?
True
Let m(l) = 3*l**2 - 2. Suppose 5*p - 61 + 20 = -4*x, 0 = -3*p + 5*x - 5. Suppose 9 = -p*n - 1. Does 10 divide m(n)?
True
Let f(t) = t + 5. Does 10 divide f(11)?
False
Does 44 divide (-6 + -82)*(2 - 3)?
True
Let i(n) = 8*n**2 + 3*n. Let z(l) = -l + l**2 + 3*l**3 - 2*l + 4*l - l**3. Let s be z(-1). Is i(s) a multiple of 16?
False
Let l(a) = a. Let q be l(0). Suppose -6 = 2*m - q, -5*z + 35 = -5*m. Does 4 divide z?
True
Let m = -162 - -310. Suppose -m = -2*g + 20. Is 28 a factor of g?
True
Let i = 6 - 4. Suppose -10 = -0*x - x - m, 5*x + i*m = 44. Is ((-28)/(-16))/(2/x) a multiple of 4?
False
Let j(v) = v**3 - 19*v**2 + 20*v + 12. Is j(18) a multiple of 11?
False
Suppose t - 6*t = -65. Suppose 0 = 5*q - t - 2. Suppose 4*p - 28 = -5*l, 0*p - 41 = -4*l + q*p. Is 4 a factor of l?
True
Suppose 10*z - 449 = 311. Is 28 a factor of z?
False
Let f(k) = -k**3 - 13*k**2 + 14*k + 6. Let u be f(-14). Let q(n) = 2*n**2 - 7*n - 1. Is 23 a factor of q(u)?
False
Suppose 22*r + 380 = 27*r. Suppose -r = -6*v + 50. Is v a multiple of 9?
False
Let t(f) = f + 4. Let k be t(-6). Let i be k/(-6) + 426/18. Suppose -2*z + 22 = -i. Does 12 divide z?
False
Let d(g) = -g**3 + g**2 - g + 58. Let n be d(0). Let y be ((-11)/(-22))/(2/20). Suppose y*k - 3*b = 44, 5*k + 5*b = b + n. Is k a multiple of 10?
True
Let m be (2/(-3))/(8/(-516)). Suppose -4*x + 143 = m. Let v = 41 - x. Is v a multiple of 12?
False
Let w be 5/(-3)*(1 + 2). Let c = -3 - -4. Let n = c - w. Does 6 divide n?
True
Let u(s) = -s**3 + 7*s**2 + 6*s. Let r be u(7). Let p = r - 30. Is 12 a factor of p?
True
Let a = 10 + -8. Let u(b) = 7*b - b**2 - 3*b + 5*b - a - 1. Is u(6) a multiple of 8?
False
Let n(q) = -q**3 + 3*q**2 + 4*q + 3. Let j be n(4). Suppose -2*x = j - 35. Let d = -1 + x. Is 10 a factor of d?
False
Let m(b) = -b**2 - 14*b + 2. Is 5 a factor of m(-8)?
True
Let k = -23 - -53. Does 9 divide 13 + -10 + 1*k?
False
Suppose -3*a = -4*a + 26. Let j = 0 - -2. Suppose a = j*m - 0*m. Is 4 a factor of m?
False
Let n(l) = -l + 1. Let p be n(-5). Suppose 5*d - 371 = -4*b, 0 = -3*d + p*d + 2*b - 223. Is 15 a factor of d?
True
Suppose 2*t - 4*a + 24 = 0, 0*t = -t - 3*a + 13. Does 18 divide (-516)/8*t/3?
False
Suppose d - x = -3*d - 7, x - 5 = 2*d. Let r be (-3 + (-1)/d)/(-1). Suppose r*u = 3*f + 23, -u + 3*f - 1 = -f. Is 19 a factor of u?
True
Let k = 1 - 3. Is 12 a factor of (276/9)/(k/(-3))?
False
Let c(u) be the third derivative of 1/24*u**4 + 0*u + 0 + 3*u**2 + 7/2*u**3. Does 6 divide c(-9)?
True
Let y = 171 + -108. Is 7 a factor of y?
True
Let w = 0 - 0. Is (16 - 40)*(w + -1) a multiple of 6?
True
Suppose 5*i + 2*d = 433, -3*d - 179 = -2*i + 2*d. Suppose -63 = -3*c + 3*k, -5*c + 3*k + i = -24. Does 24 divide c?
True
Let u(m) be the second derivative of m + 3/2*m**2 + 1/6*m**3 + 1/4*m**4 + 0. Is 20 a factor of u(4)?
False
Let l(p) = 8*p - p + 1 - p**2 - 2*p. Let f be l(4). Suppose 0 = -f*t + 17 + 33. Is 5 a factor of t?
True
Let s(x) = -3*x + 5. Let h(z) = 2*z - 4. Let n(u) = -3*h(u) - 4*s(u). Is n(7) a multiple of 15?
False
Let k be (-10)/6 - 6/(-9). Let q be (-3)/((-6)/10) + k. Suppose 16 = x - 3*g, 3*x + g = 2*x + q. Is x a multiple of 7?
True
Suppose 2*f = 5*f - 150. Let g(z) = -z - 3. Let t be g(-3). Does 13 divide t - (2 + f*-1)?
False
Suppose -2*j - j = -9. Suppose -d = j + 1, -22 = -2*r + 3*d. Is 4 a factor of r?
False
Let y(k) = k**2 + 2*k + 10. Is y(0) even?
True
Suppose 0 = 5*a - 5*i - 20, 0 = -5*i + 5 - 25. Suppose 3*x - 6 - 18 = a. Does 4 divide x?
True
Let p(m) = 1 - m + 2*m + 2. Let n be p(-6). Let v = 0 - n. Does 3 divide v?
True
Is 6 a factor of ((-6)/(-8))/(3/36)?
False
Does 23 divide (-6 + 7)/((-1)/(-23))?
True
Suppose 32*d - 35*d + 219 = 0. Is 12 a factor of d?
False
Let l = 7 - 2. Suppose 4*g = l*g + 2. Let x(k) = -7*k + 2. Is 8 a factor of x(g)?
True
Suppose -2*n + 2*m + 12 = 0, 13 = 5*n - 4*m - 15. Let x be 3/(1 - n) - -7. Does 7 divide (-2)/3 + 58/x?
False
Let l = -39 + 62. Does 23 divide l?
True
Let f be 1 + 3/(-6)*-4. Suppose -3*d - 5*v = -69, f*d - 63 = -0*v - 3*v. Is 12 a factor of d?
False
Suppose -56 = -8*h + 4*h. Is h a multiple of 7?
True
Let k = -41 - -68. Does 9 divide k?
True
Is (6/9)/(2/63) a multiple of 5?
False
Let m be 82/4 + (-5)/10. Suppose -41 + 17 = -3*q. Let t = m - q. Does 5 divide t?
False
Let a = 26 - 5. Is 7 a factor of a?
True
Suppose 10 = 2*p - 22. Does 16 divide p?
True
Suppose 5*v - 85 = 15. Suppose -6*g - v = -g, 0 = -5*i - 3*g + 208. Is i a multiple of 22?
True
Suppose 4*x = -4*t - 0*t + 16, 0 = -3*x + 2*t - 8. Suppose x = 3*p - 4*p + 15. Does 7 divide p?
False
Suppose 0 + 10 = -d. Let n(z) = -z**2 - 11*z - 7. Is n(d) a multiple of 3?
True
Suppose 0*r - 13 = 4*l + 5*r, 0 = -3*l + r - 5. Let w be (-2 - l)*3/6. Suppose w = -c + 6*c - 155. Is c a multiple of 15?
False
Let n be 8/16 + (-1)/2. Suppose n = 2*o - 6*o + 28. Is 3 a factor of o?
False
Let a = -149 - -173. Is a a multiple of 4?
True
Suppose -34 = -y - 8. Is y a multiple of 4?
False
Let b(n) = n - 3. Let g be b(8). Suppose 6*o = o + 15. Suppose 0 = 2*y + 6, -o*y + g*y + 42 = 2*s. Is 9 a factor of s?
True
Suppose -3 = -s - 0*s. Let w = s + 3. Is w a mul