**5/120 - 3*d**4/8 - 2*d**3/3 + 2*d**2. Let g(s) be the first derivative of p(s). Is g(9) a multiple of 21?
True
Is 21 a factor of 13077/15 - (-8)/40?
False
Suppose -r = 1, 0 = -u - 3*r - 0*r. Suppose -26 = -u*a - 2. Is 3 + (a - (-12)/4) a multiple of 14?
True
Let z be 1/(-1)*0/(-1). Let o be (-2)/(z/(-4) + -1). Suppose 0 = -2*p + k + 7, 2*k - o = 5*p - 21. Is p a multiple of 2?
False
Suppose 0 = -3*i, -4*g + 312*i + 588 = 310*i. Is g a multiple of 21?
True
Let r be -3*1/6*-12. Suppose v + 779 = r*v + 3*a, a + 613 = 4*v. Is v a multiple of 22?
True
Suppose 0 = 2*m + 2*m + 32. Let f(l) = l**2 + 8*l - 8. Let x be f(m). Let z = 13 + x. Is z a multiple of 5?
True
Suppose -3*z + 71 + 46 = 0. Let r = 5 + z. Does 13 divide 1309/r + 2/8?
False
Suppose 3*a = 2*a - 6. Let i = 9 + a. Suppose 114 = i*u - 3*n, 4*u = -n + 66 + 76. Is u a multiple of 11?
False
Is 17 a factor of -1 + 3 + -5 - (-554 - 10)?
True
Suppose 15 = 2*b + 5*i, 5*b + i = 2*i + 24. Suppose 0 = 2*f + n - 94, 5*f + b*n + 101 - 326 = 0. Is 15 a factor of f?
False
Let w be 2/(-8) + 519/12. Let d = w - -13. Does 13 divide d?
False
Let z = -30 + 30. Is 54 a factor of z - (-211 + -5)*1?
True
Suppose -2*n + 5*k = 1, 3*n - 2*k + 22 = 4. Let g be (-84)/n*(-10)/3. Is 9 a factor of (-1239)/g + 2/(-5)?
False
Suppose -6*k - 27 - 81 = 0. Let t(g) = g**3 + 18*g**2 - g - 2. Does 8 divide t(k)?
True
Suppose f + 4*j + 11 = 2*f, 0 = -2*j - 4. Suppose 0 = r + f*l - 13, 3*r + 0*l = 2*l + 50. Let u = 18 - r. Is u even?
True
Suppose 9 = -2*u + 37. Suppose -w - 4*a - 8 = -5*w, -5*a + u = w. Suppose w*s - 192 = -0*s. Is s a multiple of 8?
True
Let l be -3 + 5 + 2*18. Suppose 4*r - 81 = -x + l, 0 = -3*r - x + 89. Is 6 a factor of r?
True
Let k(h) = h**3 + 12*h**2 + 9*h - 25. Let w be k(-11). Let o(l) = -22*l + 11. Is o(w) a multiple of 7?
True
Suppose -26*y - 319 = -37*y. Does 13 divide y?
False
Suppose 7*h + 0*h = 98. Suppose 4*d = h + 18. Does 3 divide d?
False
Suppose 7*v - 57 = 90. Let j = 141 - v. Is 10 a factor of j?
True
Let k(n) = -4*n**3 - 2*n**2 - 3*n - 3. Let b(p) = -5*p**3 - 3*p**2 - 3*p - 4. Let v(x) = -5*b(x) + 6*k(x). Is v(2) a multiple of 4?
True
Let l = 1347 - 719. Is l a multiple of 12?
False
Suppose -5*b + b - 2*n + 1554 = 0, -3*b = 5*n - 1169. Suppose b = -2*x + 6*x. Let p = 153 - x. Does 28 divide p?
True
Let i(z) = 3*z**2 - 6*z + 1. Let o be i(14). Suppose -4*p - p = -o. Is p a multiple of 21?
False
Suppose 3*w + 86 - 308 = 0. Let j = w + 11. Is 17 a factor of j?
True
Let z(g) = 99*g - 1. Let p be z(1). Let l = -106 + 69. Let w = l + p. Is 19 a factor of w?
False
Suppose -4*z + z - 18 = 0. Let u be ((-2)/5)/(z/150). Let n(i) = -i**2 + 11*i + 5. Does 15 divide n(u)?
True
Suppose 6*d = d - 700. Let r be 0 + d/(25/5). Does 14 divide 2 + (6/(-3) - r)?
True
Suppose -1 = -2*n - 4*k + k, -n - 3 = 5*k. Suppose -5*g + 28 = -2*b, 2*g - n*b + 8 = -6*b. Does 19 divide 239/g + (-42)/56?
False
Suppose -11*k = -63 - 1521. Does 24 divide k?
True
Let u = -773 - -1543. Does 7 divide u?
True
Let y = 44 + -41. Suppose -4*t + 7*f - 2*f + 249 = 0, -y*f = 5*t - 302. Is t a multiple of 15?
False
Suppose -2*f - 4*a = -134, 3*a = 5*f - 0*f - 361. Suppose 3*s - 3*u = 258, 4*s - 418 = 3*u - f. Is s a multiple of 12?
False
Let x(k) = 21 + 12 + 37 - 6 - k. Is 10 a factor of x(29)?
False
Let o be (20/(-3))/(18/(-621)). Suppose -o = 28*m - 33*m. Is 19 a factor of m?
False
Suppose 10 = 3*v - 5*v. Let g(c) = c**3 + 5*c**2 - 6*c - 8. Let d be g(v). Suppose -p - d = -2*p. Is p a multiple of 11?
True
Suppose 0 = -4*v - 4*j + 3*j + 2555, 0 = 4*v - 5*j - 2537. Suppose -2238 = -20*p - v. Is p a multiple of 20?
True
Suppose 2*h = -22 + 10. Let m(q) = -q**3 - 5*q**2 + 3*q + 5. Is m(h) a multiple of 2?
False
Let i(o) = 2*o**2 + 87*o - 74. Does 13 divide i(-56)?
True
Suppose 3*l = n + l, 0 = 3*n - l. Suppose n*d - 8 = -4*d. Suppose 5*m = -d*q + 133, 2*q - 2*m - 93 = m. Is q a multiple of 27?
True
Let o(n) = -5*n + 8. Let i = -8 - 0. Let f be o(i). Suppose h = -3*h + f. Does 4 divide h?
True
Is ((-243)/729)/((1/(-1761))/1) a multiple of 44?
False
Let r = 13 - 11. Let x(w) = w**2 + r*w**3 + 0*w**3 - 40*w - 3*w**3 + 3 + 44*w. Is x(-2) a multiple of 2?
False
Let q be 0/(-2 + 4)*(-8)/(-8). Does 19 divide 660/22 + (0 - q)?
False
Let r(o) = 785*o**2 + 2*o - 12. Is 36 a factor of r(2)?
True
Let u be (4/(-10))/(1/(-50)). Let g(x) = -10 + u - 8 + x**2 + 6*x. Is 8 a factor of g(-9)?
False
Suppose 2*y + 781 = -j + 1934, 5*j = -2*y + 5749. Is 14 a factor of j?
False
Let b be 31*2 + (3 - -1). Let n(u) = u**2 + 9. Let h be n(0). Suppose -3*k + h = -b. Does 6 divide k?
False
Suppose 1387 = 16*u - 1301. Is u a multiple of 8?
True
Let o(b) = 2*b**2 - 2*b + 462. Is o(0) a multiple of 14?
True
Is 55 a factor of (-127605)/(-80) + (-26)/416?
True
Let h(b) be the first derivative of 2*b**3/3 + 3*b**2/2 + 45*b - 1. Is h(0) a multiple of 7?
False
Suppose 2*p - 52 = -2*p. Let n = p + -23. Let a = 11 - n. Is 7 a factor of a?
True
Let b(a) = -a**2 - 10*a + 5. Let k be b(-5). Suppose -4*s + 15 = -5*s. Let t = s + k. Is t a multiple of 5?
True
Does 27 divide 704/13 + (1106/(-91) - -12)?
True
Let s = -201 + 325. Is ((-9)/6 + 2)*s a multiple of 23?
False
Let w(r) = -r - 2. Suppose 10 = -6*g + g - s, 2*s - 8 = 4*g. Let k be w(g). Suppose -2*y - y + 39 = k. Does 5 divide y?
False
Let l(n) be the third derivative of 0 - 1/12*n**4 + 0*n - 1/60*n**5 + 35/6*n**3 + 2*n**2. Does 8 divide l(0)?
False
Let z = 92 - 83. Let d(t) = t**3 - 7*t**2 + t - 1. Does 11 divide d(z)?
False
Suppose -4*b = 4*o - 5780, -13*o + 10*o = -4*b - 4300. Is o a multiple of 15?
True
Suppose -c = c. Let d = 1 + 4. Suppose -5*g = -a - 75, c*g - 3*a = -d*g + 75. Does 12 divide g?
False
Suppose 5*h + 3*z = -122, -4*h - 3*z - 36 = 61. Let f = 135 + h. Does 31 divide f?
False
Let i = -2368 - -2613. Is 5 a factor of i?
True
Suppose -k + 179 = 4*u, -4*k - u - 3*u = -776. Suppose k = 6*j - 347. Does 15 divide j?
False
Suppose 90*h - 75*h = 540. Does 4 divide h?
True
Let m be -15*-1*(-3)/(-9). Suppose -m*a + 122 = f - 13, -4*f + 2*a + 474 = 0. Is 40 a factor of f?
True
Let m be 7/((-1)/1 - 0). Let b = 37 - 8. Let i = b + m. Does 22 divide i?
True
Let a(m) = -m - 104. Let y be (-24)/20*10/4. Let b(s) = s + 103. Let r(i) = y*b(i) - 4*a(i). Is 22 a factor of r(0)?
False
Let z(r) = 2*r**3 - 6*r**2 + 4*r - 4. Let l(k) = -3*k**3 - k - 1. Let g be l(-1). Is z(g) even?
True
Let m = -569 - -1085. Is 79 a factor of m?
False
Let y(x) be the second derivative of -x**5/20 - 11*x**4/12 - 11*x**3/6 - 3*x**2/2 - 7*x. Let w be y(-10). Suppose -w*m + 8*m = 30. Is m a multiple of 9?
False
Suppose -5*f + x + 2850 + 266 = 0, 5*f - 4*x - 3104 = 0. Is 24 a factor of f?
True
Suppose 0 = -3*s - m + 13, 0 = -3*s + s - m + 8. Suppose -s*z + 30 = 5*d, 2*d = -3*z + 7 + 6. Suppose 0*r = r + 3*y - 58, 164 = 4*r - d*y. Is 11 a factor of r?
False
Let w(b) = -92*b**3 + 44*b**3 + 47*b**3 + 4*b**2 + 13*b. Does 6 divide w(6)?
True
Suppose 6 = 3*x - j - 56, -77 = -3*x + 4*j. Suppose -10 = -i + x. Is 29 a factor of i?
True
Suppose 53*l - 7875 = 48*l + v, 3*v = -4*l + 6319. Is 8 a factor of l?
True
Let f be 9*(35 + 4/(-1)). Suppose 3*g - 2*q - f = q, q - 377 = -4*g. Is g a multiple of 19?
False
Let t = 223 + 559. Is 34 a factor of t?
True
Does 3 divide (((-17979)/6)/13)/(5/(-10))?
False
Is 33174/8 - 4/(-16) a multiple of 13?
True
Does 3 divide 1435/(-9 - -16)*(-16)/(-10)?
False
Let l = -1 + 197. Does 49 divide l?
True
Suppose p = -d + 4, -5 + 2 = 3*p. Let l = 9 - d. Is 6 a factor of 7 + -2*2/l?
True
Suppose s + 37 = 4*c, 4*c + 181 = -4*s + 9*c. Let q be 6/(-3) - (1 + 26). Let l = q - s. Does 20 divide l?
True
Is 9 a factor of ((-36)/12)/((-3)/81)?
True
Let p(j) = j**3 - 11*j**2 - 29*j - 52. Does 7 divide p(16)?
False
Let x(z) = z**3 - z + 366. Let v be x(0). Let a = -258 + v. Does 9 divide a?
True
Suppose 0 = -0*u - 4*u + 1148. Let w be u/14 + 3/(-2). Suppose g + g + 4 = 0, -q + g = -w. Does 17 divide q?
True
Let k(p) = -p**3 + 14*p**2 + 2*p - 30. Let j be k(14). Let x = 12 + j. Is x a multiple of 5?
True
Let v = 12 + -18. Let h be (9/v)/((-2)/4). Suppose 0 = -4*a + h*a + 22. Does 12 divide a?
False
Suppose -26*d = -22729 - 26125. Is 38 a factor of d?
False
Let l(a) = -a**3 + 5*a**2 + 7*a - 3. Let w be l(5). Is w/(-18) + (-10)/45 - -104 a multi