 x + p*u, 0 = 5*x - 4*u - 1 - k. Does 11 divide x?
True
Suppose 0 = -5*z - y + 253 - 27, -5*z = -4*y - 221. Is 9 a factor of z?
True
Suppose 0 = 2*w - 28 + 10. Does 3 divide w?
True
Does 9 divide 0 - 81/((-6)/2)?
True
Suppose -2*j - 206 + 654 = 0. Is 18 a factor of j?
False
Let c(j) be the third derivative of j**5/15 + j**4/12 - j**2. Let g = 7 - 9. Is 12 a factor of c(g)?
True
Let d(t) = 2*t**3 - 2*t**2 + 3*t - 4. Suppose 6 = 5*z - 9. Let u(c) = -3*c**3 + 3*c**2 - 6*c + 8. Let n(i) = z*u(i) + 5*d(i). Is n(3) a multiple of 6?
False
Suppose p - 3*p + 2*g - 12 = 0, 25 = -5*p + 4*g. Does 4 divide 0 - (16/4)/p?
True
Suppose -6*k + k = -3*w - 32, -28 = -2*k + 5*w. Let t = k + 1. Suppose 19 - 64 = -t*o - 5*v, 0 = -4*v - 16. Is o a multiple of 13?
True
Suppose -3*d + 21 = 3*i, -6*d + 2*d + 2*i = -4. Suppose 0 = 4*j - 21 - d. Is j a multiple of 3?
True
Let c be (-2)/(-5)*15/3. Suppose t - c*t + 2 = 0. Suppose -t*l = -10 - 4. Is 5 a factor of l?
False
Does 15 divide (-2)/(-9) - 601/(-9)?
False
Let s(t) = 6*t + 3*t**2 + t**2 + 2 + 2*t**2. Let x(k) = 3*k**2 + 3*k + 1. Let c(d) = -6*s(d) + 13*x(d). Is c(-2) a multiple of 7?
True
Let n(v) = -v**3 - 10*v**2 - 6*v - 11. Does 10 divide n(-10)?
False
Suppose h = -5, -2*c - 20 = 3*c - 3*h. Let d = c - -30. Is d a multiple of 14?
False
Let x(q) = -q**2 + 4*q - 2. Let r(k) = k - 1. Let u(v) = 6*r(v) - x(v). Let z be u(-4). Let w = z - -14. Does 18 divide w?
True
Let a be 8/12 - 44/(-6). Suppose 0*c = -4*c - a, -c = s - 17. Let y = -10 + s. Is 5 a factor of y?
False
Let a(k) = -k**3 + 5*k**2 + 2. Let v be a(3). Suppose c = 2 - 0. Suppose 5*f = c*r - r + 10, -v = -4*f. Is 15 a factor of r?
True
Let x(m) = -m**2 + 11*m - 10. Let y be 7/((-1 - 0) + 2). Is x(y) a multiple of 18?
True
Let m(r) be the second derivative of r**3/6 - 2*r**2 + r. Let d be m(7). Suppose j - 13 = -d. Is 5 a factor of j?
True
Let g(h) = -h**3 + 5*h**2 + 7*h - 1. Let l be g(6). Suppose -l*m + 172 = 52. Is 11 a factor of m?
False
Let t(h) = 6*h**2 + 3*h - 3. Let f be t(3). Suppose 2*z = -2*m - 2 + 42, 3*m + f = 5*z. Suppose b - 21 - z = 0. Is 18 a factor of b?
True
Let b = -2 + 4. Suppose 50 = 5*r + b*f - 87, -r + 13 = 4*f. Suppose w + 0*w - 3*i = r, -4*w = -2*i - 86. Does 13 divide w?
False
Let m(n) = n**2 + 18. Let b(p) = p**2 - 7*p - 1. Let v be b(7). Let o = v - -1. Is 11 a factor of m(o)?
False
Let w(j) be the second derivative of 2*j**4 + 2*j**3/3 + 3*j**2/2 - 10*j. Does 28 divide w(-2)?
False
Let p(b) = b**3 + 9*b**2 + 3*b + 6. Is 12 a factor of p(-6)?
True
Suppose -174 = 3*k - 9*k. Is 5 a factor of k?
False
Suppose 4*o = 2*o + 8. Suppose -g - 5*c = g, o*g - c - 22 = 0. Suppose g*n - 2*n = 93. Does 16 divide n?
False
Let a(y) = y**3 + 8*y**2 + 8*y + 7. Let o be a(-5). Suppose -26*g + o = -23*g. Is 6 a factor of g?
False
Let m(d) = 4*d**2 - 26*d + 7. Does 41 divide m(11)?
True
Suppose 4*t + 16 = -0*t. Let s be (-2)/(-4) - 38/t. Is 7 a factor of (-76)/(-10) - (-4)/s?
False
Let f = 288 + -104. Is f a multiple of 10?
False
Let y(v) = -2*v**2 - 3*v + 2. Let b be y(3). Let d = b + 75. Is 25 a factor of d?
True
Let t = -32 + 54. Does 9 divide t?
False
Let s = 65 + -101. Let a = -12 - s. Is 24 a factor of a?
True
Suppose -50 = -5*c + 10. Is c a multiple of 4?
True
Let a(c) be the first derivative of c**4/4 - 4*c**3/3 - 5*c**2/2 - 4*c + 3. Let x be a(5). Let f = x + 7. Does 3 divide f?
True
Let g(n) = n**3 - 2*n**2 - 3*n. Let r be g(3). Let x = 9 - r. Is x a multiple of 6?
False
Let f be (3/(-2))/((-4)/(-24)). Let b = -12 - -6. Let t = b - f. Is 2 a factor of t?
False
Let h(v) = -v + 19. Let n(i) = -i + 13. Let p be n(13). Is h(p) a multiple of 14?
False
Let f(o) = o**2 - 6*o - 3. Let s be f(6). Let v(m) be the second derivative of m**4/3 + m**3/3 - m**2/2 - m. Is 20 a factor of v(s)?
False
Is 13/(-52) + (-3226)/(-8) a multiple of 13?
True
Let s(y) = y + 4. Let t = 2 - -2. Suppose -t*a + 3 = -3*a. Does 7 divide s(a)?
True
Does 38 divide 4/6 - (13600/15)/(-8)?
True
Suppose -4*f - n = -9*f + 30, -4*f - 5*n = 5. Let v(o) = 2*o**3 - 8*o**2 + 3*o - 2. Is 21 a factor of v(f)?
True
Let y = 101 + -92. Is y a multiple of 3?
True
Suppose 2*g - 20 = -2*g - 2*p, -2*g + 5*p = 2. Suppose 6 = g*l - 2. Suppose -2*o + l*y + 55 = 3*y, -5*o + 142 = -2*y. Is 14 a factor of o?
True
Suppose 0 = 5*u + 130 - 580. Let h = u + -55. Is h a multiple of 35?
True
Let c = -1 - -15. Suppose 2*h - c + 4 = 0. Suppose 31 = h*b - 24. Is 9 a factor of b?
False
Let x(j) = 7*j - 1. Suppose -q + 6 = 1. Is 11 a factor of x(q)?
False
Let i(u) be the third derivative of -u**6/120 + u**5/15 + u**4/24 - 4*u**2. Is i(-3) a multiple of 16?
False
Is 13 a factor of (85 + -4)*(21/9 + -2)?
False
Let a(z) = 2*z**2 - 15*z + 6. Does 27 divide a(10)?
False
Let j = 148 - 76. Suppose 0 = v + 2*v + 2*z - j, 3*z = 2*v - 48. Suppose -2*u = q - v, 3*q = q - u + 60. Is q a multiple of 16?
True
Suppose 578 = 4*m + 3*v - 445, -512 = -2*m - 2*v. Let y = m - 177. Suppose -2*c + y = c. Is 13 a factor of c?
True
Suppose -f + 828 = 3*f. Is 23 a factor of f?
True
Suppose 0 = 10*t - 676 - 724. Is t a multiple of 21?
False
Let o(m) = 6 - 8 + m**3 - 6*m + m**2 + 3*m**2. Let t be o(-5). Suppose 5*g - 8 = g, 3*g = -t*i + 48. Is i a multiple of 7?
True
Let y be (-5)/(-4) - (-2)/(-8). Let h(a) = 5*a - 88. Let s be h(20). Let r = s + y. Is r a multiple of 5?
False
Is 3 a factor of -10 + 8 + 10 + 0?
False
Suppose -5*n + 4*v = -424, -5*v = -3*n - 0*v + 257. Suppose n = 6*z - 2*z. Does 13 divide z?
False
Suppose z = 3*z - 12. Let b = z - 6. Suppose b*x = 4*x - 56. Is 7 a factor of x?
True
Suppose 5*t - 8 = 7. Suppose -l = -t - 2. Suppose 8 = l*o - 52. Is 9 a factor of o?
False
Does 14 divide 1/3 - 82/(-6)?
True
Let u(j) = -j + 6. Let l be u(3). Let t = l + -4. Let f(b) = -59*b + 1. Is f(t) a multiple of 22?
False
Does 41 divide (4/(-6))/(24/(-4428))?
True
Let n(o) = -3*o**2 + 5*o + 2. Let s be 1/((-2)/(-24)) + -1. Let p(l) = 8*l**2 - 16*l - 7. Let v(k) = s*n(k) + 4*p(k). Is 2 a factor of v(-8)?
True
Let i(t) = -t**2 + 10*t - 1. Let o be i(9). Let y = -1 + o. Does 4 divide y?
False
Let z(u) be the first derivative of -u**3/6 + 7*u**2 - 2*u - 2. Let i(o) be the first derivative of z(o). Is i(6) a multiple of 6?
False
Suppose -3 = -4*h - 11. Is 13 a factor of 64 - (h - 0) - 3?
False
Let x(k) = -9*k - 4. Is 13 a factor of x(-10)?
False
Suppose 0 = -4*b + 2 + 10, -3*b - 251 = -4*h. Does 8 divide h?
False
Suppose -t - 267 = -4*t. Is 18 a factor of t?
False
Let z(u) = -15*u + 5. Is 13 a factor of z(-11)?
False
Let k = 22 - 14. Let f = -1 + k. Is 2 a factor of f?
False
Let u(g) = 2*g - 5. Let p be u(4). Let j(z) = 11*z - 5. Let b(c) = 23*c - 11. Let t(m) = -4*b(m) + 9*j(m). Does 20 divide t(p)?
True
Suppose 2*c = 4*l - 152, c - 5*l + 68 = -l. Let v = -42 - c. Is 13 a factor of v?
False
Suppose -4*w - 4*h + 0*h = 12, -4*w + 23 = -3*h. Suppose -230 = -4*m - 0*u - w*u, m + u = 57. Is m a multiple of 16?
False
Let h(j) be the first derivative of 2*j**2 - 7*j + 1. Let o be h(5). Does 13 divide o*(3 + -5)*-1?
True
Suppose -2*f + 18 = -3*f + 2*k, -k - 3 = f. Is (-30)/(-8) - 2/f a multiple of 3?
False
Let c be 79/(-5) - 1/5. Let g = c - -24. Does 4 divide g?
True
Let z(y) = y**2 + 8*y - 1. Let n be z(-10). Let a = n - 6. Is a a multiple of 8?
False
Let h = 107 + -41. Is 33 a factor of h?
True
Let i = -5 + 1. Let p(z) = -8*z - 4. Is 13 a factor of p(i)?
False
Suppose 0 = 3*s + 5 + 1. Let k = 1 - s. Suppose 7*z = k*z + 200. Does 20 divide z?
False
Let u(i) = 13*i - 5. Does 21 divide u(3)?
False
Let p(o) = -o**3 - o**2 + o + 3. Let b be p(0). Suppose -16 = 2*u - 4*u. Let k = b + u. Is k a multiple of 11?
True
Suppose -96 = r - 4*r. Does 16 divide r?
True
Let l = -9 - -63. Is 27 a factor of l?
True
Suppose 0 = -4*p - 2*g - 1 + 7, 2*p + 5*g = -9. Suppose -3*z - 4*f = -93, 0 = z + p*z + 3*f - 124. Is z a multiple of 11?
False
Let h = 502 - 119. Suppose -8 + 3 = c, 4*t - h = 3*c. Is 23 a factor of t?
True
Let r = -1 - -13. Does 12 divide r?
True
Let j be 3/(-5) + 2118/30. Suppose 3*d - 11 = j. Does 12 divide d?
False
Suppose -2*b - 1 = 13. Let o(p) = p**2 + 3*p - 1. Is o(b) a multiple of 9?
True
Suppose q + 85 = 33. Let f = q - -111. Suppose -68 = -4*p + z, 4*p - f = 5*z + 25. Does 8 divide p?
True
Let l(d) = d**3 - d**2 - 4*d + 4. Is l(4) a mu