be n(-7). Let x(o) = -o**3 + 1. Let v(u) = -2*u**3 + 9*u**2 + 10*u + 26. Let a(l) = v(l) - 3*x(l). Is 3 a factor of a(f)?
False
Let z(l) be the third derivative of 3*l**6/40 + l**4/12 - 2*l**3/3 + 8*l**2. Let u be 1/(4/12) - 1/1. Is z(u) a multiple of 9?
True
Suppose 3*u + 0*o - 5*o + 10 = 0, 3*u - 25 = -2*o. Suppose 0 = 4*y + 5*z - 2561, 5*z - 1919 - 1276 = -u*y. Is y a multiple of 51?
False
Let s(x) = -x**2 - 21*x. Let j be s(-21). Suppose 0 = -l + 2*d - 2, 3*d + d = 3*l + 2. Suppose -2 = 2*i + 3*u - u, l*u + 10 = j. Does 4 divide i?
True
Let o = 17968 + -12586. Is 23 a factor of o?
True
Let w = 12126 - 5531. Does 6 divide w?
False
Suppose 5*y - 9932 = -3*x, 8*x + 6663 = 10*x - 5*y. Is x a multiple of 26?
False
Let p = -4352 + 6608. Is p a multiple of 8?
True
Let l(k) = 2*k + 18. Let i be l(-7). Suppose 14 = 6*d - i*d. Is 10 a factor of ((-60)/d)/(1*(-6)/42)?
True
Let r(t) = -52*t**3 + t**2 + 1. Let c be r(1). Let w = -108 - c. Let u = w - -83. Is 14 a factor of u?
False
Suppose -8*r - 2602 - 5766 = 0. Is (-1 - r/8)/((-3)/(-8)) a multiple of 11?
False
Suppose -s - 3 = -3*m + 3, 0 = 2*s - 4*m + 14. Let d(z) = z**3 + 12*z**2 + 14*z + 15. Let c be d(s). Suppose 38*a = 40*a - c. Is a a multiple of 17?
False
Let u be 167/3*(44 + -26). Let f = u + -698. Is f a multiple of 19?
True
Does 8 divide (-1306342)/(-1074) + (4/6 - 1)?
True
Let a = -670 + 1201. Let o = -315 + a. Does 27 divide o?
True
Let k(i) = i**3 - 2*i + 54. Let s(b) = 2*b**2 - 33*b + 16. Let o be s(16). Is 9 a factor of k(o)?
True
Let v be (6/(-4) - -3)*(-1 + -1). Let b be v + -1 + 165 - 3. Suppose 4*o + 7 = -13, -b = -3*n + o. Is n a multiple of 17?
True
Let v = -3811 - -4803. Is v a multiple of 8?
True
Let f(p) = 4*p + 13. Let b be f(0). Let m(n) = -26*n + b*n + 10*n. Is m(-16) a multiple of 24?
True
Is (-20 + 23)*((-8)/14 - (-14766)/42) a multiple of 27?
True
Let a be -3*3*(-1)/3. Suppose 2 = -q, y = -a*y - q + 374. Is 44 a factor of y?
False
Let z(w) = 171*w + 2754. Does 29 divide z(-10)?
True
Let b = -5023 - -8711. Let p = -2335 + b. Does 22 divide p?
False
Is 3 a factor of 2/31 + (-449556)/(-93)?
False
Let j = 6069 + -3960. Is 37 a factor of j?
True
Let w(k) = -4*k**2 - 13*k. Let q be w(-3). Let u(n) = 8*n**3 - n**2 + n + 2. Is u(q) a multiple of 10?
False
Let r = 84 - 82. Does 41 divide r/(-15) - (-43498)/210 - -3?
False
Let b(m) = -m**2 + 119*m - 777. Is b(86) a multiple of 46?
False
Let t(r) = -2*r + 14. Let d be t(8). Let v be (-54*(-4)/2)/(d - -3). Is 2 a factor of (v/63)/((-23)/(-21) - 1)?
True
Let d(q) be the third derivative of q**6/120 + 7*q**5/60 - 5*q**4/12 - 19*q**3/6 + 20*q**2. Let r be d(-8). Is (28 - 1)/(-1 + (r - -5)) a multiple of 9?
True
Let y(s) = 351*s**2 - 5*s - 14. Is y(5) a multiple of 104?
True
Suppose -5*s - 455 + 13960 = 0. Suppose s = 7*a + 832. Is a a multiple of 8?
False
Let l = 11404 - 6500. Is 4 a factor of l?
True
Suppose 73*c = 410*c - 3095008. Does 5 divide c?
False
Suppose -138 = 19*s - 21*s. Suppose -86*l + s*l + 1564 = 0. Is 23 a factor of l?
True
Let t(z) = 1037*z**2 + 124*z - 39. Is 54 a factor of t(3)?
True
Let j(r) = -18*r**3 - 4*r**2 + 3*r + 1. Let h be j(-3). Suppose 3*p - h = -10*p. Is 12 a factor of (-4)/(-6)*(p + 2)?
True
Let k(w) = -3394*w**3 + 2*w**2 - 6*w - 6. Is 12 a factor of k(-1)?
True
Let y be (-1 + 4)*(-1)/(-6)*14. Suppose -26 = -y*c + 2. Let d(f) = f**3 + f**2 - 2*f + 2. Is 20 a factor of d(c)?
False
Let h = 9551 + -7193. Does 96 divide h?
False
Let z = 11002 - -2916. Does 4 divide z?
False
Suppose -46*c + 189085 = -99933. Is c a multiple of 157?
False
Let z be (-168)/6*-5*3/(-1). Let y = z - -751. Does 11 divide y?
False
Let q(n) = n**3 - 5*n**2 + 5. Let v be q(5). Suppose -v*p = -3*f - 15, -2*f + f - 9 = -3*p. Suppose f = 4*u + z - 138, 6*z = 7*z - 2. Is u a multiple of 13?
False
Let j = -253 + 148. Let h be -5*(6/35 + 60/j). Suppose -h*p + 93 = -v, 4*p - 4*v - 132 = p. Does 6 divide p?
True
Let r(g) = 3*g + 8 + 7 - 24*g - g**2. Suppose -6*u - 21 = 45. Is r(u) a multiple of 25?
True
Suppose 2*f - 2026 = -2*k, -995 = -5*f + 4*f + 5*k. Is 3 a factor of f?
False
Let z = -158 - -158. Suppose 10*x - 1491 - 3369 = z. Is 18 a factor of x?
True
Suppose 8 = j - 4. Let v(a) = -16 - a + 7 + 12 + 22. Is v(j) even?
False
Suppose -5*t - 69 = 3*u - 4*t, -2*u - t - 46 = 0. Let z = u + 55. Is 10 a factor of ((-35)/2 + -2)*z/(-12)?
False
Suppose -2*j + 7*j - 10 = 0. Suppose -j*r + 384 = -4*i, -4*i = r + 2*r - 536. Suppose -8*g = -4*g - r. Is 22 a factor of g?
False
Let t(u) = 3*u + 168. Let g = 60 + -22. Is t(g) a multiple of 47?
True
Let q be (-2)/(3 + 11/(-3)). Suppose 412 = q*x - 224. Does 4 divide 1/(((-426)/x + 2)*-2)?
False
Let o = 10521 + -4361. Does 10 divide o?
True
Suppose 12*k - 3327 - 897 = 0. Suppose 2*z - k = -4*b, -3*z + 5*b = b - 508. Does 43 divide z?
True
Suppose 19*a - 8*a = 88. Suppose -10*t + a*t = -4. Suppose t*n + q = 3*n - 106, 5*n - 3*q - 524 = 0. Is n a multiple of 34?
False
Is (32 - 2)/(4307/2152 - (-173 - -175)) a multiple of 20?
True
Let j = -53 + -59. Let t = j + 238. Is 21 a factor of t?
True
Suppose -308*h - 24997 = -315*h. Suppose 3*d - h = -x, 4*d = d + 2*x + 3568. Is d a multiple of 34?
True
Let b(t) = 168*t - 5369. Is 13 a factor of b(39)?
True
Suppose 0*x - 2*x - 5 = g, 35 = 5*g - 5*x. Does 8 divide 8*(0 + 12/g)?
True
Let f = -3 - -43. Suppose 52*v - f*v = 6264. Is v a multiple of 31?
False
Let i(g) = 40*g**2 + 59*g - 657. Does 64 divide i(15)?
False
Let f be (-2 - 4) + 0 + 7. Let r(l) = 305*l**3 - l**2 + l - 1. Is 16 a factor of r(f)?
True
Suppose 17*f = 148867 + 75907. Is f a multiple of 27?
False
Suppose 280*h - 285*h + 55196 = 3*v, 0 = -4*h - 5*v + 44149. Is h a multiple of 26?
False
Let w = 24 - 2. Let u(t) = 2*t + 13. Let r be u(-4). Suppose w = -2*z + r*f + 380, 4*z + f = 760. Is 27 a factor of z?
True
Suppose 0*a = -2*a - h + 2, 16 = -4*h. Let i be (-15)/a + -79 + 1. Let t = 90 + i. Does 5 divide t?
False
Suppose 0 = t - 5*u - 336, 21*u - 20*u = -t + 336. Is t a multiple of 16?
True
Is 18 a factor of -5*(-19 + (-50863)/95)?
True
Let b(c) = -c**2 - 8*c + 4. Let x be b(-5). Let f(v) = v**3 - 19*v**2 + 2*v + 22. Let j be f(x). Suppose 4*k - j = 140. Is k a multiple of 9?
False
Let d = 86253 - 47405. Is d a multiple of 42?
False
Let k(t) = 53*t**2 + 5*t. Let c be k(-2). Suppose 7*q - c = 71. Is q a multiple of 13?
True
Let v(p) be the third derivative of p**6/120 + 19*p**5/60 - p**4/4 + p**3 - 218*p**2. Is 28 a factor of v(-14)?
False
Let j = 225 + 33. Let q = -796 + 802. Suppose -q*c + 864 = -j. Is c a multiple of 17?
True
Suppose -g + 1802 = -4*o, -2*g + o - 9115 = -7*g. Suppose 0 = 6*t - g - 236. Is t a multiple of 7?
True
Suppose -4*k = 0, 5*t - 8*k + 6*k + 295 = 0. Let v = 33 - t. Is 73 a factor of v?
False
Let c = 81 + -51. Is 14 a factor of -5*((-2724)/c + 4)?
True
Let m = 1418 - 982. Is 13 a factor of m/6*3 - (0 + -3)?
True
Suppose -3*m + 5945 = 2*m. Suppose 3*v - 1517 = m. Is 38 a factor of v?
False
Does 4 divide -33 + 31 - 30*-103?
True
Let c(f) be the third derivative of -f**6/120 + 17*f**5/30 + 23*f**4/12 - 49*f**3/6 - 33*f**2. Is 12 a factor of c(35)?
True
Let o(n) = 5*n + 99. Let j be o(-26). Let c(p) = -p**3 - 30*p**2 + 17*p - 17. Is c(j) a multiple of 11?
False
Let l = 7520 + -5261. Is 9 a factor of l?
True
Suppose -67 = m - 62. Let g(k) = -22*k - 71. Is g(m) even?
False
Let t = 31183 + -7393. Is t a multiple of 62?
False
Suppose -5*r + r - 19640 = -2*d, -20 = 4*r. Is 92 a factor of d?
False
Let j be 8/(-6)*(-108)/36. Suppose 0 = -j*m - l + 1723, -2*m + 7*m - 2*l - 2170 = 0. Is 10 a factor of m?
False
Let r(c) = 4*c**3 - 2*c**2 + 8*c - 10. Let x = -91 - -91. Suppose 11*b - 12 = 7*b, x = -m - 5*b + 18. Is r(m) a multiple of 26?
True
Suppose 5*p - 3*x = 217051, -3*p + 3*x + 90219 = -40008. Is 165 a factor of p?
False
Let d be 9 + (-368)/40 - (-52)/10. Suppose -d*y + 1437 - 312 = 0. Does 45 divide y?
True
Suppose 0 = 11*b - 40 - 15. Let h be 3/b + 14/10. Suppose -m = -3*k + 787, h*m - 343 = -2*k + 179. Is 45 a factor of k?
False
Let c = 17343 + -15564. Is c a multiple of 88?
False
Let p(s) = 58*s + 2735. Is 3 a factor of p(-38)?
True
Suppose -410*w + 3217258 = -1302992. Is w a multiple of 76?
False
Suppose 41917 - 10573 = 16*w. Is 7 a factor of w?
False
Suppose 0 = 3*q - 0 + 12. Let