2*c = -c. Let p(i) = i**2 + 4*i + 1. Let t be p(c). Does 27 divide ((-2176)/(-14) + 9/(-21))*t?
False
Let x(z) = -z**3 - 21*z**2 + z - 12. Let r be x(-11). Let n = 438 - r. Is 13 a factor of n?
False
Let t(o) = 61*o**2 + 2*o + 4. Let k be t(-2). Let x = -139 + k. Suppose -4*n - 1 + x = 0. Is 5 a factor of n?
False
Let i = -1040 - -4309. Does 88 divide i?
False
Let n = -5745 - -21572. Is 6 a factor of n?
False
Let v(j) = -4538*j - 568. Does 7 divide v(-1)?
False
Let u(t) = -147*t - 156. Let s be u(6). Is 27 a factor of (-2)/(-20)*-5*s?
False
Let r(p) = -p**3 + 26*p**2 + 45*p + 92. Is r(20) a multiple of 53?
True
Suppose -56 = -4*t + 884. Suppose 5*w + t + 280 = 4*r, 0 = -4*r - w + 545. Does 9 divide r?
True
Suppose 7*q - 2*q = 2*x + 9, -12 = -x - 3*q. Let m be ((-4410)/(-4))/5*2/x. Let p = 208 - m. Is p a multiple of 6?
False
Let q(c) = 16558*c + 1524. Does 161 divide q(3)?
True
Let t = -55 - -57. Suppose 3*l = t*s + 1452, -6*s = -5*l - 4*s + 2420. Is 27 a factor of l?
False
Suppose 15*j + 10719 = 41*j - 17*j. Is 10 a factor of j?
False
Suppose -6*x = -3 + 21. Is ((-4)/x)/(6/153) a multiple of 25?
False
Let u(g) = -57*g - 1188. Is u(-24) a multiple of 20?
True
Let f(q) = q**3 + 187*q**2 + 3*q - 101*q**2 - 96*q**2 + 19. Suppose 5*y = -3*l + 59, 4*y - 3*l - 31 = -0*y. Does 11 divide f(y)?
False
Let p be 1/(-4) - ((-728)/32)/7. Suppose -p*c - 2*m = -290, 2*c = 5*m + 163 + 24. Is 24 a factor of c?
True
Let t(l) = 6*l**2 + 2. Let n(u) = 9*u - 12. Let i be n(12). Let k = i - 93. Does 28 divide t(k)?
True
Suppose -65*y = 122*y - 1205215. Does 16 divide y?
False
Let l(b) = -8*b**3 - 25*b**2 - 40*b - 516. Let j(a) = -3*a**3 - 8*a**2 - 14*a - 173. Let u(n) = 11*j(n) - 4*l(n). Is u(12) a multiple of 3?
False
Let y(q) = 4*q - 19. Let x(z) = -z - 1. Let p(g) = -5*x(g) - y(g). Let m = -293 - -283. Does 4 divide p(m)?
False
Suppose 6*v - 1 = 17. Is (v - 4)/((-1)/2) + 203 a multiple of 41?
True
Let n = -155 - -176. Let u(p) = 19*p - 111. Is 32 a factor of u(n)?
True
Let f = -54 + 59. Suppose 2*v = 5*i + 15 - 3, -f*i + 24 = 4*v. Suppose 0 = 2*j - v*j + 444. Is 7 a factor of j?
False
Let h = -4385 + 14148. Does 24 divide h?
False
Suppose 4*b + 13*y = 9*y + 6888, 2*y = -b + 1729. Is b a multiple of 7?
True
Let h = 23 + -17. Let t(a) = 2*a**2 - 4*a**2 + 3*a**2 - 9*a + 2*a**2. Does 27 divide t(h)?
True
Suppose -h = -2*z + 193, -4*h + 3 = -h. Suppose 3*d + 1 = 4, 0 = -4*o - 2*d - 254. Let l = z + o. Is 4 a factor of l?
False
Let z be 124/2*(-3 - 12/(-8)). Let v = z + 173. Suppose v + 18 = 2*y - 5*i, -49 = -y - 3*i. Is 9 a factor of y?
False
Let o(f) = 21*f + 6. Let q be o(-2). Suppose 0 = 2*y - 7*u + 4*u - 79, 4*u - 20 = 0. Let l = y + q. Does 11 divide l?
True
Let v(y) = 2*y + 4. Let q(l) = 13*l - 42. Let m(z) = -2*q(z) - 4*v(z). Is m(-24) a multiple of 17?
True
Suppose 0 = -3*r + 5*r - 26. Suppose 0 = -3*t - 5*h + r, 5*h = 2*t - t - 11. Let n(k) = 35*k - 30. Is 15 a factor of n(t)?
True
Suppose 17676 = 44*j - 42*j. Suppose -5*i = -4*g + 7082, 51*g - i = 56*g - j. Is g a multiple of 13?
True
Let z = -59 + 66. Suppose -5*w = z + 8. Let n(k) = -4*k**3 - k**2 + 3*k - 4. Is 7 a factor of n(w)?
False
Let c(b) = -b**3 - 7*b**2 + 26*b - 412. Let m be c(-12). Suppose 3*n - 391 = -n + 5*i, -4*i + 270 = 3*n. Let j = m + n. Is j a multiple of 7?
False
Let a = -281 - -469. Suppose f = -3*h + 591, 0 = -2*f - 5*h + 997 + a. Is 15 a factor of f?
True
Let v be -64*1*2/((-8)/4). Let c = v - -8. Is c a multiple of 8?
True
Suppose -67*b - 106*b + 683200 = -61*b. Does 15 divide b?
False
Suppose 142 = -7*j + 5*j + 1524. Does 7 divide j?
False
Let b(v) = -v**2 - 32*v - 142. Let o = 589 + -614. Is b(o) a multiple of 16?
False
Suppose 5*w - y - 143012 = 0, 0 = -4*w - w - 2*y + 143021. Is 59 a factor of w?
False
Let p = 3103 - -6093. Does 25 divide p?
False
Suppose -8*g + 4*g - 44 = 0. Let u = 814 + g. Does 73 divide u?
True
Suppose 3*n + 544 = 5*x + 2*n, -2*x = 2*n - 232. Does 11 divide x?
True
Let m(j) = j**3 + 64*j**2 - 109*j - 788. Does 28 divide m(-65)?
True
Let c(g) be the third derivative of 5/24*g**4 + 0*g + 0 + 1/60*g**5 - 7/3*g**3 - 4*g**2. Is 28 a factor of c(-13)?
False
Suppose -5*l - 11*l + 5174 - 1590 = 0. Is 16 a factor of l?
True
Suppose -74*o = 2*r - 79*o - 35852, r - 17922 = 3*o. Is r a multiple of 99?
False
Let p = -6636 - -8946. Is p a multiple of 21?
True
Suppose o - 500 = 5*o. Let z be (5/1 - -1)/((-93)/3410). Let p = o - z. Is p a multiple of 19?
True
Suppose 383*s - 382*s + 4*f - 5052 = 0, -24 = -4*f. Is 6 a factor of s?
True
Let y(s) = -6*s + 85. Let k be y(14). Is 7 a factor of 5/5 + 596/k?
False
Suppose 74*r - 44*r = 27240. Let a = r + 321. Is 26 a factor of a?
False
Is (-210)/(5 - (-1503)/(-297)) a multiple of 99?
True
Let d(b) = -b**3 - 27*b**2 + 29*b + 23. Let j be d(-28). Is 13 a factor of (-2)/7*(-3526 - j)?
False
Let m = -70 - -72. Suppose 2*u = -5*h - m*u + 230, -2*h - u = -92. Suppose h = x - 221. Is 50 a factor of x?
False
Let g(t) = -5*t**2 - 67*t - 18. Suppose -y - 12 = -0. Is g(y) a multiple of 6?
True
Suppose 375 = 4*l - w, l - 2*w = -49 + 141. Let i = l - 64. Does 15 divide i?
True
Let w(a) = 39*a**3 - 2*a**2 - 9*a - 14. Let k be w(-3). Is 11 a factor of 3/(-18) + 1/((-12)/k)?
True
Let p(u) be the second derivative of -u**3 - 19*u**2/2 + 18*u. Let l be p(-4). Suppose 0 = -9*d - l*d + 1470. Is 15 a factor of d?
True
Suppose 495 = 3*v + 8*v. Let n(i) = 77*i**2 + v - 150*i**2 + 10*i + 74*i**2. Does 36 divide n(-19)?
True
Let v = -13 + 13. Suppose -3*i + 113 + 16 = v. Let k = i + -16. Does 5 divide k?
False
Suppose 0 = -4*c - 32 + 208. Let g be (-7)/(-4) + 11/c. Suppose -4*n - g*o = -n - 50, 4*o - 72 = -4*n. Is n a multiple of 4?
False
Let d(a) = -10*a**2 + 6*a - 4. Let w be d(2). Let x = w + 65. Let t = x - -177. Is 10 a factor of t?
True
Let f(d) = -5*d + 2. Let t(m) = 6*m - 3. Let i(g) = -7*f(g) - 6*t(g). Let s be i(4). Suppose 5*j + 343 = 4*b, s = -b - 4*j + 27 + 43. Is 22 a factor of b?
False
Let k = -64 + 898. Suppose -6*i - 3*v + k = 0, -4*i + 4*v = -0*v - 568. Does 10 divide i?
True
Does 20 divide 1 - (-19886 + 18 + -25)?
False
Let r be (-14)/98 + (-57)/(-7). Suppose r*q - 64 + 16 = 0. Suppose q*g = -21 + 465. Does 17 divide g?
False
Suppose 11*o - 5*o = 18. Suppose -455 = -o*d + 25. Let b = d + -70. Does 9 divide b?
True
Suppose -5*l = -9 - 176. Let j = l + -35. Suppose -4*z = -j*z - 386. Does 32 divide z?
False
Suppose -9*b = -20*b + 253. Let a(o) = o**2 + 2*o - 95. Does 30 divide a(b)?
True
Let a(s) = -s - 14. Let r be a(-17). Suppose 812 = 5*k - k - 5*d, -r*d = 5*k - 1052. Is 16 a factor of k?
True
Let v = 130 - -90. Suppose 4*y = 6*y + v. Let f = y + 244. Is f a multiple of 31?
False
Suppose -24*o + 17*o + 49 = 0. Is 11 a factor of ((-50184)/(-340))/(-1 + o/5)?
False
Let k = 53 + -42. Suppose -8*p + k*p = -417. Is p/(-2) + (-7)/(-14) a multiple of 16?
False
Suppose 2*r + i - 7620 = r, -r + 7626 = 2*i. Is 47 a factor of r?
True
Let l = 5920 - -7008. Is l a multiple of 16?
True
Let r be (-263)/(8/20 - (-14)/(-10)). Let j = -86 + r. Is j a multiple of 24?
False
Let q = 724 - 146. Suppose j - q = 4*x, -2*j + 586 + 505 = 5*x. Is j a multiple of 34?
False
Let k = 42270 + -28470. Is 25 a factor of k?
True
Suppose 5*x = -2*z + 11, 3*x = 4*z - 8*z + 1. Let n(h) = h**2 - 8*h + 17. Let t be n(x). Suppose -3*j + 438 = -3*l, t*l = -4*j - 244 + 834. Does 11 divide j?
False
Let f(r) = 2*r**3 + 57*r**2 + 70*r - 12. Does 4 divide f(-26)?
True
Does 30 divide 12317 - (-43)/(903/420)?
False
Let d(l) = 179*l**2 - l - 1. Let p be d(-1). Suppose -p = -3*a + 16. Suppose -5 = 5*o - a. Is o a multiple of 12?
True
Suppose 5*g - 1276 = 3*t - 0*t, 4 = 2*g. Let d = t - -632. Suppose -2*k - 4*o = 3*k - d, k - 5*o = 13. Is k a multiple of 9?
False
Let d = 6 + -2. Suppose d*k - 3*i = 89, 1 = k - 4*i - 5. Is 4 a factor of (k/(-4) - -5)/((-3)/58)?
False
Let q be ((-4)/8)/((-349)/174 + 2). Suppose t - 6 = -z + q, -t + 4*z + 68 = 0. Suppose 4*h - t = -4*f, -h - 3 = -3*f - 17. Does 4 divide h?
True
Suppose 38*n - 63672 = 103680. Does 128 divide n?
False
Let v(q) = -q - 7. Let y be v(-20). Suppose -g = -2*u + y, 5*u + 17 = g + 51. Does 6 divide u?
False
Suppose 2*k + 4*k = 0. Suppose 28 = q + 4*p, -8*p + 88 = 4*q - 4*p. Let o = k + q. Is 20 a factor of o?
True
Suppose 645 =