*t - 2. Let c be y(-6). Let s be 38*(-3)/(-6) + c. Is 9 a factor of s + (-1)/(-1) + 0?
True
Suppose -52 = 4*n + 84. Let u = 31 - 50. Let v = u - n. Is 8 a factor of v?
False
Suppose -2*i - 2 = -0. Let o = 10 + i. Is o a multiple of 4?
False
Let n = 198 + -67. Is 20 a factor of n?
False
Let r = 14 - 9. Suppose -4*f + k = -2*k - 14, -29 = -r*f - 2*k. Suppose 3*h - f*i = -i + 62, -4*i = -h + 18. Does 10 divide h?
False
Let x(y) = 22*y**3 - 4*y**2 + 2*y. Is 41 a factor of x(2)?
True
Let p(w) be the third derivative of -w**7/560 + w**6/360 + w**5/30 + 2*w**2. Let y(m) be the third derivative of p(m). Is 10 a factor of y(-2)?
True
Suppose -2*l - 8 = 10. Let o be ((-8)/(-10))/(l/(-45)). Suppose -o*s - i = -41, -s + 5 = -0*s + 2*i. Is s a multiple of 11?
True
Suppose 2*a - 38 = x, -7 = -5*x + 13. Is 7 a factor of a?
True
Let m = 36 + 29. Suppose -51 = u - 0*u + 4*b, 189 = -5*u + 2*b. Let t = m + u. Does 13 divide t?
True
Let o(m) = 5*m - 22. Let b(f) = 3*f - 15. Let k(l) = -8*b(l) + 5*o(l). Is k(-6) a multiple of 2?
True
Is ((-3)/(-2))/(21/644) a multiple of 8?
False
Let v be (2 - 91) + 1 - -1. Let q = v + 129. Does 21 divide q?
True
Suppose 5 = 4*i - 2*a - 3, -3*a + 9 = i. Let s be 147/(-7) - 1*i. Let b = s - -35. Is b a multiple of 5?
False
Let q be (-6)/(-9) + (-5)/((-45)/(-708)). Let n(b) = -4*b**2 + 5*b - 5. Let k be n(4). Let a = k - q. Is 19 a factor of a?
False
Suppose -4*q + 3 = -37. Is q a multiple of 10?
True
Let o(i) = -i**3 + 5*i**2 - i + 9. Does 14 divide o(4)?
False
Let t(s) = 67*s. Does 18 divide t(1)?
False
Let q(u) = -u**3 + 8*u**2 + 5*u - 19. Is 10 a factor of q(8)?
False
Let v(m) = 2*m + 5*m + m. Let z be 0 + 8/(-6)*-3. Is v(z) a multiple of 16?
True
Let b(n) = n**2 - 6*n + 5. Let y be b(5). Is 9 a factor of y - 1/((-2)/36)?
True
Suppose 4*x - 20 = 0, 0 = y + y + 4*x - 26. Let n(h) = 7*h**2 - 2*h**3 + h**y + 0*h**3 + 7 - 6*h. Is 6 a factor of n(6)?
False
Suppose -3*q - 4*b + 5 = 0, 3*q - 7 = -0*q - 5*b. Suppose -2*s + 4*f + 4 = 0, -4*s = 5*f + 2 + 3. Does 13 divide q - (-38 - s/2)?
False
Let h(a) = -20*a - 8. Suppose 3 + 13 = -4*c. Is 24 a factor of h(c)?
True
Let c(g) = -g**3 + 4*g**2 + 2*g - 3. Let m be c(4). Let h(p) = -p**3 + 5*p**2 + 2*p - 2. Does 8 divide h(m)?
True
Suppose 0*u - 2*u = -28. Is 2 a factor of u?
True
Suppose -2*d - d + u = 930, 0 = -4*d + 5*u - 1240. Is 25 a factor of 6/(-9) + d/(-6)?
False
Let j be (-74)/(-26) + 16/104. Let u(p) = -p + 2. Let z be u(0). Suppose -3*g + g = -3*q + 11, z*q + j*g - 29 = 0. Is 4 a factor of q?
False
Suppose 3*l - 56 = -v + 40, -2*l + 64 = 3*v. Does 8 divide l?
True
Suppose -2*a + 5*o = 27, 4*a + 2*o - 6 = -0*o. Is (a - -51) + (-5 - -5) a multiple of 16?
False
Is 10 a factor of (-70)/(-3) - 26/(-39)?
False
Let o(d) be the first derivative of -9*d**2/2 - 10*d + 2. Is o(-8) a multiple of 20?
False
Let y = -23 - -12. Let r = 22 + -6. Let f = y + r. Is f a multiple of 5?
True
Suppose -59 = -3*k + 5*q, -2*k + 45 = -2*q + 7. Is 17 a factor of k?
False
Suppose -c = c - 16. Suppose -u = -c - 3. Suppose u = -2*t + 3*l + 36, 0 = 4*t + 3*l - 5. Is t a multiple of 5?
True
Let t(r) = -r**3 - 13*r**2 - 26*r - 2. Does 14 divide t(-11)?
True
Suppose -d = -2*k + 5, -4*d + 24 - 5 = 5*k. Suppose 4*m + i - 284 = -2*i, -m + k*i = -86. Is m a multiple of 26?
False
Let z(g) = g + 13. Is z(8) a multiple of 7?
True
Let c(h) = h**3 - 9*h**2 + 2*h - 13. Let q be c(9). Suppose 5*a = -s + 375, -2*s - 150 = -2*a - q*s. Is 25 a factor of a?
True
Let u = -61 - -5. Does 10 divide u/(-2) + (2 - 3)?
False
Let m(j) = 17*j**2 + j. Let f be m(2). Let p = f + -28. Is 14 a factor of p?
True
Let k(p) = p**2 - 3*p. Let d be k(3). Suppose -5*j - 5 = -2*c, -5*j - 5*c + 2 - 7 = d. Is 4 a factor of (j - 1)*(-11)/2?
False
Suppose k + 4*k = 30. Let o(g) = 2*g**2 - 6*g - 6. Does 30 divide o(k)?
True
Is 12 a factor of 1680/72*(62/10 + 1)?
True
Suppose 7 + 2 = q. Let m = q + 18. Does 15 divide m?
False
Let o(c) = c**2 - 24*c + 45. Is 7 a factor of o(23)?
False
Let r(l) = 4*l**2 - l + 3. Is r(-5) a multiple of 25?
False
Suppose -2*a + 3*a + 4*w = 74, 2*w = 4*a - 206. Does 18 divide a?
True
Let d = 3 + 0. Suppose -4*q + 198 = d*r - 7*q, r - 74 = -3*q. Is r a multiple of 17?
True
Does 18 divide (-10 + (-6 - -4))*-3?
True
Suppose -y = -1 + 31. Let w = y + 42. Does 12 divide w?
True
Let i be 2 + 4 + 0/(-1). Does 4 divide (-1 + 2 - i)/(-1)?
False
Let y be ((-4)/(-10))/((-6)/(-2040)). Let g = y + -56. Suppose 0*m + g = 4*m. Does 20 divide m?
True
Suppose 0*m - m = 2*t - 9, 5*t - m = 26. Suppose -7 = 3*g - 0*s + 5*s, 0 = -t*g - 5*s + 5. Suppose 3*q = 3*n - 5*n + 96, 0 = -2*n + g. Is 15 a factor of q?
True
Suppose 3*r + 4*f = -2*r + 178, 0 = -4*r + f + 134. Is 17 a factor of r?
True
Is (7 + -4)*(-44)/(-6) a multiple of 21?
False
Suppose 5*i - 6*n = -3*n - 17, i - n + 5 = 0. Let z be 3/(3/(-12) - i). Suppose -3*w = -3*t - 15, -1 - 19 = -z*w + 3*t. Does 5 divide w?
True
Let g = 5 + 0. Suppose -3*q + 24 = -5*u, -4*u + 5 - 2 = g*q. Suppose 53 = q*s - 4*p, -s + 15 = -6*p + 2*p. Does 13 divide s?
False
Is 3 a factor of (-16 - -17)/((-1)/(-12))?
True
Is 17 a factor of (-74)/(-4) - 7/14 - 1?
True
Let l(v) = 4*v**2 + 3*v - 3. Let n(g) = -g**2 + 2*g + 1. Let y be n(-1). Let q be 1 + -2 - y - -1. Is l(q) a multiple of 19?
True
Is ((-208)/10)/((-6)/15) a multiple of 13?
True
Let t(p) = -p**3 + 6*p**2 - 3*p + 3. Is 23 a factor of t(4)?
True
Let y(z) = z**3 + 17*z**2 - 24*z - 26. Is y(-18) a multiple of 13?
False
Let u(v) = -v**3 + 6*v**2 + 2*v + 1. Let o = 14 - 9. Does 12 divide u(o)?
True
Suppose 0 = 4*i - 40 + 4. Let n be 2/9 - (-16)/i. Is (n + -5)/((-6)/8) a multiple of 2?
True
Let s(p) = 3*p**3 + 7*p**2 + 2*p**3 - 6*p**3 + 2*p**3 - 7. Does 18 divide s(-5)?
False
Let v = 33 + -22. Let f = v + -8. Is 49/(0 - f/(-3)) a multiple of 23?
False
Suppose -60 = -2*o + 70. Let f = 56 + -99. Let c = f + o. Is 11 a factor of c?
True
Let k be -1 + 1 + 2 + -7. Let v = k - -12. Let g = v + 7. Does 14 divide g?
True
Let l(y) = -20*y - 4. Let z be l(-3). Let g = -40 + z. Does 7 divide g?
False
Let x = 96 - -128. Does 16 divide x?
True
Is 18 a factor of (24/(-10))/((-6)/45*1)?
True
Suppose 7 = 3*l - 4*f, -3*f - 5 = -0*l - 2*l. Let v = -6 + 7. Does 8 divide 4 - l - v - -8?
False
Suppose -5*t - 5*i = -85, 2*t - 5*i = -2*i + 19. Is (4 + -3)/(2/t) a multiple of 7?
True
Let f(v) = v**3 + 6*v**2 - 8*v. Let l be f(-7). Let y = l + -4. Is (y/(-6))/(2/(-92)) a multiple of 12?
False
Let d(g) = 2*g + 1. Let y be d(3). Let s be (-254)/y - 4/(-14). Let t = -10 - s. Does 13 divide t?
True
Let y be (-2)/4 - (-2422)/4. Does 17 divide (-1)/4 + y/20?
False
Let u(c) be the second derivative of -c**5/20 + 11*c**4/12 + 2*c**3/3 + 7*c**2/2 - 5*c. Is 17 a factor of u(11)?
True
Suppose 0*j + 2*j - 126 = 0. Is j a multiple of 21?
True
Suppose 76 = 2*g - 5*c, -2*g - 4*c + 40 = -54. Let v = g - 22. Does 14 divide v?
False
Let o(t) = 2*t - 11. Let r be o(10). Suppose 3*l - 2*b = -10, b = -3*l - b - 14. Let u = r + l. Is 2 a factor of u?
False
Suppose -2*v + 126 = 3*p, 0*v = -2*p - 4*v + 92. Is p a multiple of 20?
True
Let p(c) = -38*c**3 - c - 1. Let t be p(-1). Let v = -13 + t. Suppose 0 = -3*i - 2*i + v. Is i a multiple of 3?
False
Suppose -3*c + 6*c = -3. Is 10 a factor of -2 + -1 + (c - -14)?
True
Suppose f + 33 = -9. Let u = -1 - f. Is 19 a factor of u?
False
Suppose -9*l = -7*l - 246. Is l a multiple of 28?
False
Suppose -2*c = 4*p - p - 21, 41 = 2*c - p. Suppose 0 = 2*s - 2 - c. Does 10 divide s?
True
Suppose 0*n + 4*n = -y + 22, 2*n = 3*y - 10. Suppose -49 - y = -5*r. Does 6 divide r?
False
Is (5 - 6)*-5 - -87 a multiple of 9?
False
Let t(w) = 81*w**2 + w. Is 26 a factor of t(-1)?
False
Suppose -w = -4*y - 2 - 21, -y - 11 = -2*w. Suppose k = -4*b + 100, w*b = 2*k - k - 114. Suppose 3*q - k = 3*c, -3*q + 0*c = c - 116. Is 19 a factor of q?
True
Let u(m) = -2*m**3 + 2*m**2 + m. Let r be u(-1). Let k = 13 - r. Let f = 7 + k. Is f a multiple of 7?
False
Suppose 471 = 5*g + 121. Does 17 divide g?
False
Suppose -3*v - 159 = -5*s + 2*s, 4*s + 5*v - 221 = 0. Is s a multiple of 9?
True
Let j = 8 + -27. Let i = 46 + j. Is i a multiple of 9?
True
Let y(x) = 3*x**2 + 2*x + 1. Is y(3) a multiple of 6?
False
Let a be 218/8 + (-1)/4. Suppose -2*n + a = n. Suppose -5*v = -10, 0 = 3*s - 4*v - n - 46.