be m(-6). Suppose -6*k + 9*k = v. Suppose 3*p - 3*t + 22 = k*p, 0 = -t + 1. Does 9 divide p?
False
Let l(d) = -d**3 + d**2 + 3*d - 6. Let u be (-28)/(-6)*12/14. Let h be l(u). Let o = h - -75. Does 11 divide o?
True
Suppose -2*k = -7*k - 3*u + 1237, -k = -4*u - 229. Let a = k + -170. Suppose 5*n + 2*f = a, 2 + 12 = 2*n + 4*f. Is n a multiple of 8?
False
Suppose -a = -4*b - 24, -2*a = 2*b + b + 18. Let s be -2 + 9 + (b - -5). Is (s/3)/(2/26) a multiple of 13?
True
Suppose -6 = -3*a + 2*a. Suppose a*v - 589 = -109. Is 20 a factor of v?
True
Suppose -10711 = -54*g + 11861. Is g a multiple of 3?
False
Suppose 0 = 7*k - 5*k + 34. Let r(x) = -x + 9. Is 26 a factor of r(k)?
True
Suppose -3*f = -t - 175, 7*f - 4*t = 3*f + 244. Let u be 1/((4/132)/(-1)). Let k = f + u. Is 12 a factor of k?
True
Let q = 543 + 1565. Is q a multiple of 42?
False
Suppose 0 = 8*k - 9 + 1. Is 3 a factor of -1 - k/((-1)/25)?
True
Let c = 22 - 18. Suppose f + 711 = c*f. Suppose 5*t - 3 = f. Is 10 a factor of t?
False
Let u(x) = 2301*x + 2. Let q be u(-2). Does 10 divide (q/12)/(-5) + 2/6?
False
Let a be 2*58/4 - 2. Suppose -5*i = -a - 18. Is i even?
False
Suppose 3*d = -5*g - 241 - 418, 0 = 2*g + d + 264. Let k = g - -225. Is k a multiple of 11?
False
Let q = 31 + -18. Suppose 0 = q*w - 17*w. Suppose 2*a + 3*f - 67 = w, 5*f + 7 - 44 = -a. Is 8 a factor of a?
True
Suppose 0 = -x - 4*k + 1530, 3*x - 4*k = 778 + 3812. Is x a multiple of 17?
True
Let h(s) = 8*s**3 - s**2 + 2*s + 1. Does 9 divide h(2)?
False
Let g(u) be the second derivative of -u**5/20 + 5*u**4/12 + u**3/2 - 3*u**2/2 - 2*u. Let j be g(4). Let i = j - -3. Is 11 a factor of i?
False
Suppose 3*v + 4*j = 92, -12*v + 4*j = -13*v + 28. Is 3 a factor of v?
False
Suppose -7*t + 1035 = -799. Does 17 divide t?
False
Let d be (-3 - -8) + 1 + -3. Suppose -d*v = -0*v - 150. Is 12 a factor of v?
False
Let w(f) = -f**2 - 8*f + 11. Let t be w(-9). Suppose t*q - 3*q + 18 = 0. Is 3 a factor of q?
True
Let m be 10/((3 - 7) + 6). Suppose -q = q - m*i - 315, -2*q + 324 = 4*i. Suppose 3*a = 2 + q. Does 18 divide a?
True
Let c(b) = 14*b - 3. Suppose 0 = -15*s + 11*s + 68. Suppose s*l - 15*l - 4 = 0. Is 5 a factor of c(l)?
True
Let c = 17 - -130. Is c a multiple of 21?
True
Suppose -4 = -4*b - 4*a, -4 = -0*a - 4*a. Suppose 4*k - 3*s - 568 = s, b = 2*k - 5*s - 290. Is 10 a factor of k?
True
Let d = 47 + 69. Suppose -3*c + d = -c. Is c a multiple of 26?
False
Let l be 4 - (0 + 4 - 2). Suppose -3*j + 166 = l*r - 0*j, -j + 158 = 2*r. Is 11 a factor of r?
True
Suppose -17 = -y - 30. Does 9 divide (-18)/(-117) - 466/y?
True
Let j(z) = z**3 + z**2 + 4. Let t be j(0). Let q = t + -52. Let y = -25 - q. Is y a multiple of 5?
False
Let j = -194 - -288. Does 5 divide j?
False
Suppose 3*z - 1318 = -2*d, 0*z - 4*d = 2*z - 868. Is z a multiple of 6?
False
Let r be (-3)/2*64/(-12). Suppose -4*d = -r*d + 1144. Does 58 divide d?
False
Let b(n) = n**2 - 6*n - 2. Let t be b(6). Let k(w) = 8*w**2. Let o(v) = 3*v**2. Let m(g) = 4*k(g) - 10*o(g). Is m(t) a multiple of 4?
True
Suppose 2*y = 597 - 111. Suppose -8*f + y = -525. Does 16 divide f?
True
Let k(q) = -6*q - 6. Let z(s) = -s**2 - 3*s - 14. Let p be z(-7). Let y = 31 + p. Does 15 divide k(y)?
True
Suppose -2*p = c - 43, -2*c + 84 + 3 = 3*p. Let r be 296/5 - 9/c. Does 26 divide r + 1 + 5 + -3?
False
Let r(g) = 134*g - 9. Let k = 106 + -104. Is 13 a factor of r(k)?
False
Let c(q) be the first derivative of 2*q**3/3 + 5*q**2/2 - 3*q + 2. Let b be c(-4). Is (-17)/(-2) + b/(-18) a multiple of 2?
True
Let x(u) = 9*u - 2. Let c be x(-1). Let q = c - -16. Suppose -q = z - 26. Is 20 a factor of z?
False
Suppose 21*y + 5258 = 25*y - 2*p, -4*y = 3*p - 5233. Is y a multiple of 4?
True
Suppose -4*s + 15*b - 13*b = -336, -5*s + 411 = 2*b. Is 2 a factor of s?
False
Let w = 34 + -15. Suppose 0 = 2*j - 5*z + w, 20 + 5 = 5*z. Is 4/j*1026/36 a multiple of 19?
True
Suppose -10*p + 14*p = 252. Is 21 a factor of p?
True
Let y be (-23)/(-3) - 20/30. Let k(b) = 4*b + 5 + 0*b - 3*b + y. Is 5 a factor of k(-7)?
True
Suppose -5*y + 3405 = 4*g, 9*g + 1665 = 11*g - 5*y. Is 13 a factor of g?
True
Suppose d + 24 = 2*y, 0 = -5*y - 5*d + d + 34. Suppose -g + 19 = -y. Suppose 5*z - 21 = g. Does 4 divide z?
False
Let y(s) = -s**3 + 25*s**2 - 44*s - 44. Let h be y(23). Does 33 divide 355/h - (-51)/34?
False
Suppose -2505 = -2*a + 5*o + 651, 5*a + 2*o - 7919 = 0. Is a a multiple of 68?
False
Suppose -1045 = 4*i + i. Let b = i + 549. Suppose -u - 4*u + b = 0. Does 14 divide u?
False
Let b(o) = 1 - 2*o**2 + 2*o - 3*o + o. Let s be b(-1). Let a(r) = -39*r. Does 13 divide a(s)?
True
Suppose 6*k - 48 = -2*k. Suppose 5*w + k*i - 3*i = 69, 0 = 3*w - 5*i - 21. Is 12 a factor of w?
True
Let w = -28 - -84. Is 14 a factor of w?
True
Suppose 4*u + 126 = 394. Let m = u - 11. Is 14 a factor of m?
True
Let f(t) = -23*t**3 + 14*t - 3. Is 8 a factor of f(-3)?
True
Let i be (2 + -4 + -38)*-1. Does 6 divide i/(1 - (-4)/(-12))?
True
Let a(h) = -h**3 + 22*h**2 + h - 22. Let l be a(22). Suppose 0*v + 2*w + 235 = 5*v, 4*w = l. Does 13 divide v?
False
Suppose 3*m + m = 16. Suppose i + 0*s - 5*s - 28 = 0, 3*s + 78 = m*i. Does 8 divide (-2)/12 + 687/i?
False
Let h = -260 - -666. Does 29 divide h?
True
Let b = -291 - -405. Is b a multiple of 38?
True
Let w(p) = p - 1. Let q be w(1). Suppose 5*b + 2*r + 142 = q, 0 = -2*b - 2*r - 41 - 17. Let l = 33 + b. Is l a multiple of 3?
False
Suppose 5*y - 4 = 6. Let t(p) = y*p**2 + 30*p**3 - 3 + 3 + p - 2*p. Does 10 divide t(1)?
False
Is 12 a factor of ((-155)/2)/5*3542/(-77)?
False
Does 18 divide 348*(-4)/(-32)*12?
True
Let l = -421 + 1449. Let o = l + -592. Is 13 a factor of o?
False
Let p(b) = b + 66. Does 2 divide p(-22)?
True
Let p = -110 - -137. Let l(n) = -n**3 + 28*n**2 - 22*n - 23. Does 28 divide l(p)?
True
Let m(f) = f**3 - 12*f**2 + 11*f - 1. Let n(v) = v**3 - 10*v**2 + 18*v - 5. Let h be n(8). Let z be m(h). Does 5 divide ((-50)/(-30))/(z/(-3))?
True
Let y = -220 + 380. Is 16 a factor of y?
True
Suppose -7*b - 3 = -10*b. Does 40 divide 1 - ((-211)/b - -5)?
False
Let y(t) = -t**2 - 2*t. Let q(w) = 7*w**2 + 44*w + 24. Let s(i) = -q(i) - 6*y(i). Does 34 divide s(-13)?
False
Let q = 0 + 2. Suppose 2*s = 4*n - 22, -10 = n - q*n - 4*s. Is 10 a factor of 243/n + 1/(-2)?
True
Is 42 a factor of (-4)/(-10 - -14) - (-1 + -924)?
True
Suppose 16*f = 11*f - 105. Let y = f + -69. Let b = 7 - y. Does 23 divide b?
False
Let z = 2197 - 613. Is z a multiple of 21?
False
Suppose 0*g + d = -g + 18, g - 4*d = 33. Suppose 4*k + 2*w - 49 - g = 0, -5*k = 4*w - 86. Is k a multiple of 8?
False
Suppose -1118 = -5*r + 4*c, 5*c = r - 5*r + 919. Let y = r + -117. Suppose -2*v - 33 = -y. Is 8 a factor of v?
False
Let d(i) = -i**3 + 6*i**2 + 3*i - 11. Let c be d(5). Suppose g + 48 = 5*g. Let x = c - g. Does 11 divide x?
False
Suppose 33*a = 40*a - 490. Is a a multiple of 25?
False
Suppose h + 18 = 14. Let z = -1 - h. Let l = 39 - z. Is 9 a factor of l?
True
Suppose 0 = 3*t + 2*v - 233, -2*t + 36 = -v - 124. Does 19 divide t?
False
Let o = 75 + -75. Suppose j + t - 131 = o, -4*t + 140 = j - 0*j. Is 16 a factor of j?
True
Suppose 9*o + 8 = -1. Does 4 divide (-23 + o)*5/(-15)?
True
Let a(o) = 4*o**2 - 10*o + 7. Let r be a(6). Let f(c) = 8*c - 2. Let g be f(-7). Let s = r + g. Does 6 divide s?
False
Suppose 2*a = -h - 18, 4*a - 44 = 4*h - h. Let z = 40 + h. Does 8 divide z?
True
Suppose 26 = -2*d + 78. Let k = d - 24. Suppose -3*n + 4*c = -160, -4*n - k*c + 196 = -3*c. Does 12 divide n?
True
Suppose -3*q = 6 + 6. Let w(s) = s**3 + 3*s**2 - 4*s + 5. Let x be w(q). Suppose 1 = t + x*k - 8, 63 = 2*t - 5*k. Is t a multiple of 7?
False
Suppose -n + 3*w = -18, -13 = 4*n + 4*w + w. Suppose 51 + 12 = n*z. Is z/28 + 354/8 a multiple of 15?
True
Let p(w) = w**2 + 60 - 40 + w + 15*w. Let c be p(-14). Let q = 11 - c. Does 19 divide q?
True
Suppose 9*c - 956 = -614. Is 5 a factor of c?
False
Let y = 0 + 3. Suppose 5*d - 494 = y*i, -846 = 5*i - d + 4*d. Is (-20)/(-50) + i/(-5) a multiple of 18?
False
Let q = -1537 + 2388. Does 68 divide q?
False
Let v(h) = h**2 + 14*h + 50. Let n be v(-13). Suppose -6 = 5*b - 81. Suppose x - b - n = 0. Is x a multiple of 13?
True
Is 26 a factor of 1022/((-8)/44*-11)?
False
Suppose -4 = -4*q, 5*c - 394 = 2*c + 2*q. Suppose -2*f +