 f = 3*s - 2*p, -4*s - 5*p + 975 = -2*p. Is s a multiple of 10?
False
Let c be 3/5 - (9 - 1020/50). Suppose c*y - 911 = 1693. Is y a multiple of 18?
False
Let b be ((-6)/24)/((-4)/5552). Suppose -12*n + 8*n = -3220. Suppose n + b = 8*k. Is 16 a factor of k?
True
Suppose -3*i - 15 = -3*h, 0 = -5*i + 8*i - 3. Suppose -h = -0*d - 2*d, 0 = -z + 3*d - 5. Suppose 3*q = 3*k - 192, z*k = -5*q + 328 - 54. Is k a multiple of 7?
False
Suppose 2*m + 844 - 1093 = -3*c, -4*c + 508 = 4*m. Is 11 a factor of m?
True
Suppose 9 = 4*u - 11. Suppose x + 231 = 4*x - 4*b, 0 = u*x + 4*b - 417. Is 9 a factor of x?
True
Let i(j) = 21*j - 36. Suppose v - 31 + 17 = 0. Does 43 divide i(v)?
True
Is 19 a factor of (5/((-50)/(-152)))/(260/151450)?
True
Let d = -14565 + 36331. Is d a multiple of 13?
False
Suppose -102 = 2*r + 2*q, 2*r + 43 = -3*q - 56. Let l = -49 - r. Suppose p = b + 125, 2*p - l*p + 380 = 2*b. Is 19 a factor of p?
False
Let z(g) = 5*g**2 - 123*g - 24. Let r be z(27). Suppose -6*x + 3*x + 225 = 2*n, 4*x - 4*n - r = 0. Is 3 a factor of x?
True
Let y be (((-385)/(-21))/11)/((-3)/(-18)). Let r(m) = -3*m**2 + 35*m + 46. Is 6 a factor of r(y)?
True
Let u be (-3)/18 + (-1)/(30/(-5)). Suppose 5*f + 7*f - 48 = u. Suppose -88 + 376 = f*w. Does 24 divide w?
True
Let c be 44/10 - (-16)/(-40). Suppose -1266 = -5*w - 3*g, c*w - 5*g - 707 = 291. Suppose 0 = -5*r + w + 468. Is 12 a factor of r?
True
Suppose -5 = -5*d, -5*y + 7*d - 2*d + 10 = 0. Suppose y*h + 8*i = 6*i - 6, 11 = -5*h - 3*i. Let z(q) = q + 24. Is 10 a factor of z(h)?
True
Suppose 149*g - 147*g = 8. Suppose 2*h + 2*r = 6 - 0, 5*h - 5*r - 25 = 0. Suppose 4*z - 36 = g*s - 12, 0 = 5*z - h*s - 31. Is 3 a factor of z?
False
Suppose -33*w + 159451 + 375149 = 0. Is 60 a factor of w?
True
Suppose -13*v - 36 = -88. Suppose v*b - 4*h = 76, -7 = 4*h - 19. Is 3 a factor of b?
False
Let y(v) = -21*v - 112. Let c be ((-78)/(-104) - (-5)/4) + -28. Is y(c) a multiple of 14?
True
Let b(j) = 4*j**2 + 14*j + 7. Let g be b(-3). Let t(a) = 26*a + 12. Is t(g) a multiple of 2?
True
Let h be -18 + 0 + 0 + -3. Let v(w) be the third derivative of w**5/60 + 7*w**4/8 + 11*w**3/3 + 717*w**2. Does 4 divide v(h)?
False
Let p(d) = 141*d**2 - 879*d + 28. Is 17 a factor of p(-7)?
True
Let u = 43 - 18. Let s = u - 24. Does 10 divide ((-6)/5)/(s/(-15))?
False
Suppose -360 = -4*m + 656. Suppose 7*q = 2*q + 3*p + m, 3*q - 4*p = 148. Suppose 54*y - q*y = 274. Is 14 a factor of y?
False
Suppose 14 = -5*g - 3*y + 132, 3*g - 86 = 2*y. Suppose -33*p + 980 = -g*p. Is p a multiple of 35?
True
Let j(f) = -53*f**3 + 3*f**2 + 4*f + 2. Let c be j(-1). Suppose -c*s = -63*s + 1188. Does 6 divide s?
True
Suppose 4*o - 2*x - 20 = 0, -4*x = -2*o + x + 26. Suppose o*i + 5*m = i + 40, -3*m = 4*i - 80. Is 7 a factor of i?
False
Suppose 0*t - 117 = -5*w + t, 0 = 3*w + 3*t - 63. Suppose 3 = -4*z + w. Suppose 5*h = -a + 55, 3*a - 155 = -0*a - z*h. Is 11 a factor of a?
False
Suppose 308*a + 45*a - 626707 = 276973. Is 5 a factor of a?
True
Is (-1912636)/(-770) + 14 + (-4)/(-70) a multiple of 76?
False
Let k = 36 - 25. Let v(q) = 8*q + 69. Let p be v(40). Suppose k*l - 40 = p. Is l a multiple of 16?
False
Suppose 2*m = -5*z + 686, m - 5*z - 91 - 267 = 0. Suppose 2*o - m = 182. Is o a multiple of 23?
False
Is 35 a factor of 43197 + 1 - (20 + -9)?
False
Is (2 + (-398)/(-7))*-119*(0 - 1) a multiple of 45?
False
Let n(x) = -9*x - 84. Let c be n(-10). Let r(y) = 9*y**2 - 37*y - 6. Is r(c) a multiple of 8?
True
Suppose 0 = -4*q - g + 60, -5*q = 4*g - g - 82. Suppose 3*u - q*a - 3154 = -9*a, 2*a = -5*u + 5267. Is u a multiple of 20?
False
Suppose 5673 = 14*r - 17735. Does 38 divide r?
True
Suppose 44 = -9*d + 224. Is (d - (-1 + -1)) + (4 - 3) a multiple of 4?
False
Suppose 0*n = -3*n - 6. Is 5 a factor of (1105/26)/((-1)/n)?
True
Is (((-3196)/3)/2)/(24 - (-370)/(-15)) a multiple of 2?
False
Let l = -1709 - -3842. Suppose 27*v - l = 18*v. Is v a multiple of 24?
False
Let w be 10/(-15)*(7/2 + -2). Let a be 2*w/3 + 179/3. Let k = a - 4. Does 13 divide k?
False
Let k(q) = q**3 - 72*q**2 - 4*q - 749. Is 67 a factor of k(73)?
True
Let r(d) be the second derivative of -d**5/4 + d**4/3 - 2*d**3 + 2*d**2 + 24*d. Let f be r(-9). Does 15 divide (-6)/10 - -1 - f/(-35)?
False
Suppose -2*r + 3*c = -4, -r + 4*c = 22 - 24. Let l(t) = 140*t - 1. Is 31 a factor of l(r)?
True
Let m(f) = 11 - f**2 - 492*f + 492*f. Let t be m(-3). Suppose 4*b = -t*l + 5*l - 46, 4*l + 4*b = 24. Is l a multiple of 2?
True
Suppose 99467 - 20087 = 7*k. Suppose -20*s = -38*s + k. Is s a multiple of 42?
True
Let q = -217 + 204. Let p(w) = -5*w**2 + 18*w + 9. Let s(h) = -3*h**2 + 9*h + 5. Let c(z) = 4*p(z) - 7*s(z). Does 23 divide c(q)?
False
Suppose -3 = 2*m - 5*h - 0*h, 4*h = -4*m + 36. Let j be -432*((-9)/12)/(m/4). Suppose 2*s = 3*s - j. Is 24 a factor of s?
True
Let p(v) = 0*v + 2*v**2 - v**3 - 2*v - 3 - 2*v + 6*v. Let b be p(0). Is (-12)/b + -1 + 16 a multiple of 5?
False
Suppose 99*r = 473*r + 551*r - 88151575. Is r a multiple of 15?
False
Suppose 4*v = -144 - 84. Let m = v + 231. Let q = m - 102. Does 18 divide q?
True
Let o(i) = 177*i - 175*i + 10*i**2 + 35 - 12 - 2*i**3 + 3*i**3. Does 13 divide o(-7)?
True
Suppose 2*i + 204*p = 200*p + 18538, 18548 = 2*i - p. Is i a multiple of 43?
False
Suppose 29360 = 5*t + 2*b, 3*t + 4*b + 4880 - 22482 = 0. Is t a multiple of 11?
True
Let p(s) be the second derivative of 9*s**2 + 0 + 3/2*s**4 - 17/6*s**3 - 16*s - 1/20*s**5. Is 6 a factor of p(17)?
True
Let g(i) be the first derivative of -i**4/4 - 4*i**3/3 + 5*i - 8. Let v be g(-4). Suppose -c - 112 = -v*c. Is c a multiple of 6?
False
Let t = 35983 - 17029. Is 162 a factor of t?
True
Let j = -90 + 162. Let q = j + -48. Is 23 a factor of 516/(-48)*(q/(-2) - 0)?
False
Suppose -3565*v + 3578*v = -52. Let h be (-66)/4 - (-1)/2. Does 13 divide (9/12 + v)*h?
True
Let r(i) = 2*i**3 - 3*i**3 + 9*i**2 - 5 - i**2 + 24*i + 1. Is r(10) a multiple of 10?
False
Let f(j) = -14*j**2 + 4*j + 1. Let y(r) = -1 - 6*r + 1673*r**2 - 1644*r**2 - 4*r + 2*r. Let n(w) = -7*f(w) - 3*y(w). Is n(3) a multiple of 14?
False
Let g = -31539 - -46035. Is 16 a factor of g?
True
Let k be 1037 + 11 + 21/3. Suppose 2*h - 2*s = -5*s + k, -h + 3*s + 514 = 0. Is h a multiple of 34?
False
Is 7 a factor of (-36)/(-16)*136920/90?
True
Let u(d) = -2*d**2 + 7*d - 999. Let s be u(0). Let l = s - -1791. Is l a multiple of 52?
False
Let b(f) be the first derivative of -3*f**2 - 21*f + 5. Let l be b(12). Does 3 divide (4/(-36)*3)/(1/l)?
False
Let x = 20787 - 14682. Is 63 a factor of x?
False
Let l(d) = -36*d**3 + 2*d + 1. Let w be l(-1). Let k = w + -31. Suppose -4*j + k*u = -116, -26 - 3 = -j - 4*u. Does 4 divide j?
False
Suppose -5*c + 8 = -3*c. Let g(z) = -4*z + 16. Let f be g(c). Suppose -27 = -f*s - 3*s. Does 8 divide s?
False
Suppose -3*d - 3*g - 523 = 2*d, -2*d - 210 = 2*g. Let b(p) = 8*p**2 - 640*p + 244. Let v be b(80). Let q = d + v. Does 14 divide q?
True
Let a(p) = 5*p**3 + 27*p**2 + 28*p - 47. Let w(i) = 9*i**3 + 55*i**2 + 56*i - 93. Let o(j) = 11*a(j) - 6*w(j). Is o(34) a multiple of 85?
False
Let u = 6 - 4. Let t = 97 - 95. Is 9 a factor of (u + 21 - (-6 + 3))/t?
False
Suppose -3*g + 11782 = 6*r - 5*r, 5*g + 2*r = 19638. Suppose 3*c - g = -5*n, 4*n - 3138 = -0*c - c. Does 16 divide n?
True
Let w(c) = 184*c - 2368. Is w(85) a multiple of 14?
True
Suppose -28*h + 14314 = -10296 - 10670. Does 20 divide h?
True
Let u = 11667 + 4037. Does 84 divide u?
False
Is 43 a factor of 6*1 + (-18)/((-486)/28863)?
True
Is -4*(-1)/3*(-4587570)/(-156) a multiple of 15?
True
Let h = -544 + 2278. Does 24 divide h?
False
Let c(n) = 5*n - 5. Let f be c(2). Suppose -439 = -f*t + 4*r, 2*t - 3*t - 5*r = -111. Let v = 298 - t. Does 16 divide v?
False
Let o(q) = -q**3 + 22*q**2 + 76*q - 17. Let g be o(25). Is 317/g - 6/(-16) a multiple of 2?
True
Let j(n) = 149*n**2 - 12*n + 30. Let o(p) = 2*p**2 + p - 53. Let h be o(5). Is 34 a factor of j(h)?
False
Suppose -5*x - 9 = -19. Let q be 28/(-2)*(x - (-16)/(-7)). Suppose -4*r + 364 = -q*f, 3*f + f + 269 = 3*r. Is 16 a factor of r?
False
Suppose -18*u + 474 = -12*u. Let a = -36 + u. Is a a multiple of 6?
False
Let z = 263 - 83. Suppose w + 2*o = 7*o + z, -5*w + o + 996 = 0. Does 25 divide w?
True
Let q be ((-24)/15)/((-9)/(-180)). Let h =