ose -4098 = -5*h - 3*k + 2498, 3*k - 1324 = -h. Suppose 4*d - h = -p + 856, 4*d = -3*p + 2178. Does 84 divide d?
False
Suppose -24*w + 41*w = 33048. Is 13 a factor of w?
False
Suppose 3*s - 3172 - 2381 = 0. Let v = s + -720. Does 71 divide v?
False
Let z(m) = 266*m**2 - 11*m + 10. Let i(y) = -265*y**2 + 12*y - 10. Let d(k) = 3*i(k) + 4*z(k). Does 30 divide d(1)?
False
Suppose -14812 = -5*y - a, -5*a + 1965 = -4*y + 13803. Is y a multiple of 43?
False
Suppose 4*u - 543 = 3*u + 13025. Does 119 divide u?
False
Let x be ((-2)/(-8))/(3/36). Suppose -2*p + 41 = x*y - 52, -4*p + 177 = -3*y. Is 12 a factor of p?
False
Suppose 2*l - x + 143 = 0, 2*l + 48 = 2*x - 94. Let v = 25 + l. Let n = v + 101. Is 6 a factor of n?
True
Suppose 4*d + d = w + 57, -5*d - w + 63 = 0. Let f be 2/d + 1156/(-24). Let h = f - -163. Is 38 a factor of h?
False
Let z be (8/(-20))/1*-10 + 192. Suppose -8*l - z = -12*l. Does 5 divide l?
False
Suppose -5*c = -506 + 326. Suppose -3767 - 6349 = -c*j. Does 21 divide j?
False
Let y(w) be the third derivative of w**4/12 + 2*w**3/3 - 249*w**2. Suppose v + 44 = 3*d + d, -3*v + 8 = 2*d. Does 24 divide y(d)?
True
Is 40 a factor of 7710 + ((-245)/98)/((-5)/14)?
False
Is 68 a factor of 14495/1 - (-10 + 3 + 18)?
True
Suppose -104*s = -107*s + 11856. Suppose 0 = -0*f + 16*f - s. Is f a multiple of 52?
False
Suppose -9*t + 6780 = -4011. Does 11 divide t?
True
Let v be -2 + (-128)/(-60) + (-5574)/(-45). Suppose -d + 3*r + v = 2*r, -10 = -5*r. Does 42 divide d?
True
Let w(y) = 22*y**2 + 181*y - 4011. Is w(23) a multiple of 10?
True
Let u = -1493 - -10187. Suppose -12*p + 26*p = u. Is 17 a factor of p?
False
Suppose 3*w - 4240 = -f, -2*f = -18*w + 15*w + 4228. Let s = w + -964. Is 26 a factor of s?
False
Let q = -13554 - -18679. Is 30 a factor of q?
False
Let w(q) be the first derivative of 22*q**2 + 52. Does 12 divide w(2)?
False
Suppose -14*k = -21*k + 2058. Let q = k + 166. Suppose 38*u - q = 36*u. Does 50 divide u?
False
Is ((-381722)/(-12) - 240/(-72))/((-9)/(-12)) a multiple of 254?
True
Let o(p) = 7*p**3 - p**2 + 7*p - 7. Let f be o(1). Suppose -f*t = -7*t + 357. Does 36 divide t?
False
Let d be (39/6)/(1*(-4)/8). Let u(q) = q**2 + 10*q - 34. Let a be u(d). Suppose 0 = -3*x + a + 25. Does 5 divide x?
True
Let a(v) = 280*v + 3257. Does 53 divide a(9)?
True
Let s(o) = -51*o**3 + 2*o**2 - 6*o + 3. Let r(j) = 152*j**3 - 7*j**2 + 19*j - 9. Let d(t) = -2*r(t) - 7*s(t). Suppose 22 = 19*q + 3. Is d(q) a multiple of 9?
True
Let m = 172 - 33. Suppose -4*g + m = 5*d, -3*d + 5*d - 3*g = 51. Does 8 divide d?
False
Suppose 3*s + 83 = -55. Is (s/(-4))/(5/(-2) - -3) a multiple of 5?
False
Suppose 5*d = 5*s - 4340, 2*d - 2575 = -3*s + 59. Is s a multiple of 38?
True
Is 75 a factor of 294004/14 + 454/(-1589)?
True
Suppose -2*u = -4, -5*c + 4*u + 7568 - 2126 = 0. Is c a multiple of 5?
True
Suppose 57 = r - 61. Let g be (5/10)/((-5)/780). Let h = g + r. Is 6 a factor of h?
False
Let g be (-16)/(-5) + 0 + (-11)/55. Suppose -7 + 1 = g*q. Let r(w) = -w**3 + w**2 + w - 2. Is 4 a factor of r(q)?
True
Is 33 a factor of (1/4 + 95/(-76))*(0 - 3429)?
False
Suppose 8*h - 173 - 139 = 0. Let l(j) = 2*j**3 - 3*j**2 - j - 4. Let r be l(4). Let y = r - h. Does 10 divide y?
False
Let q = 110 + -109. Is 6180/180*((q - 2) + 10) a multiple of 17?
False
Suppose 48568*u - 507804 = 48524*u. Does 6 divide u?
False
Suppose 6*m - 8*m = -10. Suppose 35 = -0*k + m*k. Suppose -k*v - 72 = -10*v. Does 4 divide v?
True
Let n(b) = -16*b + 1884. Is 67 a factor of n(34)?
True
Suppose 6*p - p - 10604 = 3121. Is p a multiple of 12?
False
Suppose -27*p + 4593 = 49845. Is 105 a factor of (3 - p) + 1*(2 - 1)?
True
Let o(q) = 36*q + 12. Let b be o(-5). Suppose -474*v - 600 = -469*v. Let k = v - b. Is k a multiple of 16?
True
Let u = -32 + 36. Suppose -p - 2*o + 0*o + 42 = 0, u*p - 3*o - 212 = 0. Let j = 7 + p. Is j a multiple of 15?
False
Does 96 divide (-128)/(-31 - -15) - 96/(-1)?
False
Let a(q) = 4535*q**3 - 17*q**2 + 18*q. Is 108 a factor of a(1)?
True
Let f = 4186 + -1007. Is 8 a factor of f?
False
Suppose 0*h - 4*h = 8. Let n be ((-2 + (0 - -2))/h)/2. Suppose n = s - 6*s + 230. Does 5 divide s?
False
Let h = -213 - 4. Let k = -48 + h. Is (k/(-10))/(-1)*-4 a multiple of 27?
False
Let d(s) = -160*s + 578. Is d(-29) a multiple of 23?
False
Suppose -300*a = -1867 - 39533. Is 12 a factor of a?
False
Let r(o) = -o - 27. Let v be r(-29). Suppose -4*t + v*l + 4530 = 0, 5*t - 10*t = 5*l - 5685. Is t a multiple of 18?
True
Let o(x) = 8749*x - 14118. Does 12 divide o(11)?
False
Let w(g) = 2*g**3 - 14*g**2 + 3*g - 8. Let s be w(7). Suppose s*z + 1560 = 15*z. Does 49 divide z?
False
Let y be ((-540)/(-16) - 4) + (-12)/16. Suppose -3*o = -r - y - 5, 0 = 3*o + 5*r - 10. Is (15/o)/(788/776 + -1) a multiple of 10?
False
Let h = -200 - -204. Suppose 82 = x - 3*n, 3*x = h*x - 4*n - 83. Is 18 a factor of x?
False
Let q(d) = -2 - 5 - 91*d + 92*d. Let k be q(13). Suppose -5*g - k*u + u = -725, 2*g + u - 288 = 0. Does 11 divide g?
True
Suppose 0 = 4*s - 16, -36*f + 37*f - 5*s - 320 = 0. Does 5 divide f?
True
Let h be (-9)/(-21) + -663*8/(-168). Is 32 a factor of 30*(-180)/24*h/(-5)?
True
Let n(s) = 4*s**2 + s + 222. Is n(-25) a multiple of 31?
True
Is 56388/39 + -4 - (-42)/273 a multiple of 9?
False
Let r = -71 - -99. Suppose -7 = 27*z - r*z. Suppose 0 = -z*k + 585 + 94. Does 10 divide k?
False
Suppose 5*v - 7*v = -4*n - 6168, 4*v - 12354 = 2*n. Is v a multiple of 17?
False
Let x = -126 - -129. Suppose x*d - 502 = -m - m, 3*m - 498 = -3*d. Let n = 317 - d. Is 7 a factor of n?
True
Suppose -6*i = -135*i + 3754287. Is i a multiple of 89?
True
Let c be 10/(-15)*-51*4. Let k = -134 + c. Suppose 0 = 4*n + g - 0*g - 59, 0 = -2*g - k. Is 15 a factor of n?
True
Let t be (-24)/30*-10 - -37. Suppose t*c + 49500 = 75*c. Does 25 divide c?
True
Suppose 3*g - 4*l = 528, 5*g - 718 - 162 = 3*l. Does 22 divide g?
True
Suppose 5*g = -a + 3172, -2*a + 3521 = -5*g - 2883. Suppose 11*h - 16*h + 4*z + 3990 = 0, 0 = 4*h - 5*z - a. Does 38 divide h?
True
Let b(z) = 6*z - 77. Let w be b(12). Let r(l) = -l**3 - 2*l**2 + 15*l. Let g be r(w). Suppose -5*x + 12*x - 539 = g. Does 11 divide x?
True
Let n = 171 - 95. Suppose -8*b + n = -148. Let k = 95 - b. Does 19 divide k?
False
Suppose 5*l = -5*i - 75, -3*i = 4*l - 3*l + 53. Let m(p) = -8*p - 84. Does 4 divide m(i)?
True
Suppose 0 = 5*x - 3*u - 811 - 12607, -2*x + 5363 = 3*u. Is x a multiple of 10?
False
Let p(g) = g**3 + 11*g**2 - 11*g - 5. Let s be p(-12). Let z = 19 + s. Suppose -z*q = -7*q + 615. Is 28 a factor of q?
False
Suppose 0 = 3*j + 4889*y - 4892*y - 15114, 3*y = -3*j + 15168. Is j a multiple of 8?
False
Suppose 4*t - 9 = -5, 2*t - 94 = 2*o. Let r(x) = 3*x**3 + x + 2. Let n be r(-3). Let q = o - n. Is q a multiple of 18?
True
Is 14/(126/117) + -8 - (-30487 + -2) a multiple of 158?
True
Let y = -453 + 443. Is 22 a factor of (y/((-280)/483))/(6/176)?
True
Suppose 5*u - 437 = -x, 111 = 5*x - 3*u - 1962. Suppose -3*k - x = -6*k. Suppose k = h - 125. Is 33 a factor of h?
True
Let y = 641 + -1120. Let k be (-7)/14 + 1326/(-4). Let s = k - y. Is s a multiple of 21?
True
Suppose -102*w - 14200 = -105*w - 2*m, 5*w - 23655 = -5*m. Is w a multiple of 19?
False
Let k = -14 - -18. Let t(y) = -13 - 5*y**2 + 13*y + 12 + k*y**2. Is t(9) a multiple of 19?
False
Suppose 0 = -358*j + 233*j + 4684875. Is j a multiple of 11?
False
Let i(h) = -39*h + 33. Let r(o) be the first derivative of -o**4/4 + 5*o**3/3 + 23*o**2/2 + 3*o + 13. Let t be r(8). Is 38 a factor of i(t)?
True
Suppose -y - 44 = 2*i, -y + 5*i - 97 = y. Suppose -4*h + 384 = -120. Let r = y + h. Does 10 divide r?
True
Let j(l) be the first derivative of l**4/4 + 13*l**3/3 - 8*l**2 - 21*l + 8. Let i = 48 + -62. Is j(i) a multiple of 2?
False
Let y(u) be the second derivative of 0 + 7/2*u**2 - 48*u - 1/3*u**3 + 3/4*u**4. Does 21 divide y(-4)?
False
Let l(i) be the third derivative of 19*i**6/120 + i**5/6 - i**4/4 + 2*i**3 - 125*i**2. Is 62 a factor of l(4)?
True
Suppose 4*s - 1931 = -343. Suppose 0 = -s*m + 396*m + 52. Does 10 divide m?
False
Let m(a) = -a**3 - 38*a**2 - 68*a + 147. Let n be m(-36). Let w = -375 + 609. Suppose -3 = -c, 3*k = -2*k - n*c + w. Does 9 divide k?
True
Is (11 - (-10 - -20))/(8/342608) a multiple of 14?
True
Let