or of s?
False
Let r = 44 + -28. Suppose 5*i + 5*y - 190 = 0, 14 = i - y - r. Does 9 divide i?
False
Suppose -1367 = -2*v + l + 502, -4*v = 2*l - 3718. Is 95 a factor of v?
False
Let p be (6/4)/((-24)/(-1088)). Suppose 2*d = 6*d - 3*y - 52, -4*d + p = y. Is 16 a factor of d?
True
Let k(u) = -u**2 + u + 99. Let m be k(0). Suppose -v + 2*i + 115 = 0, -5*v + 504 = 4*i - m. Let q = v + -37. Is q a multiple of 17?
False
Suppose -8*y + 416 = -568. Is 36 a factor of y?
False
Let m(k) = 4*k. Let j be m(1). Let p(z) = 3*z**2 - 12*z - 11. Let s be p(5). Suppose -4*l = -s*f - 30 + 106, j*f = -2*l + 70. Is 4 a factor of f?
False
Suppose 89 = -y - 3*h, 4*h + 172 = -4*y + 2*y. Let x = 96 + y. Does 4 divide x?
True
Suppose 0 = -4*w - 12, 2*j = -2*w - 6. Suppose 3*n + 14 + 4 = j. Is 14 a factor of n/2 - 102/(-6)?
True
Let o(a) = -4*a**2 + 4*a - 3. Let w(v) be the second derivative of -v**4/4 + 2*v**3/3 - 2*v**2 - 3*v. Let s(k) = -4*o(k) + 5*w(k). Does 23 divide s(7)?
True
Does 9 divide 5484/84 - (-6)/(-21)?
False
Let o(n) = -n**2 + 16*n - 6. Let b(u) = -u + 18. Let v = -19 + 27. Let s be b(v). Does 18 divide o(s)?
True
Let x(t) be the third derivative of t**7/420 - t**6/120 + t**5/20 - 5*t**2. Let y(s) be the third derivative of x(s). Is 15 a factor of y(3)?
True
Let z be 741/21 + (-2)/7. Let y = 84 - z. Is 7 a factor of y?
True
Suppose -14*i + 9*i = -5*b - 1845, 1845 = 5*i + b. Does 41 divide i?
True
Suppose 0 = -4*f - 5*u + 22, 3*u + 23 = 5*f + 7*u. Suppose 3 + f = -2*o + 2*i, -5*i + 15 = 3*o. Let l(r) = -r**2 + 2*r + 21. Is l(o) a multiple of 7?
True
Let t be (-2)/(-18)*2 + (-43)/(-9). Suppose 281 = t*p - 209. Does 27 divide p?
False
Let b(w) be the third derivative of w**4/24 + 47*w**3/6 + 5*w**2. Does 13 divide b(0)?
False
Suppose 2*g - 43 = 99. Is g a multiple of 11?
False
Let g be 297/72 - 2/16. Suppose -4*w - 22 = -g*s + s, -4*s = -w - 12. Let h(n) = 4*n**2 + 3*n - 1. Does 14 divide h(s)?
False
Suppose -132*q + 10296 = -121*q. Does 26 divide q?
True
Suppose -3*x + 2*b + 2 = 0, 0 = 4*x - b + 6*b + 5. Suppose x = 17*w - 20*w + 147. Suppose -3*m - w + 106 = 0. Is 12 a factor of m?
False
Suppose -4*n = -2*n - 210. Let x = -40 + 85. Suppose 5*j - x - n = 0. Does 15 divide j?
True
Let j = -3 - -6. Suppose -j*b = b + 4. Does 17 divide (3 + -3 + b)*-48?
False
Let p = 240 + -166. Does 7 divide (p/10 - -1)/((-74)/(-185))?
True
Suppose -488 = -3*k - 3*o - 68, -4*k - 5*o + 563 = 0. Let r = k - 43. Does 17 divide r?
False
Let t(y) = 2*y**2 + 11*y + 10. Let r be t(-14). Suppose -5*j - 33 = -r. Is 6 a factor of j?
False
Suppose 30*r - 21*r = 2871. Is 13 a factor of r?
False
Suppose 2*h = -0*h. Suppose -3*f + 7 - 1 = h. Let r(l) = l + 2. Is r(f) a multiple of 4?
True
Let b(c) = -c**3 + 6*c**2 - 4*c - 1. Let g be 15/(-6)*(-4 + 2). Let l be b(g). Does 18 divide (-2 + 93/6)*l?
True
Let z(h) = -22*h - 4. Suppose 5*x + 2*b + 10 + 12 = 0, b + 5 = -x. Does 14 divide z(x)?
True
Is (-35870)/(-204) - (-10)/(-12) a multiple of 35?
True
Let x(v) be the second derivative of -v**4/12 - 16*v**3/3 + 36*v**2 + 2*v - 19. Is 19 a factor of x(-21)?
False
Let p(v) = -v**2 - 4*v + 18. Let w be p(-8). Suppose 0 = -4*l + 5*a + 90, -3*a - 6 = -6*a. Let h = l + w. Does 4 divide h?
False
Suppose -4*u = -t + 791, 200 - 1794 = -2*t - 4*u. Let n = 79 - 73. Suppose -n*m - 237 = -t. Does 28 divide m?
False
Let y = 3433 - 1711. Does 21 divide y?
True
Let l(o) = -3*o + 34. Does 2 divide l(-10)?
True
Suppose 7*g = 2*g + 80. Let u = -15 - g. Let j = 63 + u. Is j a multiple of 16?
True
Suppose -8*s - 2610 = -17*s. Is s a multiple of 10?
True
Suppose 2*o + 3*o - 5*i = 35, -2*o + 4*i = -14. Let d be 0/3 + 0 - -4. Suppose -o = -d*g + 5*t + 11, -3*g + 29 = 4*t. Does 7 divide g?
True
Let l be 0 - -3*20/15. Suppose -l*p - 2*b + 224 = 0, 2*p + b - 5*b = 112. Is p a multiple of 9?
False
Suppose -2*a + 4*m = -1266, -a + 2*m = -m - 635. Is 39 a factor of a?
False
Let l(b) = -3*b. Let k = -1 - 6. Let q be l(k). Suppose -5*t + 4*t + q = 0. Is 8 a factor of t?
False
Let o(w) be the third derivative of -w**6/120 + w**5/60 + w**4/12 - 3*w**2. Let f be o(2). Suppose f = -2*v + 3*v - 62. Is 16 a factor of v?
False
Suppose 0 = -2*j, 2*r - 2*j - 92 = -j. Suppose -2*p = -3*q - q - 204, -15 = 3*q. Suppose -r = -3*c + p. Does 26 divide c?
False
Let k = 2277 - 1702. Does 25 divide k?
True
Let k = -3252 - -5377. Is k a multiple of 22?
False
Suppose -2*i - 5*x = -760, 8*i - 4*i - 5*x - 1490 = 0. Is i a multiple of 53?
False
Let f(s) be the first derivative of s**3/2 + 3*s**2 - 7*s - 9. Let r(g) be the first derivative of f(g). Is 21 a factor of r(12)?
True
Is -1 - (-715 - (-12)/1) a multiple of 26?
True
Let c(o) = 5*o**2 - 9*o + 21. Is c(-7) a multiple of 7?
True
Let k(i) = i**2 - 2*i - 3. Let x be k(-2). Suppose 14 = x*b - 1. Suppose v - 37 = -b*g + 1, -5*v = g - 162. Is 8 a factor of v?
True
Suppose 0 = 3*n - w - 18 + 5, -n = -5*w - 23. Suppose -2*a - 2*a - 5*b - 6 = 0, 0 = -n*b + 6. Does 18 divide (-9 - -11)*(-62)/a?
False
Let r(u) = -5*u**2 - 2 + 40*u**2 - 4*u + 3 - 3. Is 26 a factor of r(2)?
True
Suppose -182*v = -180*v - 192. Is 24 a factor of v?
True
Suppose 26*o - 32732 = -544. Does 23 divide o?
False
Let u = 235 - 140. Does 2 divide u?
False
Let y(n) = 39*n**2 - 22*n - 121. Is y(-7) a multiple of 17?
False
Is -303*(-208)/39 - 0/(-1) a multiple of 44?
False
Let q(a) = -a + 22. Let c be 104/(-4)*1/(-2). Let b be q(c). Suppose -g - 2*w + 78 = b, -5*w - 62 = -g. Does 20 divide g?
False
Let x(f) = -f**2 + 23*f - 94. Does 14 divide x(7)?
False
Let u = 655 + 515. Does 40 divide u?
False
Let n = 2362 - 1516. Does 9 divide n?
True
Let n = -1466 + 2282. Does 12 divide n?
True
Let o = 65 - 12. Suppose -24 = -b + o. Is 11 a factor of b?
True
Let v be ((-4)/8)/(1/48). Let c be 1/2 + (-84)/v. Suppose c*k = k + 132. Is 22 a factor of k?
True
Let a be 22/(-55) + 1/((-10)/(-4)). Suppose -h + 481 = 5*w, a*w + w = 5*h + 117. Is 17 a factor of w?
False
Let g(u) = 2 + 24*u**2 - 7*u**2 + 7*u**2 - 1. Is g(-1) a multiple of 5?
True
Suppose -2*g + 6*d + 11 = d, -3*g - 46 = 5*d. Let n(k) = -28*k - 20. Is n(g) a multiple of 11?
True
Let v = 200 - 114. Suppose 171 = -2*m + 5*m. Let j = v - m. Is 20 a factor of j?
False
Let l(o) = o**2 + 19*o + 4. Let z be l(-16). Let a = -15 - -5. Is 16 a factor of (-3528)/z + a/55?
True
Suppose -17 = 4*i + 19. Let w(q) = q**2 - 6*q + 21. Is 52 a factor of w(i)?
True
Let n be (-164)/52 - (-2)/13. Does 13 divide (13/n)/((-1)/21)?
True
Suppose 2*p - 5*b - 9 = -0*p, 3 = 2*p - 3*b. Let j be p/6*2*-1. Does 8 divide (-1)/(-2)*22*j?
False
Does 13 divide (-732)/(-9)*((-18)/12 + 3)?
False
Suppose z + 4*z - 4*j + 1 = 0, -5*z + 3*j = 2. Let k(m) = -30*m - 2. Is 6 a factor of k(z)?
False
Let a be 3/(3/(-2)) - 2. Let x be a - -2 - -1*3. Suppose 0 = -i - x + 4. Does 3 divide i?
True
Let m = 681 + 440. Does 6 divide m?
False
Is 11 a factor of (-2878)/(-14) + (-19)/((-399)/(-12))?
False
Let q = 4652 + -1480. Is 13 a factor of q?
True
Let k(d) be the first derivative of d**4/4 + 5*d**3/3 - 5*d**2/2 - d - 36. Is k(3) a multiple of 48?
False
Let a(h) = 7*h + 2. Suppose -2*k - 11 + 17 = 0. Suppose 2*b = k*b - 9. Is 11 a factor of a(b)?
False
Suppose 2*f - 142 = -z, 3*z + 5*f = 74 + 357. Is 19 a factor of z?
True
Suppose -6*m + 74 = 26. Let f(j) = 5*j - 12 + 0*j**3 + 5*j**3 - 4*j**3 - 8*j**2. Is 7 a factor of f(m)?
True
Let r(p) be the second derivative of 5*p**4/6 - 2*p**3/3 + 2*p**2 + 22*p. Is r(-4) a multiple of 44?
False
Let t = 169 - -124. Suppose -4*k = -3*y - 410, 3*k + 9*y - 4*y - t = 0. Does 26 divide k?
False
Let w = 43 + -57. Let j(r) = -r**3 - 13*r**2 + 10*r - 9. Is j(w) a multiple of 28?
False
Let m = -87 - -128. Let z(a) = -a + 26. Let q be z(0). Let c = m - q. Is 2 a factor of c?
False
Does 92 divide (6 - -3) + (1753 - 1)?
False
Suppose 0 = -3*t + a + 14, 2*a + 0*a = 3*t - 19. Let v be ((-2)/t)/(10/(-75)). Let x(h) = h**3 - 7*h**2 + 13*h - 7. Does 6 divide x(v)?
False
Let t(b) = -2*b**3 + 65*b**2 - 20*b - 33. Is 13 a factor of t(32)?
True
Let i(h) = h**2 - 2*h - 68. Is 8 a factor of i(12)?
False
Let k be 6 + (-4)/(-2 + 6). Suppose -v = -2*v + 4*d + 14, -10 = -k*v + 5*d. Let t = 15 + v. Is t a multiple of 4?
False
Is 56 a factor of (1152/240)/((-1)/(-105))?
True
Suppose -n - 5*f = -10, 0 = n + 5*f - f - 12. Let v =