5). Is 6/q*(-1 - 1) a multiple of 2?
False
Is (-34 + (-18)/(-9))*(-5)/4 a multiple of 3?
False
Suppose 4*d - 32 = 20. Let b = -9 + d. Suppose -2*t + 220 = 2*t - b*r, 0 = t + r - 51. Is t a multiple of 20?
False
Suppose -5*o - 4*a + 20 = -o, 2*a = -5*o + 16. Suppose o*h - 2*j - 208 = 0, -4*j = -4*h + h + 312. Is 13 a factor of h?
True
Suppose -2*d + 1381 = y, -y - 2*y = 3*d - 4143. Is 14 a factor of y?
False
Is 52 - ((-40)/22 + (-32)/176) a multiple of 3?
True
Suppose 5*h + 11 = -2*w + 5*w, 5*h = -5*w + 5. Suppose -d = 4*q - 96, -3*d + 307 = w*q + 29. Is d a multiple of 25?
False
Is 61 a factor of ((-50)/(-6))/(124/22692)?
True
Let h(j) = 18*j**3 - j**2 - j + 1. Let l be -4 - (-8 + -3 + 1). Suppose -l + 3 = -3*a. Does 8 divide h(a)?
False
Let x = 19 + -5. Suppose -x - 6 = 4*v. Let h = v + 19. Does 6 divide h?
False
Suppose -12*g + 9*g + 3 = 0. Let h(p) be the third derivative of p**4/4 + 2*p**2. Is h(g) even?
True
Let k be 6/(-4)*(-80)/30. Suppose -k*f - 3*w = -527, -f - 4*w - 40 = -188. Is 22 a factor of f?
False
Let q = -12 + 15. Suppose -o = -4*w - 6, q*o = -0*w - 2*w + 18. Suppose -22 = -8*i + o*i. Is i a multiple of 11?
True
Suppose -5*y + 3 = -2*y. Let a = 4 - y. Suppose -3*o - 6 = a, -q = -2*o - 30. Is q a multiple of 12?
True
Suppose -4*s - t = -2896 - 2873, 0 = 4*s - 3*t - 5749. Does 117 divide s?
False
Let m be 10/5 + (-28 - 2 - 2). Is 5 a factor of (-12)/10*200/m?
False
Let n be (42 + -4)*(1 + 1). Suppose 3*m = -k + 268, 0 = -m - 0*k + 3*k + n. Is 25 a factor of m?
False
Let g be (-1)/(4/(-32)*2). Suppose -3*p + 288 = 4*b, 5*b + g*p = 9*p + 360. Does 8 divide b?
True
Let f(s) = s - 7. Let m be f(-10). Let w = m - -29. Is w a multiple of 6?
True
Let m = -28 + 33. Suppose 3*f + 506 = m*d, 4*d - 109 = 3*d - 2*f. Does 9 divide d?
False
Suppose -131 + 11 = -5*j. Is 16/j*(-3)/(-1) even?
True
Let x(l) = l**2 - 18*l + 19. Let p be x(12). Let q = 85 + p. Does 25 divide q?
False
Suppose -20*n = -24*n + 5*i + 1888, 3*i - 12 = 0. Is n a multiple of 19?
False
Let j be ((-4)/6)/(1/(-912)). Suppose -2*z + 400 = -r, 2*z = -r + j - 216. Does 18 divide z?
True
Let b(z) = z**2 - 2*z - 1. Let m be b(-3). Let w(y) = -9 - 3 - 5 - m*y. Is 27 a factor of w(-7)?
True
Let z be (-642)/(-5) + -2*6/(-20). Does 12 divide (z + -3)*24/28?
True
Suppose 5*m = -4*k + 850, 3*k - 20 = -k. Does 17 divide (m/(-3))/(44/(-66))?
False
Let s = -2786 - -4576. Is s a multiple of 12?
False
Suppose 6*p + 140 = 3272. Is 8 a factor of p?
False
Suppose 7*f - 2*f - 3105 = 0. Does 55 divide f?
False
Is 55 a factor of (-42)/609 - (-37209)/29?
False
Suppose 2*r - 5087 - 2686 = 5*v, -r - v + 3897 = 0. Is 66 a factor of r?
True
Let v(k) = k**3 + 7*k**2 - 29. Is 5 a factor of v(-5)?
False
Let c(g) = g**2 - 10*g + 7. Let o(v) = v**2 - 9*v + 6. Let z(m) = -3*c(m) + 2*o(m). Let d be z(11). Suppose 0 = 6*k - d*k - 12. Is k even?
False
Let g(q) = -4*q + 32. Suppose -5*l - 48 = -2*l. Is g(l) a multiple of 32?
True
Suppose 0 = 5*o + 3*c - 145, 0 = 5*o - 3*c + 29 - 144. Suppose -29*y + 432 = -o*y. Does 16 divide y?
True
Does 6 divide (-4 - (-1)/(3/1392)) + 2?
True
Let p(t) = t**2 - 6*t + 20. Let o be p(6). Suppose r - 15 = -5*m, -5*r + 3*m + 27 = -o. Does 6 divide r?
False
Let s(w) = -4*w**3 + w**2 - 1. Let n be s(-1). Let f(v) = v**2 - 5*v - 2. Let o be f(n). Is 2 a factor of (4/o)/((-6)/63)?
False
Let b = 17 + -12. Let q be 2/b - 78/(-5). Let z = 5 + q. Is 6 a factor of z?
False
Suppose 11*u - 8 = 9*u. Suppose 4*d - 856 = -2*i + 5*i, 856 = u*d - 2*i. Suppose 2*q = -5*f + q + 218, 5*f - d = -3*q. Is 15 a factor of f?
False
Suppose 29 + 6 = 7*h. Suppose -6*a + 8 = -h*a. Is 3 a factor of a?
False
Let s = -672 + 1090. Is 19 a factor of s?
True
Suppose 0 = 4*z + z - 3*y, -2*z - 5*y = 0. Suppose 5*f - c - 497 = z, -3*f + 5*c + 85 = -2*f. Is f a multiple of 13?
False
Suppose -4*a + 205 = r, -52*r + 3*a - 940 = -57*r. Is r a multiple of 5?
True
Suppose -1080 - 1890 = -5*r. Is r a multiple of 13?
False
Suppose -3 = -4*j - 23, 0 = -3*c + 2*j + 4. Is 15 a factor of -36*(-1)/2*(c - -5)?
False
Suppose -25*s = -19*s - 2088. Is 54 a factor of s?
False
Suppose 633 = -10*n + 1763. Does 3 divide n?
False
Is 5 a factor of (255/(-68))/((-3)/132)?
True
Let m = -26 - 25. Let z = 187 + m. Suppose -5*l + z = -2*l + w, 4*w = 4*l - 160. Does 13 divide l?
False
Let q be 1 - 2 - -1 - -3. Suppose 760 = 3*g + 5*u, 4*g + 2*u - 1005 = -q*u. Is 28 a factor of g?
False
Suppose 31 = -3*r - 71. Let u = r + 88. Is u a multiple of 18?
True
Let r = 311 - -214. Does 42 divide r?
False
Let d be 6/8 + 5/4. Suppose 5*w = -25, -5*c = -d*w - 2 + 12. Does 25 divide (-201)/c - (-1)/(-4)?
True
Does 32 divide (4 - 5)/(7/(-1911))?
False
Let l = -805 - -1247. Is l a multiple of 13?
True
Let c(o) = 3*o**3 - 16*o**2 - o + 2. Is 16 a factor of c(8)?
False
Is 80 a factor of (-196455)/(-63) + (-15)/(-9)?
True
Suppose 0 = -0*m - 4*m + 12. Suppose 4 = -7*n + m*n. Is ((-40)/(-15))/(n/(-21)) a multiple of 28?
True
Let p be 0/(-1) - (-3 - -3). Suppose 4*x + 72 - 204 = p. Does 16 divide x?
False
Let d = -791 + 1823. Is d a multiple of 10?
False
Let b(m) = -6*m - 17. Let j = -47 + 40. Does 5 divide b(j)?
True
Suppose 2078 - 121 = 3*v - 4*s, 3*v - 1948 = -5*s. Does 9 divide v?
False
Suppose -8 = 415*k - 416*k. Is k a multiple of 8?
True
Let j = -33 - -7. Let h = j - -38. Is 9 a factor of h?
False
Let v(s) = s - 8. Let n be v(-16). Let h be 12/42 + n/(-14). Suppose -g + h*i + 68 = -21, -3*i - 282 = -3*g. Does 33 divide g?
True
Let j = -138 - -238. Let f(s) = s**3 - s**2. Let z be f(0). Suppose z = 4*r - 0*r - j. Does 5 divide r?
True
Let w(b) be the third derivative of b**6/40 - 3*b**5/20 + b**4/8 + b**3/6 - 35*b**2. Is 49 a factor of w(6)?
True
Let c(m) = m**3 + 11*m**2 - 56*m - 2. Does 15 divide c(6)?
False
Suppose -103 = -2*i + 75. Suppose -2*h + 71 = 3*j, -2*j + 5*j = 2*h - i. Is 15 a factor of 150/4*32/h?
True
Is (-699)/(-9) + ((-40)/15 - -3) a multiple of 39?
True
Is 16/6 - 3 - (-3678)/18 a multiple of 17?
True
Let j be 4/(-6)*(-63)/(-14). Let d = j - -18. Does 11 divide d?
False
Let f(y) = 48*y - 4. Let g be f(1). Let w(s) = s**2 + 3*s - 7. Let q be w(-5). Suppose -q*l + 22 = -g. Does 11 divide l?
True
Let a(w) = 126*w - 26. Let z be a(13). Is 3 a factor of 1/5 + z/65?
False
Let x(a) = 97*a + 1. Suppose c - 1 = l, 2*l + 4*c = -20 - 6. Let i = -4 - l. Does 12 divide x(i)?
False
Let l = -53 + 55. Suppose 0 = l*f + 2*n - 67 - 11, 0 = -2*f - 4*n + 68. Is f a multiple of 10?
False
Suppose -6*o + 2*r - 89 = -o, 2*o + 47 = -3*r. Let d be o - 0 - 2 - -2. Let n = d + 33. Is n a multiple of 7?
True
Let u = 1 + 1. Suppose 2*c = -0*b + u*b + 460, 4 = 2*b. Does 20 divide c?
False
Suppose 30*r - 31*r = -64. Is r a multiple of 16?
True
Suppose -2*q + 3 = -3. Suppose b + 8 = 5*l - 2*l, 2*l - q*b = 10. Suppose -4*j + l*g = -g - 168, 3*j - 5*g = 126. Is j a multiple of 14?
True
Let i be 38*((-8)/4)/(4/(-10)). Let f = -133 + i. Is f a multiple of 11?
False
Does 31 divide -2 - (-3 - 0) - -464?
True
Let z(u) = -1193*u - 706. Is z(-4) a multiple of 61?
False
Let r be 4/(-3) - 5208/(-18). Let a = -126 + r. Is 18 a factor of a?
True
Let q(z) = 2*z**2 - 30*z - 32. Is 3 a factor of q(17)?
True
Suppose 0 = 4*v - 5*j - 229, 5*j - 10 = 5. Is v a multiple of 3?
False
Let a be (-2718)/(-21) + (-2)/((-42)/(-9)). Let k = 206 - a. Is k a multiple of 12?
False
Suppose 3813 = 39*g - 13854. Does 19 divide g?
False
Suppose 5*u = 2*x - 21 - 10, 0 = 3*x - 3*u - 33. Is 36 a factor of (18/x)/((102/288)/17)?
True
Let q(g) = -g**2 - g - 1. Let o(b) = 3*b**2 - b + 8. Let i(n) = o(n) + 4*q(n). Let c be i(-5). Is c/2 + 12 + 16 a multiple of 7?
False
Let u(f) = 30*f**2 + 9*f + 21. Is 8 a factor of u(-3)?
True
Suppose 185*j - 1320 = 184*j. Is 102 a factor of j?
False
Suppose 0*n + n + 105 = 0. Let f = 189 + n. Is 10 a factor of f?
False
Let r = 956 - 654. Is 6 a factor of r?
False
Let b(g) = -g**3 + 7*g**2 - 2*g + 6. Let a be b(6). Suppose -45 = 4*p - 5*i - 10, 5*p - 4*i = -46. Let k = p + a. Does 10 divide k?
True
Suppose -d = -5*u + 10, -2*u + 4*u + 3*d - 4 = 0. Let c(n) = 4 + 3*n**2 + 6*n + n - n**u. Is c(-5) a multiple of 19?
True
Suppose -326 = -0*b + 5*b - q, 2*b + 127 = -3*q. Is 14/(-21) - b/3 a multiple of 17?
False
Let i(p) = 11*p**3 - 3*p**2 + 34. Is 23 a factor of i(4)?
True
Suppose 1