nd derivative of -r**3/3 - r**2 + 4*r. Let v = 5 + -10. Is a(v) a multiple of 3?
False
Let n be (-4)/6 + 7/(-3). Let g be 6*2/n*-1. Suppose 60 = w + g*w. Is w a multiple of 12?
True
Is 10 a factor of (45 + 3)/((-3)/(-10))?
True
Suppose -4*k = -3*c - 6, -2 = c - 0. Suppose m + 4*l + 17 = 0, k*m + 3*l + 54 = -2*m. Let y = m + 69. Is 18 a factor of y?
True
Let y(x) = 20*x**2 + x. Let r be (-1)/((0 + -1)/1). Does 14 divide y(r)?
False
Suppose -3*l + 3*z - 12 = -0*l, -5*z - 52 = 4*l. Let k(w) = -w + 9. Let d(g) = -1. Let n(h) = 5*d(h) + k(h). Is 5 a factor of n(l)?
False
Suppose -c - 3*g = -2*g - 2, -2*g = 0. Suppose 1032 = -6*x + 2*x. Does 17 divide c/(-3) + x/(-9)?
False
Let a(o) = -13*o**3 - 2*o**2 - o. Is 4 a factor of a(-1)?
True
Is 254 + 5*((-54)/15 + 4) a multiple of 32?
True
Let j(d) = 2*d + 1. Let s be j(1). Suppose -4*m - x = -73, s*m + m - 4*x = 48. Is 5 a factor of m?
False
Let z(y) = y**2 - 9*y + 9. Let a be z(8). Suppose -m - 3*k = 8, 3*m + 4*k + 0 = a. Does 2 divide m?
False
Let a(w) = w**3 + w**2 + w + 19. Suppose 2*p = 10, -6*p + 2*p + 24 = -h. Let g = h - -4. Is 8 a factor of a(g)?
False
Suppose 0*d + 70 = 7*d. Is 9 a factor of d?
False
Let v be ((-198)/15)/((-3)/15). Suppose v = 4*l - 66. Is l a multiple of 9?
False
Let t(h) = h**2 - 3*h - 7. Suppose -2*y - 6 = -x, 4*x - 2*y = -4*y + 34. Is 9 a factor of t(x)?
False
Let g(a) = -2*a**2 + 5*a - 3. Let j be g(3). Suppose 7*v + 776 = 3*v. Is 8 a factor of v/(-12) + j/36?
True
Let v = -1 - -5. Suppose -j + v*u = -29, -3*j + u = 62 - 160. Is 12 a factor of j?
False
Suppose 5*k = 2*k + a + 66, -5*k + 4*a = -103. Does 17 divide k?
False
Let c(u) = 4*u**2 + 2*u - 1. Suppose 2 - 7 = 5*b. Let h be 0 + 1/(b/2). Is c(h) a multiple of 3?
False
Let v(o) = 4*o**3 - 2*o**2 + o + 1. Suppose 3*d = -10 + 1. Let n = d + 5. Is v(n) a multiple of 12?
False
Let y = -4 - -8. Suppose y*v = 13 + 31. Let n = 16 - v. Does 3 divide n?
False
Does 3 divide 1/(-2) - 189/(-14)?
False
Suppose -2*f + 3*l = -3, 3*f - 21 = -l - 0*l. Suppose 0*s - s - 2*t = -f, -30 = -5*s - 2*t. Is 6 a factor of s?
True
Let c be 2*(2 - (-68)/8). Let m = -1 + c. Does 6 divide m?
False
Suppose 10 = x + 2*l, 5*l = -3*x - 0*l + 32. Does 2 divide x?
True
Let h = 54 + 39. Is 31 a factor of h?
True
Let t be (-4)/(-14) - (-10)/(-35). Suppose t = -0*p + p - 205. Suppose -3*s - h = -127, s = -4*s - 3*h + p. Is 22 a factor of s?
True
Is 330/3*8/5 a multiple of 22?
True
Let g = -3 + 6. Suppose 6*o = g*o + 18. Does 3 divide o?
True
Let x = 4 - 2. Let y(q) = q**x - 2*q + 10 - q**3 + 5*q**2 + 10*q. Is y(7) a multiple of 13?
False
Let u(x) = -2*x**3 - 2*x**2 + 2*x. Let z be u(2). Let l = 40 + z. Does 10 divide l?
True
Is 21 a factor of (56/32)/((-1)/(-36))?
True
Let r(s) be the first derivative of 55*s**2/2 + 4. Does 10 divide r(1)?
False
Let y be 2/(-3)*6*-1. Let q(t) = 2*t - 4. Let b be q(y). Let d(w) = 5*w - 6. Is d(b) a multiple of 14?
True
Does 5 divide 695/35 - (-2 + 4)/(-14)?
True
Suppose -5*i + 4 = -k, -9 = -4*i - 6*k + k. Suppose x - 18 = 3*d - 1, -4*d - i = 3*x. Does 4 divide x?
False
Let b be (2/14*-4)/((-44)/154). Suppose -2*z - 3*z = 35. Is b/z - 372/(-28) a multiple of 13?
True
Let i(r) = -3*r**2 - 8*r - 1. Let v(m) = 4*m**2 + 8*m + 2. Let p(d) = 5*i(d) + 4*v(d). Let z be 4*-4*(-2)/4. Does 3 divide p(z)?
True
Let k(b) = b + 1. Let r be k(3). Suppose 0*j + 68 = r*j. Is j a multiple of 5?
False
Let h(d) = -2 - 5 + 3 - d. Let a be h(3). Let b(w) = -w + 9. Is 12 a factor of b(a)?
False
Let a = 10 - -7. Is a a multiple of 17?
True
Let c(d) = d + 4. Let n be c(0). Let i = n + 1. Is i even?
False
Let o = 102 + -60. Is 21 a factor of o?
True
Let k = -61 - -121. Does 10 divide k?
True
Let h(p) be the second derivative of p**3/3 - 4*p**2 - 2*p. Let y be h(8). Suppose -2*j = 2 - y. Does 2 divide j?
False
Let a(r) = r**3 - 11*r + 6. Is a(4) a multiple of 2?
True
Let h be ((-20)/8)/(1/4). Let i = 0 - h. Is i a multiple of 10?
True
Suppose -49 = -4*f - 9. Let s = f - 10. Suppose 2*j - 4*w - 40 = s, 7*w - 25 = -4*j + 4*w. Is 3 a factor of j?
False
Suppose 5*h = -b + 174, -3*b + 77 + 95 = 5*h. Does 6 divide h?
False
Let n(h) = h**3 - 3*h**2 - 2. Let k = -8 + 11. Let s be n(k). Is 7 a factor of (-1 + -6)/(s - -1)?
True
Let n(a) = -7*a + 2. Is 6 a factor of n(-4)?
True
Let s be ((-6)/(-5))/(3/10). Suppose 5*i = 4*w + 62, 5*w + 46 = s*i - 0. Suppose -6*t + i = -4*t. Is t a multiple of 3?
False
Suppose -3*b + 8*b - 5*a = 0, 0 = -b - 3*a - 4. Suppose 3*k - 22 = 4*w, 2*k + 3*w = -k - 6. Does 3 divide (b/k)/(1/(-20))?
False
Let h(f) = -f**2 - 9*f - 8. Let k be h(-8). Suppose k = g + 1 - 17. Is 13 a factor of g?
False
Suppose 0 = -3*h + 4*f + 358, 522 + 72 = 5*h - 4*f. Is 21 a factor of h?
False
Let z be 5/(-25) - (-11)/5. Suppose 21 = 3*d - y - 2*y, -z*y = -4. Is d even?
False
Let g(d) = d**2 - 8*d + 2. Let v be g(8). Suppose -5*k + u + 25 = 0, 20 = 4*k + v*u - 7*u. Is 2 a factor of k?
False
Let a(z) = 3*z - 9. Let h(g) = -5*g - 1. Let q be h(-2). Does 9 divide a(q)?
True
Suppose -q = q, 0 = -3*i - 5*q + 48. Let c = i + -8. Is c a multiple of 2?
True
Let m(o) be the first derivative of -o**4/4 - 11*o**3/3 + 11*o**2/2 - 2*o - 1. Is m(-12) a multiple of 5?
True
Let x(v) = v + 2*v + 6*v**2 - 4 + 2 + v**3. Let a be x(-4). Is (120/a)/((-4)/(-6)) a multiple of 9?
False
Let t be 45/(-6)*(-4)/5. Is 7 a factor of (252/15)/t*10?
True
Suppose -303 = -5*w - 2*n, 3*w + w = -5*n + 256. Let d = 91 - w. Is 8 a factor of d?
True
Suppose -2*p - 3 = -5*p. Suppose -5*m = -3*f - 13 - 16, 4*f - p = m. Does 3 divide m?
False
Let x = -13 + 18. Suppose 4*o + 9 = 3*y, x*y = 4*o + 20 - 5. Is 2 a factor of y?
False
Let f(n) = 16*n**2 - n - 1. Does 10 divide f(2)?
False
Suppose 3*l - 5 = 2*k + 3, 24 = 4*k + 4*l. Let w be (-2)/2 - (0 + -1). Suppose -7*d = 4*j - 3*d - 80, w = k*j + 4*d - 32. Is 12 a factor of j?
True
Suppose 0 = -3*w - 3*y + 114, 2*w - 20 = 5*y + 56. Is w a multiple of 11?
False
Let t(q) = -q**3 - q - 3. Let o be t(0). Does 17 divide (-1)/((o/(-17))/(-3))?
True
Suppose 4*r - 95 = -r. Suppose 0 = 2*m + 2*y - 42, 2*m - 3*y = -r + 76. Is m a multiple of 12?
True
Let r(u) = u**2 + 7*u + 10. Is 22 a factor of r(-13)?
True
Let w(g) = g**3 + 8*g**2 - 4*g + 9. Let p be w(-6). Suppose 5*c - p + 20 = 0. Is 5 a factor of c?
False
Let h(n) = -7*n + 1. Let g(j) = -j**2 - 14*j + 3. Let b(x) = -2*g(x) + 5*h(x). Does 7 divide b(5)?
True
Suppose 17 = 4*u + 3*r, -4*u + r + 4 = -1. Suppose u*q = 3*q - 28. Suppose -4*b + 8 + q = 0. Is b a multiple of 8?
False
Let w = 46 + -24. Does 7 divide w?
False
Is 19 a factor of 21 - (0 - (-3 - -3))?
False
Let c = 23 - 61. Let l = c + 116. Is 26 a factor of l?
True
Is 28 a factor of (-4)/((6/14)/(-3))?
True
Let t(j) = -48*j - 9. Does 18 divide t(-2)?
False
Let v(l) = l**2 - 8*l + 15. Is 2 a factor of v(6)?
False
Is -5 + (-20)/(-4) + 29 a multiple of 8?
False
Let f(z) be the third derivative of z**7/2520 - z**6/240 + z**4/24 - 2*z**2. Let m(c) be the second derivative of f(c). Does 9 divide m(5)?
False
Let p = 2 - 4. Let q = p + 34. Is q a multiple of 15?
False
Suppose 0 = -0*j + 5*j - 120. Does 4 divide j?
True
Let i = -14 + 19. Does 3 divide i?
False
Let i(a) = -2*a. Let s be i(1). Let y(d) = 2*d**2 + d + 1. Is y(s) a multiple of 2?
False
Let x(o) = 4*o**2 - 1. Let b be x(1). Let a = b - 5. Is 14 a factor of 2 + (0 - a) + 24?
True
Suppose -25 + 9 = -3*o + 2*h, -4*h = -2*o + 24. Let r = o + 35. Is 11 a factor of r?
False
Suppose 5*z + 4*g = 228, -4*g - 9 = z - 61. Is 22 a factor of z?
True
Suppose -f + 1 = -25. Suppose -f = 4*x - 0*x + 2*g, 25 = -4*x - g. Is 3 a factor of (-3)/x*6*2?
True
Let q be 6/8*8/(-2). Let r be 26/8 + q/(-4). Suppose 2*u - 30 = 2*t - 5*t, -r*u - 36 = -2*t. Does 6 divide t?
True
Let b be ((-2)/4)/(1/2). Let f be (15 + 0)*(b - -5). Suppose -2*m - f = -7*m. Is 12 a factor of m?
True
Let u(o) = -5*o + 32. Does 9 divide u(-6)?
False
Let y(t) = -t**3 - 7*t**2 - 2*t - 10. Let f be y(-7). Suppose -4*w + f = -92. Is 8 a factor of w?
True
Let m(i) be the second derivative of -i**7/420 - i**6/180 - i**5/120 - i**4/8 + i**3/3 + i. Let q(t) be the second derivative of m(t). Does 18 divide q(-3)?
True
Let c = -18 + 15. Let t(h) = -13*h + 1. Is 10 a factor of t(c)?
True
Suppose r + 2*u + u = 49, 2*r - 4*u = 128. Is r a multiple of 12?
False