 ((-3)/(-5))/(6/w) a multiple of 11?
True
Suppose p + 3*c = 198, -5*p + 0*p = 4*c - 1001. Is 34 a factor of p?
False
Let q = 28 + 32. Does 20 divide q?
True
Let n(q) = -q**3 - q**2 + 7. Suppose 4*i = l - 3, 3*i - 5*l = -i - 15. Does 4 divide n(i)?
False
Let d(b) = 3*b**2 - b + 1. Is 5 a factor of d(-2)?
True
Let b(w) = w**2 - w + 1. Let r be b(-4). Let v = r - 15. Suppose v = f + f. Does 3 divide f?
True
Suppose 5 = 4*k + 29. Is 11 a factor of (-63 - k/2)/(-1)?
False
Suppose 5*y + 5*s - 1680 = 0, -3*y + y + 5*s = -679. Let k = y - 226. Is 37 a factor of k?
True
Suppose -2 = -h + 3. Suppose 6*b = b + h*n + 20, 4 = 3*b - 5*n. Does 7 divide b?
False
Suppose 0*f + 18 = -3*f + 3*c, -3*f + 22 = 5*c. Is 5 a factor of f/(-3) - (-290)/30?
True
Let x(o) = 7*o - 4. Let h be x(4). Let j = 46 - h. Does 6 divide j?
False
Let o = 7 - 11. Does 15 divide ((-16)/(-3))/(o/(-30))?
False
Let i = 25 + -15. Is i a multiple of 3?
False
Let l(k) = 4*k**2 + 3*k - 2. Does 34 divide l(-4)?
False
Let y(b) be the first derivative of 2 - 4*b + 0*b**2 + 1/3*b**3. Is 3 a factor of y(-3)?
False
Let n = 272 + -83. Is 27 a factor of n?
True
Let i = -51 + 114. Is i a multiple of 21?
True
Suppose -369 = -3*p - 3*m, -2*m + 127 = p + m. Is 13 a factor of p?
False
Suppose -24 = 4*v - 160. Let x = -15 + v. Is 10 a factor of x?
False
Let k(y) = -3*y**2 - 20*y - 20. Let z(x) = 2*x**2 + 13*x + 13. Let u(n) = -5*k(n) - 7*z(n). Is u(-11) a multiple of 31?
True
Let j = -93 + 65. Let k = j - -54. Is 13 a factor of k?
True
Let t = -2 - -26. Suppose -u = u - t. Does 12 divide u?
True
Suppose 3*d + 3*h = -0*h + 69, d - 2*h - 20 = 0. Is d a multiple of 22?
True
Let o = -49 - -85. Is 9 a factor of o?
True
Let y(b) = 2*b**3 + b**2. Let a be y(-1). Let n be 2 - (3 + -2 - a). Suppose 2*z - 1 = o - 25, n = 2*z - 4. Does 14 divide o?
True
Let r = -49 + 34. Let w = -11 - r. Let q = w - -6. Does 5 divide q?
True
Suppose 0 = -j + 4*j - 2*h + 61, 4*j + h = -96. Let p = -6 - j. Is p a multiple of 4?
False
Is 31 a factor of 2 - (-3012)/20 - (-2)/5?
False
Let p = 6 - 6. Suppose 0*r + 3*r - 54 = p. Does 14 divide r?
False
Let c(b) = 2 + 15*b**2 - 19*b**2 - 1. Let y be c(-1). Is 14/y*3/(-2) a multiple of 5?
False
Let n be (-2)/(-5)*20/2. Let m = 2 + n. Does 6 divide m?
True
Suppose 0 = 3*w - 83 - 268. Is w a multiple of 28?
False
Suppose -21 = -y + 18. Does 13 divide y?
True
Suppose 0 = -5*c + 10 + 5. Suppose -c*r + 87 + 24 = 0. Is 21 a factor of r?
False
Suppose -3 - 6 = -3*y. Suppose -2*x = b + 2*x + 17, 5*b + y*x = 0. Suppose 5*g = -b*h + 128, 2*h + h = 2*g - 68. Is g a multiple of 14?
True
Let w(g) = g**3 + 7*g**2 - 3*g + 7. Let u be w(-6). Suppose -u = 5*d + 169. Does 14 divide -3 + (3 - 3 - d)?
False
Let b(u) = 3*u**2 + 3*u - 2. Suppose -2*l - 16 = 2*l. Is 17 a factor of b(l)?
True
Let i = 77 - 24. Is i a multiple of 31?
False
Suppose 0 = 5*m - k - 19, -3*m - 4*k = -6 + 13. Suppose 2*b + 7 + 10 = m*y, 0 = y - 4*b - 19. Suppose -4 = -y*x + 8. Is x a multiple of 4?
True
Suppose 3*r = 3, 5*c - 2*r + 7 - 25 = 0. Suppose c*o = 5*o - 46. Suppose 3*h - h = o. Is h a multiple of 9?
False
Suppose 0 = 5*p - 3*y - 105, 4*y + y + 47 = 3*p. Let l = 35 - p. Does 10 divide l?
False
Let a = -11 + 47. Is 12 a factor of a?
True
Let l be 9/(-3)*1 - -3. Suppose l = -0*s + 4*s - 12. Suppose -k - 20 = -s*k. Is k a multiple of 5?
True
Let u be -1 + (-1)/((-1)/6). Let z(w) = -4*w + u*w - w**3 - 2*w + 10 + 8*w**2. Is z(8) even?
True
Let o(y) = y**2 - y - 4. Is o(4) a multiple of 2?
True
Let q(s) = -s**2 - 16*s. Is q(-9) a multiple of 10?
False
Let y be 9/6 - (-25)/2. Is (-2 + 3)/(2/y) a multiple of 7?
True
Let t(p) = -p**3 + 2*p**2 - p + 1. Let d be t(2). Let u(x) = -7*x**2 - 6*x + 3. Let g(v) = 8*v**2 + 7*v - 4. Let z(j) = -4*g(j) - 5*u(j). Does 2 divide z(d)?
True
Let w(g) be the second derivative of -1/2*g**2 + 1/20*g**5 - g + 0 + 5/6*g**3 + 7/12*g**4. Is w(-5) a multiple of 12?
True
Let v(r) = -r. Let c(a) = a**2 - 4*a - 9. Suppose -1 + 20 = -3*w + t, -w - 7 = -t. Let z(y) = w*v(y) - c(y). Is 10 a factor of z(8)?
False
Let l be 24/(-20)*(-10)/4. Suppose 12 = 3*h, 2*u - l*h = 82 - 22. Suppose -4*k + 36 = -4*d, 0*k + 2*k + 4*d = u. Does 4 divide k?
True
Let l(f) = 3*f**2 - 4*f - 2. Let y(s) = -5*s - 1. Let k be y(-1). Does 10 divide l(k)?
True
Suppose -3*d + 15 = 2*d. Suppose 2*u - 220 = -d*u. Let q = 70 - u. Is 13 a factor of q?
True
Let y = -63 - -88. Does 25 divide y?
True
Let m(b) = -3*b**3 - 13*b**2 - 6*b - 5. Let h(v) = 0 - v + 3*v**3 - v**2 - 4*v**3 - 1. Let q(y) = -2*h(y) + m(y). Is q(-11) a multiple of 14?
False
Let u = -1 + -6. Let t(l) = -l**3 - 6*l**2 + 2*l - 5. Is t(u) a multiple of 11?
False
Let k = 4 - 4. Suppose b + 5 - 6 = k. Does 7 divide 35/b*4/10?
True
Suppose 29 = -4*a - 15. Let q = -5 - a. Suppose 5*k = 3*o + k - q, -3*k = o - 15. Does 5 divide o?
False
Let b(l) = -l**3 + 5*l**2 - l + 7. Let r be b(5). Suppose w + r*w - 2*o - 76 = 0, -o + 79 = 3*w. Let x = -16 + w. Does 4 divide x?
False
Let f(t) = -4*t**3 + 5*t**2 + 6*t + 5. Let h be f(-5). Is 22 a factor of (-2)/3 - h/(-9)?
True
Suppose 3*f - 719 = g, -f = 2*f + 3*g - 699. Is f a multiple of 34?
True
Suppose 20 = 4*k - 0. Suppose n + 2034 = 4*s, 447 = -5*s - k*n + 2977. Is 21 a factor of s/12 - 1/3?
True
Let b = 114 + -74. Is 5 a factor of b?
True
Suppose -5*z + 24 = -2*a, 7 = 4*z + 3*a - 3. Suppose -2*t + t = -3. Let w = t + z. Does 3 divide w?
False
Let i(u) = -u**3 - u**2 + 2*u + 3. Let t be i(-2). Suppose t*b - 112 = -2*x, -78 = -2*b + 3*x - x. Is b a multiple of 12?
False
Suppose -5*z = -97 - 3. Suppose q - 6 - z = 0. Does 4 divide q?
False
Let j(k) = -9*k + 2. Suppose -o - 10 = -2*n, 4*n + o + 3*o = 20. Let m = 3 - n. Is j(m) a multiple of 10?
True
Suppose 2*t - 4*i - 2 = -0*t, 4*i = 16. Let n = 7 + t. Is 16 a factor of n?
True
Let b(y) = -y + 9. Let a be b(7). Does 16 divide (-116)/2*a/(-4)?
False
Let l(w) = -5*w - 11. Let k(h) = -14*h - 33. Let s(d) = -6*k(d) + 17*l(d). Is 5 a factor of s(0)?
False
Let y(p) = -5*p - 4*p + 6*p + 8 + p**2. Let t be y(7). Suppose -k = k - t. Does 14 divide k?
False
Suppose -9*x = -x - 192. Does 6 divide x?
True
Is (-32)/2*(-14)/7 a multiple of 3?
False
Let d = 3 + -2. Let t be d*(-1 + 1 + 0). Suppose t = 5*n + 4*v - 103, 2*n - 26 = 4*v + 4. Is n a multiple of 14?
False
Suppose i + 4 = -3*k, -3*i + 5*k + 4 = 6*k. Let b(g) = 0*g**2 - 2*g**2 + 3*g**3 + 5 - 7. Does 8 divide b(i)?
False
Suppose -m + 4*g + 117 = 0, m + 14 - 122 = -5*g. Let b = m + -74. Is b a multiple of 13?
True
Let d be 7/2 - 2/4. Let o be ((-3)/5)/((-1)/(-15)). Is (o - d)/(2/(-5)) a multiple of 15?
True
Let t be ((-3)/(-2))/(2/(-4)). Let r(j) = 3 - j**2 - 2*j**2 + j**3 + 7*j**2. Is r(t) a multiple of 12?
True
Let c(o) = 2*o + 2 + o**3 - 4*o**3 - 2*o**2 + 2*o**3. Let z be c(-2). Does 2 divide 3/((-6)/z)*5?
False
Let f = 0 + 5. Suppose -1 = -j + f. Is 9 a factor of j/(-8)*(-24)/1?
True
Let s(n) = -n**2 + n. Let j(p) = -2*p**2 + 10*p + 6. Let d(v) = -j(v) + 3*s(v). Let l be d(-6). Suppose 0 = -l*c - c + 5. Is c a multiple of 5?
True
Suppose 5*m = -0*m + 315. Let y be (m + -3)*3/(-6). Let a = y - -52. Does 7 divide a?
False
Let x be 63/(-28)*40/(-6). Let o = -2 + x. Is 13 a factor of o?
True
Let d = 5 + -3. Is 2 a factor of 34/6 + d/(-3)?
False
Let w = 21 + 16. Is w a multiple of 4?
False
Suppose -3*j - 3*n + 120 = -0*n, -2*j - n + 75 = 0. Suppose -3*c + j = 2*c. Let w = 37 - c. Is 8 a factor of w?
False
Suppose 2*r - q = 2*q - 24, -5*r - 42 = -3*q. Let g(k) = k**3 + 5*k**2 - 8*k + 5. Does 7 divide g(r)?
False
Is 6 a factor of (-28)/(-5) + 6/15?
True
Let b = 20 + -8. Let j = b - -2. Is j a multiple of 14?
True
Suppose -4*x = 4*r + 8, 0 = -2*x - r - 2*r - 2. Suppose -q - 3*n = n - 2, -3*q = 2*n - 6. Does 12 divide 65/q + x/8?
False
Suppose 4*u - 159 = 385. Is 17 a factor of u?
True
Does 9 divide ((-36)/10)/(1/(-5))?
True
Let h be (3/3)/((-1)/(-3)). Suppose 0 = -k - s, -h*s - 5 = 2*s. Let n = k - -32. Is n a multiple of 13?
False
Let a(b) = b**3 + 8*b**2 - 3*b - 19. Let n be a(-8). Suppose 4*u - 261 = 5*s, 2*s - 120 = -n*u + 165. Is u a multiple of 21?
False
Let y = -7 - -11. Suppose -142 = 5*n - 502. Suppose y*t = t + n. Is t a multiple of 12?
True
Let x = -175 - -114. Let d = x - -105. Let t = 79 - d. Does 9 divide t?
False
Suppose 4*h - 3 = 5. Let o