derivative of c**4/4 + 2*c**3 - c**2/2 - 14*c + 26. Let l be f(-3). Does 9 divide l/1 + (2 - 2)?
False
Suppose -6*d - 52 + 64 = 0. Suppose -5*i = d*o - 174 + 10, i = 3*o - 280. Is o a multiple of 3?
False
Suppose -3*b + 532 = -5*b. Let c = -136 - b. Is 18 a factor of c?
False
Let q(s) = 181*s**3 - 15*s**2 + 11*s - 26. Let m(u) = -90*u**3 + 7*u**2 - 5*u + 12. Let w(k) = 13*m(k) + 6*q(k). Is 14 a factor of w(-1)?
True
Suppose 5*p + 5*d = 22058 + 16997, -p + 3*d = -7795. Is 141 a factor of p?
False
Let v(l) = 7*l**2 - 22*l + 91. Let p be v(6). Let q = 823 - p. Is 17 a factor of q?
True
Let a(j) = -5*j**2 - 19 + 24 + 28*j**2 + 108*j + j**3 + 43 - 76*j. Does 7 divide a(-19)?
False
Let g be 5 - (-6)/((-42)/35). Suppose g = -2*i + 1308 - 364. Is 13 a factor of i?
False
Let m(c) = -75*c**2 + 8*c + 3. Let n be m(-4). Let h = -527 - n. Suppose -h = 10*b - 16*b. Is 39 a factor of b?
True
Let j = -9 + 245. Let d = -61 - 73. Let g = j + d. Is 10 a factor of g?
False
Suppose 0 = 118*v - 148*v + 310860. Does 11 divide v?
True
Suppose 2*i - 12862 = -3*l, -i + 5*l = -9654 + 3223. Is i a multiple of 59?
True
Suppose 0 = r - 3*w, 19*r - 24*r - 2*w = 0. Suppose r = -4*g - 524 + 3384. Does 13 divide g?
True
Let b = -1291 - -1459. Is b a multiple of 24?
True
Let l(b) = -42*b - 202. Suppose 27*d - 23*d = -24. Is 14 a factor of l(d)?
False
Suppose -36*m + 57 = -40*m + v, -5*m + 4*v = 63. Is 23 a factor of (-1086)/m + -3 + 18/(-45)?
True
Suppose 18*l + 7 = -47. Is 31 a factor of (4092/176)/(l/(-4))?
True
Let g(f) = 27*f**2 + 21*f + 24. Let n be g(-9). Suppose 3*h = -3*v + n, -v = 3*h - 1424 - 600. Is 10 a factor of h?
False
Let h(s) = -3*s**2 - 10*s + 21. Let p be h(5). Let a = -95 - p. Does 3 divide a?
True
Let k(b) = -b**2 - 13*b - 3. Let j be k(-13). Let v(u) = -17*u**3 + 9*u**2 + 3*u - 3. Does 33 divide v(j)?
True
Let q(o) = o**3 + 23*o**2 + 21*o + 47. Let l be q(-19). Suppose 0 = -11*i - 3*i + l. Does 13 divide i?
True
Let g(b) = 488 + 429 - 2*b - 823. Does 7 divide g(19)?
True
Suppose -w + 2*k = -2346, -5*k - 9399 = -4*w - 0*w. Does 49 divide (-8)/12 - w/(-6)?
True
Does 92 divide 4*4 - (-881924)/97?
True
Suppose -2*i + 2*q = 16, -3*q + 12 = i - 0*i. Is (1/i)/((-1)/15) - -131 a multiple of 8?
True
Let c(l) = -l**3 - 41*l**2 - 25*l + 42. Let h be c(-40). Let s = h - -572. Is 7 a factor of s?
True
Let w(v) = -5 + 2 - 4 - v + 5. Let n be w(1). Does 13 divide -4 + ((-204)/9*n - 4)?
False
Let h = -13098 + 28797. Does 50 divide h?
False
Suppose 14*z + 35 = 9*z. Let u(w) = 2*w + 18. Let q be u(z). Suppose -5*g + 846 = q*g. Is 16 a factor of g?
False
Suppose -5*k - 83 = 2*l, 3*k - 58 - 56 = 3*l. Let f = l - -106. Is 19 a factor of f - 14 - (-4 + 0)?
True
Suppose -x + 2*y + 398 = 0, 5*x = 4*x - 3*y + 388. Let s be x + (2 - (0 - 1)). Suppose -s - 191 = -7*t. Is t a multiple of 28?
True
Let k(r) = 384*r**2 - 40*r + 5. Is k(3) a multiple of 12?
False
Suppose 465206 = -43*w + 141*w. Is w a multiple of 29?
False
Let a = 255 + -152. Suppose a = x - 65. Does 29 divide x?
False
Let i = 772 - 297. Suppose 6*b + 121 = i. Let a = 95 - b. Does 2 divide a?
True
Suppose -5*n = -m - 8*n + 6276, 5*m + 5*n = 31340. Is m a multiple of 116?
True
Let c be (-129 - -127)/((-1)/(547/(-2))). Let d = 950 + c. Is 13 a factor of d?
True
Is (-20)/80 - (-3)/12 - 59*-27 a multiple of 8?
False
Suppose 2*h - 4 = 0, y + 11*h - 9*h = 7494. Is y a multiple of 5?
True
Let b(o) be the third derivative of -o**4/24 + o**3 + 7*o**2. Let q be b(-8). Is 6/q - (-720)/35 a multiple of 7?
True
Does 36 divide (-187962)/(-10) + 834/(-695)?
False
Let p(m) = -4*m**2 + 5*m + 23. Let x be p(6). Let r = x - -83. Let z(u) = -u**3 - 7*u**2 + u + 6. Is 18 a factor of z(r)?
False
Suppose -4*z - 8 = 16. Let w(o) = -8*o**2 - 8*o - 13. Let s(k) = -41*k**2 - 43*k - 65. Let i(m) = 2*s(m) - 11*w(m). Does 17 divide i(z)?
False
Let m be (-3)/6 - (-3)/6. Let l be 1 - m*((-15)/(-6) + -3). Does 11 divide 1275/12 + l/(-12)*3?
False
Let h = -603 + 468. Let f = h - -185. Is 50 a factor of f?
True
Does 10 divide 26/156 + 77506/12?
False
Is (14 - (-468)/(-60)) + (-2)/10 + 9138 a multiple of 13?
False
Let q(w) be the third derivative of w**5/12 + w**4/8 + w**3/2 - 13*w**2. Let t be q(-1). Suppose -t*j = 5*k - 2*j - 318, 322 = 5*k + 2*j. Is 11 a factor of k?
True
Let w = -17717 - -31610. Is 11 a factor of w?
True
Suppose -4*v - 41*t + 43*t = -8022, 3*v - 6029 = 4*t. Does 3 divide v?
False
Suppose 10*m - 11*m + 3 = 0. Suppose 0 = 5*a - 4*o + 3*o + 20, -a = -m*o + 18. Does 4 divide 370/30 + -1 + (-5)/a?
False
Let g be (-1 - -816) + -18 + 14 + 2. Suppose r - g = 2*h, -5*r + 4055 - 55 = 3*h. Does 13 divide r?
False
Let d(s) = 9*s + 2 - 16*s - 2*s**2 + s**3 + 3*s. Let j be d(3). Does 28 divide (-2 + (-38)/6 + j)*-3?
True
Suppose -2*n + 4 = 0, 4*t - 11 = -n - 1. Suppose 2*b = t*b + 4*b. Suppose -4*d + 4*h = d - 123, -5*d - 5*h + 105 = b. Does 10 divide d?
False
Let w(x) = -2*x**2 - 40*x - 12. Let z be 72/54*(-27)/2. Let a be w(z). Let b = a - -68. Does 32 divide b?
True
Let g(s) = 2*s**2 + 3*s - 1. Let m be g(-3). Let l be (-575)/2*m/10. Does 5 divide 4/(-7) + l/(-35)?
False
Let f = 17 + -22. Is 6 a factor of f/(-10)*(98 + -2)?
True
Let z = 10 - 7. Let m(y) = 38*y**3 + 14*y**3 - 25*y**z - 2 + 4*y**2 - 2*y. Does 28 divide m(2)?
False
Let w = 2537 + 326. Is 80 a factor of w?
False
Suppose -2 = 2*m, -3*m + 6*m + 3 = -4*b. Suppose 370 = 4*g - 2*x, b = -4*x - 5 + 1. Let w = g + -4. Does 11 divide w?
True
Let r(z) = 5*z**2 + 197*z + 345. Is r(65) a multiple of 67?
False
Let o(n) = 9*n**2 + 18*n + 29. Let m be o(-9). Let d = m - 358. Is d a multiple of 8?
False
Let b(r) = -3*r**3 + 295*r**2 - 131*r - 956. Is b(97) a multiple of 131?
True
Suppose 0 = 61*p - 39926 - 27174. Is 65 a factor of p?
False
Suppose -109*u + 42313 + 178950 = -159474. Is u a multiple of 3?
False
Let n be (-3)/(((-33)/15 + 2)*3). Suppose 0*h = -3*h + n*h. Does 23 divide (h - -226) + (7 - 11)?
False
Let z(d) = -d + 7. Let a be z(6). Let l be 0/a*11/(-22). Suppose l = -4*c - c + 300. Does 30 divide c?
True
Is ((-6)/(-21))/(3891405/432376 - 9)*6 a multiple of 32?
True
Let o be 3/(18/4*2/(-6)). Let u(t) = 91*t + 2. Let c be u(o). Is (4/5)/((-3)/c) a multiple of 20?
False
Suppose 260 = 203*f - 199*f. Suppose -2*y - f - 513 = -2*a, 4*y - 1481 = -5*a. Is 73 a factor of a?
False
Suppose -a = 3*s - 19004, -a + 19000 = 3*s + a. Does 24 divide s?
True
Let x(c) = 0*c - c + 29 + 25 + 13. Is x(-14) a multiple of 3?
True
Let o(y) = -y**3 - 2*y**2 + y + 3. Let k be o(0). Suppose 0 = -k*m + 108 + 75. Is 7 a factor of m?
False
Let g(f) = -34358*f + 202. Does 18 divide g(-1)?
True
Let j(q) be the first derivative of -q**4/4 + 7*q**3 + 21*q**2/2 + 19*q - 8. Let c be j(22). Does 13 divide 117/c*3/(-9)*4?
True
Suppose 3*u = -2*v + 1911, 0 = 4*u - 2*v + 268 - 2816. Does 3 divide u?
False
Let w(k) = 251*k - 1494. Is 125 a factor of w(123)?
False
Suppose 0 = -2*z - 7*l + 4*l - 51, -5*l + 48 = -3*z. Is 140/(-6)*486/z a multiple of 14?
False
Let k(j) = 67*j**2 + 4*j + 9. Let r be k(-4). Does 71 divide ((-2*12)/(-6))/10*r?
True
Let w = -9221 + 9815. Does 6 divide w?
True
Suppose -163*s + 96*s + 337680 = 0. Is s a multiple of 16?
True
Let j = 6260 - -11110. Is 45 a factor of j?
True
Let q = 58 - 56. Suppose -c - h = -104, -q*c - 3*h = -5*c + 336. Does 27 divide c?
True
Let u = -16387 + 19665. Is u a multiple of 11?
True
Suppose 0 = 91*a - 37*a - 222966. Is a a multiple of 176?
False
Let r = -46 - -49. Suppose 0 = -4*f + r*o + 58, -2*f = 3*o - 25 + 5. Let y = f + 43. Does 8 divide y?
True
Let t = -48 + 102. Let p be (2/(-4))/((-9)/t). Is 35 a factor of (-139 - 1)*4/(p + -7)?
True
Let a(v) = -26*v + 149. Let j be a(5). Suppose -2*p + 2735 = 5*d, 0 = d + 22*p - j*p - 560. Is 23 a factor of d?
False
Suppose 6602 = -25*n + 183452. Does 16 divide n?
False
Let u(l) be the third derivative of -l**6/120 + l**5/10 - 3*l**4/8 + l**3/6 + 21*l**2. Let j be u(4). Is (5 + 14/j)/(2/708) a multiple of 21?
False
Let h(v) = v**3 + v**2 - 14*v + 48. Is 3 a factor of h(0)?
True
Suppose 0 = -2*h - 4*j + 12, 0*j - 18 = -3*h - 4*j. Is 15/h - 5181/(-22) a multiple of 34?
True
Let m(t) be the third derivative of -3*t**5/40 + 4*t**4/3 + 11*t**3/3 - 30*t**2. Let f(d) be the first derivative of m(d). Does 14 divide f(-6)?
False
Let g(v) =