 of 20?
True
Let j = 6 + -7. Let m be j*(-18 - (2 - 3)). Suppose z = -5*f + m, -2*f = -5*z - 0*f + 31. Is z a multiple of 3?
False
Let k = -15 - -140. Does 14 divide k?
False
Let p(c) = 2*c**2 - 25*c + 19. Is 6 a factor of p(13)?
False
Suppose -2*a + 4*v = -0*v + 10, 4*v = 5*a + 19. Let w(z) = z**2 - 5*z - 3. Is 7 a factor of w(a)?
True
Let z = -44 - -62. Let p = z - 26. Is 194/8 - (-2)/p a multiple of 24?
True
Let t be -3 + 4 - (0 + -1). Suppose -4*w - f = -22, t*w - f = -w + 13. Does 5 divide w?
True
Let g(j) be the second derivative of 13*j**4/3 + j**3/6 + 2*j. Is g(-1) a multiple of 17?
True
Suppose p = 4*a - 0*a - 619, p - 466 = -3*a. Is a a multiple of 43?
False
Suppose 3*n - 8 = -0*n - f, 0 = -2*n - f + 4. Suppose i = -3*d - d + 18, -n*d + i + 14 = 0. Suppose 2*p - d*p + 24 = 0. Is 11 a factor of p?
False
Let u(l) = -l + 1. Let r be u(-3). Suppose 3*q + 43 = r*w, -2*w + 4*q = -11 - 3. Does 7 divide w?
False
Let b(x) = -x**3 + 10*x**2 - 11*x. Suppose 5*k + 3*p = 4*p + 35, -2*k = 3*p - 31. Let m be b(k). Let v = m + -6. Is v a multiple of 17?
True
Suppose 5*v - 280 = -5*n, 2*n + 0*n - 5*v = 84. Let z = -27 + n. Is 21 a factor of z?
False
Suppose b = -5*z + 21, -9 = 3*b - 5*z + 8. Let c(m) = 5*m + 1. Let y be c(b). Is y*(-33)/(-18)*3 a multiple of 12?
False
Suppose 2*d + 3*n = -21, 3*d - n + 33 = d. Let a be ((-936)/d)/(-4)*5. Let s = -50 - a. Is 10 a factor of s?
False
Suppose 1 = -3*s + 2*s. Let a be s*3/12*-4. Does 4 divide 8*a/2*1?
True
Let s(b) = -2*b + 5. Is s(0) a multiple of 3?
False
Is 2 - 1/(-1) - -6 even?
False
Suppose 0 = 4*x - 314 - 214. Is x a multiple of 22?
True
Suppose -l = 3*l - 2*r - 698, r - 855 = -5*l. Suppose 6 = 2*t, -5*t + 31 = -4*b + l. Is 13 a factor of b?
True
Let v be (-870)/(-45)*3/(-2). Let i = -15 - v. Is i a multiple of 7?
True
Let d = 7 + 4. Let g = d + 93. Is g a multiple of 24?
False
Let y = 4 - 8. Let w = y - -6. Is 5 a factor of (-2)/(-4) - (-9)/w?
True
Let b = 155 + 34. Is 10 a factor of b?
False
Let l be (-259)/(-21) - 2/6. Let x = l - 20. Does 13 divide (-188)/(-5) - x/20?
False
Suppose -2*p + 4 = -3*p. Let i = p - -5. Does 6 divide (i - 10)*(-2)/3?
True
Let b = -15 - -21. Suppose q = u + 16 - b, -5*u - 20 = 0. Is 2 a factor of q?
True
Let t(p) = p**2 - 6*p - 3. Let k be t(7). Let n be (k/(-5))/(2/(-1340)). Does 10 divide (-2)/(-9) + n/18?
True
Let m(q) = -q**3 - 6*q**2 - 5*q - 1. Let a be m(-5). Is ((-7)/(-3))/(a/(-3)) even?
False
Let y(m) = 19*m**2 + 4*m - 6. Let q be y(5). Let x be (-3)/(-12) - q/(-12). Suppose 43 = 3*d - x. Is d a multiple of 14?
True
Let r(p) be the first derivative of 2*p**2 - p - 1. Suppose -4*b + 5 = -3*b. Does 12 divide r(b)?
False
Is 6 a factor of (-124)/(-7) + 6/21?
True
Suppose 5*v + 2*t + 18 = -158, 0 = -3*v + t - 99. Suppose 2*o = 10*o + 144. Let f = o - v. Is 8 a factor of f?
True
Suppose -2*v = 3*v. Suppose a + 0*a = 7. Suppose v = p - a + 2. Is p a multiple of 3?
False
Let j(f) = f**2 - f - 46. Let p be j(0). Let u = p - -68. Is u a multiple of 9?
False
Suppose -3*h + 179 = -3*b + 4*b, 0 = -4*h - 2*b + 238. Suppose 6*y - y = h. Is y a multiple of 4?
True
Let a(b) = b**3 + 24*b**2 - 6*b - 19. Is a(-24) a multiple of 25?
True
Let h(b) = -9*b - 47. Does 7 divide h(-6)?
True
Is 20 a factor of 1 - -1 - (-17 - 41)?
True
Let c(v) = 16*v**2. Is 5 a factor of c(-1)?
False
Let h(c) = -5*c**2 + 6*c - 1. Let d(v) = -v**2 + v. Let y be (-4)/1 + (0 - 2). Let o(w) = y*d(w) + h(w). Is o(-6) a multiple of 16?
False
Let h(n) = 2*n**3. Is 16 a factor of h(2)?
True
Does 28 divide (33/(-12))/((-4)/64)?
False
Let t be 44/12 + 2/6. Let a = -1 + t. Does 3 divide a?
True
Let c = -87 + 123. Does 6 divide c?
True
Let t(f) = 9*f - 18. Is 27 a factor of t(8)?
True
Let h = -18 + 21. Suppose -2*z - 3*b + 89 = h*z, b = z - 13. Is z a multiple of 8?
True
Let q be (-2)/(-6) + (-129)/9. Let w = q - -6. Is 3 a factor of 2/(-4)*w + -1?
True
Let f be -2 + 1 - (-24 - -1). Let n = f - 13. Is 17 a factor of 224/(-12)*n/(-6)?
False
Suppose -3 - 3 = -2*m. Suppose -y + 21 = 3*p, -4*y + m*p = -2*y - 15. Is y a multiple of 5?
False
Suppose 6*h - 2*h = 0. Suppose 0 = -5*x - 6 + 46. Suppose -3*r + h*o = -o - 23, -x = 4*o. Is r a multiple of 7?
True
Let u(c) = -c**2 + 10*c + 12. Suppose -3*f + 4*v = -0 - 34, 29 = 3*f + v. Is u(f) a multiple of 7?
False
Does 19 divide (-129)/(-2)*(-22)/(-33)?
False
Let m = -9 + 11. Suppose m*g = 27 + 3. Does 15 divide g?
True
Let l be (-30)/24 + 1/4. Is 20 a factor of -45*(28/(-12) - l)?
True
Let x(d) = -d**3 - 8*d**2 - 2*d + 10. Let f be x(-8). Let j be 98/6 - 3/9. Let n = f - j. Does 10 divide n?
True
Let j be 3234/15 - 4/(-10). Suppose 2*z - 2*c = -c - j, 2*z + 216 = 4*c. Is 12 a factor of 2/(3/z*-3)?
True
Suppose -5*y - 14 - 8 = 3*s, -s + 1 = 0. Let k = y + 6. Does 13 divide -1 + 27 - 0/k?
True
Let n = -7 - -11. Suppose -p = n - 10. Does 6 divide p?
True
Let a(k) = -k - 9. Let t be a(7). Let b = 51 + t. Is 16 a factor of b?
False
Let n = -1 + -5. Suppose 0*l + 5 = 5*l. Is n/3*(-2)/l a multiple of 4?
True
Let r = 153 + -93. Is r a multiple of 12?
True
Let m = -4 + 6. Is 6 a factor of m + 8 + -2 + 2?
False
Let p be (-23)/(-4) + 2/8. Let y(s) be the second derivative of -s**5/20 + s**4/2 + s**3/3 - 2*s**2 - 10*s. Is 8 a factor of y(p)?
True
Let o(m) be the second derivative of -m**5/20 - 2*m**4/3 - 4*m**3/3 + 7*m**2/2 - 3*m. Is o(-7) a multiple of 12?
False
Does 6 divide 17/51 + (-20)/(-3)?
False
Does 26 divide 0 - (8/4 - 2 - 260)?
True
Let t be (1 - 0)/((-2)/(-542)). Let r = 186 - t. Let l = -53 - r. Does 16 divide l?
True
Let g(z) = z - 2. Let c be g(8). Suppose -c*f = -f - 360. Is f a multiple of 20?
False
Let o = 5 - 2. Suppose -60 = -2*s - o*s. Is 12 a factor of s?
True
Let g be -3*4/(-6) + -1. Does 9 divide 160/15 + g/3?
False
Let m be 9 + 3/(-1) + 1. Is 3 a factor of (5 + -2 - m)*-2?
False
Let u(b) = b**2 + 4*b - 4. Is u(-6) a multiple of 8?
True
Let t(v) = v**2. Let h(c) = -15*c**2 + 4*c - 2. Let r(l) = -h(l) - 5*t(l). Does 17 divide r(2)?
True
Let h(c) = 29*c**2 + 2*c + 1. Let g be h(-1). Suppose -2*z - 135 = -4*r + r, -3*r - 4*z = -117. Let a = r - g. Is 15 a factor of a?
True
Let p(k) = -k**2 - 11*k + 2. Let a be p(-11). Suppose -5 = -l - 5*f + 7, -a*f = -l + 33. Does 9 divide l?
True
Let j = -72 - -116. Is j a multiple of 11?
True
Let k be 2/(-1*2)*-2. Suppose 0 + k = -j. Is (2/j)/((-1)/22) a multiple of 9?
False
Let s be (0 - 3)/((-45)/60). Suppose -2*o - o + s*k + 10 = 0, k - 20 = -3*o. Is 2 a factor of o?
True
Does 5 divide (30/7 - 4) + (-243)/(-7)?
True
Let y = 32 - 0. Is 5 a factor of (y/(-6))/((-2)/6)?
False
Suppose -7*k + 2*k + 5 = 4*s, -s + 3*k + 14 = 0. Suppose -s = h, -140 = -3*y + 3*h + 19. Does 16 divide y?
True
Suppose 0*m + 20 = m - 2*j, 4*m - 71 = -j. Does 9 divide m?
True
Let m(a) = a**2 + a - 4. Let u be m(7). Is 13 a factor of 668/u + 4/26?
True
Let n(m) = -2*m + 20. Does 12 divide n(-8)?
True
Suppose -3*l = 5*q - 293, 2*q - 132 = 2*l - 2. Is q a multiple of 11?
False
Is 2 a factor of 9/2*(-20)/(-45)?
True
Let f = 60 - 0. Is 15 a factor of f?
True
Suppose 5*l - 2*p = -50, l - 4*p + 7 + 21 = 0. Let x(w) = w + 3. Let u be x(-4). Let n = u - l. Is n a multiple of 7?
True
Suppose j - 16 - 11 = -4*t, 0 = 4*j + t - 123. Is j a multiple of 3?
False
Let q(x) = -2*x**3 - 2*x**2 + 3*x + 3. Let o be q(-2). Suppose o*n = 7*n - 8. Suppose -n*i = -0*i - 96. Is 17 a factor of i?
False
Does 37 divide (-2 - 21/6)*(1 - 39)?
False
Let q(k) = -9*k**3 - 2*k**2 - 4*k - 6. Is q(-3) a multiple of 21?
True
Let k be (-4)/14 + 1728/21. Suppose v + 3*c = -2*c + k, -v + 3*c = -50. Suppose 3*h = h - 2*n + 56, -2*h = -n - v. Does 15 divide h?
True
Let k be (-522)/(-14) + 2/(-7). Suppose -4*i + 3*i = -k. Let r = i + -22. Is r a multiple of 15?
True
Suppose 0 = 4*r + 4*f - 8, -3*f + 1 - 10 = -2*r. Let i(g) = 0 + 2 + 0*g - r*g. Is 7 a factor of i(-6)?
False
Is 7 a factor of (-5*(-5 + 3))/((-10)/(-55))?
False
Suppose 107 = -p + 1. Let j be 1/((-2)/p) + -1. Let o = j + -25. Is 14 a factor of o?
False
Suppose 3*k + 5*n = 60, k - 4*n + 38 = 3*k. Does 13 divide k?
False
Let a(o) = -o + 7. Let m be a(-5). Let i(t) = -26*t - 1. Let q be i(-1). Let h = q - m. Is h a multiple of 9?
False
Suppose -5*q - 2*g = -0*g - 78, -q - g = -18. Suppose -3*m - 2 = -q. Suppose 0 = -4*h - 0*h + 4*o + 56,