4*x + 6*k + 12 = 2*k. Suppose -2*w + 10 = 0, 21 = 4*j + 2*w - x. Suppose -6*o + j*o + 10 = 0, 66 = f + 3*o. Is 17 a factor of f?
True
Let q(d) be the third derivative of -d**6/360 + d**5/15 + d**4/6 - 2*d**3/3 + 5*d**2. Let o(t) be the first derivative of q(t). Does 3 divide o(8)?
False
Suppose -4*o + 4*s + 41 = 13, 2*s = 4*o - 22. Does 4 divide o/14 - 82/(-7)?
True
Let j(l) = 4*l**2 - 44*l + 16. Is 8 a factor of j(11)?
True
Let u = 29 + -37. Let t(p) = -2*p**2 - 21*p - 15. Does 9 divide t(u)?
False
Let h = -64 - -182. Suppose -h = -5*j + 307. Does 18 divide j?
False
Let b = 393 - 355. Is 3 a factor of b?
False
Suppose 5*m + 970 = h, 5*m = 5*h + 4*m - 4898. Is 11 a factor of h?
False
Let x be 4 + 4 + (-7 - -1). Suppose -x*t = -28 - 20. Suppose 0 = 2*l - l - t. Does 12 divide l?
True
Let b(r) be the first derivative of -r**4/4 - 16*r**3/3 - 8*r**2 + 17*r - 9. Let i be b(-15). Let o = 48 - i. Does 16 divide o?
True
Let x = 2981 - -1305. Is 15 a factor of x?
False
Let s(y) = 2*y**2 + 3*y + 6. Let c = 11 - 15. Let i be s(c). Let g = i - 9. Does 17 divide g?
True
Let p be (-100)/(-6)*(-6)/(-5). Suppose -5*r + 3*r + p = 0. Suppose 0 = 2*w - 5*y - 19 - r, 2*w - 4*y = 28. Does 4 divide w?
True
Let n(j) = -9*j + 1. Suppose s + 5 = -1. Let z be n(s). Suppose 3*c - 70 - z = 4*a, 5*c = -2*a + 165. Does 10 divide c?
False
Let p(c) be the third derivative of c**5/30 + 23*c**3/6 + 3*c**2. Is p(-7) a multiple of 30?
False
Suppose -4*l + 414 = -66. Is l a multiple of 16?
False
Suppose -2*q + 7 = -13. Let g = q + -6. Does 4 divide (3 + 12/16)*g?
False
Suppose -40 = t - 2*w, 0 = 2*w - w - 4. Is (-884)/(-14) - (-1 + t/(-28)) a multiple of 63?
True
Let u(r) = -18*r - 150. Does 56 divide u(-27)?
True
Let h(a) = 573*a**2 + 3*a + 2. Is 4 a factor of h(-1)?
True
Suppose 8 + 4 = -3*r. Let j be -2*(-2)/r*-2. Suppose 0 = 5*x + 2*q - 4*q - 156, -x = j*q - 24. Is x a multiple of 10?
True
Let t be ((-6)/4)/((-12)/(-64)). Let x(q) = q**3 - 3*q + 4*q - 1 + 9*q**2 - 1 + 4*q. Does 22 divide x(t)?
True
Let a = -2 - -16. Let h = a - 9. Suppose 0 = -h*m - 12 + 102. Is 6 a factor of m?
True
Let f = 72 - 75. Let q(k) = -4*k**3 - 2*k**2 - k - 5. Is q(f) a multiple of 11?
True
Let n(p) = p**3 - 15*p**2 + 14*p - 4. Let r be n(14). Let b be (30/45)/(r/(-102)). Is 11 a factor of -2*(-4)/(-8) + b?
False
Suppose 0 = -s - 2*d + 78, -2*d = 4*s + 2*d - 292. Is 18 a factor of s?
False
Suppose -6*u + u + 15 = -5*l, l = -3*u - 19. Let x = -5 - l. Suppose x*j = -0*j - 2*k + 90, 3*j - 3*k - 105 = 0. Does 20 divide j?
True
Let i(w) be the second derivative of -3*w**3/2 + 11*w**2/2 + 9*w. Does 17 divide i(-9)?
False
Is 68 a factor of 2/4*-4 + 577?
False
Let d(w) = 5*w - 2*w**2 + 3 + 3*w**2 + 0 + 1. Let q be d(-6). Suppose 0 = 5*z - 2*g - 50, -2*g - q = -z + 2*g. Does 5 divide z?
True
Let c(x) = 13*x + 2. Let r be c(6). Let z = r + -37. Is z a multiple of 17?
False
Let p be 210/(-28)*6/(-5). Suppose -5*r = p*r - 1610. Is 13 a factor of r?
False
Suppose -5 = -2*r + 15. Is ((-6)/5 - -4)*r a multiple of 4?
True
Suppose 8*u - 3*u - 412 = -2*n, 4*u = -2*n + 416. Suppose 0*p + n = 2*p. Is 27 a factor of p?
True
Suppose -4*g - 2*c = -g - 1, -5*g + 6 = -c. Let s(k) = 128*k + 4. Is s(g) a multiple of 44?
True
Let o(z) = -3*z - 6. Let t be o(8). Let y be (-65 - 0)*(-12)/t. Let a = 47 + y. Does 7 divide a?
True
Let n(g) = g**3 - 7*g**2 - 14*g + 45. Is n(9) a multiple of 27?
True
Let t = 387 + -83. Is 10 a factor of t?
False
Let y(j) = j**3 + 7*j**2 + 5*j + 1. Let q(n) = -2*n - 6. Let w be q(-9). Suppose 0*a + w = -2*a. Is 2 a factor of y(a)?
False
Suppose 58*l + 3691 - 37795 = 0. Is 30 a factor of l?
False
Let f(m) = -m**3 + 13*m**2 + 17*m - 38. Let k be f(14). Suppose -3*o = -k*x - 432, -2*o + 2*x = 3*x - 277. Is o a multiple of 9?
False
Suppose -5*n - 6 + 16 = 0. Is 13 a factor of 45 - (-3 + (4 - n))?
False
Let f = 1547 - 607. Is f a multiple of 10?
True
Suppose 0 = -5*g + 2*h - 400, 0 = -g - 5*h + 2*h - 63. Let u = g + 172. Does 14 divide u?
False
Does 26 divide (178/(-6) + 1)/((-32)/2496)?
True
Let t = 61 - 92. Let y = -47 - t. Does 31 divide y/(-56) - (-362)/7?
False
Let g = 1424 + -968. Is 12 a factor of g?
True
Let d(k) = k**2 - 10*k - 7. Let z be d(11). Suppose -1 = 3*w - z, u + 3*w = 75. Suppose -3*x + 0*x + u = 0. Does 14 divide x?
False
Is 42 a factor of 17/(-2)*15/(-5)*26?
False
Suppose 14*h + 1287 = 5*h. Let m = h + 181. Does 3 divide m?
False
Let c(z) = -4 - 6*z + 7 + 5. Let p = 85 - 95. Is c(p) a multiple of 18?
False
Let l(j) = -j**3 + 6*j**2 + 6*j. Let c be -4 + 6 + 7 + -3. Is l(c) a multiple of 9?
True
Let i = 777 - 698. Is 10 a factor of i?
False
Let c(h) = 2*h**2 - 11*h - 5. Let l(s) = -s**3 - 8*s**2 - 7*s + 9. Let k be l(-7). Let y be c(k). Let q = y - 24. Is q a multiple of 14?
False
Suppose 854 = 5*m - 966. Suppose 2*n - n = 3*p + 76, -4*n = 3*p - m. Is 22 a factor of n?
True
Suppose -5*d - 20 = -310. Does 3 divide d?
False
Let a be ((-3 - -3) + -31)*1*2. Let h = a + 109. Is 5 a factor of h?
False
Let u(h) = -16*h + 10 - 7 + 15. Is u(-7) a multiple of 13?
True
Suppose 0 = -2*b - a - 145, -5*b = -4*a + 583 - 201. Suppose 2*i + 0*i + t = 212, -i - 5*t + 124 = 0. Let k = b + i. Is k a multiple of 11?
False
Let p be (3 - 4/1) + 0. Does 18 divide -1 + 1/p - -193?
False
Suppose -25*u + 8*u + 26656 = 0. Is u a multiple of 7?
True
Let l = 43 + -16. Let g be l/12 - 18/(-24). Suppose 277 = g*a - r, 0*r - 3*r - 361 = -4*a. Is a a multiple of 21?
False
Let x = 2 + 32. Is 2 a factor of x?
True
Let n(x) = 12*x + 188. Does 62 divide n(5)?
True
Let i(l) = -2*l - 6. Let m be i(-6). Suppose 0 = -2*k - m*k + 240. Is 13 a factor of k?
False
Is 19 a factor of (-1182)/(-15) - 90/(-75)?
False
Let y(p) = -118*p - 55. Does 8 divide y(-17)?
False
Let n(c) = -c**3 + 8*c**2 + 3. Let o be n(8). Let v(b) = 4*b - 2. Is 5 a factor of v(o)?
True
Let u be (-4 - (4 - 6)) + 7. Suppose 3 + 22 = -5*p, -u*p = 5*l - 175. Is 10 a factor of l?
True
Let y = -5 - -41. Suppose -2*z - y = -88. Suppose -2*h + 3*q + 68 = 0, 4*q - z + 98 = 2*h. Does 14 divide h?
True
Let q = 24 - 18. Let h be (-15 + 6)*(-2)/q. Suppose -g = -2*g - 1, 3*a + h*g = 147. Is 25 a factor of a?
True
Is 5 a factor of (-30)/(-4)*2652/130?
False
Suppose -4*l + 41 = -47. Suppose 0 = z + 9 - l. Does 13 divide z?
True
Suppose 220*x = 221*x - 2, -3*n - 3*x = -7434. Is 6 a factor of n?
False
Suppose 10*k = 3*m + 9*k - 2771, -3*k + 4623 = 5*m. Does 44 divide m?
True
Suppose 15*h + 9*h - 24000 = 0. Is h a multiple of 25?
True
Let a = -851 - -2431. Is 18 a factor of a?
False
Does 7 divide (-2)/(44/(-3773))*(0 + 2)?
True
Let v be 3 + (-3)/(-1 + 4). Let k(n) = n + 2. Let m be k(-2). Suppose v*s + 3*s - 250 = m. Is 13 a factor of s?
False
Let q(t) be the first derivative of 7*t**2/2 - 4*t - 1. Suppose 4*j + 3 = -4*v - 5, -3*j = -v + 18. Is 3 a factor of q(v)?
False
Let c(z) = 4*z - 15. Let x be c(-10). Is 30 a factor of -2*(0 - x/(-2))?
False
Let r be (-2)/(-7) - 1/14*-52. Suppose 7*l - 24 = r. Is 2 a factor of l?
True
Let z(t) = 76*t - 70*t - 5 - 2 + 5. Is 34 a factor of z(6)?
True
Suppose 0*l = l - y - 5, -2*l + 3*y + 8 = 0. Suppose -4*b - 49 = -j, 200 = 5*j + 2*b - l*b. Suppose 47 = 2*c - j. Is c a multiple of 14?
True
Let o = -23 + 11. Is 5 a factor of (-4 - -10)*-5*o/10?
False
Let i be -3*(-4)/12 - -1. Is -2 + i - (-15 - -1) a multiple of 14?
True
Let d = 74 + -71. Does 24 divide -12*(315/(-10))/d?
False
Suppose -4*s + 4*l = -524, -2*s - 4*l + 197 = -71. Is 14 a factor of s?
False
Suppose -1814 + 206 = -12*u. Does 24 divide u?
False
Suppose -137*v + 82*v + 73425 = 0. Is 89 a factor of v?
True
Let f(r) = 26*r - 135. Does 3 divide f(9)?
True
Does 9 divide 3/2 + 430*4/16?
False
Let f = -1235 - -3233. Is 19 a factor of f?
False
Suppose 3*t - 17*t = -602. Is 16 a factor of t?
False
Suppose -201*w + 3940 = -196*w + 4*i, -5*w + 3975 = -3*i. Is 33 a factor of w?
True
Suppose -26*i + 7511 + 7569 = 0. Is i a multiple of 13?
False
Let l(v) = 7*v + 2. Let k be l(1). Let g(p) = 18*p + 9. Is 12 a factor of g(k)?
False
Let l(y) = -y**2 + 5*y - 2. Let m(v) = -v - 1. Let u be m(-5). Let c be l(u). Is (-12)/c*(-2)/4 even?
False
Let j = -3 - -7. Suppose 0 = j*h - 3*h - 95. Suppose 4*k = -k + h. Is 19 a factor of k?
True
Suppose 0 = -69*j + 67*j + 512. Is j a multiple of 16?
True
Let 