 third derivative of -u**6/120 - u**5/15 + u**3/3 - 3*u**2. Let l be k(-4). Suppose 33 + l = 5*s. Is 5 a factor of s?
False
Let v be 0 - (-1)/(3/6). Let f be 3/v*6/3. Suppose -f*b - 3 = -18. Does 4 divide b?
False
Suppose 3*t - 24 = 6. Is (32/t)/(2/15) a multiple of 10?
False
Suppose -4*w + 52 + 180 = 0. Is 29 a factor of w?
True
Suppose 0 = -n + 22 - 4. Does 7 divide n?
False
Is 7 a factor of 438/9 - (-1)/3?
True
Suppose -51*x + 399 = -48*x. Is 21 a factor of x?
False
Let g(p) = p**3 + 3*p**2 + 4*p. Let a be g(-4). Let j = a - -55. Let d = 34 - j. Does 11 divide d?
True
Suppose 1 = -n + c, -4*n - c = 2*c - 17. Suppose 4*g - 107 = -p, 5*g + n*p = 3*p + 145. Is 7 a factor of g?
True
Let u be -3 - (-2 - (-3 + -2)). Is 11 a factor of (3/u)/((-2)/124)?
False
Suppose -2*z + 57 = -5*u + 181, -3*u = 5*z - 93. Is 13 a factor of u?
True
Suppose -17*p + 14*p = -114. Let w = 65 - p. Is 11 a factor of w?
False
Suppose -5*w + 267 = 4*d, 2*d - 45 - 69 = 4*w. Is 3 a factor of d?
True
Suppose 0 = h + 4 - 6. Does 11 divide (-430)/15*(-3)/h?
False
Suppose 4*t = -3*i + 28, 2*i - 4 = t - 0*t. Suppose 4*z - b - 137 = t*b, z - b = 33. Is z a multiple of 9?
False
Let h(p) = 6*p**3 - 2*p**2 - p - 2. Is 9 a factor of h(2)?
True
Does 40 divide (20/6)/((-16)/(-192))?
True
Let p(w) be the second derivative of 3*w**5/10 + w**4/12 - w**3/6 - 2*w. Is p(2) a multiple of 16?
False
Let b(h) = h**3 - 54. Let l be b(0). Let x = l - -78. Let i = x - 12. Is 7 a factor of i?
False
Let u(z) = -1 - 3*z + 3*z + 17*z**2. Let c(l) = l**3 + 6*l**2 + l + 7. Let w be c(-6). Does 14 divide u(w)?
False
Let b be -2*(-1)/(-4)*-30. Is 3 a factor of (-4)/(36/b)*-3?
False
Let h(r) = 72*r + 1. Is h(1) a multiple of 28?
False
Let a(m) = 11*m**2 - m. Let r be a(-1). Suppose r = 3*y - 0, -8 = -2*i - y. Suppose -o = -0*n + n - 35, -i*o + 40 = n. Is n a multiple of 13?
False
Let t(y) = -10*y - 12. Let k(q) = 11*q + 13. Let d(f) = 6*k(f) + 7*t(f). Let b(s) = 3*s + 5. Let c be b(-5). Does 19 divide d(c)?
False
Let o(t) be the first derivative of 7*t**2 + 1. Let g be o(5). Suppose -22 = 4*m - g. Is m a multiple of 5?
False
Does 5 divide (-5)/((-45)/36)*(-2)/(-1)?
False
Let l be 1*(-2 - -7) + -2. Suppose 0 = f - 5*k - 22, 0*f - l*f - 6 = 3*k. Suppose f*n + i - 1 = 0, 26 = 4*n - 2*n - 4*i. Is n even?
False
Is 10 a factor of 1444/16 - (2 - 5)/(-12)?
True
Let p(a) = 6*a - 3. Is p(3) a multiple of 7?
False
Suppose -82 = -2*p + 20. Suppose -3*c = -0*c - p. Is c a multiple of 17?
True
Let q = 68 + 31. Is 11 a factor of q?
True
Let d(s) = -8*s. Let n(i) = 17*i + 1. Let r(z) = -13*d(z) - 6*n(z). Is 4 a factor of r(7)?
True
Is 7 a factor of 12/54 + (-932)/(-18)?
False
Let o be (-1)/(7/4 + -2). Suppose -85 = 3*g - o*g. Does 32 divide g?
False
Suppose 0 = -t - 12*t + 1079. Does 15 divide t?
False
Let g be 0 - (0/2 - -4). Let i(a) = 11*a**2 - 4*a. Let l(n) = -5*n**2 + 2*n. Let c(k) = 6*i(k) + 13*l(k). Is c(g) a multiple of 8?
True
Suppose 104 = -m + 5*m + 4*x, 2*m + 3*x = 57. Is 3 a factor of m?
True
Let t be (-48)/(-15) - (-2)/(-10). Suppose 4*i - i = t, -56 = -3*o + i. Is o a multiple of 13?
False
Let q(j) = j**2 - 8*j + 10. Let o be q(7). Suppose -o = -2*r + 3. Does 5 divide 7*r*(-18)/(-21)?
False
Suppose 5*i = r + 217, i + 5*r - 21 = 38. Suppose 0 = -4*l + 16, -l = -2*x - 6*l + i. Does 4 divide x?
True
Let n(b) = -b**3 - 11*b**2 - 16*b - 12. Let y be n(-10). Let c be (-429)/15 - (-3)/5. Let p = y + c. Is 10 a factor of p?
True
Let n(m) = -m**3 + 12*m**2 - 12*m + 13. Let w be n(11). Suppose w*g - 4 = 0, -7*g = -4*t - 3*g + 16. Is 6 a factor of t?
True
Let d(h) = -2*h - 3. Let q(m) = -m - 1. Let j(b) = d(b) - 3*q(b). Let c = 20 - 13. Is j(c) a multiple of 7?
True
Let i(s) = s**2 - 1. Let k(m) = 3*m**2 + 6*m + 3. Let t(h) = 4*i(h) - k(h). Is 9 a factor of t(9)?
False
Suppose 0 = 4*d + 146 - 498. Suppose -2*j + 4*c - 604 = -7*j, 0 = 5*c + 20. Let r = j - d. Is r a multiple of 12?
True
Suppose 7 = -3*i + 22, -3*o - 5*i + 37 = 0. Is 12 a factor of (o/6)/((-4)/(-102))?
False
Suppose 0 = 3*p - 5*q - 100, p + q - 44 = -0*q. Is p a multiple of 12?
False
Let o(k) = k. Suppose -4*h + 3*h = -5. Does 3 divide o(h)?
False
Suppose 4*m - 4*u = 13 + 3, 3*u + 7 = 2*m. Suppose m*k - 7 = -2. Is 6 a factor of (-26)/(-2) - (k + 0)?
True
Let w(t) = -3 + 0*t + 1 + t**2 + 5*t. Is w(-6) even?
True
Let z be 2 - 22/4*2. Let v = 12 + z. Is v a multiple of 2?
False
Let g(f) = -5*f**3 - 6*f**2 + 6*f - 11. Let y(p) = -2*p**3 - 2*p**2 + 2*p - 4. Let j(z) = 3*g(z) - 8*y(z). Let w be 1/(-1)*6/(-2). Is 14 a factor of j(w)?
True
Suppose -4*g = -g - 9. Is 3 a factor of g?
True
Let n = -20 + 2. Let g be (n/4)/(9/12). Is 31/3 - (-2)/g a multiple of 5?
True
Let j be 36/(-8)*(-2)/3. Suppose 31 + 38 = j*b. Does 11 divide b?
False
Let z = 351 + -218. Is z a multiple of 23?
False
Is 16 a factor of (-8)/6*-3*8?
True
Let f(i) = 37*i - 3. Let v be f(2). Let a = 46 + v. Suppose -g - 2*g + a = 0. Does 21 divide g?
False
Does 14 divide (14/3 - 6) + 242/6?
False
Suppose -11*z + 7*z = -116. Is z a multiple of 6?
False
Let w(k) = 10*k**2 + 4*k + 4. Does 6 divide w(-2)?
True
Let n(y) = -y**2 + 6*y - 6. Let x be n(5). Let d be (2 - 22) + (-3)/x. Let q = d - -34. Is 8 a factor of q?
False
Suppose 0 = 2*r + 4*m - 4, 0 = 5*m - m. Is 2 a factor of r?
True
Suppose 0 = 11*l - 7*l - 196. Is l a multiple of 7?
True
Suppose -5*c + 4*v + 180 = v, 3*v - 51 = -2*c. Does 11 divide c?
True
Suppose 0 = 2*x - 20 - 76. Does 16 divide x?
True
Suppose -4*o + 10 + 2 = 0. Let h(y) = -o*y**2 + 0*y**3 + 3 + y**3 - 5*y + 3. Is h(5) a multiple of 14?
False
Let n(y) be the second derivative of y**5/20 - 4*y**4/3 + 7*y**3/6 + 2*y**2 - 5*y. Does 29 divide n(16)?
True
Suppose 0 = -2*s + 5*s - 9. Suppose s + 165 = 2*d. Is d a multiple of 17?
False
Is (-28)/35 - 1257/(-15) a multiple of 17?
False
Let w(m) be the first derivative of m**4/2 - m**3/3 + m**2/2 - 3*m + 2. Let s(v) be the first derivative of w(v). Does 14 divide s(-2)?
False
Let r be (11/(-3))/(3/(-18)). Suppose -4*f + 138 = r. Is f a multiple of 11?
False
Let m be -3 + 0 - (0 + -13). Is 12 a factor of (-165)/(-22)*56/m?
False
Suppose i - 2 + 8 = 0. Let n be ((-3)/(i/4))/1. Suppose 0 = -l - 5*q + 5, 11 = 2*l - l + n*q. Is l a multiple of 7?
False
Let w(s) = 4*s + 10. Does 7 divide w(0)?
False
Suppose 5*y - 3*j = -8*j + 10, -y + 5*j + 14 = 0. Suppose -12 + 4 = -y*c. Suppose -c*z + 38 = 2*r - 6*r, 4*z - 58 = 2*r. Is z a multiple of 13?
True
Let v = 3 + -3. Suppose n - 3*n + 4 = 0. Suppose v*a = -n*a + 26. Is a a multiple of 13?
True
Let q(o) = -o + 3. Let k be -2*(-2 + (2 - 4)). Suppose -5*a = 12 + k. Is 7 a factor of q(a)?
True
Let n(m) = -2*m + 9. Let c be n(10). Let f = c + 28. Let w = -11 + f. Does 4 divide w?
False
Suppose 4*t = -t - 2*x + 12, -4 = -3*t + 2*x. Does 9 divide 26 - (t/2 - 0)?
False
Suppose 0 = -6*c + 689 - 53. Is 38 a factor of c?
False
Let h(s) = s**2 + 8*s - 4. Let r be h(-9). Suppose 2*y + 2 - 38 = -4*w, r*y - 3*w - 90 = 0. Is y a multiple of 9?
True
Let j(k) = -3*k - 2. Is 8 a factor of j(-9)?
False
Let f(s) = -27*s**3 + 2*s**2 + 2*s + 1. Let v be f(-1). Suppose 0 = q - 5*q + v. Let k = 13 - q. Is 6 a factor of k?
True
Let z(t) = -t**3 + 7*t**2 + 5*t - 4. Does 31 divide z(7)?
True
Suppose -9*n + 4*n = -90. Is 17 a factor of 904/n - (-4)/(-18)?
False
Suppose 5*l - 2*q = -9 - 26, 4*q = l + 7. Let m = 7 + l. Is 19 a factor of m + (78/3)/1?
False
Suppose 2*u - 4*v - 1 = -u, u + 1 = 2*v. Is 15 a factor of -36*(2 + -4) + u?
True
Let z(r) be the second derivative of r**5/20 + r**4/12 - r**2 + r. Let v(g) be the first derivative of z(g). Is v(-2) a multiple of 8?
True
Is (42/5)/((-30)/(-375)) a multiple of 21?
True
Suppose -4*s + 6 + 2 = 0. Does 21 divide (s + -11)*(-9 + 2)?
True
Suppose 0 = -8*i + 481 + 623. Does 20 divide i?
False
Let k(b) be the first derivative of -3*b**4/4 + 2. Is k(-2) a multiple of 11?
False
Let a(d) = d**3 - 4*d**2 - 6*d + 7. Suppose -q + 12 = 3*z, -4 - 6 = z + 5*q. Let b be a(z). Suppose b*n = n + 13. Is 9 a factor of n?
False
Let h(g) = 28*g**2 - 2*g - 3. Is h(-1) a multiple of 20?
False
Let b be ((-18)/(-15))/(2/(-10)). Let u(k) = -k - 8. Let p be u(b). Let y = 7 + p. Is 2 a factor of y?
False
Let l(p) = -2*p**3 - 3*p**2 - 3*p - 2. Let h be l(-2). Suppose 3*j = h*j - 175. Suppose -m + j = -1. D