 j(k) be the first derivative of -k**4/4 - 5*k**3/3 + 5*k**2/2 - 3*k - 1. Let m be j(-6). Suppose m*a - 8 = 58. Does 8 divide a?
False
Suppose -3*m + 126 = -3*j, -4*m + 168 = -3*j - 2*j. Suppose -2*f - 131 = -3*t + m, -4*f = 5*t + 291. Let b = 113 + f. Is 8 a factor of b?
False
Suppose -f + 3*f = 0. Let k = -145 + 162. Suppose -2*n + l + 11 = f, 0 = 3*n + 3*l - 4 - k. Does 6 divide n?
True
Let z(l) be the first derivative of -5*l**4/2 - 4*l**3/3 - 5*l**2/2 - 4*l - 3. Is 7 a factor of z(-2)?
True
Let m be (-10)/4*(-136)/85. Suppose -2*d + 26 = -3*i, 70 = m*d - 5*i + 16. Is 8 a factor of d?
True
Let g = -798 - -1248. Is g a multiple of 45?
True
Let a(l) = 3*l**2 - 16*l + 9. Does 16 divide a(7)?
False
Let j be 3/(-1 + 2) + 3. Let l = j + -2. Suppose l*b = -5*s + 4, 0*b = b - 4*s - 22. Is 2 a factor of b?
True
Suppose 0 = -3*o + 3*p + 1269, 433 = 4*o - p - 1265. Is o a multiple of 25?
True
Suppose 0 = 4*i + 4. Let t be (-4 + 0 + i)*-1. Suppose 0 = t*g - 4 - 156. Is g a multiple of 16?
True
Let a(g) = 4*g**3 - 15*g**2 + 27*g + 11. Is a(6) a multiple of 22?
False
Suppose a + 7 = -3. Let j(l) = -l**3 - 10*l**2 - l - 8. Let m be j(a). Suppose m*p = -0*p + 44. Is 22 a factor of p?
True
Suppose 0 = -6*r + 12 - 0. Suppose -2 = -r*u + 2*n, n = -5*u + 3*n + 20. Is u a multiple of 4?
False
Let m = -50 - -52. Does 21 divide (-1)/(m/(-1590)*3)?
False
Let c = 53 - 35. Let q = 36 - c. Is 2*3*33/q a multiple of 3?
False
Let y = -3 - -5. Suppose -5*v - 5*p = -260, -y*v - 3*p + 107 = 2*p. Is 15 a factor of v?
False
Does 64 divide 631*(-2 - -6)/4?
False
Let u(b) = -4*b**2 - 2*b + 2*b**3 - 3 - 3*b**3 + 0*b**2 - 4*b. Does 21 divide u(-6)?
True
Suppose 8*v = 2*v + 228. Suppose -j + m + v = 0, j + 4*m + 0*m = 23. Is 9 a factor of j?
False
Let v(u) = u**3 - 2*u**2 + 2*u - 2. Let a be v(2). Let f(k) = 10*k**3 + 2*k**2 + 2*k - 1. Is f(a) a multiple of 13?
True
Let q be 24/120 - (-638)/10. Is 16 a factor of (15 + 3)/(6/q)?
True
Suppose -3*m = 2*p - 399, 21*m - 4*p = 24*m - 405. Does 7 divide m?
False
Let j(y) be the first derivative of -19*y**2/2 - 19*y - 14. Is j(-11) a multiple of 11?
False
Let q = 221 + 165. Is q a multiple of 10?
False
Suppose 416*c - 2307 = 415*c. Is 20 a factor of c?
False
Let i = 9 - 7. Suppose -35 = -5*b - i*b. Suppose o = -4, -b*n + 3*o + 71 = -211. Is n a multiple of 18?
True
Suppose 5*y = y + 60. Let k(z) = -3*z**2 + 7*z**2 + y*z + 11 - 11 + 6. Does 12 divide k(-6)?
True
Suppose -70*t + 5*t + 63440 = 0. Is t a multiple of 6?
False
Let p(m) = m**2 + m - 1. Let y be p(-3). Is 383/y + 38/95 a multiple of 11?
True
Let s(q) = q**3 - 45*q**2 + q - 68. Is 15 a factor of s(46)?
False
Let y(i) = i - 4. Let w be y(2). Let n(r) = -3*r**3 - r**2 - 5*r - 5. Is 10 a factor of n(w)?
False
Suppose -4*t + 0*t = -3400. Is 66 a factor of t?
False
Suppose -g + 6 = 2*g. Suppose -g*t = -3*z - 6*t + 146, -5*t + 148 = 3*z. Is 30 a factor of z?
False
Let b = -18 + 45. Suppose v - 29 = b. Is v a multiple of 7?
True
Let c = -199 + 487. Is 32 a factor of c?
True
Let o = 20 + -22. Let v(p) be the third derivative of p**5/15 + p**3/3 + 2*p**2. Is 8 a factor of v(o)?
False
Let p = 5 + -5. Suppose 2*l - 5*a - 75 = -p*a, 3*l - 2*a - 85 = 0. Is l a multiple of 2?
False
Let w = 283 + -262. Is 10 a factor of w?
False
Suppose 0 = 45*n - 50*n + 1730. Is n a multiple of 24?
False
Let h = 793 - 336. Suppose 2*b = 5*n - h, 5*b = 4*n - n - 259. Does 17 divide n?
False
Suppose 3*y = -5*c + 12463 + 302, 0 = 2*c - 2*y - 5122. Is 18 a factor of c?
True
Suppose 229*w = 226*w + 1110. Is w a multiple of 10?
True
Let r = -58 - 98. Is 2/4*(2 - r) a multiple of 15?
False
Suppose -167*f + 173*f = 9924. Does 34 divide f?
False
Let a = 43 + -25. Let l = a - -13. Is l + 4/3*3 a multiple of 5?
True
Let z(a) = 102*a**2 - 2*a + 1. Suppose 1 = 3*o - 0*o - c, -5*c = 5*o - 15. Let u be z(o). Let q = u + -50. Does 17 divide q?
True
Let t = 14 - 10. Suppose 0 = 5*o - t*o - 3. Suppose -o*n - 2*u = -61, 0 = 4*n - 4*u + 3*u - 96. Does 6 divide n?
False
Let d = 714 + -459. Is d a multiple of 3?
True
Suppose -7 = x + 2*i, -16 = -x + 4*i + 7. Suppose -x*t + 559 = 76. Does 10 divide t?
False
Let s(w) = 2*w - 30. Let d be s(22). Suppose -d*c = -2415 - 203. Does 11 divide c?
True
Let h = -13 - -16. Suppose h*y = 5*a - 318, 3*y + 192 = -a + 4*a. Does 10 divide a?
False
Let r be (-8)/(-12) + 553/3. Let u = r + -99. Is 17 a factor of u?
False
Let q = 82 - 78. Suppose 7*w + 3*u - 26 = 6*w, 0 = -q*w + 3*u + 29. Is 11 a factor of w?
True
Let v = -12 + 14. Let q(b) = 10*b**3 - 3*b + 3. Does 13 divide q(v)?
False
Let m = -34 + -39. Let a = -31 - m. Is 13 a factor of a?
False
Suppose -i - 24 = -0. Let q = i + 31. Does 2 divide q?
False
Let n = -7 - -29. Let l = -18 + n. Does 2 divide l/18 + (-140)/(-18)?
True
Suppose 2*j + 3*j - 20 = 0. Let a = j - 6. Is a/5 - 231/(-15) a multiple of 7?
False
Let j = -793 + 844. Is 5 a factor of j?
False
Suppose -w + 11 = 4*v, 3*v - 3*w = 2*w + 37. Suppose -v*o - o = 0. Suppose 3*u - 32 - 79 = o. Is 10 a factor of u?
False
Suppose -14 = z + 3. Let x = -206 - -139. Let t = z - x. Does 25 divide t?
True
Suppose 4*f - 40 = -0*f - 2*z, -53 = -5*f - 4*z. Let y(x) = x**3 - 8*x**2 - 6*x + 15. Is 9 a factor of y(f)?
False
Let a(r) = 2*r**3 - r + 2. Let f be a(1). Let t = f - -45. Does 8 divide t?
True
Suppose 44 = -12*i + 10*i. Is 64/3 - i/(-66) a multiple of 7?
True
Suppose -7*g = -722 - 1917. Is 44 a factor of g?
False
Let f(d) = d + 8. Let k be f(-4). Suppose -4*g - 3*c - 3 = 0, -3*g + k*g = -4*c - 17. Suppose 147 = g*o - 4*y + 39, y + 3 = 0. Is o a multiple of 32?
True
Let m(w) = -20*w + 5. Let b be m(5). Suppose 11*j = 13*j + 16. Let x = j - b. Is x a multiple of 29?
True
Let a = -1158 + 2395. Is a a multiple of 3?
False
Suppose -3*m - 800 = 2*d, 5*d + 213 = -3*m - 590. Let q = -171 - m. Does 19 divide q?
True
Suppose 0 = 3*t + 3*s - 678, 5*t + 3*s - 639 = 489. Is t a multiple of 15?
True
Let l(b) be the second derivative of b**4/12 - 4*b**3/3 + 7*b**2/2 - 16*b. Is l(10) a multiple of 14?
False
Suppose 22 = 16*s - 5*s. Does 14 divide 53 + (1 + 1 - s)/2?
False
Let h be (-8)/1 + (2 - 0). Let f(g) = 13*g**2 - 7*g. Let t(s) = -11*s**2 + 8*s. Let n(k) = -6*f(k) - 7*t(k). Is 16 a factor of n(h)?
True
Let p be (-4 + 2 + 5)/(3/4). Is 2/(-4) + 2/p + 99 a multiple of 11?
True
Let r(z) = 5*z**2 - z - 9. Let g(k) = -k**3 - 7*k**2 - 5*k + 8. Let i be g(-6). Let b = 2 + i. Is r(b) a multiple of 22?
False
Let h(c) = -c + 21. Let g be h(18). Suppose -4*m + 48 = -2*x, g*m - 5*x - 43 = -0*x. Is m a multiple of 5?
False
Suppose -j - 4*j - m = -6494, 3*m = 4*j - 5199. Is j a multiple of 22?
False
Let k = 124 + -180. Let r = 91 - -13. Let b = r + k. Is b a multiple of 24?
True
Suppose j = 5*h + 22, -j + 6 = h - 2*h. Let u(q) = q**3 + 3*q**2 - 6*q - 6. Let y be u(h). Is 9 a factor of (-36)/y*(-5 - -4)?
True
Let y = -8 + -17. Let o be 2/(-3) - y/15. Does 11 divide 42 - -1*(o - 0)?
False
Let g(w) = -3*w - 4*w + 9 + w**2 - 1. Let p be g(6). Let k(d) = 3*d**2 + 2*d - 1. Does 3 divide k(p)?
True
Let m be (24/18)/(2/6). Suppose 5*p = 2*t - 36, -m*p = -t + 3*t. Does 8 divide t?
True
Let k = -1166 - -1796. Is k a multiple of 18?
True
Suppose 2*a = -a + 1179. Suppose 3*q + 102 = a. Suppose -2*p + 513 = -z + 6*z, 0 = -z + p + q. Is z a multiple of 13?
False
Let o(b) = -7*b + 28. Let l be o(4). Suppose l = -m + 19 - 12. Is m a multiple of 2?
False
Suppose -54 = -4*a + 330. Let y be (19 + -24)*18/(-5). Suppose -a = y*v - 22*v. Is 8 a factor of v?
True
Suppose 40*i - 19227 = -1587. Does 13 divide i?
False
Let d = 71 - 59. Suppose 0 = g - 20 - d. Does 16 divide g?
True
Let j(l) = -l + 4. Let k be j(2). Suppose -12 = -3*h, -k*v + 3*h + 346 = -0*v. Let n = -53 + v. Is n a multiple of 36?
False
Suppose 22 = -2*a + 4*b, -4*b = -3*a - 5*b - 68. Let q = 23 + a. Suppose 4*g - 5*x = 19, q*x - 3*x + 5 = 0. Is 3 a factor of g?
False
Let m = 531 - 314. Suppose 6*z = 703 - m. Does 13 divide z?
False
Let p be (-63)/21 - (-9)/(-1). Is 20 a factor of (-8)/(-2)*(-13 + 6 - p)?
True
Suppose -3*i = 3*v - 942, 22*v + 4*i + 1570 = 27*v. Does 3 divide v?
False
Let r(x) = 5*x + 2. Let u(d) = -d**2 - 4*d + 5. Let a be u(-4). Suppose 0 = -2*c + a*f - 11, -22 = -5*c + 2*f - 6*f. Is r(c) a multiple of 4?
True
Let i(h) = -h**3 + 6*h**2 - 6*h + 3. Let z 