e second derivative of y**3/6 + 13*y**2 + 6*y. Is l(11) a multiple of 6?
False
Let g = 650 + -208. Is g a multiple of 51?
False
Let q(s) = -s**3 - 16*s**2 - 15*s + 14. Let g be q(-15). Suppose b + 4 + 4 = 0. Let r = g + b. Is r a multiple of 3?
True
Let p be (1/4*2)/((-6)/48). Let h(q) = -3*q + 9. Does 21 divide h(p)?
True
Let o(l) = -29*l + 2. Let m(z) = 87*z - 5. Let y(u) = -4*m(u) - 11*o(u). Let p be y(-4). Is (p/(-4))/((-3)/4) a multiple of 38?
True
Let l(n) = 2*n**3 + 6*n**2 + 2*n + 4. Is 30 a factor of l(6)?
False
Let z = -31 + 73. Let m = -8 + z. Is m a multiple of 2?
True
Let d(k) = 26*k + 12. Is d(2) a multiple of 32?
True
Is 7 a factor of (18/5)/(6/40)?
False
Let o = 163 - -1003. Suppose 7*n - o = 304. Is 14 a factor of n?
True
Suppose -4*t - 4*y = -760, -3*t = -0*t + 5*y - 578. Does 8 divide t?
False
Let l(y) = -y**3 + 8*y**2 - 3*y - 6. Let a = 55 - 25. Suppose a = k + 4*k. Is l(k) a multiple of 25?
False
Suppose 30 - 6 = 4*h. Let y(p) = -p**3 + 6*p**2 + p - 1. Is 4 a factor of y(h)?
False
Suppose -j + 605 = 5*i, -2*j = 4*i - 3*j - 475. Is 12 a factor of i?
True
Is ((-36)/15)/(756/(-150) - -5) a multiple of 47?
False
Suppose -5111 = -2*h + 3*s, -11*h + 8*h + s + 7670 = 0. Does 16 divide h?
False
Let r = 20 + 38. Suppose -3*m = -2*m + x - r, -x = 4*m - 238. Is m a multiple of 29?
False
Let f(u) = u**3 - 2*u**2 + u. Let l be f(3). Let p = l - 8. Suppose p*a - 170 = -a. Is a a multiple of 6?
False
Does 14 divide (-1)/(3/2)*(-6 + -270)?
False
Let o(p) = -p**3 - 2*p**2 - 8*p + 48. Does 25 divide o(-11)?
True
Let n = 44 - 52. Let v = n + 26. Is v a multiple of 18?
True
Let m = -271 - -39. Let s = m - -336. Is (-14)/42 - s/(-6) a multiple of 6?
False
Is 153288/84 - (-6)/(-7) a multiple of 19?
True
Let v = 377 + -212. Let l = v - 77. Is 16 a factor of l?
False
Let r(v) = -v**2 - 12*v + 13. Let a be (-4)/(-14) + 79/(-7). Let i be r(a). Is 9 a factor of ((-8)/i)/(2/(-162))?
True
Let h(b) = -b**2 + 3*b + 15. Let d be h(13). Let c = 60 + d. Let a = c + 87. Is 17 a factor of a?
False
Suppose -33*z + 38*z = 5, -4*r + 3*z + 1853 = 0. Does 16 divide r?
True
Let j(h) be the second derivative of -h**4/12 - 4*h**3/3 - 9*h**2/2 - 8*h. Let v be j(-7). Does 21 divide (-3 + -123 + 0)/v?
True
Suppose 95676 = -1097*z + 1118*z. Is 73 a factor of z?
False
Suppose 6*j - 486 - 2970 = 0. Is j a multiple of 32?
True
Let l(q) = 4*q**3 + 10*q**2 + 9*q. Let d(s) = 5*s - 1 + 2*s - 6*s + s**2 + s**3. Let r(t) = 5*d(t) - l(t). Is r(7) a multiple of 28?
False
Let v(y) be the first derivative of y**3/3 + 19*y**2/2 + 27*y - 8. Does 6 divide v(-19)?
False
Is 10757/62*(3 + -1) a multiple of 11?
False
Suppose -4*r + 2*r = -954. Suppose 0 = -2*q - 7*q + r. Is q a multiple of 11?
False
Let v = 549 + -330. Is v a multiple of 73?
True
Let z be 0/(1*(-1 + 3)). Suppose z = x - 2 - 0. Suppose 0 = -5*d + d + 5*i + 8, -34 = -x*d - 5*i. Is d even?
False
Let f(v) = -v**3 - 11*v**2 - 14*v. Suppose -2*r = 3*r + u + 42, 2*r = -3*u - 9. Let h be 84/r - 4/6. Is 20 a factor of f(h)?
True
Let d(o) = -3*o**2 - 2*o - 1. Let b(u) = -u - 1. Let k(a) = 4*b(a) - 2*d(a). Let p be ((-3)/2)/(6/8). Does 11 divide k(p)?
True
Let f = 464 + -277. Let l be 3/(-5)*(2 - f). Suppose 3*b - 153 = -4*q, -b + l = q + 2*q. Is 28 a factor of q?
False
Let h(f) = -2*f**2 - 2*f - 1. Let n(j) be the second derivative of j**3/6 - j**2/2 - 4*j. Let p(y) = -h(y) + 2*n(y). Is 29 a factor of p(3)?
True
Let w = 210 - 254. Let p be (-2)/3 - (-64)/(-3). Let x = p - w. Does 11 divide x?
True
Suppose -9*a - 226 = -10*a. Does 3 divide a?
False
Is 23 a factor of (2/(-6))/(78/(-192114))?
False
Does 34 divide (87/(-2))/((-45)/420)?
False
Suppose 56400 = -72*i + 97*i. Does 18 divide i?
False
Let q(u) = 2*u + 46. Let d be q(2). Suppose -3*c - 4*r = r - 7, 2*r + 2 = 0. Suppose o = -c*o + d. Is 10 a factor of o?
True
Let k = 876 + -366. Suppose -3*s + 3*y + k = 2*s, 4*y + 85 = s. Is 22 a factor of s?
False
Let w = 18 - 2. Is (w/(-30))/(-4) + (-1676)/(-30) a multiple of 13?
False
Let g be (5 + -9)/(4/(-2)). Let u be (-4)/((-8)/g) - -1. Suppose 5*o - u*d - 185 = 0, 5*o + 6*d - d = 150. Is o a multiple of 10?
False
Let t(u) = 2*u**3 - 32*u**2 - 14*u - 30. Is 41 a factor of t(18)?
False
Suppose -1 = -4*c + 3. Let a(f) = -5 + c + f - 5*f. Does 8 divide a(-7)?
True
Let h(p) = 523*p - 293. Is h(3) a multiple of 58?
True
Let o = -29 - -32. Suppose -o*h + 2*w + 33 = 5*w, 5*h - 61 = w. Let k = h + -5. Is 7 a factor of k?
True
Let u(k) be the third derivative of k**5/60 + k**4/24 - k**3 + k**2. Does 2 divide u(-4)?
True
Suppose -3*w + 1963 = -a, -2*w - 46 + 1373 = 3*a. Does 41 divide w?
True
Let b(u) = -164*u + 3 - 123*u - 2. Let o be b(5). Is 20 a factor of o/(-22) + 2/(-11)?
False
Let j(h) = -h**2 + 5. Let o be j(0). Suppose 467 + 428 = 5*l - o*r, -4*r = 2*l - 358. Suppose -2*z - 175 = -3*k - 3*z, 3*k - l = -2*z. Is 19 a factor of k?
True
Is 104/10*(-3 + 38) a multiple of 21?
False
Let h(b) = 3*b**2 + b - 4. Let t be (0 - -3)*(-10 - -9). Let r be h(t). Suppose -5*f + 28 = -2*s, -3*f + 0*f = -2*s - r. Is f a multiple of 4?
True
Let z = 6360 + -4044. Is 12 a factor of z?
True
Suppose 1006 = -21*l + 4261. Is l a multiple of 6?
False
Let x = -26 + 32. Suppose 433 = x*g - 521. Does 53 divide g?
True
Suppose 4*p - 8 = -r, -5*r - 6 = p - 27. Does 11 divide (p/(-2))/(14/(-3556))?
False
Suppose -4*t - 5*m + 32 = 0, -t - 13 = -2*m - 2*m. Let a(v) = -v**3 + 3 - 2*v - 5*v**3 - 4*v**2 + 1 + 4*v**t. Is a(-3) a multiple of 14?
True
Let m(f) = f**3 - 44*f**2 + 142*f. Does 41 divide m(41)?
True
Suppose 0 = 5*p - y - 4*y - 5650, 2*p = -4*y + 2284. Does 18 divide p?
True
Let t be (-5)/(5/2)*(0 + 2). Is (6/t)/((-36)/3840) a multiple of 32?
True
Let d = -41 - -83. Suppose d = 2*h - 420. Does 21 divide h?
True
Let d(h) = h**2 + 3*h + 16. Does 3 divide d(4)?
False
Let a = 10 + -8. Suppose 1 = -x, 2*x = a*b + 6*x. Suppose -6*p - 3*o + 138 = -b*p, 2*o - 104 = -3*p. Is 12 a factor of p?
True
Let l be 323 + 16 + 1/1. Let m = -237 + l. Is m a multiple of 36?
False
Is -50*(-3)/(-6)*-11 + 5 a multiple of 35?
True
Let k(d) = -3*d - 2. Let l be k(-4). Suppose -12*f + l*f = 0. Suppose f = 3*t + 70 - 433. Is t a multiple of 31?
False
Suppose 4*n - 24 = -2*n. Let y(h) = h**2 - 2*h - 8. Let s be y(n). Suppose 4*u + s*u + 12 = 0, -r + 42 = -2*u. Is r a multiple of 12?
True
Let i be (1 + -1)*1/4. Let h(u) = -u + 2. Let s be h(i). Let g(j) = 4*j**2 + j - 2. Is 4 a factor of g(s)?
True
Let s(d) = -d**3 + 9*d**2 + 10*d + 14. Let o(a) = 2*a**2 - 2*a - 2. Let h(j) = -j**3 - 5*j**2 + 7*j + 4. Let z be h(-6). Let i be o(z). Is 7 a factor of s(i)?
True
Suppose 0 = u - 22 - 91. Let m = u + -17. Is m a multiple of 18?
False
Suppose 18 = -l + 4*l + 3*c, -5*l - 2*c + 24 = 0. Suppose l*o + 4 = 3*i, i - 3 = -3*o + 7. Suppose -4*f + h = -i*h - 121, 4*f - 111 = -5*h. Does 9 divide f?
False
Let i = 3502 + -2377. Does 9 divide i?
True
Let c(w) = -w. Let u(z) = 3 + 5*z - 3 - 3*z. Let d(k) = 4*c(k) - u(k). Is 12 a factor of d(-2)?
True
Let d(j) = j**2 - 24*j + 63. Let f be d(21). Suppose 1196 = 5*c + r, f*r + 1184 = 5*c + 4*r. Does 15 divide c?
True
Let l = 17 - 15. Is 5 a factor of l/(-6)*(-65 + 8)?
False
Let k be 4 + (3 - -26) + -4. Let o = 29 - k. Suppose -i + 2*w - 5*w = -41, o = i + w - 51. Is i a multiple of 17?
False
Let k be (-2 + -1)*5/(-3). Suppose a = k*h - 599, -3*h = -2*a - 60 - 298. Suppose d - h = -4*d. Is 16 a factor of d?
False
Suppose -d - 2*d - 2718 = 0. Does 22 divide d/(-8) + 18/(-72)?
False
Let u = -140 + 142. Suppose 2*l = -s + 99, 94 = u*l + 2*s - 0*s. Is 8 a factor of l?
False
Suppose 0 = 3*d - 6 - 9. Suppose 0 = -2*f + 3*o + 4 + 4, d*o = 5*f - 30. Let l = f - -53. Is l a multiple of 13?
False
Let l(w) = 2*w - 11. Let x(c) = -1. Let j(g) = -l(g) + 2*x(g). Suppose -k = 3*b + 11, 5*k + 44 = -0*k - 4*b. Does 16 divide j(k)?
False
Let l(b) = b + 57. Does 8 divide l(28)?
False
Suppose -2*n = -4*p + 2*p - 6, -12 = n - 4*p. Let l(m) = m**3 - 6*m**2 - 6*m + 1. Does 9 divide l(n)?
True
Suppose -34*k + 4278 + 652 = 0. Does 29 divide k?
True
Let d(j) = -j**3 + 8*j**2 + 2*j - 9. Let l be d(8). Let a(m) = 8*m - 5. Let c be a(l). Suppose s + 6 - c = 0. Is s a multiple of 15?
True
Let b = -76 - -75. Suppose 4 = -t + 21. Does 6 divide 0/1 - (b - t)?
True
Let r(p) = -p**2 + 15*p - 14. Let 