actor of k?
True
Let n(h) = 16*h**3 + 2*h**2 - 2*h + 5. Let i(t) = -32*t**3 - 4*t**2 + 4*t - 11. Let f(d) = 4*i(d) + 9*n(d). Is 17 a factor of f(1)?
True
Let r(w) = -5*w + 15. Let q be r(-9). Suppose -2*u + q = -36. Is 10 a factor of u?
False
Suppose 9*v = 5*k + 12*v - 2354, -2*v = 5*k - 2356. Let y = k - 277. Is y a multiple of 15?
True
Suppose -2*r + 2*r = -5*r. Suppose -5*c = -3*o - 1620, 0 = -r*c - 2*c - 5*o + 648. Is c a multiple of 29?
False
Is 36 a factor of 0 - (-4)/62 - 2562224/(-1736)?
True
Let x be -1*(-1)/(1/2). Suppose -7 = x*v + 3. Let b(r) = r**3 + 8*r**2 + 3*r - 6. Is 27 a factor of b(v)?
True
Suppose -3*i + 2*i + 399 = 5*q, 5 = 5*q. Suppose -u - l + 146 = 2*l, i = 3*u - 2*l. Is u/4 + (-24)/(-16) a multiple of 13?
False
Let a be ((-44)/(-33))/(4/54). Is 2 a factor of (-3 - -2) + a + -6?
False
Let k = -14 - -1274. Does 12 divide k?
True
Let y = -1833 + 2971. Is y a multiple of 50?
False
Suppose 0*p - 3*p - 2*q + 8 = 0, -4*q + 8 = 4*p. Suppose p*k - 456 = -4*i + i, 0 = 3*k + i - 347. Is k a multiple of 13?
True
Let b = 24 + -12. Let y(m) = m**2 + m - 12. Is y(b) a multiple of 36?
True
Let k(q) = q**3 + 14*q**2 + 4*q - 31. Let j be k(-10). Let w = j + -161. Is w a multiple of 12?
True
Let a(u) = 7*u**2 + u. Suppose -b + 4 = 3*b. Let l be a(b). Let d(p) = p**3 - 7*p**2 - 6*p. Is 16 a factor of d(l)?
True
Let n(b) = 7*b**2 - 103 + 116 - 3*b**3 + 4*b**3 - b. Is n(-6) a multiple of 11?
True
Let s(u) = 2*u**3 - 5*u**2 + 8*u - 13. Let c = 142 - 137. Does 19 divide s(c)?
True
Let b be (7/(-3) + 2)*-15. Suppose -i = -4*u + 15, -4*i = 3*u - 0 - 35. Suppose b*l + i = 0, 0*n = 5*n + l - 189. Is n a multiple of 10?
False
Suppose 0 = -2*g + 7*g - 415. Suppose 0 = 5*c + 37 + g. Let j = c + 34. Is j a multiple of 10?
True
Suppose -10*h = -17*h + 399. Is h a multiple of 3?
True
Suppose -3*v + 4*v = 2. Suppose -115 = -l - 2*l - v*n, l = -3*n + 36. Is l a multiple of 13?
True
Suppose 5*z + 0*z = 10. Suppose z*y = y. Suppose 0*f + 4*f - 60 = y. Does 5 divide f?
True
Suppose -3*l - 5*t = -l - 13, 4*l + 13 = 3*t. Let z(f) = 15 + 19*f - 15 - 38*f. Does 7 divide z(l)?
False
Suppose -55*a + 32185 = -14*a. Does 13 divide a?
False
Let p(f) = f - 3. Let r be p(5). Suppose -5*i = 4*g - 48, 4*g + 2*i = -r*i + 52. Does 17 divide g?
True
Suppose -2*f - f = -9. Suppose m - 2*m = -4, f*i - 328 = 2*m. Is i a multiple of 13?
False
Suppose 0 = 3*k - 6 + 9. Let j be k + (-1 + -16)*-1. Is (-1 + -9)/((-8)/j) a multiple of 5?
True
Let c(a) = -a - 4. Let g be c(8). Let s = -3 - g. Is (38/3)/(6/s) a multiple of 9?
False
Let s = 373 - 188. Suppose 3*o - 593 = -s. Is o a multiple of 17?
True
Let n(k) = -2*k - 4. Let h(o) = 4*o + 7. Let w(r) = 2*r**3 - 4*r**2 + 4*r - 2. Let y be w(2). Let m(l) = y*h(l) + 14*n(l). Is 7 a factor of m(-11)?
False
Let w(y) = y**3 - 29*y**2 + 35*y - 165. Is 34 a factor of w(29)?
True
Suppose 2923 = 4*i - 129. Is i a multiple of 33?
False
Suppose 28*j - 14*j - 5082 = 0. Is 19 a factor of j?
False
Let r = -873 + 308. Let b = -385 - r. Is b a multiple of 9?
True
Suppose 2*k - t - 941 = 0, 16*k + 3*t = 11*k + 2325. Is k a multiple of 8?
False
Is 21 a factor of (-6)/(-8) - (-3314)/8?
False
Let o(x) = -2*x**3 - 2*x**2 + 2*x + 2. Let y be o(-1). Suppose y = 27*q - 19*q - 200. Does 25 divide q?
True
Let u be 28/6*-3*(-6)/21. Is 37 a factor of 0 + u/(16/(-26))*-26?
False
Let u(b) = b**3 + 17*b**2 + 9*b - 29. Is 22 a factor of u(-15)?
True
Is 4 a factor of -3*6824/(-32) - (-6)/(-8)?
False
Suppose -4*n = -82 + 26. Suppose -q = -2*f + q + n, 5*f = -2*q + 21. Suppose 0*v - 215 = -5*r - f*v, -5*v - 97 = -3*r. Is r a multiple of 20?
False
Let x(w) = -2*w**3 - w**2 - 3*w + 4. Let r be x(2). Does 11 divide 68 - (r/(-121) + 20/11)?
True
Let x(z) = z**2 - z + 138. Let b be x(0). Suppose 0 = -6*c + b. Suppose -c = -2*w + 13. Does 7 divide w?
False
Let h(a) = -5*a**3 - 2*a**2 + 7*a + 6. Let i be h(-4). Suppose 46 = 3*v + 538. Let n = v + i. Is n a multiple of 18?
False
Suppose -31*y + 28*y + 330 = 0. Does 10 divide y?
True
Let z(y) = y**3 - 11*y**2 + y + 6. Let q be z(11). Let d = q - 32. Let b(n) = n + 33. Does 6 divide b(d)?
True
Let z(u) = u + 36. Let g = 16 - 19. Let c = g - -3. Is z(c) a multiple of 12?
True
Suppose 0 = 3*w - 10*w + 14. Let r(y) = 30*y**2 + y - 2. Does 15 divide r(w)?
True
Let o(s) = s**3 - 8*s**2 - 7*s - 16. Let m be o(9). Suppose q = m*b - 1, -5*b = 6*q - 3*q - 41. Is 7 a factor of q?
True
Let i(n) = 11*n - 17. Let j be i(2). Let u be 1*(0 + 2 + 31). Suppose -j*s = 3*f - 193, -u + 148 = 3*s + f. Does 19 divide s?
True
Let z(o) = o**2 - 3*o - 4. Let i(p) = p**2 - p. Let s(y) = -2*i(y) + z(y). Let k be s(0). Does 10 divide 6/k*464/(-24)?
False
Let o(i) = i**2 + 56*i + 75. Is 6 a factor of o(-57)?
True
Suppose -41*r + 47*r = 1194. Does 40 divide r?
False
Let s(p) = 3*p - 17. Let z be s(7). Let h(r) = -2*r + 6. Let c be h(z). Is 14 a factor of (30/(-18))/(c/18)?
False
Let k = 3867 - 2479. Is k a multiple of 26?
False
Let q be (-2)/(-12) - (-105)/18. Let i be (-4)/6*q/(-4). Suppose -u - 20 = -5*u, i = -2*z + 3*u. Does 5 divide z?
False
Let l(u) = 229*u**2 + 30*u + 31. Does 23 divide l(-1)?
True
Suppose -w = -5*k + k + 92, -5*w = -5*k + 415. Let g = w + 93. Is 13 a factor of g?
True
Suppose -491 = -3*a + 487. Is 25 a factor of a?
False
Let w(y) = -y**2 + 6*y - 3. Suppose -2*h = -4*n - n + 26, n = 5*h + 19. Is 3 a factor of w(n)?
False
Let b be (-2)/(-6)*(26 + -8). Suppose 5*i - b - 14 = 0. Is 6/i*(20 + -2) a multiple of 9?
True
Suppose 4*b + 2*c - 790 = 0, -74 = 2*b + 3*c - 467. Suppose -5*i - b = -7*i. Is i a multiple of 11?
True
Let w(a) = 6*a**3 + 60*a**2 + 89*a + 46. Let k(b) = b**3 + 12*b**2 + 18*b + 9. Let y(z) = -11*k(z) + 2*w(z). Is 15 a factor of y(14)?
True
Let f = -324 - -1504. Is f a multiple of 20?
True
Let h = -24 + 57. Let z = h - -19. Is 16 a factor of 0 - (0 - 1 - z)?
False
Suppose -29 - 122 = -2*y + 3*f, -f - 216 = -3*y. Is 15 a factor of y?
False
Let p(r) = 243*r - 894. Is 132 a factor of p(14)?
True
Let m = -1162 + 2805. Is 31 a factor of m?
True
Suppose -g + 103 = -5*a, a - 5*g = -0*a - 11. Let q = -18 - a. Suppose 17 + 19 = q*k + 5*p, -k + 2*p + 23 = 0. Does 17 divide k?
True
Let i be (-4 - (-14)/4)*16. Let m = i + 17. Does 2 divide 1 + (11 - m/3)?
False
Suppose -2*l + 5*o - 56 - 30 = 0, 0 = o - 4. Let b = 3 + -18. Let z = b - l. Is z a multiple of 9?
True
Let x = 28 - 45. Suppose -6*n - 12 = -8*n + 3*a, -3*n - 5*a - 20 = 0. Is -3 - ((x - n) + 2) a multiple of 11?
False
Suppose 4*c = -17 - 3. Let o = 5 + c. Suppose o = -4*t + 5*t - 20. Does 10 divide t?
True
Let s = -1 - -7. Suppose -4*v - 642 = -5*l - s*v, -5*l = -3*v - 662. Is l a multiple of 14?
False
Let j(w) be the third derivative of w**4/4 - 7*w**3/3 - 9*w**2. Is j(8) a multiple of 5?
False
Suppose -240*i = -243*i + 1488. Does 10 divide i?
False
Suppose l - 1548 = -k, 38*k = 37*k. Is 9 a factor of l?
True
Let v(g) = -14*g**3 + 19*g**2 + 32*g + 1. Let p(u) = 9*u**3 - 13*u**2 - 21*u - 1. Let n(j) = 8*p(j) + 5*v(j). Is 11 a factor of n(6)?
False
Suppose -5*h = 6*j - j + 1015, -3*h = -3*j + 585. Let m = h + 348. Let f = m - 53. Is 24 a factor of f?
True
Suppose 0 = -2*c + 6*c + 12. Let j be 2*14/c*-3. Is 6 a factor of 3/21 - (-780)/j?
False
Suppose 2*p + 0*u - 93 = 3*u, 5*p = 4*u + 222. Let w = 72 - p. Does 5 divide w?
True
Let l(j) = -j**2 - 9*j + 12. Let h be l(-10). Suppose 0 = 3*k + 4*t - 164, 0 = -2*k + h*t + 3*t + 117. Is 7 a factor of k?
True
Let r(w) = -82*w + 6. Does 15 divide r(-4)?
False
Suppose -12*w = -17*w + 1820. Is w a multiple of 28?
True
Suppose -5*k - g + 1124 = 0, 2*k = -0*k + 2*g + 452. Let m = k - 148. Is m a multiple of 12?
False
Let n = 2422 + -1386. Is 75 a factor of n?
False
Is 5 a factor of 2730/(-2)*((-20)/(-30) - 1)?
True
Let b(g) be the second derivative of -g**8/6720 + g**7/420 + g**6/80 - g**5/60 + g**4/3 - 2*g. Let v(c) be the third derivative of b(c). Does 6 divide v(7)?
True
Let j(k) = 3 + k**3 + 16*k**2 - 5*k**2 - 17 - 14*k + 0*k**3. Let b be j(-12). Suppose -14*w + 332 = -b*w. Does 15 divide w?
False
Let q(a) = 5*a + 16. Let o be (-6)/((-2)/(24/9)). Is 15 a factor of q(o)?
False
Let z = -1 + 16. Suppose -y + 0*y - z = 0. Let n = y + 24. Is 9 a factor of n?
True
Let i(j) = -j**2 - 3*j + 1. Let o be i(0). Let b(u) be the third derivati