-4*c + 268 = -3*w. Does 16 divide c?
True
Suppose 0 = -4*f + 2*p + 73852, -559*p + 555*p - 18470 = -f. Is 102 a factor of f?
True
Let i(a) = -5*a**2 + 4*a + 10*a**2 + 5*a**2 + 19. Is 41 a factor of i(-9)?
False
Suppose -507 + 72882 = 25*m. Is m a multiple of 98?
False
Let i(d) = d**3 + 57*d**2 + 480*d + 69. Does 46 divide i(-37)?
False
Is (-1)/(1/(-8))*(6 + 224) a multiple of 92?
True
Let s(r) = -2*r - 12. Let o(h) = -h**2 + 8*h + 25. Let l be o(11). Let a be s(l). Suppose -c = a*i - 359, -6*c + 3*c + 447 = 5*i. Does 15 divide i?
True
Let j(k) = k**3 - 17*k**2 + 6*k + 132. Is j(22) a multiple of 11?
True
Suppose 4*h + 8 = 0, -5*h + 0*h = 4*f - 118. Let a(i) = -i**3 + 32*i**2 + 5*i + 106. Does 11 divide a(f)?
False
Let u(q) be the first derivative of -q**4/4 + q**3 + 4*q - 1. Let i be u(3). Suppose -g + 186 = l + 2*l, i*l = 3*g + 261. Is 16 a factor of l?
False
Suppose 2*v = m - 13, 2*v + 4*m = -12 + 4. Let b be 63/14 - (-3)/v. Suppose -240 = -4*l + b*q, 8*l - 3*l - 294 = 2*q. Is l a multiple of 4?
False
Suppose 8933 = 4*g + b - 20948, g - 5*b = 7444. Suppose 16*y = 27*y - g. Does 16 divide y?
False
Suppose 4*z + 112*i - 114*i = 92928, 2*z + 2*i = 46440. Is 129 a factor of z?
False
Suppose -87*t = -74*t - 26. Let a(l) = 7*l**2 + 11*l - 5. Does 2 divide a(t)?
False
Suppose 0 = -3*d - 3*k + 3411, -5*k + 962 = 3*d - 2453. Does 4 divide d?
False
Let y be (-12)/3 - 2548/(-7). Let l = y - 234. Is 18 a factor of l?
True
Let p(v) = -10*v - 66. Let a be p(-7). Let k(t) = 11*t + 43. Is 4 a factor of k(a)?
False
Let z = -5007 - -6760. Does 17 divide z?
False
Let c(s) = 127*s - 274*s + 125*s + 3*s**2 + 69. Does 9 divide c(6)?
True
Suppose 10*i - 3995 = -0*i + 96325. Is 132 a factor of i?
True
Let r = 11101 - 6955. Is 64 a factor of r?
False
Let c(r) = -6 - 6*r + 22 + 16*r + 41. Is 11 a factor of c(24)?
True
Let p = -3205 + 4285. Does 2 divide p?
True
Let z(f) = -7*f**3 - 35*f**2 - 38*f - 170. Is z(-18) a multiple of 106?
True
Suppose 2*c = 4*t + 1620 + 22164, 0 = 4*t + 12. Does 14 divide c?
True
Let j = 294 - -32. Let m = 121 + j. Is 35 a factor of m?
False
Let c(z) = z - 10. Let r be c(15). Suppose -2*m - r*l = -19, l + 0 - 8 = -m. Suppose -13*i + 204 = -m*i. Does 18 divide i?
False
Does 8 divide ((-2)/8)/((-2)/(-6)*(-168)/744352)?
False
Suppose 5*a + 2*l - 4689 - 14939 = 0, 5*l + 11752 = 3*a. Is a a multiple of 69?
False
Suppose -3*y - 5886 = -4*x, 31*y = 5*x + 27*y - 7357. Does 142 divide x?
False
Suppose -2*n + 16934 = -585*i + 589*i, -4*i - 3*n + 16937 = 0. Does 4 divide i?
True
Suppose 3*i + 2*j - 29 + 6 = 0, 0 = 2*j - 8. Suppose 4*v - 4*y + 71 = 891, 0 = -i*y. Let n = v - -3. Is 40 a factor of n?
False
Is 8 a factor of (116 + 14)*612/45?
True
Let q = 28 - 64. Let p = q - -22. Let v = 26 - p. Is v a multiple of 10?
True
Let l be (-10812)/108 + 2/18. Let j = 207 + l. Is j a multiple of 5?
False
Let o(m) = -m**3 + 6*m**2 + 8*m + 2. Let q be o(7). Let j be (-3)/27 + 37/q. Suppose 500 = j*x - 100. Does 15 divide x?
True
Let l be (0 - 2)/((-9)/27) - -1. Suppose -14*s = -l*s - 4655. Suppose -s = -16*q + 11*q. Is q a multiple of 7?
True
Suppose -o + 24142 = 5*v, 5*o - 10745 = -3*v + 3705. Is v a multiple of 35?
True
Suppose 18*z - 30 = 3*z. Suppose z*q + 814 = 4*w, -5*q - 2 = -7. Is w a multiple of 17?
True
Let r = -47 - -50. Suppose 4*d + 3*j = 271, 7*d - r*d - j = 283. Suppose d = w - 3*u - u, -4*w - 4*u + 200 = 0. Is 25 a factor of w?
False
Suppose -5*s = -15, -2*s + 8 = 4*c + 2. Suppose -2*i + 2*m - 4440 = -6*i, c = m. Suppose -3*g = 5*n - 818, -i = -4*g + 5*n - 2*n. Does 51 divide g?
False
Let w(m) = 9941*m - 527. Is w(4) a multiple of 41?
True
Let m(o) = -7*o - 37. Let t be m(-8). Suppose 0 = 4*b + t*j - 21*j - 1760, b - 5*j - 440 = 0. Does 40 divide b?
True
Suppose -17 = 3*q + n, -7 = 3*q - n - 0*n. Let l(p) = -6*p - 29. Let d be l(q). Is 4 a factor of (d - -12)/((-3)/(-6))?
False
Suppose 5*j - 365 = -h - 4*h, -150 = -2*j - h. Suppose 0 = 3*z + 3*y + 201, -3*z + 137 = -5*z - 3*y. Let c = j + z. Is c a multiple of 13?
True
Does 16 divide (-8 - 32)/4*(-636)/(0 + 1)?
False
Let w = 4 + 10. Let j be 7/(w/4) + 0. Suppose -n = r + j*n - 52, r - 42 = -n. Does 37 divide r?
True
Suppose 0 = 2*n + 10, 5*o - 351 - 5204 = -5*n. Is o a multiple of 18?
True
Does 203 divide (-4)/128 + (-31371356)/(-2944)?
False
Let m(q) = -335*q - 6230. Does 48 divide m(-48)?
False
Let p(w) = 13215*w**2 - 93*w - 93. Is p(-1) a multiple of 15?
True
Suppose 46 = -3*x - 5*k + 4*k, 4*x - k = -66. Let d(j) = -16*j - 26. Is 23 a factor of d(x)?
True
Let y(v) = 33*v**2 - 4. Let i be y(-5). Suppose 0 = -8*k + i + 675. Is 10 a factor of k?
False
Let p = -222 - -203. Let g = 530 + p. Is 19 a factor of g?
False
Is (-3824433)/(-513) - (-10)/(-285) a multiple of 35?
True
Let q = 28835 - 58787. Is 4/30 + q/(-135) a multiple of 37?
True
Let m(h) = -h**2 + 27*h - 86. Let c = -792 - -813. Does 40 divide m(c)?
True
Let t = 134 + -274. Let z = t + 280. Does 7 divide z?
True
Suppose -4110 = -5*m - 2*v, 0 = -m + 4*v + 667 + 133. Does 10 divide m?
True
Let w(u) = 15 - 3*u**2 + 12*u**2 - 10*u**2 + 5*u. Let d be w(7). Is 0 + (94 - 0) - (-3)/d a multiple of 12?
False
Let g(t) be the second derivative of 7*t**5/20 - t**4/6 - 2*t**3/3 + 6*t**2 - 58*t. Does 54 divide g(3)?
False
Suppose -534*o - 2436 = -527*o. Let p = 429 + o. Is 5 a factor of p?
False
Let i(u) be the third derivative of -13*u**6/120 - u**5/20 - 7*u**4/24 - u**3/3 - 2*u**2 - 15. Is i(-3) a multiple of 49?
True
Let u = 7373 - -6835. Is 296 a factor of u?
True
Suppose n + 5033 - 515 = 4*r, 2*r - 4*n - 2252 = 0. Is 22 a factor of r?
False
Let m be (-4)/((-12)/(-63)) + -2. Let c = 24 + m. Let n(d) = 33*d + 3. Is n(c) a multiple of 6?
True
Does 13 divide (0 - 10)/(-2) + 5332 + 117/13?
False
Suppose -26*k + 5*k + 147 = 0. Suppose -q + 760 = k*q. Is 16 a factor of q?
False
Let z(h) = 7*h + 15. Let j be -5 + 1 - (2 + -3). Let q(d) = 6*d + 15. Let g(t) = j*q(t) + 2*z(t). Does 17 divide g(-8)?
True
Let q = 11082 + 7106. Is q a multiple of 50?
False
Let x = 5318 - 2238. Does 110 divide x?
True
Let k be -14 - (-2 + -1 + 6). Let j be 0 + k/(-7) + (-6)/14. Suppose -22 = -j*s - 3*x + 28, 0 = -2*s + 4*x + 78. Is 4 a factor of s?
False
Let a(v) = -10*v**2 + 27 + 26*v + 16 + 28 - v**3 - 3. Is a(-12) a multiple of 38?
False
Let d = -2467 + 6456. Does 7 divide d?
False
Suppose 4*s = 3*q - 5*q + 1208, 0 = 5*s + 4*q - 1513. Let n = s + -131. Suppose -4*v = -8*v + 5*a + n, 4*a + 48 = v. Does 10 divide v?
True
Let b be 8/(-1)*(-2)/32*4. Suppose -s = -v - 5, b*v + 2 - 4 = 0. Suppose o + 1 = 0, -f + s*f = -2*o + 118. Does 6 divide f?
True
Let r(o) = -o**2 - 3*o - 24. Let d(n) = -n**2 - 3*n - 24. Let w(z) = -4*d(z) + 5*r(z). Let t be w(-13). Let v = t + 285. Is v a multiple of 15?
False
Let c(t) = -2*t**2 + 6*t + 2. Let s be c(3). Let p(o) = 2*o**s + 6*o - 25*o + 6*o - 16. Is p(10) a multiple of 6?
True
Let h(v) = -7*v**3 - 19*v**2 + 11*v + 75. Is h(-13) a multiple of 25?
True
Does 4 divide (-31)/(93/6)*-179*14?
True
Let q(d) = d**2 + 16*d + 45. Let w be q(-10). Does 13 divide (-8 - (-124)/6)/((-2)/w)?
False
Is 54 a factor of 23597184/2288 - (0 - (-6)/(-11))?
True
Suppose 4*q - 2*a = 13203 - 5081, 5*q = -a + 10135. Is q a multiple of 46?
False
Let c be 9 + 6/(2 + -3). Suppose -3*g - c*g = -654. Does 2 divide g?
False
Let o = -23 - -69. Suppose -3*d + 26 = 2*p, 4*p - 2*d - o = -5*d. Does 4 divide (-93)/(-6) - 5/p?
False
Let g = 141 + -129. Suppose m = -5*p + 28, 0*p = m - 3*p + g. Is 3 a factor of m?
True
Suppose -7*r + 17935 = 78079. Is r/(-30) + (-12)/30 a multiple of 11?
True
Let w(c) = c + 14. Let o(j) = -2*j - 15. Let a(l) = 4*o(l) + 5*w(l). Suppose -280 = 104*t + 32. Is a(t) a multiple of 19?
True
Is 16185352/1272 + 2/3 a multiple of 16?
False
Let o(c) be the second derivative of -16*c**3 + 6*c**2 + 19*c. Is o(-2) a multiple of 51?
True
Let d be 24/20 + 3/(-15). Suppose -5*r - d = 3*p, -5*r = 2*p - 0*r + 4. Suppose 0 = -2*q - 0*q - h + 37, -p*h + 21 = q. Is 6 a factor of q?
True
Suppose -8 = -4*h, 984 = 4*a - h + 3*h. Suppose -3*q + 5*u = -a, 2*u = 2*q - u - 164. Does 5 divide q?
True
Suppose 29*p + 93*p - 2440 = 0. Suppose b + 0*s = 2*s - 56, 4*b + 3*s = -268. Let a = p - b. Does 21 divide a?
True
Suppose -4*s + 4300 = 17*f - 13*f, -2*s = 5*f - 5360. Does 10 