a(p) = p**3 + 7*p**2 + p. Does 12 divide a(-5)?
False
Let d(y) be the third derivative of y**6/120 - y**4/24 + 6*y**3 + 5*y**2. Is d(0) a multiple of 18?
True
Is 68/21*(-90)/(-20)*21 a multiple of 9?
True
Let k = 84 + -45. Suppose 0 = 4*j - 7*j + 213. Suppose 5*t - j = k. Is 11 a factor of t?
True
Suppose 2*y + 2*u = 4*y - 28, 4*y = 2*u + 48. Is 3 a factor of y?
False
Let z = 6 - 7. Is 3 - (2 + z)*-2 even?
False
Let p(s) = -s**3 + 6*s**2 + 8*s + 5. Let b be p(7). Let f = b - -16. Let x = f - -20. Does 16 divide x?
True
Suppose 4*f = 387 - 103. Let s = f + -34. Suppose 0 = 4*g - 125 + s. Is g a multiple of 11?
True
Let j(g) = -7*g - 8 - g + 3*g. Let b(w) = -5*w**2 - 4*w + 3. Let u be b(1). Is 11 a factor of j(u)?
True
Let y = 68 - -16. Is y a multiple of 32?
False
Let p(n) = -n**3 + 14*n**2 + n - 15. Let c be p(14). Is 2 a factor of 11/2*(c + 3)?
False
Let a = 63 + -27. Is a a multiple of 36?
True
Is 4/(-7) - 3311/(-49) a multiple of 8?
False
Let s = -4 + 6. Suppose 3*l = -s*l + 130. Does 13 divide l?
True
Suppose -2*q + 72 - 10 = 0. Is 12 a factor of q?
False
Suppose 6*a - 3*a - 42 = 0. Does 16 divide 886/14 - 4/a?
False
Let o(i) be the first derivative of -i**2/2 - 2. Is o(-8) a multiple of 8?
True
Suppose -17 - 10 = -3*h. Is 48/h*(-42)/(-8) a multiple of 14?
True
Suppose 6*j = j. Suppose j = 3*z - 2*d - 20, -4*d = z - 3*d. Suppose -4 = -0*s + 2*s, -4*s - 92 = -z*w. Is w a multiple of 11?
False
Let f(i) = i**3 - 3*i**2 + 1. Is 6 a factor of f(4)?
False
Let r(y) = -14*y + 1. Let d be r(-2). Suppose -6*u = -7*u + d. Is u a multiple of 12?
False
Let r(q) be the third derivative of q**5/60 - q**4/24 - 5*q**3/6 - 10*q**2. Suppose 0 = 5*w + 12 - 32. Is 3 a factor of r(w)?
False
Suppose 4*r - 4*r = -5*r. Suppose 0 = 2*m + 3*m - 5. Is 11 a factor of 3 - 30/(r - m)?
True
Suppose -9*k + 479 = -1987. Is 11 a factor of k?
False
Let d(n) = -3 - n**2 + 18*n**3 + 3. Suppose -3*q - 3 = -3*c, 5 + 3 = 4*c. Does 10 divide d(q)?
False
Suppose -9*x + 554 = -67. Is 23 a factor of x?
True
Suppose w + 36 = 7*w. Does 2 divide w?
True
Let i(x) be the second derivative of 2*x + 3/2*x**2 + 0 + 1/20*x**5 - 1/2*x**3 + 1/3*x**4. Is 7 a factor of i(-4)?
False
Let m = 4 + 68. Is 12 a factor of m?
True
Suppose 4*p = 36 - 12. Let x(v) = 3*v - 9. Let a be x(p). Suppose n - 4*b - a - 25 = 0, -3*b = 6. Is n a multiple of 13?
True
Suppose 383 = 9*t + 104. Does 5 divide t?
False
Let s = 14 - -1. Let x be (-77)/((s/(-6))/5). Suppose 5*i - x - 16 = 0. Does 17 divide i?
True
Let r = -4 + 7. Suppose -r*c + 144 = c. Is 18 a factor of c?
True
Let y be (-2)/(-3) - (-14)/6. Suppose -2*u - y*u + 25 = 0. Is 2 a factor of u?
False
Let t(h) = 16*h**2 - 6*h - 10. Let w be t(7). Suppose -2*y + 5*y = -w. Does 12 divide 6/(-15) - y/10?
True
Let t = 513 - 363. Does 10 divide t?
True
Let j(z) = 5*z**2 + 4*z - 3. Let x be j(2). Let l = x - 18. Let k = l + 7. Is 7 a factor of k?
True
Is (2 - 436/(-6))*171/76 a multiple of 29?
False
Let w(l) = -l**3 - 8*l**2 + 2*l - 12. Does 16 divide w(-9)?
False
Let g = 4 + -5. Is (g/3)/((-1)/129) a multiple of 20?
False
Let w(g) = -3*g**3 - 12*g**2 - 9*g - 6. Let r be 1/3 + 11/3. Let j(v) = -v**3 - v**2. Let q(b) = r*j(b) - w(b). Does 5 divide q(9)?
False
Suppose -10 = -5*j + l + 1, 3*l + 11 = 4*j. Suppose 4*w = -h + 18, 25 = -j*h + 5*w + 100. Does 15 divide h?
True
Let u(x) = -x - 5. Let b be u(-7). Let w be 1 + b + 0/2. Does 5 divide 7 + w/(-1 - 2)?
False
Suppose 4*z - 5*z = 1, -4*z = -4*r - 60. Let o = -11 - r. Is o a multiple of 3?
False
Suppose -3*n + 15 = 2*n. Suppose 5*j = n*j. Suppose -3*f + j*f = -111. Does 18 divide f?
False
Let i = -255 + 426. Is i a multiple of 16?
False
Suppose -9 + 21 = a. Is a a multiple of 12?
True
Let c(s) = -s**2 + 18*s - 14. Let r be c(12). Suppose 4*q = -3*a + 89 + r, -4*a + 195 = 5*q. Is 12 a factor of a?
False
Let w(x) = -x**3 + 4*x**2 + 4*x + 3. Let y = -6 + 3. Is w(y) a multiple of 18?
True
Let r be 1*1*(2 - -1). Suppose -r*y + 7*y = 24. Let t = y + -1. Is t a multiple of 5?
True
Let b = -4 - -4. Suppose -g + 5*g - 44 = b. Is 6 a factor of g?
False
Let t = -2 + 6. Suppose 0*n + 4*w = -2*n + 16, t*w - 24 = -4*n. Suppose -3*u - 10 = -2*k, -3*k + u = -n*u - 14. Is k a multiple of 4?
True
Suppose 2*w + 35 = 3*v, 2*v + 2*w = 3*v - 13. Suppose 3*b + v = 4*b - 5*n, b - 14 = 2*n. Is (b/12)/(4/42) a multiple of 14?
True
Suppose -3*i - 2*i + 330 = 0. Suppose 3*m + i = 4*m. Does 11 divide m/9*3/2?
True
Let i = 17 + -15. Suppose 2*r - 3*r + 4*d = -14, -3*r = -i*d - 42. Is 7 a factor of r?
True
Suppose 12*k = 2574 + 1290. Does 23 divide k?
True
Suppose -8*h + 16 = -4*h. Let p = -1 + 1. Suppose 3 = a - 0*k - k, -h*k = p. Is a a multiple of 3?
True
Is (3/4)/(8/544) a multiple of 11?
False
Let l = -359 - -249. Let t = 156 + l. Suppose q = 2*d - d + t, 86 = 2*q - 4*d. Is 21 a factor of q?
False
Suppose 5*u - 8*u + 6 = 0. Is 12 a factor of (74/(-6))/(u/(-6))?
False
Suppose 0 = 4*n + 2 + 6. Let u be -4*(7/2 + n). Does 8 divide (10 - -2)/((-3)/u)?
True
Let x(c) = c + 1. Let n be x(-9). Is 18 a factor of (1 + 71)*(-4)/n?
True
Let y be 2/4 + (-22)/(-4). Suppose -27 = 3*j - y*j. Is j a multiple of 4?
False
Let n = -36 + 263. Is n a multiple of 33?
False
Let t(v) = 2*v**3 + 3*v**2 - 5*v - 3. Let o be t(-3). Suppose 25 = 4*l - 9*l. Let z = l - o. Does 9 divide z?
False
Let x(w) = -w**3 - 393. Let m be x(0). Is 19 a factor of m/(-21) - 6/(-21)?
True
Let n(o) = -3*o + 28. Is 8 a factor of n(-14)?
False
Suppose 11 - 33 = -3*c + 5*o, -3*o - 2 = c. Let j(m) = -m - c + 14 + 16. Is j(0) a multiple of 22?
False
Suppose p - 5*v + 10 = -0*p, -2*v = -4*p + 14. Suppose 4*k - 40 = c + 3*c, p*k - 30 = -5*c. Does 13 divide (k/(-6))/((-2)/39)?
True
Suppose -19*z + 6 = -16*z. Let r = 15 - 8. Suppose -z*i + r - 3 = 0. Is 2 a factor of i?
True
Let a(z) be the second derivative of 2*z**3 - 3*z**2/2 + z. Does 19 divide a(5)?
True
Suppose 0*b + 2*z = -b - 6, b - 18 = 4*z. Suppose 3*w + 10 = 5*w. Suppose -4*l + b*v - w*v = -198, -106 = -2*l - 5*v. Does 24 divide l?
True
Let d = 2 - -6. Let u = d - -13. Suppose 0 = -y + b + 10, 2*y = -0*y + b + u. Is 5 a factor of y?
False
Let j = -102 + 144. Is j a multiple of 21?
True
Suppose -5*m + 2*r + 13 - 2 = 0, m = -2*r + 7. Suppose -5*d - 265 = -h - 4*h, m*h - 157 = d. Does 13 divide h?
True
Let t(w) = 0 - 1 + 2 + 0 + w. Does 6 divide t(5)?
True
Let v = 702 - 255. Let i be (v/(-9))/(1/(-3)). Suppose -5*o + i - 24 = 0. Is o a multiple of 11?
False
Let b(s) be the first derivative of s**4/6 - 4*s**3/3 + s**2 + 2. Let d(m) be the second derivative of b(m). Does 8 divide d(6)?
True
Let u(h) = -2*h - 3. Let n be u(-4). Suppose 0 = -b + n*b - 5*y, 2*y = 3*b. Suppose -5*a - q - 4*q = -65, b = 4*q + 4. Is a a multiple of 9?
False
Let t be (-1)/2 - (-11)/2. Suppose 2*b + 5*f = 13, 0 = 4*b + b + f - 21. Suppose t*w + 3*y + y = 166, 0 = -y + b. Does 15 divide w?
True
Let y = -23 + 28. Does 2 divide y?
False
Let n be 0/(-5) + 1*11. Suppose 4*j + n = -25. Let w = 26 - j. Is w a multiple of 16?
False
Suppose -8 = 3*c - 32. Suppose -4*a + 44 = -c. Is a a multiple of 10?
False
Is 16 a factor of (-114)/(((-2)/5)/((-4)/(-20)))?
False
Let m = 353 - 217. Does 16 divide m?
False
Suppose 6*t + 2*t + 16 = 0. Let b = 10 + -3. Let f = b + t. Is f even?
False
Suppose 0 = a + 4*s - 2 - 14, a + 3*s = 12. Suppose 0 = 4*k - k - 4*p - 310, -5*k + 4*p + 506 = a. Is 25 a factor of k?
False
Let t = -65 - -112. Is t a multiple of 5?
False
Let z(s) = -s**3 + 4*s**2 - 2*s. Let l be z(3). Suppose l = -3*i, -5*r + 4*r + 21 = i. Does 18 divide r?
False
Let g(p) = -9*p - 2. Let m be g(2). Is (-162)/(-8) + (-15)/m a multiple of 7?
True
Let s(t) = 0*t - 5*t + 2 + 4*t + 0*t. Let a be s(-4). Let h = a + 9. Is 15 a factor of h?
True
Is 25 + -23 - -58*(2 + -1) a multiple of 10?
True
Let h be (-137)/(-2) - 18/(-12). Suppose 110 + h = 5*w - 5*x, 5*x = 4*w - 142. Is w a multiple of 12?
False
Suppose 0 = o - 0*o - 10. Suppose 0 = -5*q + o, 3*w - q = w + 2. Suppose 0 = 5*p - w*p - 72. Is 19 a factor of p?
False
Let o(g) = 3*g**2 + 5*g - 7. Let d be o(6). Let u = d - 77. Is u a multiple of 13?
False
Let p(l) = l**2 + 4. Let d be p(0). Suppose k + 3 + 1 = 2*z, -4*k + d*z + 4 = 0. Let t(v) = v**3 - 4*v**2 - 4*v + 6. Does 15 divide t(k)?
False
Let q = 3 - -2. Suppose -4*u + q*u = 7