be the third derivative of -z**6/120 + z**5/5 + z**4/24 + 7*z**3/3 + 5*z**2. Let n(w) = -13*w - 1. Let a be n(-1). Does 26 divide p(a)?
True
Let v(w) be the second derivative of 23*w**3/2 - 65*w**2/2 + w - 21. Is 28 a factor of v(5)?
True
Let u be (-12)/(-8) - (-9)/(-6). Suppose 3*h - 5*z - 243 = u, 149 = 5*h - 3*h + z. Does 7 divide h?
False
Suppose 0 = 11*p - 8*p - 144. Is (60/p)/(2/216) a multiple of 20?
False
Let p be (0 - 1)*(4 + 142/2). Let t = p - -152. Does 10 divide t?
False
Let m be 0/(3/9*6) - -3. Suppose -5*k - 27 = -l, -l + 0*k + 11 = m*k. Is l a multiple of 17?
True
Let g(p) = p**2 - 9*p + 17. Let f be g(7). Suppose -1 = -k, 193 = 5*v - f*k + k. Is v a multiple of 7?
False
Let g be (-6)/(-10) + 264/60. Suppose -g*l = -190 - 410. Is 12 a factor of l?
True
Suppose 2*g + 2*g = -3*x + 773, g + x = 194. Suppose 3*j - g = -2*p, 4*p = 3*j + p - 171. Is 11 a factor of j?
False
Suppose 17 = -0*j + 2*j - 5*g, 2*j - 2*g = 20. Suppose 6*r = j*r + 25. Is 4 a factor of ((-7)/(-5))/(r/(-25))?
False
Let b(o) = -o**3 - 7*o**2 + o + 10. Let k be b(-7). Let m be 148/(-6)*18/(-4). Suppose k*j - 2*t - 17 - m = 0, -j + 24 = 4*t. Is j a multiple of 8?
True
Let z(y) = -2*y**2 - 39*y - 19. Is z(-13) a multiple of 15?
True
Let d be (13 - 3) + -3 - 3. Does 8 divide -8*(-1 - (-3 + d))?
True
Let v = 81 - 49. Suppose 4*t - v = -0*m - m, 3*t - 3*m - 9 = 0. Is 7 a factor of t?
True
Let q = -321 - -493. Does 12 divide q?
False
Let h = -42 + 22. Let y be -15*1/(h/(-8)). Is 3 a factor of 110/12 + 1/y?
True
Let s(t) = 48*t - 114. Does 6 divide s(5)?
True
Suppose 0 = o - 15*o + 784. Is o a multiple of 8?
True
Let r(m) = -215*m + 4. Let w be r(-1). Suppose 3*p + 2*u = 170, -2*u = -4*p + 3*u + w. Does 8 divide p?
True
Is 586 - (-5)/5 - -2 a multiple of 31?
True
Let a be 10*((-36)/(-8) - 1). Let q be 28/a*5/2. Suppose 0 = -q*u + 5*u - 12. Is u a multiple of 4?
True
Let z = 1229 + -830. Does 57 divide z?
True
Let b be (-4)/(-18) - (-24330)/(-135). Let r = -85 - b. Does 15 divide r?
False
Let l = 250 + -189. Does 4 divide l?
False
Let j(h) = 13*h - 51. Let t be j(15). Suppose k - 33 = 2*u, 4*k - 4*u + 12 - t = 0. Is k a multiple of 5?
False
Suppose -3*m + 2*m = -1. Suppose -d - 65 = -m. Let n = -38 - d. Is 7 a factor of n?
False
Suppose a = -2*a - z + 686, 5*a - 3*z - 1134 = 0. Is 16 a factor of a?
False
Let a(t) = -t**3 - 14*t**2 - 14*t - 13. Let k be a(-13). Suppose 0 = -k*z + 5*z - 175. Suppose -7 = -2*b + z. Is 15 a factor of b?
False
Let w(r) = 5*r - 6. Let h be w(20). Suppose h = 4*j - 26. Does 6 divide j?
True
Let z(f) = 10*f**2 - 6*f + 22. Does 47 divide z(7)?
True
Let t = 91 + -193. Does 14 divide (2 - 1)*t/(-3)?
False
Is (8866/33 - 12)/(1/6) a multiple of 44?
True
Let i(p) = 104*p - 73. Does 12 divide i(7)?
False
Suppose 4*l - 423 = -5*n, -325 = -6*l + 3*l + 4*n. Let d = l + -47. Does 20 divide d?
True
Is 26 a factor of ((-66)/(-55))/(1/130)?
True
Let i(m) = -19*m**2 - 11*m + 3. Let u(b) = -1 - 5*b - 4*b**2 - 9 + 11 - 5*b**2. Let x(a) = 3*i(a) - 7*u(a). Is x(-2) a multiple of 15?
False
Let q be 1306/8*-2*(-6)/3. Let d = -455 + q. Does 54 divide d?
False
Let o be 410/35 - (-2)/7. Let b be 3*1 + o/6. Suppose v + 163 - 41 = b*h, 3*v = -h + 34. Is 11 a factor of h?
False
Is 21 a factor of (-246)/(7 - (-400)/(-56))?
True
Does 14 divide 1 - 3 - (-4896)/24?
False
Suppose -4*i = 3*h - 13, -i = -3*i + 5*h + 13. Suppose 0 = -u + i*y + 67, u - 4*u + 256 = -y. Does 27 divide u?
False
Let l = 18 - 7. Suppose 6*z - l*z = -280. Does 8 divide z?
True
Let u = -781 + 1326. Does 3 divide u?
False
Let o(f) = -f**2 - 13*f + 5. Let z(w) = -w**2 - 13*w + 5. Let k(j) = 6*o(j) - 5*z(j). Let s be k(-14). Is 6 a factor of s/(-18)*7*6?
False
Let t = 87 + -90. Does 18 divide t - ((-278)/2 - -3)?
False
Let c(w) = -w**3 - 3*w**2 + 2*w - 3. Let y be c(-4). Suppose -n = -4*n + 5*h + 8, h - 4 = -y*n. Is n/3*3*21 a multiple of 13?
False
Let o = 0 - 0. Suppose -2*q = -r - 77, -115 = 11*q - 14*q + 2*r. Suppose 3*p = 2*c - q, o = -2*c + 2*p + 29 + 7. Does 13 divide c?
False
Let p be ((-2)/(-8) - 71/(-4)) + 0. Let v = p + 14. Is 8 a factor of v?
True
Let d be (-4)/(-5)*10/(-4). Let j be -1 - d*147/6. Suppose -l = -4*l + j. Is 10 a factor of l?
False
Let k(n) = -2*n**2 + 7*n - 15. Let p(x) = -x**2 + x - 1. Let o(q) = -k(q) + p(q). Is 7 a factor of o(6)?
True
Suppose -16*n + 714 = -10*n. Does 17 divide n?
True
Suppose -10*y + 14*y - 984 = 0. Suppose -3*d - 3*k + y = d, -2*d + 122 = k. Is d a multiple of 4?
True
Suppose 5 - 2 = u. Suppose -h - u*h + 8 = 0. Suppose h*c + 68 = 4*c. Does 13 divide c?
False
Let q(z) = -z**3 + 17*z**2 + 4*z - 4. Let n(u) = -3*u**3 + 35*u**2 + 9*u - 9. Let g(h) = 3*n(h) - 7*q(h). Is 8 a factor of g(-7)?
True
Let b be 785/(-5)*-1 - (2 + 1). Suppose b = 2*w - 0*w. Is 7 a factor of w?
True
Suppose 50814 = 72*w - 31554. Is 11 a factor of w?
True
Let r(o) = -5*o**2 - 40*o + 17. Let v(u) = u**2 + 10*u - 4. Let y(w) = -2*r(w) - 9*v(w). Suppose 3*s - 47 = 4*z, 26 + 31 = 5*s + 4*z. Is y(s) a multiple of 8?
False
Suppose -2*m - 115 = -3*v + 3*m, 3*m = -5*v + 237. Let k be 11/((-110)/(-48)) + (-5)/(-25). Suppose 10 = o - 2*r + 4*r, -5*o = k*r - v. Is o even?
True
Let v = -117 - -531. Is v a multiple of 69?
True
Suppose 0 = -4*x + 3*v + 2845, 0*x + 4*x - 2*v - 2846 = 0. Is 7 a factor of x?
False
Let b be 0 - -7 - -2*1. Suppose 3*r + 24 = b*r. Suppose -105 = -r*z + 3*x, -5*z = -2*x + x - 123. Does 6 divide z?
True
Let i = 2137 + -1097. Does 13 divide i?
True
Suppose 37 = -11*n + 367. Let m(x) = 8*x**2. Let p be m(-1). Let s = p + n. Does 26 divide s?
False
Let j(a) be the second derivative of a**4/6 + a**3/6 + 12*a**2 - 15*a. Is j(6) a multiple of 17?
True
Let k = -192 - 324. Does 6 divide (-2)/5 + (k/15)/(-1)?
False
Let m(d) = d + 6. Let h be m(-6). Suppose 3*t + 3 + 30 = h. Let x = t + 27. Is 16 a factor of x?
True
Let q(b) = b**2 + 2*b. Let v be q(-4). Let t = v + -4. Suppose -2*u + 46 = -7*d + 2*d, 5*u = t*d + 98. Does 10 divide u?
False
Suppose 92*u - 2*u = 41490. Is 42 a factor of u?
False
Suppose -f + 1 = -3. Suppose 2*i = 5*h + 40, 0 = i + f*i - 5*h - 70. Does 2 divide i?
True
Suppose -p + 20 = 3*p. Suppose -p*k + 8*k = 15. Suppose -3 = -d - 0*d, 5*h = -k*d + 330. Is h a multiple of 21?
True
Let m = -255 - -556. Let b = m + -147. Is b a multiple of 16?
False
Let w(k) = 4*k**2 - 89*k + 2 + 92*k + 0 - 12. Does 14 divide w(-4)?
True
Let c(p) = 2*p**3 - 5*p**3 + 2*p**2 - 9*p**2 + 3 + 6*p + 4*p**3. Let a be c(6). Suppose -x = -a*k + 93, 4*k - 40 - 91 = -x. Is k a multiple of 32?
True
Suppose 898 = -3*a + 157. Let r = -142 - a. Is r a multiple of 35?
True
Let z = 34 + 148. Is z a multiple of 13?
True
Let k = -271 + 409. Is 46 a factor of k?
True
Suppose 5*o - 15 = -3*f + 3, 5 = o + 2*f. Let j = -171 + 276. Suppose -w - 3*m = -84, 203 = o*w - 5*m - j. Is 32 a factor of w?
True
Suppose -2*p - 141 + 1462 = -5*k, -4*p + 5*k = -2657. Is p a multiple of 6?
False
Suppose v = a + 692, -3*v + 5*a + 2708 = 636. Is 50 a factor of v?
False
Is (-1)/(-1) - (-16 - 1289 - -4) a multiple of 13?
False
Suppose -3*g - 21 = 2*n, 2*n = -5*g + n - 28. Let d(s) = -s**2 - 6*s - 5. Let v be d(g). Suppose v = -3*o + 105 - 9. Is o a multiple of 11?
False
Let z = 3160 + -1361. Is 24 a factor of z?
False
Let v(s) = -8*s + 0 - 2 + 3. Let q be v(-3). Let g = q + -18. Is 7 a factor of g?
True
Let o = -6 + 16. Let r = o - 7. Suppose -2*a = 2*w - 28, -r*w - a = -w - 24. Is w a multiple of 6?
False
Let z(q) = q - 6. Let w be z(6). Let r be (-3 + (-77)/21)/((-1)/18). Suppose 2*v - 72 - r = w. Does 32 divide v?
True
Suppose 9*p = 21*p - 10800. Is p a multiple of 20?
True
Suppose -5*t - l + 35 + 8 = 0, 0 = -5*t + 5*l + 55. Suppose t*q - 80 - 442 = 0. Does 18 divide q?
False
Let w(y) = 49*y + 460. Is w(6) a multiple of 58?
True
Let s(u) = 3*u + 139. Let b(o) = 2*o + 138. Let f(r) = 4*b(r) - 3*s(r). Is f(0) a multiple of 15?
True
Let r = 1614 + -1104. Does 14 divide r?
False
Suppose 340*v - 351*v = -2222. Does 13 divide v?
False
Suppose 0 = w + 2*s - 65, 3*w + w - 5*s = 234. Suppose 4*k + f + w = -41, -3*k - f = 77. Let d = k + 45. Is 20 a factor of d?
True
Let s(l) = -l**3 + 6*l**2 - 9*l + 24. Does 19 divide s(4)?
False
Suppose -103 = -2*g + 4*q + 455, 5*q - 10 = 0. Is g a multiple of 7?
False
Is (38 + (-6 - -5 - -6))*1