 the second derivative of -25*r**3/6 + r**2/2 - 4*r. Is 13 a factor of b(-1)?
True
Suppose -2*t = -3*t. Suppose -3*k = -t*k - 48. Is 8 a factor of k?
True
Let l(u) = -u**3 + 6*u**2 + 8*u - 4. Let i be l(7). Is i - (-1 - (1 + 38)) a multiple of 14?
False
Let g(j) = j**2 - j. Let l(r) = -r**3 - 4*r**2 + 3*r + 5. Let k(o) = 4*g(o) + l(o). Let b be k(0). Suppose b*s - 49 = 31. Is s a multiple of 16?
True
Let x = 3 - -1. Suppose -x*i + 3*i = 1, -4*u + i = -21. Is 5 a factor of u?
True
Let k(f) = -f**2 - 5*f + 10. Let w be k(-10). Let n = w - -113. Suppose -4*l = -5*b + 74, 3*l = 9*b - 4*b - n. Does 5 divide b?
False
Let p be -2*(-4)/(4/(-1)). Is 5 a factor of (p - 5/(-2))*36?
False
Suppose 4*d = -7*d + 1716. Is 26 a factor of d?
True
Is (11/((-55)/(-36)))/((-2)/(-10)) a multiple of 12?
True
Let u(s) = -20*s + 2. Does 34 divide u(-5)?
True
Suppose 0 = 5*q - 195 - 825. Is q a multiple of 12?
True
Suppose 0 = 3*h - 3 - 6. Suppose -101 = -h*r + n, -4*n - 5 - 47 = -r. Is r a multiple of 16?
True
Suppose 343 = 25*b - 18*b. Is 5 a factor of b?
False
Suppose -3*o + 8*o = j + 13, 3*j - 9 = -o. Suppose -j*v - 5 = -3*v. Suppose 2*p - h - 17 = 0, p + 3*h = v*h + 16. Does 6 divide p?
True
Let z be 3*(-30 + (-2)/(-2)). Let u(f) = -33*f + 1. Let r be u(4). Let y = z - r. Does 16 divide y?
False
Let d be (2/5)/(1/(-5)). Let g = 6 + d. Suppose -g*w = -w - 24. Does 8 divide w?
True
Suppose 3*n + 15 = 4*v, -5*v + 3*n + 9 = -3*v. Let c be 174/10 - 12/(-20). Suppose -q + 0*q + 18 = 4*b, -q - v*b + c = 0. Is 9 a factor of q?
True
Let o(x) = 3*x + 7*x**2 - x**3 + 6*x - 3*x. Let s be o(7). Suppose -3*z + s = 2*z + 4*h, -z - 5*h = 0. Is 4 a factor of z?
False
Suppose -5*s = -4*s - 11. Does 2 divide s?
False
Suppose -127 - 13 = -5*d. Suppose 0 = 4*m - 0*m - 48. Suppose -u + d = m. Is u a multiple of 8?
True
Let h(g) = 2*g**2 - 4*g - 20. Is 10 a factor of h(-6)?
False
Let d(q) = -q**3 + q**2 + q + 3. Is 10 a factor of d(-4)?
False
Let m(p) = -2*p**2 + 2*p**3 - p + 0*p - p**3 - 1. Let c be m(2). Let w = 26 + c. Does 15 divide w?
False
Let t = 0 + 4. Let i(m) = m + 3. Does 7 divide i(t)?
True
Let d(w) = -2*w - 1. Suppose m + m = 4*r + 44, 4*r - m = -48. Let j = 8 + r. Is d(j) a multiple of 6?
False
Let x(d) = -6*d**2 + 4*d - 2. Let m be x(2). Is -15*3/(m/14) a multiple of 14?
False
Let y(s) = 16*s**2 + 4*s - 3. Let x be y(2). Suppose -2*p - p + x = 0. Is 18 a factor of p?
False
Let x be (8/(-10))/(10/(-25)). Suppose -2*r - x*l + 50 = 0, -2*l + 5*l + 9 = r. Is r a multiple of 21?
True
Let d(y) = y**3 + 7*y**2 - 7*y + 6. Is d(-7) a multiple of 11?
True
Let g(d) = -d**2 + 8*d - 6. Let z(m) = 6*m**2. Let y be z(1). Does 3 divide g(y)?
True
Let p(l) = l**2 + 11*l - 3. Does 11 divide p(-17)?
True
Suppose 0 = -3*j - 2*j + 160. Does 9 divide j?
False
Suppose 0*c = c. Suppose k - 24 = -c*k. Suppose -t = 2 - k. Is 13 a factor of t?
False
Suppose 5*q - 3*q = 80. Is q a multiple of 10?
True
Let s be (-1)/5 + (-26)/(-5). Suppose 5*w = 4*t + 19, w - s*t - 5 - 3 = 0. Suppose -w*q = -4*q + 16. Is 6 a factor of q?
False
Let t(y) be the first derivative of y**4/3 + y**2/2 + y + 2. Let i(p) be the first derivative of t(p). Does 11 divide i(2)?
False
Is -5 + (-4 - (3 + -16)) even?
True
Let j(t) = 9*t**2 + t - 1 + 1. Let k(x) = -x**2 + 6*x + 1. Let s be k(6). Is j(s) a multiple of 6?
False
Is ((-17)/2)/(1/(-2)) a multiple of 17?
True
Let o = -94 + 123. Does 7 divide o?
False
Let t = 35 + -23. Is t a multiple of 12?
True
Suppose -4 = f + f. Let z be 1 - (0 - (1 + f)). Let w(u) = -u**3 - u**2 + u + 5. Is 5 a factor of w(z)?
True
Let i(z) = z**2 + z + 19. Let b be i(0). Let r = b + -10. Is 5 a factor of r?
False
Suppose -2*n + 5*u = 18, 3*n + 0*u + 20 = 4*u. Let g = n + 9. Suppose -f - 4 = -c - 2*f, 2*c = f + g. Is 2 a factor of c?
False
Let a be (-11 - -3)*(-2)/4. Suppose -k - 9 = -a*k. Does 3 divide k?
True
Let z(s) = -7 + 5 + 8 + 5*s. Let u be z(6). Is 13 a factor of 944/u + 2/(-9)?
True
Suppose 5*x = 2*p - 16 - 23, 2*x = -4*p + 138. Is p a multiple of 16?
True
Let z be (-88)/(-28) - (-3)/(-21). Suppose -z*k = 2*k + 4*v - 52, 5*v - 15 = 0. Is k even?
True
Suppose -u + 4 + 4 = 0. Suppose -4*g - 52 = -u*g. Is g a multiple of 6?
False
Let g(u) = -u**2 - 4*u + 24. Does 6 divide g(0)?
True
Let n = 134 + -38. Is n a multiple of 12?
True
Suppose -6*r - 5 = -2*r + 5*p, -3*r - 2 = 2*p. Suppose r = 5*h - h - 152. Is h a multiple of 22?
False
Suppose -4*p - 58 = -5*p. Let w = 101 - p. Is 15 a factor of w?
False
Let n = 21 + -19. Suppose 0 = 5*u - n*u - 132. Is 25 a factor of u?
False
Let m = -10 + 17. Does 7 divide m?
True
Suppose -3*d + 21 + 72 = 3*m, 2*m = 2*d + 46. Let w = 66 + -63. Suppose f = -w, 3*i - f = i + m. Is 8 a factor of i?
False
Suppose 5*a + 4*r - 509 = 0, -4*a + 5*r + 432 = 2*r. Is 35 a factor of a?
True
Let r = 14 + -37. Let h = r + 38. Suppose -5*a + h = -45. Is a a multiple of 6?
True
Suppose -61 = -n + 2*j, 7*n - 4*j - 299 = 2*n. Is 15 a factor of n?
False
Let g(a) = a**2 - 4*a + 15. Is g(-9) a multiple of 20?
False
Let k(b) = -4*b + 3 - 4*b + 3*b. Let m = -9 + 6. Is k(m) a multiple of 18?
True
Suppose a - 6 = -0*a. Let o = 2 + a. Does 8 divide o?
True
Let k = 80 - 32. Is k a multiple of 16?
True
Suppose -2*o = -o + 24. Let w = -14 - o. Is w a multiple of 4?
False
Let d = 14 + 6. Let z be 358/10 - (-4)/d. Suppose t + 3*t - z = 0. Is t a multiple of 9?
True
Does 19 divide (-36)/(-1) + -2 + 4?
True
Suppose -c - 12 = -5*c. Is 2 a factor of c?
False
Let u = -43 - 4. Let g = 67 + u. Does 9 divide g?
False
Suppose -k = -2*w - 82, -2*k + 2*w + 13 = -157. Does 11 divide k?
True
Let w(d) = d**2 - 2*d - 2. Is 3 a factor of w(-2)?
True
Suppose 157 = 4*j - 35. Is j a multiple of 24?
True
Suppose -26 + 10 = -4*g. Suppose -20 + 80 = g*w. Does 5 divide w?
True
Let f(d) = d**2 - 1. Let k be f(-1). Suppose 2*s - 4 = -2*i, -i - s + 2*s + 8 = k. Let b(a) = -a**3 + 8*a**2 - 7*a + 5. Is 14 a factor of b(i)?
False
Let j(q) be the first derivative of -q**4/4 - 2*q**3/3 - q**2 + q - 1. Let x be j(-2). Suppose -71 = -3*o - x. Does 16 divide o?
False
Let h(s) = -s**2 + 6*s - 4. Let y be h(5). Let b(p) be the first derivative of 13*p**2/2 - p + 3. Does 12 divide b(y)?
True
Let r be 3/(-1) - (-1 + -5). Suppose t = -2*y - 7 + 58, -y = -r*t - 29. Does 13 divide y?
True
Let g be (-3)/(1 + 3 + -3). Let s(u) = u**2 + 2*u. Does 2 divide s(g)?
False
Let l(s) = -2*s + 6 + 2*s + 4*s - 2 - 8*s**2 + s**3. Is l(8) a multiple of 18?
True
Let d(w) = 2*w**2 - 2*w - 7. Is 11 a factor of d(-4)?
True
Suppose 0 = 5*c + 20 - 75. Suppose 0 = 4*j - c - 9. Suppose 3*i = j*q + 55, 5*i + 4*q = 2*i + 37. Does 5 divide i?
True
Is 13 a factor of 80/1 + 3 + -7?
False
Suppose 0 = -3*n - 153 - 153. Is n/(-10) - (-2)/(-10) a multiple of 10?
True
Let d(p) be the first derivative of 1/3*p**3 - 1 - 1/2*p**2 + 38*p. Is 22 a factor of d(0)?
False
Let i(m) = -2 + 2*m**2 - 3*m**2 - m - 3 + m**3 + 6*m**2. Let p be i(-5). Suppose p = -3*q + 4*q - 7. Is q a multiple of 6?
False
Let t = -39 + 69. Does 8 divide t?
False
Let p(j) = 2*j**2 + 13*j - 5. Does 12 divide p(-11)?
False
Let s(x) = -8*x - 2. Let f be s(-3). Suppose -49 = 4*t + 7. Let a = f + t. Does 4 divide a?
True
Let o = 7 + 1. Suppose 2*v + o = 6*v. Suppose -v*r = 3*t - 0*r - 51, 5*r = 0. Is t a multiple of 10?
False
Suppose 0 = 5*x - 81 - 854. Is x a multiple of 15?
False
Suppose -19 - 11 = -3*n. Is 7 a factor of n?
False
Let m(z) = -z**2 + 3*z + 2. Let n be m(3). Suppose -5*g + 393 = -5*t + 3*t, t + 158 = n*g. Does 17 divide g?
False
Suppose -8*n + 4*n + 5*a = -1115, 1396 = 5*n - 4*a. Does 14 divide n?
True
Let n = -4 - -6. Suppose 0 = 4*r - n*g + 7*g, -2*g = -2*r + 18. Is 12 a factor of 4/r*425/10?
False
Let n = 60 + 24. Is 14 a factor of n?
True
Suppose -3*b + 0*b = 69. Let j = 36 + b. Is j a multiple of 4?
False
Suppose 4*p - 25 = -p. Suppose p*u - 3*u = -4. Is 14 a factor of (u*(-78)/(-3))/(-2)?
False
Suppose -4*k + 120 = -12. Does 22 divide k?
False
Suppose -4 - 4 = -2*g. Suppose -k - 23 = g*w, -4*w - 5 = 7. Is (-2)/11 + (-145)/k a multiple of 13?
True
Let b(a) = -a**2 - a. Suppose 3*j = 8*j + 5. Let n be b(j). Suppose -4*m + h = -n*h - 88, -3*m = -5*h - 66. Is 11 a factor of m?
True
Suppose -5*y + 222 = -0*y - n, -3*y + 136 = -2*n. Does 19 divide y?
False
Let d(i) be the second deriva