) a multiple of 3?
False
Let c = -7 + -8. Is 2 a factor of (c/6 + -1)*-2?
False
Let v(p) = 2*p**3 + p**2 - 2*p + 1. Let x be v(1). Let w(i) = 3*i**3 + i**2 - 3*i + 3. Let d be w(x). Suppose -5*j = -0 - d. Is j a multiple of 4?
False
Suppose 5*o + z + 2*z - 159 = 0, 0 = -3*o + 5*z + 75. Suppose 3*y - 6 = o. Does 12 divide y?
True
Let j be 15 + (-2 + 2 - 2). Let g = j + -1. Suppose g = t - 2. Is t a multiple of 14?
True
Suppose 4*x - 2*x - 26 = 2*y, x = -5*y - 71. Let h be (-2)/2*1*y. Suppose h + 41 = 5*l. Is 9 a factor of l?
False
Let a(k) = k**3 - k**2 + k + 10. Let c be 0/(0 - (-2)/2). Is a(c) a multiple of 8?
False
Suppose 0 = 4*t - t - 3*k, -t - 2*k + 12 = 0. Let l(p) = 2*p**3 - 1 - t - p**3 - 4*p**2 + 3. Is 23 a factor of l(5)?
True
Let f = 10 + -5. Suppose 0 = -2*k + 2*g + 14, f*k - 2*g = 2*k + 22. Is k a multiple of 4?
True
Let h = 13 - 3. Let m = h + -5. Is m a multiple of 2?
False
Suppose -4*j + t + 61 = 0, 0 = 2*j + 2*t - 3*t - 29. Does 17 divide (-32)/6*(-108)/j?
False
Let m(l) = -3*l - 3. Let d be m(-2). Is (-2)/(d - 5) + 10 a multiple of 11?
True
Let y(r) = 17*r**2 - r - 1. Does 13 divide y(2)?
True
Let y(n) = -4*n - 4. Let r(q) = -15*q - 17. Let x(w) = -2*r(w) + 9*y(w). Is 13 a factor of x(-3)?
False
Suppose 0*c + t = -2*c + 23, 0 = -5*c + t + 61. Is c a multiple of 9?
False
Suppose -4*k - 2*g + 956 = 0, -2*k + 4*g - 232 = -3*k. Suppose 0 = -u - 3*u + k. Is 22 a factor of u?
False
Suppose 0 = -3*h - 3, 3*v + 0*h - 91 = -2*h. Let m = 2 + -1. Let p = v - m. Does 17 divide p?
False
Let a be 0 - -12 - (0 - -2). Suppose 0 = -3*j - 3. Let i = j + a. Does 9 divide i?
True
Let a = 166 + -100. Does 22 divide a?
True
Suppose -2*v + 0 + 4 = 0. Is (-1)/((4/v)/(-44)) a multiple of 11?
True
Suppose -3*j + 4*m + 14 = 0, -8 - 4 = -5*j + m. Let u = -2 + j. Suppose 7*h - 2*h - 35 = u. Is h even?
False
Let a be (-2)/(-6)*(-6 + 21). Suppose -2*f - 2*f = 4*z - 180, -4*f = a*z - 180. Is 9 a factor of f?
True
Suppose 2*v = 2*v - 2*v. Let p(b) = b**2 + 3*b - 4. Let w be p(-4). Suppose v = -w*c - 2*c + 22. Does 4 divide c?
False
Let l = 80 + -94. Suppose -4*t = -t + 2*z + 22, -4*t + 3*z = 1. Is (-430)/(-35) - t/l a multiple of 4?
True
Let l = 26 - -45. Does 9 divide l?
False
Let y be ((-1)/(-3))/((-3)/(-36)). Is 16 a factor of (-4)/(y/(-33)) + -1?
True
Let s(t) = -t**2 + 4*t. Let r be s(4). Let l = 2 - r. Let d = l + 5. Is 7 a factor of d?
True
Let o = -31 - -71. Is 5 a factor of o?
True
Let d be 16/(-6) - (-6)/9. Is (4 + d)/((-2)/(-21)) a multiple of 9?
False
Let s = 1 - -3. Suppose s*c + m = 80, -4*c = -3*c + 5*m - 1. Is 8 a factor of c?
False
Suppose -4*b + 0*b = -16. Suppose 9*k - 183 = b*k - s, -k + 51 = 5*s. Is 12 a factor of k?
True
Suppose 3*m - 2*s + 28 + 5 = 0, -m = -s + 12. Let a = -18 - m. Does 9 divide 1*a/1*-2?
True
Let a(w) be the third derivative of 0 + 5/24*w**4 - 2*w**2 + 1/30*w**5 + 0*w + w**3. Is a(-4) a multiple of 6?
True
Let s(n) = n**3 - 2*n**2 - n - 3. Let m be s(4). Let t = m - 14. Is t a multiple of 4?
False
Let h(u) = -u. Let c(s) = s. Let q(g) = 3*c(g) + h(g). Let x be 3/(-6)*-10*1. Is 5 a factor of q(x)?
True
Let t(f) = -f**2 + f + 5. Let v(d) = -d - 4. Let u(p) = -3*t(p) - 4*v(p). Does 5 divide u(2)?
True
Let x(r) = -3*r - 2*r - 7*r + r + 2. Does 13 divide x(-2)?
False
Let k be 174/(-4)*(-2)/(-3). Suppose -3*o + 7*o = 80. Let q = o - k. Is q a multiple of 17?
False
Suppose 3*j - j = 0. Let w be (-2 + j - -3)*-1. Is 3 a factor of (5/10)/(w/(-10))?
False
Does 13 divide 102/3*(-63)/(-6)?
False
Suppose -4*n + 306 + 538 = 0. Let t = -143 + n. Suppose u - 16 = -0*s - s, -5*s + t = u. Does 7 divide s?
False
Suppose 21 = 6*o - 3*o. Let i(g) = 7*g**2 - 4 + o + g**3 + 4*g + 6. Does 9 divide i(-6)?
False
Suppose -2*x = -2*b + 3*x + 39, -2*b + 30 = -2*x. Does 6 divide b?
True
Let d(o) be the second derivative of 3*o**3/2 - o**2 - 2*o. Suppose u - 2*m + 4*m - 10 = 0, 5*u - 5 = 5*m. Does 17 divide d(u)?
True
Let d be -1 + 1 - 210/(-6). Suppose -2*m = -3*i + 23, 4*m - 2 = -4*i + 2. Suppose -i*z + d = r, -20 - 1 = -3*z + 4*r. Is 4 a factor of z?
False
Suppose -3*j - 2*j + 5 = 0. Does 12 divide j*-2 + 1 + 13?
True
Let t = -1 - 0. Suppose -14 = -i - 2*c, -3*i + 0*c = -3*c - 69. Does 10 divide (1/(-2))/(t/i)?
True
Let r(d) = 1 - 1 + 0 + 5*d + 1. Does 18 divide r(7)?
True
Let j = 82 - 35. Is j a multiple of 11?
False
Let m(i) = i**2 + 4. Let h be m(4). Let x = h - -19. Is x a multiple of 18?
False
Is 14/(-3 + 4) + -3 a multiple of 3?
False
Let i(z) = z**2 + 11*z + 5. Does 4 divide i(-11)?
False
Let k(m) = m**2 + m + 33. Let v be k(0). Suppose -2*s = s - v. Is s a multiple of 4?
False
Let d(o) = -o**2 + 7*o - 3. Suppose s = 2*a + 8, 0 = s + 4*a - 2*a - 8. Let f be d(s). Let h = f - -17. Is 3 a factor of h?
True
Let g be 138*(-2 + 3)/2. Let f = -45 + g. Is f a multiple of 12?
True
Let u be 3 - 0*4/(-8). Suppose -27 = -3*g - u. Is 7 a factor of g?
False
Let l(m) = -m**3 + 4*m**2 - 4*m + 1. Let j be l(4). Let t = -11 - j. Suppose -t*f = 5*r - 2*r - 91, 2*f - 47 = -r. Does 14 divide f?
False
Is 1/((-20)/8) - (-274)/10 a multiple of 10?
False
Let j(x) = 29*x + 2. Does 12 divide j(3)?
False
Let d(i) = -i**3 - 2*i**2 - 3*i. Let y be d(-3). Suppose b - 28 = 4*p, -p + y = b - 20. Is 12 a factor of b?
True
Let q = 20 + -12. Let w = q + -5. Is 2 a factor of ((-14)/8)/(w/(-12))?
False
Let w(a) = -a - 3. Let t be w(-3). Let j be 85 + (2 - t/2). Suppose 4*u + b - j = 0, -33 = u - 3*u + 3*b. Does 14 divide u?
False
Suppose -2*i = 0, r + 2*i - 5*i = 35. Let z = 73 - r. Is z a multiple of 17?
False
Suppose 3*v - 5 = -2*v. Let m be -16 - (2/(-2) + v). Is 4 a factor of (-3)/(-3)*m/(-2)?
True
Let o be 2 - -3 - 0/2. Suppose k = -3*l + 26, o*l = 5*k + 12 + 18. Suppose -l - 42 = -5*c. Does 10 divide c?
True
Suppose -1 = -b - 2, -176 = 5*z - 4*b. Is (-568)/z - 4/(-18) a multiple of 8?
True
Is (16/4 - 24)*-8 a multiple of 30?
False
Let d = -7 - -10. Suppose 30 = d*v - 33. Does 7 divide v?
True
Let h(d) = -d**3 + 13*d**2 + 3*d + 14. Is 15 a factor of h(13)?
False
Let h = -5 - -4. Let p be 2/h*(-18)/4. Suppose 0 = 3*c + p - 63. Is 12 a factor of c?
False
Suppose 3*j + 60 = 8*j. Does 6 divide j?
True
Let i = -29 + -55. Let y = i - -176. Suppose -3*p - 4*g = -y, g - 28 = -p - 3*g. Is p a multiple of 13?
False
Suppose -s - 6 = -3*s. Suppose s*o - 102 = -36. Is 3 a factor of 136/22 + (-4)/o?
True
Let a = 706 - 484. Does 37 divide a?
True
Let i = -150 - -89. Let g = -24 - i. Is 20 a factor of g?
False
Suppose 194 = -5*u + 7*u - 2*i, 0 = 5*i + 20. Is 8 a factor of u?
False
Let h(i) = -6*i - 13. Let t be h(-11). Let r = t - 34. Does 8 divide r?
False
Is 3/(-12)*-14*4 a multiple of 14?
True
Suppose y - 2*y + 5 = 0. Let d be 44/10 + (-2)/y. Suppose 0 = -g - 3*a + 38, 2*g = -d*a - a + 77. Is g a multiple of 18?
False
Let w(r) = -44*r + 17. Does 35 divide w(-2)?
True
Let t = -15 - -7. Let x(g) = -17*g - 49. Let i(s) = 4*s + 12. Let u(d) = -9*i(d) - 2*x(d). Does 3 divide u(t)?
True
Let v = 82 + -48. Is 11 a factor of v?
False
Let c be (-3)/3*3 - -183. Suppose -4*f = 32 - c. Does 18 divide f?
False
Let k be (2 + 0)*-1*-5. Let v = k - 6. Suppose i - 4*z - 39 = -11, i + 4 = -v*z. Is 6 a factor of i?
True
Let y be (-1 - 12*3)/(-1). Suppose 0 = 2*r - 3*o - 9, -2*r + 5*o = -17 + 6. Suppose -5*l + y = f, -2*f + 6*f - r*l - 125 = 0. Is f a multiple of 12?
False
Is -8*5/25*(-5)/2 a multiple of 4?
True
Let c(o) = 80*o**2 + 5*o + 1. Is c(-2) a multiple of 47?
False
Let w(r) = 0*r**3 + 8*r**2 - 4*r**3 + 3*r**3 + 4*r + 7 + 3*r**2. Is w(11) a multiple of 13?
False
Suppose 44*h = 41*h + 144. Does 12 divide h?
True
Let p(j) = j**3 - 8*j**2 + 7. Let r(c) = -c**3 + 8*c**2 - c - 6. Let k(q) = -3*p(q) - 2*r(q). Suppose -4*f + z - 4 = -39, 3*f + z = 21. Does 3 divide k(f)?
False
Let v = 12 + 23. Is v a multiple of 14?
False
Is 3 a factor of 432/126*7/2?
True
Let a = -2 - -2. Let z be -2 - (7 + a - 2). Let c = z + 19. Is 11 a factor of c?
False
Suppose 5*j + 308 = 748. Does 11 divide j?
True
Let t(g) = -4*g**3 + 0 - 1 + 3*g**3. Let z(l) = -3*l**3 + 6*l**2 - 7*l - 2. Let r(i) = 2*t(i) - z(i). Does 10 divide r(5)?
True
Suppose -57 = -4*t + b + 7, -31 = -3*t + 5*b. Let q = t + -11. Does 3 divide q?
True
Is (-23 - -2)*30/(-9) a multiple of 18?
False
Suppose -x - 11 = 4*k, -4*x + 3*k + k = -36. Suppose -x