ose 3*c - 4*c - 28 = -4*r, 3*r - 4 = 5*c. Let h be j(r). Suppose 35 = -3*d + 6*d - w, 0 = -d - h*w + 25. Is d a multiple of 7?
False
Let x(d) = 23*d + 19*d - 13 + 13*d - 46*d. Suppose 0 = 3*b + 4*u - 3, 3*b + 4*u - 6 = u. Is 16 a factor of x(b)?
True
Let g(p) be the first derivative of 13/2*p**2 - 10 + 24*p - 1/3*p**3. Is 26 a factor of g(11)?
False
Let c(p) = 36*p + 274. Let b be c(-5). Suppose -b*n + 100*n = 4212. Is 13 a factor of n?
True
Does 16 divide (-1171480)/(-150) - (65/75 + -1)?
False
Let r = -126 - -130. Suppose 2*q - q + 344 = r*i, -2*i + 2*q = -166. Is i a multiple of 8?
False
Let h = 26 - -12. Is 2470/h - 1*2 a multiple of 9?
True
Suppose -11940 = -6*j - 2*f, -5133 - 2827 = -4*j - 5*f. Is 57 a factor of j?
False
Suppose -19*z + 15*z + 16 = 0. Is 11 a factor of (8/(-10))/(z/(-1980))?
True
Let p(q) = -46*q - 186. Suppose -6*n = 2*i - 8*n + 48, 3*n = -2*i - 33. Is p(i) a multiple of 60?
True
Let k = -362 + 340. Is k*(0 + 5)*28/(-5) a multiple of 28?
True
Suppose -36*w + 1447 = -1577. Suppose w*b = 75*b + 8136. Is 32 a factor of b?
False
Suppose 0 = -5*b + 10, -844*s + 846*s - 4754 = -b. Does 33 divide s?
True
Let p = -2 + 5. Suppose 2*r + 169 = 3*i, p*r = -r + 4. Let h = i + -40. Is 14 a factor of h?
False
Suppose 3*z + 2*r = 7636, -2*z = 2*z + 3*r - 10180. Does 26 divide z?
True
Let z(k) = 7*k**3 + 696*k - 4176. Is z(6) a multiple of 27?
True
Suppose -3*s + p = -10900 + 643, 0 = -4*s + 2*p + 13674. Is s a multiple of 60?
True
Let j(p) = p**3 + 4*p**2 + 4*p + 3. Let l be j(-3). Suppose 3*u = 2*u + 2*c + 534, l = -c - 3. Is u a multiple of 48?
True
Let g(m) = m**3 + 3*m**2 - 15*m - 25. Let r be g(-5). Suppose r = 57*c - 32*c - 13200. Is c a multiple of 6?
True
Suppose -19*m + 4*a - 20803 = -20*m, -2*m = 4*a - 41622. Is 20 a factor of m?
False
Suppose 32*v + 135 = 29*v. Let g = v - -75. Suppose 0 = -x - 3*a - 2*a + g, 5*a = -2*x + 80. Does 12 divide x?
False
Let d = 1576 - 1095. Let z = d + 239. Is z a multiple of 60?
True
Let o = 12 - 6. Suppose 0 = o*k - 9*k + 4*j + 740, -3*k = 4*j - 700. Is 48 a factor of k?
True
Let l be (0 + 1)*4 - (4 + -2). Let d be -7*(l + (-4 - -1)). Does 3 divide 117/d - 28/(-98)?
False
Let p(h) = -23879*h**3 + 2*h**2 + 45*h + 44. Is p(-1) a multiple of 60?
True
Let p be -8*(-1)/2 - 0. Let f be (-4*3)/p - -7. Suppose f*h - 290 = 3*z, 4*h + 2*z + z = 278. Is 33 a factor of h?
False
Suppose -54*c + 650592 = -18*c. Does 72 divide c?
True
Let p(z) be the third derivative of 11*z**6/40 + z**5/60 - 7*z**4/8 + 49*z**3/6 + 217*z**2. Is p(2) a multiple of 5?
True
Suppose 4*w - 6*w = -18. Suppose 371 + 133 = -w*r. Let f = 69 + r. Is 6 a factor of f?
False
Let l(s) be the third derivative of s**5/60 + 11*s**4/24 + 8*s**3/3 + 6*s**2 + 2*s. Is 24 a factor of l(-16)?
True
Let l(g) = g**3 - 15*g**2 - 2*g + 3. Let z be l(14). Let j = z + 392. Is j a multiple of 34?
False
Let x(s) = -53 + 53 + s. Let z be x(2). Suppose 3*w + 4*y - 97 = 0, 3*w - 107 = z*y - 4*y. Is 12 a factor of w?
False
Let u = 339 - 51. Suppose 7*r = -r + u. Suppose o + 2*d - r = 0, 2*o - 88 = 3*d + d. Does 8 divide o?
True
Let j(b) = 1747*b**2 - 5*b + 7. Let f be j(1). Does 15 divide (-6)/(-4)*(f/11 + 11)?
True
Let r(m) = -8*m**2 - m - 2. Let h(p) = 7*p**2 + p + 1. Let z(g) = 7*h(g) + 6*r(g). Let j be z(-3). Is 7780/60 - j/(-3) a multiple of 26?
True
Let t be (-7)/(42/20)*-18. Let z be 54/(4 + t/(-16)). Suppose -4*q + 112 = 2*w - z, 5*w - 164 = -2*q. Does 18 divide q?
False
Suppose 54*y + t + 37001 = 59*y, 0 = 3*y - 2*t - 22195. Does 28 divide y?
False
Let y(w) = 69*w - 5 + 67*w - 152*w. Does 16 divide y(-2)?
False
Let h(v) = 3*v**3 - 2*v**2 - 3*v + 5. Let u be h(3). Let f = 125 - u. Is f a multiple of 11?
True
Suppose -4*t = 4*s + s + 17, 14 = 2*t - 2*s. Does 5 divide ((-25)/t)/(3/(-12))?
True
Let c(g) = 37*g + 182. Let i be c(-5). Is 309 - 2/(i/((-90)/(-12))) a multiple of 8?
False
Let k be (12/10)/((-16)/(-40)). Suppose k*h = 5*h - 36. Let v = h + -3. Is v a multiple of 6?
False
Let z be 513/38 + (-6)/(-4). Suppose -r - 5*n - 27 = -0*n, 0 = 3*n + z. Does 19 divide ((-1)/r)/((-1)/(-74))?
False
Suppose 2*i = 4*h + 7694, h + 1946 = i - 1900. Is 42 a factor of i?
False
Is 93 a factor of (-148)/111*((-8)/(-56) - (-19534)/(-28))?
True
Let z(u) = -u**3 - 3*u**2 + 16*u - 18. Let x be (-5)/(-70)*-122 + (-12)/42. Does 27 divide z(x)?
True
Suppose 0 = -4*y + 30 - 6. Let v(c) = 30 + 7 + 32 + 142*c - 114*c. Is 14 a factor of v(y)?
False
Suppose -t + 81 = 88. Let v = 4 + -5. Is 18 a factor of v/(-3) + t/((-21)/977)?
False
Let h = 203 - -2282. Does 7 divide h?
True
Let t(n) = -n + 29. Let z be t(23). Let g be ((-12)/18)/(2 - 10/z). Does 11 divide (g/2)/(1/(-145))?
False
Suppose 5*m = f + 205, 4*m - 99 = -5*f + 65. Suppose 0 = 3*z + 2*z + 55. Let c = z + m. Is c a multiple of 30?
True
Let d(g) = 9*g + 387. Let u be d(0). Suppose -3*a = -2*q + u, 5*q - 7*a + 2*a - 955 = 0. Is q a multiple of 62?
True
Let p be -4 + 6 - 2 - -225. Is ((-17)/(-3))/(-5*(-5)/p) even?
False
Let h = -38 - -40. Suppose 0 = h*z + 2 + 2. Is (36/(-5))/(z*(-6)/(-120)) a multiple of 27?
False
Let k be (-29 - 2) + 8/(-4). Let o be (4 + -7)*(31 - 10). Let i = k - o. Is i a multiple of 10?
True
Suppose 8*f - 97 + 25 = 0. Let o be -10 + f - (52 - -1). Is 27 a factor of (77/(-2) + -2)/(o/72)?
True
Suppose 146532 = 157*u - 5130. Is 8 a factor of u?
False
Let f(j) = -10*j**2 - 58*j - 8. Let u be f(-5). Suppose -y = -u*y + 6665. Is y a multiple of 17?
False
Suppose 27 = z + 2*z. Suppose -3*d + j - 287 + 268 = 0, 3*d + 2*j = -7. Is 13 a factor of z*d*4/20*-9?
False
Let b be (32/(-12))/(-4*2/(-96)). Let p = 64 - b. Does 48 divide p?
True
Let p(z) = -37*z + 348. Let j be p(-3). Let d(l) = -l**2 - l + 691. Let f be d(0). Let r = f - j. Does 38 divide r?
False
Suppose -2*z + 321 + 217 = 2*g, 0 = 4*z + 3*g - 1079. Suppose 29*p - 772 = z. Is 12 a factor of p?
True
Let d(o) = 57*o**3 - 3*o**2 - o + 2. Let i be (-10)/6*-3*8/20. Let l be d(i). Let k = 659 - l. Is k a multiple of 13?
False
Suppose -r + 164 = -4*j, 0 = j - 2*r - 22 + 70. Let w = j + 47. Let z(y) = -y**3 + 8*y**2 + 5*y + 12. Is z(w) a multiple of 9?
False
Let k(m) be the second derivative of m**4/4 - 7*m**3/6 + 53*m**2/2 + 4*m + 2. Does 12 divide k(10)?
False
Let f = 32949 + -19208. Is f a multiple of 91?
True
Let l(t) = -404*t + 2. Let r be l(-2). Let h(m) = -711*m - 2113. Let p be h(-3). Is 11 a factor of (r/p)/(2/4)?
False
Let d(b) = -b**3 - 28*b**2 + 26*b - 99. Let r be d(-29). Let c(q) = 6*q**2 + 17*q + 69. Does 46 divide c(r)?
False
Let z = 101589 - 57137. Is z a multiple of 12?
False
Let i = -10 + 12. Suppose -3*v + 8 = -i*d, -3*d + 2*v - 4 = -2. Suppose -d*x = 3*x - y - 615, -5*y + 273 = 2*x. Is x a multiple of 25?
False
Let r be (1 - 2 - -9) + -12. Is 14 a factor of (r/12)/((-2)/1878)?
False
Let z = 31770 + -22200. Is z a multiple of 22?
True
Let b = 143 + -469. Let v = -236 - b. Does 18 divide v?
True
Let l(z) be the second derivative of -15*z - 6*z**2 + 3/4*z**4 - 7/6*z**3 + 0 - 1/20*z**5. Is 18 a factor of l(6)?
True
Is 175096/26 - 354/767 a multiple of 18?
False
Is -1 - -823 - 8/((-64)/(-40)) a multiple of 19?
True
Let b be 1 - (-5 + 3 + -6 + 4). Suppose -b*u = -1417 - 1663. Does 23 divide u?
False
Suppose 4*v = 9*v - 5*i - 500, -v + 3*i = -102. Let b = 7 + v. Suppose 3*s - b = 14. Does 9 divide s?
False
Suppose -10*x + 7*x = y - 14826, 4*x = y + 19782. Is x a multiple of 103?
True
Let g(y) = 9*y**2 + 6*y - 37. Let h be g(12). Suppose -1066 = -4*k - 2*a, -6*k + h = -k + 2*a. Is k a multiple of 27?
False
Let s be (-118)/3 - (-24)/(-36). Let z = s + 109. Is z a multiple of 7?
False
Suppose -3*j = -2*o + 615 + 663, 0 = 4*j - o + 1699. Let c = 775 + j. Is c a multiple of 9?
True
Let r(x) be the first derivative of -11*x**2 - 175*x + 203. Is 17 a factor of r(-39)?
False
Suppose -85 = -6*h + 11. Suppose 0 = -22*j + h*j + 570. Suppose 3*p - 8*p = -j. Is 19 a factor of p?
True
Suppose 28 = 13*p + 2. Suppose -5*d - 2*j + 1573 = 0, -3*d + 4*j = p*d - 1579. Does 20 divide d?
False
Suppose 2*r = -4*m + 3998 + 5652, 4*m + 9610 = 2*r. Does 91 divide r?
False
Suppose -213 + 7 = -4*t + q, -8 = -4*q. Suppose w - t = -5*c, 135 = -5*w + c + 369. Does 28 divide w?
False
Suppose 7*g + 4*x = 12*g - 11294, -2*g = x - 4515. Suppose 0 = 12*t - 7670 + g. Is 7 a