es 14 divide z?
True
Suppose 3*y = -k + 17 + 16, -4*y - 61 = -k. Is 11 a factor of k?
False
Let w = -101 + 222. Is w a multiple of 32?
False
Let b be 17/1 - (-2 + 1). Let r(f) = f**3 - 8*f**2 - 2*f + 3. Let w be r(8). Let i = w + b. Is i a multiple of 2?
False
Let s(i) = -5*i - 39. Is s(-21) a multiple of 24?
False
Suppose 0*g - 4*g - 4*m = 20, -g + 5 = -4*m. Suppose 5*c + 15 = 5*y, -4*c = -0*y + y - 13. Is c*g/6 - -20 a multiple of 10?
False
Let i(m) = m**3 - 2*m**2 - 5*m - 5. Suppose 8 = 3*j - 7. Does 10 divide i(j)?
False
Let k = 9 + -4. Suppose x = 2 + k. Is x a multiple of 7?
True
Let j = -5 + 6. Let k(v) = -5*v - j - 2*v + 2*v**2 - 3*v**2. Is k(-5) a multiple of 9?
True
Let l(z) = -2*z**3 - 3*z**2 + 4*z - 3. Let q be l(2). Let d be (-27)/18*(2 + 8). Let s = d - q. Is 7 a factor of s?
False
Let s(b) = -b**3 + 6*b**2 + 3. Let r be s(6). Suppose 4*i - 18 = m - 61, -3 = r*i. Is m a multiple of 8?
False
Suppose 0 = 3*r + 6*y - y - 25, 2*r - 4*y - 24 = 0. Is r a multiple of 10?
True
Suppose 681 + 21 = 9*d. Does 12 divide d?
False
Let r(w) = w**2 + 5*w + 5. Let s be r(-4). Let u be -3*s/(-3) - -1. Suppose 0*a - k + 18 = 3*a, -u*k = 6. Is 3 a factor of a?
False
Suppose -4*b + 4*t + 116 = 328, 4*b + 3*t = -233. Let n = -40 - b. Does 12 divide n?
False
Let y be (-2)/(-3) + 4/(-6). Suppose -p + l - 4 = -5, y = 2*p + l - 11. Suppose 3 + 5 = p*f. Does 2 divide f?
True
Let n be ((-60)/35)/((-3)/(-126)). Suppose -3*w - 30 - 54 = 0. Let c = w - n. Is c a multiple of 22?
True
Let o(y) = y**2 - 4*y - 2. Let v be o(5). Suppose 0*c - v*c = -81. Is c a multiple of 9?
True
Let g be 5/(3 - (-92)/(-31)). Let o = g + -110. Is 15 a factor of o?
True
Suppose 0*h - 3*p = h + 103, -3*h - 329 = -p. Let q = -61 - h. Suppose 4*m - m = q. Is m a multiple of 10?
False
Let v = 11 - -5. Does 4 divide v?
True
Let p = 142 + 20. Let g = -101 + p. Is 21 a factor of g?
False
Let g(m) = -3*m**3 + 2*m**2 - 3*m. Let p be g(2). Let z be 4/p + (-1126)/(-22). Let d = -30 + z. Is 8 a factor of d?
False
Let t be (-15)/(-2) - (-8)/(-16). Suppose t = 3*q + 22, -5*q - 31 = -u. Is 3 a factor of u?
True
Let r(i) = -2*i**3 - 5*i**2 + 9*i + 8. Is r(-5) a multiple of 22?
True
Suppose -2*c = 36 - 102. Is 33 a factor of c?
True
Is (-20)/30*69/(-2) - 1 a multiple of 11?
True
Suppose -m + 6*m = 120. Let r = m - 10. Is 6 a factor of r?
False
Suppose -4*j = 5*k - 7 - 4, -2*k = -3*j - 9. Does 9 divide (6/8)/(j/(-24))?
True
Suppose 2*k + j - 130 = 0, -2*k - 3*k + 307 = -2*j. Does 14 divide k?
False
Let f be (6/3 + 79)*1. Let h = -55 + f. Is 13 a factor of h?
True
Suppose 10*u - 746 = 154. Is 15 a factor of u?
True
Let p = 2 - 4. Let a be p + 1 - (2 + -1). Is 11 a factor of -2 - 35*(a + 1)?
True
Let c = -17 + 130. Is 14 a factor of c?
False
Let d(c) = -22*c**3 + c**2 + c. Suppose 0 - 2 = 2*z. Does 12 divide d(z)?
False
Let t = 290 - 160. Is 26 a factor of t?
True
Let f(y) = 32*y + 3. Is f(1) a multiple of 6?
False
Suppose -2*d = -w - 24, 3*d = d + 5*w + 32. Let n be (-4)/(-22) + (-2)/d. Suppose n*s = 4*s - 68. Is 14 a factor of s?
False
Suppose y - 176 = -2*g, -5*y = -2*g - 2*y + 176. Is 15 a factor of g?
False
Let c(a) = -2*a**2 - 71*a - 9. Is c(-31) a multiple of 45?
True
Suppose -2*o = 3*l - 4*o - 106, -6 = 3*o. Is 17 a factor of l?
True
Let p(t) be the second derivative of -t**3/3 + t**2 + 4*t. Does 6 divide p(-5)?
True
Suppose -2*v + 5 = -v. Suppose d + v = -3. Is 6 a factor of (-3)/(-3) + -3 - d?
True
Let o be -2*(2 + -4 + 0). Let c = 10 - 0. Suppose -t = -c + o. Is t a multiple of 2?
True
Suppose -3*d - 3*m = -228, -5 + 4 = -m. Does 15 divide d?
True
Let j = 150 - 16. Does 50 divide j?
False
Let j(g) = 3*g**2 - 3*g + 3. Let s(d) = d**2 - 2*d + 1. Let f(b) = 2*j(b) - 5*s(b). Let o = -26 + 20. Is f(o) a multiple of 13?
True
Let d be (-4)/(-14)*(10 + -3). Let c be d/(-10) - 42/(-10). Does 13 divide 3 - 1 - (-44)/c?
True
Let w be 1 + 6/(-3)*1. Let c = w - -4. Suppose -c*l + l = -44. Does 11 divide l?
True
Let v = 185 - 107. Let j = -42 + v. Is 6 a factor of j?
True
Suppose 0 = -5*d - 2*z + 486, -5*d + 496 = -4*z + z. Does 14 divide d?
True
Suppose -2*y + 5*h + 0 = -40, 2*h = -4. Is 2 a factor of y?
False
Suppose -4*c = 5*v - 193, -c - 2*c - 2*v = -150. Does 13 divide c?
True
Let y(q) = -q**2 - 7*q - 3. Let k be y(-6). Suppose -2*g + 4*f = -22, -2*g - 10 = -3*g + k*f. Let n = -7 + g. Does 6 divide n?
True
Suppose 2 = 2*s - 3*m - 2, -5*s - 5*m = -10. Let q(w) = 7*w + 1. Does 10 divide q(s)?
False
Let f(o) = 2*o**2 + o + 1. Let c be f(-1). Let a be 6*(-1)/(-8)*4. Suppose -a*m - 89 = -4*u, -5*u + c*m + 91 = 5*m. Does 10 divide u?
True
Let h be (-2)/(1*4/6). Suppose 2*u = -q + 15, q - 4*u = -2*q + 85. Does 8 divide 3/((-9)/h) + q?
True
Let w be (-4)/((-3)/45*3). Suppose 4*a = -5*j + 40, a = -3*a - w. Does 4 divide j?
True
Suppose 3 = -4*q + 75. Is q a multiple of 13?
False
Let v(y) = 8*y**2 - 36*y - 12. Is 8 a factor of v(9)?
True
Let t(f) = 10*f + 12. Let a(s) = 5*s + 6. Let z(l) = 7*a(l) - 4*t(l). Does 4 divide z(-4)?
False
Let j(f) = -75*f - 4. Is 13 a factor of j(-3)?
True
Let y(r) be the second derivative of -r**5/20 - r**4/6 - 5*r**3/6 + r**2/2 + 2*r. Is y(-3) a multiple of 25?
True
Let p = -9 + 11. Suppose 15 = p*l - 19. Is l a multiple of 9?
False
Let z(w) = w**3 + 5*w**2 - 2*w - 2. Let f be z(-5). Let g = 37 + -15. Suppose f = 5*v - g. Is v a multiple of 6?
True
Let q(t) = -t - 2. Let p be q(-6). Let j = 13 - p. Is (-4)/6 + 96/j a multiple of 10?
True
Let z(p) = -p**3 + 8*p**2 + 3*p - 9. Does 8 divide z(8)?
False
Suppose 0 = -3*m + 6*m - 6. Let c be (m + 4)*(-1)/(-2). Suppose -63 - 27 = -c*q. Is q a multiple of 15?
True
Let p be ((-1)/3)/(2/(-12)). Let d(i) = i**3 + 6 + 2*i**2 - p*i**2 + 6*i + 7*i**2. Does 15 divide d(-4)?
True
Suppose 4*l + 8 = -m, 2*l = -m - 6 + 2. Let i(v) = -v**3 - 2*v**3 + 6 + v + 6 - v**2 + 4*v**3. Does 12 divide i(m)?
True
Is 11 a factor of (-4)/32*6*-20?
False
Let s be (-5 + 2)/(-3) - -4. Let n be s/(5/(-3)) + -2. Is (-175)/(-10)*(-8)/n a multiple of 9?
False
Let o = 5 - 4. Let q be (-2)/(-5)*(o - -4). Let a(u) = u**3 + 3*u**2 - 2*u + 2. Is 9 a factor of a(q)?
True
Suppose -3 = -5*q + 142. Suppose 3*w - 16 = q. Is w a multiple of 5?
True
Let u(v) = -v**3 - 4*v**2 + 2*v + 3. Suppose -5*s = -4*f - 41, -8*f + 4*f + 3*s - 31 = 0. Let d be u(f). Is 4/d*(-150)/12 a multiple of 10?
True
Let f(l) = l**3 - 6*l**2 + 5. Let w be (4/(-10))/((-1)/15). Is f(w) a multiple of 3?
False
Let n = -143 + 223. Does 20 divide n?
True
Suppose -2*d = -1 + 5. Does 22 divide 64 - (1 + -1 + d)?
True
Let g be -1*(-155)/((-3)/(-3)). Suppose -47 = 3*y - g. Does 12 divide y?
True
Suppose -4 = g - 2. Let b be 4 + g + (0 - 23). Let t = b + 30. Does 9 divide t?
True
Suppose 129 = 7*r - 4*r. Suppose 2*d + r = -5*m, 2*m - 4*d + 40 = -2*m. Let b = m + 32. Is 17 a factor of b?
False
Suppose -5*b - 9 = -29. Suppose -5*k - b - 6 = 0. Is 3 a factor of 15*(k/3 - -1)?
False
Let l(s) = 155*s + 1. Is 13 a factor of l(1)?
True
Let x(t) = -6*t**2 - 2. Let u be x(2). Let o = u + 62. Is o a multiple of 18?
True
Let u(w) = -11*w + 9. Does 16 divide u(-2)?
False
Let p(y) = -y**3 - 5*y**2 - 3*y + 23. Does 29 divide p(-7)?
False
Suppose -2*f = -4*f + 170. Suppose h = 2*z - 2*h - f, -25 = 5*h. Does 12 divide z?
False
Is 7 a factor of 1160/50 + 1/(-5)?
False
Suppose -b = 10*b - 858. Is 13 a factor of b?
True
Suppose 4*s + 3*o = -0*s + 135, -2*s - o = -69. Does 12 divide s?
True
Let u(s) = s - 4. Let f(d) = -d + 7. Let r(b) = -6*f(b) - 11*u(b). Is r(-4) a multiple of 11?
True
Suppose -6*k + 3*c = -k - 15, -c = 0. Suppose 5*t - 784 = 2*q, 0 = 2*t - t + 5*q - 146. Suppose 36 = -k*l + t. Does 14 divide l?
False
Suppose 0 = -4*f - z + 11, 0*z = -f - z + 2. Suppose -f*p + 63 + 15 = 0. Is 13 a factor of p?
True
Let q(g) = g**2 - 6*g - 1. Let i be q(7). Let x(y) = 3*y - 5. Is x(i) a multiple of 8?
False
Let q = -6 + 8. Suppose -q*l = l - 54. Is 4 a factor of (-1)/(-2) - (-63)/l?
True
Suppose -3*h - 5 = d + d, -3*h - 26 = 5*d. Does 5 divide 1 - (d - -2 - 3)?
False
Let u be (-2)/10 - (-363)/15. Suppose 4*p - 148 = -u. Is p a multiple of 18?
False
Let u = 202 + -98. Does 26 divide u?
True
Let y(h) = -h + 9. Let x = -4 - -8. Let l be y(x). Suppose -2*u + l = -7. Is u a multiple of 6?
True
Let w = -3 - -3. Suppose -4*a + 1 + 11 = w. 