actor of z(b)?
False
Let o(h) = -14*h**2 + 38*h + 8. Let l(m) = 27*m**2 - 75*m - 17. Let q(y) = 6*l(y) + 11*o(y). Let f(u) be the first derivative of q(u). Is f(3) a multiple of 6?
False
Suppose -2*j = -k - k - 3874, -2*j - 5*k + 3902 = 0. Does 2 divide j?
False
Let s = 1019 - -181. Is 60 a factor of s?
True
Let q be 0 - 88/(-20) - 12/30. Let z(w) = 5*w**3 - 6*w**2 + 2*w - 16. Is z(q) a multiple of 9?
True
Suppose -532 = 11*c - 15*c. Let p = 583 + c. Does 27 divide p?
False
Let i = -3859 + 6901. Does 78 divide i?
True
Let f be (0 - 2/12)/((-2)/2004). Let w = 520 + f. Is w a multiple of 5?
False
Let y = 95 - 96. Is (12/(-2) - y) + 35 + -3 a multiple of 5?
False
Let j be (1480/100)/((-4)/(-10)). Suppose 10776 = j*p - 13*p. Is 13 a factor of p?
False
Let v(d) = 2*d**2 - 4*d + 438. Is 12 a factor of v(-37)?
True
Suppose 4*u = u - 12. Let w be -5*(-9)/(-225) - 158/10. Is (200/w)/(((-6)/u)/(-3)) a multiple of 8?
False
Let a(z) = 2*z**3 + 10*z**2 - z - 155. Is 15 a factor of a(25)?
True
Suppose 5*a - 47 + 2 = 0. Suppose 5*m = a*m - 36. Is m a multiple of 6?
False
Let x(w) = w**3 + 9*w**2 - 7*w - 80. Let s be x(-8). Suppose -20*a = -420 - s. Is a even?
False
Let y = -53 - -47. Let o(c) = 14*c**2 - 7*c - 25. Is o(y) a multiple of 15?
False
Suppose 0 = 14*z - 19*z - 20. Does 11 divide 88*((-17 + -1)*1)/z?
True
Let o = 7 + -4. Suppose -o*r + 28 = -t, r + 33 = -t + 5*r. Is 3 a factor of (0 + -1)/(t/351)?
True
Suppose 0 = -i - 5*u - 21 + 9, -4*i = -4*u + 24. Is 6 a factor of (i - (-64)/8) + 319?
False
Let i(r) = 3*r**2 - 60*r - 297. Is i(30) a multiple of 67?
True
Let k(u) = u**3 - 12*u**2 + 6*u + 7. Let t be k(11). Does 17 divide 1832/6 + (-32)/t?
True
Suppose 0 = -m - 5*i - 8, -4*m + 170 = -9*m + i. Let y = m + 80. Let n = y + -36. Is n a multiple of 3?
False
Let x be (2475/(-2) - -1) + (-159)/(-106). Does 17 divide (8/(-5))/(38/x)?
False
Let m(u) = u**3 + 9*u**2 - 12*u - 19. Let h be m(-10). Let s be 62/(h/(3/(-6))). Let t = -14 - s. Is t a multiple of 5?
False
Suppose 0 = -4*o - 9*w + 5*w - 28, -2*w + 14 = -2*o. Let j(m) = m**3 + 12*m**2 + 14*m + 10. Let g be j(o). Let t = g + -42. Does 50 divide t?
False
Suppose 10 = -2*y + 16. Suppose -5*s + 272 = h, -s + 50 = -y*h + h. Let n = 82 - s. Does 4 divide n?
True
Suppose 5665 = 6*z + r, -3*z + 3216 - 379 = 5*r. Is z a multiple of 8?
True
Suppose g - 330 = -4*g. Suppose 0 = -n + g - 19. Suppose y - n = 52. Is y a multiple of 33?
True
Let a(i) = i**3 + 10*i**2 - 23*i - 14. Let s be a(-12). Let o(z) = 9*z - 14. Let b(g) = 21*g - 29. Let h(u) = 4*b(u) - 10*o(u). Is h(s) a multiple of 30?
True
Let c(k) = 378*k**2 + 73*k + 1314. Does 15 divide c(-14)?
False
Let b(q) = q**2 - 8*q + 30. Suppose -14 + 63 = 7*a. Let h be b(a). Suppose -4*t - 7 = -h. Is t a multiple of 3?
False
Let j(o) = -6*o - 7*o + 11*o - 17. Let k be j(-16). Is (-5)/k - 97/(-3) a multiple of 18?
False
Suppose 2*r = 5*m + 970 + 1213, -5500 = -5*r + 4*m. Suppose w + 4*y - r = -w, -2*y = -3*w + 1688. Does 70 divide w?
True
Let a = -2751 + 3760. Is a a multiple of 69?
False
Let n = 867 + -467. Suppose 11*m - n = 447. Does 10 divide m?
False
Suppose -2*y + 86 = 5*f, -f + 10 = 2*y - 12. Let c(x) = -2*x + 36. Let g be c(f). Does 23 divide (-258)/((-8)/(g - 0))?
False
Let g = 362 + 52. Suppose 0 = 2*d - j - 1 - 8, j = -d. Suppose -5*a = 3*t - g, -2*a - d*t + 83 = -88. Does 13 divide a?
False
Let v be (117/(-135) - (-1)/(-3))/(12/(-30)). Let y be (-1 + -37)*2*-3. Is 7 a factor of (2 + v)*y/10?
False
Let d(o) = -o**3 - 8*o**2 + 8*o + 4. Let a be d(-9). Suppose 19*n - 12 = a*n. Let l = 68 + n. Does 14 divide l?
True
Suppose 6 = 7*d - 15. Suppose -t - 19 = -d*s, 4*s + 5*t - 6*t = 24. Suppose 0 = -s*u - 2*z + 247, u - 2*u + 5*z + 71 = 0. Does 17 divide u?
True
Let t = 10311 - 5930. Does 82 divide t?
False
Let y = 29293 + -9397. Is y a multiple of 48?
False
Is 11 a factor of ((-17)/(-68))/(3/4)*8025?
False
Let h(f) be the third derivative of 77*f**4/12 - 91*f**3/6 - 14*f**2 - 5*f. Is 7 a factor of h(5)?
True
Let c be (1 + 0)/(((-70)/(-133))/10). Suppose 25*l - c*l = 1788. Does 15 divide l?
False
Let g(a) = 39 - 124 - 249*a**2 - 19*a + 251*a**2. Is 31 a factor of g(22)?
True
Let r = -5312 + 11774. Is 14 a factor of r?
False
Let m = 3202 - -1650. Does 5 divide m?
False
Suppose 12*o - 930 + 150 = 0. Suppose -288 = -o*w + 56*w. Is 16 a factor of w?
True
Let o(v) = -2*v**3 + 11*v**2 + 3*v - 11. Is 8 a factor of o(-12)?
False
Let b = 28612 + -16695. Does 17 divide b?
True
Suppose 4*g = 8, 3*b - 148 = -5*g + 9*g. Suppose -43*y + b*y = 396. Is y a multiple of 11?
True
Does 5 divide (-1 + -2)*(-2456)/27 - (-9)/81?
False
Let g(u) = u + 5904 - 11785 + 5922. Suppose 2*l - 10 = y + 15, 2*y - 2*l + 42 = 0. Is g(y) a multiple of 6?
True
Let a(x) = x**3 - 4*x**2 - 4*x + 8. Let m(o) = 8*o**3 - 3*o**2 + 3*o - 2. Let j be m(1). Let h be a(j). Suppose 3*u - 4 = h. Is u a multiple of 5?
True
Let y(f) = 147*f**2 - 11*f - 8. Let j be y(-5). Suppose 7*t = 4041 + j. Does 19 divide t?
False
Let b(j) = -4*j - 16. Let p be b(-5). Suppose -3*i + 0*d + 9 = 4*d, 12 = p*d. Does 26 divide 4/((-2)/i + (-1008)/511)?
False
Does 146 divide (6 - (-1 + 2))/((-5)/(-502))?
False
Suppose 59*v - 87*v = -79*v + 24276. Is 12 a factor of v?
False
Let g = 8163 + -3723. Suppose 5*x = -5*l + 4440, -16*l + 11*l = 3*x - g. Does 24 divide l?
True
Is 16 a factor of -63 + 943 + (3 - 3)?
True
Suppose -23*f + 25*f = 230. Suppose 0 = 43*h - 44*h + f. Is h a multiple of 4?
False
Suppose -s + 45 = -430 - 922. Is s a multiple of 44?
False
Suppose -55*j + 21521 = -88534. Does 8 divide j?
False
Let i(l) = l**3 - 7*l - 28 + 6*l**2 - 17*l**2 + 0*l. Let u = 5684 - 5672. Is 8 a factor of i(u)?
True
Is 17 a factor of 1020/(-238)*1428/(-5)?
True
Suppose -72 = 5*f + 83. Let b = 83 + f. Suppose -b + 14 = -u. Is u a multiple of 7?
False
Let x(o) = o**3 + o + 1240. Let i be x(0). Suppose -s - 4*s + 5*r = -i, -3*r - 258 = -s. Does 30 divide s?
False
Suppose 0 = -2*p + 5*k + 13351, 83*p - 2*k = 81*p + 13360. Is 41 a factor of p?
True
Let d(q) = 2 + q**2 - 10*q**3 + 10*q**3 - 11*q**3 + 2*q. Let i be d(-1). Suppose 8*x - i*x + 176 = 0. Is x a multiple of 22?
True
Let g = 238 - 222. Suppose 13 = -2*r + 5*p, -r + 2*p = 4*p - g. Is 3 a factor of r?
True
Let z = -74 + 71. Let y be 2 - (z + -1 + -10). Suppose y*x = 578 - 162. Is 13 a factor of x?
True
Suppose -740 = -2*r - 4*x, -98*r + 100*r + 5*x - 736 = 0. Does 63 divide r?
True
Let z(v) = 132*v - 14. Let f = 181 - 176. Is 17 a factor of z(f)?
True
Let x(b) = b**2 - 6*b + 9. Let f be x(3). Suppose f = -5*v + 4*v - 2*k + 78, 0 = v + 4*k - 82. Let w = v - 25. Is w a multiple of 12?
False
Does 28 divide (-6)/16 + (-247995)/(-72)?
True
Suppose 4*v - 1474 = -i + 10564, 0 = -5*v - 4*i + 15064. Is 35 a factor of v?
False
Let t(y) = -y**3 + 17*y**2 + 20*y + 425. Is t(-13) a multiple of 5?
True
Let i = 71 + -97. Let z(w) = 7. Let o(v) = v - 27. Let b(a) = i*z(a) - 6*o(a). Does 14 divide b(-8)?
True
Suppose n - 5*y - 532 = 0, 228 = 2*n - 3*y - 857. Let c = 937 - n. Is 13 a factor of c?
True
Let s(j) = 53*j**2 - 42*j - 291. Is s(-7) a multiple of 65?
True
Let q = -234 + 51. Let j = q - -396. Is 27 a factor of j?
False
Suppose -38*i = -43*i + 5. Suppose -3*z = 4 - i, -5*z = -2*g + 15. Suppose 956 = 3*n + j, -5*j = -n + g*n - 1282. Does 53 divide n?
True
Suppose -2759 = -d - 9*o, 5*d + 3*o - 17858 = -3937. Is d a multiple of 12?
False
Let s = 66 + -57. Suppose 6*q - 4*f - s = q, -3*q - 3*f = -27. Suppose j = -3*a + 63, -q*a + 5*j = -a - 84. Is 7 a factor of a?
True
Let y be (-5039)/5 - (1 - -4)/25. Does 12 divide (-5210)/(-22) - (y/99 + 10)?
False
Let m be 16/(3*(-7)/((-6342)/4)). Suppose 5*c - 4*d - 1073 = m, 2*c - 3*d - 911 = 0. Is c a multiple of 10?
False
Suppose 0 = 237*q + 125*q - 15663592 + 2931328. Does 12 divide q?
True
Let p be (48/78)/(-4) - (-256)/(-26). Is 18/15*p/4*-6 a multiple of 9?
True
Suppose 4*r - 1 = 7. Is 16 a factor of r/4*(9 + -9 + 94)?
False
Suppose -5*q - 11*q = -64. Suppose 5*g - 1820 = -q*p, -21 = -4*p - 1. Is g a multiple of 15?
True
Suppose -2*f + 1581 = -5*u, -5*u + 4069 = 4*f + 892. Suppose -8 = -4*c - 5*r + f, 2*r + 378 = 2*c. Let h = -124 + c. Is 10 a factor of h?
True
Let o = 22837 + -11542. Does 45 divide o?
True
Let y(d) = -8*d - 2. Let s = 12 - 17. Let n be 