*2 + 27*l + 108. Let t(o) = -5*c(o) + 2*k(o). Does 49 divide t(-7)?
False
Suppose -27*f + 95*f = 8*f + 486480. Is 18 a factor of f?
False
Let k = 4781 + -3813. Does 44 divide k?
True
Let s(m) = -5*m**2 - 18*m - 13. Let x be s(-8). Let r = x + 273. Does 14 divide r?
True
Suppose -23 + 26 = r. Does 5 divide 0 - -3 - (19*-15)/r?
False
Let c(b) = -5*b**3 - 4*b**2 + 2*b + 3. Let s be c(3). Let i = -141 - s. Is i a multiple of 3?
True
Let a be -4546*-2*(-15)/(-20). Suppose 0 = 11*f - 4423 - a. Does 68 divide f?
False
Let k(d) = 7*d**3 - 6*d**3 + 64*d**2 - 18*d - 83*d**2 - 102 + 38 + 3*d. Does 23 divide k(22)?
True
Let x = 40 - 34. Suppose m = g - 10, 4*m + x*g + 40 = 11*g. Let y(j) = j**2 + 8*j - 17. Is y(m) even?
False
Suppose -12*o + 15218 = 2*o. Suppose -4*u - o = -1451. Is u a multiple of 12?
False
Is 103 a factor of (1457316/644 - (-6)/69) + 3?
True
Suppose 160561 = 15*o + 19596 - 200855. Does 86 divide o?
False
Suppose p - 4557 = 22*p. Let d(f) = -3*f**2 - 2*f - 1. Let l be d(6). Let x = l - p. Is 32 a factor of x?
True
Suppose 10*d - 8*d = 390. Let y be (-2)/8 - 250/(-40). Suppose 4*o - 231 = -3*u, y*o - 3*o - d = 5*u. Does 15 divide o?
True
Let n(p) = -p**2 + 5*p - 4. Let l be n(3). Suppose s - 77 = 4*b, 4*s + 2*b - 104 = l*s. Suppose 0 = -s*w + 52*w + 670. Is 8 a factor of w?
False
Let c be (-1 - 12510/(-21)) + 26/91. Suppose d - 2*d + 149 = h, -4*d + c = 5*h. Does 15 divide d?
True
Suppose -2*d - 44 = -18. Let t be 0/((2/(-10))/(d/65)). Suppose 2*h - 104 = -i, t*i = i. Does 13 divide h?
True
Let h = 82415 - 58718. Does 74 divide h?
False
Let r(l) = 24*l**3 - l + 2. Let o be r(1). Suppose 3*u = 2*u + 5*f + o, 0 = 4*u + 3*f - 169. Is (-306)/(-8) - 10/u a multiple of 28?
False
Let r(v) = -16*v - 101. Let s be r(-7). Is (2 - 2 - 2)/(s/(-1848)) a multiple of 6?
True
Suppose 2524 + 4671 + 68199 = 11*k. Is 101 a factor of k?
False
Suppose -4*z - 22 = 2*d + 8, 2*z = -2*d - 20. Is 44 a factor of (-40)/(d - 106/(-22))?
True
Let p(s) = s**3 + 11*s**2 - 3*s + 2*s + 3 + 7*s - 9*s. Is p(-11) a multiple of 18?
True
Suppose -3*r + 26*h + 25080 = 25*h, -16*r - h = -133760. Is r a multiple of 44?
True
Let a(h) = -h + 2. Let w be a(0). Suppose 6*i - w = 4. Does 13 divide i*192 - (1 + -4)?
True
Let g = -848 + 2976. Is 8 a factor of g?
True
Let w(d) = -4*d - 15. Let b be w(-5). Suppose -179 = o - b*n, 0 = 2*o - 2*n + 189 + 169. Let a = -53 - o. Does 9 divide a?
True
Suppose -v - 21687 = -10*v + 31170. Does 76 divide v?
False
Let d(w) = 383*w - 6146. Is 12 a factor of d(46)?
True
Let m(r) be the first derivative of 7/2*r**2 + 4/3*r**3 + 29 + 0*r. Is m(2) a multiple of 8?
False
Suppose 3636 + 10913 = 23*k - 1275. Does 43 divide k?
True
Let v(i) = i**3 + i**2 + 9*i + 15. Let f be v(-6). Let s = f + 253. Does 18 divide s?
False
Suppose 27*t = 29*t - 38. Suppose 19 - 513 = -t*s. Is s a multiple of 14?
False
Let h(w) = -37*w - 659. Is h(-35) a multiple of 6?
True
Let u be 6206/10 + 14/35. Let c(f) = -4*f - 39. Let k be c(-11). Suppose u = -k*w + 14*w. Is 16 a factor of w?
False
Let f(v) = v**2 - 4*v + 7. Let j be f(3). Suppose -j*d - 3 + 15 = 0. Suppose 3*c = d, -166 = -5*b - c + 160. Is 9 a factor of b?
False
Let g = -10 - -29. Let t = -21 + g. Is (-10)/t + -3 + 63 a multiple of 17?
False
Let v = 108 + -76. Let g = 55 - v. Suppose a + m = g, 5 - 13 = -2*m. Does 12 divide a?
False
Let b(f) = 2*f + 16. Let n be b(-6). Suppose -n*w - 32 = 80. Let i = w - -187. Is 52 a factor of i?
False
Let y = 66 - 58. Let k(g) = -624*g**2 + y*g - g + 1 - 3*g + 646*g**2. Is 9 a factor of k(-2)?
True
Does 90 divide (-119)/42*-3 + -8 - (-11854)/4?
False
Let p be (-42)/7 - (-6 - 1). Is 55 a factor of (-4 + 10 - -3)/(p/55)?
True
Suppose 60*j - 3087 = 53*j. Let q = j - -47. Does 61 divide q?
True
Let i be 35 - 1/(5/15). Let m = -28 + i. Is 41 a factor of (82/m)/(10/60)?
True
Let k = 193 - 151. Suppose 24*j - 222 = k. Is 2 a factor of j?
False
Let b(f) = 34*f**2 + 33*f**2 - 65*f**2 - 4*f**3 + 0*f**3. Let l be b(2). Let m = 45 + l. Is m a multiple of 7?
True
Let y = 16179 - 13755. Does 8 divide y?
True
Let u be 4 - (5/1 - 3). Suppose -u*b - 175 = 73. Let t = -26 - b. Does 7 divide t?
True
Suppose 4*l = 3*s + 10 + 83, -s = 4*l + 15. Let i = -21 + s. Let m = 119 + i. Does 14 divide m?
False
Suppose -v + q + 5 - 2 = 0, 1 = q. Suppose 2*p + 6 + 2 = 2*s, -v*s + 18 = -5*p. Let i(d) = 4*d**2 - 4*d. Is i(s) a multiple of 7?
False
Let s = 11350 - 6735. Is 28 a factor of s?
False
Let m be (6/(-10))/(3/(-10)). Suppose -3*z + 0*r - m*r - 8 = 0, -5*r = -5*z + 20. Suppose z = -6*v + 164 + 316. Is 10 a factor of v?
True
Is 54 a factor of ((-4)/(-12))/(4/(-38)*4/(-11976))?
False
Let j = -190 + 190. Suppose -2*p + 3*o = -641, o + j*o - 1628 = -5*p. Does 30 divide p?
False
Let f(o) = -o + 0*o + 20*o**2 - 19*o**2. Let l(v) = -v**3 - 8*v**2 - 13*v + 2. Let h(a) = f(a) + l(a). Does 25 divide h(-6)?
True
Suppose 9*l = 12*l - 42. Let v be 7/(l/(-24))*(-146)/4. Let f = -217 + v. Is 16 a factor of f?
False
Let v = -71 - -72. Let f be (v + 0)*3 - (-8 - 483). Suppose 3*r - n = 6*r - f, -822 = -5*r - 3*n. Is r a multiple of 25?
False
Let o(l) be the third derivative of -l**7/280 - l**6/72 + 9*l**5/20 - 10*l**2. Let w(s) be the third derivative of o(s). Does 31 divide w(-4)?
True
Suppose -20*r - 5463 = -29*r. Let c = r - 271. Is c a multiple of 14?
True
Is (-6)/15 + (-667602)/(-130) a multiple of 13?
True
Suppose -3*b - 2498 + 19582 = -4*m, m - 22804 = -4*b. Is 150 a factor of b?
True
Let z(r) = 3*r - 19. Let h be z(7). Suppose 0 = h*o + 2 - 6. Suppose o*x = -4*x + 882. Is 14 a factor of x?
False
Does 63 divide 8/(80/(-70)) - -7188?
False
Suppose -5*w - 4*m - 305 = 0, 78 = -4*w - 4*m - 166. Let c = -47 - w. Is 25 a factor of (c/4)/(0 - 1/(-12))?
False
Let p(o) be the first derivative of 22*o**3/3 - 4*o**2 - 7*o + 38. Is 28 a factor of p(-4)?
False
Suppose 0 = -69*l + 5 + 133. Is 68 a factor of (3/1)/(3*l/952)?
True
Suppose 3*g + y - 12 = 0, g - 2*y = -y + 4. Suppose 2*r + 4 = -3*b - g, 4 = -r + 2*b. Does 15 divide -2*r/8 - -15?
False
Suppose -3*l + 96 + 1326 = 0. Is 3 a factor of l?
True
Suppose -245 - 207 = b + 5*h, -3*b = 3*h + 1356. Let w = b - -623. Is 11 a factor of w?
False
Let r be -1*(92 - (2 - 6)). Let t(w) = -w**2 - 5*w - 1. Let b be t(-8). Let k = b - r. Is k a multiple of 30?
False
Let d = 19 + -929. Let h = d - -1315. Is 15 a factor of h?
True
Let o = 11 + -18. Let j(y) = y**3 + 8*y**2 + 7*y. Let q be j(o). Suppose -m + 28 + 16 = q. Is 22 a factor of m?
True
Suppose -2*v + 12 - 6 = 0. Suppose 4 + v = -b - 3*k, 4*k = -2*b - 8. Suppose 0*x = -x - d + 18, -4*x = b*d - 70. Does 17 divide x?
True
Suppose 3 = -5*u + 2*u - 5*i, 2*u - 5 = -i. Suppose -2*o - 2 - 8 = u*f, -4*o + 20 = 0. Does 12 divide f/15 + 254/6?
False
Suppose -44*b - 16 = -46*b, -b - 22436 = -4*s. Is 19 a factor of s?
False
Let x = -523 + 134. Let h = x + 889. Is h a multiple of 25?
True
Let s(o) = o**3 - 8*o**2 - 2*o + 6. Let l(u) = -10 + 5 - 12*u + u**3 - 12*u**2 + 7*u**2. Let x be l(7). Is s(x) a multiple of 23?
True
Suppose 40*w - 35*w - 4824 = -u, -5*u = -w + 996. Is w a multiple of 14?
True
Suppose 32 = 7*f + f. Let a be 39/26 - 2/f. Does 8 divide (17 + a)*(-32)/(-12)?
True
Suppose 9*x - 6*x - 12 = 0. Suppose -x*p - 51 = -7*p. Suppose -124 = 13*l - p*l. Is 31 a factor of l?
True
Let j be ((147/4)/(-7))/((-1)/12). Let w = -207 + j. Is (-4)/(4/w*2) a multiple of 24?
True
Is (-2)/(-8) + (-6843564)/(-208) a multiple of 136?
False
Suppose 7*u + 8*u = -153 + 45978. Is 53 a factor of u?
False
Suppose -4*f - 60 = 2*h + 210, 270 = -2*h - f. Suppose 58051 + 18582 - 12643 = 270*p. Let o = h + p. Is 15 a factor of o?
False
Let m(d) = d + 1. Let k be m(-6). Let n(j) be the third derivative of j**5/12 + j**4/4 + 25*j**3/6 - 181*j**2. Is 24 a factor of n(k)?
True
Does 17 divide 21329 + 66/(19 - 8)?
True
Let d(o) = -4*o**2 + 25*o + 21. Let p be d(11). Let x = p - -716. Is x a multiple of 24?
True
Suppose 91*u - 112731 - 58440 = 0. Does 57 divide u?
True
Suppose -q - o + 9418 = 0, -17*q + 5*o - 28254 = -20*q. Is q a multiple of 17?
True
Suppose 3*l + c - 32009 = 0, 775*l - 776*l + 10643 = -5*c. Does 12 divide l?
True
Suppose 5*h - 50*b + 51*b - 22851 = 0, -3*b - 12 = 0. Let t = h - 3064. Does 43 divide t?
False
Is 7 a factor of (-8 + -22 + 2)/((-2)/302