e
Let v(y) be the third derivative of 5*y**4/8 - 84*y**2. Let x be ((-8)/6 + 0)*-3. Does 20 divide v(x)?
True
Let t be -3*1*10/15. Let b be (-8)/(-4) - (t - 1). Suppose -3*a = -4*a + b*p - 11, -5*p = -2*a - 2. Is a a multiple of 3?
True
Let w(i) = i**3 + 3*i**2 - 4*i + 3. Let q be w(-4). Is q/(-6)*(4 + -70) a multiple of 33?
True
Let q = 11 - -3. Let y = 18 - q. Suppose -y*m + 30 = d, -2*m + 28 = m - 2*d. Is 3 a factor of m?
False
Let z be 3 - 1/3*0. Let i(t) = -14*t**3 - 2*t**2 + 3*t + 3. Let p be i(z). Is 16 a factor of 2/4*p/(-4)?
True
Let p(l) = 71 - 141 - l**2 - 7*l + 70. Let w be -1*-3*1*-2. Is p(w) a multiple of 2?
True
Let x = -250 - -298. Is x a multiple of 4?
True
Let v = 8 - 2. Suppose -3*x + 5*x = v. Is 3 a factor of (x/1)/(1/3)?
True
Let w(p) = -p**2 - 9*p. Let n be w(-9). Let d(t) = 4*t - 18. Let b be d(6). Suppose i = 5*y + 42, b*y - 3*y + 12 = n. Is 11 a factor of i?
True
Suppose 3*l - 4*a = -4, 0 = a + 2 - 3. Suppose 5*p - 5*t = -70, 4*p + 5*t = -l*p - 83. Let x = 73 + p. Is x a multiple of 19?
False
Suppose 0 = -3*b + 6, 1679 = 5*l - b - 10479. Is l a multiple of 16?
True
Let y(q) = -17*q - 21. Does 30 divide y(-3)?
True
Suppose 32*r = 429 - 1101. Let a be -1*(1 - -1) - 12. Let n = a - r. Does 4 divide n?
False
Suppose 11*r + 3982 = 22*r. Is 6 a factor of r?
False
Let a(j) be the second derivative of 11/10*j**5 - 2*j - 1/2*j**2 + 0 + 0*j**4 + 1/6*j**3. Is a(1) a multiple of 11?
True
Let g(v) = -6*v**2 + 151*v + 37. Is g(24) a multiple of 14?
False
Let a(b) = b**3 - 3*b**2 - 6*b. Let y be a(5). Let d be 8/y + 39/15. Suppose -2*k = -d*k + i + 106, 5*i = -15. Is 25 a factor of k?
False
Let s(c) = 3*c**3 + 3*c**2 - 4*c + 9. Is s(3) a multiple of 15?
True
Suppose -17946 = -17*y + 5157. Does 46 divide y?
False
Suppose -864 + 33996 = 33*o. Is 8 a factor of o?
False
Let k = 7284 - 4864. Does 55 divide k?
True
Suppose -5*g + 5*v = 0, 0 = -g - 0*g + 5*v - 12. Suppose -4*f = 5*l - 29 - 2, 85 = 5*f - g*l. Is 10 a factor of f?
False
Let f be ((-4)/1)/(-2) - 0. Let o = 10 + -7. Suppose -f*y = o*y - 60. Is y a multiple of 4?
True
Let s(m) = 4*m**2 - 16*m - 8. Let x = -42 + 53. Is s(x) a multiple of 15?
True
Let l(s) = -s**3 - 8*s**2 - 13*s - 4. Let t be l(-6). Suppose -5*p + 5 = 0, 2*f = -t*f + 2*p + 278. Is 14 a factor of f?
True
Suppose -2*d - c + 78 = -86, -6 = -3*c. Is d a multiple of 12?
False
Suppose -3*p + 2*j = 2, 0 = -0*p - p + 2*j - 6. Suppose -p*h - h = -138. Is h a multiple of 6?
False
Does 16 divide (6 - 11 - -8) + 1191?
False
Suppose -1274 = -4*u - 34. Is 10 a factor of u?
True
Let o = 554 - -90. Does 46 divide o?
True
Let s be ((-4)/8 + 0)*-18. Suppose -g + 16 = -s. Does 5 divide g?
True
Let a = 2471 + -1471. Is 10 a factor of a?
True
Let b = 581 + -331. Suppose 4*h + b = 5*l, 0*h = 4*l - 4*h - 196. Does 13 divide l?
False
Suppose 3*v = -4*g + 32, -4*v - 25 - 2 = -g. Let u(i) = 3*i + 7. Is u(g) a multiple of 40?
True
Suppose -2*h + 6 + 0 = 0. Let u(w) = -w**2 + 6*w**3 + 1 - 49*w**3 + 2*w**2 + 2*w + 4*w**h. Is 13 a factor of u(-1)?
True
Let r(z) = -z**3 + 11*z**2 + 6*z - 48. Is 3 a factor of r(4)?
False
Let f = -2 - -2. Let i = 39 + 15. Suppose f = x - 5*h - i, -x + 189 = 4*x + 2*h. Is 17 a factor of x?
False
Let h(k) = 16 + 32*k - 7 - 7 + 52*k. Let p(i) = -i**3. Let t be p(-1). Is h(t) a multiple of 17?
False
Let r = -29 + 26. Does 3 divide 1 + -3 - r - -2?
True
Suppose 0*o + 66 = 4*a - 2*o, -3*o - 39 = -2*a. Suppose -3*v + 3 + a = 0. Is (1 - 13)*(-4)/v a multiple of 3?
False
Let h(w) = 3*w**3 + w**2 - 2*w - 5. Let t be h(4). Let l = 13 + -11. Suppose 3*r = -l*r + t. Is r a multiple of 11?
False
Let n = 3 + -1. Suppose 5*s = n*s + 57. Let m = s + 3. Does 16 divide m?
False
Suppose -2*l - 2 = 0, q - 4*q + 7 = 5*l. Suppose q*r = -4*h - h - 39, 5*h + 38 = -3*r. Is -3 + 0 + (2 - h) a multiple of 2?
True
Suppose -17640 = -13*p + 3*p. Is 36 a factor of p?
True
Let i = 482 + 154. Suppose 0 = -4*p + 12, 2*r + r + 3*p = i. Is r a multiple of 18?
False
Let f = -2051 + 3550. Is 7 a factor of f?
False
Suppose 4*j - 11*j - 119 = 0. Let w(c) = 2*c**2 + 24*c - 14. Does 13 divide w(j)?
True
Let n be 0 + -1 + 2 + 8/(-2). Let u = 87 - n. Is 10 a factor of u?
True
Suppose -i = -3*d + 3*i - 267, 4*d - 4*i = -360. Let p = d - -188. Is 10 a factor of p?
False
Let m = 39 - 29. Suppose k - m = -k. Suppose 2*d + 27 = 4*d - y, 45 = 4*d - k*y. Does 5 divide d?
True
Let q = 44 + -44. Suppose c + 4*c - 30 = q. Does 6 divide c?
True
Let u be 4/6*(-63)/(-2). Let v = 44 - u. Let j = v - 8. Is 14 a factor of j?
False
Let i(s) = 7*s**3 - 29*s**2 + 15*s - 3. Is 16 a factor of i(6)?
False
Let y be 10/2 - (14 + -11). Suppose y*g - 2 = 0, -5 = 3*c + c - 5*g. Suppose 3*i + i - 132 = c. Is i a multiple of 11?
True
Is (91/(-28))/(6/(-288)) a multiple of 6?
True
Let y(m) = -m**2 + 8*m - 4. Let c(g) = 1. Let z(w) = -5*c(w) + y(w). Let h be z(8). Let k = h + 13. Does 3 divide k?
False
Let r = 33 + -6. Suppose -i = -4*i - r. Let p(w) = w**2 + 4*w - 3. Is p(i) a multiple of 12?
False
Suppose -6*g + g = 390. Let c = g - -176. Suppose -4*n - 3*v + 60 = 0, 8*n - 2*v - c = 3*n. Is 6 a factor of n?
True
Let q(f) = f - 22. Let t be q(21). Is (-5)/(t - -6) - (-1 + -44) a multiple of 21?
False
Suppose 3*l + 15 = 8*l. Suppose 2 = l*c - 2*c. Suppose 0 = 4*h - c*h - 88. Is h a multiple of 20?
False
Let i be ((-6)/8)/((-1)/4). Let w be 1 + i + -6 + -1. Is (-144)/(-27) - 2/w a multiple of 4?
False
Suppose 36*a - 16*a = 6380. Is 17 a factor of a?
False
Suppose 3*s - 371 = 2*u, -5*s - 13*u = -14*u - 630. Is s a multiple of 9?
False
Let b(n) = 580*n**2 - n - 1. Let v be b(-1). Suppose -92*h = -87*h - v. Is 13 a factor of h?
False
Suppose 0*w + 375 = 5*w. Suppose 3*d + 2*d = -w. Is 9 a factor of 6/d - 202/(-5)?
False
Let u = 26 + -5. Suppose -u = 2*o - 91. Is 5 a factor of o?
True
Let d be 110/22 - (3 + 0). Is d/(-4) + 1581/6 a multiple of 49?
False
Suppose 5*f + 897 = 1242. Let h = -79 + 111. Let m = f - h. Is m a multiple of 25?
False
Let q(s) = 3*s**2 - 16*s + 10. Let d be q(6). Let z = d + 84. Is z a multiple of 22?
False
Let w(g) = -156*g - 6. Is 17 a factor of w(-4)?
False
Is (-10)/(-15)*22491/18 a multiple of 17?
True
Let c be (3 - 5)*-3 + 3. Is 9 a factor of (0 - -56) + (c - 10)?
False
Suppose 26887 + 1265 = 24*p. Is p a multiple of 17?
True
Let p(c) = 187*c**3 + 3*c**2 - 7*c + 1. Is p(2) a multiple of 65?
True
Is 14 a factor of (-78)/(-104) + (-2233)/(-4)?
False
Is (430/6 - 2) + 16/48 a multiple of 31?
False
Let j(x) = -10*x - 31. Is 5 a factor of j(-15)?
False
Let b be 11/3 + (-16)/(-48). Suppose 2*r - 450 = -b*f, 2*f - 3*r = -116 + 321. Is f a multiple of 28?
False
Suppose 4 = q - 5. Let p(r) = r**2 - 7*r - 15. Let m be p(q). Is ((-1)/(-2))/(m/336) a multiple of 14?
True
Let n(f) = -2*f**2 - 12*f + 8. Let c be ((-2)/(-2))/((-2)/14). Let g be n(c). Does 13 divide ((-99)/g)/(3/12)?
False
Let s(z) be the third derivative of 0*z + 1/12*z**5 + 0 - 1/120*z**6 + 9*z**2 - 5/6*z**3 + 1/8*z**4. Is s(3) a multiple of 22?
True
Let l(g) = g**3 + 8*g**2 + 12*g - 6. Let w be l(-6). Let j be (w/(-4))/((-51)/(-68)). Let q = 32 + j. Does 14 divide q?
False
Let k(t) = 64*t - 348. Is 9 a factor of k(6)?
True
Is (-3)/15 - ((-8888)/40 + 8) a multiple of 6?
False
Let i = 5040 - 2174. Is i a multiple of 10?
False
Let n(u) = 2*u**2 - 7*u + 8. Let m be (-36)/(-10) - (-6)/(-10). Suppose 10 = -y + m*y. Is n(y) a multiple of 5?
False
Let w(j) = -j**3 - 5*j**2 - 2*j - 17. Let l be w(-7). Suppose -5*b + p - 5*p - l = 0, -61 = 2*b - 3*p. Is -4 + b*(4 - 5) a multiple of 12?
False
Suppose -g - 3*x = 95, 2*g - 4*g = 2*x + 190. Let z(r) = -15*r - 69. Let b be z(-14). Let o = b + g. Is 23 a factor of o?
True
Let v(a) = a**3 + 28*a**2 - 33*a - 179. Does 122 divide v(-17)?
False
Let p(h) be the third derivative of -h**6/40 - h**5/60 + h**4/6 - 11*h**2. Is p(-4) a multiple of 37?
False
Let t(x) = -55*x - 1. Let j(s) = -54*s - 2. Let k(g) = 4*j(g) - 5*t(g). Is 37 a factor of k(2)?
False
Let h(c) be the first derivative of 22*c**4 + c**3/3 - c**2/2 - 5. Is h(1) a multiple of 17?
False
Let t = 2266 + -1651. Is t a multiple of 41?
True
Suppose -9*i + 6*i = 3*v - 417, i - 2*v = 151. Is i a multiple of 13?
True
Suppose 10*a = -14 + 4. Does 30 divide a/3 - (-124)/3?
False
Is 8 a factor of (-4 + 36)*175/20?
True
Suppos