erivative of k**8/20160 + 7*k**6/720 - k**5/10 + 4*k**2. Let j(f) be the third derivative of p(f). Is j(0) a multiple of 2?
False
Let v(j) = j**2 - 4*j - 2. Let z be v(-4). Is (z/(-10))/((-6)/326) a multiple of 17?
False
Let o = 44 - 39. Suppose -o*b = -600 + 150. Is 20 a factor of b?
False
Let w(g) be the first derivative of 6*g - 4. Let n(a) = a + 1. Let d(j) = 5*n(j) - w(j). Is 19 a factor of d(4)?
True
Suppose 0 = -4*q + 8, -394 = -4*i - 5*q + 736. Is i a multiple of 16?
False
Let o(x) = x**3 - 5*x**2 - x - 4. Let i be o(5). Let q = 12 + i. Suppose 0*s + 2*s - 48 = -2*f, q*f = -s + 20. Is 12 a factor of s?
False
Suppose -72 = -4*j + 148. Let y = 63 - j. Is 4 a factor of y?
True
Suppose 2*k + 95 = -3*d + 1775, 2800 = 5*d - k. Is d a multiple of 40?
True
Suppose -2*p + k + 572 - 55 = 0, 2*p + 5*k = 535. Is p a multiple of 13?
True
Let b(r) = -r**2 + 2*r + 1. Let k be b(1). Let z be ((-2)/4)/(k/(-4)). Is 8 a factor of ((-32)/(-20))/(z/20)?
True
Let p(h) = 43*h**2. Let c = 3 + -2. Let d be (-1)/c*(-6 - -7). Does 12 divide p(d)?
False
Suppose 2*p = -4*w + 454, -w + 223 = 3*p - 2*p. Suppose 11*c = 14*c - p. Does 17 divide c?
False
Let l = 5 - 3. Suppose 0 = -l*f - f + 240. Suppose -4*c = -3*j - j - f, 5*c - 109 = -4*j. Is c a multiple of 7?
True
Let c be ((-15)/12)/(2/8). Suppose 0 = -w - 2*l + 14, w - 3*w + 5*l + 1 = 0. Let j = c + w. Does 2 divide j?
False
Suppose -b = 4*b - 10. Suppose -5*w + 3*w + 3*s - 36 = 0, -2*w + b*s = 36. Let l = w + 21. Is 3 a factor of l?
True
Let r(w) = 3*w - 3. Let v be r(5). Let s be (1 + 1)/(8/v). Suppose 3*b - 102 = -s*b. Is 3 a factor of b?
False
Let n(s) = 4*s**2 - 4. Let m be n(-7). Suppose 2*f - 72 = -0*f + 2*z, -5*f = -2*z - m. Suppose 0*d - f = -5*d. Does 2 divide d?
True
Let m = 7 - -11. Suppose -2*k + 4*p + m = 0, 4*k - 4*p = -0*k + 20. Is 7 a factor of ((-50)/(-20))/(k/6)?
False
Let z(b) = -b**3 - 9*b**2 - 5. Let a be z(-9). Let k be 8/(-20) + (-67)/a. Let h = k + -9. Is 2 a factor of h?
True
Let h = 573 - 308. Is (h/15)/(-2 + 28/12) a multiple of 6?
False
Let x = 1578 - -496. Is 17 a factor of x?
True
Suppose c - 5*a = 11, 6*c - 2*c = 3*a + 10. Let m(y) = 30*y**3 + 2*y - 2. Does 10 divide m(c)?
True
Let x = -40 - -53. Suppose 0 = 8*k - x*k + 630. Is 17 a factor of k?
False
Let m(n) = 6*n - 12. Suppose -2*y = 3*k + k - 10, 3*y + 3 = 0. Suppose c + k*c - 32 = 4*l, 3*c + l - 12 = 0. Is 9 a factor of m(c)?
True
Let f = 340 - -54. Does 5 divide f?
False
Let s(r) = 22*r**3 + 3*r**2 - 7*r + 4. Let c(j) = 3*j + 59. Let n be c(-19). Does 9 divide s(n)?
False
Let k(f) = f + 21. Let b(y) = 1. Let o(d) = 3*b(d) + k(d). Is o(-4) a multiple of 4?
True
Suppose g = -4*x - 0*g + 35, -3*g = -5*x + 48. Suppose -5*o = 5*l - 55, -3*l - x - 6 = -5*o. Does 2 divide (-8)/36*-3*o?
True
Let n(x) = 7*x - 20. Let u be n(15). Suppose -q = -47 - u. Suppose -3*s + q = -t, -2*s - 5*t = -6*s + 187. Does 14 divide s?
False
Suppose -6*t = -3*t + 2*y + 9, 0 = -4*t + 5*y - 12. Let j(v) = v**3 + 6*v**2 + 4*v - 6. Let i be j(-5). Is 18 a factor of 94*t*i/6?
False
Let v = 534 + -345. Does 27 divide v?
True
Let q(o) = 2*o**2 - 3*o + 13. Let m be (-2)/(-8) + (-351)/(-52). Is q(m) a multiple of 18?
True
Let j(q) = 4*q - 17. Let f be j(5). Suppose c - 3*d - 78 = -f*c, -5*c = d - 107. Does 7 divide c?
True
Let a = 1056 + -813. Does 3 divide a?
True
Let k = 34 - 29. Let d = k + 110. Is 9 a factor of d?
False
Let m = 29 + -24. Suppose -265 = -m*d + 5*i, 4*d + 3*i + 0*i - 233 = 0. Is d a multiple of 28?
True
Let a = -989 + 1421. Is 16 a factor of a?
True
Let g(v) = -33*v + 182. Is g(-8) a multiple of 25?
False
Suppose 0 = h - 4*h + 12. Suppose -10 = -3*u + y + 32, -2*y + 56 = h*u. Is 6 a factor of u?
False
Suppose 0 = 4*s - 2*r - 836, 18*r - 812 = -4*s + 14*r. Is 12 a factor of s?
False
Does 15 divide 76/4 - (-7)/((-28)/16)?
True
Let k be ((-3)/(-3))/(1/67). Suppose -w - 4*o = -k, 6*w = w - 5*o + 320. Does 23 divide w?
False
Suppose 0 = -13*i - 176 + 462. Is i a multiple of 11?
True
Let y = -25 + 37. Is 9 a factor of (-8)/y + 29/3?
True
Is (114/(-27))/(15/(-2565)) a multiple of 38?
True
Suppose -3*y + 0*y - 21 = 0. Let k = 5 + y. Does 4 divide k/(-3)*(-1 - -19)?
True
Let x be (-12)/8*2 + -3. Does 20 divide (-8)/(16/(-126)) - x/(-2)?
True
Let l be (18/15)/((-6)/(-340)). Let b = l - 39. Let i = b - 16. Is 6 a factor of i?
False
Suppose 3*g + i = 5, 5*g + 0*i - 11 = i. Let o = -39 + 55. Suppose -g*p = 2*p - o. Is 4 a factor of p?
True
Let r = 1122 + -660. Is 23 a factor of r?
False
Suppose 2*b - 2*m = 934, 134 = 2*b + 2*m - 804. Suppose 7*v + 2*v = b. Is v a multiple of 10?
False
Let l(r) = r**3 + 11*r**2 - 15*r - 4. Let g be l(-12). Let w = -48 + g. Is 1/(-4) - 324/w a multiple of 5?
True
Let x be 396/60 + 4/10. Suppose 6*m - x*m = -5. Suppose -197 = -m*f - 2*w, -3*f + 3*w + 6 + 108 = 0. Does 13 divide f?
True
Suppose 4*t = -3*k + 330, -t + 4*t = -5*k + 253. Is t a multiple of 5?
False
Let r be -3*(8/3 + -3). Let m be (200 + 6)/(1/r). Suppose 4*v - 5*w = 132, -2*v - 4*w = 3*v - m. Does 19 divide v?
True
Let z(k) be the third derivative of k**4/12 + 7*k**3/3 + 11*k**2. Let w be z(-7). Suppose w = 3*j - 60. Is 20 a factor of j?
True
Suppose 4*j + 4*q = 5*q - 490, -2 = q. Let y = -55 - j. Let g = y - 24. Does 15 divide g?
False
Let q(l) = -2*l**3 - 3*l**2 - 2*l - 3. Let v be q(-2). Suppose -b - b + 3*p = 0, -v*b + 3*p = 0. Let n = b + 17. Is n a multiple of 17?
True
Let y(r) = 4 - 4 + 6*r. Suppose -10 = -5*l + 4*a, 6*a - 8 = -4*l + 8*a. Is 2 a factor of y(l)?
True
Let a(j) be the second derivative of j**4/12 + 11*j**3/6 - 5*j**2/2 + 7*j. Does 7 divide a(-12)?
True
Let l(s) = 10*s + 11. Let r be l(7). Let m = 18 + r. Is m a multiple of 16?
False
Let d be (-67)/(-2)*20/10. Does 22 divide d + (8/4 - 2)?
False
Let c = 3 - -30. Let j = c + -20. Is j even?
False
Let p(m) = 19*m - 2. Let g be p(4). Let k = 10 + -28. Let x = g + k. Is x a multiple of 19?
False
Let y = 25 + -24. Is (1/1)/(y + (-32)/34) a multiple of 8?
False
Suppose 66*x = -1966 + 97006. Does 16 divide x?
True
Let a(p) = 73*p - 8. Let u be a(-3). Let q = -97 - u. Does 10 divide q?
True
Let l(n) = -n**2 + 2*n + 8. Let s be l(-8). Let t = s - -143. Is 37 a factor of t?
False
Let k be 20/1 - (-2)/1. Let h = 42 - k. Suppose -5*y + h = -10. Is 2 a factor of y?
True
Let x = -1584 - -2513. Does 69 divide x?
False
Suppose 7*f = x + 12*f - 336, 5*f = 4*x - 1394. Does 4 divide x?
False
Let p be ((-6)/(-5))/((-6)/(-15)). Suppose 0 = p*r - 5*n - 10, 0 = -4*n + 4. Suppose w - i - 17 = -3*i, 5*w - r*i - 115 = 0. Is 6 a factor of w?
False
Let m(o) = 5*o**2 - 7*o - 30. Let d be m(13). Suppose -24*p + 20*p = -d. Is 15 a factor of p?
False
Suppose 2 = i - 2*w + 7*w, 5*w + 5 = 0. Suppose i*j - 940 = 355. Suppose -4*x + j = 73. Is x a multiple of 7?
True
Suppose -4*o - 1 = -2*q + 23, -3*o = q - 32. Let n = q - 285. Let p = -181 - n. Is 28 a factor of p?
True
Let q(x) = -x**3 + x - 10. Let b be q(0). Let h be 12/b*(-30)/12. Suppose v - 168 = -h*v. Is 21 a factor of v?
True
Suppose 0 = -20*o + 19*o. Suppose -2*c - 2*u + 308 + 48 = o, 0 = -3*c + 2*u + 549. Does 39 divide c?
False
Let a = -99 - -102. Is 2 + 1948/28 + a/7 a multiple of 9?
True
Suppose 0 = 3*y - 157 - 173. Is 11 a factor of y*1/(10/4)?
True
Let s(z) = -z**3 + 3 - 2*z + 9*z**2 + 2*z - 3*z**2. Let g be s(6). Is 54/4*8/g a multiple of 10?
False
Suppose -7*h + 4*h + 15 = 0. Suppose -2*o - 20 = 2*o, 5*z - h*o - 325 = 0. Is z a multiple of 12?
True
Let q = -8 - -10. Suppose u - 446 = -5*h, -q*u = 4 + 4. Is h a multiple of 5?
True
Let c(t) = 31*t - 643. Does 7 divide c(23)?
True
Suppose -3*g + 12 = 0, 4*d = 5*g + 2153 + 1151. Is 26/117 - (1 + d/(-27)) a multiple of 8?
False
Let y(d) = 4*d - 14. Suppose 2*g + 36 = 4*g. Is 6 a factor of y(g)?
False
Suppose 4*n + 214 = -18. Let g = n + 75. Does 11 divide g?
False
Suppose 3*y = -6, -3*y - 38 = -5*j + 43. Suppose j*p = 11*p + 160. Is 10 a factor of p?
True
Suppose 2*o + 4*u - 190 = 0, -5*o + 457 = -5*u + 6*u. Let p = 9 + -4. Suppose -p*d + 164 = -o. Is d a multiple of 13?
False
Let r = 15 - 10. Let t = -71 - -76. Suppose 5*g + t*d = 20, -r*d + d - 5 = -3*g. Does 3 divide g?
True
Let d(s) = 2*s**3 - 8 - 3*s**3 - 10*s - 7*s**2 + 2. Let i(t) = 7*t**2 - 63*t - 6. Let u be i(9). Is 9 a factor of d(u)?
True
Let o = 80