of w?
False
Let x(w) = 25*w - 1. Let q be ((-18)/(-15))/((-4)/(-10)). Suppose 2 = -j + 2*l, 0 = j - q*j - l + 6. Does 25 divide x(j)?
False
Suppose -4*v + i + 8 = -6, 4*v - 4*i - 20 = 0. Suppose 63 = 2*c - v. Is 11 a factor of c?
True
Let c = -1 + 1. Let h(w) = 13*w**3 + 13*w**2 - 5*w + 79. Let m(z) = 3*z**3 + 3*z**2 - z + 20. Let q(k) = -2*h(k) + 9*m(k). Is 11 a factor of q(c)?
True
Suppose 2*i - 9 = -4*b + i, -3*i + 9 = 3*b. Suppose b*l = -l + 60. Is l a multiple of 6?
False
Let n be 39/6 + (-6)/(-4). Let h = 5 - n. Let t = 5 + h. Is t a multiple of 2?
True
Let g(j) = -2*j**3 - 2*j**2 + 3*j + 2. Let m be g(-2). Suppose -m*w + 17 = 2*u - 21, -5*u + 11 = -2*w. Is w a multiple of 3?
False
Suppose 4*r - 159 = 725. Does 34 divide r?
False
Suppose 0 = b + 5*d - 80, 0 = -5*b - 4*d + 110 + 269. Does 11 divide b?
False
Let m(d) = d + 7. Let y(k) = 6*k + 36. Let w(v) = -22*m(v) + 4*y(v). Let x be w(7). Suppose -6*f + x*g = -f - 76, -5*f + 84 = 4*g. Does 16 divide f?
True
Let m = 4 + 30. Is m a multiple of 12?
False
Suppose -5*u - 10 = 0, 3*u = -4*k - 0*u + 10. Suppose -k*j + 12 = 0, -5*j = 2*n + 2*n - 47. Is n a multiple of 8?
True
Let r(z) = z**3 + 4*z**2 + 4*z + 3. Let k be r(-3). Suppose -2*a + 3*g = -k*g - 143, -4*a = 3*g - 259. Is a a multiple of 16?
False
Let h = 4 - 8. Let a = 2 - h. Does 3 divide a?
True
Let w(u) = u**3 - 8*u**2 + 2*u - 2. Let t be w(8). Suppose b - 5*f + t = -b, -5*b = 5*f - 35. Does 17 divide b + (38 - (2 + -1))?
False
Let g = 164 + -115. Is g a multiple of 16?
False
Let j = -59 - -99. Does 10 divide j?
True
Does 19 divide (-6 - -2)/1 - -118?
True
Suppose 5*x = 2*x + 9. Suppose 0 = -0*l + 5*l - 120. Suppose -x*h + l = h. Is h a multiple of 3?
True
Suppose -5*m - 2*z = 25, -m = 4*m - 2*z + 5. Let d(j) be the third derivative of j**5/60 - j**4/8 + j**3/6 - j**2. Is d(m) a multiple of 7?
False
Let q(m) = m**2 - 14*m - 1. Does 27 divide q(-6)?
False
Let u = 48 - 38. Does 10 divide u?
True
Suppose -i + 116 + 37 = 0. Does 17 divide i?
True
Suppose -4*m + 4 = -4. Let x = m - -12. Is x a multiple of 14?
True
Suppose 0 = -2*l + 4*s + 12, 2*l - 2*s + 6 = 14. Let y be (-1)/(-3)*30/l. Suppose 0 = -y*w - 2 + 112. Does 11 divide w?
True
Suppose 2*l + 17 + 16 = m, 2*l - 4*m = -48. Let j = l + -44. Is 19 a factor of 2*(-2)/4 - j?
True
Let d be (0 - 1) + -2 + 0. Let g be -8*(d/6)/1. Suppose 2*c + 1 = 3*q + g, 0 = c + 2*q - 5. Does 2 divide c?
False
Let r = 10 + -24. Does 9 divide ((-18)/7)/(2/r)?
True
Let s = -153 + 258. Let r = s + -66. Is 18 a factor of r?
False
Suppose 5*c - 6 = 4. Suppose -c*s = -0*b - b + 10, 3*b = s + 55. Is 10 a factor of b?
True
Let q = 3 + -5. Let w = q - -13. Is 11 a factor of w?
True
Suppose 0 = 5*w, -3*g + 6*g - 225 = 5*w. Suppose 0 = i + 25 - g. Does 25 divide i?
True
Suppose 0 = 7*a - 6*a + 14. Does 9 divide 2/4 - 245/a?
True
Let f = 10 - 7. Suppose 0 = f*m - 2*m - 16. Does 15 divide m?
False
Suppose 125 = 4*n - 1315. Suppose 5*f - n = -5*h, -420 = -5*f - 2*h - 51. Does 25 divide f?
True
Let t = 2 - 1. Suppose 0 = 2*m + 2*c - t - 5, 0 = -4*c. Suppose -60 = -3*q + q - m*x, -2*q - x = -60. Does 19 divide q?
False
Let c(j) = 6*j**3 - 2*j**2 + 1. Let f be c(1). Suppose -f*k + 156 = -k. Is 17 a factor of k?
False
Suppose -3*i + 5 + 4 = 0. Let y = -3 + i. Suppose y + 5 = c. Is 3 a factor of c?
False
Let x(k) = k + 9. Let d(g) = 1. Let v(c) = -18*d(c) + 2*x(c). Suppose -y = -6*y + 45. Is v(y) a multiple of 9?
True
Suppose 0*n = -n. Suppose -k + 4*k - 15 = 0. Let o = k - n. Is o a multiple of 3?
False
Let j(z) = z**3 + 7*z**2 + 2*z. Let d be 4 + -5 + -1*13. Let v = d + 8. Is j(v) a multiple of 12?
True
Let x(u) = 10*u - 24. Does 38 divide x(10)?
True
Suppose 0 = -17*t + 14*t + 81. Is t a multiple of 9?
True
Suppose -5*l + 624 + 171 = 0. Is 22 a factor of l?
False
Let c(u) = -29*u + 13. Is c(-3) a multiple of 25?
True
Suppose -4*z - 3*a = -39, 0 = z + 3*z + 4*a - 44. Suppose -90 = -z*w + 18. Does 18 divide w?
True
Let b be (-1 - 1) + 0/(-1). Let f be ((-9)/(-2))/((-1)/b). Let q = 11 + f. Is 10 a factor of q?
True
Suppose -3*s + 4*w = -713, 0*s + 992 = 4*s + 5*w. Is s a multiple of 40?
False
Suppose -5*i = -5*u - 84 - 141, -5*u - 179 = -4*i. Is i a multiple of 23?
True
Let g(n) = n + 4. Let s be g(0). Let t be 482/s + (-2)/4. Suppose -5*p - 40 = -t. Is p a multiple of 10?
False
Let q be (83/4)/((-1)/(-4)). Let g = 193 - q. Suppose 94 - 20 = 3*f + c, 0 = -5*f - 5*c + g. Does 13 divide f?
True
Suppose 3 + 0 = 3*u. Does 15 divide u*5*(-84)/(-10)?
False
Let f(j) = j**2 + 12*j + 41. Does 2 divide f(-9)?
True
Does 10 divide (-18)/(-3)*(-13)/(-2)?
False
Let q(o) = o**3 - 5*o**2 - 2*o - 8. Let u(h) = -4*h + h + 1 - 4 - 3. Let f be u(-4). Is q(f) a multiple of 13?
False
Let w(y) be the second derivative of -y**4/12 - 3*y**3/2 - 4*y**2 - 6*y. Does 10 divide w(-6)?
True
Is (5 - (-635)/(-15))*(-18)/4 a multiple of 13?
False
Let j(s) be the second derivative of s**3/6 + 19*s**2/2 + 3*s. Is j(-12) a multiple of 7?
True
Suppose 4*f + 3*f = 420. Is f a multiple of 12?
True
Let t be ((-2)/(-4))/(2/24). Suppose t + 10 = -4*p. Let c = p - -9. Does 5 divide c?
True
Suppose -f = 5*i - 9, -3*i - 5*f = -8*i + 15. Suppose 15 = 5*v - 0*v + 3*r, 0 = i*v + r - 7. Is 6 a factor of v?
True
Does 26 divide (-459)/(-6) + (-12)/(-8)?
True
Let g(u) = -11*u - 1. Let s be g(-1). Let c(a) = a**3 - 11*a**2 + 13*a + 10. Does 20 divide c(s)?
True
Let b(c) = -3*c - 1. Does 4 divide b(-2)?
False
Suppose 5*p = 4*m - 94, -4*p = -2*m + 82 - 8. Let v = 33 + p. Does 11 divide v?
False
Let y = -115 - -174. Suppose -3*z + 31 = -y. Does 27 divide z?
False
Suppose 0 = -x - 3, -2*x + 334 = r + 4*r. Is 4 a factor of r?
True
Suppose -8 = -i + 4. Let b = 51 - i. Does 13 divide b?
True
Suppose 0 = -j + 3*r, -5*j + j - 5*r = 68. Let i be 247/(-4) - (-3)/j. Let n = -32 - i. Is 15 a factor of n?
True
Is 4 a factor of (-254)/(-3) + -4 - (-4)/(-6)?
True
Suppose -r - 3 = 0, 18 + 3 = 2*t - 5*r. Suppose l - t*l = -58. Suppose 3*s - 28 = l. Does 8 divide s?
False
Let q be (-46)/(-8) - 9/(-36). Let v = q + 1. Does 7 divide v?
True
Let v(y) = -16*y - 4. Let g be v(5). Is (36/(-14))/(6/g) a multiple of 12?
True
Suppose -3*m = 5*w - 0*m + 40, 4*m + 8 = -w. Let d(h) = -h + 6. Does 7 divide d(w)?
True
Does 6 divide (10/8)/(22/440)?
False
Let q(x) be the first derivative of -35*x**4/4 - x**3/3 - 4. Is 6 a factor of q(-1)?
False
Let s(z) = -25*z**3 + z**2 - z - 1. Let y be s(-1). Is 5 a factor of -2 + 3 + 1 + y?
False
Suppose 0 = 2*k + 2 + 6, -4*x = k - 80. Does 21 divide x?
True
Let o(k) = -k**3 + k - 36. Let s be o(0). Let i = s + 56. Suppose -3*d + i = -d. Does 10 divide d?
True
Is 40 a factor of 2/(-2) + 126 - 0/5?
False
Suppose 4*i = 4 + 108. Does 14 divide i?
True
Let o(x) = x**2 + 7*x + 3. Let k be o(-7). Suppose j + 5*t - 183 = -k*j, 4*j = 5*t + 153. Does 13 divide j?
False
Let z(f) = -f + 9. Let t be z(9). Suppose 2*s = -t*s + 48. Does 13 divide s?
False
Suppose 4*j - 16 = -0*j. Suppose 13 = -j*x + 65. Is 8 a factor of x?
False
Let t = 5 + -15. Let u = t - -20. Is u a multiple of 7?
False
Is 7/1*2*9 a multiple of 9?
True
Suppose -5 = -7*c + 23. Let u(h) = h**2 + 2*h. Let v be u(3). Suppose v - 103 = -c*r. Is r a multiple of 11?
True
Does 11 divide -4 - -4 - (-334 + 1)?
False
Suppose -w + 2*f = 0, -6*w + 3 = -2*w - 5*f. Let s(m) = -8*m**3 - 2 + 3 - 2*m + 4*m - 18*m**3 + w*m**2. Is s(-1) a multiple of 16?
False
Let d = 8 - 8. Let w(l) = l**3 - l**2 - l + 70. Does 20 divide w(d)?
False
Let d be ((-3)/(-5))/((-2)/(-10)). Let x(j) = -4 + 2*j**3 - 4*j**3 - 10*j + d*j - 7*j**2. Is 20 a factor of x(-4)?
True
Suppose 2*w - 164 = -r, 5*w - 526 + 115 = -3*r. Is 9 a factor of w?
True
Suppose 4*w - 20 = -w. Suppose -3*l = -w*b - 12, l = 3*b - 2*b + 4. Suppose b = p + 2*r - 1, r = -2*p + 4 + 4. Is 2 a factor of p?
False
Let z(t) = -40*t - 1. Let j be z(-1). Let a = j - 19. Is 10 a factor of a?
True
Let s = -130 - -250. Does 24 divide s?
True
Is (-66)/297 + (-110)/(-9) a multiple of 12?
True
Suppose 24 = -6*t + 2*t. Let j be 4/6 - (-100)/t. Let c = j + 23. Does 7 divide c?
True
Suppose 11*v + b - 180 = 6*v, 95 = 3*v - 2*b. Does 15 divide v?
False
Let l be (3/(-2))/((-6)/(-12)). Let a = 6 + l. Suppose a*o - 24 = o. Does 9 divide o?
False
Let a = 201 - 123. Suppose -5*y = -7 - a. Is y a multiple