v be f(1). Does 8 divide z(v)?
True
Let k(x) = 2*x**3 - 131*x**2 + 949*x + 130. Is k(62) a multiple of 35?
True
Suppose -23 + 293 = 3*q - 4*w, 2*q - 5*w - 180 = 0. Suppose -3*m - 73 = 5*c + 9, 4*m - 3*c + q = 0. Is (-242)/(-6) - 4/m*4 a multiple of 15?
False
Suppose -2*c = 101*n - 107*n - 69440, -4*c + 5*n + 138908 = 0. Is c a multiple of 8?
False
Let u(m) = -m**2 + 26*m - 2. Let q be u(26). Let c be 1*q - (4 - (-6 - -15)). Suppose -3*a - 299 = -3*b + a, -2*a = -c*b + 307. Is b a multiple of 21?
True
Suppose 0 = 2*r - 71 - 247. Suppose a = r + 346. Suppose -a + 190 = -9*o. Is 22 a factor of o?
False
Let i = -119 - -257. Let g = i - 110. Is 4 a factor of g?
True
Suppose -25*b = -21*b - 708. Suppose -b = -68*s + 65*s. Is s a multiple of 3?
False
Suppose 5*g - 9*q - 142548 = -13*q, -3 = q. Does 288 divide g?
True
Suppose -17 = -9*j + 19. Suppose 4*a - 8*a + 668 = 5*d, 5*d + 628 = j*a. Is a a multiple of 54?
True
Let y(h) = -h**3 + h**2 + h - 14. Let t be y(0). Let m(b) be the first derivative of -3*b**2/2 - 21*b + 217. Is m(t) a multiple of 7?
True
Let w(q) = 16*q + 136. Let u be w(17). Suppose -p - 285 = -3*t + 972, -t + u = -4*p. Is 19 a factor of t?
False
Let g(h) = 2*h**2 + 80*h + 215. Does 19 divide g(24)?
True
Let r(w) = -46*w**3 + 2 + 3*w**2 + 3*w + 44*w**3 + w**2. Is 19 a factor of r(-6)?
False
Let p(g) = -1319*g - 456. Is p(-6) a multiple of 11?
True
Suppose 0 = 5*t - 4*n + 7*n - 29357, -t - 3*n = -5857. Is t a multiple of 47?
True
Let s = -9838 - -22642. Is s a multiple of 43?
False
Let g(s) = -s**3 + 8*s**2 + 7*s + 11. Let t be g(10). Let r be 2/(-1 + 74/78). Let q = r - t. Is 20 a factor of q?
True
Suppose 6*i = 5*i + 233. Let d = -174 + i. Is d a multiple of 11?
False
Let v be -2*7893/(-18) - (-1)/1. Let p = v + -819. Is 36 a factor of p?
False
Let w(s) = -13*s**2 - 73*s + 4. Let k(x) = 18*x**2 + 109*x - 6. Let g(d) = -5*k(d) - 7*w(d). Is 22 a factor of g(-6)?
True
Let o = -590 - -1010. Suppose 0 = 5*z + 5*r - o, -3*z - 4*r + 61 = -188. Suppose 2*u - 5*u = -z. Does 3 divide u?
False
Let n(s) = 2*s**2 + 5*s - 70. Suppose 3*l - 5*o = 62, 3*o = -4*l + 6*o + 68. Is n(l) a multiple of 27?
False
Let b = 4944 - -17208. Is 104 a factor of b?
True
Is 13 a factor of -23 + (-198)/(-22) + 2041?
False
Is 21 a factor of (-1156419)/(-198) - (-5)/(-2)?
True
Suppose 803*n - 810*n = -43022. Does 12 divide (n/21)/((-2)/(-3))?
False
Suppose 51*z + 25286 = 56*z - v, 0 = -2*z + 3*v + 10104. Does 6 divide z?
True
Suppose 16*t = 15*t - 2*y + 5202, 0 = 4*t + 2*y - 20802. Does 25 divide t?
True
Let f be 28*1/((-1)/(-2)). Suppose 41 + 35 = p. Let b = p - f. Does 10 divide b?
True
Suppose 14*m = 12*m - 330. Let r = -96 - m. Is r a multiple of 12?
False
Suppose -102*h + 387126 - 60223 = -931165. Is 36 a factor of h?
False
Let p = 111 - 207. Let d = 100 + p. Suppose -u + 2*r + 113 = 0, 0*u + 553 = 5*u - d*r. Is u a multiple of 15?
False
Suppose 4*r = 4*u - 20, -4*u - 2*r + 3*r + 17 = 0. Suppose -2*s = 4*c, -u*c + 30 = -5*s + c. Does 15 divide 58/1 + (1 + -3 - s)?
True
Let b(z) = 252*z**2 + 5*z - 13. Let y(u) = -378*u**2 - 8*u + 19. Let k(v) = -7*b(v) - 5*y(v). Suppose 30*m + 88*m = 118. Is k(m) a multiple of 10?
False
Let d(l) be the second derivative of l**5/10 + l**4/8 + 4*l**3/3 + 2*l**2 + 32*l. Let g(m) be the first derivative of d(m). Does 29 divide g(4)?
True
Suppose 108874 - 779726 = -28*s. Is 8 a factor of s?
False
Let o(l) = -291*l + 588. Does 38 divide o(-12)?
False
Let v(o) be the second derivative of 13*o - 3/5*o**5 - o**2 + 1/3*o**4 + 0 + o**3. Is v(-2) a multiple of 14?
True
Let p(j) = 150*j**2 + 276*j + 74. Does 26 divide p(12)?
True
Let n = 221 - 227. Let a(g) = -4*g + 44. Is 3 a factor of a(n)?
False
Suppose -4 = -132*c + 130*c. Suppose 0 = -5*z + 21 - 6, 0 = 3*h - c*z - 147. Is 17 a factor of h?
True
Let x(v) = -v**2 - 11*v - 16. Suppose q = 3*k + 20, -4*q = 2*k - 2*q + 16. Let r be x(k). Suppose -r = -2*i + 32. Does 11 divide i?
True
Let f(k) = -k**2 - k + 1. Let j(w) = -24*w**2 - 2*w + 3. Let c(y) = 5*f(y) - j(y). Suppose 48*n + 6 = 51*n. Does 8 divide c(n)?
True
Let z = 6 + -11. Let u(x) = -26*x + 2. Let b(r) = 52*r - 7. Let c(a) = 4*b(a) + 9*u(a). Does 40 divide c(z)?
True
Suppose -5*c + 5*k = 245, 5*k + 91 = -4*c - 60. Let n(b) = b**3 + 46*b**2 + 41*b - 166. Is 37 a factor of n(c)?
False
Let p be -9*(4 + (-5 - 4/(-6))). Is 8 a factor of 86/p - 74/111?
False
Is (-5678983)/(-465) + (-8)/(-60) a multiple of 43?
False
Suppose -s + 2*p = 3 - 9, 0 = -5*p - 15. Let i(w) = w + 554. Does 17 divide i(s)?
False
Let b(i) = 3*i**3 + 196*i**2 - 10*i - 186. Is 10 a factor of b(-65)?
False
Let y(i) = i**2 - 9*i + 21. Let c be y(6). Suppose -3*z - 4*v + 215 = -277, c*z + v - 483 = 0. Is z a multiple of 10?
True
Let m = -56 - -20. Let q = 43 + m. Suppose q = -l + 22. Is 10 a factor of l?
False
Is 8 + (14638 - -21 - (2 - -1)) a multiple of 26?
True
Let j(f) = -f**2 - 20*f - 61. Let b be j(-16). Suppose -4*m = 4*o - 498 - 602, -b*o = -6. Is m a multiple of 14?
False
Let z(c) be the second derivative of 13*c**3 - c**2/2 + c. Let i(p) = p**3 + p**2 - p + 3. Let v be i(-2). Does 11 divide z(v)?
True
Let s(v) = -1046*v**2 - 14*v - 12. Let u(z) = 1048*z**2 + 15*z + 13. Let w(n) = 4*s(n) + 5*u(n). Is 34 a factor of w(-1)?
True
Let s = 4457 + -4034. Is s even?
False
Let h(m) = -58*m + 85. Let c(u) = 176*u - 257. Let n(r) = 4*c(r) + 11*h(r). Is n(10) a multiple of 27?
True
Let i be 12/10 + (-352)/(-40). Suppose i*x = 4*x + 2604. Is x a multiple of 31?
True
Let o = -23 - -35. Suppose 3*n + 0*v = -4*v + 30, -3*n = -2*v - o. Is 6 a factor of (9/n)/(3/152)?
False
Suppose 4*i - 5*d = 10224, -i - 3*d - 752 + 3308 = 0. Is i a multiple of 4?
True
Let v(j) = 3*j**3 - 3*j**2 + j - 2. Suppose 14 = 7*u + 7. Let d(g) = g**3 - g**2 - 1. Let r(x) = u*v(x) - 2*d(x). Does 35 divide r(5)?
True
Let l be (-65 + 26)/(-1 - 2/4). Suppose -7*a = -2 - l. Suppose 0*c = a*c - 92. Does 12 divide c?
False
Let w = 14113 + 439. Is w a multiple of 18?
False
Let b = -167 - -199. Suppose v + 137 = 2*z, -b*z + 35*z + v = 193. Is z a multiple of 8?
False
Suppose 44327 = 21*a - 40408. Is 23 a factor of a?
False
Let h = 7327 + -1825. Does 42 divide h?
True
Suppose 50 = 3*g + a, -70 = -5*g - 2*a - 3*a. Suppose -24*j + 714 = -g*j. Does 7 divide j?
True
Suppose 2*o = 9 - 1. Suppose -o*k = 2*y - 204, 146 = -3*y - k + 467. Is y a multiple of 36?
True
Is ((-179655)/(-708))/(5/1176) a multiple of 18?
False
Suppose -2*h + 9907 = 5*l - 13373, -9283 = -2*l + 5*h. Does 26 divide l?
True
Let g(p) = p**3 + 11*p**2 + 8*p + 11. Suppose -3*f + 5*q = -35, -4*f - 3*q + 37 = -0*q. Suppose -8*c = -f*c - 14. Is 28 a factor of g(c)?
False
Let z(x) = 2*x**2 - 3*x + 7. Let r(k) = 2*k**2 - 3*k + 8. Let c(i) = -4*r(i) + 5*z(i). Let d be c(7). Let j = d + -53. Is 12 a factor of j?
False
Let s = 2501 + 1179. Is 92 a factor of s?
True
Suppose 0 = -s - 1 + 5. Let p(j) be the first derivative of 10*j**3/3 - 2*j**2 - 3*j + 336. Is p(s) a multiple of 26?
False
Let m(g) = -122*g**3 + 3*g**2 - g - 1. Let j be m(-3). Suppose 23*y - j - 4198 = 0. Is y a multiple of 28?
False
Let p(l) = l**3 - 4*l**2 + 11*l + 4. Let u(o) = 2*o**3 - 8*o**2 + 23*o + 7. Let t(d) = 7*p(d) - 3*u(d). Let r = -1088 + 1093. Is 4 a factor of t(r)?
True
Is 180/(-990) + (-105956)/(-22) a multiple of 8?
True
Suppose -i + 1821 = 2*i. Let t = -375 + i. Suppose 308 = 5*r - r - b, -3*r = -b - t. Is 19 a factor of r?
True
Suppose 0 = 3*t + 5*m - 2652, -5*m = 5*t - 7*m - 4389. Does 5 divide t?
False
Let a = 169 - 168. Does 6 divide 11/(44/(-8)) - (-27 + a)?
True
Let q = 17416 - 5365. Does 117 divide q?
True
Suppose 50540 = 61*s - 176380. Is 11 a factor of s?
False
Let s(h) be the third derivative of -13*h**7/2520 + h**6/720 - h**5/20 - 15*h**2. Let d(x) be the third derivative of s(x). Is 15 a factor of d(-4)?
True
Suppose -t - 39 + 7 = -4*r, 4*t = 2*r - 30. Suppose 0 = -3*b + 3, 0 = 5*s + r*b - 5*b - 3122. Does 78 divide s?
True
Let x be -1 - 1/(3/(-33)). Let s(c) = -10*c**2 - 6*c**3 - x*c + 2 - 2*c + 9*c**3 + 3. Is s(5) a multiple of 17?
False
Suppose -12*b + 490 = -2*p - 17*b, 5*p = -4*b - 1208. Let z be -140 + 1/((-2)/4). Let a = z - p. Does 7 divide a?
True
Suppose 0*a = 2*a + 36. Let m(l) = -2*l**2 - 38*l - 2. Is m(a) a multiple of 17?
True
Let n = 42 - 40. Suppose 