 = -y - 5*c - 0*c + 21, -135 = -3*y + 3*c. Is y a multiple of 5?
False
Let m(x) = x**3 - 5*x**2 - x + 6. Let n be m(5). Is (2/4)/(n/24) a multiple of 6?
True
Let w be (0 - -128) + (-6)/(-2). Suppose 4*y + 27 = w. Is 8 a factor of y?
False
Let m(z) = -10*z - 7. Let t be m(-7). Let w = -29 + t. Is 7 a factor of w?
False
Suppose 0 = 7*v - 239 - 153. Is v a multiple of 7?
True
Suppose -107 + 431 = 4*t. Is t a multiple of 29?
False
Suppose 3*l = 2*l + 90. Let k be 1*-2*12/(-4). Suppose -q - l = -k*q. Does 9 divide q?
True
Let j = 275 + -85. Suppose -2*a - 2*r + 10 = 2*r, 2*a - 10 = -3*r. Suppose j = a*i - b, -2*i + 79 = b - 2*b. Is i a multiple of 10?
False
Let l(n) = 19*n + 10. Does 35 divide l(8)?
False
Let l(o) = o**3 - 7*o**2 + 7*o + 6. Does 4 divide l(6)?
True
Suppose 3*j = 7*j - 16. Is (0 - -20)*5/j a multiple of 12?
False
Let b be (-3 + (-9)/(-3))/(-2). Suppose b = -0*i + 3*i. Suppose i = -0*f + f - 11. Is f a multiple of 4?
False
Let r(x) = 12*x - 1. Let f(k) be the second derivative of k**5/20 + 5*k**4/12 + k**3/6 + 7*k**2/2 + 2*k. Let u be f(-5). Is r(u) a multiple of 14?
False
Suppose -14 = -3*i + 61. Is i a multiple of 25?
True
Let z(v) = v**3 + v**2 - v + 47. Suppose -4*p = -7*p. Does 14 divide z(p)?
False
Let q = -2 + 1. Let p(j) = 17*j**2 - j - 1. Is p(q) a multiple of 6?
False
Let d = 92 + 114. Is d a multiple of 13?
False
Let f be (1 - 0)/(3/12). Suppose f*m = 25 - 5, 5*s = 3*m + 10. Let r(o) = o**3 - 6*o**2 + 8*o - 6. Does 4 divide r(s)?
False
Let d be (-54)/(-7) + (-6)/(-21). Let w be d*(9/6 - 1). Suppose -3*a = g - 34, w*a - 5*g = a + 64. Is 13 a factor of a?
True
Let b(s) = -s**2 - 7*s - 4. Let r be b(-6). Suppose 3*z = 2*g - 1 - 25, -z = -r. Is g a multiple of 7?
False
Suppose 3*b - 23 - 13 = 0. Let k = b + -7. Does 3 divide k?
False
Let g(l) be the first derivative of l**2 - 1 + 1/3*l**3 - 3/4*l**4 + 2*l. Is 14 a factor of g(-2)?
False
Suppose -i = 11 - 49. Is 4 a factor of i?
False
Let u = -6 + 3. Let w be 2 - (1 + -12) - u. Suppose 5*j - 5*r + 0*r = 160, w = -4*r. Does 15 divide j?
False
Let b(x) = x**2 + 11. Is b(-5) a multiple of 36?
True
Let m(v) = v**3 + 5*v**2 + 7. Let z = -86 - -61. Let h be (z/15)/(2/6). Is m(h) even?
False
Let f = 53 + -13. Is 10 a factor of f?
True
Suppose 0 = -14*i + 22*i - 2352. Is i a multiple of 21?
True
Does 7 divide (280/(-12))/((2/3)/(-2))?
True
Let v(r) = -r**2 + 8*r - 6. Let f be v(6). Let c be (f + -3)/(2/78). Is 5 a factor of 1/4 - c/(-12)?
True
Let r(v) = 23*v - 1. Is 15 a factor of r(2)?
True
Let c(n) = -n**2 + 7*n - 3. Let i be c(5). Let u = i + -2. Is 5 a factor of u?
True
Let p(b) be the second derivative of -b**3/3 + 2*b. Let f be p(-2). Suppose -f*m + 15 = -1. Is 3 a factor of m?
False
Let f(m) = 4*m - 3. Suppose s + 3*s = 20. Suppose 5*d - s = 0, -2*v = -3*d - 4 - 1. Is 13 a factor of f(v)?
True
Let f(j) = -3*j + 3. Let s be f(-5). Let w = -3 - -1. Let i = s + w. Does 10 divide i?
False
Suppose 22*v + 13 = 23*v. Is 4 a factor of v?
False
Suppose 3*s - 1 = -7, -2*a = s - 38. Suppose 0 = -3*t - t + a. Suppose t*y + 4*w = -w + 40, 0 = -3*y + 4*w + 52. Is 5 a factor of y?
False
Suppose -11*a - 1568 = -18*a. Does 32 divide a?
True
Is 26 a factor of -5*1*(-840)/75?
False
Suppose 2*h - 16 = h. Suppose 3*z - 97 = -h. Does 9 divide z?
True
Suppose -2*t = -5*t - k + 156, 4*t - 208 = 5*k. Is 13 a factor of t?
True
Suppose -s = -5*s + 108. Suppose -i + s = -0*i. Is i a multiple of 12?
False
Suppose -t + 1 + 3 = 0. Suppose -3*f = -5*k + 237, 35 = -t*k + 5*f + 222. Is 16 a factor of k?
True
Suppose 0 = -5*i + 3*k - 10 - 15, -2*i - 3*k = 31. Let v(m) be the first derivative of -m**4/4 - 8*m**3/3 - 3*m**2/2 - 11*m - 12. Is 9 a factor of v(i)?
False
Suppose 0 = 5*h - l - 52 - 276, -4*h + 2*l + 266 = 0. Suppose x + 111 = 2*m, 3*m - h = -4*x + 96. Is m a multiple of 18?
False
Suppose -2*k + 10 = 0, 0 = 6*u - 3*u + k - 26. Suppose l = -0*l - 2*a - u, -l + 3*a - 17 = 0. Let g = l + 19. Does 4 divide g?
True
Suppose n = 5*n - 16. Let y = n + 0. Suppose -y*j - j + 70 = 0. Does 14 divide j?
True
Let x = 2 - 3. Let i be x/3 + 255/9. Suppose 2*r - 5*n - 14 = i, -5*n - 135 = -5*r. Does 16 divide r?
False
Suppose 3*d + 5*g + 13 = 0, -4*d + 2*g = -0*d - 26. Suppose -d*i + 78 = -146. Let s = 86 - i. Does 15 divide s?
True
Let a = -51 - -72. Suppose a = k - 0. Let x = k + -4. Is 6 a factor of x?
False
Let t(w) = -6*w - 4. Is 14 a factor of t(-10)?
True
Suppose 0*t - 9 = 3*t. Let k be 28/t*(-3)/2. Let c = 52 - k. Is c a multiple of 18?
False
Does 48 divide (-9)/(-3) - 7 - -261?
False
Suppose 4*p + 6*z - z + 398 = 0, 3*p + 4*z = -298. Let j be p/(-24) - (-1)/(-4). Suppose r - 25 = -j*r. Is r a multiple of 2?
False
Let d = 7 - -2. Let h(w) = 2*w + 17. Let n(m) = m + 11. Let i(j) = 5*h(j) - 8*n(j). Does 11 divide i(d)?
False
Let f(v) = -6*v - 2. Let u(j) = j + 1. Let x(z) = 3*f(z) + 12*u(z). Let m(n) = -7*n + 5. Let o(h) = -7*m(h) + 6*x(h). Does 7 divide o(1)?
True
Suppose -2*p - w = 3*w + 24, 0 = 2*w + 8. Is (0 + -25)*p/5 a multiple of 3?
False
Let l(f) be the first derivative of -f**3/3 + 9*f**2/2 + 4*f + 4. Is 7 a factor of l(8)?
False
Let q(p) = p - 12. Does 4 divide q(20)?
True
Suppose -420 = -0*c - 5*c. Is c a multiple of 21?
True
Suppose -5*h = 3*j - 0*j - 215, 348 = 5*j - 2*h. Is j a multiple of 10?
True
Let o(a) = -8*a**3 - 2*a**2 - a - 2. Is 14 a factor of o(-2)?
True
Let b = 4 + -1. Let f = b + -3. Suppose -3*u + 5*s + 82 = f, -2*s = -s + 2. Is 11 a factor of u?
False
Suppose 3*d + 40 = -5*t + 229, 3*d = 4*t - 162. Let x = 78 - t. Is x a multiple of 13?
True
Suppose 2*i = -2*i + 12. Let b(t) = -t**2 + 2*t - 3. Let v be b(i). Let q = v + 14. Is 3 a factor of q?
False
Suppose -7 - 7 = -2*q. Let c = -9 + 12. Suppose -q - 62 = -c*z. Does 10 divide z?
False
Let q = 37 + 33. Let w = q + -40. Is 8 a factor of w?
False
Let s be (-2)/7 + 318/(-14). Let p = -3 - s. Is p a multiple of 10?
True
Suppose -a - 2 = -7. Let b(s) = -5 - 2*s + 2 + s**2 + a + 3*s**3. Does 13 divide b(2)?
True
Let g(c) = -c**3 + 5*c**2 - 2*c - 2. Let m be g(4). Let j = -4 + m. Suppose -j*q = q - 84. Is q a multiple of 14?
True
Let v(a) = -5*a**3 + 2*a**2 + a. Let l be v(-2). Let u = -31 + l. Is 8 a factor of u?
False
Suppose -2*i + 154 = 5*h, -24 + 160 = 2*i - 4*h. Is 12 a factor of i?
True
Suppose 0 = -4*i + 2*i + 8. Is i a multiple of 4?
True
Let c be 3 - (4 + 0 + -2). Is 13 a factor of c/4 - (-766)/8?
False
Is 2 a factor of (20/(-9) - -2) + (-58)/(-18)?
False
Is 445/25 + (-1)/(-5) a multiple of 10?
False
Suppose -3*v + 220 = v - 2*x, -2*v + 4*x = -116. Let a be (0 - 21/(-9))*-15. Let f = v + a. Is f a multiple of 9?
False
Is (7898/12)/11 + (-2)/(-12) a multiple of 15?
True
Suppose 0 = -5*z + 346 + 34. Does 19 divide z?
True
Let s(f) = 2*f**3 + 2*f - f**3 - 6*f**2 + 0*f**3 + 4. Let k(x) = x**3 - 5*x**2 + 2*x + 3. Let a(m) = -2*k(m) + 3*s(m). Does 11 divide a(8)?
True
Let z be (4/(-14))/((-3)/21). Suppose -z*s + 0 = 12. Is 20 a factor of 0 + (-2)/(s/93)?
False
Suppose 3*f + 10 + 14 = 0. Let j = f - -23. Is j a multiple of 15?
True
Let g = 50 + -11. Is (-12)/(-4 - g/(-12)) a multiple of 16?
True
Let r(q) = 2*q**2 - 2*q + 1. Let p be r(2). Suppose -9 = -p*c + 6. Suppose -5*i + 44 = 3*n - 29, -c*i + 2*n = -59. Is i a multiple of 17?
True
Let y(u) = -9*u + u**2 + 2 + 0 + 4. Suppose 0 = b - 4 - 6. Is 8 a factor of y(b)?
True
Is 58*(3/(-2))/(-3) a multiple of 10?
False
Suppose 4*q = 2*s - 22, s = -3*s - 2*q - 6. Is 19 a factor of 113/2 + s/2?
True
Suppose -7*m - 106 = -9*m. Is m a multiple of 14?
False
Suppose 0 = -f - 2*f. Suppose -c + 2*k + 3 = f, 8*c - 48 = 3*c - k. Is c a multiple of 5?
False
Suppose 12 = -3*o - o. Let c = o - -19. Does 4 divide c?
True
Suppose 0 = -3*b + 3, 2*b + 178 = 5*o - 0. Is o a multiple of 12?
True
Let x = -113 + 270. Is x a multiple of 26?
False
Suppose 358 = 4*h + 2*l, -3*h + 261 = l + 2*l. Is 15 a factor of h?
False
Let n(j) = j**2 + 9*j + 14. Does 12 divide n(-10)?
True
Suppose 3*k - 6 = 5*p + 38, k = 4*p + 24. Suppose -z + 15 = 4*z, -q + k = 4*z. Let y = 10 - q. Is y a multiple of 7?
True
Let d(f) be the third derivative of f**6/120 - 2*f**5/15 + 3*f**4/8 - f**3 - f**2. Let x be d(7). Let p(w) = w**3 - 6*w**2 - 11*w - 7. Does 16 divide p(x)?
False
Suppose 0 = -4*m + 12, 4*b + 31 = -3*m - 0*m. Let s = 24 + b