24) - -2). Suppose z + k = 5*l, l + l - 108 = -2*z. Is 14 a factor of l?
False
Let u be (-9)/(-6)*(-2)/(-1). Is 25 a factor of u/(-21) + (-1662)/(-21)?
False
Let y(c) be the second derivative of c**7/840 - c**6/72 - c**5/40 + c**4/3 + c**3/3 - 2*c. Let i(a) be the second derivative of y(a). Does 13 divide i(6)?
True
Suppose 4*f - 4 = 8. Suppose -q = -f*q + 90. Is 8 a factor of q?
False
Let g(o) be the second derivative of 0 - 2/3*o**3 - 7/2*o**2 + o. Does 9 divide g(-8)?
False
Let x(p) = -44*p - 72. Is x(-5) a multiple of 12?
False
Suppose -2*l + l = -3*n + 3375, 5624 = 5*n - 2*l. Suppose 3*y - n + 247 = 3*h, -281 = h - 5*y. Is h/(-10) + 6/15 a multiple of 13?
False
Suppose 3*k + 5*o + 4 = 0, o = 2*k + 2*k + 13. Let l be ((-12)/2)/k - -3. Suppose -m = -l*m + 44. Is 5 a factor of m?
False
Let m = 159 + -74. Is 18 a factor of m?
False
Let d = 195 - 121. Is 21 a factor of d?
False
Let p be 4/10 - (-676)/(-65). Let t be 3/2*20/(-2). Is t/2*24/p a multiple of 8?
False
Let b be (150/9)/(2/(-6)). Let o be 12/8*(61 - -1). Let g = b + o. Does 25 divide g?
False
Let u = 217 - 142. Does 21 divide u?
False
Suppose 3*u = -0*o - o + 4, 0 = -3*u + o + 8. Suppose -u*c + 6*c + 98 = 5*d, 2*c = -3*d + 50. Does 9 divide d?
True
Suppose -2*d + 6*d = 20. Is 8 a factor of d/(-3 + 26/8)?
False
Suppose 3*j - 50 = 5*j. Let g = j + 36. Is g a multiple of 11?
True
Let f(l) = -l**3 + 12*l**2 - 16*l + 6. Is 22 a factor of f(8)?
False
Suppose 0 = 3*g + m - 14 - 55, 0 = g + 2*m - 18. Is 6 a factor of g?
True
Suppose 0*l = -3*l + 9. Suppose 4*i = 5*s + 56, 31 - l = 2*i - 5*s. Does 10 divide i?
False
Suppose -5 = 2*h + 3*d + 2*d, -h = -3*d - 14. Suppose c - 1 = h. Suppose -53 - 2 = -3*g + 4*a, 5*a = -2*g + c. Does 4 divide g?
False
Let u(a) be the first derivative of 2*a**3/3 - 3*a**2/2 - 4*a + 5. Does 15 divide u(-4)?
False
Suppose -t = -6*t + 205. Does 5 divide t?
False
Let z be (2/6)/(2/1074). Let f = -113 + z. Suppose i = -i + f. Is i a multiple of 11?
True
Let w(x) = -x**3 + 3*x. Let o be w(-5). Suppose f - 2*s - 15 = -0*s, 0 = -5*f + 3*s + o. Is f a multiple of 13?
False
Is 14 a factor of (14 - 29)/(3/(-47))?
False
Suppose -11*z = 172 - 1096. Does 18 divide z?
False
Suppose 3*g - 5*g + 10 = 0. Suppose 0 = 2*v + m - g*m - 92, 3*v - m - 113 = 0. Is 9 a factor of v?
True
Let l(z) = z - 2. Let w be l(2). Suppose c - b + 56 = 2*c, 2*c - 4*b - 118 = w. Does 21 divide c?
False
Suppose 4*b = 5*b - 3. Let m(s) = -s**2 + s + 24*s**3 + 2*s**b + 9*s**3. Is 15 a factor of m(1)?
False
Let o = 8 + -8. Suppose o = -5*q - 3*y + 254, -2*q - 2*y = -5*y - 110. Suppose 5*n - q = n. Is n a multiple of 5?
False
Let b = -8 + -8. Let y = b + 22. Is y a multiple of 4?
False
Suppose 0*z + 20 = 4*z. Suppose 4*p + 337 = z*w, -4*w = w - 3*p - 339. Is w a multiple of 23?
True
Let j(w) = w**3 - 7*w**2 + 6*w + 12. Is j(6) a multiple of 6?
True
Let t(z) = z**3 + 9*z**2 + 7*z + 9. Let k = 7 - 3. Suppose -k*h - 24 = r, r + 2*h = 5*r + 24. Is 10 a factor of t(r)?
False
Let d be 1/(1*(-1)/4). Let w(v) = -v**3 - 4*v**2 + 2 + v**2 + 3*v - 2*v. Is w(d) a multiple of 5?
False
Let j(i) = -i**2 + 9*i + 1. Let h be j(6). Suppose -m - r - 4*r + h = 0, 0 = -4*m - 2*r + 166. Is 22 a factor of m?
True
Let s = 12 + -47. Let b be (-2)/1*s/10. Suppose -2*m + 21 + b = 0. Is 12 a factor of m?
False
Suppose -5*k = -7 - 13. Suppose k*o + 4*a = 2*a + 188, -5*o + 235 = -3*a. Suppose 0 = 5*s + 5*j - 170, -91 = -5*s + 3*j + o. Is s a multiple of 15?
True
Suppose 14*m = 13*m + 230. Does 46 divide m?
True
Suppose 3*h - 3 - 6 = 0. Suppose -9 - 6 = -3*d, -40 = -h*v - 5*d. Does 4 divide v?
False
Suppose 5 + 35 = -m. Let w = m + 70. Is 12 a factor of w?
False
Suppose -3*f - 2*h - 4 = -4*f, -2*f = h - 13. Is f a multiple of 3?
True
Suppose 0*n + 52 = 2*n. Suppose -z + n = 9. Does 11 divide z?
False
Suppose 0 = -3*d + 3 + 6. Let x(v) = 3*v**3 - 3*v**3 + 3 + v**d - v. Is 12 a factor of x(3)?
False
Suppose -2*v + 12 = 2*v. Suppose 2*s - 15 = -v. Is 6 a factor of s?
True
Let z(i) be the first derivative of -i**3/3 - i**2/2 - i - 2. Let m(w) = 4*w**2 + 4*w + 20. Let j(q) = m(q) + 3*z(q). Is j(0) a multiple of 17?
True
Let x be 1*4/10*-5. Let o be 456/(-9) - x/3. Let n = 87 + o. Does 15 divide n?
False
Suppose -2*i + 0 = -4. Suppose q = 5*r - 5, q + 1 = -2*r + i*q. Is r a multiple of 2?
True
Let i(d) = 3*d**2 - 4*d - 10. Is i(-4) a multiple of 9?
True
Does 21 divide (-5 - -3)/((-3)/249)?
False
Let h = 27 + -18. Does 9 divide h?
True
Let a(y) = -2*y. Suppose 5*u = u + 4, 0 = x + 3*u - 2. Let c be a(x). Suppose 0 = -i + l + c*l + 17, -2*l - 6 = 0. Does 3 divide i?
False
Suppose 7*s - 11*s = -304. Is 11 a factor of s?
False
Let b(w) = 13*w**2 + 2*w - 1. Is b(1) a multiple of 7?
True
Suppose -12 = -b - 3*n + 27, -2*b + 98 = -4*n. Is b a multiple of 9?
True
Let x be 1/(1/(-1))*0. Suppose 3*r + x*r = 0. Suppose r = 2*z + z - 147. Does 19 divide z?
False
Suppose -20 = 2*d - 6*d. Let o be (-385)/(-44) - 6/8. Suppose f = 4*q - q - 38, -d*f - o = -q. Is 7 a factor of q?
False
Let d = -42 + 80. Suppose -3*u = -19 - d. Is 15 a factor of u?
False
Let a be (-14)/28*(-4 + 0). Is 10 a factor of (-6)/(a - (-23)/(-10))?
True
Suppose -a = -2*m - 0*a + 2, 4*a = -5*m - 21. Let k(h) = -7*h + 1. Is k(m) a multiple of 4?
True
Suppose 0 = h + 4*h - 1640. Suppose h + 17 = 3*v. Suppose -6*z + z + v = 0. Is 8 a factor of z?
False
Let a = 20 + -19. Let m = a + 5. Does 6 divide m?
True
Suppose -20 = -4*t + 4. Suppose -t = -q + 2. Let o = -5 + q. Is o a multiple of 2?
False
Suppose 1 = 3*t + 4. Does 16 divide (-6 - -2)/(t/8)?
True
Let r(c) = -c**2 - 6*c - 3. Let t be r(-5). Let u(n) = -n**t + n + 4 - 6 + 4*n. Does 2 divide u(3)?
True
Let v = -114 - -191. Suppose 5*g + 3 = 53. Suppose -n = 4*p - 46 - g, 3*n - v = -5*p. Is p a multiple of 13?
True
Suppose 4*x - 280 = -g - 0*x, -4*g = -5*x - 1036. Is g a multiple of 45?
False
Let f(g) = -g - 2. Let l be f(-4). Suppose -l*w + 3*o = -0*w - 28, 0 = -3*w + 5*o + 41. Suppose 2*n - w = 1. Is 9 a factor of n?
True
Suppose 0*h - h + 40 = -5*n, 5*n + 40 = -3*h. Let q = n - -17. Is 4 a factor of q?
False
Suppose 4*x = -3*b + 20, 2*b + 3*x - 2*x = 10. Suppose 3*z - 24 = 5*q + 6, -b*q - 5*z = -13. Let p(g) = -6*g - 4. Does 7 divide p(q)?
True
Suppose 3*o + 2*n = -3*n - 10, 0 = -5*o + 5*n + 10. Suppose o = -6*s + 2*s + 64. Suppose 2 = 3*a - s. Is 6 a factor of a?
True
Is ((-17)/2)/(2 + (-222)/108) a multiple of 48?
False
Let i(q) = q**3 + q**2 - 6*q + 5. Let z be i(5). Let x = z - 62. Does 21 divide x?
True
Let o(g) = -g + 7. Let u be o(7). Suppose -5*m - 2 - 3 = u. Is 2 + 2*18 + m a multiple of 14?
False
Let a(u) = 2*u**2 - 5*u + 2. Let v be a(5). Suppose 0 = 3*c - v - 42. Does 8 divide c?
False
Let s = 447 - 128. Is 30 a factor of s?
False
Is (-22)/99 + (-1174)/(-18) a multiple of 27?
False
Let u(m) = m**3 + m**2 + 2. Let b be u(0). Let q be (b - -1)*(-1)/3. Let l = 12 - q. Is l a multiple of 5?
False
Suppose 3*q - 181 = 2*j - j, -4*j + 116 = 2*q. Suppose -5*c = 3*h - 64, 6*h - q = h + c. Suppose -h - 3 = -2*f. Does 4 divide f?
True
Let x(c) = -c + 11. Let w be x(7). Let l be (-387)/(-3) + (-4)/w. Suppose -k + l = 5*a - 4*k, k - 4 = 0. Is 17 a factor of a?
False
Let a = -9 + 23. Is a a multiple of 8?
False
Is (1 - -2)/((-48)/(-160)) a multiple of 5?
True
Suppose -c - 4*b = -3, -5*b = 4*c - 6*b - 12. Is 2 a factor of ((-1)/1 - -3) + c?
False
Let u(w) = -w**3 - 3*w - 6. Is 12 a factor of u(-6)?
True
Suppose 0 = -4*s + 38 + 230. Does 22 divide s?
False
Suppose -3*g = -h + 7 + 5, -4*h - g = -35. Does 2 divide h?
False
Suppose 0 = 3*k - t + 22 + 1, 2*t - 14 = 2*k. Is 4 + -7 - (k + -1) a multiple of 2?
True
Let h(z) = z**3 + 4*z**2 - 3*z - 2. Let l be h(-4). Suppose s - l = 29. Is s a multiple of 12?
False
Let n = 173 + -96. Is n a multiple of 13?
False
Let p(v) = -3*v**3 + 2*v**2 + 4*v + 2. Is 14 a factor of p(-4)?
True
Suppose 16 + 40 = 4*u. Does 2 divide u?
True
Does 8 divide 2 - 4 - 32/(-1)?
False
Let u = -64 + 104. Does 19 divide u?
False
Let d(p) = p**3 + 12*p**2 + 11*p + 10. Let a be d(-11). Is 18 a factor of (a/15)/(1/27)?
True
Suppose 0 = 5*r + 3*w - 70, 4*r + 2*w - 64 = -2*w. Let z = r - 1. Is 10 a factor of z?
True
Suppose i + 255 = -4*i. Let y = 125 + i. Suppose 4*f = 20, 6*f - 2*f - y = -3*k. Does 9 divide k?
True
Suppose 10