se 2*j = v*j - 21. Is j a multiple of 14?
False
Let k be (-5)/10 + 1/(-2). Let r = k - 0. Let o = r + 16. Is 15 a factor of o?
True
Suppose -90 = -2*p + 4*x - 6*x, -3*x - 70 = -2*p. Is p a multiple of 15?
False
Is 0 - 0/4 - -2 - -38 a multiple of 14?
False
Let l(s) = -s**2 + 8*s + 2. Let n be l(7). Suppose -5*w - 4*p = -51, -w - 2*p + n = -0. Does 2 divide w?
False
Let z = -8 + 16. Is 3 a factor of z?
False
Let i = 11 - 7. Suppose 0*w = i*w. Suppose 6*h - h - 90 = w. Is 16 a factor of h?
False
Let y = 9 + -9. Suppose y = -4*d - 6 + 30. Is d a multiple of 2?
True
Let j(a) = -a**3 + 10*a**2 + 11*a + 4. Let v be j(11). Suppose -n = -v*s, -n + s + 15 = 2*s. Is 9 a factor of n?
False
Let s be 0 - (-6)/(-9)*-3. Suppose -g = -s*g + 28. Suppose -d = 3*d - g. Does 4 divide d?
False
Let j = 131 + -83. Is j a multiple of 12?
True
Let q be (-1 - -1)*-1 - -5. Is 52/q + (-18)/45 a multiple of 10?
True
Is (-84)/16 + 5 - (-450)/8 a multiple of 28?
True
Suppose 3*v + 2*c = 103, 128 = 4*v - c - c. Does 7 divide v?
False
Is (72/(-28) - 0)*-14 a multiple of 14?
False
Suppose -1 - 5 = -3*m. Suppose 3*i + m*i - 75 = 0. Is 8 a factor of i?
False
Suppose 9 = 4*k + 29. Let t(b) = -b**3 - 4*b**2 - 4*b - 4. Let j(n) = 3*n**3 + 7*n**2 + 9*n + 8. Let x(q) = k*t(q) - 2*j(q). Is x(5) a multiple of 14?
False
Let c be 9/(18/16) - 4. Is (-72)/3*(-2)/c a multiple of 12?
True
Suppose 0 = 2*w, -96 = -4*n + 3*w + 2*w. Suppose 3*p + 0*p + n = 0. Let z(u) = u**3 + 8*u**2 + 10. Is 8 a factor of z(p)?
False
Let f(o) = -2*o**2 + o - 2. Let q be f(3). Is 12 a factor of 16/(-136) - 206/q?
True
Suppose 8*p - 3*p + 17 = 4*s, 2*p = -2*s - 14. Does 20 divide (-650)/(-20) + (-1)/s?
False
Suppose -3*c + 33 = c - 5*p, -5*c + 3*p + 25 = 0. Does 18 divide (c/(-4))/(1/(-36))?
True
Suppose m - 87 = 33. Is 24 a factor of m?
True
Let i = -17 - -46. Let k = i + -18. Is 3 a factor of k?
False
Let p be 49/(-2) + 3/(-2). Let c = p + 76. Is c a multiple of 18?
False
Suppose 2*u - 6 - 4 = 0. Suppose u*q - 47 = 3*q - 3*d, 0 = -4*q + 5*d + 149. Does 10 divide q?
False
Suppose -18 - 3 = -3*z. Suppose -z*s + 96 = -3*s. Is s a multiple of 10?
False
Suppose 0*r + 69 = -3*r. Let o = r + 50. Does 9 divide o?
True
Let v = -1 + -14. Let u = v + 20. Is u a multiple of 2?
False
Let x = -20 + 54. Is x a multiple of 14?
False
Suppose 2*o = -4*p - 12, 12 = 2*o - 3*p + 3. Let v(u) = u + 4. Let c be v(0). Suppose f - c*f + 30 = o. Is 10 a factor of f?
True
Let h = 1 + -1. Let f be (1 - h)/((-3)/12). Is f/(-2) - 11/(-1) a multiple of 13?
True
Suppose -4*s = -1 - 11. Does 2 divide s?
False
Let a be 2/8 - (-15)/4. Suppose 4*c - a = 0, -4*n + 5*n + 4*c = 21. Is n a multiple of 11?
False
Let f be (-10)/(-4) - 3/(-6). Let x = f + -3. Suppose -30 = -3*j - x*j. Is j a multiple of 5?
True
Suppose -31 - 3 = -4*t + m, -3*t - 3*m + 33 = 0. Is t - 1/(-2)*-2 a multiple of 3?
False
Suppose 0 = -2*o + 10 - 50. Let f = 50 - o. Suppose -l = 2*q - 8 - 6, 2*q = -5*l + f. Is 14 a factor of l?
True
Let b(a) = -a**2 + 4*a + 3. Let z be b(4). Suppose 5*x + 5*r - 25 = 0, -3*x = -4*r + r - z. Is x a multiple of 3?
True
Let p = 64 - 45. Is p a multiple of 5?
False
Let h = 4 - -16. Let j = 38 - h. Does 6 divide j?
True
Let c(x) be the third derivative of 11*x**5/20 - x**4/24 + x**3/6 + x**2. Does 19 divide c(1)?
False
Suppose -34 = -b - 5*h, b - h = -3*b + 73. Suppose 2*p + 12 = -3*d, -p - 3*d + 0 = 3. Let x = b + p. Does 10 divide x?
True
Suppose 196 = 5*b - b. Is b a multiple of 10?
False
Let z(q) = -q**3 - 9*q**2 - 6*q - 4. Let i be z(-9). Let l = -21 + i. Is l a multiple of 11?
False
Does 11 divide 11/(-2)*-5*2?
True
Let i = -5 + 7. Let l = -20 - -34. Suppose l = i*u - 0*u. Is 6 a factor of u?
False
Let b(s) = -s**3 - 7*s**2 + 4*s + 8. Let g = -7 + 0. Let k(r) = 2*r + 6. Let c be k(g). Is 20 a factor of b(c)?
True
Let j be 2/7 - 2/7. Suppose 0 = 2*v - j*v - 32. Is 8 a factor of v?
True
Suppose -5*m + 534 = 3*j, -4*m - 3*j = -m - 324. Suppose -m = -4*y - y. Does 5 divide y?
False
Suppose 3*w - 530 = -2*w. Suppose -4*g = 5*m - w, -g + m - 2 = -24. Suppose 3*c + 5*x - 13 - g = 0, 2*x = -2. Does 7 divide c?
True
Does 8 divide (-4)/12 - (-242)/6?
True
Let d = 22 + -44. Let b = -1 - d. Does 10 divide b?
False
Let k(q) = q**2 + 4*q + 45. Let s(c) = c - 1. Let u(j) = k(j) - 3*s(j). Is 16 a factor of u(0)?
True
Let t be (-17 - 1)/((-3)/46). Suppose -2*w - 441 = -5*q, 5*w + t = -2*q + 5*q. Suppose -3*r - 2*o = -45, -4*r + q = 4*o + 23. Is r a multiple of 13?
True
Let h = 32 + -11. Suppose -2*m - h = -5*m. Is m a multiple of 7?
True
Let d be -2 + 8 + (-3)/1. Suppose 0 = 2*o + d*a + 15, 0 = -5*o - 5*a - 17 - 28. Let z = o + 28. Is z a multiple of 10?
False
Suppose 3*c + 0*c = -48. Let i = 26 + c. Does 10 divide i?
True
Suppose 2*s = -5*n - 11 + 40, -4*s + n = -47. Is (54/s)/((-3)/(-20)) a multiple of 13?
False
Suppose 2*y - 67 = -d + 3*y, -328 = -5*d - 2*y. Is d a multiple of 11?
True
Let q be 2 + -1 - 15 - 2. Let f be (6/12)/((-2)/q). Does 11 divide 0 - 2*-4*f?
False
Is 25*(-5)/((-100)/(-4))*-5 a multiple of 3?
False
Suppose 4*m = -2*c + 126, 3*c - 1 = 2*m - 52. Does 6 divide m?
True
Let u(t) = 9*t + 9 + 5 + t**2 + 2. Let s = 18 + -29. Does 17 divide u(s)?
False
Let c(p) = p**3 + 7*p**2 - 17*p + 5. Does 17 divide c(-8)?
False
Let j(k) = -k**3 - k**2 - 2*k + 168. Is 28 a factor of j(0)?
True
Let l be ((-18)/15)/((-14)/35). Suppose -3*o + 128 = -i, o - l*i - 90 = -o. Is o a multiple of 6?
True
Let a be 2/(-9) + (-120)/(-54). Let z(i) be the first derivative of 3*i**2 + 1. Does 6 divide z(a)?
True
Suppose 0 = -0*w + 5*w + 3*p - 88, -2*w + 5*p = -60. Let n(u) = u**3 - 3*u**2 - u + 3. Let q be n(5). Suppose -2*x - w = -q. Does 7 divide x?
True
Let x = 3 + 2. Let q(l) = -l**2 + 7*l - 5. Is q(x) a multiple of 2?
False
Let f(q) = q**3 - 7*q**2 + q - 6. Let u be f(7). Let l(g) = -10*g**3 + g**2 - 2*g + 1. Let n be l(u). Does 10 divide (-96)/n + (-2)/(-5)?
True
Let w = -91 + 187. Is w a multiple of 8?
True
Suppose 3 = 2*m - 5*m. Let j(l) = 59*l**2 + 5*l + 5. Let z(c) = 15*c**2 + c + 1. Let h(i) = -2*j(i) + 9*z(i). Does 17 divide h(m)?
True
Let o be (0 - -3) + (-2)/(-1). Suppose -3*a + 3*m = -126, o*a + 0*m - 170 = -3*m. Does 13 divide a?
False
Let p(k) = -k**3 + 4*k**2 - k. Let a be p(3). Let j = 31 - a. Is 15 a factor of j?
False
Suppose 19 - 117 = -2*v - 2*l, 2*l = 2. Is 12 a factor of v?
True
Suppose 5*c = 198 - 3. Is c a multiple of 12?
False
Let s(p) = 0 - 5 - 5 + 3*p. Let y(b) = 6*b**2 + 1. Let r be y(-1). Does 6 divide s(r)?
False
Let x = -39 - -64. Is x a multiple of 5?
True
Let k(z) = z**2 - 7*z + 8. Let n be k(6). Suppose 0 = -n*m + 7*m. Suppose m = 2*j + 16 - 52. Is 6 a factor of j?
True
Let h(p) = -p**2 - 6*p + 7. Let j be h(-7). Suppose 0 = -j*w + w - 10. Does 10 divide w?
True
Let j(n) = 96*n**2. Does 33 divide j(1)?
False
Suppose 9*d = 10*d - 128. Does 40 divide d?
False
Suppose -3*o - 93 - 63 = 0. Let u = -28 - o. Does 12 divide u?
True
Let p = 13 + -8. Suppose -3*q = -0*q + p*k - 70, -4*k = -3*q + 25. Does 7 divide q?
False
Let w(b) be the third derivative of 17*b**4/12 + b**3/6 + 3*b**2. Is 16 a factor of w(1)?
False
Let q = 2 - 2. Let x be (-6)/(q - -3) - -1. Let h(s) = -40*s. Does 14 divide h(x)?
False
Suppose 3*m = 135 - 39. Is 16 a factor of m?
True
Suppose -3*o = -17 + 8. Suppose -s - o*f = 7, -5*s + 4*s + 18 = -2*f. Is s a multiple of 7?
False
Suppose 2*y = -f + 26 + 24, -f + 5*y = -22. Let u = f + -24. Suppose 5*t = u + 17. Is 7 a factor of t?
True
Let r(b) = -2*b**3 + 3*b**2 - 2*b - 28. Let y(x) = -3*x**3 + 5*x**2 - 3*x - 57. Let o(d) = 5*r(d) - 3*y(d). Suppose -4*a = -8*a. Is 13 a factor of o(a)?
False
Suppose -3*y = 79 - 223. Suppose l + l = y. Is 24 a factor of l?
True
Let a(t) = -t**2 + 11*t - 7. Let f(l) = -23*l + 2*l**2 + 16 + 1 - 3. Let v(u) = -13*a(u) - 6*f(u). Does 12 divide v(8)?
False
Let m(f) be the third derivative of -7*f**6/60 + f**5/60 - 4*f**2. Let r be m(-1). Suppose c - r - 26 = 0. Does 16 divide c?
False
Let t = 74 + -22. Let h(p) = 73*p**2. Let v be h(-1). Let r = v - t. Is 8 a factor of r?
False
Suppose -4*x + 6 = -x. Let k be (x/(-4))/((-1)/8). Suppose -g = k*j - 93, -4*j + g + 83 = -0*g. Is 11 a factor of j?
True
Is (-12)/(-24) + 59/2 a multiple of 10?
True
Let y(r) = -r**3 - 7*r**2 - 12*r - 1. Is y(-5) a multipl