. Is z(-5) a multiple of 14?
True
Let l be (-48)/(14/(-4) - -2). Is (3 - 3)/2 + l a multiple of 7?
False
Suppose 3*z + z = 0. Let c(t) = 5*t + 5 + z - 2. Does 18 divide c(3)?
True
Suppose -5*p - 3*s + 1108 = 0, 0*s = -p + 2*s + 232. Is p a multiple of 32?
True
Let q(g) = 2*g**3 - 3*g**2 + 4*g - 2. Let s be q(3). Suppose 97 - s = 4*r. Does 5 divide r?
True
Let x = -10 - -8. Let a be (x - 11/(-4))*4. Suppose 0 = -a*v + 3*k + 24, 3*k = -v + k + 2. Is v a multiple of 6?
True
Does 7 divide 14/(-126) + 244/9?
False
Let m(k) = -6*k - 5. Let i be m(-4). Suppose x - 10 = 3*u, 4*u - i = -3*x - 2. Let f(w) = w**3 - 6*w**2 - 7*w + 10. Is 5 a factor of f(x)?
True
Let b(h) = -16*h - 46. Does 14 divide b(-7)?
False
Let p = -9 + 12. Does 22 divide 2 - ((-189)/p - 0)?
False
Suppose -5*r = -5 - 5. Suppose -r*u + 24 + 22 = 0. Is u a multiple of 23?
True
Let z(i) be the third derivative of -i**7/2520 + i**6/90 + 3*i**5/40 + i**4/12 - 3*i**2. Let c(g) be the second derivative of z(g). Does 9 divide c(8)?
True
Does 21 divide (-2 - -24) + 0/(-2)?
False
Suppose d - 2*d = -70. Suppose 3*u + 5*i = d, -u = -5*i - 0*i - 50. Is u a multiple of 15?
True
Is 14 a factor of (-2)/(-9) + (-1750)/(-63)?
True
Let y(p) = 3*p**2 - 3*p + 16. Is 19 a factor of y(7)?
False
Let w(y) be the first derivative of 11*y**5/120 - y**4/6 + y**3/3 + 3. Let k(a) be the third derivative of w(a). Does 16 divide k(4)?
False
Suppose 2*t - 175 = -5*x, 0*t = 3*t + 3*x - 249. Suppose -i + t = 4*i. Is i a multiple of 16?
True
Let f be (-8526)/(-30) + (-2)/10. Suppose 0 = -4*s - 3*r + f, 2*r - 71 = -5*s + 4*s. Is 20 a factor of s?
False
Let g be (6/4)/((-2)/(-12)). Is g + (2 - (1 - -3)) a multiple of 2?
False
Let z(s) = s**3 + 11*s**2 + 11*s + 11. Let f be z(-10). Suppose 4*w + f = -19. Is 47/4 - w/20 a multiple of 5?
False
Suppose 2*p + 112 = 6*p. Is 16 a factor of p?
False
Suppose y + 0*c + 5*c = 90, -5*y - 4*c + 345 = 0. Is y a multiple of 2?
False
Let w(p) be the third derivative of -17*p**4/8 - p**3/6 - 3*p**2. Does 27 divide w(-2)?
False
Let x(z) = -34*z. Let g be x(-1). Suppose 3*j = 5*l + 62, l + 12 + g = 3*j. Is 5 a factor of j?
False
Suppose 45 = 2*t + a, 5 + 5 = 2*a. Is 8 a factor of t?
False
Let i be -3 + 2 + 3 + 63. Suppose -4*o - o + i = 0. Is o a multiple of 13?
True
Let q = 171 - 41. Does 13 divide q?
True
Let s(l) = -6*l**2 + 2*l + 7. Let z be s(-6). Let a = 317 + z. Does 6 divide ((-4)/(-6))/(4/a)?
False
Let r(g) = g**3 + 8*g**2 - 9*g + 13. Is 2 a factor of r(-9)?
False
Let i(w) be the first derivative of w**3 + 1. Is 13 a factor of i(4)?
False
Suppose -2*o + q + 454 = o, 307 = 2*o - 5*q. Does 44 divide o?
False
Suppose -3*r - 2 = -0*r - 4*c, 5*c - 25 = 0. Let x = r - 3. Does 2 divide (1/2)/(x/30)?
False
Let d(v) = -2*v - 4. Suppose -1 = -4*c + r, c + 3*r - 7 = 3. Let g be 1 - 1 - 3/c. Does 2 divide d(g)?
True
Let f(y) = y + 9. Let m be f(-6). Suppose m*d + 24 = -0*d. Let b = 18 + d. Does 4 divide b?
False
Let g(n) = -79*n + 4. Is g(-2) a multiple of 27?
True
Suppose 0 = 4*o - 20, 6*m + o + 171 = 8*m. Is m a multiple of 11?
True
Let p be (0 - (-4 + 12))/(-2). Suppose 5*s + 17 - 71 = u, 5*s - p*u = 51. Is 3 a factor of s?
False
Suppose 0 = -z - 5*m + 44, -7*z + 2*z + 193 = -2*m. Is 17 a factor of z?
False
Suppose 4*o - 16 = s - 6*s, -5*o + 20 = -3*s. Let h be 250/6 + o/12. Suppose -m + 33 = -2*j, -h - 9 = -2*m + j. Is 10 a factor of m?
False
Suppose 5*k + 88 = k. Let u = -9 - k. Is u a multiple of 13?
True
Suppose -211 = -3*p + 4*s, -4*p = -2*s - 442 + 164. Is 41 a factor of p?
False
Let x be 1/(-2)*-1*10. Suppose -c = 3*u - 12, 26 = 3*c + 4*u + x. Is 3 a factor of c?
True
Let z = 9 - 5. Is 4 a factor of 72/(-16)*z/(-3)?
False
Suppose 4*f + 14 - 2 = 3*v, v - 3*f - 9 = 0. Does 7 divide v + 1 + 8 + 2?
False
Suppose 4*w = -3*p + w + 18, -3*w + 6 = 0. Suppose 7 = p*o - 9. Is (o - 3) + 14 + -1 a multiple of 9?
False
Suppose -1 = r + 2. Let t be 1 + r/(3/(-2)). Suppose a - 16 = 2*k + t*k, -128 = -5*a + k. Is 7 a factor of a?
False
Let k(x) = x**3 - 8*x**2 + 3*x - 20. Is k(9) a multiple of 34?
False
Let m(o) = -o**2 + 6*o + 8. Let p be m(7). Let s(b) = -b - 1. Let f be s(p). Let t(j) = -3*j**3 - 2*j**2. Is 8 a factor of t(f)?
True
Suppose -3*a = -a. Let k be (a + 4*-1)*-51. Suppose 0 = -n + 4*x - 5*x + 78, 0 = 3*n - 3*x - k. Does 20 divide n?
False
Let s be ((-6)/(-6))/((-2)/180). Let u be 1/((2/s)/(-1)). Suppose -33 = -3*o + 2*o - 2*b, -2*o + u = -3*b. Does 15 divide o?
False
Suppose 3*j + 3*d = d + 5, 22 = 4*j - 5*d. Does 4 divide j - (60/3)/(-2)?
False
Let u = 11 - -34. Let n be ((-1)/(-2))/((-1)/(-4)). Is n/(-1 + 48/u) a multiple of 12?
False
Is 12 a factor of (10 - 10) + 2*138 + 0?
True
Suppose 4*i = -4*r - i + 1, 3*i = 3*r - 21. Suppose -m - 9 = -c, -3*c + r*m - 6*m + 27 = 0. Let d = 12 + c. Is d a multiple of 21?
True
Is 3/12*12 - (-87)/1 a multiple of 18?
True
Let x(v) = -v**2 - 21*v + 29. Is 16 a factor of x(-12)?
False
Let k be (-7)/(21/(-4))*3. Suppose -19 - 21 = -s. Suppose -s = -b - k*b. Is b a multiple of 4?
True
Let m be -26*((-2)/(-4) + -1). Let i = 49 - m. Does 12 divide i?
True
Suppose -3*p + 4*u + 74 = 0, 0*p - 5*p + 5*u = -115. Does 4 divide p?
False
Suppose 0 = 4*r - 11 - 9. Is r a multiple of 2?
False
Let s be 2/(-5) - 12/(-5). Suppose 0 = -4*u + s - 6. Is 13 a factor of (5 - u)*(-65)/(-15)?
True
Suppose 0 = -c + k + 60, 0 = -3*c - 2*k + k + 176. Suppose -35 = 2*d + c. Let p = -15 - d. Does 15 divide p?
False
Let m(h) = -2*h**2 - 1. Let k be m(1). Let s = k + 69. Is s a multiple of 11?
True
Suppose -110 = -5*g - 4*c, 25 = 4*c + c. Does 6 divide g?
True
Let d(a) = -a - 1. Let m(z) = 2*z + 3. Let i(w) = -6*d(w) - 2*m(w). Let x be i(5). Let f = x + 1. Is 8 a factor of f?
False
Let q = 16 + 65. Is q a multiple of 9?
True
Does 23 divide (-11)/(-22)*(1 + 45)?
True
Is 9 a factor of (-45)/6*12/(-5)?
True
Suppose -2*a - 142 = -5*d, 85 = d + 2*d - a. Does 14 divide d?
True
Let z be 70/6 + 6/(-9). Suppose 2*g + c = z - 0, 3 = 3*g - 3*c. Let l = 22 - g. Does 9 divide l?
True
Let k = -6 - -11. Suppose 0 = 2*i - 7*i - k. Does 8 divide i/((0 - 3)/33)?
False
Let s be 48/30 - 2/(-5). Let b be (-1 - -4)/(s - -1). Does 5 divide 1 - (b - (2 + 3))?
True
Let t(r) = -4*r**3 + 3*r**2 + 2*r - 3. Let f be t(-3). Suppose -2*x + f = x. Is x a multiple of 21?
True
Let l = 76 + -52. Suppose 2*k - 2*b = l, -2*k - 2*b + 20 = -3*b. Does 8 divide k?
True
Let f(s) be the third derivative of -7*s**4/24 + s**3/6 - 2*s**2. Let i be f(-1). Suppose -20 = -r - i. Does 10 divide r?
False
Is (-549)/(-19) - (-6)/57 a multiple of 29?
True
Let l = 32 + 11. Is l a multiple of 16?
False
Suppose 2*v - 37 = -5*x + 79, -3*x - 2*v + 72 = 0. Is x a multiple of 11?
True
Let a(k) be the first derivative of -21/4*k**4 + 2 + 1/2*k**2 + 1/3*k**3 + k. Does 11 divide a(-1)?
True
Suppose -3*b = -5*u + 19, b = -4*u + 6 - 1. Suppose -3*x + 11 = l + 1, x - u*l = -6. Suppose -5 = -t, 4*q - x*q = -t + 21. Is 8 a factor of q?
True
Suppose -3*q - 69 = -171. Is q a multiple of 17?
True
Let y(v) = -v**3 + 7*v**2 + 8*v + 8. Suppose 6*q - 3*q = 24. Let f be y(q). Let i = 19 - f. Does 11 divide i?
True
Suppose -12 = -5*o + 58. Does 4 divide o?
False
Let u = -145 + 253. Is 13 a factor of u?
False
Suppose -3 = 3*o - 18. Suppose o*z = 45 + 15. Is 2 a factor of z?
True
Let i = 78 - 39. Let q = i + -28. Does 8 divide q + -2 + 1/(-1)?
True
Let f(s) = s**3 - 10*s + 7. Is f(4) a multiple of 12?
False
Let p(d) = 4*d - 10. Let s = -17 - -24. Is 4 a factor of p(s)?
False
Is (2 + -5)/((-6)/40) a multiple of 16?
False
Suppose x = 3*x - 414. Suppose 3*y - x = -78. Let i = 93 - y. Is i a multiple of 14?
False
Let p be 2 - (18/(-2) + 0). Suppose 2*s = 4*m - 2*s - 16, 5*s + p = 4*m. Is m a multiple of 2?
False
Suppose 9*s - 423 - 711 = 0. Is s a multiple of 42?
True
Let p(v) = -v**2 + 9*v - 10. Let b be p(8). Does 4 divide (1 + 7)*(3 + b)?
True
Suppose o + 2*b = 4*o - 521, -5*o = -4*b - 867. Suppose -175 = -0*y - 5*y + f, -5*y + o = -4*f. Is 13 a factor of y?
False
Suppose 0 = -2*b - 2*b + 64. Let m = -6 + 14. Let s = m + b. Is s a multiple of 12?
True
Let o(u) be the first derivative of u**3/3 + u**2/2 + 5*u - 2. Suppose -5*j = -4*c + 8, -6*c - 16 = j - 2*c. Is 17 a factor of o(j)?
True
Let l(k) be the second derivative of 11*k**3/6 - k**2 - 8*k. Does 6 d