 -4*l + 4*k = -164, 0 = -l - y*k + 38 + 11. Let r = l + -19. Does 4 divide r?
True
Let y(f) = -f**2 - 109*f + 777. Is 5 a factor of y(0)?
False
Suppose 294*t + 229055 = 3872597. Is t a multiple of 93?
False
Let f = -330 - -340. Is 8 a factor of -5 + (1708/(-35))/((-2)/f)?
False
Suppose 3*l - 6 = l. Suppose -c + 4 = -2*c, -4*c = l*p + 31. Is (6/p)/(6/(-900)) a multiple of 39?
False
Let c(l) = 5*l**2 - 32*l + 2*l**3 + 54*l - 25*l. Does 45 divide c(3)?
True
Suppose 5*v - 7*v = -844. Suppose v*f = 429*f - 1820. Is f a multiple of 13?
True
Let v(y) = -y**2 - 3*y + 39770. Is 65 a factor of v(0)?
False
Is 38135/5 - 2/(-5)*-10 a multiple of 26?
False
Let z(m) = m**3 + 82*m**2 + 104*m - 817. Is z(-80) a multiple of 37?
True
Let j = -428 + 636. Suppose 0 = -4*s + 12 - j. Let n = s + 85. Is n a multiple of 4?
True
Let q(f) = 2*f**2 - 2*f - 20. Let y be q(-3). Suppose 20*u = y*u + 3104. Is u a multiple of 36?
False
Let i = 134 - 129. Suppose b = i*b + 316. Let a = b + 122. Is a a multiple of 13?
False
Let n = 64 - 59. Let k(c) = 2*c**2 - 7. Let l be k(n). Suppose 0 = 6*q + 13 - l. Is 2 a factor of q?
False
Let t(p) = 1060*p - 57. Let i be t(10). Suppose -36*x + i = -5189. Is 8 a factor of x?
False
Suppose -19344 = -432*k + 420*k. Suppose -32*b - k + 5740 = 0. Does 6 divide b?
False
Let k = -13622 - -14761. Is 7 a factor of k?
False
Let n = 7 - 16. Let q(r) = -r**2 - 9*r - 6. Let g be q(n). Is 5 a factor of (-88)/(-3) - (-2)/g?
False
Let l(z) = 69*z**2 + 17*z + 18. Let w(d) = d + 22. Let b be w(-23). Is 10 a factor of l(b)?
True
Let h(c) = -7*c**2 - 32. Let a(v) = -v**2 + v - 1. Let m(u) = 6*a(u) - h(u). Let x be m(19). Is (5 - 3)/((-996)/x - -2) a multiple of 17?
False
Suppose -4*f + 3 = 15, 2*m + 3*f - 5 = 0. Does 9 divide -1 + 205/m + (-28)/98?
False
Let a(d) = 2*d**2 + 55*d - 29. Let k be a(-28). Let p(v) = v**3 + v**2 - v - 18. Let t be p(0). Is (-8 + k)*174/t a multiple of 25?
False
Let y(k) = -11*k - 118. Let g be y(-11). Does 5 divide -5*(-330)/(g - -3)?
True
Let v = 22 + -18. Let w(u) = v*u + 4*u + 4 - 21*u. Is 21 a factor of w(-11)?
True
Let l(h) = -3*h**2 + 86*h - 29. Let f be l(21). Let b = f + -387. Is b a multiple of 17?
False
Let d = 40 + -44. Let p(r) be the second derivative of 5*r**4/12 + r**3/2 - 13*r**2/2 + 11*r. Is p(d) a multiple of 5?
True
Let c be (19/57)/((-1)/(-6)). Suppose 5*f = -p + 17, 0 = -2*p + c*f + 2*f - 8. Suppose -p*q + 25 - 13 = 0. Is q a multiple of 6?
True
Let l(r) be the first derivative of -r**4/4 - 8*r**3 - 16*r**2 + 17*r + 4. Is l(-23) a multiple of 8?
True
Let s(x) = 5*x - 6. Suppose -o - 4*w = 21, 2*o + 16 = -2*w - 14. Let a be s(o). Let n = 79 - a. Is n a multiple of 25?
True
Let s(n) = 12*n**3 - 307*n**2 - n + 69. Is s(27) a multiple of 10?
False
Let u(b) = 6*b - 18. Let o be u(3). Suppose 10*r - 4*r - 540 = o. Is 15 a factor of r?
True
Suppose 111*j - 1140262 = -47578. Does 82 divide j?
False
Let x be (-2)/(-8) - (-9275)/20. Suppose -5*b + x = -3*b. Suppose -2 = 2*r, 3*r - 40 = -5*s + b. Is 7 a factor of s?
False
Suppose -16*f - 18 = -10*f. Let j(s) = -9*s**2 + 3*s + 2. Let d be j(f). Is d/(-6) - 12/18 a multiple of 7?
True
Suppose -3*q = -0*a - 2*a - 19, 2*q - a - 11 = 0. Let w be 33/(-2)*(-4)/q. Suppose -5*t + 3*p = -98, -2*p - p - w = -t. Is t a multiple of 4?
False
Suppose -3*d + 3*c = -11898, 16*d - 17*d + 3959 = 6*c. Does 5 divide d?
True
Suppose -57*c = -193*c + 77*c + 725523. Is 76 a factor of c?
False
Is 9100/24 + 5 - (-15)/(-90) a multiple of 6?
True
Let h(t) = -t**2 + 54*t - 51. Let k be h(24). Suppose -k + 4413 = 6*a. Suppose 0 = 4*d - a + 200. Is 40 a factor of d?
False
Let x be -10*15/(-60)*(-16)/(-10). Suppose -2*u + 164 = 3*z, -3*z = -x*u - u - 136. Is z a multiple of 5?
False
Let r(s) = 7*s - 5. Let q be r(2). Suppose -q*f = -16*f + 1407. Suppose -8*l + f = -375. Is l a multiple of 8?
True
Suppose 5*p - 3850 = -4*d + 2*d, 4*p - 2*d - 3062 = 0. Let m = -338 + p. Does 16 divide m?
False
Suppose 19*n = 49*n - 16*n - 282562. Is n a multiple of 26?
False
Suppose -20561 = -72*q + 4999. Is 71 a factor of q?
True
Suppose -12*c = 2*c + 210. Let k be (-140)/(1*-2)*(c + 16). Does 9 divide (-18*(-7)/70)/(2/k)?
True
Suppose 18*n - 19*n = -3*l - 16076, 0 = -2*n - 3*l + 32206. Is n a multiple of 170?
False
Let d be 2 + (-24)/15 - 693/45. Is (-1880)/d*1/((-8)/(-12)) a multiple of 39?
False
Let m(o) = 2*o**2 - 89*o + 674. Does 5 divide m(59)?
True
Let u = -13 + -2. Let o be (u*6/(-9))/2. Does 16 divide 2872/20 + 2/o?
True
Let k(i) = -7*i - 219. Let t be k(-31). Is (-9 - 810/20)*t a multiple of 9?
True
Let i(k) = -362*k - 2278. Does 58 divide i(-26)?
True
Let z(l) be the second derivative of -l**3/6 - l**2 + 4*l. Let p be z(-7). Suppose 4*n = 4*c + 292, -2*c + 405 = p*n + c. Is n a multiple of 13?
True
Let b(t) = 110*t - 1797. Is 38 a factor of b(46)?
False
Suppose 438 = 2*o - k + 6379, 0 = 2*o + 2*k + 5944. Let v = o - -4501. Is v a multiple of 17?
True
Suppose -17*c + 12*c + 25 = 0. Let n be (c + 0)/(1/1). Suppose n*k = -0*k + 240. Is k a multiple of 8?
True
Suppose 140672 = -15926*b + 15940*b. Is b a multiple of 6?
False
Let m(j) = j**3 + 5*j**2 + 6*j + 9. Let c be -5 + 6 + 20/(-5). Is 9 a factor of m(c)?
True
Suppose -5*p + 30 + 19 = j, -5*j - 25 = -2*p. Let c be (-74)/(-10) - 4/p. Suppose -c*n + 4*n - 2*v + 713 = 0, -5*v = 25. Is n a multiple of 42?
False
Let w(y) = 102*y**2 + 52*y - 21. Does 6 divide w(-15)?
False
Let x(j) = 4*j - 13. Suppose 36 = 2*g + 3*g + 2*p, 3*p = -6. Does 2 divide x(g)?
False
Let j = -30 - -30. Suppose j = 5*v - g + 30, -4*v + 0*g = 5*g + 53. Let w = 51 - v. Is w a multiple of 29?
True
Let d(p) = 37*p - 45. Let w be d(2). Suppose -w*r + 27*r = -3592. Is r a multiple of 66?
False
Suppose 657 = 22*k + 6905. Let w = k + 638. Is w a multiple of 8?
False
Suppose -7*f + 4*f = -2433. Let t = f - 357. Is t a multiple of 51?
False
Let r(m) = -2*m**2 - 5*m + 4. Let a(y) = -2*y - 48. Let n be a(-21). Let c be r(n). Let t = c - -81. Is 3 a factor of t?
False
Let r(q) = -2*q. Let k(p) = 17*p - 9. Let o(y) = k(y) + 6*r(y). Is o(15) a multiple of 6?
True
Let b(y) be the second derivative of -y**5/20 + 7*y**4/4 - 23*y**3/3 + 14*y**2 - 10*y - 2. Does 32 divide b(18)?
False
Suppose -q = 4*o - 0*o + 726, -2*o = -q + 366. Let b(h) = 8*h - 190. Let d be b(-16). Let n = o - d. Is 30 a factor of n?
False
Is (-7)/(((-5)/5)/(-859)*-1) a multiple of 7?
True
Let q(m) = 13*m + 16. Suppose -6*z + 112 = 2*z. Does 18 divide q(z)?
True
Let v(b) = b**2 + 2*b + 1. Let t be v(4). Suppose t*k - 1716 = 7359. Is k a multiple of 4?
False
Let d = 48650 + -2440. Does 121 divide d?
False
Suppose -5*w = -r - 375, -3*w + 0*w + 3*r = -225. Suppose 0 = 4*a - a + 180. Does 6 divide 292/10 - a/w?
True
Suppose 19*b - 4 = 21*b. Let f be 72/39 + b/(-13). Suppose p = -f*q + 82, -q + 150 = 2*p - 4*q. Is p a multiple of 26?
True
Let h(n) = n**3 + n**2 - n - 166. Let f be (0/2)/(-1 - 0/(-1)). Let y be h(f). Let b = y - -247. Does 35 divide b?
False
Let g(t) = -3*t + 5. Let r be g(-4). Suppose 3*z = 0, 2*z = -2*h + r - 3. Suppose 2*j - 197 = -l, -h*l + 3*j = -2*l - 972. Does 15 divide l?
True
Let t = -96 - -808. Suppose 424 = -3*s - f, -6*s + f - t = -s. Let k = s - -314. Is k a multiple of 43?
True
Is 48128/14 + (-64)/(-28) a multiple of 3?
False
Suppose 128 = 11*s + 29. Suppose -n + s + 3 = 3*i, -5*n + 2*i = -9. Suppose -4*w + 3*r + n = -18, 0 = -5*w + 3*r + 27. Is 2 a factor of w?
True
Let u be (36/5)/((-6)/45) - 0. Let w be (u + 55)/(4/(-6) + 1). Suppose -w*y - 152 = -533. Is 21 a factor of y?
False
Let a(m) = -46*m - 122. Let n be a(-32). Suppose 2*k + n = 17*k. Is k a multiple of 9?
True
Is (-21)/(-35)*51290/69 a multiple of 2?
True
Does 111 divide (-33)/990*5 - (-40687)/6?
False
Suppose 2*n + 4*f - 84 = 0, 4*f - 3 = 9. Let o = -26 + n. Is (-175)/(-7)*6/o even?
False
Suppose -4*i + 31124 = -3*s, 16 = -139*s + 135*s. Is i a multiple of 186?
False
Let a(y) = 29*y - 18. Let u be a(-14). Let d = u + 670. Let c = -169 + d. Is c a multiple of 13?
False
Suppose -4*u = -4*w - 190568, -379*w + 380*w = -5*u + 238156. Does 19 divide u?
True
Let k(g) = g**2 - 12*g + 10. Let p be k(11). Let f be 0/((-4)/(p - -6 - 3)). Suppose 0*l - 4*l - 3*s + 232 = f, 2*l - 134 = 3*s. Is l a multiple of 15?
False
Let u be (-4)/22 + ((-475416)/99)/(-12). 