Let i(h) = -h**2 + 3*h - 1. Let q be i(4). Let k(c) = -c**2 - 5*c + 6. Is k(q) a multiple of 2?
True
Suppose c - 4*c - 11 = -2*u, -3*u - 3*c = -54. Suppose -4*o - u = 11. Is 16 a factor of (15 + -1)/((-2)/o)?
False
Suppose -4*r + 23 = -129. Is 9 a factor of r?
False
Suppose 5*b - 4*s = 760, -2*b - 3*s = -0*s - 327. Is 26 a factor of (2 - 5)/((-9)/b)?
True
Suppose 0 = -5*o + 1 - 6. Let x(w) = w**3 + w**2 - 1. Let l(h) = 5*h**3 + 12*h**2 - 6*h - 13. Let r(n) = o*l(n) + 6*x(n). Is 11 a factor of r(5)?
False
Suppose -4*d = -5*l - 25, -4*d = l + 21 + 8. Let n(c) = 4*c + 2*c - 11 + c**2 + 1. Is 11 a factor of n(l)?
False
Let z(r) = r**3 - 10*r**2 + 11*r - 13. Let l be z(9). Let t be (42/l)/((-8)/(-60)). Suppose -5*a = -2 - t. Does 6 divide a?
False
Suppose 2*x + 2 = 3*x. Suppose 0*q - q = 5*w + 51, w = -x*q - 57. Let d = q - -38. Is 6 a factor of d?
True
Let o = 1 + -10. Is (-2)/(-9) + (-124)/o a multiple of 6?
False
Let n be -1*1 - (3 + -13). Let i = n - -27. Is 18 a factor of i?
True
Let m = -42 + 89. Let d = m - -17. Does 16 divide d?
True
Suppose -4*q = q. Suppose z - 4*z = q. Is (z - 1/(-1))*6 a multiple of 6?
True
Is 13 a factor of -28*(-3 + 5 + -4)?
False
Suppose 24 = 3*h + 3*u, -4*u + 33 = 4*h + u. Is 2 a factor of h?
False
Suppose -5*b + 3*a = -265, 3*a = -b + 19 + 16. Suppose -6*n + b = -n. Is 8 a factor of n?
False
Suppose -3*z + 4*c - c + 75 = 0, -96 = -4*z + 5*c. Let r(v) = v**2 - 7*v + 1. Let y be r(6). Let l = z + y. Is 10 a factor of l?
False
Suppose -4*y + 208 = 24. Is 4 a factor of y?
False
Let z be -3 - 4*(3 + -5). Suppose -n - z*d + 26 = 0, 3*n + 0 = d - 2. Suppose -3*f + n = -5. Is f a multiple of 2?
True
Suppose -6*k + c = -k - 208, -5*c = 5*k - 220. Does 4 divide k?
False
Suppose 5*p = -0*p + 440. Is 11 a factor of p?
True
Let y = 105 - 51. Suppose -y = 2*b - 4*b. Is 19 a factor of b?
False
Suppose 2*y - 74 + 22 = 0. Is y a multiple of 10?
False
Suppose -m = 4*k + 3*m - 16, -21 = -4*k + m. Suppose 0 = -3*r + h - k*h + 29, 53 = 5*r + 2*h. Is 11 a factor of r?
True
Let t = 9 + 13. Is 2712/33 - 4/t a multiple of 25?
False
Suppose -5*a + a + 116 = 4*k, -3*a = -k - 91. Suppose -9 = 3*f - a. Does 3 divide f?
False
Let w(h) = h**3 - h**2 - 3*h + 4. Let f(q) = q**3 + 2*q**2 + q. Let k be f(-1). Suppose k = -g + 5 - 1. Is w(g) a multiple of 18?
False
Suppose -f - 2*f = -63. Is f a multiple of 8?
False
Let o = 10 + -6. Suppose o*m - 185 = -25. Does 20 divide m?
True
Let m = -196 + 366. Does 17 divide m?
True
Suppose 0 = -w + 36 - 3. Let l = -4 + 6. Does 7 divide w/5 - l/(-5)?
True
Let p be (13 - -2)*1/3. Suppose 0 = 2*z + 2*w - 20, p*z + 3*w - 41 - 17 = 0. Let j = -6 + z. Is 5 a factor of j?
False
Suppose -a + 2*j + 81 = 0, 3*a + j = -112 + 334. Suppose -3*g - 215 = g - w, -2*g = w + 109. Let r = a + g. Is 8 a factor of r?
False
Suppose x - 3 - 2 = 0. Suppose -3*w + 461 = x*i, 4*w + 3*i - 668 = 7*i. Suppose -b - 4*n + 63 = -0*b, 4*b - 2*n = w. Is b a multiple of 15?
False
Let o(h) = 17*h + 7. Let w(f) = -16*f - 6. Let d(g) = -5*o(g) - 6*w(g). Is d(1) a multiple of 6?
True
Suppose -8*s + 11*s = 51. Is s a multiple of 2?
False
Let m(z) = z**3 + 5*z**2. Let p be m(-4). Suppose -30 = -j + p. Does 15 divide j?
False
Let p(s) = -5 + 1 + 3*s + 1 - 2. Is p(6) a multiple of 6?
False
Suppose -29 + 812 = 3*z. Does 13 divide z?
False
Let v(k) = -5*k**3 - k**2 + k + 1. Let x be v(-1). Suppose 192 = -0*s + x*s. Does 12 divide s?
True
Let a(l) = -l**2 + 10*l - 6. Is a(9) a multiple of 3?
True
Let k(s) = s**3 + 4*s**2 + 2*s - 3. Let x be k(-4). Let c(w) = w**2 + 11*w + 8. Let a be c(x). Let f(l) = l**3 - 9*l**2 + 10*l - 12. Is 2 a factor of f(a)?
True
Let y = 335 + -125. Is 21 a factor of y?
True
Let y(b) = 3*b**2 - 4*b + 1. Is 17 a factor of y(4)?
False
Suppose -d + 3*k + 53 = 0, 4*d = -d + 5*k + 255. Let g = -31 + d. Is 19 a factor of g?
True
Let h(r) = r**2 + 2*r - 14. Is h(9) a multiple of 42?
False
Let h(z) = z + z + 4*z + 2. Suppose 4*c + 5*v = -17, v = 5*c - 3*v - 30. Is 7 a factor of h(c)?
True
Suppose 0*p - 4*p = 24. Is (-28)/p*3/2 a multiple of 2?
False
Suppose -d + 272 = d. Suppose -4*i + d = -6*l + 2*l, -i = -4*l - 37. Does 9 divide i?
False
Let y(l) = -2*l - 5. Let w = 10 + -19. Does 4 divide y(w)?
False
Let g = -13 + 21. Let t(s) = s**2 - 8*s + 11. Is 5 a factor of t(g)?
False
Suppose -w + 0 - 2 = 0. Let h be (-2 - w)*(-1)/2. Does 3 divide 1*(h - (-8 - -1))?
False
Suppose -r + 2*r - 148 = -2*m, 0 = -4*m - r + 298. Does 15 divide m?
True
Suppose 0 = 5*k + 5*c - 45, 5*c - 10 = -k + 11. Suppose 4 = k*h - 2*h. Is h/3 + 50/3 a multiple of 17?
True
Let i(d) = -d**2 + 5*d + 4. Suppose 7 + 13 = 5*p. Let w be (-26)/(-8) + (-1)/p. Does 4 divide i(w)?
False
Let p(k) = 6*k**2 + 3*k + 1. Let o(g) = -7*g**2 - 2*g - 2. Let s(b) = -5*o(b) - 6*p(b). Let q be s(-7). Let i = q + -3. Is 4 a factor of i?
True
Let a = -5 + 9. Suppose 2*y = 6*y + a. Does 3 divide 1*(-1)/y*5?
False
Let r(p) = -11*p. Let o be r(-2). Let c = -500 - o. Is c/(-12)*4/3 a multiple of 23?
False
Suppose -l + 17 = -87. Suppose -6*g + 8*g = l. Is g a multiple of 13?
True
Suppose -19*i - 69 = -20*i. Is i a multiple of 3?
True
Let i = 29 + -52. Does 10 divide 9/(0 + -3) - i?
True
Is 13 a factor of (15 - 5)/(1/2)?
False
Let k(w) = w**3 - 7*w**2 + 7*w - 8. Let h be k(6). Let l be 1*(-2 + -35 + h). Does 14 divide (l/(-2))/((-3)/(-4))?
False
Suppose 13*i - 15 = 8*i. Does 2 divide i?
False
Let w(f) = -12*f. Is 18 a factor of w(-12)?
True
Let f(g) = -g**3 + 8*g**2 - 12*g + 3. Is f(5) a multiple of 14?
False
Let a(u) = 28*u**2 + u + 1. Let i(t) = t - 5. Let s be i(4). Is a(s) a multiple of 14?
True
Let q(k) = 1 + k**2 + 0 + 1 - 2*k. Let i be q(3). Does 7 divide (-1 - -2) + 1 + i?
True
Let n be 1/((8/(-118))/(-4)). Let g = n - 31. Does 14 divide g?
True
Let y be ((-2)/(-1) + 3)*-5. Let s = 35 + y. Is 5 a factor of s?
True
Let j(y) be the third derivative of 4*y**5/5 + y**3/6 - 13*y**2 - 2. Let a be (4/6)/((-4)/(-6)). Does 13 divide j(a)?
False
Let q(a) = -28*a + 2. Is q(-2) a multiple of 29?
True
Suppose -7*p + 60 = -4*p. Let d = p + 10. Does 10 divide d?
True
Suppose -81 - 15 = -3*g - 5*h, -g + 42 = 5*h. Let x = g - 17. Is x a multiple of 8?
False
Suppose -8 = -4*y + 4. Suppose 4*k - 20 = 0, 0 = -4*p - y*k - 0*k + 227. Does 21 divide p?
False
Suppose 32 = 7*y - 45. Let r = 11 + y. Does 22 divide r?
True
Suppose -r - 16 = -5*r. Suppose r*g = 5*g - 54. Does 18 divide g?
True
Let x = 111 - 78. Is 8 a factor of x?
False
Suppose 0*n = 2*n + 2. Let r(i) = -i**2 - i + 5. Let v be r(0). Let m = v - n. Does 6 divide m?
True
Let y = 242 - 182. Does 10 divide y?
True
Let x be 33/5 + 21/(-35). Suppose -2*n - 53 + x = -3*f, -3*f + 49 = -4*n. Is 4 a factor of f?
False
Suppose -5*q = w - q + 2, -5*w - 2*q = -8. Suppose m + 4 = w*m. Is m even?
True
Let y(b) = -5*b**2 + 1 + 2*b**2 + 2*b**2. Let c be y(0). Is 12 a factor of 82/(-1*(c + -3))?
False
Suppose -5*b - 16 = -6*b. Is 14 a factor of b?
False
Let i be 2/(-1) - (-2 - -1). Let w = 53 - 36. Let h = w + i. Is 8 a factor of h?
True
Let a = 27 + -16. Suppose 5*d - 3*j - a = 3*d, 3*d + 4*j = 8. Suppose -2*s - 54 = -d*p, -p + 13 = -2*s - 2. Is 13 a factor of p?
True
Let u be 1/3 + 57/(-9). Is 4 a factor of 4/6 - 62/u?
False
Suppose -4*l - 8 = 0, 12 = 4*a - 4*l - 0*l. Is -75*(-8)/12 - a a multiple of 17?
False
Let c(j) = -j**3 - 11*j**2 + 4*j + 13. Let a be c(-11). Let r = 47 + a. Is r a multiple of 6?
False
Let n be 2*(2030/4)/7. Suppose 5*o + n = 2*f, -4*f + 47 + 238 = -5*o. Does 20 divide f?
False
Let p(b) = -b + 41. Is 5 a factor of p(19)?
False
Suppose 0 = 5*c - 58 - 92. Is 10 a factor of c?
True
Let r = 1 - 5. Let h be r/(-8) - (-202)/4. Does 12 divide h/2 - (-6)/(-4)?
True
Let x(u) = -6*u - 1. Let b be x(-11). Suppose 0*v + b = 5*v. Is v a multiple of 6?
False
Let l(u) = u**2 + 7*u + 8. Let v be l(-6). Suppose 0 = 3*f - v*p - 82, f - 23 = 4*p + 21. Is f a multiple of 12?
True
Let x be 0/2*(-1)/(-2). Suppose 3*f - 4*s + 16 = x, 0 = -3*f - 5*s - 0*s + 20. Suppose -4*q + 28 = -f*q. Does 6 divide q?
False
Suppose 9 = 4*b - b. Suppose -5*j - 2*k + 44 = 0, -19 = -j - 0*k + b*k. Let d = 21 - j. Does 11 divide d?
True
Suppose d + 5*u + 18 = 0, 16 = 2*d - 5*u - 8. Suppose -2 = -k, -k = j + d*j - 50. Is 16 a factor of j?
True
Suppose 0 = 5*r - r. Suppose r*n = -n. 