 - 6. Let b be t(12). Is (9/b)/((-9)/318) a multiple of 9?
False
Suppose -50*w + 56*w - 300 = 0. Does 14 divide w?
False
Suppose 5 = -5*s + 130. Let h = 30 + s. Does 11 divide h?
True
Let w(t) be the second derivative of t**3/3 - 7*t**2/2 - 2*t. Let k be w(5). Suppose -4*d + 291 = k. Does 18 divide d?
True
Suppose 0 = -3*t + 4*v - 87, 3*t + v - 50 = -122. Suppose -84 = 2*y - 2*b, -5*y + b + 3*b - 213 = 0. Let m = t - y. Does 3 divide m?
False
Suppose 32 = 3*t + 17. Suppose 0 = -3*j + t*j - 490. Does 29 divide j?
False
Let t be (30/(-4))/((-9)/12). Does 16 divide 465/t + 2/4?
False
Let t be (-6)/(-15) + 0 - (-190)/25. Suppose 0*q - 180 = -5*q. Is 6 a factor of t/q + 178/9?
False
Let i = -30 - -52. Let d(v) = 12*v + 314. Let p be d(-26). Does 11 divide i/p - -3 - 3?
True
Suppose -8*k - 2*k + 660 = 0. Let y(u) = 117*u + 1. Let a be y(1). Let p = a - k. Is 14 a factor of p?
False
Let h = -67 + 137. Is 11 a factor of 7224/38 - h/665?
False
Let p(n) = 2*n**2 - 4*n**2 - 3 + n**2 + 8*n. Let b be (-2)/((-7)/(105/6)). Does 3 divide p(b)?
True
Let s = -13 + 18. Suppose 0 = 4*x - 2*q - 118, s*q - 1 = 4*q. Is 30 a factor of x?
True
Suppose 0 = -10*z + 8*z + 10. Suppose -2*m + 40 = -0*d + 2*d, z*m - 5*d = 80. Is 9 a factor of m?
True
Let c(q) = 8. Let n(d) = -d - 1. Let k(s) = c(s) + 2*n(s). Is k(-32) a multiple of 14?
True
Suppose -3*b + b = -58. Let n = -25 - b. Is (-8)/6*n/4 a multiple of 6?
True
Let b = -2429 - -3429. Does 43 divide b?
False
Let j be (-8)/6*(-3)/2. Let d(w) = 5 - 10 + 4 - 2 - 1 + 38*w. Is d(j) a multiple of 17?
False
Suppose 0 = -5*t + 2*k + 692, -3*t - 3*k = -6*k - 408. Is 14 a factor of t?
True
Suppose 11 = -3*p + 2*d, p - 4*d = -d - 13. Let y(j) = 82*j**2 - 4*j - 3. Is 26 a factor of y(p)?
False
Let s = 25 + -21. Suppose s*r = -0*r - 376. Let q = -35 - r. Does 18 divide q?
False
Let q = 229 - 8. Is 68 a factor of q?
False
Let o(d) = d**2 - 17*d + 16. Let h be o(16). Suppose -s + 3*s - 88 = h. Is s a multiple of 11?
True
Let b = 24 + -21. Suppose -3*f - 5*o + 60 = -57, -117 = -b*f - o. Let i = f - 23. Is i a multiple of 4?
True
Suppose 0*n - 3*n = 2*t + 8, 19 = -4*n - t. Let j(f) = -2*f + 24. Is 7 a factor of j(n)?
False
Let b(z) = 2*z**3 - 5*z**2 + 2*z - z - 3*z. Let t be b(4). Is 3 a factor of (t/15)/(1/3)?
False
Does 28 divide 2183/6 - (1245/90 + -14)?
True
Let y = -88 + 95. Let j(l) = 5*l - 1 + 17 + 2 - 2*l. Is 13 a factor of j(y)?
True
Suppose -5*d = -c - 6 + 2, -3*c + 4*d - 56 = 0. Let u = c - -68. Is 8 a factor of u?
False
Suppose l - 3*m = 4*l - 141, -5*l + 4*m + 199 = 0. Suppose 2*r = 3*r + z - l, 38 = r - 4*z. Is r a multiple of 13?
False
Suppose -274 - 90 = 7*l. Let y = l + 129. Does 11 divide y?
True
Let v = -1688 - -2572. Is 52 a factor of v?
True
Let f(l) = 83*l**3 + 2*l - 1. Let n(y) = -y + 9. Let w be n(8). Suppose 0 = -o - w + 2. Is 28 a factor of f(o)?
True
Let y = -7 + 12. Let l(q) = y*q**2 + q**2 - 3*q**2 + 19 - 4*q**2 + q**3. Does 10 divide l(0)?
False
Is (364/12 - 0)/((-2)/(-6)) a multiple of 13?
True
Suppose -33*c + 36*c - 2349 = 0. Is 27 a factor of c?
True
Suppose 7*r + 39 = 10*r. Let b = 93 + r. Does 10 divide b/10 + (-33)/55?
True
Suppose -3*s - 80 = 4*v, -6*s - 84 = -3*s + 3*v. Let a = 8 - -39. Let y = a + s. Is y a multiple of 15?
True
Suppose 4*v = 2*v + 5*n - 16, -5*v = 3*n - 22. Is -1 - (-28*2 - v) a multiple of 11?
False
Let h be (-3 + -2)*16/10. Let d(a) be the first derivative of -a**2/2 + 8*a - 109. Does 5 divide d(h)?
False
Suppose -6*g + 3*g + 12 = 0. Suppose -3*q - 12 = g*z - q, 8 = z - 5*q. Does 13 divide ((-3 - z) + 27)/2?
True
Suppose -222 = -6*d + 642. Does 16 divide d?
True
Suppose 0 = -5*c - 66 + 41. Let u = 160 + c. Is 31 a factor of u?
True
Suppose m = 4*c, 3*m - 6*m = -3*c + 27. Is (-9)/(m/108 - (-4)/(-18)) a multiple of 6?
False
Let b = -6269 + 10488. Does 12 divide b?
False
Let u(d) = 3*d**3 + 69*d**2 + 12*d + 28. Is u(-16) a multiple of 137?
False
Suppose 4*r + 24 = 4*a - 12, 33 = -2*r - a. Suppose -80 - 35 = 3*z + 4*x, -z - 4*x - 25 = 0. Let q = r - z. Does 12 divide q?
False
Let i = 53 + -37. Let u be (0*4/i)/(-2). Suppose u = -17*s + 15*s + 68. Is 16 a factor of s?
False
Let z be -1 + (0 - (0 + -3)). Let n(p) = -p + p + p + z + 2*p. Is n(6) a multiple of 15?
False
Suppose 14368 = 7*v - 1193. Does 117 divide v?
True
Suppose 5*q - 5*a = -a + 24, 4*q + 4*a - 12 = 0. Suppose 169 = q*y + 53. Is 21 a factor of y?
False
Let t = -14 + 22. Suppose -t*l + 92 = -12*l. Does 15 divide (l/1 + 4)/(-1)?
False
Let j be -2*(-2)/(-12) + 310/3. Let v = j + -73. Does 6 divide v?
True
Suppose 0 = 663*u - 660*u - 1440. Does 20 divide u?
True
Suppose 5*a = 19 - 4. Suppose 5*z + 3*x - 487 = 0, 0 = -2*z - a*x - 2*x + 191. Does 11 divide z?
False
Let u be -1 - 2 - 6*2. Let h = 15 + u. Is 6 a factor of (h + 6 - -3) + -3?
True
Let w = 5 - -75. Is 20 a factor of w?
True
Suppose -89*l + 87*l - 4 = 0. Let t(o) = -29*o**3 - 7*o**2 - 4*o + 2. Is t(l) a multiple of 13?
False
Let s = -668 - -1298. Is s a multiple of 22?
False
Suppose -5*c = -r - 4*r + 390, 2*r = -4*c - 318. Let d = 51 - c. Is 11 a factor of d?
False
Let y(v) = 21 + 47*v - v**3 - 73 - 42*v - 32*v**2 + 2*v**3. Is y(32) a multiple of 18?
True
Suppose 135 = 5*j - 0*j. Let h be j/4 + 2/8. Suppose -8*m + h*m = -33. Does 11 divide m?
True
Suppose 2 = u + 3*g - 1, -5*u = -4*g - 15. Suppose 5*p = -q + 455, 6*p + 2*q = u*p + 266. Let f = p + -58. Is 34 a factor of f?
True
Let d(y) = 11*y**2 - 32*y + 98. Is d(8) a multiple of 21?
True
Suppose 3*f - f = 336. Is 6 a factor of f?
True
Let q(j) = 29*j**2 - 2. Let z be q(2). Suppose -3*g = -9, z = y + 2*g + 23. Is 17 a factor of y?
True
Let u(k) be the first derivative of k**5/20 - k**4/2 + k**3 + 3*k**2/2 - 12*k - 10. Let o(v) be the first derivative of u(v). Is 13 a factor of o(6)?
True
Let o = -238 - -274. Is o a multiple of 3?
True
Let f(u) = -2*u**3 - 8*u**2 - 36*u + 1. Does 89 divide f(-8)?
True
Suppose m = 5*m + 460. Let c = 19 - m. Is c a multiple of 31?
False
Let y be -1 + 2 + 3 + 0. Suppose -2*c = -3*b - 21, y*c + 3*b + 3 = -0. Is 3 a factor of c?
True
Suppose 4*r = 9*r - 25. Suppose t = 4*q + 221, -t - t + 433 = -r*q. Is t a multiple of 12?
False
Suppose 4*d - 2*d = 8. Suppose 0*y = 3*y. Suppose d*w = 3*x - 93, 6 = -y*w + 2*w. Is 15 a factor of x?
False
Let a(m) = -m**2 - 8*m + 8. Let n be a(-7). Let l be 6/(-15) - 2394/n. Let b = -102 - l. Is 21 a factor of b?
False
Let a(h) = h**3 - 15*h**2 + 34*h - 35. Does 7 divide a(13)?
False
Let y = -2 + 1. Suppose -2*n = -4*b - 10, n + b + 7 = -3*b. Is n*y*(-5 + -10) a multiple of 15?
True
Let i(q) be the third derivative of 19*q**4/24 + q**3/2 - 2*q**2. Let x = 41 - 38. Is i(x) a multiple of 13?
False
Let l = 559 + 79. Is 29 a factor of l?
True
Suppose -9167 = -18*d + 25663. Does 45 divide d?
True
Suppose 2*n + 438 = 2*w, -2*w + 0*n + 438 = -n. Suppose -4*j = -433 - w. Is 8 a factor of j?
False
Let f(y) be the second derivative of 2*y**3/3 + 6*y**2 - 2*y. Let d be f(-9). Let h = 59 + d. Is h a multiple of 17?
False
Suppose 0 = -6*i + 120 + 6. Suppose m + i = -6*b + b, 4*b + 16 = -m. Suppose 2*c = -5*k + 55, -c - m*k + 72 = 2*c. Is 10 a factor of c?
True
Let q(r) = r - 6. Let b = 5 - 0. Let g be q(b). Let t = 5 + g. Is t even?
True
Let a(s) = -89*s + 603. Is a(-12) a multiple of 6?
False
Suppose -3*h = -1 - 2, 4*u = -h + 969. Is 10 a factor of u?
False
Suppose -3930 = -11*a + 4254. Is 17 a factor of a?
False
Let g = 2244 - 1454. Is 6 a factor of g?
False
Does 12 divide 8/20*(-6 - -2316)?
True
Let w(l) = 4*l + 9. Let v(f) = -63*f - 144. Let r(o) = -2*v(o) - 33*w(o). Does 11 divide r(-12)?
False
Suppose 542 = 4*r + r + 2*a, r - 3*a - 105 = 0. Suppose -r = -2*f + 164. Is f a multiple of 17?
True
Let j = 7157 - 4696. Is 71 a factor of j?
False
Let n = -12 + 15. Let y(b) = 7*b - 5. Let h be y(n). Suppose 2*d - l - h = 46, 4*d = l + 124. Does 13 divide d?
False
Suppose 2*i = -0*i + 12. Suppose -i*u = -u - 30. Suppose 2*b = -u + 22. Is 4 a factor of b?
True
Suppose 20 = -5*s + 45. Suppose -o = -3*g - 30, -s*o - 4*g = -2*o - 25. Does 15 divide o?
True
Suppose 16957 - 1787 = 41*l. Does 17 divide l?
False
Let b = 1 + 21. Suppose -676 = c + 120. Does 12 divide (-4)/b - c/22?
True
Let a(g) = -g**2 + 16. Let u be a(4). Is 25 a factor of 0 + u - -249 - (0 - -1)?
False
Let 