) = -49*y + 1. Let m be f(-1). Let d(v) = 50 - m - 21*v. Does 16 divide d(-3)?
False
Let w(q) = -q**3 - 17*q**2 - 45*q - 34. Is w(-17) a multiple of 43?
True
Let s(t) = -2*t**2 - t + 5. Let k(n) = 5*n**2 + 2*n - 11. Let x(d) = 4*k(d) + 9*s(d). Is x(8) a multiple of 44?
False
Suppose 2*h + 109 - 12 = 3*m, 3*h = -4*m + 118. Let x = m - 25. Is 4 a factor of x?
False
Let k be (-138)/33 + (-10)/(-55). Let b be -3*k/4 + 549. Is (4/8)/(3/b) a multiple of 21?
False
Let f be (-5)/10 - 186/4*3. Let p = f - -265. Is 15 a factor of p?
False
Suppose -7*k + 0*k + 294 = 0. Does 11 divide k?
False
Let i(p) be the second derivative of 4*p**3/3 + 3*p**2 - 2*p. Let d be i(4). Suppose -3*f + d = 2*f - s, -5*f = 3*s - 46. Is f a multiple of 2?
True
Let k(f) = -f**3 - f**2 + 10*f - 19. Let a be k(4). Is 9 a factor of 6 - 2 - (0 + a)?
True
Let r be 27/12 + (-2)/8. Let j = -6 + r. Is 128/80 + j/(-10) even?
True
Suppose -m + 39 = 3*a - 162, -3*a = 3*m - 195. Suppose 3*y - 16 = a. Is 8 a factor of y?
False
Suppose r + 125 = 127. Is (1 - 0) + (2 - -275 - r) a multiple of 46?
True
Suppose o = 6*k - 4*k + 90, -3*k = -15. Suppose 27 = 2*r + 5*d - 8, -2*d + 10 = 0. Suppose -5*a = 0, 2*a - 85 = -r*x + o. Is 8 a factor of x?
False
Let t(f) be the second derivative of 0 - 11/12*f**4 + 3*f**2 + 1/20*f**5 - 11/6*f**3 - f. Does 6 divide t(12)?
True
Let g be (123/(-5))/3*-5. Suppose -4*m - 4*f + 11 + 5 = 0, 3*m - f - 4 = 0. Suppose 0 = -2*j - 3*i + 23, -m*i - 3*i = 4*j - g. Is j a multiple of 4?
True
Let t = -5139 + 7536. Does 25 divide t?
False
Suppose -26*t + 1260 = -20*t. Is t a multiple of 14?
True
Let o(i) = -i**3 - 15*i**2 + 6*i - 12. Let c be o(-15). Let u = c + 270. Does 29 divide u?
False
Let r = 3279 + -1930. Is 19 a factor of r?
True
Is (9 - 9)/8 - -738 a multiple of 3?
True
Suppose 11*y - 8*y = 63. Suppose -235 = -q + 5*m, -256 + y = -q - m. Does 41 divide q?
False
Suppose -8*h + 406 = -3*h - 4*y, -5*y - 410 = -5*h. Let w be (-2)/8*2*-4. Suppose 3*g + 34 = w*q, 5*q - 2*g - 2*g = h. Does 5 divide q?
False
Suppose 2*k - 26 - 7 = n, -3*k + 4*n = -62. Is k a multiple of 3?
False
Let y be 4/12 - 10/45*-219. Suppose 0 = 4*l - 277 + y. Does 6 divide l?
False
Let c(w) = -2*w + 35. Let i(z) = z - 9. Let x = 22 + -13. Let y be i(x). Does 19 divide c(y)?
False
Let j(t) = -t**2 + 35*t - 27. Is 7 a factor of j(16)?
False
Let u(t) = -t**3 - 12*t**2 - 2*t - 31. Is 10 a factor of u(-13)?
False
Let r be (-7 + 107)*1/(-5)*-4. Let w = 125 - r. Is w a multiple of 13?
False
Does 17 divide 11/22 - 4977/(-6)?
False
Let l(j) = -2*j**3 - 48*j**2 - 90*j + 16. Is 6 a factor of l(-22)?
True
Let c(p) = 2*p**2 - 13*p - 14. Let k be c(8). Let h(s) = -s**3 + 11*s**2 - 20. Is h(k) a multiple of 40?
True
Let i = -1362 + 2336. Is i a multiple of 84?
False
Let u(b) be the third derivative of 22*b**5/15 + b**4/12 + b**3/3 - 14*b**2. Does 8 divide u(-1)?
True
Let w = 109 - -30. Suppose w + 389 = 6*k. Does 23 divide k?
False
Suppose -4*s + 7339 = 5*d + 2328, -2*d - 4*s = -2014. Is 27 a factor of d?
True
Suppose -7*z = -10*z + 6. Suppose 4*s = -z*i + 6*s + 208, s + 3 = 0. Let r = 150 - i. Is 7 a factor of r?
True
Let b = 5 + 0. Suppose b*i - 18 = -3*g + 2*g, 0 = -4*i - 4*g + 24. Does 4 divide 5 - i*2/6?
True
Suppose -6*u - 13*u = -7144. Is u a multiple of 8?
True
Let z(c) = c**3 - c**2 - c + 2. Let a be z(2). Suppose a*u - 3*v = 82, 3*u - v = -u + 78. Let j = u + 39. Is j a multiple of 29?
True
Let o be (-35)/15*(-60)/70. Let s = 134 + -91. Suppose -u = -4*l + 7 + 2, 3*u = -o*l + s. Is 5 a factor of u?
False
Let o be 6 + 98 - 6/2. Suppose j - o = 38. Does 38 divide j?
False
Suppose 0 = 2*r - 4*u - 151 - 103, -5*u + 508 = 4*r. Suppose 4*q + 25 = -q, 4*s - 3*q = r. Suppose -s = -2*w + 10. Is 11 a factor of w?
False
Suppose -4*l - 10 = -2, -3*w - l + 7 = 0. Let x(b) = -9*b**3 - b**w + 0*b + b + 1 + b. Does 2 divide x(-1)?
False
Let i = 12 + 9. Does 9 divide i/(-35) - (-669)/15?
False
Let y(u) = 3*u**2 - 2*u + 1. Let p be y(1). Suppose 0 + p = f. Is ((-60)/(-18))/(f/36) a multiple of 16?
False
Let m = -46 - -36. Let f = -4 - m. Suppose l - 11 - f = 0. Is l a multiple of 16?
False
Let z = 1527 - 438. Is z a multiple of 99?
True
Suppose -2*j + 0*j + 2 = -z, 3*z = 4*j. Suppose 8*u = 5*o + j*u - 15, 1 = -u. Suppose -2*r = q - 13 + 3, -3*q + o*r = -62. Is q a multiple of 6?
True
Let k = -245 - -495. Suppose 6*q - k = q. Is q a multiple of 10?
True
Let a(c) be the first derivative of c**2 + 5*c + 14. Let p be a(-7). Let n = p + 93. Does 28 divide n?
True
Let q(z) = -z**3 - 3*z**2 - 3*z + 2. Is q(-8) a multiple of 16?
False
Let l(u) = 7*u**3 - 7*u**2 + 10*u. Is l(3) a multiple of 4?
True
Let q(v) = v**3 - 30*v**2 + 39*v + 121. Is q(30) a multiple of 79?
False
Suppose 0*x - 2*x = -3*m - 269, -x - 98 = m. Let b = m + 137. Is b a multiple of 22?
True
Let g = 84 + -149. Let y = 82 + g. Does 13 divide y?
False
Let d = -157 - -353. Is 14 a factor of d?
True
Suppose 14*p = 9*p - 95. Let c = -16 - p. Suppose c*f - 2*o = 5*f - 40, o = -3*f + 60. Is f a multiple of 20?
True
Let q = -798 + 1491. Is 9 a factor of q?
True
Let a = 404 + -200. Suppose y + y = a. Does 17 divide y?
True
Suppose 2*m - 385 = 189. Suppose 371 + m = 14*d. Is 14 a factor of d?
False
Let j = 184 - 51. Let n = j - 82. Is 25 a factor of n - 3/(2 - 1)?
False
Is (4800/(-56))/10*-154 a multiple of 30?
True
Is 15 a factor of 16800/64*12/10?
True
Let h(b) = 16*b**2 - 8*b - 4. Does 22 divide h(4)?
True
Let h be (24/(-36))/(2758/(-1380) - -2). Is (6 - h/(-75)) + (-3767)/(-15) a multiple of 36?
False
Suppose 5*v - 930 = -b, -155*b - 4*v = -157*b + 1916. Is 10 a factor of b?
True
Suppose 0 = k + 4*k. Suppose 0 = -k*p + 6*p - 576. Suppose 2*r - 5*b - 39 = 0, p = 4*r + 2*b - 6*b. Is r a multiple of 5?
False
Suppose 5*l + 6840 = 20*l. Is l a multiple of 76?
True
Let m = 837 + -575. Suppose 2*j + 10 = 4*j. Suppose m - 42 = j*c. Is 9 a factor of c?
False
Suppose 8*c = 6 - 14. Let j(p) = -12*p**3 - 1 + 11*p**3 + p**2 - 35*p**3 + p. Is 7 a factor of j(c)?
True
Suppose -3*o - 20 = -4*c - 8*o, -3*c + 5*o = -15. Suppose -5*n - 60 = -c*y - 545, 5*n - 520 = -2*y. Does 34 divide n?
True
Let a be ((-30)/(-4))/(9/12). Suppose 528 - a = 7*z. Is 16 a factor of z?
False
Let v = -1 - -6. Suppose 5*a = 3*y + 17, -a - 3 = -2*y - v. Let f(x) = 7*x + 10. Is f(a) a multiple of 19?
True
Suppose 0*l - 2*t + 2 = -l, 3*l + 4*t = 14. Let x(r) = r - 2 - 3*r**2 - 1 + r + 8*r**3. Is x(l) a multiple of 17?
False
Suppose -s + 39 = 2*s. Suppose -c + 3*r = s - 5, -4*r + 27 = c. Let v = c - -11. Is v a multiple of 18?
True
Let d be 6/(-2) - (25 - 86). Is 20 a factor of 4/6*(d - -2)?
True
Is 56/196 + (-1 - 362/(-7)) a multiple of 17?
True
Let r(t) = -5*t**2 + 4*t - 9 - 6*t**2 + 2*t - t**3. Does 21 divide r(-12)?
True
Suppose 0 = 3*u - 4*u - 2. Is 20*(u - 7/(70/(-32))) a multiple of 4?
True
Suppose -1479 = 139*s - 142*s. Is s a multiple of 40?
False
Let v be 8*((-3)/(-12) - 1). Let b(o) = -o**2 - 9*o - 2. Let j be b(v). Suppose -19*h + 24 = -j*h. Does 5 divide h?
False
Let n = -48 - -318. Does 45 divide n?
True
Suppose -915*v = -919*v + 1584. Does 12 divide v?
True
Let y = -50 + 52. Suppose -487 = -y*z + 5*s, -2*z + s = -s - 472. Does 19 divide z?
False
Let r = -24 - -39. Is r a multiple of 7?
False
Let c(b) = -7*b**3 + 3*b**2 + b - 3. Is 9 a factor of c(-2)?
True
Let k = 2421 + -1725. Is 24 a factor of k?
True
Does 14 divide 4333/(-14)*(-3 - -1)?
False
Let t = -140 + 330. Does 5 divide t?
True
Suppose 0 = 2*f - 4*q - 12, -3*f - 3*q = -0*q - 9. Suppose -38 = -c - 2*m + 3*m, -f*c + 155 = -m. Is c a multiple of 39?
True
Suppose 20*y = 24*y - 264. Is 4 a factor of y?
False
Let i(y) = -12 + 17 - 7*y - 4. Let b be i(-3). Let h = b - 5. Is h a multiple of 2?
False
Suppose 296*l - 181 = 295*l. Is l a multiple of 11?
False
Let h = 161 + 98. Is h a multiple of 37?
True
Let p(v) = -v**2 - 10*v - 16. Suppose 11 = -7*w - 38. Let n be p(w). Suppose -5*b + 414 = -3*r + 4*r, -2*r - 417 = -n*b. Is 27 a factor of b?
False
Let q(n) = -9*n**3 + 2*n + 1. Let l be q(-1). Suppose 3*y = 46 + l. Is 3 a factor of y?
True
Let u(z) = z**2 + 2*z - 3. Let f be u(3). Let q(v) = v**2 - 13*v + 15. Let d be q(f). Suppose 26 = -2*s + d*s. Does 13 divide s?
True
Let w be 618/(-10) + (-2)/10. Let l = 13 - w. Is 20 a factor of l?
False
Su