ve of 19*z**4/24 - z**3/6 + 38*z**2. Is 14 a factor of v(h)?
False
Suppose 4 = -2*c - 3*z, 2*c + 16 = -5*z + 4. Suppose 5*j - 5 = 15, -c*m + 2*j - 128 = 0. Let k = m - -50. Is k a multiple of 5?
True
Suppose -a - 172 = r, -a = -2*a + r - 178. Let n = 274 + a. Is n a multiple of 9?
True
Let i = -242 + 458. Is 6 a factor of i?
True
Let k be 2 - 78 - 36/(-12). Let b = 241 + k. Does 12 divide b?
True
Is 250/(-4)*12/(-15) - 2 a multiple of 8?
True
Let j be ((-3)/(-2))/((-39)/(-208)). Suppose o = n - j, -3*n = -2*n + 2*o - 20. Does 5 divide n?
False
Suppose 0 = -5*l - 4*f + 9099, 3*f - 3402 = -2*l + 232. Is l a multiple of 60?
False
Suppose -3*o - 9 = -4*g, -5*g - 3*o - 5 - 4 = 0. Let s(y) = 2*y**2 + 1 + g - 3 - y + 2*y**2. Is s(2) a multiple of 3?
True
Suppose -3*c + 15 = 0, 20*c - 343 = -4*j + 25*c. Does 27 divide j?
False
Let f(h) = -h**3 + 7*h**2 - 3*h - 2. Suppose 4*z - 3 = -5*r, -2*z - 3*r - 3 = 2*z. Let p(i) = i**2 + 2*i + 2. Let x be p(z). Does 11 divide f(x)?
True
Is 16 a factor of (-25)/2*(1056/(-30))/4?
False
Let d(p) = -24*p - 5. Let x(k) = 12*k + 3. Let o(b) = -4*d(b) - 7*x(b). Is o(9) a multiple of 26?
False
Let z(k) = -2*k - 17. Let w be z(-10). Suppose 2*p + 3*a = 2, 0*p + 16 = w*p - 2*a. Suppose 0*r - p*r + 144 = 0. Is r a multiple of 12?
True
Let n be (-18)/(1*2/(-12)). Let i = -737 + 739. Suppose i*f + f = n. Is f a multiple of 9?
True
Let v be 1221/44 + 2/8. Suppose -8*b + v = -36. Is b a multiple of 4?
True
Suppose 0 = -5*l + j + 18, -4*j = -l - 7 + 22. Suppose r = -4, -4*w = w + l*r - 13. Suppose -4*u + 3*i + 213 + 91 = 0, -w*u + 381 = -4*i. Is 30 a factor of u?
False
Suppose 0 = -7*v + 431 - 151. Let o be -3 - 5/((-25)/v). Suppose 223 + 267 = o*b. Is b a multiple of 17?
False
Let h(y) = -y**2 + 16*y - 30. Let o be h(13). Is 20 a factor of o/12*4 + 57?
True
Suppose -2*u = -3*u + 6. Let c = 60 + -56. Does 2 divide (0 - c)*u/(-8)?
False
Let h(i) = i**3 - 10*i**2 + 4*i - 19. Let z be h(10). Suppose -l = -72 + z. Does 17 divide l?
True
Suppose 0*s + 4*q = -s + 4, 3*s - q = 25. Suppose -3*y - 19 - 6 = 4*l, 4*y - l + s = 0. Is y/(-12)*0 - -12 a multiple of 7?
False
Suppose -5*r + 22 = -3*r. Suppose -4*s + 17 = -r. Is s*2 - (5 + -9) a multiple of 6?
True
Let d be (-60)/(-3)*(2 - 1). Suppose -8*l + d = -3*l. Suppose -63 = -3*b - 3*i, 3*b + 9*i = l*i + 57. Does 14 divide b?
False
Let d = -379 + 1175. Is d a multiple of 34?
False
Let b be (-2)/(-12) + 138/36. Suppose 0 = -b*v - 20, 2*g - 130 = -2*v - 2*v. Is g a multiple of 14?
False
Let h(v) = 1106*v**2 + 47*v - 47. Is 30 a factor of h(1)?
False
Does 10 divide (-20 + 18)*(-11766)/12?
False
Let z be 217 + 4 + 4 + -4. Let h = z + -157. Suppose m - y = h, 5*m - 115 - 169 = -4*y. Is m a multiple of 12?
True
Suppose 0 = -5*p + 7 - 2, 0 = -2*w + 2*p + 2846. Let h = -10 - -6. Is 10 a factor of w/72 + h/(-18)?
True
Let z = 5 + 1. Suppose 5*y - 31 = -z. Is 82*(3 + y/(-2)) a multiple of 20?
False
Let b(a) = -a**3 + a**2 - 2. Let l be b(0). Suppose -35 = 2*k + 3*n, -3*k = 2*k + 2*n + 115. Is 2 a factor of l/(-5) + (-290)/k?
True
Let t(s) = -6*s + 13. Suppose 3*j - 13 = -2*d - 3*d, 2*j = 5*d - 33. Let g(m) = 7*m - 14. Let x(q) = j*t(q) - 3*g(q). Is x(7) a multiple of 5?
False
Suppose 2*a = 4*p + 386, a + 4*a + 4*p - 895 = 0. Is 3 a factor of a?
True
Let n(r) = r + 14. Suppose 5*u = -51 + 16. Is n(u) a multiple of 2?
False
Suppose 4*a = -4 - 8. Let z be ((-4)/(-12))/(a/(-27)). Is 4 a factor of (-1 + 13)/4 + z?
False
Let f = -235 + 305. Is 5 a factor of f?
True
Suppose -12*w = -8*w - 3*h - 2060, 4*h + 16 = 0. Is 35 a factor of w?
False
Suppose 23 + 2 = 5*f. Let h be (7/f)/((-11)/(-55)). Is (11/2)/(h/42) a multiple of 8?
False
Let g(l) = 12*l + 3. Let h(x) = -x**2 + 6*x. Let j be h(5). Let p be g(j). Suppose 5*f - p = -2*d, 34 + 38 = 2*d - 4*f. Is 17 a factor of d?
True
Let v = -563 + 601. Is v a multiple of 13?
False
Suppose 986 = 3*w + k, 3*k + 1634 = 4*w + w. Suppose -3*b + 2*y = -w, 5*b - 7*b - 2*y = -222. Is 32 a factor of b?
False
Suppose 5*r - 3*r - 6 = 0. Let f(m) = 3*m - r - 9*m**3 - m + 11*m**3. Does 19 divide f(3)?
True
Suppose 8*j = -12*j + 14160. Is j a multiple of 31?
False
Let m be (-1)/5 + 1/5. Suppose y = -2*d + 39, -4*d + y = -m*y - 81. Let h = 23 + d. Is 11 a factor of h?
False
Let m = 33 - 24. Is 16 a factor of 92 - 4/(-6)*m/2?
False
Let t(c) = -c**2 + 9*c + 6. Let q be t(7). Let d = q + -15. Suppose 1 - 46 = -4*p + d*a, -a - 1 = 0. Is p a multiple of 5?
True
Let x be (-6 - 130/(-25))*5/1. Let z = 15 - 9. Is 11 a factor of (2 - -40) + z + x?
True
Let k be 150*((-6)/(-9) + 0). Let x = k + 3. Does 13 divide x?
False
Suppose 0 = -y - 5*z + 4*z - 16, 3*y - 4*z + 27 = 0. Let i(w) = -5*w + 21. Does 38 divide i(y)?
False
Let i = -1669 - -2461. Does 33 divide i?
True
Let r = 63 - 159. Let a = r - -161. Is 13 a factor of a?
True
Suppose -7*s = 2*b - 2*s - 33, -4*b + s + 11 = 0. Does 18 divide ((-488)/6)/(b/(-6))?
False
Suppose -h - 5*t - 1 = -3*h, -2 = -h + 3*t. Let g be (-3)/h + 918/63. Does 6 divide ((-10)/g - 0)*-42?
False
Let v = 148 + 1863. Is 38 a factor of v?
False
Let c = -564 - -1500. Is 8 a factor of c?
True
Suppose 34 = s + 13. Is 13 a factor of s?
False
Let r(u) = 155*u - 167. Is 21 a factor of r(20)?
False
Suppose 0 = y + 5*i - 16, 4*y + y - 20 = 5*i. Suppose -135 = 3*a - y*a. Does 9 divide a?
True
Let t(d) = d**3 + 13*d**2 - 15*d - 21. Suppose -k - 3*c - 17 = 9, 5*k - 4*c = -54. Let b be t(k). Let a = b - -14. Is a a multiple of 7?
True
Suppose 10551 = 33*o - 12153. Is o a multiple of 11?
False
Let y(k) = 3*k - 31. Let q be y(10). Let a = q - -118. Is a a multiple of 13?
True
Suppose -2*i = 3*i + 20. Let k be 8/i - 3/1. Does 15 divide 4*k*(-36)/16?
True
Suppose -5*l + 2082 = -20*b + 18*b, 0 = -5*l - b + 2094. Does 38 divide l?
True
Let i = 1 + -1. Suppose -7*n + 203 = -i*n. Is 9 a factor of n?
False
Does 5 divide (-21)/6*(-77630)/245?
False
Let q(l) be the first derivative of -l**4/4 + l**3 + 2*l**2 + 1. Let f(s) be the second derivative of q(s). Is f(-8) a multiple of 18?
True
Suppose -3*w + 20 = w. Let l(m) = -m**3 + 4*m**2 + 7*m - 5. Does 5 divide l(w)?
True
Let l = 360 - 295. Is l a multiple of 5?
True
Let g(l) = 8*l**2 + 21*l + 86. Is g(-12) a multiple of 54?
False
Let g(u) = -u - 8. Let l be g(-10). Suppose -l*n + v = -172, n - 5*v - 34 = 61. Suppose 3*s = n + 20. Does 15 divide s?
False
Is 8 a factor of 57/(-19) + -1 + 558 + -2?
True
Suppose -13*c = -8*c. Suppose 4*j - 3*n - 270 = c, 2*j - 4*n = 109 + 21. Is 28 a factor of j?
False
Let x = 5 + -3. Let y = 3 + -1. Suppose -x*r - 172 = -4*f, 0*f - y*r = -f + 46. Is f a multiple of 14?
True
Does 82 divide 1/(-2)*-2 + (67 - -1468)?
False
Let t be (-1)/(-3)*3*167. Let h = 329 - t. Is (12/18)/(4/h) a multiple of 8?
False
Let d be ((-56)/12 + 4)*-3. Suppose -d*a = -5*a. Suppose a = -p - 2*p + 216. Is p a multiple of 15?
False
Suppose 2*j - 4 + 0 = 5*b, -8 = b + 2*j. Is 19 a factor of (-2)/((b/(-76))/(-1))?
True
Suppose -2*j - 1438 = 3*h - 6*h, -3*h = 3*j - 1413. Is h a multiple of 9?
False
Suppose 2*z = 3*d - 6308, 2*d - 4192 = -0*z + 4*z. Is d a multiple of 9?
True
Let m(r) = r**3 - r**2 - r. Let f(v) = -9*v + 3*v**3 - v**3 + 3*v**3 + 2 - 10*v**2. Let p(i) = f(i) - 6*m(i). Is 16 a factor of p(-5)?
False
Let s(b) be the third derivative of b**5/30 + b**4/6 - 7*b**3/6 + 10*b**2. Is s(3) a multiple of 15?
False
Let y(r) = r**3 + 4*r**2 + 7*r + 125. Is 42 a factor of y(0)?
False
Let g be (3/36*3)/((-4)/(-112)). Suppose 3*c + q - 166 = 0, g*c - 3*q - 174 = 4*c. Is 42 a factor of c?
False
Let n = 2 + 3. Let d(v) = -n*v**2 - v**3 + 4 - 5 - 2*v + v. Is 4 a factor of d(-5)?
True
Suppose -2*c = 5*u - 5 - 10, 3*u = -2*c + 13. Is -1*c/((-5)/152) a multiple of 38?
True
Let v(u) = u**2 + 9*u - 4. Let a(g) = g**3 - 5*g**2 - 7*g - 5. Let t be a(6). Does 9 divide v(t)?
True
Suppose 0 = -45*w + 9714 + 7971. Is 9 a factor of w?
False
Suppose 0*x + 90 = 5*x. Let y(g) = 3 + 3*g + 1 - x - g. Is 12 a factor of y(13)?
True
Let i = 81 - 79. Suppose -161 = -i*a + 167. Is 28 a factor of a?
False
Suppose 2*j - 2*t = 224, 21*t - 20*t = -3*j + 356. Is j a multiple of 3?
True
Let h(k) = k**3 + 10*k**2 + 11*k + 20. Let i be h(-9). Suppose -2*u + 0*u - 2*w = -186, 3*u = i*w + 254. Let s = -58 + u. Is 7 a factor of s?
False
Suppose 0 = -4*r + 3*r + 504. 