17. Is z a multiple of 4?
False
Let v = -7250 + 14674. Does 8 divide v?
True
Is 19 a factor of 5298 - (8 + (-14 - -19))?
False
Let h be 24/(-60) + (-114)/(-10). Suppose 4*q = h*q - 8827. Is q a multiple of 13?
True
Let h(u) = 26*u**2 - 2*u - 24. Let q be h(-8). Suppose 38*z = 44*z - q. Does 13 divide z?
False
Let u = -328 - -308. Let p(l) = l**3 + 19*l**2 - 42*l - 45. Is 42 a factor of p(u)?
False
Suppose 0 = 6*t + 3*t - 19711 + 2053. Is 84 a factor of t?
False
Suppose -12*k - 40727 - 42258 = -47*k. Is 13 a factor of k?
False
Let f be 44/(-2)*(-88)/(-16). Let v = -116 - f. Does 4 divide v?
False
Let d(i) = 6*i**3 - 3*i**2 - 4*i - 1. Let c be d(-1). Let s be 146/(-4) - (-2 - c/4). Is 34 a factor of s/18 - (-1 + -273)?
True
Suppose -s = 2*m - m - 380, 374 = m + 3*s. Let i = m + 1. Suppose 6*u - i = 3*u. Is u a multiple of 23?
False
Suppose -13*j + 9016 = -17*j. Let s = 3179 + j. Does 37 divide s?
True
Let r be (-4)/24 + (-1)/(-6). Suppose -4*p = -5*v - 33, r = p + 3*p + 3*v - 25. Let m(y) = 47*y - 5. Is 52 a factor of m(p)?
False
Is 13 a factor of -19 + 11403 - 4/(24/54)?
True
Suppose -44*q = -46*q + 42. Suppose 436 = q*a - 17*a. Suppose 47 = 3*m - 4*d, 3*m + d = -2*m + a. Does 3 divide m?
True
Let s(y) = 7*y**3 + 15*y**2 - 7*y + 68. Let f(p) = 6*p**3 + 15*p**2 - 7*p + 66. Let z(j) = -6*f(j) + 5*s(j). Is 11 a factor of z(-17)?
False
Let q = 2483 + 2412. Is q a multiple of 9?
False
Is (-60)/40 - (-1)/((-2)/(-7727)) a multiple of 18?
False
Let v be -2 + (3 - 0) + 4. Suppose 0 = j - 5*m - 5, 0 = v*j + 4*m + 2 + 2. Suppose 4*q = -j*q + 288. Is 36 a factor of q?
True
Let d(i) = -80*i + 100. Let r be d(-2). Is (-2)/(-5)*r/4 a multiple of 15?
False
Let z be (-322 + 0)*2/(-4). Let w = 62 - z. Let n = w + 130. Is 21 a factor of n?
False
Suppose 370 = -4*j - 2*m, j = 6*j + m + 458. Let t = 12 - j. Let c = -59 + t. Does 11 divide c?
True
Let l be (-2)/(-3 - -1) + (-24 - -25). Suppose 5*o + 3 + l = 0, 0 = 5*t + 5*o - 145. Suppose s + t = 114. Is 21 a factor of s?
True
Let z be (28/(-16))/(2/(-8) - 0). Let j = 11 - z. Suppose 5*r - 27 = -l - 0*l, -4*l - j*r + 172 = 0. Does 14 divide l?
False
Let n = 26 - 29. Let v be 366/(-4)*n*(-4)/18. Let a = v + 160. Is a a multiple of 18?
False
Suppose 0 = -8*y + 154 + 5670. Let c = y - 420. Is 11 a factor of c?
True
Let a = 242 - 65. Let j = a + -142. Does 4 divide j?
False
Let p be (-2)/(-7) + (-148)/28. Is 5/(p/(-3)) + 18/1 a multiple of 5?
False
Let n = -1101 + 3357. Is 94 a factor of n?
True
Let k(h) = 399*h - 821. Is k(11) a multiple of 17?
False
Let v(p) = 2*p**3 - 178*p**2 - 51*p - 26. Is v(90) a multiple of 181?
True
Let z(u) = 127*u**2 - 3*u - 4. Let a = 263 + -264. Is 42 a factor of z(a)?
True
Suppose -5*y = -0*y - 4*n + 266, 62 = -y + 3*n. Let d = -44 - y. Suppose 0 = -d*s + 37 + 17. Is s even?
False
Suppose -5*z = 4*k + 16, 3*k + 1 + 11 = z. Does 40 divide k/34 - (1 + (-49074)/102)?
True
Suppose -4*w - g + 157 = 0, 0 = 5*w + 3*g + g - 199. Let o(t) = -t**3 - 6*t**2 - t - 154. Let h be o(-8). Does 4 divide 1593/w + h/(-117)?
False
Suppose -96*m - 2*m + 217266 = 0. Is m a multiple of 23?
False
Suppose 3*b + 2*l + 2*l - 16 = 0, -2*l - 18 = -5*b. Is 58 a factor of (-2140)/(-25) - b/(-10)?
False
Let c be (-819)/(-28)*8/3 + -1. Suppose -c*z = -68*z - 4905. Is z a multiple of 16?
False
Let q = 484 + -700. Let f = q + 635. Does 5 divide f?
False
Suppose -98*h + 99*h = 5*x - 26368, 0 = 2*x - h - 10546. Is 7 a factor of x?
False
Let o be (361/2 - 2)*(-12)/(-18). Let q = o + -119. Suppose q = -17*f + 21*f - 816. Is f a multiple of 17?
True
Suppose 0 = 2*j + 14 - 60. Suppose -33 - 15 = -12*d. Suppose 169 = d*x - j. Does 5 divide x?
False
Does 130 divide (8*5110)/(-14)*(-65)/5?
True
Suppose -7*d - 13004 = 344 - 87940. Is 11 a factor of d?
False
Let v be 463 - (0/(-2) - -3). Suppose 33 = 5*c + 2*j, c + 5*j = 26 - 1. Suppose -c*h + v = -20. Is h a multiple of 27?
False
Let d(l) = 2*l**2 - 18*l - 22. Let o be d(19). Let j = 526 - o. Is 8 a factor of j?
True
Let d = 859 + -872. Is (-29836)/(-26) - 6/d a multiple of 14?
True
Suppose 83 = 55*z - 27. Does 19 divide (418/z)/(6/12)?
True
Let c(q) = -5*q**3 + 7*q**2 + 40*q - 17. Let n be c(-5). Let y = 638 - n. Is y even?
False
Let b(f) = -10*f - 17. Let s be b(-1). Is 2/s - 1850/(-7) a multiple of 24?
True
Suppose 2*q + 38822 = 4*s, 4*s + 8*q - 20876 = 17936. Is 41 a factor of s?
False
Let t(c) = 14*c + 94. Let a be t(-6). Does 2 divide (5/a - 5)/((-3)/8)?
True
Suppose -493 = -3*u - 2*q, -819 = -5*u - 3*q - q. Let b = 99 + u. Does 6 divide b?
False
Let n = 1048 - -12024. Is 38 a factor of n?
True
Let b be (5 + 0)*-758*(-2)/(-10). Let o = 1099 + b. Is 31 a factor of o?
True
Suppose 3*w + 0*m - 10 = 2*m, 0 = w - 4*m. Suppose -4*p + 20 + w = 0. Suppose 0*o = -p*o + 612. Is 17 a factor of o?
True
Let c(x) be the third derivative of 1/12*x**4 + 0*x - 2*x**3 - 4*x**2 + 0. Is 10 a factor of c(11)?
True
Let s be 3/4*(13 - 9). Suppose -3*t + 3*h + 2427 = 0, -3*h + 5073 = 5*t + 1060. Suppose 2*w + 5*r = 319, -5*w - s*r = 2*r - t. Is 18 a factor of w?
True
Let u(t) = t**2 + 8*t - 10. Let a be u(-6). Let l be (16/(-3))/(a/33). Suppose -5*n = -3*m + l - 34, -3*n - 4*m = -33. Is n a multiple of 4?
False
Let v = -157 + 101. Let w = v - -58. Is (1 + 0)/(w/110) a multiple of 15?
False
Let x(r) = -964*r + 132. Does 12 divide x(-3)?
True
Let j be (-145)/(-15) - (-6)/(-9). Let r(a) = a**3 - 9*a**2 + 20. Let s be r(j). Is 17 a factor of 4*(445/s - 2)?
False
Suppose -15 = -3*y + 84. Let z = y + -6. Is 2/(-3)*27/(-18) + z a multiple of 4?
True
Let x(q) be the third derivative of q**5/60 + 5*q**4/24 + q**3/3 + q**2. Suppose 3*c + 6*k = 3*k + 9, -3*c + 4*k = -37. Is x(c) a multiple of 18?
False
Suppose -110817 = -13*x + 5*x - 13*x. Does 18 divide x?
False
Suppose 9*u + 15 = 14*u. Suppose -3*o = -12 - u. Suppose o*b = 101 - 36. Is 6 a factor of b?
False
Let v(g) = g**3 + 11*g**2 + 16. Let j(w) = -6*w + 7. Let z be -2 + -10*2/(-4). Let f be j(z). Is v(f) a multiple of 8?
True
Suppose -2*t = h - 95, 94 + 71 = 3*t - 3*h. Suppose t = j - 56. Is j a multiple of 4?
False
Let c be (-1 - 1) + 2*-233. Let r = 273 + c. Does 13 divide (0 + -1)/(5/r)?
True
Let a be -2*11/1 - 2. Let f(p) = -p**3 - 24*p**2 - p + 1. Is f(a) a multiple of 2?
False
Suppose -3*y - 2*l + 680 = 0, 2*y - 2*l = 308 + 142. Let z = y + 214. Does 10 divide z?
True
Suppose -5*p = -w + 16, p + 9 = -p + 3*w. Let d(y) be the third derivative of -y**6/60 - y**5/12 - y**4/6 - 17*y**2 + 1. Is 21 a factor of d(p)?
True
Let l = 37 - 1. Suppose -3*w + 5*b + 7 = -20, -2*b - l = -3*w. Suppose w*x = x + 1066. Does 41 divide x?
True
Let b(n) = 28*n - 61. Let j(a) = -13*a + 30. Let u(r) = -4*b(r) - 9*j(r). Let h be u(6). Suppose 21*p - 663 = h*p. Is 11 a factor of p?
False
Let b(k) be the third derivative of -23*k**4/6 + 5*k**3/6 + 54*k**2. Is b(-1) a multiple of 16?
False
Let t(z) be the second derivative of 17*z**3/3 + 11*z**2/2 + 29*z. Let u be t(2). Suppose g - 286 + u = 0. Does 59 divide g?
False
Let u = 81 - 78. Let k be (u/(-5) + 1)/(6/(-150)). Is 3*k/15 + 98 a multiple of 10?
False
Let t(m) = m**2 + 8*m - 19. Let w be t(-9). Let q(u) = u**3 + 12*u**2 + 9*u. Let d be q(w). Let s = 40 + d. Is 38 a factor of s?
False
Let z(a) = a**3 - 6*a**2 - 5*a - 12. Let w(q) = 1. Let k(u) = 2*w(u) - z(u). Does 24 divide k(-4)?
False
Let p(j) = -j**2 + 14*j + 4. Let y(k) = k**2 + 4*k + 6. Let z be y(-6). Suppose -10 = -z*c + 17*c. Is p(c) a multiple of 9?
False
Suppose 129*o + 46*o - 5553450 = 0. Does 86 divide o?
True
Is ((-528)/(-40))/((-11)/(-6545)) a multiple of 154?
True
Let t(y) = -24*y**2 - y + 2. Let p be t(1). Let k = p - -16. Let r = k + 17. Does 2 divide r?
True
Let i = -10 - -20. Let x be (-30)/i - (0 + -180). Suppose -3*b + 0*v + x = -3*v, 3*b - 2*v - 175 = 0. Does 7 divide b?
False
Let c = 73 + -29. Suppose 0 = -40*p + c*p - 24. Is 626/p - 3/(-63)*-7 a multiple of 13?
True
Let h(n) = -3*n**3 + n**2. Let o be h(-1). Suppose 0 = 3*j - 0*j + 5*p, -22 = -2*j + o*p. Let f = j + 84. Is f a multiple of 21?
False
Let d = 6137 + 875. Is 7 a factor of d?
False
Is 4 a factor of (-3)/6*576/(-2)?
True
Let u = 43 + -46. Let h be (-4)/u*(-1 + 4). Let n(k) = 13*k**2 - 6*k - 4. Is n(h) a multiple of 30?
True
Let l(x) = x**2 - 31*x + 354. Is 27 a factor of l(44)?
False