 the third derivative of -w**6/120 + w**5/10 - 5*w**4/24 - 3*w**2. Let u be l(4). Does 11 divide u/(4/(-48)*-3)?
False
Let g(c) = -7*c - 13. Suppose 0*f - 9 = f. Let i be 2/(f/((-180)/(-8))). Is g(i) a multiple of 15?
False
Let k = -43 + 33. Let r(b) = -b**3 - 8*b**2 + 9*b - 18. Does 23 divide r(k)?
True
Does 27 divide 1460/9 - (-30)/(-135)?
True
Let p(b) = -b**3 + 12*b**2 - b + 14. Let o be p(12). Let w(g) = -2*g + g + 1 - g + g**o + 8. Is w(8) a multiple of 19?
True
Let u(x) = x**3 + 18*x**2 - 21*x - 19. Let j be u(-19). Suppose l = 2*l - j. Is l a multiple of 5?
False
Let u = -28 - -39. Suppose -10*r - u = -211. Is r a multiple of 4?
True
Suppose -4*s - 12 = 4*c, -2*s + 4*c = s - 26. Does 5 divide (-3 + s)*(-19 - 0)?
False
Let n = -7 + 59. Let l(z) = z**2 + 21*z + 92. Let r be l(-6). Suppose 6*o - r*o = n. Is o a multiple of 4?
False
Suppose 0 = -r + s + 2, s = -4*s - 20. Let u be (4 + r)/(-1) + 2. Suppose -n - n + 5*g + 50 = u, n = 4*g + 22. Does 9 divide n?
False
Let g = -11 + 13. Does 17 divide g - (-79 - (-8)/(-2))?
True
Let a = 33 + -28. Suppose w = a*b - 10*b + 90, 3*b - 54 = 5*w. Is 9 a factor of b?
True
Suppose 4*d + 0*d + 4*a + 596 = 0, 0 = -4*d + 3*a - 617. Let m = 477 + -264. Let p = d + m. Does 26 divide p?
False
Let y(t) = -t + 16. Let q = 6 + -6. Let c be y(q). Let l = c - 11. Is l a multiple of 2?
False
Suppose -2*g + 4*u = -118, -4*g + 15*u + 256 = 11*u. Is g a multiple of 6?
False
Suppose 2*r + 137 = 2*x - 55, 0 = 2*x - 3*r - 192. Suppose -v + 3*v - x = 0. Is 5 a factor of v?
False
Let p(d) = 7*d**3 - 4*d - 7. Let u(a) = -15*a**3 - a**2 + 9*a + 14. Let y(b) = -13*p(b) - 6*u(b). Is y(5) a multiple of 11?
True
Suppose 4*g + m = 231 - 62, 0 = -5*g - m + 210. Is 6 a factor of g + (1 - (9 + -3))?
True
Let w be (-132)/(-24) - (-6)/4. Is 26 a factor of (-1938)/(-21) + (-2)/w?
False
Does 43 divide ((-6)/(-72)*-4)/(9/(-45279))?
True
Is 55 a factor of -5*(2 + 192/(-90))*1236?
False
Suppose -s + 20 = -y + 5*y, -s - 3*y + 24 = 0. Suppose -s*w + 30*w = -822. Is 33 a factor of w?
False
Let c(z) = 6*z**2 - z + 4. Suppose 0 = -6*u + 3*u - n + 13, 0 = 2*u - 2*n - 6. Is 12 a factor of c(u)?
True
Let o(n) = -18*n - 449. Does 6 divide o(-35)?
False
Let i(z) = -z**3 - 5*z**2 + 4*z - 5. Let y be i(-7). Let n = y + -43. Is n a multiple of 7?
False
Suppose -7*m + 12*m = 0. Suppose -c + 3*a + 21 = 0, 2*c - 4*c + 2*a + 46 = m. Is c a multiple of 12?
True
Let y(x) = -28*x + 2. Suppose 3*r = 5*z + 14 + 3, -3*z = 5*r - 17. Let f be y(z). Is (-10)/4*(-36)/f a multiple of 3?
True
Suppose 12358 = 3*y + 34*y. Is 20 a factor of y?
False
Let j be (255/(-10))/(2/4). Let o be 1 + j*4/(-12). Suppose 0 = 19*s - o*s - 110. Does 22 divide s?
True
Let b(a) = 7*a - 6*a**2 + 2 + 12*a**2 - 6*a - 4. Let y be -1*(-1)/2*4. Does 12 divide b(y)?
True
Let c = 80 - 52. Does 7 divide c?
True
Let p(c) = c**3 - 6*c**2 + 4*c - 9. Does 26 divide p(10)?
False
Let w(x) = -3*x**3 - 4*x**2 - 3*x - 3. Let z(a) = 4*a**3 + 3*a**2 + 4*a + 3. Let t(f) = -5*w(f) - 4*z(f). Let s = -9 - -16. Is 30 a factor of t(s)?
False
Suppose 4*s = 2*l - 6*l + 8, -4*l + 17 = -5*s. Suppose 4*i - i + 51 = a, 0 = -2*a - l*i + 75. Is 21 a factor of a?
True
Let c(h) = -h**3 - 3*h**2 - 7*h - 2. Let b be c(-4). Does 16 divide 381/2 + b/28?
True
Is (9/7)/(-5 + 1896/378) a multiple of 2?
False
Is (3/2)/(9/2760) a multiple of 4?
True
Suppose 0 = 5*x + 5*i - 1330, 269 = 5*x - 4*x - 2*i. Does 9 divide x?
False
Let c(j) = -2*j + 71. Is c(-66) a multiple of 13?
False
Is 5/((-30)/2076)*2/(-4) a multiple of 9?
False
Does 8 divide 2/((6/(-2535))/(3/(-15)))?
False
Let q be (-23)/7 + (-6)/(-21). Let c(g) = 1 - 5*g**2 - 4*g + 7 - 12 - 3*g**3. Is c(q) a multiple of 11?
True
Let i(h) = h**3 + 12*h**2 + 16*h + 3. Let n be i(-7). Let u = n - 91. Is 9 a factor of u?
True
Is (-1710)/(-70) + (-6)/14 a multiple of 12?
True
Let n(k) = -k**3 - 3*k**2 - 4*k. Let c(u) = -2*u**2 + 15*u - 10. Let s be c(7). Is 6 a factor of n(s)?
True
Suppose -13*a + 2213 = -2701. Is 63 a factor of a?
True
Let p(w) = 3. Let b(f) = -f + 3. Let m(o) = -5*b(o) + 6*p(o). Is m(5) a multiple of 14?
True
Suppose 0 = -4*f - 838 - 486. Let w = f - -174. Let p = -109 - w. Is p a multiple of 16?
True
Does 10 divide (-14772)/(-36) + 1 + 4/(-3)?
True
Suppose 0 = 15*u - 20539 - 2981. Is u a multiple of 112?
True
Let y(v) = -v. Let h be y(-9). Let l = -1 - -3. Let p = l + h. Is 6 a factor of p?
False
Suppose 4*k - 2*f - 792 = 0, 5*f + 8 = -12. Is 10 a factor of k?
False
Let k(h) = -7*h**2 - 2*h - 275. Let v(d) = 10*d**2 + 3*d + 412. Let w(t) = 7*k(t) + 5*v(t). Is w(0) a multiple of 13?
False
Let a(v) = 8*v + 15. Let p(w) = -1. Let y(k) = -a(k) - 3*p(k). Is 13 a factor of y(-8)?
True
Let y = 392 + 68. Is y a multiple of 46?
True
Let x be (-4)/((-16)/20) + 0. Let d be x*-8*(-18)/4. Suppose 0 = -2*j + 7*j + 3*p - d, -4*j - 5*p = -131. Is j a multiple of 13?
True
Let g(c) = c**3 + 2*c**2 - 21*c + 33. Is 65 a factor of g(6)?
True
Let d = -2444 - -3447. Is 123 a factor of d?
False
Let i(t) = 380*t + 327. Does 33 divide i(7)?
False
Let s(n) = -22*n**3 + 2*n**2 - 1. Let k be s(1). Let l = 9 - k. Is l a multiple of 30?
True
Let h be (12/(-16))/(2/(-48)). Let w be h/(-27) - 134/6. Let c = w - -41. Is c a multiple of 9?
True
Let t(y) = y**3 + 14*y**2 - 14*y + 18. Let x be t(-15). Suppose 3*h + 4*z = 88, -z = x*h - 2*z - 68. Is h a multiple of 8?
True
Let a be (9 - 3)*14/4. Does 6 divide (72/a)/(3/21)?
True
Is 72 a factor of (-2 - 0)/((-12 + 14)/(-1514))?
False
Let f be (-28)/(-20) + (-4)/10. Suppose 4 = m + f. Suppose 2*p + 5*z - 106 = -0*p, 0 = m*z. Is 16 a factor of p?
False
Let z be (-3*1)/((-9)/12). Suppose -57 = -11*q - 2. Suppose -b + 96 = z*r + b, 130 = q*r + 5*b. Is 22 a factor of r?
True
Let y(k) = -44*k + 190. Is y(3) a multiple of 5?
False
Suppose -5*j + 7*u = 3*u + 1205, u = 0. Let o = j + 409. Is 14 a factor of o?
True
Let j(o) = 4 + 2 - 4 - 15*o + 5. Is 22 a factor of j(-1)?
True
Let z(j) = 0*j**3 + 15*j**2 - 3*j - 4 - 4*j**3 + 13 + 5*j**3. Suppose -3*t - 5*f = 55, -5 = -5*t + f - 78. Is z(t) a multiple of 15?
False
Suppose -11*q + 6*q - 30 = 0. Let p(w) = -2*w - 6. Let n be p(q). Let j(a) = 4*a - 14. Is 8 a factor of j(n)?
False
Let x = 7 - -7. Suppose 4*k - 12 = 2*k + 4*y, 4*k = 3*y + x. Suppose -k*j = n - 5*j - 3, n = j + 7. Is n a multiple of 9?
True
Suppose 14*v - 20264 = -5900. Is 38 a factor of v?
True
Let c(g) = 24*g + 1. Let y be c(2). Let j = 23 - 7. Let a = y - j. Is a a multiple of 11?
True
Is 35 a factor of 598780/(-819)*(-18)/4?
True
Let h = -8 - -10. Suppose 0 = 5*c - x - 767, -4*c + x = -h*c - 308. Suppose 3*u - 5*i - 153 = 0, 3*u + 4*i = -0*i + c. Does 21 divide u?
False
Let w = 13 - 13. Suppose w*p = 3*p - 12. Suppose -j + 2*v + p = 0, j - 8 = -3*v + v. Is j a multiple of 3?
True
Suppose 2*v = 6, 0 = -10*x + 15*x - 4*v - 2763. Does 10 divide x?
False
Let l = 1287 - 807. Suppose n - 5*n = -l. Does 24 divide n?
True
Suppose -455 = -8*d + 313. Does 16 divide d?
True
Suppose 7 = 3*v - 2*s, s - 5*s = 8. Let c be 9/6 + v/2. Suppose -c*k + 16 = -2*h, -k = h + 1 + 1. Does 3 divide k?
True
Is 45 a factor of (3 + (21*-15)/5)*-6?
True
Let u(f) = 7*f**2 + 7*f - 31. Is 19 a factor of u(-8)?
True
Let k(s) = -59*s - 3. Suppose -r - 3 = 0, -5*w + 8 = -4*r + 1. Does 8 divide k(w)?
True
Suppose 18*m - 5888 + 1982 = 0. Is 15 a factor of m?
False
Let u(i) = i**2 + 2*i + 1. Let t be u(-1). Let k be -29 - (-9)/(t - -3). Let h = 60 + k. Does 12 divide h?
False
Suppose 30 = 3*j - 3*n, -6*n + n = -j + 26. Is ((-2)/j)/((-9)/1917) a multiple of 19?
False
Suppose -2*g = 5*i - 340, -2*i + 0*g - 2*g = -130. Let f be 0/((-14)/10 + 2/5). Suppose f = j + 4*j - i. Is j a multiple of 4?
False
Let z(v) = 9 + 16*v + 2*v**2 + 23*v - 10*v + 0*v**2. Is z(-15) a multiple of 5?
False
Suppose 5*k - 5*d = 5, -2*k + d = 4*d - 12. Suppose -6 - 46 = -2*h. Suppose 2*i = k*i - h. Is i a multiple of 17?
False
Does 2 divide 0 - 0 - (9 + 4 + -35)?
True
Let q be (0 + -3)/(-3)*-2. Let k be ((-14)/21)/(q/54). Suppose -k = -v - 2*x - 1, 0 = 3*v + 3*x - 51. Does 5 divide v?
False
Let y(r) = -3*r + 16. Let p(d) = d + 7. Let j be p(-7). Let m be y(j). Does 18 divide m/(-3)*(-81)/12?
True
Let o be (-672)/18*27/12. Let v be -58*(3 + o/8). Suppose 3*r - 4*p - v = -p, 0 = -5*p - 5. Is 36 a factor of r?
Tru