-2 - a/(-6)). Suppose -52 = -m + 3*c, q*m - c - 236 = -64. Does 4 divide m?
False
Let y(f) be the third derivative of -f**4/6 + 55*f**3/3 - 163*f**2. Is y(-30) a multiple of 23?
True
Suppose j = 4*f - 4859 + 29467, j - 24616 = 5*f. Is 23 a factor of j?
False
Let p be (-9)/(9/(-10)) - -5. Let j = 49 + p. Is j a multiple of 10?
False
Let g(p) = 84*p**2 - 275*p - 1979. Is g(-7) a multiple of 25?
False
Suppose -20908 = -18*m + 32948. Is m a multiple of 14?
False
Suppose -2*y + 4*p = y - 27, 2 = -2*y - 4*p. Suppose y*r - 80 = 4*u + 3*r, -4*r = 3*u + 82. Let c = 46 + u. Is c even?
True
Is -17 + (-11 - -33) - 32920/(-2) a multiple of 34?
False
Is 6 a factor of 146444/558 + 12/(-27)?
False
Let q(y) = 38*y**2 - 8*y - 2. Let u be q(7). Suppose 5*k + 3*m = 2*m + 1802, u = 5*k + 2*m. Is 45 a factor of k?
True
Let q(w) = 4*w - 3. Let s = 27 + -24. Suppose 2*x + 2*k - 12 = s*k, -3*x + 18 = 2*k. Is 7 a factor of q(x)?
True
Does 4 divide 5188/7 + (-2440)/2135?
True
Let v be ((-2)/8)/((-2)/328). Suppose -s - 3*s + 48 = 3*y, s + y - 13 = 0. Let l = v - s. Does 4 divide l?
True
Let l(i) be the second derivative of -i**5/10 - 5*i**4/12 - 5*i**3/6 - 5*i**2/2 + 84*i. Is l(-3) a multiple of 5?
False
Let j be 12/4 + -3 + (1 - -1). Let m(c) = -8 + 18 + 5*c**2 + j*c**3 - 5*c - c**3. Is 14 a factor of m(-5)?
False
Let t(u) = u**3 + 4*u**2 + u - 6. Let x(v) = -2*v**3 - 4*v**2 - 2*v + 5. Let l(k) = 4*t(k) + 3*x(k). Is 29 a factor of l(-3)?
True
Suppose 4*f - 2*k = -k + 10, -k = 2*f - 8. Suppose f*s - 11 = -4*l + 11, -s + 29 = -3*l. Is 11 a factor of s?
False
Let f = 6512 + -2307. Is ((f + 3)/4)/4 a multiple of 30?
False
Let o(z) = -2*z**3 + 29*z**2 + 56*z + 29. Let d be ((-2)/6)/((-4)/180). Does 14 divide o(d)?
True
Let b be 10 - 2/4*(-7 + 13). Suppose 0 = 3*h - b*h + 12. Suppose -2*s + 40 = 4*z - 3*z, -4*z + h*s = -204. Is 29 a factor of z?
False
Let d = 339 - 554. Let v = 348 + d. Does 7 divide v?
True
Suppose t = 2*s + 8, -31*s + 27*s = 16. Suppose t*i - 3*i - c = -2019, -5*c = 3*i - 2031. Does 31 divide i?
False
Suppose -5*r = -2*d - d + 27, -2*r = 6. Is 24 a factor of (58/(-3) - 6)/(d/(-72))?
True
Let z(u) = u**3 - 9*u**2 + 3*u - 23. Let g be z(9). Does 22 divide 6 + -1 - 965/((-20)/g)?
True
Is (-10400)/(-4) - (-196)/(-49) a multiple of 23?
False
Suppose -3*q + 19 - 31 = 0. Is 4 a factor of -6 + (-40)/q - (1 - 1)?
True
Let g(k) = -k**2 + 8*k + 138. Let l be g(-17). Let u = -255 - l. Is 32 a factor of u?
True
Let j = -142 + 407. Suppose 3*y = 4*l + j, -4*y + 84 + 256 = -2*l. Is y a multiple of 7?
False
Let w be (-16)/8 - (386 - 0). Let b be 2/9 - (7 - w/(-36)). Suppose -b*s = -5*f - 394, -s + 2*f + 105 = 4*f. Is 10 a factor of s?
False
Let f(n) be the second derivative of 1/12*n**4 + 0 + 5/6*n**3 + 12*n**2 + 11*n. Does 41 divide f(16)?
False
Suppose -457 - 201 = -14*c. Let n = -174 - -298. Suppose 4*f - 307 = 5*k - c, -4*k = -2*f + n. Does 35 divide f?
True
Let v(s) be the first derivative of -s**2/2 + 20*s - 2. Let h(n) = -5*n + 197. Let l be h(37). Does 2 divide v(l)?
True
Let o(h) = h**2 - 11*h + 13. Suppose 0 = 4*c - 7 - 33. Let y be c/(-4)*224/(-35). Does 17 divide o(y)?
False
Let d(f) be the second derivative of -1/6*f**3 - 1/2*f**2 + 0 + 3/20*f**5 + 1/4*f**4 + 24*f. Is 4 a factor of d(1)?
True
Let y(z) be the second derivative of -z**5/5 - z**4/6 + z**3/6 - z - 291. Let v = 5 - 7. Is 11 a factor of y(v)?
True
Let n(s) = -518*s - 30. Does 29 divide n(-7)?
True
Is ((-4605)/(-4))/(537/2864) + 7 a multiple of 43?
False
Suppose 4*c + c + 4*p - 21 = 0, 0 = -c + 3*p + 8. Suppose 2*l = -s - 82 + 213, -c*s + 151 = 2*l. Is l a multiple of 3?
True
Let p = -2658 - -3898. Is p a multiple of 10?
True
Let h(q) = -q**2 - 8*q + 14. Let f(o) = 2*o**2 + 24*o - 42. Let u(i) = -2*f(i) - 7*h(i). Suppose s + 55*x = 54*x + 5, -3*s + 19 = 5*x. Does 9 divide u(s)?
False
Suppose -20*g + 16250 = -671 - 7479. Is 114 a factor of g?
False
Suppose 56*v - 3 = 57*v, 0 = 5*t + v - 26262. Is t a multiple of 18?
False
Let i(g) = 4*g**3 - 336*g**2 + 19*g - 116. Does 74 divide i(84)?
True
Let u = -3811 - -14199. Does 106 divide u?
True
Suppose -41*n + 44*n = -459. Let i = -76 - n. Is i a multiple of 7?
True
Let m(t) be the second derivative of t**3 - 10*t**2 - 7*t. Let d be 40/(-16)*(-7)/((-70)/(-24)). Is 16 a factor of m(d)?
True
Let y be 36/8*(-8)/3. Let m be 11 + -2 + y/3. Does 12 divide 759/m + 1/5?
False
Let p(o) = 36*o**2 - o + 9. Let c be p(6). Let t = 2769 - c. Is t a multiple of 21?
True
Let d = 64211 + -27360. Does 43 divide d?
True
Is (15824 - (3 + (-3 - 2))) + -3 a multiple of 124?
False
Suppose 159*g - 69258 = 142*g. Does 13 divide g?
False
Suppose 0 = 5*v - 6*v, 10 = 5*p - 2*v. Suppose -4 = -o, -p*q + 5*q - 835 = 2*o. Does 7 divide q?
False
Let r = 192 + -182. Suppose -3190 = -r*m - 0*m. Does 22 divide m?
False
Let l(f) = -2*f**3 + 33*f**2 - 13*f - 20. Let b(y) = -y**3 + 16*y**2 - 6*y - 9. Let o(u) = 13*b(u) - 6*l(u). Is o(7) a multiple of 10?
True
Let l(z) = -3*z**2 - 3*z + 50. Let c be l(5). Let w = c + 115. Is w a multiple of 19?
False
Let w(a) = 4*a**2 + 68*a - 1650. Is w(23) a multiple of 35?
True
Let s = 44417 + 38019. Does 74 divide s?
True
Let u(i) = -i**3 - 14*i**2 - 3*i - 9. Suppose -3*n + 9 = 0, -4*o - 2 - 1 = 3*n. Let x be o + (-44)/(4 + 0). Is 11 a factor of u(x)?
True
Let h be (-2)/(6/(-9))*-1. Suppose -d = -4*d, 0 = -2*y - 3*d - 6. Does 12 divide 26 - ((y - h) + 2)?
True
Suppose -3*z = -2*m - 23, -4*m - 32 = -4*z - 0*m. Let j = z - -18. Suppose -26 = -3*i + j. Is 2 a factor of i?
False
Suppose -64 = -5*u + 1. Suppose -32*r + 31*r = u. Is 9 a factor of r/(-11) + -1 + 97/11?
True
Let z = -438 + 435. Does 12 divide 3*(2 + -1) - (-546 + z)?
True
Suppose -5*s - m = -7037, 5*s = 5*m - 1724 + 8779. Does 16 divide s?
True
Let o = 1142 + -770. Let x = -264 + o. Suppose -4*a + 3*s + s = -x, 0 = -5*s. Does 4 divide a?
False
Let u(b) = -b + 8. Let q be u(-20). Suppose -26*x = -q*x + 90. Is x a multiple of 7?
False
Suppose 0 = 8*u + 5*i - 163454, -40862 = -99*u + 97*u - 2*i. Is u a multiple of 21?
True
Let u = 194 + -186. Suppose -2*n + 281 = -3*h, -4*n + 3*h = -u*n + 553. Does 11 divide n?
False
Let c(o) = 10162*o + 2069. Is 27 a factor of c(1)?
True
Let z = 166 + -161. Suppose 4*y - 2381 = -3*n - 255, 0 = -z*n - 2*y + 3562. Is 34 a factor of n?
True
Suppose 2*o - z + 96 = 0, -3*z - 155 = 4*o + 17. Is 4/o - (32300/(-92) - 1) a multiple of 11?
True
Let z be ((-13)/(-5) - -1)/((-27)/(-90)). Let r(u) = 7*u**2 - 17*u + 188. Does 62 divide r(z)?
True
Let q(h) = -4*h - 30. Let c(s) = s**3 - s**2 - 5*s + 4. Let r be c(2). Let g be (150/(-45))/(r/(-6)). Does 4 divide q(g)?
False
Suppose 6052 = 5*t + k, -177 + 3797 = 3*t - 5*k. Is t a multiple of 56?
False
Let z(s) = 7*s**2 + 4*s. Let b = 19 - 15. Does 32 divide z(b)?
True
Let n be (-15 - -14)/((-2)/54). Is 26 a factor of (-22)/(-99) - (-3)/(n/340)?
False
Suppose -6*j = -4*z - 7*j + 24803, -5*z = -2*j - 30994. Is z a multiple of 20?
True
Let c(p) = -p**2 + 15*p - 21. Let b be c(-7). Let l = 39 - b. Does 11 divide l?
False
Suppose f - 3*t = 16, -2 = -t - 6. Let b be (0 + 0)/(f - 5) - -73. Let g = -11 + b. Is g a multiple of 33?
False
Let y(p) = 2*p**3 + 16*p**2 + 6*p + 2. Suppose 0 = 5*v - c + 8, 4*c = -0*v - 5*v - 18. Is 5 a factor of y(v)?
False
Let y(r) be the first derivative of -5*r**2/2 - 20*r + 15. Let w be y(-4). Suppose 2*d - 7*d + 460 = w. Is d a multiple of 14?
False
Suppose 15*n = -9638 + 58238. Suppose -28*k + 4*k = -n. Does 9 divide k?
True
Suppose 0 = k + 4*k + 5*g - 870, 3*k - 5*g - 538 = 0. Suppose 70*p - k = 66*p. Suppose -p*s - 144 = -45*s. Is s a multiple of 48?
True
Let p = 198 + 55. Suppose -328 = -2*n + 4*o, -3*o - 398 = -4*n + p. Is n a multiple of 33?
False
Let y(f) = -f**2 - 16*f - 9. Let b be 6/(-8) + 228/(-16). Let x be y(b). Suppose -k - 75 = -x*k. Is k even?
False
Suppose y - 9*y + 80 = 0. Suppose -o + 3*o - y = 0. Suppose o*f = f + 504. Is 14 a factor of f?
True
Is 78 a factor of (-5617)/(-4) + (60/(-32))/15*2?
True
Let i be (28/4)/7*49. Suppose -18 = 3*q + l - 86, -2*q = -3*l - i. Does 2 divide q?
False
Suppose 0 = -2*n - 2*f + 13088, 4*n - 190*f + 186*f = 26112. Is n a multiple of 5?
False
Let h(b) = -5*b**3 + b**2 + 7*b - 5. Let w be h(3). Let d = w - -198. Suppose -4*i + 4*m = -d, 8*i = 4*i - m + 113. D