alse
Let w(v) = -v**3 - 8*v**2 - 11*v - 12. Let k be w(-9). Suppose -k + 18 = -5*r. Does 18 divide r?
False
Let b = -6 + 8. Suppose -4*t + 0 - 8 = 0, 0 = 4*f - 2*t - 564. Suppose b*u - 7*u = -f. Is 11 a factor of u?
False
Let t be (6/5)/((-3)/10). Let v(f) = f**2 - f + 3. Is 8 a factor of v(t)?
False
Does 3 divide 32 - (1 - (-3 + 1))?
False
Let p(i) = 0 - 4*i - 2*i + 10. Let f be p(-9). Suppose -4*k + f = -0*x + 4*x, -2*k = 4*x - 30. Is k a multiple of 17?
True
Suppose -3*b + 8*b - 20 = 0. Is 17 a factor of 147/b - 2/(-8)?
False
Let f(j) = -j**2 + j. Let l be f(0). Suppose l = 3*t - 9 - 90. Is 11 a factor of t?
True
Let y = -4 - -5. Let d be (2 - y)/(3/129). Suppose 6*t + 2*a = 3*t + d, 0 = -3*t + 4*a + 67. Does 6 divide t?
False
Suppose 5*m + 15 = 4*m. Let c(w) = w + 11. Let j be c(0). Let b = j - m. Is b a multiple of 18?
False
Let r = -9 + 19. Is 10 a factor of r?
True
Suppose 3*r = 4*u + 4*r - 146, -5*r = 5*u - 190. Let t = 72 - u. Does 9 divide t?
True
Let m(t) = t**2 - t + 4. Let p be m(0). Suppose p*g - 131 = -5*l + 88, -2*g + 111 = l. Is g a multiple of 14?
True
Let o = -8 + 18. Suppose 3*g - 95 = -4*l, 114 = 4*l + 2*g + 24. Let f = l - o. Is f a multiple of 5?
True
Does 14 divide 64 + 3 + -9 - (2 - 1)?
False
Let c(h) = 21*h**2 + 4*h + 3. Is 23 a factor of c(-2)?
False
Suppose -4*w - 4*c + 0*c = -144, c = -3*w + 114. Suppose 0 = -f + w + 22. Is f a multiple of 17?
False
Let n be (-3)/(-12) + (-1)/4. Let u = n - -3. Is 2 a factor of u?
False
Is ((-20)/(-6))/(1/9) a multiple of 10?
True
Suppose -8*w + w = -70. Is w a multiple of 2?
True
Suppose 0 = -2*u + o - 17, -u - 4*o - 32 = u. Let g = -5 - u. Does 13 divide (36/g)/(2/10)?
False
Suppose n - f - 74 = f, -4*n = 4*f - 332. Suppose 3*z + n = 8*z. Is z a multiple of 8?
True
Suppose 5*n - 5 = 5. Suppose -2*l + 176 = n*l. Let r = l - 20. Is 12 a factor of r?
True
Let j(f) = -f**3 + 14*f**2 - 18*f - 20. Is 25 a factor of j(12)?
False
Suppose 7 = 3*k - 2*d, 3*k - 27 = d - 4*d. Suppose -q = 2*o - 1 - 27, -k*o = q - 67. Is o a multiple of 5?
False
Let w be (15/(-2))/5*-2. Is (-4 + w)/(-1) + 57 a multiple of 15?
False
Let m(n) = n**2 + 3*n - 1. Let r be m(-4). Suppose 3*i - 3 = r. Does 7 divide ((-1)/i)/((-2)/40)?
False
Let w(q) = q**3 - 10*q**2 + q + 22. Is w(10) a multiple of 8?
True
Let l be ((-42)/9)/(4/(-54)). Suppose l = 2*p + p. Does 20 divide p?
False
Suppose -3*j = x - 9, -2*x + 6 = -3*j + 6*j. Does 9 divide -21*(2 - 3) + x?
True
Suppose -2*y + g + 16 = -48, 76 = 2*y - 4*g. Let w be (-2)/(-3) + y/9. Suppose -w*p = p - 220. Is 16 a factor of p?
False
Let a(h) = h. Let w(x) = -24*x + 1. Let d(l) = -4*a(l) - w(l). Suppose -4 + 2 = -2*s. Is d(s) a multiple of 6?
False
Let m(v) = 2*v - 13. Suppose 0 = 5*h - 39 - 21. Is 5 a factor of m(h)?
False
Let j(i) = -i + 26. Does 2 divide j(13)?
False
Let y = 63 + 41. Suppose -y + 0 = -4*k. Is 13 a factor of k?
True
Suppose 16 + 4 = 4*o. Let x = 5 - 3. Let m = o + x. Is 4 a factor of m?
False
Suppose 5*k = 108 + 272. Is 11 a factor of (1/(-2))/((-2)/k)?
False
Let u = -1 + 1. Suppose u = 2*l - 3*l + 14. Does 7 divide l?
True
Suppose -5*o = 2*d - 0*d - 33, 0 = -o + 5. Suppose 2*h = 2*z - 20, -d*h - 34 = 2*z - 5*z. Does 5 divide z?
False
Does 14 divide 40 + (-4 + 2)*-1?
True
Let p(y) = -y**3 - 5*y**2 - 4*y - 3. Let z be p(-4). Let i = 9 + z. Is i a multiple of 6?
True
Let h = -7 + 14. Is h even?
False
Suppose o = l + 158, 0*o - o + 162 = l. Let r = o + -83. Is 25 a factor of r?
False
Suppose 6*s = 8*s - 4*c - 408, 4*s = c + 830. Does 21 divide s?
False
Let d = -88 + 221. Does 16 divide d?
False
Let r = 119 - 97. Is 22 a factor of r?
True
Suppose 0 = o + 4*i - 9 - 45, 3*o - 5*i - 145 = 0. Does 31 divide o?
False
Let c(o) = 12*o - 1. Let x be c(-2). Let h = x - -37. Is h a multiple of 4?
True
Suppose -2*z + 732 = 4*z. Does 13 divide z?
False
Let j = 4 - 2. Is 3 a factor of j + (0 - 1) + 3?
False
Let r(l) = 2*l**3 + 15*l**2 - 8*l - 3. Is 17 a factor of r(-7)?
True
Does 12 divide 156/5 + (-1)/5?
False
Suppose t = -2*w + 66 + 18, -5*t = -w - 453. Is t a multiple of 15?
True
Suppose 0 = -3*s - 3*w - 15, s - 2*s = -5*w - 25. Suppose -3*m - k - 2*k = 48, -4*k + 8 = s. Is 7 a factor of 4 + 1*-2 - m?
False
Does 29 divide (11/(-1))/((-22)/330) + 0?
False
Suppose 0 = -2*l - 73 - 5. Let b = 65 + l. Is 13 a factor of b?
True
Suppose 2*c = -c - 4*u + 105, -3*u = c - 30. Is c a multiple of 2?
False
Let z(k) = -2*k - 13. Let i be z(-9). Suppose 13 = 3*a - i. Suppose a = -3*j + 5*j. Is j a multiple of 3?
True
Let a be (6 - 10)*(-6)/8. Suppose -a*m + 4*m = 0. Suppose -2*t = -3*o + 42, m*o + 3*t = 4*o - 55. Is 8 a factor of o?
True
Let b = 1 - -3. Is (66/9)/(b/48) a multiple of 15?
False
Suppose -2*q + 6*q = 840. Does 42 divide q?
True
Let i = -8 + 12. Suppose 0 = -5*l + 3*j + 48, l - 3*j = -j + i. Is 6 a factor of l?
True
Let s(n) = 5*n**2 + 2*n + 1. Let w be s(-1). Is 4/w*41 - 1 a multiple of 10?
True
Let r = 3 - 2. Let a be 7*r*(-7 - 0). Let p = -29 - a. Is p a multiple of 9?
False
Let x(k) be the first derivative of -k**6/120 + k**5/12 + k**4/24 - k**3/3 - k**2/2 + 1. Let o(q) be the second derivative of x(q). Does 13 divide o(3)?
False
Suppose 3*o - 16 = -1. Suppose o*i = 2*i + 36. Does 5 divide i?
False
Let o(t) = -t**3 + t**2 + t - 1. Let i be o(1). Suppose 0 = -i*c - 2*c + 3*r + 37, -36 = -3*c - 2*r. Does 6 divide c?
False
Suppose -26 - 2 = -f. Suppose f - 198 = -5*u. Is 16 a factor of u?
False
Let u(b) be the first derivative of b**4/4 + b**3 - 3*b**2/2 - b - 2. Is 9 a factor of u(-2)?
True
Let o = 110 - -70. Is o a multiple of 45?
True
Suppose -3*p + 8 + 7 = 0. Let u = p - 7. Let z = u - -6. Does 4 divide z?
True
Suppose 2*h - 49 = -127. Let r = -15 - h. Does 24 divide r?
True
Does 8 divide (3 + -1)*412*(-7)/(-56)?
False
Suppose 7*n - 1232 = -0*n. Is 11 a factor of n?
True
Suppose 5*f + 16 = 3*f. Let w be 10/(-8)*2*2. Let g = w - f. Does 2 divide g?
False
Let s = -8 + 13. Suppose -s*l + 190 = 5*m, m + m + 5*l = 64. Is 12 a factor of m?
False
Let i = 5 - 5. Suppose -2*h + 160 = 5*w, i = 3*w + 4*h - 34 - 62. Does 6 divide w?
False
Suppose 5*a = -0*a + 20. Let x(f) be the second derivative of f**4/6 - f**3/6 + f**2 - f. Is 15 a factor of x(a)?
True
Let k = -54 + 108. Suppose 3*z - 2*z = 4*m - k, 72 = 5*m + z. Is m a multiple of 6?
False
Suppose 0 = v, 4*o + 2*v = -v + 20. Suppose 2*j = -3*z - o - 6, -4*j = 4*z + 12. Suppose k - j = 0, 2*k = -x - 4*x + 64. Is x a multiple of 12?
True
Let v be (1 + -2 - 92)*-1. Is v/6 - (-1)/2 a multiple of 3?
False
Suppose -k - k + 28 = 0. Does 3 divide k?
False
Suppose -2*w - 2*w - 3*z = -232, 5*w = 3*z + 263. Does 11 divide w?
True
Let t(k) = -k**2 - 6*k - 4. Let h be t(-4). Suppose -3*b + 3 = -5*u - 4, -3*u + 48 = h*b. Is 3 a factor of ((-10)/6)/(-5)*b?
True
Let u be (-4 - -2)/(4/(-8)). Suppose 0*w - 2*w = -3*f - 29, u*w - f = 43. Is w a multiple of 5?
True
Suppose 4*k - 2*b + 8 + 10 = 0, 0 = 4*k + 4*b + 36. Let p(s) = s**3 + 5*s**2 - 7*s - 3. Let f be p(k). Is 40*1*f/6 a multiple of 17?
False
Let f = 135 - 117. Is 9 a factor of f?
True
Let w = -26 + 44. Does 3 divide (-2)/(-9) - (-86)/w?
False
Let o(n) = -n**2 - 7*n - 5. Let j be o(-5). Suppose -8 = -2*z, -j*z - 40 = -5*p + 15. Is 15 a factor of p?
True
Let u be ((-6)/8)/((-6)/24). Suppose u*o - 109 = 2. Is 13 a factor of o?
False
Let l(b) = -2*b - b**3 + 8*b - 1 + 6*b**2 + 8. Let a be l(7). Suppose 4*k - 5*k + 8 = a. Is k a multiple of 4?
True
Let u(g) = 5*g + 4. Let l = 4 - 0. Does 9 divide u(l)?
False
Suppose 0 = -5*t - 2*i + 4*i + 1594, 4*t = i + 1274. Let c = t + -211. Suppose c = 2*m + u - 16, 5*m + 3*u = 309. Is 20 a factor of m?
True
Suppose -2*f - 2 = -2*g - 7*f, 0 = 3*f + 6. Does 2 divide g?
True
Let t be 3/(-2*3/(-18)). Let f be (-4)/18 - (-83)/t. Suppose f = 3*w - 6. Is 2 a factor of w?
False
Let t = 404 + -228. Is 22 a factor of t?
True
Suppose 5*q = q + 172. Does 13 divide q?
False
Does 43 divide 4*(-1062)/(-24) - 5?
True
Let y be -2*(-1)/((-2)/5). Let u(w) = 2*w - 1. Let t(z) = 4*z - 2. Let b(d) = -3*t(d) + 5*u(d). Is 11 a factor of b(y)?
True
Let v(g) = -13*g. Let h be 1*-3*(-2)/(-3). Is v(h) a multiple of 13?
True
Let w(z) = -z**3 - 4*z**2 + 2*z - 2. Is w(-5) a multiple of 4?
False
Suppose -2*c = -2*r - 6, -5*r + 35 = -2*c + 7*c. Suppose c*y + 31 = 3*i - 0*i, 