se
Let s = 77244 + -44925. Is s a multiple of 85?
False
Suppose 0 = -3*k - 3*x + 7*x + 28190, 0 = -5*x - 10. Does 18 divide k?
False
Suppose 0 = 193*k + 94*k - 117096. Is k a multiple of 12?
True
Let m(h) be the third derivative of h**8/1344 - h**7/1008 - h**6/180 - h**5/4 - 6*h**2. Let z(w) be the third derivative of m(w). Does 12 divide z(-1)?
False
Let n(x) = -33*x - 56. Let t be n(-3). Suppose 6*s - 169 = -t. Is s even?
False
Let j(o) = 12*o + 17 - 8*o + 8 + 6*o**3 - 16*o**2 + 2*o + 8*o**2. Is 7 a factor of j(4)?
False
Let c be (52*2)/((-6)/(-3)). Suppose 38*k = 34*k + c. Suppose -3*j = -2*s + 110, 5*j + 7 + k = 0. Does 7 divide s?
True
Suppose -35*g - 170*g + 4567206 = 17*g. Is g a multiple of 9?
False
Let o(a) = 107*a - 35. Let d be 39/6 + -5 - (-6)/4. Is o(d) a multiple of 26?
True
Let z be 216/104 - 1/13. Suppose 3*m = 4*n + 956, -4*m - 1288 = -8*m + z*n. Is 27 a factor of m?
True
Let c = -7574 + 8201. Is c a multiple of 2?
False
Let h(a) = -a**3 - 6*a**2 - 5*a + 1. Let o be h(-1). Let f(g) = 851*g + 19. Is 38 a factor of f(o)?
False
Let h be 16/(-48) + 278/(-3). Let x = h + 317. Does 14 divide x?
True
Let q = -7348 + 13860. Does 22 divide q?
True
Suppose 31774 = 5*x - d, 12713 = 2*x + 3*d - 0*d. Suppose 0 = 13*j - 8*j - 3*f - x, f - 3799 = -3*j. Is j a multiple of 15?
False
Let q = -734 + 754. Suppose -q*r + 1824 = -13176. Is r a multiple of 10?
True
Suppose -21*t + 4963 = -4760. Let r = -256 + t. Is 23 a factor of r?
True
Suppose -2*r = 3*c - 41482, 2*r - 1833 = c - 15679. Does 49 divide c?
False
Suppose 3*a = -5*m + 3500, -32*m - 4685 = -4*a - 35*m. Does 60 divide a?
False
Suppose 5*a - 2*b - 22939 = 0, -b + 11633 = -4*a + 29986. Is 15 a factor of a?
False
Let d = -3 - -5. Suppose c + n - 1 = 0, 7 = c - d*n - 3*n. Suppose -3*k = g - k - 79, c*g - 154 = -5*k. Is g a multiple of 29?
True
Suppose -90*k + 94*k = -120. Let j be (-3*(-5)/k)/(2/936). Let q = j + 334. Is q a multiple of 10?
True
Suppose 2*j - 1586 = -5*y, -27*j + 22*j + y + 4019 = 0. Does 11 divide j?
True
Let d(z) = -z**3 + 2*z**2 + 3*z + 4. Let c be d(3). Suppose 0 = 4*v - 8 - 8. Suppose -2*g = -h + 123, -v*g + 90 + 354 = c*h. Does 10 divide h?
False
Suppose 0 = -f - 4*f + 20, 5*i = -4*f + 4046. Let r = i + -282. Suppose 0 = 2*o - 10, -2*t = t - 2*o - r. Is 14 a factor of t?
False
Suppose 5*j - 10*j + 61200 = 0. Suppose 0 = -22*k + 70*k - j. Is k a multiple of 17?
True
Let q be ((-15)/1)/((-4 + 2)/2). Let n = 6 - 7. Is 8 a factor of ((-15)/q)/(n/47)?
False
Suppose -2*w - 5*f + 172 = 37, -4 = -4*f. Let h = w + -111. Let s = h + 61. Is s a multiple of 2?
False
Suppose -57975 - 91135 = -37*r. Is r a multiple of 62?
True
Let p(s) = s**3 + 10*s**2 + 10. Let y be p(-10). Let o(g) = -g**3 + 10*g**2 - 4*g + 14. Let q be o(y). Let u = q - -44. Is u a multiple of 9?
True
Let v be (-1)/(-3) - 3/9*-878. Let r = 209 - v. Does 40 divide 2/((-1)/r*1)?
False
Let h be (-69 + -411)/(3/(-152)). Suppose 60*v = 22*v + h. Is v a multiple of 8?
True
Suppose 7*s = 6*s - 2, -4*y + 3*s + 70 = 0. Suppose 20*h = y*h + 12. Suppose h*v + 9 = 0, w - 5*v = 5*w - 133. Does 8 divide w?
False
Let n = 144 + -133. Suppose 8*p - 608 = -n*p. Does 16 divide p?
True
Suppose 0 = -a + 54 + 35. Let z = a + 100. Let k = z - 133. Is 19 a factor of k?
False
Let i be (-20)/(-3)*(-5 - (-11)/(-2)). Suppose -q + 19 = -43. Let k = q - i. Does 44 divide k?
True
Let v(j) = 2*j**3 + 31*j**2 + 14*j - 14. Let u be v(-14). Let z = 139 - u. Let r = 513 + z. Does 27 divide r?
False
Let h(z) be the first derivative of 77*z**2 + 58*z - 262. Is 13 a factor of h(3)?
True
Suppose 5*n - 3727 = -x, -4*n + x = -278 - 2709. Let o = 1572 - n. Is 41 a factor of o?
False
Let k(w) = -w**2 + 18*w - 82. Let a be k(12). Is (-16)/(-40) - 1636/a a multiple of 11?
False
Let d(w) = w**2 + 5*w + 3. Let b be ((-2)/(-3))/((-14)/21) - 3. Let i be d(b). Does 7 divide i/(5/(-34 - 1))?
True
Let v = 598 + 1796. Suppose 8*i - 14*i = -v. Is i a multiple of 21?
True
Suppose -29*g - 11520 = -45*g. Suppose 181*d - 173*d = g. Is d a multiple of 9?
True
Let a be ((-4)/12)/((-6)/5976). Suppose 6*p - a = 2038. Let j = 555 - p. Is 23 a factor of j?
False
Let q be (1 + -1)*(3 + 16/(-6)). Suppose q*h + 6*h - 300 = 0. Suppose -i + 4*w + 10 = 0, 0 = -5*i - w - 3*w + h. Does 10 divide i?
True
Suppose 13*g = 1056 - 42. Let u = g - -588. Does 37 divide u?
True
Suppose 49 = 2*n + 11. Let c be 30/105 - n/(-7). Is 11 a factor of 968/12 + 1/c?
False
Let i = -18 - -21. Suppose i*v + 82 = -5*d, 7*d - 2*d - 38 = 2*v. Let q = 96 + v. Is q a multiple of 15?
False
Let o = 1575 - 755. Suppose 4*v = -v + o. Let p = v - 44. Does 11 divide p?
False
Let h(g) = 70*g**2 - 2*g. Let s be h(1). Suppose -21*k + 17*k + s = 0. Does 9 divide 2/17 - (-1154)/k?
False
Is 6/2 - (-463 - 5/(35/63)) a multiple of 19?
True
Suppose -21074*o + 21064*o = -115710. Is o a multiple of 27?
False
Suppose 28*c = 58*c - 119580. Is c a multiple of 17?
False
Let j = 18851 + -13806. Is 25 a factor of j?
False
Let d = -359 - -365. Is (32 - -1) + (-2 - d) + 7 a multiple of 8?
True
Let u = -15 + 19. Let t(r) = -6*r + 12. Let i be t(u). Is 7 a factor of (-3)/(-4) - 327/i?
True
Suppose 5*j - 23765 = 3*v, 5*v - 4517 = 4*j - 23516. Suppose 11*z = j - 1401. Is z a multiple of 22?
False
Suppose 7*z + 2557 = 702. Does 53 divide (1 + -13)*z/15?
True
Let g(x) = -x**3 - 8*x**2 + 21*x + 12. Let h = -100 - -87. Is 8 a factor of g(h)?
True
Let d = -3072 + 4513. Is 82 a factor of d?
False
Suppose 4*n - 2 = 5*j, -2*n - 3*j + 21 = 3*n. Suppose -5*c - n*a = -26, -5*c - 3*a = -7*a - 12. Suppose 80 = c*k + 4*k. Is 9 a factor of k?
False
Suppose 43 = -2*m + 59. Suppose -2*g + 4*p = -2444, m + 4 = -4*p. Is 73 a factor of g?
False
Suppose -12*b - 122 = -518. Let r be 3/((-12)/(-580)) - 0. Let l = r - b. Does 14 divide l?
True
Is 148/222*(-2169)/(-6) a multiple of 13?
False
Does 130 divide -22*(-3004)/40 - 13/65?
False
Let h(d) = -3*d**3 + 124*d**2 + 56*d + 92. Is 35 a factor of h(41)?
False
Let h be (1 + ((-21)/6 - -2))*0. Suppose h*a - 126 = 2*a. Is 7 a factor of -4*(0 + a/6)?
True
Let a(t) = 2*t**2 + 2*t. Let w be a(-2). Let h = w + 0. Let i(j) = 2*j**3 - j**2 + 3*j + 6. Does 26 divide i(h)?
True
Let n(z) = -z**2 - 15*z - 18. Let d be 4*(1 - -1)*1/2. Let k be (-13 - -9)/(d/10). Is n(k) a multiple of 27?
False
Let y(w) = 87*w + 74. Let s be y(4). Let o = 787 - s. Does 55 divide o?
False
Let i(n) = 45*n - 1. Let g be i(-1). Let h = 54 + g. Let j(t) = t**3 - 7*t**2 - 6*t + 8. Is 24 a factor of j(h)?
True
Suppose 0 = 26*c + 10 - 400. Is 2 a factor of c/(-6) + (-57)/(-2) + 4?
True
Suppose 18 = -2*b + 2*w - 0, 3*b + 5*w = -3. Let l be ((-148)/b)/(-4 - 42/(-9)). Let m = 75 + l. Is 28 a factor of m?
True
Let s(l) = -l**3 - 10*l**2 - 21*l - 12. Suppose -38*p = 5*f - 34*p + 60, 0 = 5*f + 5*p + 65. Does 11 divide s(f)?
False
Let h be 4/(-1)*((-5)/(-2))/5. Let u be 6/((-24)/(-20)) - (2 + h). Suppose 132 = u*t - 48. Does 9 divide t?
True
Suppose 182*b = 470489 + 1618871. Is 10 a factor of b?
True
Let w(t) = -25*t - 303. Let o(p) = -37*p - 454. Let f(r) = 5*o(r) - 8*w(r). Is f(14) a multiple of 16?
False
Is 17229 - (129/86)/(2 + 3/(-2)) a multiple of 22?
True
Suppose 5*h + r = 79, -2*h + 4*r + 36 = -0*h. Let v = h - 64. Let w = v + 84. Is w a multiple of 4?
True
Suppose 2*z = 3*y - 352, 0 = -5*y - 3*z + z + 608. Suppose -100*a + 102*a - y = 0. Does 3 divide a?
True
Let f(h) = h**3 + 14*h**2 - 6*h + 15. Let g be f(-14). Let i = -95 + g. Suppose i*o = -4*c + 600, 5*o = -2*c - 146 + 908. Is 28 a factor of o?
False
Let l = 74 - 58. Suppose -3*r = l*r - 2926. Is 7 a factor of r?
True
Let r = -357 - -684. Let j = r + -224. Is 21 a factor of j?
False
Is -97*((-6)/39 - (-2 + (-9541)/(-91))) a multiple of 97?
True
Let a = 93 + -100. Is 12 a factor of (-32)/(((-35)/a)/(-105))?
True
Let i be (3 + 6/(-6))*(-9)/6. Is 8 a factor of 2 - 3*22/i?
True
Let p(d) = -153*d + 136. Is 92 a factor of p(0)?
False
Suppose -18 = -o - 10. Suppose -5616 = -o*q - 10*q. Suppose 0 = k - 4*k + q. Is k a multiple of 13?
True
Let m = 8 - 8. Suppose -c + 7 - 4 = m. Suppose 0 = 4*a - y - 272, -23 = -5*a - c*y + 300. Is a a multiple of 9?
False
Let g be 1 - 0/(5/1) - -1. Let m(c) = 12*c - 1. Let z(y) = 23*y - 2. Let i(k) = 5*m(k) - 2*z(k). Is i(g) a multiple of 9?
True
Suppose 2*t = 6*b 