False
Let k(r) = -2*r + 14. Is k(-10) a multiple of 17?
True
Let x = -28 - -70. Is 6 a factor of x?
True
Let b(v) be the third derivative of v**4/6 - 7*v**3/6 - 3*v**2. Does 8 divide b(5)?
False
Suppose -o - 2*v - 20 = -2*o, 4*o - 91 = -3*v. Is 11 a factor of o?
True
Let j = 2 + -2. Suppose -f + 4*m = -3*f - 8, 2*f + m + 2 = j. Suppose 5*q - 5*b - 60 = f, -16 + 60 = 2*q + 3*b. Is q a multiple of 8?
True
Suppose -5*l - 4 - 6 = 0. Is 5 a factor of -20*(l - (-6)/4)?
True
Let n(u) = -u**3 - 5*u**2 + 4*u - 8. Let i be n(-6). Suppose 0 = 2*v - 3*x - 197, -i*v - 3*x + 179 = -2*v. Does 16 divide v?
False
Suppose 2*g = 5*w - 3*g - 335, -204 = -3*w + 2*g. Is w a multiple of 15?
False
Let l(g) = -g**2 + g - 4. Let o be l(0). Let t = o - -6. Suppose 0 = 2*q, 3*v - t*q - 15 = -7*q. Is 2 a factor of v?
False
Let w(o) = -o**3 - 4*o**2 - 5*o - 2. Let q be w(-3). Suppose m + x = -q, 0*m + 18 = -5*m - 4*x. Is (m + (-1 - -5))*6 a multiple of 12?
True
Let q = 4 + -6. Let w(k) = -9*k. Does 14 divide w(q)?
False
Let s(l) = 5*l - 13. Let w(f) = -9*f + 25. Let n(c) = 11*s(c) + 6*w(c). Let j be n(-5). Suppose -o + j = u - 0, o = -3. Does 3 divide u?
False
Suppose 0 = -0*d - 3*d - 9, -5*d - 77 = -2*q. Suppose -3*g + 29 = -q. Does 10 divide g?
True
Suppose 0 = 7*u - 91 - 322. Is 16 a factor of u?
False
Let b(i) = -i**3 + i + 78. Suppose 0 = 4*t + 2*o - 2, -2*o + 1 = -t - 1. Does 26 divide b(t)?
True
Suppose 2*v - 4*v = -188. Suppose 3*i - 109 = -i + 5*c, v = 4*i - 2*c. Is 21 a factor of i?
True
Let u be 8/6*(0 + 258). Suppose 4*b = -0*b + u. Suppose 0 = -2*i - 22 + b. Is 16 a factor of i?
True
Let t = 224 - -101. Suppose 3*i - t = -5*l, -33 = -3*l - 3*i + 168. Suppose l + 12 = 2*o. Is 21 a factor of o?
False
Let l = -1 + 3. Suppose 0 = l*w + 2*w - 156. Suppose -w = -v + 12. Is v a multiple of 17?
True
Suppose -2*f + 912 = 4*f. Does 19 divide f?
True
Suppose -10 = -5*k - 385. Let j = -52 - k. Is j a multiple of 9?
False
Let g be (-9)/2*(-2)/3. Suppose g*n = n + 32. Is 8 a factor of n?
True
Suppose -181 = 5*x - 561. Does 8 divide x?
False
Suppose 4*s - 5*s = -90. Suppose -2*i + 24 = -s. Does 19 divide i?
True
Suppose 175 = 4*u - l, u - 4*l + 17 - 72 = 0. Let n = -9 + u. Does 17 divide n?
True
Suppose -5*j = -j - 12. Let r(x) = -x**3 + 2*x**2 + 2*x - 3. Let i be r(j). Let s = i + 11. Is s even?
False
Suppose -3*i = -2*k + 63, -4 + 101 = 3*k - 5*i. Does 6 divide k?
True
Let p be ((-51)/(-9))/(1/15). Suppose -4*q - q + p = 0. Suppose -2*v + x + q = -6, 27 = 3*v + x. Is 3 a factor of v?
False
Suppose -k = -4*k - 51. Let x = k - -38. Is x a multiple of 16?
False
Let b = 16 + -8. Is 3 a factor of b?
False
Let k = -50 - -72. Is 22 a factor of k?
True
Suppose -7*h - t + 27 = -2*h, 12 = -4*t. Is h a multiple of 2?
True
Suppose x + x - g + 13 = 0, 0 = 2*g + 10. Let r(q) = q**3 + 9*q**2 + q + 12. Is r(x) a multiple of 3?
True
Let p = 6 - 4. Suppose -16 = -p*j - 2*j. Suppose 74 = 5*q - j*r, 16 = q + 3*r - 5*r. Is 9 a factor of q?
False
Suppose 6*l = l + 25. Let k(s) = 3*s**2 - s - 6. Let u be k(-3). Suppose 0 = 3*r + l*x - u, -5*r + 18 = -0*x + x. Does 3 divide r?
True
Let z = -1 + 3. Suppose 84 = 4*w - z*w. Is w a multiple of 7?
True
Let x(i) be the third derivative of -i**6/40 - i**5/30 + 5*i**4/24 + i**3/3 + 5*i**2. Is x(-3) a multiple of 17?
False
Let f(s) = -s**2 + 18*s + 10. Let t be f(9). Let d = -50 + t. Is 16 a factor of d?
False
Let l(c) = c**2 - c - 10. Let r be (0 - -1)/(7/(-42)). Let x = r + 13. Is l(x) a multiple of 11?
False
Let v be 1 + 41 - 0 - 4. Suppose -4 = -5*k + 6. Suppose -k*z + 2 = -v. Is 7 a factor of z?
False
Suppose -4*s - 164 = -2*h, 0 = 4*h - h + s - 267. Is 11 a factor of h?
True
Let y = -203 - -302. Is y a multiple of 11?
True
Let a be 1 - -98 - (-3 - -1). Suppose a = 3*o - 19. Is 14 a factor of o?
False
Let u = 0 + -1. Is 9 a factor of (-111)/(-12) - u/(-4)?
True
Suppose 3*k - 40 = -2*k. Does 6 divide k?
False
Let a(t) = t**3 + 12*t**2 + 4*t - 12. Does 8 divide a(-11)?
False
Let i = -4 - -6. Let o = 25 - -11. Suppose -b - o = -5*d - 3*b, -i = -d - 3*b. Is d a multiple of 8?
True
Suppose -3*u + 105 = 2*u - 2*p, -u - 3*p = -38. Does 5 divide u?
False
Let r = -79 + 131. Is 12 a factor of r?
False
Let y = 6 + -8. Let v = 3 - y. Suppose -5 = -v*l, 3*x - l = 4*x - 26. Does 12 divide x?
False
Let u(o) = o + 14. Let d be u(-9). Suppose -4*k - k = -4*q - 120, -2*q - 110 = -d*k. Is k a multiple of 14?
False
Let r(k) = -k**3 - k**2 - k - 204. Let o be r(0). Let d = 4 - 58. Is (-4)/(-18) + o/d a multiple of 2?
True
Let w(p) be the third derivative of p**5/30 + p**4/8 - p**3 - 2*p**2. Let z be w(-7). Let k = -51 + z. Is 20 a factor of k?
True
Suppose -5*g - 194 = -2*i, 4*i - 388 = -0*i - g. Does 13 divide i?
False
Suppose -2*n + 12 = n. Let z(u) = -u**3 + 5*u**2 - 2. Let d be z(n). Let y = d - -26. Is 20 a factor of y?
True
Let x(k) = -62*k**3 + 2*k**2 - 2*k + 1. Let d be x(1). Let y = -16 - d. Is y a multiple of 18?
False
Is 14 a factor of (-20)/15 + 2 + 334/3?
True
Let a = -1 + -1. Let h(t) = -3*t**3 - t**2 + 3*t + 1. Is h(a) a multiple of 15?
True
Let c(x) be the first derivative of x**3/3 - x**2/2 + 4. Let g = -1 + -1. Is c(g) a multiple of 3?
True
Let y(h) = h + 7. Let l be y(-5). Suppose 11 = 3*q + 2*t + l*t, q + t = 4. Does 4 divide q?
False
Let k = 2 - -1. Let n = 77 - 47. Suppose z + 14 = 2*z + 3*t, 5*t - n = -k*z. Is 5 a factor of z?
True
Let s = 158 - 101. Suppose -3*t - 5*u = -s, 0 = -5*u + u + 12. Is t a multiple of 14?
True
Let n(q) = -q**3 - 14*q**2 - 14*q - 10. Let r be n(-13). Suppose m + 6 + 4 = 2*b, 0 = r*m - 5*b + 25. Suppose m*k - k = -14. Is 14 a factor of k?
True
Let k be 0 - 1*(1 - 0). Let q be (0 - -4) + (-3 - k). Suppose t - 4 - q = 0. Does 3 divide t?
True
Let f(u) = u**2 - 6*u - 2. Let i be f(7). Suppose 0 = -4*r - 0*r - i*k + 39, r - 8 = -3*k. Is 4 a factor of r?
False
Let s(l) be the first derivative of -l**3/3 - 11*l**2/2 - 3*l + 2. Is 5 a factor of s(-10)?
False
Suppose 5*l = -5*t + 6*l + 304, t - 2*l - 68 = 0. Does 15 divide t?
True
Suppose -2*r + 4 + 6 = 0. Suppose 2*t + r*b = -21, -t - b - 2 = 1. Is 2 a factor of t?
True
Suppose -3*d - 4 + 10 = 0. Suppose -g + 27 = -3*r, -d*r + 4*r = g - 27. Is 13 a factor of g?
False
Suppose 3*x + 2*x + 3*n - 245 = 0, 4*n - 66 = -x. Let h = -21 + x. Suppose h - 5 = 4*l. Is 5 a factor of l?
True
Suppose -2*a + 1 = -3*a, 0 = -5*b - 3*a + 77. Suppose 5*o - 3*v = 1, 3*o + v + 7 = b. Suppose o*x - x = -4*z + 52, 3*z = -4*x + 234. Does 25 divide x?
False
Let r(j) = 13*j**2 + 4*j + 2. Is r(-3) a multiple of 15?
False
Let z(p) = -2*p**3 + p**2 + 5*p + 4. Let b be z(-3). Let w = b - 26. Is 13 a factor of w?
True
Let z(v) = v + 8. Let s be z(-4). Suppose -s*x + 12 = -x. Suppose -x*a + 96 = -a. Is a a multiple of 12?
False
Suppose 4*v = 4*b + 2*v, 6 = -b + 2*v. Suppose 2 = 2*a - 4*f, -b*f - 44 = -4*a - 4*f. Does 3 divide a?
True
Suppose -2*z + 13*z - 1144 = 0. Does 25 divide z?
False
Let r(u) = -u**2 + 17*u - 5. Does 10 divide r(15)?
False
Suppose 7*q - 394 = 803. Does 52 divide q?
False
Let a be 1*(-16 + 6/(-2)). Suppose -c + 5*c + 124 = 0. Let z = a - c. Is 9 a factor of z?
False
Suppose -y - 81 = -4*t, 4*t = 5*y + 3*t + 443. Let c = y + 129. Is 8 a factor of c?
True
Let w(j) = j**3 - 3*j - 4. Is w(3) a multiple of 7?
True
Suppose 45 = 3*r - y, -2*r + 5*y + 29 = -r. Does 7 divide r?
True
Let u(t) = t**3 - 7*t**2 - 9*t + 10. Let k(q) = -q**3 - 4*q**2 - q + 4. Let x be 21/(-6) - (-1)/(-2). Let y be k(x). Is u(y) a multiple of 2?
True
Does 9 divide (-4)/(-12)*-3 + 16?
False
Let o(g) = -30*g + 29. Let w(s) = -6*s + 6. Let n(t) = 2*o(t) - 11*w(t). Is n(6) a multiple of 28?
True
Let s = 221 + -117. Is 15 a factor of s?
False
Let a(h) = h**3 - 10*h**2 + 10*h - 4. Let b be a(9). Suppose -2*c = -t - 35, -3*t = -4 - b. Is 12 a factor of c?
False
Let l(k) = -k**3 - 3*k**2 - 3*k - 2. Let a be l(-2). Suppose n + a*n - 22 = 0. Is n a multiple of 22?
True
Let x = -10 - -14. Suppose x*n = -u + 25, 0 = u + 5*n - 13 - 16. Is u a multiple of 9?
True
Suppose 2*k - 14 = -0*k. Let q be (9 - k)*2/4. Does 8 divide 14/(-7) + 18/q?
True
Does 23 divide ((-2)/4 - 1)*(-184)/6?
True
Let j = 83 + -49. Suppose j = 4*k - 3*n - 4, -36 = -5*k - 2*n. Is k a multiple of 4?
True
Suppose -3*z = -z - 84. Does 21 divide z?
True
Let n(c) = 8