6 = -h*n - 4*n. Does 12 divide n?
True
Suppose 2*m = -3*r - 3*m - 10, -5*r = m - 20. Suppose -5*q = 2*z, 3*q = -4*z + r*z - 11. Does 2 divide z?
False
Let g be 3/((63/(-12))/(-7)). Let p(l) = 14*l + 10. Is p(g) a multiple of 20?
False
Suppose 91 = 5*w - 5*a + 26, 5*a + 11 = -w. Suppose 0 = 2*y - 27 - w. Does 10 divide y?
False
Let q(t) = 101*t + 1. Let a = -12 + 13. Let u be q(a). Let z = u + -40. Is z a multiple of 31?
True
Suppose -4*h + 75 = 23. Let n = 30 - h. Is n a multiple of 17?
True
Suppose -5*h + 10 = 3*w + 46, 5*w + 26 = 3*h. Let b = -7 - w. Suppose b = -m - g + 17, -7 = 3*g - 1. Is m a multiple of 6?
False
Suppose 0 = -11*d - d + 3168. Does 10 divide d?
False
Suppose 5*l = 12*l. Let z(q) = -9*q**2 - 5*q - 93. Let y(c) = -5*c**2 - 3*c - 46. Let f(s) = 7*y(s) - 4*z(s). Does 10 divide f(l)?
True
Let i(n) = -n**3 - 16*n**2 - 22*n - 12. Let c be i(-15). Let k = c + -57. Is k a multiple of 9?
True
Let r(w) = -2*w**2 - 26*w + 29. Is 6 a factor of r(0)?
False
Is 6 a factor of (-2)/2 + (-11 - 0)*-12?
False
Suppose 93*l + 62 = 92*l. Let s = -17 - l. Is 4 a factor of s?
False
Let m be (-27)/6*4 + 3. Let x be (-45)/(-2)*2*-2. Does 21 divide x/(-4) - m/(-10)?
True
Suppose 88*j + 4380 = 98*j. Does 4 divide j?
False
Suppose -s + 4*q - 15 = 0, -4*s + 9 = -2*s + 5*q. Is (-106)/(-3) + 2 + 7/s a multiple of 7?
True
Let l be 18/14 + -1 + (-10824)/154. Let z = l + 161. Is 7 a factor of z?
True
Suppose 5*l - 2 = -g + 11, 5*l - 5*g = 25. Suppose -5*z = -l*a + 81, -4*a + 3*z + 119 = -0*a. Does 8 divide a?
True
Let w(l) = l**2 + 5*l + 10. Let m = -50 - -45. Is 2 a factor of w(m)?
True
Suppose -4*q + 724 = 2*l, 14*l = 16*l - 4*q - 732. Is l a multiple of 7?
True
Let g(v) = 2*v**2 - v - 1. Let w(k) = k**2 - 1. Let b(d) = -2*g(d) + 5*w(d). Let n be b(3). Let y = 50 - n. Does 12 divide y?
False
Suppose 6*n + 8*n = 154. Is (-760)/(-7) + n/((-308)/(-12)) a multiple of 16?
False
Suppose 2*v - 4*i = 258, 5*i + 670 = 2*v + 3*v. Is 15 a factor of v?
False
Let v be ((-57)/4)/((-2)/8). Does 3 divide 24/(-60) - v/(-5)?
False
Let x = -54 - -62. Is 29 a factor of (2 + 38)/(2/x) + 1?
False
Suppose 5*d = -4*f + 888, 0 = -5*f + 3 + 7. Is d a multiple of 20?
False
Let y(j) = -j**2 + j + 122. Suppose -q = -b + 4, 0 = 2*b + 2*q + q + 12. Suppose b = -2*s + 6*s. Does 33 divide y(s)?
False
Suppose 0*z + 24 = 3*z. Suppose 3*v = 5*m - m - 8, 4*v + 16 = 0. Let q = z + m. Is q a multiple of 7?
True
Let c = -510 - -289. Suppose -9*t = -13*t - 576. Let h = t - c. Does 21 divide h?
False
Let b = 142 - 137. Suppose -99 = 2*g - b*g. Is 4 a factor of g?
False
Let b be (-9)/(-2)*2/3. Suppose n = 2*s - 53, b*s + 4*n - 58 - 49 = 0. Is s a multiple of 4?
False
Suppose 3*s - 3*r = -5*r - 12, 0 = -2*r. Let g(a) = a**2 - 2*a - 5. Is g(s) a multiple of 4?
False
Let t = 1453 + -1016. Is 18 a factor of t?
False
Suppose 4*l - 15 = 3*l. Is (l/6 + -3)*-218 a multiple of 40?
False
Let k(p) = 5*p - 10. Let i(m) = m**2 - 10*m + 10. Let r be i(10). Is 14 a factor of k(r)?
False
Let a = 39 - 5. Let r(f) = -3*f**2 - 4*f. Let g be r(-3). Let l = g + a. Is l a multiple of 5?
False
Let c(v) = -v**2 - 3*v + 586. Is 8 a factor of c(0)?
False
Let g = 52 - 32. Let y = g - 9. Let f = 43 + y. Is f a multiple of 18?
True
Let g be (((-16)/6)/(-4))/(20/2550). Is g + (-6)/4*12/(-18) a multiple of 28?
False
Let w = -149 - -249. Suppose -4*a + 9*a = -w. Is 25 a factor of 6/((-72)/a)*51?
False
Suppose 4*v + 4 = 4. Suppose v = 8*i - 13*i + 525. Is i a multiple of 21?
True
Let m(f) = -90*f + 4. Let s be m(-6). Suppose s = 5*k - k. Is 32 a factor of k?
False
Suppose 3*g = 5*s + 24 + 7, 3*s - 5*g + 9 = 0. Let p = s - -13. Suppose -4*l = p*f - 236, -5*l + 5*f - 2*f = -332. Is l a multiple of 22?
False
Let t(c) = 3*c - 15. Let s be t(5). Suppose s*g - 3*g + 525 = -5*m, g - 171 = 3*m. Is 18 a factor of g?
True
Let t be (-57)/(-76)*8/(-3). Let u(q) be the first derivative of 5*q**3/3 - q**2/2 + q - 1. Is u(t) a multiple of 9?
False
Let i(h) = -45*h - 72. Does 47 divide i(-11)?
True
Let u(a) be the first derivative of 2*a**5/3 - a**4/24 + a**3/6 - 5*a**2 + 2. Let t(z) be the second derivative of u(z). Is t(1) a multiple of 20?
True
Suppose -16 = -4*b - 4*y, -2*y = b - 3*b + 8. Suppose -b*t - 3 = 13. Is -1 - (-4 + 1) - t a multiple of 3?
True
Suppose 5*k + 4*v + 56 = -0*k, 4*k = 3*v - 20. Let x = 77 - k. Is 14 a factor of x?
False
Let k(p) be the first derivative of -p**4/4 - 5*p**3/3 + 3*p**2/2 - 12*p - 8. Is k(-7) a multiple of 5?
True
Suppose 0 = 8*a - 31*a + 6647. Is a a multiple of 17?
True
Does 32 divide (-69)/(-1*(-21)/(-14))?
False
Suppose -6*f + 263 = -187. Is 15 a factor of f?
True
Suppose 0 = 94*d - 93*d + 50. Let q(x) = -3*x**2 - 7*x. Let m be q(-5). Is 11 a factor of m/d*170/4?
False
Suppose -4*a - 6 + 1 = -3*i, -5*i = -2*a - 13. Suppose -166 = 3*n - b, 3*n + 135 = i*b - 33. Let f = 102 + n. Is f a multiple of 15?
False
Let y(h) = -2*h**3 + 20*h**2 + 38*h. Is 6 a factor of y(-6)?
True
Let p(w) = -18*w + 47. Let a(q) = 18*q - 48. Let t(h) = -5*a(h) - 6*p(h). Is 6 a factor of t(9)?
True
Let u be -2 - 5/((-10)/18). Let t(x) = x**3 - 6*x**2 - 4*x - 7. Let i be t(u). Let j = -2 + i. Is 9 a factor of j?
False
Let l(r) = -9*r**3 + 6*r**2 + 4*r + 11. Let y(q) = 8*q**3 - 6*q**2 - 4*q - 11. Let c(u) = 6*l(u) + 7*y(u). Is c(5) a multiple of 30?
False
Suppose -26 = 6*n - 8*n. Suppose n*x - 16*x + 24 = 0. Does 8 divide x?
True
Let i(r) = 3*r**2 - 6*r - 4. Let m be i(3). Suppose -m*a + 140 = -4*a. Does 11 divide a?
False
Let r = 32 - 22. Let n(t) = -t**2 + 15*t - 8. Let d be n(r). Suppose 4*v = d + 50. Does 23 divide v?
True
Suppose 4*r - 3484 = -9*r. Is 18 a factor of r?
False
Let b = 20 + -21. Let l be (b/(-3))/((-20)/(-180)). Suppose -7*v + 136 - l = 0. Is v a multiple of 4?
False
Suppose -4*s = 2*v - 26, v + 5 - 21 = -3*s. Let t = v - 5. Suppose 0 = -j - 4, 2*a - t*j - 60 = j. Does 8 divide a?
True
Let n be (1/2)/((-1)/(-6)). Is 12 a factor of 98 - (18/3)/(n + -5)?
False
Let s(r) = 175*r**2 - 3*r - 13. Is 21 a factor of s(-2)?
True
Suppose 3 + 9 = -4*p. Let f(v) = -v**3 - 4*v**2 - 6*v - 6. Let r be f(p). Suppose -33 - 42 = -r*u. Is 12 a factor of u?
False
Let s be (0 + -6)*(-8)/(-24). Is 4 a factor of (-15)/(-1) - (1 + s)?
True
Suppose 26138 = 9*p - 7900. Is p a multiple of 34?
False
Suppose -5*g - q = -1670, 26*g - 21*g + 5*q = 1670. Is 29 a factor of g?
False
Is 38 a factor of 1260 + 1 + 15/3?
False
Let s = 3286 + -870. Is 16 a factor of s?
True
Suppose -j = -4, 0 = -3*s + 3*j + 615 - 138. Does 3 divide s?
False
Let p be (-17888)/(-130) + (-4)/10*-1. Let u = p - 29. Is 41 a factor of u?
False
Let i = -438 - -837. Does 71 divide i?
False
Let r be 14 + -6 + 2*-1. Suppose 216 = r*m - 3*m. Does 18 divide m?
True
Let j(w) = w**3 - 3 + w**2 - 2*w**2 - 4*w**2 + 2*w + 5. Is 22 a factor of j(8)?
False
Let x = -18 - -12. Let f(m) = -26*m - 6. Let w(j) = -13*j - 2. Let p(b) = -2*f(b) + 5*w(b). Is p(x) a multiple of 22?
False
Suppose 5*q = -2*n + 1294, -3*q + 921 = 5*n + 156. Does 26 divide q?
True
Suppose 0 = -4*m + 6*y - 2*y + 1700, 2*y = -10. Does 30 divide m?
True
Suppose 5*w - x = 3686, -2*w = -5*w - 5*x + 2206. Is w a multiple of 5?
False
Suppose -5*k - 5*q + 25 = 0, 3*k = 2*q + 2 - 7. Suppose -3*f - 4*u = -4*f + 17, -k = f + 5*u. Is 3 a factor of f?
True
Suppose -4*a = 5*f - 307 - 3100, 5*a = 2*f + 4300. Does 23 divide a?
False
Suppose 2*z = -4, 0*t + z = -3*t + 19. Suppose 6*v = t*v - 1. Suppose v = o - 9. Is 10 a factor of o?
True
Let s = 18 + -12. Suppose s*m + 9 = 7*m. Does 2 divide m?
False
Let u be (-10 - -4) + (1 - 1). Let s be 15/(0 - (-2)/u). Let b = s - -66. Is 12 a factor of b?
False
Let c(t) = -t**2 - 8*t + 13. Let f = 20 - 29. Let v be c(f). Suppose 0 = -v*y - 5*h + 84, 2*y = 4*y + 2*h - 40. Is y a multiple of 8?
True
Let p(d) = d**2 + 12*d + 1. Let n(q) = 6*q. Let z(l) = -5*n(l) + 3*p(l). Let o be z(-2). Suppose c - 17 = -o. Is c a multiple of 4?
False
Let r(w) = -17 - 17 + 10*w + 2*w - 14. Is 16 a factor of r(8)?
True
Suppose 81 + 315 = -4*t. Let k = t + 308. Does 11 divide k?
True
Let s be 4*(-2)/(-8) - (-1 + 3). Does 10 divide s/(1/(-2) + (-17)/(-38))?
False
Suppose -33*j = -28*j - 4*g - 5936, 2*g + 5938 = 5*j. Does 27 divide j?
True
Let w be 6/(-14) - 1241/(-119). Suppose -w*l = -8*l - 330. Suppose 2*f - 201 =