 a**4/8 - a**3/6 - 4*a**2. Does 7 divide w(-5)?
True
Suppose -2*y = -5*y + 207. Is y a multiple of 11?
False
Suppose 4*k + 0*y + y = -2, 0 = -k + 4*y + 8. Suppose k = x - 5*p + 1, 0 = -x + 4*x - 3*p - 57. Is x a multiple of 12?
True
Suppose -t = f + 11 - 40, 3*t + 83 = 2*f. Does 10 divide f?
False
Suppose -3*r = r + 8. Is (-14)/(-21)*(-21)/r a multiple of 4?
False
Let a be 1 + -1 - (-8)/2. Suppose 0 = a*h - 4 - 12. Let g = 15 - h. Does 4 divide g?
False
Let j(k) = -k**3 + 9*k**2 + 11*k - 3. Let r be j(10). Suppose -29 + r = -n. Suppose -4*b - 4 = -4*f + 20, 3*b = -5*f + n. Is f a multiple of 3?
False
Let x(c) be the third derivative of c**6/60 + c**5/20 - c**4/24 + c**2. Suppose -3 = -5*y + 7. Does 13 divide x(y)?
True
Let i = -1 - -50. Suppose 47 = 4*s - i. Is s a multiple of 24?
True
Let s = 70 + -16. Suppose 3*m - s = m. Is 21 a factor of (-2)/(-9) + 561/m?
True
Let n(k) = 10*k**2 - 3*k - 11. Does 31 divide n(-5)?
False
Let y = 82 - 15. Is y a multiple of 21?
False
Let g(b) = -b**3 - 8*b**2 - 2*b + 5. Let q be g(-6). Let j = q - -99. Suppose p - 5*h = j, -5*h = -3*p - 0*p + 112. Is 9 a factor of p?
False
Let n(c) = -c**2 - 10*c - 10. Let u be n(-9). Let z(b) = 38*b**2 + 2*b + 1. Is z(u) a multiple of 13?
False
Suppose i + 68 = b, -4*b + i + 272 = 4*i. Is b a multiple of 17?
True
Suppose 4*j = 5*r + 39, -2*r + 2 + 4 = 2*j. Let v = -1 + j. Suppose 0 = x - v*x + 104. Is x a multiple of 13?
True
Let n(q) = 6*q - 9. Let r(c) = 1. Let y(w) = n(w) + 5*r(w). Is y(3) a multiple of 7?
True
Let o(s) = -2*s**2 - 13*s - 9. Let q be o(-5). Suppose q*g - g = 175. Is g a multiple of 8?
False
Let d(h) = -34*h + 8. Let o be d(-6). Suppose -5*z + o = -128. Suppose -5*i = -z + 28. Does 4 divide i?
True
Suppose 0 = 5*a + 25, -149 = -l - 2*l - 5*a. Does 15 divide l?
False
Let y = -8 + 10. Suppose -y*u - 129 = -3*k - u, 2*u - 50 = -k. Is k a multiple of 12?
False
Let k = 8 + -1. Suppose 0 = -5*u + 17 - k. Suppose 5*m + 2*l = 58, 0 = u*l - 10 + 2. Does 5 divide m?
True
Let z(o) = o**3 - 3*o**2 - 4*o - 2*o**2 - o - 4. Let v be z(6). Suppose -2*m + 44 = v*n, n - 2*m - 27 = 7. Does 13 divide n?
True
Let z = 27 - 17. Let r(k) = 5*k + 14. Let n be r(z). Suppose 3*b - c - 8 - 36 = 0, 5*b = 4*c + n. Does 7 divide b?
False
Let a = 2 + 0. Let n(h) = h**2 + h - 1. Let m(k) = -3*k**2 - 3*k + 24. Let z(r) = a*n(r) + m(r). Is z(0) a multiple of 11?
True
Let r(k) = 2*k**2 + 12*k + 5. Let m be r(-9). Let o = 116 - m. Does 15 divide o?
False
Let u(z) be the first derivative of -z + 1/3*z**3 + 11*z**4 + 0*z**2 - 3. Does 14 divide u(1)?
False
Let w = 17 - 8. Let h be w + (-1)/2*2. Suppose 5*j = h*x - 3*x - 60, 5*j + 47 = 4*x. Is x a multiple of 13?
True
Suppose -261 = -p - 2*p. Let m = p - 54. Let v = m - 17. Does 15 divide v?
False
Let m be 76*((-27)/(-6))/3. Suppose 0*z = -3*z + m. Does 19 divide z?
True
Suppose -3 + 9 = 3*n. Suppose -2*i + i + 3 = 2*z, -z - 21 = -n*i. Is i a multiple of 9?
True
Let i = -6 + 7. Let o be i*(-9)/(-3) + 2. Let j = 15 - o. Is j a multiple of 5?
True
Let l = 84 - -76. Suppose -l = -5*s - 0*s. Is s a multiple of 16?
True
Suppose 54 = o - p, 4 = 3*o - 5*p - 158. Let w = 95 - o. Is w a multiple of 14?
False
Suppose 95 = 3*w - 307. Does 11 divide w?
False
Suppose -2*p + z - 14 = 0, -3*p + 3*z = p + 30. Let k = p - -29. Is k a multiple of 23?
True
Let u(d) = 1 + d**3 - 6*d + d + 2*d. Let k be u(2). Suppose 0 = k*x + x - 12. Is x a multiple of 3?
True
Let d(z) = -z**3 + 6*z**2 + 8*z + 4. Let w be (-30)/4*(-16)/20. Does 17 divide d(w)?
False
Suppose -12 = 2*l + 2*l. Let o(k) = -2*k**3 - 3*k**2 + 3*k + 1. Is o(l) a multiple of 5?
False
Suppose -4*u = 2*k - 16, 14 = 2*u - u - 2*k. Suppose 63 = 2*v + n - u*n, -2*n = -2*v + 72. Is 9 a factor of v?
False
Suppose -2*n = -d + 20 - 4, 5*d - 95 = -5*n. Is 18 a factor of d?
True
Suppose 0 = -4*m + v + 348, -3*v + 7 = -5. Is 13 a factor of m?
False
Suppose 2*h + 3 = -51. Does 18 divide (9/h)/((-1)/81)?
False
Let q(w) = 9*w**2 + 3*w + 2. Let s(n) = 9*n**2 + 3*n + 2. Let j(v) = 3*q(v) - 2*s(v). Is 9 a factor of j(-2)?
False
Suppose 12 = -5*x - 2*l + 74, 5*x - 5*l - 55 = 0. Suppose -3*z + x = z. Is 3 a factor of z?
True
Let y = -2 - 4. Let v(i) be the first derivative of -3*i**2/2 - 4*i - 1. Is 7 a factor of v(y)?
True
Let a = 1740 + -2439. Let o be a/(-18) - (-1)/6. Let k = 57 - o. Is 9 a factor of k?
True
Let l = 104 - 79. Does 25 divide l?
True
Let v be 1 + -25 + 2/2. Let z = -13 + 7. Let s = z - v. Is s a multiple of 14?
False
Suppose 0 = -3*d - 2*i + 4*i + 72, -2*d + 59 = -5*i. Suppose 3*t = 4*p - 4, -2*t = 2*p + 6 - d. Suppose -42 = -p*v + x + 33, 18 = v - x. Does 7 divide v?
False
Is 14 a factor of 996/(-9)*1*3/(-2)?
False
Suppose 2*t - 12 = -t. Suppose 2*i - t*i + 28 = 0. Does 6 divide i?
False
Let k(i) = 6*i + 4. Let h(p) = -p**3 + 5*p**2 - 3*p. Let q be h(4). Suppose -b + 1 = v - 1, -q*b + 11 = v. Is 10 a factor of k(b)?
False
Let k be ((-67)/3)/((-8)/24). Let d(u) = 11*u + 5. Let o be d(-4). Let t = o + k. Is t a multiple of 11?
False
Is 27 a factor of (204/(-9) + 2)/((-1)/3)?
False
Suppose -b = j - 6*j + 119, -3*j - 4*b + 53 = 0. Does 23 divide j?
True
Let v(j) = j + 26. Let q be v(0). Suppose 2*t - q = -0*t. Is t a multiple of 13?
True
Let n = 182 - 122. Is 19 a factor of n?
False
Let q = -17 + 22. Suppose -5*g - 3*i = -185 + 58, -5*i - 135 = -q*g. Is g a multiple of 13?
True
Let c(a) = 5*a**2 + 5*a. Let w(o) = o**2 - o. Let y(q) = -c(q) + 4*w(q). Let f be y(-7). Suppose -5*k + f = -3*k. Is k even?
False
Suppose 0 = -2*d - 4*d + 24. Let u = 0 + d. Does 4 divide u?
True
Suppose 370 = 8*l + 66. Is l a multiple of 15?
False
Is (-10)/70 + 456/7 a multiple of 13?
True
Let o(y) = -y + 2. Let f be o(0). Suppose 3*p + f*p - 60 = 0. Is 12 a factor of p?
True
Is 78 + -4 + (0 - -4) a multiple of 13?
True
Let b be (-2)/1*(-225)/18. Suppose 4*r - b - 15 = 0. Is 10 a factor of r?
True
Let a(i) = 3*i**2 - 1. Let x be a(-1). Suppose -j - x*w - 8 = 0, 3*j + j = 2*w + 8. Suppose 5*h - 5 - 10 = j. Is 3 a factor of h?
True
Is (-17)/51*(-70 + 1) a multiple of 11?
False
Let a be (-2)/(-4) - 3/(-2). Is 10*6*a/5 a multiple of 6?
True
Let b(q) = 34*q**3 - 4*q**2 + 4*q - 5. Let y(a) = 34*a**3 - 3*a**2 + 3*a - 4. Let z(x) = 3*b(x) - 4*y(x). Is z(-1) a multiple of 9?
False
Let k = -9 + 44. Let p = -19 + k. Is p a multiple of 16?
True
Does 28 divide (-39)/(((-27)/24)/3)?
False
Let g(o) = -37*o**3 - 3*o**2 - 2*o. Does 12 divide g(-1)?
True
Let t(y) = -y - 5. Let w be t(-7). Suppose d + 17 = w*d. Is d a multiple of 17?
True
Suppose 10 = -3*b - 14. Let a(u) = -11*u**3 + 18*u**2 - 5*u + 16. Let c(h) = -7*h**3 + 12*h**2 - 3*h + 11. Let s(d) = b*c(d) + 5*a(d). Is s(7) a multiple of 16?
False
Suppose 0 = -3*w + 4*o - 62, -3*w = 5*o + 13 + 4. Is 10 a factor of (-140)/w*(-1 + 2)?
True
Let c be (-5 - -5)*2/(-8). Suppose -4*v + 5*v - 26 = c. Is 13 a factor of v?
True
Let m = 172 - 123. Is m a multiple of 49?
True
Let w(m) = 7*m - 2. Let l be w(3). Let h = l - -108. Let n = h + -74. Is 18 a factor of n?
False
Let r(b) = -b**3 - 6*b**2 - 2*b + 8. Suppose 0 = i - 5*h + 12, -i - 5*h = 4*i - 30. Suppose -i*g = z - 3, -2 - 4 = -z - 4*g. Does 10 divide r(z)?
True
Let v = 189 - 109. Let x = v - 44. Is 14 a factor of x?
False
Let f = 8 + -3. Suppose f*b + 5*x + 25 = 0, 3*b - x + 20 = -5*x. Suppose -u = 4, b = -k + 2*k + u - 5. Is 9 a factor of k?
True
Suppose 4*z - 303 - 165 = 0. Does 39 divide z?
True
Suppose -5*h + 659 = -y, 2*y - 112 = -h + 22. Is 33 a factor of h?
True
Let q(x) = -x**2 + 7*x - 2. Does 4 divide q(5)?
True
Suppose 22 - 238 = -2*o. Is o a multiple of 21?
False
Suppose w - 2*p - 8 = -w, 3*p + 6 = 0. Suppose m - w*k - 32 = 0, 88 = 3*m + 2*k - 6*k. Is 8 a factor of m?
True
Let a(b) = -b**2 - 10*b + 2. Let w be a(-11). Let d = 1 - w. Does 10 divide d?
True
Suppose 3*q + 8 + 1 = 0. Does 2 divide -1 - 3/(q/4)?
False
Let u = -9 - -36. Suppose 0 = 5*d - 10, -n + 2 - 4 = -d. Suppose -3*x + u = -n*x. Is 7 a factor of x?
False
Suppose -72 = -4*b + 12. Is b a multiple of 20?
False
Let x(j) = 3*j + 3. Does 12 divide x(7)?
True
Let b(y) = 26*y + 10. Does 11 divide b(3)?
True
Is (15/12)/((-4)/(-48)) a multiple of 5?
True
Suppose 5*b + 2*u + 4 = 4*b, 2 = -2*b - 2*u. Let n = 25 + b. Is 11 a factor of n?
False
Let c(a) be the first derivative of a**4/4