5/45). Is 3/h + (-2751)/(-49) + -8 a multiple of 2?
True
Let t be -3 - 0/(-6) - 802/(-2). Let i = 575 - t. Is 59 a factor of i?
True
Does 5 divide (-4 + 102/18)*2661?
True
Let n(o) be the third derivative of -57*o**4/8 + o**3/2 + 50*o**2. Does 23 divide n(-2)?
True
Let p be ((-1)/(-3))/((-12)/6516). Let r = p - -211. Is r a multiple of 15?
True
Suppose 0 = -0*y - 43*y + 242735 + 275630. Does 30 divide y?
False
Let h(j) = 2068*j - 2391. Does 2 divide h(3)?
False
Let f(t) be the second derivative of -5*t**3/3 + 53*t**2/2 - 4*t + 8. Is f(-8) a multiple of 13?
False
Suppose -74*n = -63*n + 1716. Let m = 503 + n. Does 8 divide m?
False
Is 60 a factor of -43*(-7 - -24)*(-16 - -9)?
False
Let n = -4542 - -6978. Is 87 a factor of n?
True
Let o be (-91746)/(-30) - (-4)/(-20). Suppose -5*t - 4489 = -4*z, 2*z + 817 = -t + o. Is 59 a factor of z?
True
Let p(m) = -2*m - 13*m**2 + m**3 + 15*m**2 + 134 + 16 - m**2. Does 50 divide p(0)?
True
Let q = -30140 - -35359. Does 8 divide q?
False
Suppose 3*b + 12916 + 3371 = 3*c, -13*c - b + 70549 = 0. Is 67 a factor of c?
True
Let y(s) = 1092*s**2 + 322*s + 969. Is 13 a factor of y(-3)?
False
Let g(p) = 27180*p + 1531. Does 17 divide g(1)?
False
Let l(t) = 88*t**2 + 7*t - 14. Suppose -3*p = -k - 11, 4*k = 4*p - 0*p - 20. Does 78 divide l(p)?
False
Suppose -4*d - 70 = -9*d. Suppose 2*m + 37 = -s - d, -4*s = -4*m - 108. Let f = m + 81. Is f a multiple of 11?
True
Let y(u) = -2 + 9*u**2 - 6 + 3*u**3 - 2*u**3 + 4*u**2. Let q be y(-13). Let v = 127 + q. Does 23 divide v?
False
Let k = -4077 + 4069. Let c(q) be the second derivative of -q**5/20 - q**4/3 - 2*q**3/3 - 17*q**2/2 - 2*q. Is c(k) a multiple of 45?
False
Let t = -479 + 490. Let n = 15 + -9. Suppose -n*v + 101 = -v - 2*z, v - 5*z - t = 0. Is v a multiple of 9?
False
Let q(r) = -6*r**3 - 23*r**2 - 14*r - 5. Does 8 divide q(-4)?
False
Suppose -22*b - 30 = -7*b, 4*v - 7372 = 2*b. Is v a multiple of 3?
True
Let b be (-2)/4 - 47/2. Let n = b + 62. Suppose -3*y + 7 + n = 0. Is y a multiple of 10?
False
Let s = 5437 + 1431. Is 34 a factor of s?
True
Let b(k) = 17*k - 56. Let m = 113 + -99. Is 26 a factor of b(m)?
True
Let s be (-2)/3 - (-120)/(-36). Let a be 10*2/(s + 0). Is 9 a factor of (a/((-70)/7))/((-1)/(-110))?
False
Suppose 0 = 3*i - 8*i + 15. Suppose n + o = -2*n + 81, 3*n - i*o - 81 = 0. Does 8 divide n?
False
Let n = 18 + -24. Let c be 9/n - 5/(-10). Is 12 a factor of ((-22)/c - -2)*21/6?
True
Let c = 80 - 78. Let k be 3/c*(-46)/(-9)*6. Suppose -2*m + 7*m - w - 54 = 0, 4*m - k = -2*w. Is m a multiple of 3?
False
Let m be (-17)/(-4) + 1 - 1/4. Let o(x) = x + 9. Let h be o(m). Let a(v) = v + 13. Is a(h) a multiple of 9?
True
Suppose 3*x - 201 = -783. Is 3 a factor of 56/(-140) + x/(-10)?
False
Suppose 559 = 4*z - 113. Suppose 5*o = 252 + z. Is 4 a factor of o?
True
Suppose 2*q + 22*k - 2974 = 19*k, -k = 2*q - 2978. Let h = q - 960. Is 30 a factor of h?
False
Let r(a) = 254*a**2 - 63*a + 0 + 61*a + 3 + 0. Is 51 a factor of r(1)?
True
Let g(z) = -6*z + 7. Suppose 66 = 9*f - 3*f. Suppose 1 = 3*y + 5*x, 3*y + f = 5*x - 8. Is 4 a factor of g(y)?
False
Let v(r) = r + 24. Let q be v(-20). Suppose -2*b + 109 = 3*w + 39, 0 = b + q. Does 3 divide w?
False
Let p(i) = -4*i**3 + 5*i**2 - i + 11. Let b be p(6). Let g = -463 - b. Is 6 a factor of g?
True
Let h(p) = p**3 + 39*p**2 + 41*p + 385. Is 25 a factor of h(-35)?
True
Let w(i) = 3*i + 11. Let r be w(-3). Let n(j) = -18 - j**2 + 4*j + 6*j**r - 2*j**2. Is n(5) a multiple of 11?
True
Suppose v - 4*v = -162. Let j = 52 - v. Let l(i) = -14*i**3 + i**2 + i + 3. Does 39 divide l(j)?
True
Suppose -2345 = -g - 5*c, 46*c - 9402 = -4*g + 48*c. Is 50 a factor of g?
True
Let r(i) = -25 - 3*i**2 + 9*i**2 + 4*i**3 - 5*i**3 - 65 + 25. Does 13 divide r(-7)?
True
Is 12 a factor of (-888542)/(-16) + (-24)/4416*-23?
False
Suppose -75517 = -22*n + 51467. Is 52 a factor of n?
True
Let s = -12072 + 5076. Is s/(-198) + (-1)/3 a multiple of 4?
False
Suppose a - 8 = 5*z, -3*z = 3*a - 7*a + 15. Suppose 4*n - 5*u - 2 = 0, 2*u + 2*u + 1 = a*n. Is ((-18)/(-24))/n - (-190)/8 a multiple of 8?
True
Let c be 637 - (-6 - (-6 - -4)). Let d = 751 - c. Does 10 divide d?
True
Suppose 12726 = -10*v + 98936. Is 143 a factor of v?
False
Suppose 8 = 5*t - 2*d, 5*d - 1 = t + 2. Is (-4206)/(-27) - t - (-6)/27 a multiple of 32?
False
Let i be 3/(-2)*880/15. Let s = 90 + i. Suppose 2*n + 3*q - s*q - 37 = 0, 5*n + 2*q - 92 = 0. Is 18 a factor of n?
True
Let v(p) = 20*p**2 - 118*p + 416. Is 12 a factor of v(15)?
False
Let t(x) = 2*x**2 - 4*x + 1. Let n be t(3). Let l = 182 - 178. Suppose n*m = l*m + 573. Is 16 a factor of m?
False
Let c(d) = 5*d**2 + 48*d + 57*d - 96*d + 14*d**3 - 6. Is c(4) a multiple of 29?
False
Let a = -65 - -118. Let n = a - 26. Does 11 divide (12/(-10))/(n/(-630))?
False
Let r(i) = i**2 + 2*i - 3. Let m be r(0). Let l be (-120)/m*1 + -1 + 1. Let f = 240 - l. Does 50 divide f?
True
Let w be (-318)/4*52/117*-15. Let r = w + -66. Suppose 9*x - r = 5*x. Is 29 a factor of x?
True
Let b = 71 - 82. Let y(i) = 4*i**2 + 2*i - 10. Is 39 a factor of y(b)?
False
Let r(i) = -31*i - 91. Let d be r(18). Let j = d + 1029. Is j a multiple of 36?
False
Suppose -4*c + 4*w = -9802 - 23378, c = -w + 8305. Is 18 a factor of c?
False
Let t(d) = -216*d**2 + 3. Let a be t(1). Let y = -206 - a. Is 7 a factor of y?
True
Suppose 35*w - 187*w = 291*w - 14763861. Is w a multiple of 161?
True
Let y(d) = 33*d - 13. Let z be y(2). Suppose -7 - z = -12*r. Suppose -r*w + 13 - 90 = -b, -2*b + 148 = -4*w. Does 17 divide b?
False
Let o(s) = s**2 + s - 8. Let d be o(-5). Suppose 0 = -d*q + 3048 + 120. Is q a multiple of 24?
True
Let l(y) = -7579*y - 3202. Is l(-5) a multiple of 16?
False
Let w = 4677 + -3520. Is w a multiple of 29?
False
Suppose -265*k + 256*k + 45 = 0. Suppose -v + 4*v - 1083 = -3*g, k*g = 2*v - 757. Is 21 a factor of v?
False
Suppose -3*q - 22 - 8 = 0. Let i = -262 + 266. Is 8 a factor of q/2 + i - -17?
True
Let y = 198 - 194. Suppose -y*b - k + 1392 = b, k - 558 = -2*b. Is b a multiple of 17?
False
Suppose -5*l + 5*h + 9 = -2*l, 15 = 5*h. Let t be (-3)/((-3)/l) - 3. Suppose 7*f - 2*f + 95 = 5*y, -4*y + t*f = -72. Does 23 divide y?
True
Let a(n) = -n**2 + 29*n - 151. Let s be a(16). Suppose 30*t + 23760 = s*t. Does 10 divide t?
True
Suppose 26*w - 6092 = -0*w + 10782. Does 3 divide w?
False
Let z be ((-2)/(24/(-4)))/((-3)/(-7974)). Let l = -757 + z. Is l even?
False
Suppose 1467*p - 10587336 = 1175*p. Is 63 a factor of p?
False
Let z be (-7 - 279/(-3)) + -13. Let r(f) = 4*f**3 + 2*f**2 + f. Let y be r(-1). Let c = z - y. Is c a multiple of 19?
True
Let o(v) = -4*v**2 - 43*v - 13. Let c be o(-10). Suppose 0 = 7*q - c*q + 3080. Does 11 divide q?
True
Is 38 a factor of 39*(204 - -29) + 5*-1?
True
Suppose 0 = -47*z + 49*z - 294. Let k be ((-1)/3)/(7/z). Does 2 divide (11 + -8)/((-1)/k)?
False
Suppose 3*z = -9, -5*u + 766 = 5*z - 439. Is 61 a factor of u?
True
Suppose -141*g = 28*g - 39303 - 123444. Is 5 a factor of g?
False
Let r be (330/(-20))/(3/(-70)). Suppose 4*u + 5*n - r = -u, 3*u - 5*n = 271. Is u a multiple of 12?
False
Let i(a) = -6*a**3 - 3*a**2 - 3*a + 1. Let c be ((-3)/2)/((-3)/(-4)). Is 17 a factor of i(c)?
False
Let j be ((-330)/45)/((-6)/(-27)). Let x(c) = -6*c - 87. Is 9 a factor of x(j)?
False
Let x(n) = 4*n**2 - 3*n - 22. Is 14 a factor of x(12)?
True
Suppose -7*d + 169 = -55. Let j(s) = s**2 + 15 - d + 5*s + 16. Does 5 divide j(-9)?
True
Suppose 5*p - 1298 = h, 0*h + 2*h = 5*p - 1296. Let u be 4/12 - (17/(-3) + 1). Suppose y = u*y - p. Is 13 a factor of y?
True
Suppose -5*j = y + 362, -5*j = -5*y - 4*j - 1680. Let w = 643 + y. Does 10 divide w?
False
Let r be (-185 - 1)/(72/96). Let o = 560 + r. Does 13 divide o?
True
Let r(h) = -23*h**3 + 6*h + 16*h**3 + 24*h**3 + 7*h - 6*h + 2*h**2. Is r(3) a multiple of 72?
False
Is 41 a factor of (-1639412)/(-408) - (-1)/(-6)?
True
Suppose 9*w - 14*w + 20 = 0. Let c be 762/(-4) - (-2)/w. Is ((-4)/(-10))/((-1)/c) a multiple of 19?
True
Suppose -22*m - 15624 = -30*m. Does 31 divide m?
True
Suppose -39*z + 756821 = 55133. Is 308 a factor of z?
False
Let b = -2 - -8. Let a be 7 - 5/(2*(-5)/(-10)). Is 4 a factor of b/4*a*8?
True
Suppose 2*a - 4*r - 10 = 0, 5*a + 17 = -r - 13. Let m(g) be the first derivative of g**