 17?
True
Suppose -w = -2*i + 29465, 32*i - 33*i - 4*w + 14728 = 0. Does 127 divide i?
True
Suppose -119*h - 72*h = 29*h - 894960. Does 25 divide h?
False
Let d(m) = -51*m**2 - 7*m + 10. Let s be d(3). Let l = -316 - s. Is 11 a factor of l?
True
Let x(s) be the third derivative of 15*s**4/8 - 15*s**3/2 - s**2 - 251. Does 11 divide x(29)?
False
Suppose -7*d + 17 = -4. Let s be 18 + d - (0 + -3 + 6). Suppose 22*f - 536 = s*f. Does 27 divide f?
False
Let o = 137 + -117. Let t = 76 + o. Is t a multiple of 24?
True
Suppose -2*d = -2, 0 = -2*x - 0*x + d + 37. Suppose 176 = x*q - 23*q. Does 6 divide 31 + 11/(q/(-16))?
False
Let v be 10 - 20/(-4)*-1. Suppose 3*b + 2*b = -v*i + 1510, 2*b = 5*i + 611. Is b a multiple of 30?
False
Let l = 67 - -1454. Is 3 a factor of l?
True
Suppose -96*q + 93*q - 1173 = 0. Let g = q + 496. Does 21 divide g?
True
Let i(z) = 14415*z**2 - 19*z - 100. Is i(-2) a multiple of 10?
False
Let x = 480 - -8168. Does 107 divide x?
False
Suppose 0*x - 36 = 12*x. Let z be 2/(x - (-5 + 1)). Suppose 6*g = -i + 5*g + 32, 0 = -z*i + 3*g + 79. Does 35 divide i?
True
Let b = -1705 + 2778. Let q = -533 + b. Is q a multiple of 12?
True
Let b(m) = -m**3 + 12*m**2 + 155*m + 8. Is 2 a factor of b(19)?
True
Let m(b) = b - 5. Let w(y) = -y + 2. Let p(h) = -6*m(h) - 11*w(h). Let n be p(11). Suppose -68*z + 280 = -n*z. Does 4 divide z?
True
Suppose 0 = -12*k + 7*k + 2295. Let y = 539 - k. Does 64 divide y?
False
Let n = -11398 - -29051. Is 44 a factor of n?
False
Let q(p) = 30*p**2 + 22 - 12 - 3 - 3*p. Is q(3) a multiple of 17?
False
Suppose -3*q = a - 3*a - 1, 0 = 2*a + q - 3. Let c(l) = 4*l**3 - l**2 + l + 1. Let t be c(a). Suppose 192 = -t*w + 8*w. Is 3 a factor of w?
False
Let d be (2 - 27/12)*-436. Let z = d + -65. Does 22 divide z?
True
Suppose 5*f = 5*g + 2645, -3*f + 2281 = 3*g + 700. Suppose -f = -3*z - 387. Is 15 a factor of z?
False
Suppose 24*i - 16 = 26*i. Does 9 divide i + 730/1 + 6?
False
Suppose -173 = 2*k + 23. Suppose 0 = 7*f - 2*f + 960. Let z = k - f. Does 11 divide z?
False
Suppose -6*y + 14 + 4 = 0. Suppose -y*u + 4*u + 364 = 2*p, -2*p = 2*u - 364. Does 43 divide p?
False
Let r(d) = -2*d**2 + 10*d + 12. Let k be r(8). Let h = k + 36. Suppose h = -p - 5*v + 7, -v - 139 = -4*p - p. Is 3 a factor of p?
True
Suppose 0 = 2*g + 8, 11655 = 3*v - 2*g - 497. Does 8 divide v?
True
Let b(s) = -s**3 + 126*s - 84. Is b(-15) a multiple of 5?
False
Suppose -2*v + 1 + 7 = 0, 0 = -5*q - 2*v + 28323. Is q a multiple of 27?
False
Let c(j) be the first derivative of -j**5/60 - 11*j**4/24 - j**3/2 - 7*j**2/2 - 15. Let l(a) be the second derivative of c(a). Does 10 divide l(-8)?
False
Let k(i) be the third derivative of 38*i**4/3 + 2*i**3 + 2*i**2 + 69. Does 64 divide k(1)?
False
Let z(y) = -y**3 + 47*y**2 - 80*y - 484. Does 100 divide z(42)?
False
Suppose 3*v + v - 870 = -u, -5*u + 1080 = 5*v. Suppose 2*r - 6 = -0. Suppose -255 + 33 = -5*j + r*d, 5*j - v = 2*d. Does 21 divide j?
True
Let q(s) = -56*s + 1. Let o(d) = -5*d**2 - 10*d - 10*d**3 - 3 + 11*d**3 + 5*d - 4. Let b be o(6). Does 19 divide q(b)?
True
Let d = 197 + 7. Suppose 78 = k - 3*x, 3*x = 2*k + k - d. Is 9 a factor of ((-4)/(-14) + (-1614)/k)*-3?
False
Does 23 divide (17920230/1995)/(2/14)?
False
Let n be (-6)/9*-3 - (-1 - 0). Let h be 1/(-2) - (-1596)/24. Suppose 7*b = -3*f + n*b + 63, 5*b = -3*f + h. Is 7 a factor of f?
False
Let b(f) = -f**3 + 68*f**2 + 35*f - 47. Let j(x) = 23*x**2 + 12*x - 16. Let y(k) = 2*b(k) - 7*j(k). Is 3 a factor of y(-12)?
True
Suppose -o + 2*o = 22. Suppose -20*j = -o*j + 14. Is j a multiple of 7?
True
Let l(s) = 856*s - 902. Is 26 a factor of l(7)?
False
Let s(f) = -6*f - 6. Let m be s(-1). Suppose 11*y - 6*y - 1220 = m. Does 19 divide y?
False
Let q(y) = 200*y**2 + 2. Let i(w) = -201*w**2 - 1. Let s(p) = 2*p. Let a be s(-1). Let d(l) = a*q(l) - 3*i(l). Does 15 divide d(1)?
False
Let u(h) = -h**3 - 4*h**2 - h + 13. Let p be u(-4). Suppose p*q - 22*q = -800. Does 44 divide q?
False
Suppose -15484 - 18107 = -3*v - 5319. Is v a multiple of 16?
True
Suppose 2*m + s + 4*s - 1010 = 0, 4*m - s = 1998. Suppose -5*z - m = -2*i, i - 3*z = 251 - 3. Does 10 divide i?
True
Let g = 23 + -36. Let d = -15 - g. Does 2 divide (-2)/((-4)/(-3))*d?
False
Suppose -4*t - 3*s = -110108, t + 43*s - 27481 = 48*s. Is t a multiple of 59?
False
Let i = 33 + -17. Suppose k = i - 12. Suppose k*w = -16, -5*b + b - 4*w + 408 = 0. Does 53 divide b?
True
Let p(c) = 18*c**2 + 12*c + 39. Let q be p(-8). Suppose 0 = -2*o + 10, 0 = -5*d - 0*d - 5*o + q. Is d a multiple of 11?
False
Suppose -170*a + 48841 = 4676 - 42535. Is a a multiple of 17?
True
Let i(u) be the first derivative of -u**4/2 - 7*u**3/3 + u**2/2 - 14*u + 57. Is i(-6) a multiple of 32?
True
Let z(x) = -8*x - 12. Let b be z(-2). Suppose 0 = -2*t + 6, b*c - 66 = 2*t - 20. Suppose -5*n = -s - 1 + c, 94 = 2*s + 4*n. Is 2 a factor of s?
False
Let k be 24/(-10) + (-18)/(-45). Let y be (-1167)/15 + 9/5 + k. Let q = -72 - y. Does 3 divide q?
True
Let m = -1811 - -8109. Is m a multiple of 6?
False
Let l = -183 - -186. Suppose 511 + 1017 = 5*n + b, l*n - 912 = b. Is n a multiple of 14?
False
Let p be 5 + 236/12 - (-1)/3. Suppose 20*a + p = 25*a. Suppose -r = a*j - 148, 0*j + 20 = j - 3*r. Is j a multiple of 6?
False
Suppose -3*u = -2*d - 763, 689 + 331 = 4*u - 4*d. Let h = -134 + u. Is h a multiple of 17?
True
Let f be 54104/(-32) - 1/((-16)/12). Let d = 2724 + f. Does 11 divide d?
True
Let h be ((-8)/(-6))/((-233)/234 - -1). Let q = 368 + h. Is q a multiple of 68?
True
Let t(v) = -5*v**2 - 2*v + 84. Let b(c) = -c**2 - c + 1. Let g(y) = 4*b(y) - t(y). Is 61 a factor of g(22)?
False
Let c = -29 - -51. Suppose -m = -2*d - 4*m + 13, -4*d + c = 2*m. Suppose -t = -4*l - 2*t + 37, -45 = -d*l - t. Is l a multiple of 4?
True
Let n = -114 + 134. Let s(g) = -g**3 + 22*g**2 - 21*g + 45. Is 25 a factor of s(n)?
True
Suppose 0 = -211*y + 791953 - 245185 + 2495008. Is 16 a factor of y?
True
Suppose -4*d - 3*t - 817 = 0, 3*d + 3*t + 1022 = -2*d. Suppose 0 = 3*m - 4*p - 971, 0 = 4*m + 58*p - 63*p - 1295. Let n = m + d. Does 10 divide n?
True
Suppose 62*o = 54*o. Suppose -15*p + 3604 + 5771 = o. Is p a multiple of 4?
False
Suppose 3*o - 28 = -o + 3*i, 8 = -3*o - 5*i. Suppose -5*m + 98 = 2*h, 0*h + 4*h - 140 = o*m. Is h a multiple of 15?
False
Suppose -3*j + 3*k + 3 = -j, 0 = 4*j - 4*k. Let z(d) = -d**2 - 4*d + 3. Is 5 a factor of z(j)?
False
Let h(p) = -p**3 + 2*p**2 + 8*p - 8. Let v be h(1). Is 8 a factor of v/(-4 - 651/(-162))?
False
Let l(x) = 15*x**3 + 20*x**2 - 5*x - 100. Is 34 a factor of l(9)?
True
Let c be (-2)/(-6)*((-44)/4 - -2). Let w be (1 - (c - -1))*2/3. Suppose w*p - 154 = 2*r - 6*r, 0 = -p + 2*r + 77. Is 11 a factor of p?
True
Let q = -312 + 505. Does 2 divide q?
False
Let n be 704/3 - (-4)/3. Suppose -9*s + 214 = -n. Does 7 divide s?
False
Suppose -5*o + 297 = -443. Let m(s) = -s**2 - 8*s - 8. Let f be m(-6). Suppose -5*b + 276 = f*x, b - 6*b + o = 2*x. Is 16 a factor of x?
True
Let v = -5115 - -9115. Does 40 divide v?
True
Suppose -294*t = -11983836 - 2303976. Is 94 a factor of t?
True
Let q = 294 + -292. Suppose -10 = -5*l, -q*g = g - 3*l - 714. Does 40 divide g?
True
Suppose 3*a - 16 = -5*f + a, 5*a + 26 = 4*f. Suppose f*r + 4*t + 0*t + 36 = 0, 3*t - 22 = 4*r. Let g = r + 64. Does 57 divide g?
True
Suppose 96*c - 93*c = 573. Suppose -c = 2*o - 5*q, 5*q = -2*o + 8*q - 185. Let z = o + 136. Is 16 a factor of z?
True
Suppose -o - 240*z + 237*z + 13056 = 0, -2*z = o - 13054. Is o a multiple of 150?
True
Let o(g) = -4*g - 1. Let a be o(-8). Let q be (-1)/3*(-28)/((-420)/(-1755)). Let s = q - a. Is 2 a factor of s?
True
Let i = -165 + 168. Suppose h + 3198 = 4*p + 3*h, -i*h + 797 = p. Is 80 a factor of p?
True
Suppose 218*t - 370230 = 89*t. Is t a multiple of 14?
True
Let r(w) = -w**2 + 12*w + 9. Let u be ((-7)/(-7))/(2/16). Let k(y) = -y**3 + 9*y**2 - 7*y + 4. Let h be k(u). Is 3 a factor of r(h)?
True
Let q = 822 - 584. Let r = q - 215. Is r a multiple of 5?
False
Let q(h) = -8*h**2 + 13*h - 7. Let z(r) = 1. Let k(t) = -q(t) + 6*z(t). Let j be k(-8). Suppose -j = -5*a + 421. Does 27 divide a?
False
Let w = 5334 + -1484. Is w a multiple of 94?
False
Let x = -82 - -86. Is 10 a factor of 5 - -36*x/2?
False
Suppose -21 - 31 = -h. Suppose -f 