 m - 4 + 2 - 3*m**3 + 2*m**3. Let x be b(0). Is 16 a factor of 17 + (-2)/x + -2?
True
Let m = 0 - -5. Suppose -m = -0*f - f. Suppose -2*z + f = -27. Does 8 divide z?
True
Let o be ((-4)/(-5))/((-4)/(-50)). Suppose -s + o = s. Does 4 divide s?
False
Let w = -6 - -8. Suppose 3*x - 4 = w*x. Suppose -x*b + b - 2*g = -90, 0 = -5*b - 3*g + 150. Is b a multiple of 15?
True
Suppose 2*t = t + 39. Is t a multiple of 7?
False
Let n(h) = h**3 - 3*h**2 + 3*h - 9. Does 11 divide n(5)?
False
Let g(p) = -p**2 - 11*p. Let d be g(-11). Suppose 4*y - 81 = 3*b, 4*y - 8*y + 4*b + 80 = d. Is 10 a factor of y?
False
Let n(c) be the third derivative of c**4/3 - 7*c**3/6 - 11*c**2. Let h = -6 - -12. Is 16 a factor of n(h)?
False
Let a = 6 + 4. Does 6 divide a?
False
Let x(o) = -3*o**2 - 3 + 2*o - 14*o**2 + 4. Let n be x(-1). Let p = n + 27. Is p a multiple of 6?
False
Suppose -5*r + 340 = -0*r. Suppose 0*o + r = o. Is o a multiple of 19?
False
Suppose -231 - 9 = -3*g. Let d = 139 - g. Let i = d + -27. Is i a multiple of 16?
True
Let c(w) = -7*w + 18*w + 94 - 9*w. Is 21 a factor of c(0)?
False
Suppose 0 = -2*p + 6*p. Suppose 2*d - 3*u = -2*d + 50, -2*d - 2*u + 18 = p. Is d a multiple of 11?
True
Suppose 5*i - 112 = -4*z - 0*z, -z + 70 = 3*i. Suppose -2*o - i = -5*o. Does 3 divide o?
False
Let p(d) = -d**3 - 4*d**2 - 2*d. Is 8 a factor of p(-4)?
True
Suppose -60 = -4*y - 5*g + 210, y = 4*g + 78. Does 32 divide y?
False
Suppose 3*y - 566 = -h, 0 = -2*y - 4*h - 185 + 569. Is y a multiple of 35?
False
Suppose 2*k - s = 14, k + 2*s - 20 = -k. Suppose -25 = 3*t - k*t. Suppose 5*j - t - 12 = -2*r, 3*j + 15 = 3*r. Does 3 divide r?
True
Let u be (-10)/5 + (-1 - -1). Let g(z) = -4*z**2 - 5*z + 2. Let n(x) = x**2 + x - 1. Let f(d) = u*n(d) - g(d). Is f(4) a multiple of 22?
True
Is 36 a factor of (-5 + 3)/2 + 109?
True
Let h(f) = -f**3 + 4*f**2 - 3*f + 6. Let g be h(4). Suppose 0 = p - 2 + 4. Is 3 a factor of (9/p)/(3/g)?
True
Let j = 84 - 55. Is 15 a factor of j - (-1)/(1 + 0)?
True
Suppose t + 6 = -4. Let i = t + 25. Suppose i = -3*a, 0 = -4*o + 2*a + a + 51. Does 9 divide o?
True
Is 662/4 - ((-24)/16)/(-3) a multiple of 28?
False
Let n(l) = -2*l**2 + 19*l - 19. Is n(8) a multiple of 5?
True
Suppose -45 + 3 = -3*s + 5*a, 3*a = s - 14. Is 3 a factor of s?
False
Suppose -q = -2, 2*s - s = q + 39. Let p be (-55)/(-2)*52/65. Let b = s - p. Does 7 divide b?
False
Let c be 2/(-10) + 186/30. Let z = c + 2. Is z a multiple of 5?
False
Let l be ((-8)/((-2)/(-2)))/(-1). Suppose d = -3*w + 42, -2*w + 28 = l*d - 3*d. Is w a multiple of 7?
True
Suppose 0*g + g + 3*m = -8, 0 = 4*g - m - 20. Suppose -g = -6*i + 2*i. Does 6 divide 0/(-1) - i - -13?
True
Let g(u) = 27*u - 4. Let p be g(3). Let w = p - 44. Is w a multiple of 11?
True
Let t(z) = z**2 + 3*z. Let p be t(-3). Does 9 divide -18*(p - (3 + -2))?
True
Let a be 15/(-18) + (-1)/6. Is 24 a factor of a*(144/(-1))/3?
True
Let r = 2 - 1. Let p = -1 - r. Is (p/5)/(3/(-180)) a multiple of 12?
True
Let h(c) = -c**2 + c + 3. Let m be h(-3). Let w = m + 15. Is w even?
True
Suppose -2*k - 2*k = -4*u - 16, -k + 2*u + 4 = 0. Suppose 4*o = -k*z + 328, 0 = -2*z - 0*z - 4. Suppose d - 4*d = -o. Is d a multiple of 10?
False
Let u(f) = -10*f**3 + 8*f + 6. Let q(r) = -r**3 + r + 1. Let l(n) = -6*q(n) + u(n). Does 11 divide l(-2)?
False
Let k be (-3 - 2)*(-26)/(-5). Let u = 9 + k. Let f = u - -29. Does 12 divide f?
True
Suppose 0*o = -2*o + 16. Does 4 divide 8/3*12/o?
True
Does 4 divide 6/27 + (-140)/(-18)?
True
Suppose -4*r - 2*k + 50 = 3*k, 5*k + 40 = 2*r. Is r a multiple of 4?
False
Let k(p) = -p**2 - 30*p - 5. Does 12 divide k(-13)?
True
Suppose 4*p + 191 = 5*q - 175, 3*q - 206 = -p. Does 14 divide q?
True
Let c(r) be the second derivative of r**6/120 + 2*r**3/3 - r**2 + 2*r. Let p(h) be the first derivative of c(h). Is 2 a factor of p(0)?
True
Let o(r) = -r + 7. Let k be o(4). Let z be (-3)/1*(k - 9). Suppose -z = 3*d - 93. Is d a multiple of 10?
False
Let x be (-34)/(-8) + 3/4. Suppose 64 = x*l - l. Is 8 a factor of l?
True
Let q(j) = -j**2 + 14*j + 4. Suppose 3*y - 24 = 12. Is 15 a factor of q(y)?
False
Let v = -22 - -41. Suppose -5*q = -4*o + v, -4*q + 75 = 5*o - 0*q. Does 4 divide o?
False
Let l be (-1 + -15)*-3 - 3. Is 21 a factor of l + -1 - (-6)/(-2)?
False
Suppose 22*x - 64 = 21*x. Is 32 a factor of x?
True
Let s(u) = -2*u**3 - 2*u**2 - 4*u - 5. Suppose -l + 13 - 4 = -5*w, 0 = -2*l - 2. Is 2 a factor of s(w)?
False
Suppose 0 = -4*c + 114 + 26. Suppose d - c = -i, d + 3*d = -2*i + 130. Is 10 a factor of d?
True
Let t(p) = p**2 + 18*p - 22. Is 25 a factor of t(9)?
False
Suppose 7*z - 10*z + 276 = 0. Suppose -5*o - 255 + z = -4*w, 12 = -4*o. Does 13 divide w?
False
Suppose 3 = o + 1. Suppose -2*i + o*q = -76, 2*q - 3*q + 5 = 0. Is i a multiple of 13?
False
Let x = 132 - 66. Let a = x - 47. Does 14 divide a?
False
Suppose -3*n = 3*j - 57 + 6, 2*n - 5*j = 41. Suppose 5*m + 4*f - 259 + 76 = 0, -f = -m + 33. Let r = m - n. Is r a multiple of 8?
False
Is -2 + (85 - 12/(0 + -4)) a multiple of 24?
False
Suppose 21 + 251 = 2*k. Does 34 divide k?
True
Is 4 a factor of (-20)/4 + 3 + 16?
False
Let d(z) = z**3 + 6*z**2 + 3*z + 4. Is d(-4) a multiple of 12?
True
Let y = 232 + -162. Is y a multiple of 15?
False
Suppose 3*u - 5*p - 11 + 3 = 0, -16 = -4*u + 4*p. Let k(i) = -7*i**2 - 5*i - 2. Let n(l) = 6*l**2 + 4*l + 2. Let g(y) = u*n(y) + 5*k(y). Does 9 divide g(5)?
False
Let m be (-1)/(0 - (1 - 0)). Let k(v) = v**3 + v - 1. Let l(z) = -3*z**3 - 5*z**2 - 2*z + 9. Let j(b) = m*l(b) + 2*k(b). Is j(-5) a multiple of 3?
False
Let i = -43 - -25. Suppose 5*v - 2*v = -153. Let q = i - v. Does 12 divide q?
False
Suppose 3*u - 453 = -5*r - 60, 5*r = -5*u + 395. Suppose 3*n - 22 + 103 = 2*q, -r = -2*q + 2*n. Is q a multiple of 10?
False
Let a be -5*1*6/(-30). Let o be ((0 - -3)/(-3))/a. Is 3 a factor of o/3 - (-57)/9?
True
Let a be ((-2)/3)/(2/(-6)). Suppose 5*f = -0 - 5. Is a - (2 - (-2)/f) even?
True
Suppose 85 = 5*s + 15. Does 5 divide (-1053)/(-63) - (-4)/s?
False
Let a = -8 + 14. Let k(t) = t**2 + 2*t - 4. Is 22 a factor of k(a)?
True
Suppose m - 7 + 2 = 0, -3*v = m - 35. Let g = 37 + v. Is 18 a factor of g?
False
Let m(g) = -g**3 + 6*g + 9. Is m(-4) a multiple of 7?
True
Suppose 40 = -5*d + 9*d. Let w = 19 - d. Is 9 a factor of w?
True
Let o = -110 + 308. Does 15 divide o?
False
Let l(m) = 3*m**2 - 6*m - 9. Is 24 a factor of l(-5)?
True
Suppose 13*y - 35 = 8*y. Suppose -2*t - y + 33 = 0. Is t a multiple of 3?
False
Is 24/36*(-21)/(-2) a multiple of 2?
False
Let l = -22 + 13. Let z = 12 - l. Is z a multiple of 21?
True
Suppose 3*p = 4*n - 173, -49 = -n - 6*p + p. Is 14 a factor of (0 + -1)*-2 + n?
False
Suppose 0 = -4*d - 5*l + 58 + 6, 0 = 2*d - 2*l - 50. Does 6 divide d?
False
Let p = 138 + -42. Is p a multiple of 16?
True
Suppose 3*z = -3*c + 35 + 40, 0 = -4*z - c + 94. Is z a multiple of 19?
False
Let p = -3 + 10. Suppose 0 = v + 4, 2*v + 128 = p*o - 3*o. Is o a multiple of 15?
True
Suppose 0 = 4*g - 167 - 169. Does 22 divide g?
False
Let k be -4 + (1 + -2)*-2. Let h be 84/49 - k/7. Does 10 divide (-1 + h/(-6))*-9?
False
Let u be (1/(-3))/(8/(-24)). Suppose u = -4*o + 17. Suppose 0 = q + h - 28, -3*h = -2*q + 47 + o. Is q a multiple of 10?
False
Let t(m) = -m**3 + 2*m**2 + m - 2. Let n be t(2). Suppose n = -b + 2*b - 20. Does 5 divide b?
True
Is 0 - (1778/(-22) + 16/(-88)) a multiple of 16?
False
Suppose -38 - 7 = -5*u. Suppose -u = -l + 21. Is 14 a factor of l?
False
Suppose -2*g + 3*n = 18, -3*n = -4*g - 4*n - 8. Let k be ((-48)/(-9) - 1)*g. Let y = 18 + k. Does 4 divide y?
False
Let n = -6 + 8. Suppose 2*c = -n*c. Suppose -h + f + 23 = c, -2*h = -5*f - 20 - 14. Is 13 a factor of h?
False
Suppose -2*o - 1 + 3 = 0. Suppose 0 = -p + 2, p + o = -2*c + 9. Suppose -c*y + 5 + 10 = 0. Does 4 divide y?
False
Let h(z) = -z**2 - 4*z + 5. Let t be h(-5). Suppose -4*i - 214 - 228 = -5*c, 4*c - 5*i - 350 = t. Does 15 divide c?
True
Let r(h) = h**2 + 1 + 4*h**3 - 9*h + 6*h**3 + 8*h. Is 5 a factor of r(1)?
False
Let k(c) be the third derivative of c**7/840 + c**6/45 + 7*c**5/120 + 5*c**4/24 - c**3/3 - 2*c**2. Let r(m) be the first derivative of k(m). Is r(-7) even?
False
Is (-2)/(-11) + 1281/33 a multiple of 19?
False
Let s(k) = k**2 + 6*k + 5. Is s(-8) a multiple of 7?
Tr