*3 + 6*w**2 + 7*w + 2. Let o be y(7). Suppose -o*l = -3*m + 8 - 2, 0 = -l - m + 2. Is 6 a factor of -1 - (2 - l - 10)?
False
Does 4 divide ((-96)/(-15))/(10/25)?
True
Suppose 3*o - 8 = j, 1 = -o - 3*j + 7. Let i = 97 + 36. Suppose o = -5*c + i. Does 9 divide c?
False
Let p(c) = c**3 + 6*c**2 - 3*c + 8. Is 22 a factor of p(-6)?
False
Let j = -214 - -388. Does 30 divide j?
False
Suppose 3*f + 52 = 2*q - f, -5*q = 2*f - 94. Suppose 8 = 4*v - q. Is 1/(4 + -3)*v a multiple of 7?
True
Suppose -4*a = -2*s + 2, a - 3*a = -2*s + 2. Suppose a*q = 4*q - 168. Does 11 divide q?
False
Suppose d - 4*d = 3*h - 12, 22 = 5*h + 3*d. Let x(p) = 3*p**3 - 13 - 4*p**3 + h - 5*p**2. Is x(-6) a multiple of 10?
False
Let z be (-4)/(-2) - (2 + -5). Let g = 23 - z. Does 7 divide g?
False
Let x(b) = b**3 - 10*b**2 - 11*b - 11. Let j(r) = -2*r - 1. Let f be j(-6). Let k be x(f). Let y(d) = d**3 + 12*d**2 + 7*d - 10. Is y(k) a multiple of 19?
False
Suppose -70 = -5*j + 2*l, 5*j - 4*l = 22 + 38. Does 4 divide 12/j - 135/(-12)?
True
Let a = 69 + 78. Is 23 a factor of a?
False
Let i(j) = -j**3 + 17*j**2 - 18*j + 28. Is 26 a factor of i(15)?
True
Let v = 2 - 0. Let w be -6*((-8)/6)/v. Suppose -m - 15 = -4*l, -2*l - w*m = -3*l - 15. Does 5 divide l?
True
Let c = 5 + -9. Is 6 a factor of 3 + c/(8/(-14))?
False
Suppose 19 + 132 = 4*o + v, v + 44 = o. Does 33 divide o?
False
Let z(n) = n + 10. Is z(-7) a multiple of 3?
True
Let p(i) = 2*i**2 + i + 2. Let x be p(-3). Suppose 5*g - x = 33. Does 10 divide g?
True
Let k = -38 + 89. Does 5 divide k?
False
Let p be (-1)/(-4) + 15/20. Let j be p/((6/3)/4). Is 12 a factor of 6/j + 23 + 1?
False
Let s(l) = -93*l**3 + l**2 - l - 1. Let o be s(-1). Let r = -65 + o. Is 12 a factor of r?
False
Suppose 97 = 5*w + 17. Is w a multiple of 6?
False
Let i = 118 + -77. Suppose 2*p = o + 5*p - 41, 0 = o + p - i. Does 16 divide o?
False
Is (-64)/36 + 2 - 530/(-45) a multiple of 3?
True
Let g = -2 - -25. Suppose 3*q + 6 - g = 2*m, -m - 40 = -5*q. Suppose -4*y - q + 49 = 0. Does 5 divide y?
True
Suppose s - 4*s + 4*f = -16, s = -4*f. Suppose -d - 12 = -g, 3*g + s*d + 2 = 3. Is 4 a factor of g?
False
Let f(m) = -13*m + 7. Does 30 divide f(-7)?
False
Suppose -w + 2*x + 91 = -26, 0 = 2*w + x - 234. Suppose -w = -3*z + 6*j - 4*j, z = j + 39. Let c = z + -5. Is 17 a factor of c?
True
Let v = 39 + 52. Let q = v + -39. Does 23 divide q?
False
Suppose -25 = -3*n - 2*n. Suppose 0*o - n*o = 2*r - 71, -3*r - 5*o = -119. Is 22 a factor of r?
False
Let p(g) = 0*g - 4*g + 5*g. Let o be p(3). Suppose -5*v + 0*v = -5*y - 50, -4*v - o*y + 12 = 0. Does 6 divide v?
True
Let p be 1 - ((-1 - 0) + 1). Let h = -31 + 16. Let c = p - h. Is 7 a factor of c?
False
Suppose -j + 10 = 4*k, 0 = 4*j - 0*j - k - 108. Is j even?
True
Suppose -5 = -z - u + 32, -164 = -4*z + 4*u. Does 4 divide 150/z - 4/(-26)?
True
Let x = 14 + 14. Is 14 a factor of x?
True
Let k = -14 + 42. Does 14 divide k?
True
Let l be (-2)/3 - (-2)/3. Suppose -3*i - 12 = -2*r, -4*r - 2*i + 3*i + 14 = 0. Let y = r + l. Is 3 a factor of y?
True
Let v = -5 + 6. Suppose 5*l + v = 31. Is 3 a factor of l?
True
Suppose 3*g - 83 = 22. Let h be g/(-14)*12/10. Let y = 3 - h. Is 6 a factor of y?
True
Let g(u) = -u**2 + 4*u + 1. Let x be g(5). Let i = 8 + x. Suppose -i*z - z = -125. Does 10 divide z?
False
Let d(o) = 5*o + 1. Let r be d(1). Suppose c + 240 = r*c. Does 21 divide c?
False
Let w = 10 - 2. Suppose -10*s + 24 = -w*s. Does 3 divide s?
True
Let s(b) = -8*b + 0 - 1 - 5*b. Is s(-4) a multiple of 14?
False
Let s be (-2 - 174/(-9))*3. Suppose 2*f - s = 38. Is 15 a factor of f?
True
Let o(b) = b**3 - 5*b**2 + 3*b. Is o(5) a multiple of 7?
False
Suppose -4*u + 3 - 15 = 0, -2*r = -u - 21. Does 2 divide r?
False
Suppose 0 = 4*b + 7 - 19. Suppose -10 = -b*c + 20. Is c a multiple of 5?
True
Let h(p) be the first derivative of -p**4/6 - 5*p**3/3 + 3*p**2/2 - 2. Let q(s) be the second derivative of h(s). Is 8 a factor of q(-10)?
False
Let s(j) = -j**2 - 2*j. Let l be s(-3). Let u(d) = -3*d - d + 1 + d + 0*d. Is u(l) a multiple of 5?
True
Let w(s) = -s**2 + 20*s + 9. Does 13 divide w(18)?
False
Let n(i) be the third derivative of i**6/120 + i**5/60 - 5*i**4/24 + 2*i**3/3 - 3*i**2. Is n(3) a multiple of 13?
False
Suppose -2*p + 3*q + 3 - 79 = 0, 4*p = 4*q - 144. Let z = p + 5. Let u = z - -59. Is u a multiple of 18?
False
Let f(d) = 62*d**2 + 2*d. Let s be 6/15*5/2. Is 16 a factor of f(s)?
True
Let z = -120 + 180. Is 15 a factor of z?
True
Let h(u) = 3*u - 13. Is 14 a factor of h(23)?
True
Let a = -56 - -107. Is 25 a factor of a?
False
Suppose 0 = -2*t - 4*z + 26, -t + 2*z + 22 = -3. Does 8 divide t - 5/((-10)/(-4))?
False
Suppose 3*l - 648 = -6*l. Is l a multiple of 9?
True
Suppose 103 + 62 = 11*b. Is b a multiple of 15?
True
Let a = 37 - 22. Suppose -d + 5*r = -a, -4*d = 3*r + 5 + 4. Suppose 3*o - 17 - 16 = d. Is 11 a factor of o?
True
Is 8 a factor of 2/12 + (-47)/(-6)?
True
Suppose 0 = 2*h + 2*s - 816, 0 = 2*h - 2*s + 5*s - 818. Is 27 a factor of 1/(-5) + h/5?
True
Let l(m) = -1 - 5 + 5*m - 1. Does 16 divide l(8)?
False
Suppose -4*u = -4*m + 4, 2*u + 3 = -m + 4*m. Suppose u = 2*o - 53 - 109. Is o a multiple of 27?
True
Let d = -1 + 4. Suppose 0 = -d*k - k + 16. Suppose -5*y = -p - 114, 3*y - 28 = k*p + 54. Does 11 divide y?
True
Suppose 3*v = 2*v. Suppose v = y + 3. Does 2 divide (2/y)/((-14)/105)?
False
Suppose 0*q + 2*q - 162 = -4*k, -3*k = -2*q + 169. Suppose -4*i = 3*n - q, 4*i = -8*n + 3*n + 125. Is n a multiple of 13?
False
Suppose 3 = p - 2. Suppose -p*f = 3*n - 0*n - 32, 3*n - 3*f = 0. Suppose -2*c + 26 = 2*z - 2, -n = -z. Is c a multiple of 4?
False
Let h(s) = 2*s - 3*s - 2*s + 4. Suppose o + o + 6 = 0. Does 11 divide h(o)?
False
Is 42 a factor of ((-4)/(-6))/((-8)/24) + 86?
True
Let m be (-1)/3 + 212/(-3). Let b = -50 - m. Is b a multiple of 9?
False
Let s(x) = -x**3 - 5*x**2 + x + 7. Let f be s(-5). Suppose 4*i - 4*k - 12 = 0, i + f*k - 19 = -2*i. Suppose 4 = -i*w + w, -4*p + 5*w = -33. Does 7 divide p?
True
Let w(m) = -3*m + 6. Let c be w(15). Let i = c + 74. Does 9 divide i?
False
Let y(m) = -5*m**3 + 2*m**2 - m + 2. Let q be y(2). Let p(s) = -s**2 + 10*s + 24. Let c be p(15). Let x = q - c. Does 19 divide x?
True
Let l = 45 - 29. Is l even?
True
Let p(t) = -t**3 + 3*t**2 + 2*t. Let w be p(3). Suppose 81 - w = i. Is i a multiple of 15?
True
Let y(r) = -r**3 - r**2 - r + 22. Suppose 0 = 6*m - 2*m. Is 13 a factor of y(m)?
False
Suppose 0 = -o - 3*z + 24, -3*o + 5*o - 12 = 3*z. Is o a multiple of 3?
True
Let v(m) = -10*m - 2. Let r be v(-3). Let t be (3/(-4))/((-7)/r). Suppose 12 = -t*z, 3*q + q - 4 = -4*z. Is 2 a factor of q?
False
Let s be (-32)/6 - 4/6. Does 6 divide (-5)/15 - 140/s?
False
Suppose 4*a - 5 = 3. Is 14 a factor of 41/a + (-1)/2?
False
Suppose u - 9 = 29. Does 17 divide u?
False
Let p = -96 - -195. Does 37 divide p?
False
Suppose 0*s = 3*s - 5*u - 37, 9 = s - u. Suppose 3 + 1 = -s*h. Does 9 divide -18*h/((-2)/(-1))?
True
Let z = -2 + 4. Suppose 0*c + z*c - 30 = 0. Does 15 divide c?
True
Suppose -8 = -2*c - 2*l, -4*c + 14 = -2*c + 5*l. Is 14 a factor of (-2)/((12/(-51))/c)?
False
Suppose -2*g + 11 = -f, 0*g - 5*f - 23 = -2*g. Is 2 a factor of (-9)/(-4) - 1/g?
True
Suppose -51 = -2*u + 5*w, w + 6 = u + 5*w. Is u a multiple of 6?
True
Let x = -5 + 8. Let o(t) = -t**3 + 4*t**2 - 2*t. Let h be o(x). Suppose -h*m = m - 128. Does 11 divide m?
False
Let q = -4 + 39. Is 35 a factor of q?
True
Let l(u) = u**2 - 14*u + 9. Suppose -6*w + 24 = -2*w. Let d be l(w). Let x = 63 + d. Does 15 divide x?
False
Suppose 0 = -5*p - 5*q - 40, -5*q - 5 - 5 = -5*p. Let t be 184/12 + (-2)/p. Let v = t + 20. Is 18 a factor of v?
True
Let c = 23 + -15. Suppose -9 = -a + c. Is 6 a factor of a?
False
Does 5 divide (-8)/(((-6)/(-15))/(-1))?
True
Let o(t) = t**3 - t + 7. Let a = -19 + 31. Suppose -4*x = a, 0 = -w + 5*x - 0*x + 15. Is o(w) a multiple of 4?
False
Let l(v) = -16*v. Let o be l(-3). Suppose -75 = -3*p + o. Is p a multiple of 12?
False
Let n = -25 + 76. Is 11 a factor of n?
False
Suppose 240 = 5*o - 2*o. Does 20 divide o?
True
Let w = -9 - -5. Is (0 + -2)*14/w a multiple of 7?
True
Is 8 a factor of (32/5)/((6 - 10)/(-80))?
True
Suppose -51 = -q + 12. Is 19 a factor of q?
False
Is 9 a factor of (-8113)/(-49) - (-1 + 22/14)