ltiple of 20?
False
Let c = 34 + -16. Let q = c + -11. Suppose 3*u = -q + 19. Does 2 divide u?
True
Suppose d = 4*h + 46, 3*h - 4*h + 46 = d. Is 15 a factor of d?
False
Let r(y) = 10*y**2 - 3*y - 1. Let t be r(3). Let u = t + -40. Is 20 a factor of u?
True
Suppose -19 = 4*w + 3*q, 0*w + 5*q = 2*w - 23. Let c be (-1)/3 - (-26)/6. Let p = c - w. Is 3 a factor of p?
False
Let f = -459 + 729. Is f a multiple of 45?
True
Let a(o) = -3 + 1 + 9*o**2 + 1 + 0 + o. Is a(1) a multiple of 7?
False
Let g(t) = 4*t**3 - 22*t**2 - 9*t - 9. Let c(b) = 3*b - b**3 + 0*b + 16*b**2 + 3 - 9*b**2. Let i(r) = -7*c(r) - 2*g(r). Does 12 divide i(-5)?
True
Let r(a) be the first derivative of -a**4/4 - 4*a**3/3 + a**2 + 3*a + 3. Does 9 divide r(-5)?
True
Suppose 7*j - 6*j = 7. Let u(w) = w**2 + 9*w + 0*w**3 - w**3 + 5*w**2. Is u(j) a multiple of 6?
False
Suppose 10 = 2*r, -2*r + 55 = 3*m + 3*r. Let u be (-132)/(-30) - 4/m. Let n = u - -7. Does 9 divide n?
False
Suppose 0 = -c + 3*l + 20 + 64, 5*c - 2*l = 355. Is 14 a factor of c?
False
Is 291/9 + (-1)/3 a multiple of 16?
True
Let w(y) be the second derivative of y**5/20 + 5*y**4/6 - 5*y**3/6 + 7*y**2 - 6*y. Is 16 a factor of w(-10)?
True
Suppose 8*w - 16 = 6*w. Is w a multiple of 4?
True
Let s(l) = l**2 - 2*l - 6. Is 29 a factor of s(-5)?
True
Let h be (12/(-4))/((-3)/14). Suppose -m + 3*q = 0, -2*m = -3*q + 4*q - h. Is 4 a factor of m?
False
Suppose -2*p + 5*y - 3 = -43, -p + 26 = -4*y. Is p a multiple of 3?
False
Suppose -2*a - 2*a - 208 = 0. Suppose 4*s - 163 = 5*v + 210, -136 = 2*v + 5*s. Let p = a - v. Is p a multiple of 21?
True
Suppose 0 = -4*f - 2*z, -8 - 4 = 2*f - 5*z. Let s = f + 3. Does 3 divide (-4)/(-10)*(13 + s)?
True
Let a(c) = -c**2 + 2*c + 1. Let p be a(-1). Let x be (1/p)/(2/(-516)). Suppose -3*r - v = -x, 2*r + 177 = 6*r + 3*v. Does 21 divide r?
True
Let w(q) = 6*q - 5. Does 3 divide w(3)?
False
Let t(u) = u**2 + 11*u + 14. Let n be t(-10). Suppose -4*g = s - 208 - n, -2*g = -4*s - 106. Is g a multiple of 22?
False
Let h(p) = p**2 - 4*p - 1. Let y(t) = t**3 - 6*t**2 + 4*t + 6. Let z be y(5). Let i be (z - (-2)/(-6))*9. Does 11 divide h(i)?
True
Suppose 3*c - 3*z = 192, -94 = -c - 0*c - 5*z. Suppose -4*g + 79 = -3*b, -b - c = -4*g - 0. Is 16 a factor of g?
True
Let f = 12 - -2. Is 4 a factor of f?
False
Let q(j) = -j**3 - 12*j**2 + 9*j + 6. Does 10 divide q(-13)?
False
Suppose k + 3*o + 7 = 3*k, k + 4*o + 13 = 0. Let g(a) = -20*a**3 - a**2 + a + 1. Is g(k) a multiple of 7?
False
Suppose -3*t - 2*s = -286 - 344, 2*t - 420 = s. Does 10 divide t?
True
Let w = 332 - 220. Is 16 a factor of w?
True
Suppose 3*v + 3*w - 2 = -2*v, 3*w = -4*v + 4. Let x be (-9)/4 + v/(-8). Let m(g) = -3*g**3 - g**2 + 2*g + 2. Does 5 divide m(x)?
False
Let o(b) = -b**2 - 8*b + 1. Let h be o(-7). Let n = 2 - h. Is (-22)/n - 2/3 a multiple of 3?
True
Suppose z + 3*z - v - 48 = 0, 3*z - 3*v = 45. Suppose -52 = 10*d - z*d. Does 21 divide d?
False
Suppose -59 - 61 = -5*h. Does 8 divide h?
True
Does 14 divide 1/((1/(-2))/(75/(-6)))?
False
Let m = 7 - -1. Suppose 3*b + 7 = -n + 2*n, -3*n = -2*b - 42. Let q = n - m. Does 3 divide q?
False
Let u = 3 + 1. Suppose -5*a - 45 = -u*f + 28, 4*a = 3*f - 54. Does 11 divide f?
True
Let o(z) = 2*z**3 - 6*z**2 + 2*z - 4. Let p be o(4). Is 8 a factor of ((-4)/(-6))/(3/p)?
True
Let i = 3 - 43. Let q = 5 - i. Does 15 divide q?
True
Let q(a) be the third derivative of 7*a**6/40 + a**4/24 - a**2. Let f be q(1). Let j = 43 - f. Is 12 a factor of j?
False
Suppose 2*u = -0*u + 10. Suppose -3*b - 10 = -1, 10 = 5*l + u*b. Does 4 divide l?
False
Let i(p) be the second derivative of -p**5/20 + p**4 + p**3/6 + 9*p**2/2 + p. Does 12 divide i(12)?
False
Let g(i) = 3*i - 29. Is 2 a factor of g(13)?
True
Let r = 4 + -1. Suppose r*i + 3*s = 0, 2*i + 4*s = 4*i - 18. Suppose 0 = i*p + 5*m - 44, 0 = -3*p - 4*m + 35 + 8. Is p a multiple of 6?
False
Let s(n) = 5*n**3 + 5*n**2 + 8*n - 1. Let o(k) = -6*k**3 - 6*k**2 - 9*k + 1. Let v(y) = -6*o(y) - 7*s(y). Let g be v(-2). Is 12 a factor of 0/6 + g*12?
True
Let b(w) = 4*w - 1. Let i be b(1). Let k(n) = 3*n**2 + n - 6. Let x be k(4). Suppose -2 = -i*g + x. Is 10 a factor of g?
False
Let i(u) = 3*u - 2 + 5*u - u**3 - 2*u - 4*u**2 + 7*u**2. Let z be i(4). Is 16 a factor of -3*(-2 + (-52)/z)?
True
Let x be (-1)/(-3) - 57/9. Let t = x + 14. Is 4 a factor of t?
True
Let u = 46 + 2. Is u a multiple of 12?
True
Suppose 3*p - 2*p + 6 = 0. Let a(q) = -3*q - 3. Is a(p) a multiple of 9?
False
Let m(h) = -3*h + 5. Let z be m(-5). Suppose -3*g + 1 = -z. Does 4 divide g?
False
Suppose -y - 5*v + 19 = 0, v = 3*y - 11 + 2. Is 130/5 + y/2 a multiple of 14?
True
Let w(y) = -3*y**2 + 6*y - 2. Let u(i) = i - 1. Let d(p) = 3*u(p) - w(p). Is d(3) a multiple of 6?
False
Let u(r) = r**2 + r + 11. Let b be u(0). Let q = b - 6. Suppose 3*j = -5*n + 56, -q*n = 4*j - 55 - 3. Is n a multiple of 5?
True
Suppose -z - 13 = 5*o, -2*z - 1 + 5 = 0. Suppose 2*j + 18 = -0*j. Let i = o - j. Is 6 a factor of i?
True
Let f be -1 - (2 - 2 - 1). Suppose 4*y = -2*n + 60, f*n - 2*n + 9 = y. Is y a multiple of 5?
False
Let l = -1 + 3. Suppose -l*f + 3*r = -7, -2*f + 15 = r + 4*r. Is 2 a factor of f?
False
Let z be (3 + 2 + -5)*1. Suppose 4*d - 88 + 8 = z. Is 12 a factor of d?
False
Let x be 5/(-10)*2/(-1). Let o be (0 + x)/(3/(-18)). Let y = o + 38. Does 14 divide y?
False
Let w = -2 - -5. Suppose 0 = -w*n + 4*n - 3*x - 22, -4*n + 61 = -3*x. Does 13 divide n?
True
Suppose 123 = 2*g + 3*r, -2*g + 2*r + 3*r + 115 = 0. Does 20 divide g?
True
Let h be 1/(8/(-6))*-76. Suppose -5*l = -h - 33. Does 14 divide l?
False
Suppose -4 = -k + 4. Is k a multiple of 4?
True
Suppose -6 = -2*o, t + 0*o = -5*o + 19. Suppose 0 = -m + t*m - 33. Does 3 divide m?
False
Let q(k) = k. Let u be q(-4). Let l(s) = -4*s - 3. Let i be l(u). Let g = i - 4. Does 9 divide g?
True
Suppose 8*t - 3*t - 2*k = 683, t - 3*k - 134 = 0. Is t a multiple of 14?
False
Let o(h) = -h**3 + 7*h**2 - h + 9. Let c be o(7). Suppose c*u = -3*q + 193, 2*u - 256 = -6*q + 2*q. Is q a multiple of 21?
True
Let u(r) = 8*r**2 - 1. Suppose 2*g = 4*g + 4. Let m = g + 3. Is u(m) a multiple of 5?
False
Let h(s) = -s**3 + 8*s**2 + 3*s. Let o be 14/(-21) + 52/6. Does 8 divide h(o)?
True
Let o = -81 - -36. Is 6 a factor of (-4)/10 + (-1278)/o?
False
Suppose -4*w = -6 - 10. Suppose 10 = 3*o - 2. Suppose o*b + w*j - 20 = -0*b, 0 = -2*b - j + 13. Is b a multiple of 2?
True
Suppose u + 8 = -2*x, 25 - 1 = 2*u - 4*x. Suppose 0 = 4*r, 0 = 2*w - 0*w + u*r - 10. Let f(c) = c**3 - 5*c**2 + 4. Is f(w) a multiple of 2?
True
Let s(h) = -2*h + 0 - 9*h + h + 2. Does 8 divide s(-2)?
False
Suppose -55 + 171 = 4*r. Let q = -11 + r. Is 9 a factor of q?
True
Suppose -3*b - 4*g - 341 = -6*b, -3*g - 228 = -2*b. Is b a multiple of 7?
False
Is 2/4 - 2*537/(-12) a multiple of 15?
True
Let l(u) = 2*u**2 + 4*u + 3. Suppose -5*o + 3 = 18. Is l(o) a multiple of 3?
True
Let n(s) = s**2 - 3*s - 2. Let h be n(3). Does 26 divide (-302 + h)/(-4) + 4?
False
Suppose 8*t - 3*t = -5. Let j be t*5*(-15)/25. Does 9 divide -2 + ((-66)/j)/(-2)?
True
Let j(t) = 77*t**2 - t. Does 18 divide j(-1)?
False
Let d = 393 - 281. Is 18 a factor of d?
False
Suppose 8*n = 4*n, 5*x - 4*n - 505 = 0. Does 41 divide x?
False
Let t = -587 - -839. Suppose -2*j - 2*j = -t. Is j a multiple of 21?
True
Suppose 3*u - 5*u = -2, -5*u = -h + 82. Let o = h - 53. Does 34 divide o?
True
Let z(f) = -f**3 - 6*f**2 - f - 3. Let r be z(-6). Let b = 1 + 19. Suppose r*a - b = a. Does 6 divide a?
False
Let m be 3 + 2*596/8. Let x = -80 + m. Is x a multiple of 22?
False
Let y be (-4)/6 + 6/9. Suppose 2*f - 125 - 103 = y. Is f a multiple of 31?
False
Is 18 a factor of 800/14 - (-4)/(-28)?
False
Suppose -k - q + 5 = 4*k, 0 = -2*q - 10. Suppose -2*l - k*t + 30 = 0, 4*t + 3 = -5. Does 7 divide l?
False
Suppose w + 0*w = 25. Suppose -w = -m + 2. Is 9 a factor of m?
True
Let y(l) = -l**3 - 14*l**2 - 29*l - 4. Does 14 divide y(-12)?
True
Let m(r) = 2*r**3 - r + 1. Let f be m(1). Suppose 1 = f*o - 7. Suppose -76 = -o*y + 36. Does 11 divide y?
False
Let c = 21 + -15. Does 2 divide c?
True
Let l = 48 + 15. Is 21 a factor of l?
True
Suppose -37 = -b + 36. Is 6 a factor of b?
False
Let i = -144 - -243. Is 33 a factor of i?
True
Let y be -1*6*2/(-4). Suppose -2*s + y*s = 3