4 + -3)?
False
Suppose -4*q - 2684 = -4*l, -2*l + 7*q - 10*q + 1337 = 0. Does 17 divide l?
False
Let r = -137 - -147. Let o(w) be the first derivative of 2*w**2 + 13*w + 1. Is 12 a factor of o(r)?
False
Suppose 0 = -y - 6*d + d + 53, d = -4*y + 155. Does 9 divide y?
False
Let m = -715 + 1349. Is m a multiple of 86?
False
Let i(s) = 7*s**2 - 2*s - 3. Let w be (-2)/7 + (-120)/(-28). Suppose 4*p = 5*p - w. Is 28 a factor of i(p)?
False
Let k = 85 + 800. Is k a multiple of 15?
True
Suppose -22442 = 28*m - 42*m. Is 13 a factor of m?
False
Let v be (-2 + -1)/(1 + -2). Let f be 52 - v - (3 + 0). Suppose -104 - f = -5*a. Does 18 divide a?
False
Let h = 75 + -67. Suppose 0 = 2*n - h, 0 = -2*i + 6*i - n - 208. Is 27 a factor of i?
False
Let n(k) = k + 15. Let j be n(-16). Let p(y) = -y**3 - y**2 - y - 1. Let d(w) = 4*w**3 + 15*w**2 + 15*w - 7. Let x(s) = j*d(s) - 3*p(s). Does 9 divide x(-11)?
False
Suppose 6*c - 86 = 16. Suppose -24 = -4*m + m. Let g = c - m. Is 7 a factor of g?
False
Let p(n) = -2*n**2 + 12*n + 3. Let a be p(6). Suppose 0 = 2*h + 1 - 3, -5*h = -a*u + 4. Suppose -u*x - x = 3*v - 94, -4*x + 108 = -4*v. Is x a multiple of 25?
True
Let n(v) = -15*v**2 + 13*v - 33. Let h(g) = -16*g**2 + 14*g - 33. Let x(z) = 2*h(z) - 3*n(z). Does 14 divide x(4)?
False
Let t(b) = -b**2 + 20*b - 14. Suppose -7*m = -m - 96. Is t(m) a multiple of 25?
True
Suppose -2*b + 6 = 0, -y + 2*y - b = 115. Suppose x - y = 2*w, 4*x + w = -w + 522. Is 8 a factor of x?
True
Let p = 1954 - 1240. Is p a multiple of 34?
True
Let b(z) = -z**3 + 4*z**2 + 7*z + 2. Suppose -2*d = -6*d + 80. Suppose 3*w = -w + d. Does 8 divide b(w)?
False
Suppose -7110 = -23*y + 5126. Is y a multiple of 37?
False
Suppose 11*o - 6*o = -275. Let v = o - -119. Is v a multiple of 16?
True
Suppose 9 + 7 = -4*q. Let d be 2/3*(-54)/q. Let s(y) = y**2 - 6*y - 6. Is 16 a factor of s(d)?
False
Let v = -502 - -665. Is v a multiple of 6?
False
Suppose -4*k + 2*a + 204 = 0, k + a - 15 = 39. Let v = 0 - -2. Suppose 32 = z + 3*d, -z - v*d = -2*z + k. Is z a multiple of 7?
False
Suppose -4 = -a - 5. Does 39 divide -4*a/(-14) + (-7377)/(-21)?
True
Is 3 + (1 - -1*(-6 - -230)) a multiple of 4?
True
Let c(r) = -1 + 5*r**3 + 2*r**3 + r**2 + 0*r**2 - 6*r**3 - r. Let t(p) = 33*p**3 + 6*p**2 - 4*p - 5. Let y(i) = 6*c(i) - t(i). Is y(-1) a multiple of 8?
False
Suppose 0 = -4*d - 87*y + 90*y + 1702, d - y = 425. Is 7 a factor of d?
True
Let u = -3 - -3. Suppose u = -3*t + 52 - 10. Does 14 divide t?
True
Let i(s) = s**3 + s**2. Let y(q) = 88*q**3 + q**2 - 2*q + 1. Let t(o) = -i(o) + y(o). Is t(1) a multiple of 43?
True
Let q = -1954 + 3054. Is 25 a factor of q?
True
Let q = 62 + -27. Is 9 a factor of ((-14)/q)/(2/(-90))?
True
Let t(d) = -d**3 + 5*d**2 - 5*d + 2. Let p be t(4). Let k = p - -90. Does 22 divide k?
True
Suppose -2794 - 989 = -p. Does 97 divide p?
True
Suppose l = 2*c - 1, -5*c + 9 = l - 11. Suppose 152 = 2*w + c*p + 2*p, 4 = p. Is w a multiple of 12?
False
Let a(o) = o**3 - 5*o**2 - 7*o - 7. Suppose j - 30 = -4*j. Let z be a(j). Let m = 38 + z. Does 16 divide m?
False
Suppose -h - 6 = -0*h. Let u = h + 11. Suppose t = u + 26. Is t a multiple of 15?
False
Let t(j) = j**2 + 4*j - 19. Is t(17) a multiple of 5?
False
Does 16 divide 1/(5/1440*1)?
True
Let p = 7 + -5. Let w(a) = 5*a**2 - 4*a**2 + p*a + 10*a + 6 + 0*a**2. Is w(-14) a multiple of 14?
False
Let l(i) = -4*i - 4*i**2 + 3*i**2 + 6 + i. Let u be l(-4). Suppose 2*j = -u*w + 34, -5*w + 68 - 1 = 4*j. Does 6 divide j?
True
Let p(t) = 29*t - 19. Let b be p(6). Let z = 10 - 16. Is 11 a factor of (-4)/z - b/(-15)?
True
Let c(r) = -r + 1. Let t be c(2). Does 18 divide (-104)/(t + -4 + 4)?
False
Suppose -t = 3*t + 84. Let f = t + 25. Is f a multiple of 4?
True
Let d = 0 - -12. Let i be 3/d*4*0. Suppose i = -4*w - 3*p + 57, -23 = 2*w - 3*w + p. Is 13 a factor of w?
False
Let r(c) = c**2 - 15*c + 3. Let b(o) = 8*o - 2. Let s(q) = 5*b(q) + 3*r(q). Is s(4) a multiple of 27?
True
Let x(a) = a**2 - 2*a + 4. Let i be -4*1/2*-8. Suppose -i = -4*y - h, 3*y + h = -h + 12. Is x(y) a multiple of 6?
True
Does 10 divide 1*4 + (-16)/(-12)*207?
True
Let w be -20 + 0 + (4 - 0). Let x(j) = j**2 + 16*j + 19. Is 8 a factor of x(w)?
False
Let t = 91 + -85. Let q(s) = -s**3 + 8*s**2 + 8*s - 3. Is q(t) a multiple of 9?
True
Let x = -17 + 22. Suppose 4*r + 5*k = -3, -x*r + 2*k = k - 18. Suppose -2*w - r*w - 1 = -4*z, 0 = 2*w + 4*z - 22. Is 2 a factor of w?
False
Let b = -832 - -1882. Does 50 divide b?
True
Suppose 5*c - 136 = 134. Is c a multiple of 6?
True
Let j be (3 - 3)*(-1)/(-2). Suppose -122 = 5*b + 2*d - j*d, -20 = -5*d. Does 33 divide 1201/11 + b/143?
False
Let j(c) = -2*c**3 + 4*c**2 + 4*c + 11. Is j(-5) a multiple of 14?
False
Suppose 3*u - 8*u + 75 = 0. Suppose -d - u = -92. Does 14 divide d?
False
Suppose r = 629 + 507. Is 16 a factor of r?
True
Suppose -v - 12 = -3*v. Let k = 8 - v. Suppose -w + 73 = 5*i, -k*w + w + 71 = 3*i. Is 17 a factor of w?
True
Suppose -5*a + 2*a + 546 = 0. Let p = 343 - a. Is p a multiple of 23?
True
Let c(v) = v**3 - 12*v**2 - 15*v + 1. Is 16 a factor of c(14)?
False
Let n(f) = -93*f - 9. Is 18 a factor of n(-3)?
True
Let t(y) = 3*y**2 + 40*y + 312. Is 12 a factor of t(-12)?
True
Let v(c) = -c + 41 - 7 - 17 + 32. Let s = 2 + -2. Does 11 divide v(s)?
False
Let f(u) = -5*u + 29. Let s be f(14). Is s/(-1) - (13 - 12) a multiple of 5?
True
Suppose -y - 6 = c, y = -5*c - 0*c - 14. Let f(p) = 45*p**2 + p + 2. Does 20 divide f(c)?
True
Let l = 279 - 207. Is 3 a factor of l?
True
Let w(c) = 50*c**2 + 34*c + 6. Is w(-8) a multiple of 18?
True
Is (-1064)/32*(-6 - -2) a multiple of 13?
False
Let j(a) = -a**3 + 16*a**2 - 7*a + 2. Let y(u) = u**3 - 18*u**2 + 8*u - 3. Let p(i) = -7*j(i) - 6*y(i). Let x = 2 + 2. Is 8 a factor of p(x)?
True
Suppose 25 = -x + 6*x. Suppose -x*z + 5*d = -10, -5*z - 2*d - 32 = -77. Let r(u) = -u**2 + 10*u - 3. Is r(z) a multiple of 18?
True
Let m(d) = -4*d - 8*d**3 + 5*d**3 + d**2 + 7 + 2*d + 2*d**3. Let x be m(-6). Let a = x - 191. Does 17 divide a?
False
Let i(s) = -4*s**2 - s - 1. Let f = -1 + -1. Let o be i(f). Let l = -10 - o. Is 3 a factor of l?
False
Does 35 divide 3/(-4) - (-2 + (-8785)/28)?
True
Suppose -8*y + 6 = -5*y. Suppose g + 3 = -y*g. Let v(j) = -6*j + 1. Does 2 divide v(g)?
False
Suppose 2*t - 58 = -2*p, 155 = -2*t + 7*t + 3*p. Suppose 4*d = -2*n + t, -d - 8 + 4 = -2*n. Is (-3)/(-1)*10/d a multiple of 5?
True
Does 5 divide 330/20*(-100)/(-15)?
True
Let i = 211 - -48. Is i a multiple of 89?
False
Let y(s) be the third derivative of s**6/120 + s**5/10 + s**4/24 + s**3/3 - s**2. Let p be 2/3*(-165)/22. Is y(p) a multiple of 11?
True
Let s = 78 - 52. Is s a multiple of 10?
False
Let g be (-962)/(-8) + 29/(-116). Does 2 divide ((-14)/8)/((-15)/g)?
True
Suppose -2*r + 2*g + 176 = 0, r - 73 = -3*g + 7. Let n = 122 - r. Suppose 4*c - n = -8. Is c even?
False
Let d = -4 - -8. Suppose -3*s + i + 50 = 0, 5*s - 2*i + d*i = 76. Let l = s + 11. Is 9 a factor of l?
True
Let u(j) = 1 + j + 0*j + 32*j**2 + j - 3. Is u(1) a multiple of 7?
False
Suppose 4*l + w - 2*w = 3305, 0 = -l - 5*w + 821. Is l a multiple of 35?
False
Suppose 39*v = 9619 + 1769. Does 24 divide v?
False
Suppose 5*a + 5*p + 7945 = 10*a, a + 2*p = 1604. Is 33 a factor of a?
False
Let m(t) be the third derivative of t**5/15 + 5*t**4/24 + 2*t**3/3 + 7*t**2. Is m(-3) a multiple of 5?
True
Let s(a) = -5*a**2 - 98*a + 233. Let u(l) = -2*l**2 - 33*l + 77. Let y(h) = -3*s(h) + 8*u(h). Is 18 a factor of y(20)?
False
Suppose -4*k - 12 = 4. Let r = -201 - k. Is 6/(-15) + r/(-5) a multiple of 10?
False
Let g(s) be the third derivative of s**6/120 + s**5/12 + s**4/4 + 5*s**3/6 + 2*s**2. Let r be g(-4). Is 54 + (-3 - r - 4) a multiple of 11?
False
Let d = -10 - -12. Suppose 0 = -3*i - w + 10 + 4, -i + d*w = -7. Suppose i*n + 136 = 9*n. Does 17 divide n?
True
Let u(b) = -b**2 + 11*b + 12. Let p be u(12). Suppose p = 5*s + 2*x - 134, 0 = -2*s + 2*x - 3 + 65. Is 12 a factor of s?
False
Suppose 0 = -9*b + 3536 - 998. Is 47 a factor of b?
True
Suppose -1639*b = -1626*b - 44200. Does 20 divide b?
True
Suppose 0 = -8*x + 11*x - 48. Is 38 a factor of x*(1 - (-85)/10)?
True
Let t(y) = 97*y**2 + 4*y + 3. Is t(-1) a multiple of 3?
True
Suppose -o + y + 1214 = 0, -6077 = -5*o + 3*y - 5*y. Do