0)/(((-1)/(-10))/1). Suppose i = -31*d + 35*d. Suppose k + 3*k = d*c - 72, -k = 3. Does 8 divide c?
False
Suppose 27*f = 21*f + 40092. Let b be f/(-10) + (-5)/(-25). Does 13 divide (b/16 + -3)*-4?
False
Let f be (5 - 35)/(4/(-86)). Suppose -28*d - z = -33*d + f, 615 = 5*d + 5*z. Does 80 divide d?
False
Suppose 103 + 21 = 31*v. Suppose 3*n + 115 = v*m - 1641, -2*m - 2*n + 864 = 0. Is m a multiple of 21?
False
Suppose 24*w + 3*m = 22*w + 79971, 8*w - 3*m = 319959. Is w a multiple of 21?
False
Let q = -89 - -67. Is 7 a factor of (-3172)/q + -4 + 4/(-22)?
True
Suppose 17*n = 51*n + 102. Let w be (-2)/4 + 11/(-2). Is (-161)/w - n/18 a multiple of 5?
False
Does 70 divide (1 - 0 - (-179000)/55) + (-180)/330?
False
Let n(z) = -29*z + 22. Let s be n(-24). Suppose -f - 73 + s = 0. Suppose 20 = 4*v - 0*v, -4*i + f = -3*v. Is 33 a factor of i?
True
Suppose -18*q - 11 + 29 = 0. Is 3432/(-165)*(q - 31) a multiple of 16?
True
Suppose -7*d = -234 - 186. Suppose -4*c + d = c. Does 5 divide c?
False
Let g(v) = -v**3 + 12*v**2 - 5*v + 5. Let y be g(10). Suppose -2*c + 1517 = y. Suppose c + 1860 = 11*w. Is w a multiple of 33?
True
Let h be (-2)/(9/((-5067)/2)). Suppose 4*n - h = 513. Does 30 divide n?
False
Let f = 10770 + -10758. Let j = -1532 - -2700. Suppose -f*k = j - 4012. Is 20 a factor of k?
False
Let i(y) = 3*y**3 + 8*y**2 + 3*y - 8. Let c(n) = n**2 + 1. Let k(d) = 3*c(d) - i(d). Is 23 a factor of k(-3)?
False
Let u(g) = -g**2 + 11*g. Let a be u(11). Suppose -4*t + 1421 + 1367 = a. Is t a multiple of 17?
True
Let j be (-1 - 6)*(-50)/35. Is ((-8)/j)/((-16)/1640) a multiple of 13?
False
Suppose 2*o + 318 = d, d = -3*d - 4*o + 1308. Suppose 331*y - d*y = 5649. Does 35 divide y?
False
Suppose 18*t - 3*h = 23*t - 20448, 2*t = -h + 8180. Does 66 divide t?
True
Let p = 5886 - 4093. Is p a multiple of 26?
False
Let b(h) = -12 + 59*h - 45*h - h**2 + 4*h**2 - 12*h**2 + 2*h**3. Is 12 a factor of b(6)?
True
Let d be 384/(-64) + (-8)/1. Let m(q) = -57*q - 271. Is m(d) a multiple of 17?
True
Let z(h) = 5*h**2 - 45*h - 92. Does 63 divide z(20)?
True
Is (123834 - 86)*1/4 a multiple of 6?
False
Let u be (-2 + 6 + -4)/(2 - 1). Suppose 4*d + 7*f = 10*f + 3971, -3*d - 3*f + 2994 = u. Is d a multiple of 36?
False
Suppose -37*d + 340722 = 17*d - 486990. Does 16 divide d?
True
Let t(o) = 101*o**3 + 21*o**2 - 19*o - 3. Is 3 a factor of t(1)?
False
Let a(w) = -w**3 - 24*w**2 - 13*w - 76. Let m be a(-24). Suppose 4*j - p = 2*j + m, -2*j = 4*p - 216. Is j a multiple of 2?
True
Does 26 divide (4 - 3) + (-47 - -20040)?
True
Let c = 924 + 631. Does 30 divide c?
False
Let p(a) = 9*a**2 - 8*a + 3. Let q be p(10). Let g = q - 446. Let n = g + -212. Does 33 divide n?
True
Let o(a) be the third derivative of a**6/120 + 11*a**5/60 + 11*a**4/24 + 11*a**3/3 + 11*a**2. Suppose 12*t + 63 = 5*t. Is 7 a factor of o(t)?
False
Is (-26607)/686*(-7)/1*102 a multiple of 9?
True
Let s = -45 - -47. Is (10 - s/(10/5))*3 a multiple of 9?
True
Suppose -50*v + 46*v - 24 = 0. Let u be (-552)/(-16)*(-164)/v. Suppose 2443 = 10*y + u. Is 13 a factor of y?
False
Let b(o) = 20*o**3 - 11*o**2 + 5*o - 24. Let c(l) = 7*l**3 - 4*l**2 + 2*l - 8. Let h = -16 - -10. Let g(f) = h*b(f) + 17*c(f). Is g(-5) a multiple of 20?
False
Suppose -2*m - 16 = 4*l, 10*l + 5*m - 38 = 13*l. Let b(k) = -2*k**3 - 6*k**2 - 4*k - 38. Is 4 a factor of b(l)?
False
Let q(m) = -m**3 - 10*m**2 - 46*m - 1. Suppose 0 = -5*g + y - 23, 0 = 2*y + 4. Is q(g) a multiple of 26?
True
Suppose t - 2*u = 3798 - 306, 0 = 2*t - 5*u - 6980. Is t a multiple of 8?
False
Let z(r) = -r + 54. Let l(v) = 12*v + 189. Let y(d) = 3*d + 47. Let c(k) = -2*l(k) + 9*y(k). Let j be c(-15). Is z(j) a multiple of 24?
False
Let f(p) = p**2 + 12*p - 13. Let o = -60 - -66. Suppose -o*k = k - 35. Is f(k) a multiple of 3?
True
Suppose 2*n - 158609 = u - 49016, -5*n + 273972 = -4*u. Is 200 a factor of n?
True
Let t = -10 - -18. Suppose -4 = -j - t. Is (-2)/j + 1/(-2) + 30 a multiple of 6?
True
Suppose 41*u = 40*u + 140. Let z = u + -180. Is -36*9/(54/z) a multiple of 30?
True
Let d be ((-274)/(-6))/((-127)/381). Let j = 192 + d. Is j a multiple of 11?
True
Let d(q) = -6*q + 27. Let z = -9 + 13. Let c be d(z). Does 12 divide (-9)/12*(-288)/c?
True
Suppose 13*i = -9*i + 178002. Suppose 13*l + 1214 = i. Does 23 divide l?
True
Suppose -128*j = -125*j - 1383. Suppose 0 = -4*m - j + 1885. Is 14 a factor of m?
False
Suppose 3*n - 7478 - 1336 = -3*m, -11756 = -4*n - 2*m. Is n a multiple of 30?
True
Let o(l) = 1166*l - 6996. Is 22 a factor of o(10)?
True
Let w(s) = -s**3 + 3*s**2 + 3*s - 5. Let o be w(3). Let z be (o + 266)*(-4)/(-10). Let x = z + -58. Is x a multiple of 25?
True
Let p = -8199 + 15536. Is p a multiple of 15?
False
Suppose 6998 - 1184 = r. Does 20 divide r?
False
Suppose -73 = 5*l + 92. Let r be 2 - l*(2 - 1). Is 7 a factor of -16 + r - -1*2?
True
Suppose -3*n - y + 3*y + 25 = 0, 4*n + 3*y = 5. Let l be 2/(-1) + 6/3. Suppose -n*g - 15 = 0, -3*r - 4*g + 69 + 117 = l. Is r a multiple of 6?
True
Suppose -4 = 4*m, 9297 = 5*b - 5*m + 3062. Let u = 2033 - b. Suppose -294 = -h - h + 4*s, -5*h + u = 3*s. Is 21 a factor of h?
False
Let k = 140 + -129. Let d(v) = 7*v - 60. Is d(k) a multiple of 17?
True
Let u = 88309 - 38041. Is u a multiple of 13?
False
Let f(p) = -p - 23. Let n be f(-24). Is (39/n)/(4/12) a multiple of 4?
False
Let a(p) = -p**3 - 14*p**2 - p - 10. Let m be a(-14). Suppose -i = -m*i + 738. Suppose -2*d - 410 = -3*k, -i - 294 = -4*k + 4*d. Is k a multiple of 28?
True
Suppose 0 = -2*x - 2*m + 2628, -18*x + 22*x + 3*m - 5260 = 0. Is x a multiple of 20?
False
Suppose n - 4*d = -1248 + 3412, 0 = 2*n - d - 4356. Suppose 4*k - 9*k + n = 0. Does 12 divide k?
False
Let n = -350 - 4215. Does 17 divide (-25)/(-10) + (n/(-10) - -3)?
False
Let a = -26 - -20. Let x be 12 - (1/a - 2/(-12)). Suppose 10*d + 48 = x*d. Is 4 a factor of d?
True
Suppose -12*w + 9*w - 21249 = -4*m, -3*w = m - 5286. Is m a multiple of 29?
True
Suppose 2*x - 2*f + 14 = 0, -9*f = -2*x - 5*f - 16. Is ((-609 - x) + 5)/(-2) a multiple of 13?
True
Let j = 43 - 35. Suppose -j*i + 4237 = 1549. Suppose 3*m = -3*m + i. Is m a multiple of 24?
False
Suppose 26 = 4*q + 2*f, 3*q - 2*q + 2*f + 1 = 0. Let h(y) be the first derivative of y**3/3 - 5*y**2/2 + 13*y - 200. Is 43 a factor of h(q)?
False
Suppose -37*g = -33*g + 3*p - 14509, 18113 = 5*g - 4*p. Is 9 a factor of g?
False
Let l(f) = -47*f + 14. Suppose 36 - 41 = v. Is l(v) a multiple of 17?
False
Let y(a) = 15*a - 11. Let q be y(1). Suppose f - 12 = -q*n - 3, n = -1. Is 2 a factor of f?
False
Let u(o) = -o**3 - 11*o**2 + 87*o + 2973. Is u(-39) a multiple of 28?
True
Suppose -18*b + 15*b + 25*b = 255310. Does 113 divide b?
False
Suppose 18*w + 18*w = 14*w + 144364. Is 50 a factor of w?
False
Suppose 246*c = 249*c - 2*h - 76070, -2*h - 2 = 0. Is 8 a factor of c?
False
Suppose 18*o = 6*o + 14*o. Does 21 divide (3 - (-35)/(-7)) + 254 + o?
True
Suppose 11 + 1 = -2*t. Let x be 0/(t/((-12)/(-4))). Suppose -2*i + 138 = -x*i. Is 24 a factor of i?
False
Let a = -39575 + 56721. Is a a multiple of 37?
False
Let f(u) = u**3 + 19*u**2 - 3*u - 53. Let c be f(-19). Suppose -c*j + 1747 = -1009. Is j a multiple of 42?
False
Suppose 0 = -5*l + 3*h - 0*h + 500, 417 = 4*l + h. Let b be (-95)/(((-945)/(-18))/(-21)). Let n = l + b. Is n a multiple of 24?
False
Suppose 2*o - 2337 = -5*i, 5*i - 1156 = -o - 0*o. Let h = o + -802. Is h a multiple of 35?
False
Is 16 a factor of (6*(-2)/15)/((-115)/4600)?
True
Suppose 13*a + 146812 = 17*a - 2*g, -4*a + 146810 = -3*g. Is a a multiple of 32?
True
Let m = 58 - 59. Let g(y) = 2*y - 63. Let d(p) = 1. Let n(q) = m*g(q) - 6*d(q). Does 15 divide n(-18)?
False
Let l(d) = 224*d**2 - d. Let w be l(-1). Suppose 0 = -4*i - w - 215. Let m = i + 196. Does 19 divide m?
False
Let l(i) = -535*i - 1605. Is l(-12) a multiple of 46?
False
Does 71 divide ((-84)/63)/(1/(-40263)*4)?
False
Let l = -96980 + 67952. Does 12 divide l/(-41) + 16/(-2)?
False
Suppose -5961 = -2*d - 981. Suppose 14*s - d = 9*s. Is 72 a factor of s?
False
Let l be (-1)/(((-22)/36)/11). Let z be (l/(-8))/(18/48). Does 13 divide ((-2)/z)/((-3)/(-1287))?
True
Suppose -5*k - 5*r = -145, -143 = -5*k - 0*k - 3*r. Let f(q) = q**3 - 26*q**2 - 44*q + 38. Is f(k) a multiple of 14?
False
Let n(q) = 