s 2 divide b?
False
Let a = -40 + 75. Suppose 0 = 3*w - 4*w + a. Is 9 a factor of w?
False
Let r = 10 + -10. Suppose 16 = 3*v + 5*d, r*v - 5*d = -4*v + 68. Does 5 divide v?
False
Let k = -13 + 16. Suppose 5*l + 3*n = 202, 0 = 5*l - k*n + 2*n - 206. Is 11 a factor of l?
False
Let a(u) = u - 6. Let d be a(9). Suppose -3*v + 4*f = -27, -2*f = -v + d*f + 20. Is 14 a factor of v/(10/6) + 29?
False
Let y(w) = -w**3 + 13*w**2 + 15*w - 17. Let k be y(14). Let m(q) be the first derivative of -2*q**2 - 3*q - 1. Does 9 divide m(k)?
True
Let x = -78 - -210. Does 11 divide x?
True
Let c = -52 + 74. Does 22 divide c?
True
Suppose -c = 2, -8 + 133 = 5*p - 5*c. Suppose -p - 22 = -3*o. Is 5 a factor of o?
True
Suppose -2524 = -9*g - 724. Does 40 divide g?
True
Suppose -5*d - 3 + 18 = 0. Let t(u) = 0 + 8*u**2 - 2*u + 1 - d + u**2. Is 18 a factor of t(2)?
False
Let k = 30 - 9. Does 6 divide k?
False
Let l be (6*-1)/(12/(-8)). Suppose -2 = t - l. Suppose t*a = -3*n + 88, n - a = -0*a + 21. Is n a multiple of 14?
False
Let x be 7 + (-4)/6*-3. Let q be (-4)/(-6) - (-30)/x. Suppose -v = -q*v + 39. Is 12 a factor of v?
False
Is 15 a factor of 8/28 - (-103)/7?
True
Let u be 72/15 + 1/5. Suppose -u*z - 39 = n - 2*n, 0 = -3*n - 3*z + 63. Suppose 0*x + 3*x = n. Is 8 a factor of x?
True
Let o(r) = r + 6. Let w be o(-6). Let u = 2 + w. Suppose 3*a = u*h - 57, -h + 3*a + 13 = -8. Is h a multiple of 18?
True
Let d(c) = 3*c**2 - 17*c - 1. Is 7 a factor of d(7)?
False
Let m = 14 + -26. Let l = m + 22. Is l a multiple of 5?
True
Let r(o) be the third derivative of o**7/2520 + o**6/240 + o**5/20 + o**2. Let q(i) be the third derivative of r(i). Is 8 a factor of q(4)?
False
Let m(o) = -o**2 + 11*o + 4. Let d be m(11). Suppose f = -f + d. Suppose -c = -f - 2. Is 4 a factor of c?
True
Let o be ((-68)/(-6))/((-24)/(-36)). Suppose -j + o = -0*j. Does 17 divide j?
True
Let h be 7 - (-1)/(-2)*0. Let g = h - 8. Does 25 divide (-6 - -9) + 58 + g?
False
Let c(k) = -4*k + 3*k - 3*k + 2*k**3 - 4*k**2 + 3. Is c(4) a multiple of 14?
False
Let k = 2 - 0. Suppose -t = 2*t - 3. Let a = t + k. Does 2 divide a?
False
Suppose 3*j + 0 - 6 = 0. Suppose -7*i = -j*i + 10. Does 11 divide 43 - (i + 1 - -2)?
False
Let o(k) = 4*k - 36. Is o(23) a multiple of 14?
True
Let t be 12/16*4 + 49. Is 1/3 + t/6 a multiple of 3?
True
Let t = 5 - -11. Does 5 divide t?
False
Let n = 9 + -3. Let h = 8 - n. Is 2 a factor of h?
True
Suppose 30 - 1070 = -4*p. Is p a multiple of 13?
True
Suppose o - 4*o = 2*m - 204, 5*m = -4*o + 265. Is 5 a factor of o?
True
Does 7 divide 0 + 51/7 - (-4)/(-14)?
True
Is 18 a factor of ((-12)/10)/((-9)/540)?
True
Is (35 - -1) + (-4)/1 a multiple of 11?
False
Let r = 11 - 12. Suppose 0 = -c - 4*c - 25. Is (c/(-4))/(r/(-4)) a multiple of 2?
False
Let k be (-2)/11 + 70/22. Suppose 3*f = -5*p + 41, 0 = 3*f + k*p - 18 - 27. Does 11 divide f?
False
Let x(t) = -t + 5. Let h be x(3). Suppose 2*b + h*b = 24. Is 8/b*(6 - 3) a multiple of 3?
False
Suppose 0*t = -t + 2. Suppose -t*v = -10 - 104. Is 19 a factor of v?
True
Let z be 6/(-8) - (-306)/(-8). Let p = -17 - z. Does 11 divide p?
True
Let v(r) = r**2 + 6*r + 5. Suppose 2*u = 5 - 17. Let s be v(u). Suppose -s + 19 = m. Does 14 divide m?
True
Suppose -3*n = n. Suppose -2*t + 6*t = n. Suppose 5*l + t*l + s - 163 = 0, 0 = -5*s + 15. Is 16 a factor of l?
True
Suppose 2 = 3*n - 10. Suppose f = -n*o + 15, 0 = o - f + 2*f - 3. Suppose -60 = -7*m + 4*m + 2*k, -4*m - o*k + 60 = 0. Does 18 divide m?
True
Let y(w) = 3*w**3 - 10*w**2 + w - 4. Does 13 divide y(4)?
False
Let n = 109 - 1. Suppose -2*h + s + 2*s + 106 = 0, -n = -2*h + 2*s. Suppose 5*q + 44 = 3*b, 3*b + q - h = -0*q. Does 6 divide b?
True
Let z(b) = -b**3 - 6*b**2 - b - 3. Let r be z(-6). Does 13 divide 0 + 1 + (31 - r)?
False
Suppose -59 = -2*x + 41. Suppose -5*o = 3*g - x, -5*o = g - 2*g + 10. Is g a multiple of 15?
True
Let z = 35 - 62. Let r be (-1 + z + 2)*-1. Suppose r = -3*d - 4*p + 85, 67 = 4*d + 3*p. Does 13 divide d?
True
Let w(f) = -2*f - 1. Let b(p) be the third derivative of -p**3/6 - 2*p**2. Let s(l) = 6*b(l) - w(l). Is s(5) a multiple of 5?
True
Is (2 + (-2)/4)*(22 + -12) a multiple of 2?
False
Let g = 7 + -5. Suppose 5*t - 27 = -g. Suppose -3*l = -t*s + 18, s + 3*l = -0*l + 18. Does 3 divide s?
True
Let f(c) = c**2 + c. Let b(t) = -4*t**2 - 15*t - 1. Let q(s) = -b(s) - 5*f(s). Is q(7) a multiple of 7?
False
Let y(j) = -j**3 + 6*j**2 + 9*j - 1. Let q = 7 + 0. Is 5 a factor of y(q)?
False
Suppose -h - 5*r + 129 - 5 = 0, -h = -3*r - 140. Does 11 divide h?
False
Is 45 a factor of 35/(-14)*12/10 + 157?
False
Suppose -3*s + 3 = 12. Let q(b) be the first derivative of -b**2/2 - b + 1. Is q(s) a multiple of 2?
True
Let l(u) = -u + 3*u**2 + 0*u - 2*u**2 + 5 + 0*u. Is l(0) even?
False
Let a(s) = s + 8. Let g(c) = 6*c + 47. Let o(x) = 34*a(x) - 6*g(x). Does 4 divide o(-12)?
False
Suppose -a + 5*a - 24 = 0. Suppose a*v - 73 = -1. Is 3 a factor of v?
True
Let u = 19 + -17. Does 2 divide u?
True
Suppose -4*s = s + 10. Suppose 0 = -3*z + 8*z + 15. Does 2 divide z*(s + 12/9)?
True
Let p(y) = 3*y**2 - 16*y - 10. Let j(r) = 5*r**2 - 31*r - 19. Let a(l) = 4*j(l) - 7*p(l). Is 12 a factor of a(-8)?
False
Let i = 534 + -178. Does 11 divide i?
False
Let r = -258 - -451. Suppose -4*c = -j - 155 + 2, 0 = -5*c + 3*j + r. Let g = 57 - c. Does 8 divide g?
False
Suppose -73 = 4*j + p + 102, -3*p = -j - 47. Suppose -y + 2*s + 68 = 7*s, -4*s = 3*y - 215. Let v = j + y. Is v a multiple of 8?
False
Suppose -9 = 3*h - 21. Let b be (3/2)/(4/8). Suppose -v + 22 = b*j, -2 = -h*j + j - 5*v. Is 9 a factor of j?
True
Does 11 divide (-3)/(-9) - 392/(-12)?
True
Let m(s) = 46*s - 6. Does 11 divide m(3)?
True
Suppose 0 = -l + 6*l - 10. Suppose -5*j = -3*s - 240, -l*s = -j + 5*j - 192. Is j a multiple of 25?
False
Suppose -z + 141 = -3*r + 42, 3*z + 3*r - 357 = 0. Suppose 2*p = -0*p + z. Is p a multiple of 19?
True
Let k = 124 + -182. Let z be 6/(-9) - (-200)/(-6). Let q = z - k. Is 8 a factor of q?
True
Let p be (39 - -2) + 3 + 0. Suppose -54 = -h + 4*f, -2*f - p = h - 2*h. Is h a multiple of 17?
True
Suppose 35 = 4*c - 3*n - 77, -3*c = -n - 84. Is 11 a factor of c?
False
Let h be (3*4)/((-9)/(-84)). Suppose 3*t - h = v - 6*v, 3*t = -v + 32. Is v a multiple of 11?
False
Let q = -14 - -5. Let i be 2/(-6) - 426/q. Let t = i + -32. Does 15 divide t?
True
Let t(q) = -q**2 + 5*q + 7. Is t(5) a multiple of 5?
False
Let a = 4 + -10. Let b be (-92)/(-1) + (-9 - a). Suppose -4*u = 33 - b. Does 13 divide u?
False
Suppose -3*q - 3*l - 39 = 0, 5*q - l = q - 32. Let m = 7 - -9. Let w = q + m. Is w a multiple of 2?
False
Let m = 6 - 3. Let n be m*(352/(-6))/(-2). Let b = n - 56. Is 18 a factor of b?
False
Suppose 4*p + 81 = 241. Let t(n) = 26*n**3 + n**2 - 2*n - 2. Let c be t(-1). Let d = p + c. Is 5 a factor of d?
True
Is 21 a factor of (-5)/20*-2*162?
False
Let p be (0 - 1) + -3 + 1. Is (-19)/p - (-5)/(-15) a multiple of 4?
False
Suppose j + 1 = 3*i + 8, 4*i + 3*j + 18 = 0. Let c = 5 + i. Suppose -4*g = 0, -5*k - c = -3*g - 107. Does 7 divide k?
True
Let y = -15 - -50. Is y a multiple of 13?
False
Let j = 2 + 102. Suppose -4*s = -0*s - j. Does 13 divide s?
True
Let d(z) = -z + 1. Let t(g) = -15*g. Let b(k) = -2*d(k) + t(k). Is 10 a factor of b(-2)?
False
Suppose 2*o - 360 = -4*s, -o = s - 0*s - 90. Does 10 divide s?
True
Let w(q) = -15*q**3 - q**2 + 2*q - 1. Let t be w(1). Let o be (-5)/((-2)/(-20)*2). Let b = t - o. Does 3 divide b?
False
Let z = -4 + 9. Suppose -2*w - z*g = -74, 3*w - 3*g - 2*g = 86. Does 16 divide w?
True
Let p(j) = 4*j - 3. Let w(t) = -7*t + 6. Let y(x) = 5*p(x) + 2*w(x). Let s(q) = -13*q + 7. Let d(o) = -3*s(o) - 5*y(o). Does 18 divide d(4)?
False
Suppose -r - 6 + 0 = -2*h, -3*r = 5*h - 37. Suppose 6*y = r*y + 80. Does 22 divide y?
False
Suppose -3*b - 2*b - t = -15, -b = 4*t - 3. Suppose q - b*q = -116. Is 25 a factor of q?
False
Let a(u) = -10*u - 5. Is a(-3) a multiple of 11?
False
Suppose 2*f = 11 + 113. Does 22 divide f?
False
Let h = 4 + -10. Is h/(-4)*2 + 65 a multiple of 16?
False
Let g(r) = 6*r - 1. Is g(6) a multiple of 11?
False
Let j(v) = -v**2 + v + 2. Let r be j(3). Is 11/44 + (-43)/r a multiple of 3?
False
Suppose 0 = 3*q + y - 5 - 0, q - 2*y - 11 = 0. Is q a multiple of 3?
True
Does 19 divide (1