) be the first derivative of z**6/120 + z**5/6 - z**4/2 + 3*z**3/2 - 2*z**2 - 2. Let a(r) be the second derivative of b(r). Does 4 divide a(-11)?
True
Is 27 a factor of -6 + (-7 - (-429 + 6))?
False
Let r = 651 - -121. Does 16 divide r?
False
Let v(h) = -2*h - 12. Let y be v(-8). Let z be 1 - y - (2 - 2). Let d = 16 - z. Is 11 a factor of d?
False
Suppose -6*m + 1902 = -3378. Is m a multiple of 7?
False
Let n(y) = 2*y - 23. Let q be n(13). Suppose -5*s - x + 96 = 0, -76 = -q*s - x + 5*x. Is s a multiple of 10?
True
Suppose 0 = y - 5*o + 361 - 1675, -6654 = -5*y - 3*o. Is 30 a factor of y?
False
Is 20 a factor of (9 - 715/(-22))*(41 - 1)?
True
Is 32 a factor of -10*(96/(-15) - 0/3)?
True
Let y(i) = -i - 11. Let s be y(-8). Let z be (-1)/s + (-28)/3. Let r = 26 + z. Is r a multiple of 5?
False
Let o(i) = -i**3 - 7*i**2 + 1. Let q be (-516)/66 + (-6)/33. Is 12 a factor of o(q)?
False
Suppose -3*p + 4727 = 4*w, 3*p - 20 = -w + 1155. Is w a multiple of 74?
True
Is ((-217)/(-49) - 4)*49 a multiple of 15?
False
Let u be (-3)/1*1*-1. Suppose u*k - k - 8 = 2*h, -4*h = -5*k + 21. Suppose -267 = -k*a - 72. Is a a multiple of 13?
True
Suppose 6*o = 7*o + 43. Let c = 61 + o. Does 3 divide c?
True
Suppose -d - 2 = -8. Let q be 3/(-2) + 633/d. Let c = 41 + q. Is c a multiple of 38?
False
Suppose 248*h = 242*h + 4500. Is 15 a factor of h?
True
Suppose -15*o = -12*o - 24. Suppose -4*r - o*r = -480. Is r a multiple of 10?
True
Suppose 10 - 1 = -3*n. Let j be (3 + -3)/4 - n. Suppose 34 = 2*r + o, 0*r + 3*o + 60 = j*r. Does 7 divide r?
False
Suppose -10*d + 3*d = -21. Suppose -d*i + 7*i = -5*h + 310, -2*h + 124 = -3*i. Is 16 a factor of h?
False
Suppose -11*q + 56 = -15*q. Let n = 124 - q. Is 15 a factor of n?
False
Suppose 35*a = -2*p + 30*a + 218, -2*p - a + 202 = 0. Does 25 divide p?
False
Suppose -a + 3*z = -20, 4*z + 4 = -16. Is 790/11 - a/(330/(-12)) a multiple of 12?
True
Suppose 0 = 5*x - 39 - 46. Suppose 7*l - 3*l = 2*o - 16, -4*o = -3*l - x. Suppose 3*y - 82 = -0*y - o*v, y = -5*v + 10. Is y a multiple of 10?
True
Let p be (-21)/(-6)*24/14. Suppose 4*u = 7*u - p. Suppose -u*f = -3*d - 22, -f + 56 = 3*f - 3*d. Is 17 a factor of f?
True
Let l(s) be the third derivative of 0 + 0*s - 1/2*s**3 - 9*s**2 + 7/12*s**4. Is 10 a factor of l(2)?
False
Let r(t) = -t**3 + 6*t**2 - 3*t + 8. Let y be r(6). Is 30/(-9)*75/y a multiple of 16?
False
Suppose -5*t - 4*q - 7 = -1, -2*q + 2 = 5*t. Suppose 0*l + 6 = -t*l. Let g(i) = -2*i**3 - i**2 - i + 1. Does 10 divide g(l)?
False
Let s = 10 - 8. Suppose -4*m - 104 = -3*i, 5*m - 58 = -s*i + 2*m. Is 16 a factor of i?
True
Suppose -8*y + 23 + 1 = 0. Suppose 3 = 3*u - y. Suppose 0 = -u*s + 35 + 153. Is 16 a factor of s?
False
Let d(m) = -15*m - 27. Let u be d(-5). Suppose 23*l + u = 24*l. Is l a multiple of 12?
True
Let f be (1 + -250 + 6)*(-1)/3. Suppose 5*l + 4*v - 72 - 58 = 0, 0 = 3*l + 3*v - f. Is l a multiple of 2?
True
Suppose -73*x + 133*x = 11460. Is 6 a factor of x?
False
Suppose -3284 = -4*f + 2*s, -f - 19*s + 18*s + 821 = 0. Is 18 a factor of f?
False
Suppose 0 = -2*b + 4*t + 5420, -2*b + 3*t - 1242 = -6667. Is 68 a factor of b?
True
Suppose 0 = -3*a + 4*j + 45 - 107, 2*a + 2*j + 32 = 0. Let p be 1*a*4/(-8). Let h(g) = g**3 - 9*g**2 + 13. Is h(p) a multiple of 10?
False
Suppose 4*g + 74 = 2*z, g + 0*g + 17 = -z. Let u = 12 + 9. Let a = u + g. Is a a multiple of 2?
False
Let u(o) = 866*o + 4. Let h be u(-2). Is 14 a factor of ((-2)/3)/(16/h)?
False
Let z be (70/(-42))/(1/(-3)). Let m(f) = f**3 - 6*f**2 + 6*f. Let d be m(z). Does 2 divide (d + -3)/((-2)/(-4))?
True
Suppose -5*y + 21 = -2*z, y - z = -2*z. Suppose -227 = -3*b - 47. Suppose 2*a = -y*o + 5*o - b, 0 = -4*o + a + 114. Does 9 divide o?
False
Suppose -3*f = w - 108, -36 = -0*f - f + 4*w. Does 6 divide f?
True
Is ((-6)/15)/2 + (-9128)/(-140) a multiple of 13?
True
Suppose -6196 = 32*m - 25620. Does 15 divide m?
False
Let t = -1751 - -2599. Is t a multiple of 17?
False
Suppose 2*s = 4*y + 194, -3*y - 443 - 49 = -5*s. Is 11 a factor of s?
True
Let r be (3 + 1 + 80)/1. Suppose -31*o + 25*o = -r. Is o a multiple of 4?
False
Does 19 divide (-96)/2*-1 - -8?
False
Suppose -3*y = 84 - 399. Let r = y + -100. Is r a multiple of 4?
False
Let i be 16*((-50)/(-4))/5. Suppose 4 = -k - i. Let c = k - -99. Is 23 a factor of c?
False
Let o(m) = 3*m**2 - 5*m + 6. Let g(y) = -7*y**3 + y**2 + y - 1. Let z be g(1). Let v be (21/(-14))/(3/z). Is 6 a factor of o(v)?
True
Let t(s) = 7*s**2 - 5*s - 12. Let w be t(-5). Let b = 2 + 0. Suppose -b*z = -w + 54. Does 9 divide z?
False
Let f(n) = -n + 6. Let c be -6 - (-4 - (-1)/1). Let r be f(c). Is 3/r - (-250)/6 a multiple of 14?
True
Let s be (-640)/(-25)*(-5 + 0). Let f = s - -308. Is 10 a factor of f?
True
Let b(f) = 3*f + 5. Let v(h) = -3*h - 7. Let g be v(-4). Is b(g) a multiple of 4?
True
Is 14 a factor of 48 - 9 - (5 - (3 - -5))?
True
Let b = 1875 + -586. Is 28 a factor of b?
False
Does 37 divide 1/(-3) + (-669)/(-9)?
True
Suppose 10 = 5*r, 3*r + 52 = -3*h - r. Is (-1 + (3 - -5))/((-4)/h) a multiple of 5?
True
Let x be (-28)/(0 - -3 - 10/5). Is (-2)/(3 + x/12) + 65 a multiple of 16?
False
Suppose 5*c - 4*i - 7953 = 437, 2*i = -3*c + 5056. Is 29 a factor of c?
True
Let k be (-2)/(-1 + 3)*1. Let d(h) = 2*h + 73*h**2 + 18*h**2 + 1 - 10*h**2. Is 22 a factor of d(k)?
False
Suppose -3*l + 329 = -82. Let p = -234 + l. Let c = p - -139. Does 14 divide c?
True
Suppose -4*o + 8 = -4. Suppose -8 = -t - o*d, 8 = t - 5*d + 3*d. Suppose 6*j + 186 = t*j. Is j a multiple of 31?
True
Let h = 292 - 163. Does 14 divide 24/6*h/6?
False
Let n(s) = -4*s + 5. Let r be n(-11). Suppose -r = -5*f + 6. Let b = 31 - f. Is 8 a factor of b?
False
Suppose 32*d = -13*d + 53055. Is 69 a factor of d?
False
Let x(b) = -41*b + 1. Let q(g) = 42*g. Let w(m) = 3*q(m) + 4*x(m). Let o be w(-2). Let a = -57 + o. Is 18 a factor of a?
False
Let w(h) be the third derivative of -11*h**4/24 + h**3/6 + 7*h**2. Is 12 a factor of w(-1)?
True
Suppose -2*u - 5*a + 770 = 0, 4*u + a - 1550 = -4*a. Suppose -6*n + n + u = 0. Is n a multiple of 39?
True
Is 18 a factor of (-66)/(-88) - (48975/(-12))/5?
False
Suppose 0*t + 20 = -4*t. Let j(m) be the first derivative of m**3/3 - 5*m**2/2 - 12*m - 7. Does 14 divide j(t)?
False
Suppose -4*n = 4*o - n - 5, 3*n + 13 = 5*o. Let u(y) = y + 11 - o*y + 2*y. Does 2 divide u(-6)?
False
Let o(q) = -3*q. Let v(m) = -13*m - 1. Let t(f) = -21*o(f) + 3*v(f). Is t(1) a multiple of 5?
False
Suppose 10*z - 145 - 15 = 0. Suppose -z = 2*q - 204. Is 14 a factor of q?
False
Does 16 divide 2349/21 - (-1)/(14/2)?
True
Let o(y) = -y**2 + 3*y. Let g be o(4). Is 12 a factor of ((-1708)/(-21) + g)/((-4)/(-6))?
False
Let p(n) = n**2 - 12*n + 10. Let o be p(13). Let t(g) = g**2 + g + 34. Let i be t(0). Let k = i - o. Does 8 divide k?
False
Let i(m) = 3*m - 2. Suppose -119 = -4*b + c, -5*b + 147 = -0*c - 3*c. Let t be (-1)/6 + 125/b. Is i(t) a multiple of 8?
False
Does 46 divide ((-184)/69)/((-4)/966)?
True
Suppose 2*r = 3*i - 274, -4*r + i = 6*i + 592. Let n = r + 317. Is 29 a factor of n?
True
Suppose -4*f - 2 = -3*y, -2*y = y - 2*f - 4. Suppose -d + 3 = -y*d, 0 = -j + 3*d + 11. Suppose -j*b + 7*b - 263 = o, 2*b - 119 = 5*o. Is b a multiple of 13?
True
Let f(t) = -t**3 - 3*t**2 + 2. Let l be f(-3). Let s be (6/(-9))/(l/15). Is -4*6/20*s even?
True
Let i(c) = -2*c + 6. Let t be i(6). Let s(p) = p**2 + 6*p + 3. Let x be s(t). Suppose y = 3*y + d - 33, -x*d = -3. Is y a multiple of 6?
False
Suppose -5*d = -19*d + 28. Let t(j) = 7*j**3 - 2*j**2 - j - 1. Is 9 a factor of t(d)?
True
Suppose -5*z - 18 - 187 = 0. Let j = 44 - z. Does 17 divide j?
True
Suppose -18 = -z + 6. Let c be 5 + -8 - (-1 + z). Is (-3 - -3) + c/(-1) a multiple of 26?
True
Let s(u) = -62*u + 48. Is 32 a factor of s(-8)?
True
Suppose -g + 1 = 0, p - 4*g + 2 = -0*p. Suppose -p*w - w = -681. Is 28 a factor of w?
False
Let b be (3/2)/(33/44). Suppose b*o = -0*o + 8. Is 3 a factor of o?
False
Let a = -22 - -24. Suppose 0 = -0*n - a*n - 6. Does 18 divide 2/n - (-1308)/18?
True
Let x(h) = -h + 24. Let g = 4 - 4. Let a be x(g). Suppose 4*z - 5*k = 1 + 5, 5*z - a = -2*k. Is z a multiple of 3?
False
Suppose 17*r - 387 = 16*r. Is r a multiple of 8?
False
Let m = 226 + -46. Suppose 16*s - m = 13*s. Suppose 2*j = 7