 + 2*m. Let a = -152 - m. Let k = 148 + a. Is 22 a factor of k?
False
Let d be 1 + -1 - -3*34. Suppose 102 = 4*q - d. Suppose 3*v - l = q, -5*v + l = -2*l - 81. Is 16 a factor of v?
False
Let h(o) = -o**2 + 16*o + 41. Does 3 divide h(17)?
True
Let f(m) = 4*m + 7. Is 17 a factor of f(11)?
True
Let z(r) = -r**2 - 15*r - 15. Is z(-12) a multiple of 7?
True
Suppose -z - 11 = -s - 4*z, -5*s - 3*z + 67 = 0. Is 7 a factor of s?
True
Suppose -70 = -5*o - 0*o. Is 4 a factor of o?
False
Let z = -33 - -187. Does 22 divide z?
True
Let p(z) = z**3 + 9*z**2 - 11*z - 7. Let o = -6 - 15. Let y = o + 11. Is p(y) a multiple of 3?
True
Let d = -65 + 104. Is d a multiple of 14?
False
Is (-20 + 8)/(6/(-32)) a multiple of 32?
True
Let x = -60 + 238. Suppose -5*b = -7*b + x. Is 28 a factor of b?
False
Suppose -r - 3*r = -32. Is r a multiple of 8?
True
Suppose -20 = -5*y - 0. Suppose -73 = -4*l + s, 86 = y*l + 4*s + 18. Does 9 divide l?
True
Let w(c) = c**3 - 13*c**2 - c + 15. Let z be w(13). Suppose -z*s - 52 = -3*s. Does 13 divide s?
True
Is (0 - (0 - 1)) + (-4 - -300) a multiple of 11?
True
Let p = 2 - 1. Let v(t) = 5*t - 1. Is v(p) a multiple of 3?
False
Suppose 0*c - 5*c + 505 = 5*t, -508 = -5*t - 4*c. Is t a multiple of 13?
True
Let x(s) = 13*s - 8. Is x(4) a multiple of 11?
True
Suppose -i - 4*x + 6 = -x, 5*x + 88 = 3*i. Is 8 a factor of i?
False
Suppose 0 = -0*f - 5*f - 35. Let h = f + 14. Let b = h - -9. Is b a multiple of 16?
True
Let g be (-1)/1 - (-12)/(-6). Let n be 0 - (-4)/((-6)/g). Suppose 1 + 11 = n*d. Does 5 divide d?
False
Suppose 47 + 871 = 3*x. Does 17 divide x?
True
Let f(o) = 2*o**3 - o**2. Let l be f(1). Let z = l + 1. Suppose -3*b - z*b = -190. Is b a multiple of 19?
True
Let s = -6 - -22. Does 4 divide s?
True
Let c(h) = 3*h + 31. Is 18 a factor of c(13)?
False
Suppose -3*m - 2*x = -259, -2*m + 82 = 2*x - 88. Does 21 divide m?
False
Let l = 19 - 8. Is 8 a factor of l?
False
Suppose -104 = -2*m - 5*j, 5*m + 5*j = 238 + 37. Is 10 a factor of m?
False
Let l be 1 + (3 - 1 - 1). Suppose -l*b - 3*b = -45. Is 9 a factor of b?
True
Let q(m) = -m - 2. Let p be q(-6). Let u(o) = o + p*o + 5*o - 4*o - 5. Is u(6) a multiple of 13?
False
Let p be (2/5)/((-1)/(-5)). Suppose 3*u = -6, -p*o - 3*o - 3*u = -134. Is 7 a factor of o?
True
Let i(z) be the third derivative of -7*z**4/24 + 5*z**3/6 + 3*z**2. Let t be i(4). Let k = -6 - t. Is k a multiple of 11?
False
Is 43 a factor of ((-258)/9)/(-1 - 4/(-12))?
True
Let d(p) = p**3 + 9*p**2 - 14*p + 11. Does 13 divide d(-9)?
False
Suppose -f + q - 58 = -0*q, 3*f + q + 170 = 0. Is -1*4*f/6 a multiple of 19?
True
Suppose 1 = -g + t, 4*g + 8 = -3*t - 10. Let b = 7 - 13. Let s = g - b. Does 3 divide s?
True
Let u = 65 + -39. Let w = u + -16. Is 24 a factor of 184/w*(-5)/(-2)?
False
Let c be (-1 - 4)*(-1 + 0). Let g(a) = 4*a**2 - 4*a - 4. Let x be g(-3). Suppose -4*t + c*v + 57 = 0, v + 4*v + x = 3*t. Does 10 divide t?
False
Let b(l) = -49*l + 1. Let d be b(1). Let x = d + 34. Does 10 divide (-452)/(-14) - (-4)/x?
False
Let u(a) be the first derivative of -a**2 + 9*a + 1. Does 19 divide u(-5)?
True
Is 10 a factor of (-11)/(55/(-570)) + -4?
True
Does 35 divide (0 - -2)*1 - (-1128)/8?
False
Let h be -1 + (-2 + 53 - 0). Suppose 4*l - 2*l = h. Does 18 divide l?
False
Suppose 3*q = -3, -u - q = q. Suppose -u*k + 15 - 3 = 0. Is k a multiple of 2?
True
Let q(k) = -k**3 - k**2 - k + 2. Let c be q(0). Let v(n) = n**2 + 8*n - 5. Let y be v(-10). Suppose 3*f - y = -c*f. Does 2 divide f?
False
Suppose -11*y - 2145 = -22*y. Does 23 divide y?
False
Suppose -z = 5*v - 4, v + 2 - 18 = -4*z. Let a be 1 - (3 - (3 - 1)). Suppose 28 = z*n - a*n. Does 7 divide n?
True
Suppose -2*i + 4*v = -90, 3*i - 5*v = 100 + 39. Is i a multiple of 12?
False
Let q(s) = s**2 + 7*s + 4. Let b be q(-6). Suppose v + 6 = -o - 0, 4*v + 2*o = -16. Does 13 divide (-13)/(v*b/(-4))?
True
Suppose 2*c = 231 + 25. Suppose -5*j - 28 + c = 0. Is j a multiple of 16?
False
Let s(u) = u - 13. Let v(x) = -2*x + 25. Let a(r) = 5*s(r) + 3*v(r). Let t be a(9). Suppose -w = -15 - t. Is 10 a factor of w?
False
Suppose 0 = 5*j - 150 - 90. Does 12 divide j?
True
Suppose 336 = 35*q - 32*q. Is q a multiple of 18?
False
Suppose 2*a - 99 = -19. Is a a multiple of 10?
True
Suppose -5*a = -2*t - 56, -5 = -4*t + 3. Is a a multiple of 6?
True
Let c be (-1)/(3/(-6)) - 7. Let g = -2 - c. Does 7 divide 50/g - (-2)/6?
False
Let s(w) = w**3 - 8*w**2 + 5*w - 1. Is s(8) a multiple of 15?
False
Let s be (-7 - -1) + (-3 - -1). Let x(z) = z**2 + z + 11. Let y be x(0). Let a = y + s. Does 3 divide a?
True
Let i(d) = -13*d + 34. Does 47 divide i(-14)?
False
Suppose 0 = -f + 17 + 27. Let j be (-9 + 5)/(-2)*(-2)/(-2). Suppose -3*c = -j*b - 11 - f, 4*b = -c + 37. Is c a multiple of 16?
False
Suppose 0*j = 4*m + j - 253, -3*m + 180 = 4*j. Suppose c - m = -c - 3*b, 2*c - 3*b - 76 = 0. Is 7 a factor of c?
True
Suppose 0 = 5*b + 11 - 66. Suppose -21 = -3*k + 3*t, -k - b = -4*k - 2*t. Suppose -2*p + 14 = -p - k*i, 2*i = 0. Does 7 divide p?
True
Let w be 30/(-9)*(-9)/(-3). Let r = 17 - w. Does 19 divide (-346)/(-18) - 6/r?
True
Let q(t) = 21*t + 3. Is q(5) a multiple of 36?
True
Let p(s) = s + 6. Let i be p(-6). Suppose 3*q + 20 = 5*x, 16 = -i*q - 3*q + 4*x. Suppose -o + 4*b + 15 = q, 2*o - 2*b - 3*b - 33 = 0. Is 19 a factor of o?
True
Let z(b) be the second derivative of -b**5/20 - 5*b**4/12 - 7*b**3/6 - 2*b**2 + b. Suppose -2*g - 28 = -5*d, 4*g = -2*d - d - 4. Is 8 a factor of z(g)?
True
Let j(m) = m**2 - 8*m + 9. Let r be j(7). Suppose -2 = -i - 4*a - 11, r*a = 4*i - 54. Suppose 2 = -3*d + i. Is 2 a factor of d?
False
Let r(s) = -s**3 - 10*s**2 - 9*s. Let w be r(-9). Let b = 39 - w. Is b a multiple of 13?
True
Let r = 79 + -28. Suppose r = 3*t - 66. Suppose -5*i + 80 = 2*q - q, 2*i - q - t = 0. Is i a multiple of 17?
True
Suppose -x + 15 = 4. Is x a multiple of 2?
False
Let g(u) = 2*u**2 + u + 3. Let x be g(-3). Let c be x/10 - 1/(-5). Suppose b - 21 = -c*b. Is 6 a factor of b?
False
Suppose 6*a - 5*k = a + 5, 0 = a - 2*k. Suppose 0 = 6*v - a*v - 64. Is v a multiple of 8?
True
Let x = -152 - -230. Is x a multiple of 21?
False
Suppose -134 = -4*t - 6. Suppose 40 = 2*k + q - 5*q, -3*k = q - t. Is 11 a factor of k?
False
Let t(i) = i**2 - 2*i + 1. Let d be t(-2). Suppose -l = -d - 12. Let n = l - 9. Is n a multiple of 9?
False
Let o be (-23)/(-7) - 2/7. Let w(r) = 3*r**3 + r**2 - 6*r**3 + r - 8*r**o. Is w(-1) a multiple of 10?
False
Is (-19 - -52)/((-1)/(1/(-1))) a multiple of 7?
False
Let l(k) = k**2 - 2. Let a be l(2). Let z(r) = -2*r - 7*r**2 - r**3 + a - 1 + 12*r - 3*r. Does 9 divide z(-8)?
True
Let s(c) = -c**2 + 2*c - 3. Let z be s(3). Let m = 6 + z. Suppose m = 3*u + u - 176. Does 15 divide u?
False
Let x be (-1 + (-17)/(-2))*-2. Suppose -50 = -3*i + i. Let k = x + i. Is 10 a factor of k?
True
Let f(b) = -2*b. Let h be f(1). Let d be (h - (-303)/6)*2. Suppose 0 = 2*z - 3*x - 87, -5*x = -0*z - 2*z + d. Is z a multiple of 12?
True
Suppose 6*y - 3*y = -3*k + 15, 0 = 5*k - 2*y - 32. Let s(o) = 34*o**2 - o - 1. Let f be s(-1). Let g = f - k. Does 14 divide g?
True
Suppose 340 = 5*t + 5*k, 0*t - 2*k = t - 63. Let x = t + -35. Does 19 divide x?
True
Suppose -3*i - 6 = -3*w, 0 = 2*i + 2*i + 4*w - 32. Suppose 3*x - 5*y + 3 = x, i*x + y - 38 = 0. Is x a multiple of 4?
False
Let j(k) = k**3 - 2*k + 2. Let h be j(2). Suppose -4 = -3*c + 4*z, -2 + h = -2*c + 4*z. Is 8 a factor of c?
True
Suppose -4*o - 2*o + 570 = 0. Is o a multiple of 40?
False
Suppose 7*w = 6*w + 60. Is 12 a factor of w?
True
Let r be (-5 - -4)/((-1)/(-7)). Let u = r - -12. Suppose -5 = -6*a + u*a. Is a a multiple of 4?
False
Let p = 10 - 12. Let j(r) be the first derivative of -r**4/4 + r**3/3 + r**2/2 - 2*r - 1. Is 4 a factor of j(p)?
True
Let s(i) = -20*i - 2. Let v be s(-2). Suppose -b + 5*o = -63, -5*b + 2*o - v = -284. Is b a multiple of 16?
True
Suppose 3*a + 0*a - 214 = 5*b, 4*a = -2*b + 294. Is a a multiple of 25?
False
Is 28 a factor of ((-2)/(-3))/(2/474)?
False
Suppose 3*b - 73 + 13 = 0. Is 13 a factor of b?
False
Suppose 3*n + 105 = 4*q, 19 = 4*n - 4*q + 163. Let m = n - -73. Does 17 divide m?
True
Suppose -3*k + 6*k + 4*a + 7 = 0, -4*a = 4. Let b(r) = r**3 - 2*r**2 + 3*r - 9. Let u be b(3). Let f = u + k. Is f a multiple of 5?