 -m + 6*m = -40. Is m/q + (-436)/(-6) a multiple of 9?
True
Let y = -159 - -133. Let a = 319 - y. Is a a multiple of 13?
False
Let v(g) = g**3 + 8*g**2 + 7*g - 9. Let f be v(-4). Suppose -255 = -f*c + 1041. Is c a multiple of 11?
False
Let z(s) be the first derivative of -s**2/2 + 11*s - 4. Let l be z(-9). Suppose l*v = 24*v - 192. Is v a multiple of 20?
False
Suppose -4*p - 3*v = -3148, -3*p + 3*v + 2361 = 7*v. Suppose -2*w + z - p = -4*w, 2*z = -10. Does 9 divide w?
True
Is (-1169255)/(-195) + 36/54 - 2/(-13) a multiple of 11?
False
Is 7 a factor of (-1060)/(-2120) + (42/(-8))/((-2)/316)?
False
Let v(q) be the first derivative of q**7/280 + q**5/120 + q**4/24 - 4*q**3 - 16. Let j(r) be the third derivative of v(r). Does 9 divide j(2)?
True
Let f(h) = h**2 + 18*h - 11. Let k be f(-16). Suppose s - 2*s - 5*q + 85 = 0, s - 45 = 5*q. Let c = k + s. Is c a multiple of 5?
False
Suppose -16*q - 938 = -1850. Does 3 divide q?
True
Let d(f) = -f**3 + 36*f**2 - 29*f - 99. Is d(35) a multiple of 37?
True
Let o(f) = 8*f**2 + 67*f - 944. Is 62 a factor of o(22)?
True
Let y be 4 + -12 - (-3)/(-1). Let c = 13 + y. Suppose -3*x + x = -k - 219, -c*x = 5*k - 201. Does 27 divide x?
True
Let z(v) = -v + 12. Let p be z(9). Suppose -196 = p*n - 280. Is 7 a factor of n?
True
Suppose 1084*s = 1068*s + 213024. Is s a multiple of 21?
True
Suppose 0 = -60*a + 56*a. Suppose t - 27*q + 30*q - 590 = a, -4*t = -5*q - 2360. Does 28 divide t?
False
Suppose -2 = -t - 3. Suppose -12798*f = -12806*f. Is (259/(-21)*3)/(t - f) a multiple of 11?
False
Let x = 48 - 84. Let v = x - -42. Let n(z) = 17*z - 6. Is 13 a factor of n(v)?
False
Suppose 37*n - 30*n = 3136. Let x = 968 - n. Is x a multiple of 26?
True
Suppose -322790 + 122275 = -27*m + 364352. Does 3 divide m?
False
Suppose 42042 = 31*x - 792137. Is 16 a factor of x?
False
Let l be (2 + -2)/(-3) + 112. Suppose -4*n + 56 = y, 5*n - 12 = 2*n. Let m = l - y. Is m a multiple of 12?
True
Let c(r) = 419*r**3 + 3*r**2 + 25*r - 47. Does 58 divide c(3)?
True
Let i be 4/(-10)*(-8 - 2). Suppose -6 = 3*n, 2*l + i = 3*n + 20. Suppose l*w + a - 21 = 0, -3*a + 2*a - 29 = -5*w. Is w a multiple of 5?
True
Let b(a) = 38*a**2 + 111*a - 460. Does 3 divide b(4)?
False
Let i(y) = y**2 + 7*y + 5. Let k be i(-6). Let f(r) = 14*r**2 - 23*r**3 + 72*r - 12*r**2 - 2 - 73*r. Does 8 divide f(k)?
True
Suppose 3*o = -12, -4*r - 2*o = -20792 + 1300. Does 17 divide r?
False
Suppose 23493 = 14*t - 11*t + 4*v, 4*v = 4*t - 31380. Does 117 divide t?
True
Suppose -11*b + 10*b = 3, 0 = -4*s + 4*b + 676. Let c = 197 - s. Is c even?
False
Suppose 1176 = -4*c + 220. Let x = -482 - c. Let l = 364 + x. Is 19 a factor of l?
False
Let t = 26427 + -23818. Is 9 a factor of t?
False
Suppose -30057 = 55*k - 79887. Does 14 divide k?
False
Is 23 a factor of -7 + 3559 - (31 + -44)?
True
Is 7 a factor of (-9758)/(-6 - 1) + (-36)/(4 - 10)?
True
Let b = 144 - 25. Let j = b - 36. Is j a multiple of 3?
False
Suppose 0 = -2*g + v - 41, v = 5*v - 20. Let m = -24532 + 23394. Does 7 divide 2/(-9) + m*1/g?
True
Suppose 2*a = -j + 685, 3*j - 58*a = -61*a + 2049. Is 38 a factor of j?
False
Suppose -3*v + 4*p + 16660 = 0, -10869 = -2*v - 5*p + 184. Is 22 a factor of v?
True
Let o(r) = 2*r**2 + 8*r + 32. Let a(v) = v**3 - 8*v**2 + 6*v - 6. Let k be (-12)/(-3) + (-9)/6*-2. Let x be a(k). Is o(x) a multiple of 14?
True
Suppose -2*p - 4*t = -13160, -3*p + 5*t = -21047 + 1241. Does 139 divide p?
False
Let o(z) = z + 12. Suppose l + f + 11 = 0, -2*l = -0*f + f + 23. Let q be o(l). Suppose w + 1 = 0, 0 = -2*p - 4*w - q*w + 272. Is 46 a factor of p?
True
Suppose 17107 = 67*t - 5338. Is 66 a factor of t?
False
Let r be ((-2631)/(-4))/((-282)/(-48) + -6). Does 26 divide (-3)/(-2) - 2*r/24?
False
Let o(h) = 207*h + 2975. Is 35 a factor of o(0)?
True
Let r(y) = 0 + 8 - 10*y + 2*y - 1 + 1. Let d(s) = s**3 + s**2 - 3. Let z be d(0). Is r(z) a multiple of 8?
True
Does 11 divide (-1 + -11747)*((-78)/(-104) - 3/2)?
True
Suppose 47 = 5*c + 2, -2*c = -5*w + 263322. Is w a multiple of 342?
True
Let b = -52 - -48. Let w = -6 - b. Is (-3 - 3/w)/(6/(-112)) a multiple of 7?
True
Suppose 412024 = 92*k - 16*k - 520648. Is 66 a factor of k?
False
Is 23 a factor of (-11628)/(-2) - ((6 - 15) + 8) - 4?
False
Is 4 a factor of (-1 + 3/6)*(-138 + -3412)?
False
Suppose 5*s = 95*s - 560160. Is 22 a factor of s?
False
Suppose 6 = 2*r + 166. Let w = r - -56. Is 6 a factor of (-1)/(4 + 100/w)?
True
Let s be (2/14)/((-1)/(-21)). Suppose -2*o = 4*y - 872, 4*y = y - s*o + 657. Is 7 a factor of y?
True
Let l be (40/(-8) + 2)*2018/(-6). Suppose -3*z - l = -7*z - f, 3*z + 3*f = 759. Does 36 divide z?
True
Suppose 0 = 5*k - 2*z + 17, 4*k = 15*z - 10*z. Is 7 a factor of ((-12)/8)/((-6711)/(-1344) + k)?
True
Let g(c) = -1418*c - 874. Is 28 a factor of g(-8)?
False
Let z(i) = 19*i**2 - 9*i - 27. Suppose -2*p + 5*a = -3*p + 5, 4*p + 22 = a. Is z(p) a multiple of 12?
False
Let g be (-1 + 0 + -2)/((-7)/1379). Suppose -177 = -6*w + g. Is w a multiple of 32?
True
Suppose 135*g - 264 = 69*g + 65*g. Does 26 divide g?
False
Suppose 0 = -10*o + 7346 + 114. Let r = o + -490. Does 16 divide r?
True
Suppose -54 = -5*f - 29. Let r(o) be the first derivative of 2*o**3 - 9*o**2/2 + 2*o - 5. Is r(f) a multiple of 14?
False
Let j(q) = 32*q**2 - q. Let o be j(-1). Let k = -28 + o. Suppose -2*g = -k*g + 372. Is g a multiple of 18?
False
Suppose -424261 = -62*t + 466237 + 4224. Does 27 divide t?
False
Does 3 divide 97*4 - (-833)/49?
True
Let j be (6 - 1)/(49941/4995 - 10). Let v = -1909 - j. Is v a multiple of 32?
False
Let t be ((-6)/5)/(24/2000). Let g = t - -66. Let z = g - -194. Is z a multiple of 20?
True
Let d(t) = 10*t**3 - 3*t - 2. Let z be d(-1). Let r be 1*z/((-18)/(-4) + -3). Is 0 + 41 - (r + (1 - -4)) a multiple of 14?
True
Let q = -48 - -54. Suppose -y + 3 = q. Let l(g) = g**2 - 5*g - 2. Is l(y) a multiple of 11?
True
Let r(s) = -s**2 + 454. Let l be 7 - (-4 - -1 - -10). Does 20 divide r(l)?
False
Let g = 26 + -24. Let w be -1*(-4)/((-12)/(-231)). Suppose 4*o + 4 - 12 = 0, 0 = -r + g*o + w. Is 9 a factor of r?
True
Suppose 0*k + 2*k - 4*q + 224 = 0, 0 = -3*k + 4*q - 332. Let p be ((-12)/5)/(3/20)*k. Suppose -10*y = -y - p. Is 24 a factor of y?
True
Suppose -41*h + 97508 = 4*s - 37*h, -h + 73129 = 3*s. Is s a multiple of 119?
False
Let v be 3/(-6) - 887/(-2). Suppose -2*f - 1034 = 5*s, -f + 1965 = 1962. Let h = v + s. Is h a multiple of 29?
False
Let l be (-1250)/(-4) + (-1)/2. Suppose -4*n = -3*i + 677, -19*n + 15*n - 4*i = 712. Let t = l + n. Is t a multiple of 31?
False
Suppose 6*w - 304 = 56. Suppose 17*b = 21*b - w. Does 3 divide b?
True
Let z be 16/20*((-7490)/(-4) + 0). Does 6 divide z/5 - ((-36)/15)/6?
True
Let d be -7 + (-50)/(-30) + (-2)/(-6). Does 14 divide -83*(0/2 + d)?
False
Let f = 19598 - 17577. Is f a multiple of 118?
False
Let m = 6841 + -6791. Let q(t) = -t**3 - 6*t**2 - t - 2. Let g be q(-4). Let f = g + m. Is f a multiple of 5?
True
Suppose 0 = -35*w + 37*w + 2, -5*m + 18430 = -5*w. Is 8 a factor of m?
False
Let x be 15/(-10) + (-95)/2. Let l = -44 - x. Suppose l*f = d + 178, 0*f - 3*f + 96 = 3*d. Does 17 divide f?
False
Let l(j) = j**2 - 7*j - 24. Let f be l(11). Suppose 0 = -5*g + f, 259 = -4*a - g + 1423. Does 25 divide a?
False
Let o be -10*((-2 - -6) + (-2905)/14). Suppose o = 3*b + 8*b. Does 5 divide b?
True
Let y(r) = -2784*r + 142. Is 26 a factor of y(-7)?
True
Suppose 58*d = -6*d + 15*d + 205065. Is 15 a factor of d?
True
Let j(r) = 18*r**3 + 7*r**2 + 46*r - 240. Is 72 a factor of j(6)?
True
Let h = 4443 - -486. Is 53 a factor of h?
True
Let a be -5 + 9 + 3 + -3. Let v be 4 + -4 + a + (6 - 0). Is (-24)/(v/(-12)*(-20)/(-75)) a multiple of 7?
False
Let z = -685 + 2647. Let r = z - 1361. Is r a multiple of 17?
False
Let m(a) be the second derivative of -3*a**5/20 - a**4/3 + 8*a**3/3 + 6*a**2 - 2*a - 9. Is 60 a factor of m(-6)?
True
Let j(d) = -63 + 5*d - d**3 + 16*d - 75*d**2 + 41*d**2 + 46*d**2. Does 109 divide j(7)?
False
Suppose -80*m + 1952864 + 1521321 = 142905. Is 7 a factor of m?
False
Suppose 5*x + 5*v - 144840 = 0, x - 56*v + 61*v = 28972. Is 62 a factor of x?
False
Suppose -219*m = -1659406 - 5012210. Is 136 a factor of m?
True
Suppose -y + 78*m + 5953 = 82*m, 5*m - 23768 = -4*y. Is 15 a factor of y?
Fals