 d(k) = -k**2 - 3*k + 1. Let r be d(-3). Let f = r + 2. Suppose y - f*y + 36 = 0. Is 9 a factor of y?
True
Let k = 688 + -441. Is k a multiple of 11?
False
Suppose -70 + 228 = 2*d. Does 12 divide d?
False
Let l(x) = -1 - 5*x + 2*x**2 - x**3 + 4 + x + 4*x**2. Does 7 divide l(4)?
False
Let s = -77 - -110. Does 10 divide s?
False
Let w be (-4)/2 - 25*-1. Suppose -2*t + 2 = -10. Suppose 3*a - 2*p - t = 5, 0 = -4*a + p + w. Is 3 a factor of a?
False
Let s = 38 + 14. Does 13 divide s?
True
Let d(w) = 3*w**2 - 4*w - 1. Is 21 a factor of d(-3)?
False
Let t = 20 + 6. Let o = -16 + 26. Suppose 0 = 2*u - t - o. Is u a multiple of 9?
True
Let v = 17 + -12. Suppose 0 = j - 4*o + 3*o - 9, v*o = 3*j - 31. Is 7 a factor of j?
True
Let c = -12 + 80. Is 17 a factor of c?
True
Let f(a) = -4 + 2 + 1 - a**2 - 12*a. Is 10 a factor of f(-6)?
False
Let u be (0 - 0) + 3*6. Suppose 0 = -4*j - 2*z + u, -2*z + 6 = -2*j - 0. Is 13 a factor of (-26)/4*(-8)/j?
True
Let t = 39 + -29. Is 4 a factor of t?
False
Suppose -2*d + 26 = -30. Suppose 6*q + 2*t = 2*q + 24, 0 = -4*q - 3*t + d. Suppose q*b - 7*b + 6 = 0. Is 2 a factor of b?
True
Let k be (-4)/(-6) + 12/9. Suppose -k*l - 2*l = -c - 124, 3*c = -4*l + 108. Is l a multiple of 15?
True
Suppose -467 = -3*f + z - 6*z, 5*z = -10. Does 9 divide f?
False
Is 39 a factor of -5 - -5 - (-124 + -2 - 2)?
False
Suppose w = -2*w + 9. Let k be (3 - 2 - 0) + 21. Suppose 0 = 5*t - w - k. Does 2 divide t?
False
Let u(v) = -53*v**3 - v. Let t be -1 - 0*(1 + 0). Let z be u(t). Suppose -3*r + 2 + 2 = -n, -4*n - 2*r + z = 0. Does 4 divide n?
False
Suppose 0 = 4*h - 9*h - 35. Let v = h + 18. Is 7 a factor of v?
False
Let q(h) = 4*h - 4. Let r(y) = -y**3 - 5*y**2 + 4*y - 5. Let v be 6/15 + (-64)/10. Let o be r(v). Does 12 divide q(o)?
True
Does 4 divide 2/(-2 - 72/(-34))?
False
Let q(g) = g**3 + 12*g**2 + 10*g + 11. Let d be q(-11). Suppose -2*p = -28 - d. Is p a multiple of 5?
True
Suppose 0 = -2*c - 0*c + 8. Suppose 0 = 4*i - 3*r - 225, 168 = i + 2*i - 2*r. Suppose 0 = z + c*z - 2*m - i, 38 = 4*z + m. Does 5 divide z?
True
Let v = 37 + -13. Is v a multiple of 13?
False
Let g(f) = 2*f - 1. Let j = -5 - -13. Is g(j) a multiple of 5?
True
Does 27 divide (9*3)/((-5)/50*-2)?
True
Let l(m) = 3*m + 2. Is l(4) a multiple of 14?
True
Suppose g = 3*g + 10. Does 12 divide -1 + 4 - 45/g?
True
Let t(b) = -b**2 + 7*b + 21. Is t(8) a multiple of 13?
True
Let a be (-3)/(-5) - 27/45. Suppose a = 4*k - 2*k - 96. Does 18 divide k?
False
Suppose 0 = -u + 5*u - 168. Does 13 divide u?
False
Let k(q) = -5*q - 5. Let o(i) = -8*i - 8. Let a(z) = -7*k(z) + 5*o(z). Let l(d) = d**3 + 7*d**2 + 2*d + 6. Let h be l(-7). Is 14 a factor of a(h)?
False
Let o(i) = -11*i**3 + 32*i**2 + 14*i + 5. Suppose 2*v - 12 = -2*v. Let p(j) = 4*j**3 - 11*j**2 - 5*j - 2. Let r(t) = v*o(t) + 8*p(t). Is 7 a factor of r(8)?
False
Suppose 5*g - 3*y - 156 = g, 0 = -2*y - 8. Does 9 divide g?
True
Let c(y) = -2*y - 2. Let t be c(-3). Suppose 66 - 222 = -t*k. Is k a multiple of 13?
True
Suppose 9*z = 5*z + 8. Let j = z + 10. Does 4 divide j?
True
Let g(x) = x**2 + 7*x + 3. Let j be g(-4). Let c = j + 16. Suppose 0 = -k + c + 19. Is k a multiple of 13?
True
Let r(w) = w**3 + 12*w**2 + 2*w + 17. Let q be r(-12). Let z(s) = s**2 + 2*s + 1. Does 12 divide z(q)?
True
Let d be 33/(-7) - 2/7. Let l = -6 - d. Does 8 divide (l - 0) + -1 + 17?
False
Let i(u) = -u**2 + 5. Let k be i(0). Suppose -3*n = -r - 6, -k*r + 3*r = 4*n - 18. Suppose 5*z - a + 5*a = 107, -4*z = -r*a - 98. Is 7 a factor of z?
False
Is 18 a factor of (-2802)/(-8) + (1 - (-15)/(-12))?
False
Let w(d) = -18*d - 16. Does 28 divide w(-8)?
False
Let f(t) = t**3 + 1 + 5*t**2 + t - 4*t**2 - 2*t**2 + 6*t**2. Does 13 divide f(-4)?
True
Let v(q) = q**3 + q**2 - q + 27. Is 13 a factor of v(0)?
False
Suppose 0 = -0*g + 2*g - 5*d + 4, 2*g = 2*d + 2. Suppose -3*n + 0*n = g. Is 3*(0 - 1)*n a multiple of 3?
True
Suppose -7 = -3*c + 11. Suppose r = -2 + c. Does 4 divide r?
True
Let y = -1 - -3. Suppose 0 = -y*q - 4*x - 11 + 65, -3*x - 64 = -4*q. Is q a multiple of 5?
False
Let b(d) = -1 + 0*d**2 - 3 - 4*d + d**2. Let h = 2 - 6. Is 15 a factor of b(h)?
False
Suppose -5 = -3*m + 1. Suppose m*a = o - 4, -2 = 4*a + 6. Let n(u) = -u + 26. Is n(o) a multiple of 11?
False
Suppose 0 = -n + 17 + 40. Is n a multiple of 19?
True
Is 4 a factor of 358/10 + (-1 + 5)/20?
True
Let a be -2*(-2 - 3/6). Suppose -t = -4*v - 73, -5*v = -2*v + a*t + 26. Is 19 a factor of 0 - 2*-1 - v?
True
Suppose -3*x + 2*j + 276 = 0, -2*x + 3*j = 4*j - 177. Does 18 divide x?
True
Let h = -6 + 5. Let a = h - 11. Is 6 a factor of (-2)/a - (-106)/12?
False
Let q = 187 - 132. Let d = q + -18. Is d a multiple of 7?
False
Let b(d) = d**3 + 9*d**2 - 4*d - 2. Does 30 divide b(-7)?
False
Let t = 20 + -18. Let b = t - -18. Is b a multiple of 10?
True
Suppose 12*v + 39 = 13*v. Is 13 a factor of v?
True
Let s(g) = -g**2 - 9*g - 8. Is 6 a factor of s(-5)?
True
Let w = 52 - 12. Suppose -w = -0*a - 5*a. Does 4 divide a?
True
Let j be (-2)/9 - 296/(-36). Suppose 4*p + j = 56. Does 6 divide p?
True
Suppose -4*h + 42 = b, -47 = -5*h - 3*b - b. Let z = -7 + h. Does 2 divide 7 - 1 - z/2?
True
Let h(c) be the second derivative of -23*c**3/6 + 4*c**2 + 2*c. Let g be h(-7). Is (-6)/24 - g/(-4) a multiple of 21?
True
Let h(j) = -j**3 + 3*j**2 + 6*j - 4. Suppose c - 5*k = 19, 3 = 3*c - k + 4*k. Let n be h(c). Suppose n*a + 3*i = 40, a + a = 4*i + 42. Is 13 a factor of a?
True
Suppose 4*d - 192 = 8*d. Let n = d - -89. Does 13 divide n?
False
Suppose 4 + 0 = -4*g. Is g/(-4) - 762/(-24) a multiple of 16?
True
Let u(k) = k - 3. Let r(t) = 2*t - 6. Let m(z) = 6*r(z) - 13*u(z). Is 11 a factor of m(-8)?
True
Let h = 88 - -107. Is h a multiple of 65?
True
Let g be 19/1 + -3 - 0. Is 40/g*332/10 a multiple of 14?
False
Let f = 2 + -2. Let g be 2 - f - (1 + -1). Suppose -g*s + 179 = 5*j - 3*s, 2*s = 4*j - 142. Is j a multiple of 18?
True
Suppose -5*y + 2*n = -25, y + 14 = -y - 4*n. Suppose -3*j = -y*q + 10 + 68, 0 = q + 3*j - 46. Suppose 3*x + 2*l = q, x + 0*x - 17 = -4*l. Is x a multiple of 9?
True
Suppose -2*k - 36 = -3*k - a, -4*a - 144 = -5*k. Is 8 a factor of k?
True
Let i(n) = -n + 111. Let y be i(0). Suppose 0*c + 3*c = y. Is 15 a factor of c?
False
Suppose 5*j + 2 = -8. Let z be (j - -4)/((-2)/(-3)). Suppose -3*w = 5*n - 0*w - 101, z*n = -w + 63. Does 11 divide n?
True
Let g(r) = -r**3 - 3*r - 1. Let m = 8 + -3. Suppose -2 = m*v + 8. Is g(v) a multiple of 4?
False
Let r = 50 - 35. Is 4 a factor of r?
False
Is 14/5 - 7/(-35) a multiple of 2?
False
Let m = 256 - 181. Is m a multiple of 15?
True
Let f = 12 - 17. Let g(a) = a**2 + 3*a + 10. Does 14 divide g(f)?
False
Let q = 21 - 7. Suppose 4*g - 7*g + 4*b - q = 0, g + 5*b - 27 = 0. Suppose -g = 2*h - 62. Is h a multiple of 14?
False
Let c(j) = -j**2 + 32. Let g be c(0). Suppose 5*k - 237 = 2*v - 5*v, v = k + 71. Let m = v - g. Is 14 a factor of m?
True
Let u = -22 + 37. Is (-24)/(-30) - (-288)/u a multiple of 5?
True
Let v = 15 + -33. Let o be (0 - 2/3)*v. Does 15 divide 106/6 + 4/o?
False
Let f(k) = -k + 2. Let v be f(-3). Suppose v*n = 3*r + 45 + 51, 76 = 4*n - 2*r. Does 11 divide n?
False
Let d(w) = 3*w + 16. Does 24 divide d(14)?
False
Let h(v) = -7 - 2 + v**2 - 5 - 7*v + 5. Is h(9) a multiple of 6?
False
Suppose 3*g - 517 = -5*b, -2*b + 3*b = -4. Is 5 a factor of g?
False
Let x(v) = -v**2 - 1. Let j(h) = -h**3 - 7*h**2 - 4. Let g(k) = j(k) - 6*x(k). Let b be g(0). Suppose 2*p = -2*c + 16, -4*c + 24 = -c + b*p. Is 8 a factor of c?
True
Let y(l) = l**2 + 7*l - 1. Does 17 divide y(-9)?
True
Suppose 2*h + 62 + 146 = 0. Let r be (-1192)/18 + (-4)/(-18). Let x = r - h. Does 13 divide x?
False
Let z = -158 + 310. Is z a multiple of 25?
False
Let l = 20 - -2. Does 11 divide l?
True
Suppose 0 = a + 2*a - 6. Let i(j) = 19*j - 3 - 5*j + 5*j**2 - 11*j. Is i(a) a multiple of 23?
True
Let z(r) = -r**3 - 4*r**2 + 5*r - 2. Let m be z(-5). Let u be m/2*233*-1. Is u/7 - (-4)/(-14) a multiple of 12?
False
Suppose -12*u + 19*u - 700 = 0. Is 20 a factor of u?
True
Let v = -33 - -60. Is 9 a factor of v?
True
Let d(f) = 4*f**2 + 2*f + 1. Let c be d(-1). Suppose -35 = -c*w - 2*w. Is 7 a factor of w?
True
Suppose 2*m - 219 = 29. Is m a multiple of 12?
False
Let s = 68 + -48. Does 10 divide 