se
Let y(m) = 8*m - 4. Suppose 0 = -3*n + u + 17, 2*n - u - 23 = 2*u. Let z be y(n). Suppose v - 2*w - z = 0, 0 = v + 3*w - 13 - 5. Does 14 divide v?
False
Let a(w) = 2*w**3 + 4*w**2 + 27*w + 17. Is 77 a factor of a(7)?
False
Let u = -102 - -137. Let f(r) = -r**3 + 6*r**2 - 5*r + 4. Let g be f(5). Suppose -2*x = z - 47, z - g*x - u = -0*z. Is 14 a factor of z?
False
Suppose -260 = 184*f - 186*f. Is 7 a factor of f?
False
Suppose 2*m + 3 = -m. Is 20 a factor of m/(-4) + (-26)/8 + 94?
False
Suppose 4*y - 654 = -2*q, 0 = -y - 0*y - 3*q + 151. Suppose 3*r - 2*j = -j + y, -3*r - 4*j = -176. Does 8 divide r?
True
Suppose -5*x = -83 + 3. Let s(g) = 29*g + 180. Let r be s(-6). Let h = x - r. Is 5 a factor of h?
True
Is (82/4)/(13/78) a multiple of 2?
False
Let j = 88 + -77. Suppose 7*y + 684 = j*y. Is 15 a factor of y?
False
Let g(i) = 5*i**2 + 102*i - 81. Is 69 a factor of g(15)?
False
Let x be 74/16 + 6/16. Suppose -x*t = 4*n - 620, 2*n + 466 = 5*n + 4*t. Is n a multiple of 26?
False
Suppose -53*o = -1042 - 548. Is 22 a factor of o?
False
Let k = 2 + 0. Suppose -59 = -g - 2*q, -52 = -3*g + k*g + 5*q. Is 19 a factor of g?
True
Let a(s) = -3*s**3 + 22*s**2 + 200*s + 4. Does 53 divide a(-9)?
True
Let x = -66 + 781. Suppose 2*a - x + 199 = 2*m, -a + 1047 = -4*m. Is m/(-9) + (-4)/18 a multiple of 8?
False
Let y = 3265 - 975. Is y a multiple of 10?
True
Suppose -22*d = -1218 - 1664. Is d a multiple of 92?
False
Let i(g) = -g**3 - 2*g**2 + 2. Let t be i(-3). Suppose -l + 148 = 131. Suppose l = s - t. Does 23 divide s?
False
Suppose -17*z = -13*z - 860. Let f = z - 65. Is f a multiple of 11?
False
Suppose -4*w = 4*r - 4792, 4*r + 4261 + 555 = 4*w. Does 26 divide w?
False
Let i(n) = -n**2 - 91*n - 150. Is i(-76) a multiple of 30?
True
Let c(f) = -5*f - 2. Let k be c(-6). Suppose -4*o - 94 = -3*u, -o = -u + o + k. Does 2 divide u?
True
Let k be 1/3 - (274/3 - 1). Let r = -17 - k. Does 11 divide r?
False
Let c = -7 + 4. Let k = c + 19. Suppose -4*m - 11 = -o + k, -5*m = -5*o + 60. Is 2 a factor of o?
False
Suppose 2*b = 74 - 4. Suppose -3*s + b = y - 17, -4*y = 5*s - 243. Is y a multiple of 11?
False
Suppose -t = 2*t - 6. Suppose 0 = t*j - 81 - 33. Is j a multiple of 9?
False
Let j(m) = -5*m + 14. Is 3 a factor of j(-5)?
True
Let j = 0 - 17. Suppose 2*k + 6 - 82 = 0. Let i = j + k. Does 4 divide i?
False
Let q = -238 - -460. Let b = q + -122. Is b a multiple of 31?
False
Let x(t) be the second derivative of 13*t**3/6 - 9*t**2/2 + 7*t. Let h be x(9). Suppose -h = -3*u - u. Is u a multiple of 11?
False
Let x(y) = y + 25. Suppose -46 - 31 = -7*b. Is 18 a factor of x(b)?
True
Let h(f) = -2*f**3 - 29*f**2 - 64*f + 11. Is h(-18) a multiple of 47?
True
Let p(g) = -2*g**2 - 23*g + 3. Is p(-4) a multiple of 4?
False
Let x(n) = -n + 1. Let c be x(-2). Suppose 2*f = -c*l + 15, 0 = -2*l + l - f + 6. Suppose b = 4*s + l + 2, -b + 2*s + 13 = 0. Is b a multiple of 5?
False
Suppose 5*l = -3*v + 164, -5*v + l + 280 = 6*l. Let j = v - 56. Is j a multiple of 2?
True
Suppose -4*n + l = 468, 2*l + 122 = -n + l. Let p = n + 222. Is 21 a factor of p?
False
Let g = 535 + 4. Suppose 0 = 6*o - g - 871. Is 40 a factor of o?
False
Suppose -737 = -5*x + 2*k - 0*k, -4*k = -4*x + 592. Let i = x - -1. Is i a multiple of 11?
False
Suppose -5*a = -4*t + 3 + 37, 0 = 2*t + 4*a - 20. Is 5 a factor of t/(-4)*1*-2?
True
Let f be -2*(-3)/3 - (-5)/(-5). Is 13 a factor of 2*((-26)/(-8))/f*22?
True
Suppose 23*k = 24*k - 395. Suppose 4*x - k = 829. Does 18 divide x?
True
Let z be 127*(1 + -2) - 4. Is z/(-7) - (-4)/14 a multiple of 19?
True
Let m = 2234 + -1147. Is 8 a factor of m?
False
Suppose -11*x + 2*x - 306 = 0. Let o = x + 72. Does 18 divide o?
False
Let g be -9*(357/9)/7. Suppose 1 + 3 = -4*t. Let u = t - g. Does 25 divide u?
True
Suppose 0 = -3*p + p + 290. Suppose 0 = 2*d + 41 - p. Is d a multiple of 4?
True
Suppose 93*q = -2*k + 90*q + 1763, -3571 = -4*k + 3*q. Does 13 divide k?
False
Let w(r) = -r + 4. Let j(t) = -t + 1. Let n be j(-5). Let a be w(n). Let l = 78 - a. Is 24 a factor of l?
False
Let g = -25 + 28. Suppose 5*t - 2*h - 115 = 0, -5*t = -g*h - 42 - 78. Suppose -3*y + 3*a + t = -a, -3*a = 2*y - 14. Is y a multiple of 7?
True
Let s(p) = p**2 - 8*p - 6. Let z be s(10). Let b = z - 9. Suppose a + 0*a - 3*m - 60 = 0, 3*a - 124 = -b*m. Is a a multiple of 10?
False
Suppose r - 2*v = 664, 5*r + 5*v = 977 + 2358. Does 37 divide r?
True
Let o be ((-36)/(-3))/4 + 0. Suppose -5*z = 5*q - 100, o*z = 2*q + 3*q - 84. Does 8 divide 284/q + (-4)/(-18)?
True
Suppose 2597 = 4*t - 5*q, 2*t - 2*q - 1298 = -0*t. Does 12 divide t?
True
Suppose 0 = -5*h - 3*v + 34, 0*h + v - 18 = -3*h. Suppose 2*c - 2 = 0, -h*c = 2*o - 7*o + 710. Does 12 divide o?
False
Suppose -13680 = 31*j - 46*j. Is j a multiple of 48?
True
Let u(i) = -i**2 + 7*i - 2. Let n be u(6). Suppose -x + 121 = n*d, 2*d + 4*x = 5*d - 105. Does 9 divide (-1)/2 - d/(-2)?
False
Let g = 338 - 282. Is g a multiple of 14?
True
Suppose 0*u + u + 2*m = 30, 3*u - 5*m - 145 = 0. Let l = -1 + u. Is 3 a factor of l?
True
Let c be 5/20 + (-38)/(-8). Suppose 81 = c*u + f, 4*f - 84 = 3*u - 8*u. Is u a multiple of 8?
True
Let k = -93 - -93. Suppose -r = 3*t - k*t - 243, 5*r = -4*t + 1204. Is 15 a factor of r?
True
Let f be (-1704)/(-14) - (150/(-35) - -4). Let t = f + -64. Is 8 a factor of t?
False
Suppose 24*t - 1950 = -15*t. Does 5 divide t?
True
Let o = 776 + -154. Is 22 a factor of o?
False
Suppose 14 = -a - 2. Let u be (2/4)/((-4)/a). Suppose u*q + 27 = 5*q. Does 9 divide q?
True
Suppose -5*i + 0*i = -140. Suppose -4*n = -4*m - n + i, 5*m - 4 = -4*n. Suppose -v = -m*v + 108. Is v a multiple of 9?
True
Let u = 168 - -1890. Does 49 divide u?
True
Suppose 0 = 7*y - 8413 - 470. Is 27 a factor of y?
True
Suppose 0 = -f + 830 - 444. Is f a multiple of 67?
False
Suppose -5*y + 83 + 56 = -3*w, -2*w - 3*y = 80. Let v = 31 + -56. Let j = v - w. Is j a multiple of 5?
False
Does 12 divide -4*((-11)/(-44) + 849/(-12))?
False
Let o(g) = -2*g**3 + g + 7. Does 21 divide o(-2)?
True
Suppose -5*s + 18 = -2*s. Suppose 4*d + s = 3*q, -4*q - d = 2*d + 17. Is ((-55)/20)/(q/16) a multiple of 3?
False
Let s be ((-20)/30)/(2/(-15)). Let x(j) = -j**3 + 4*j**2 + 2*j + 5. Let z be x(5). Is ((-30)/4)/(s/z) a multiple of 3?
True
Suppose q - 824 = -4*r, -5*r - 4*q + 1238 - 197 = 0. Let m = 296 - r. Is 18 a factor of m?
False
Let y = -3565 + 5122. Is y a multiple of 12?
False
Let t(u) = -2*u - 15. Let g be t(11). Let s = -24 - g. Is s a multiple of 13?
True
Let p(w) be the third derivative of -w**4/4 + 13*w**3/3 + 8*w**2. Does 14 divide p(-12)?
True
Suppose -20 = 7*p + 778. Let j = -68 - p. Does 19 divide j?
False
Let o = -32 - -75. Suppose -2*d + 2*z = 56, 2*z + 4 = 6*z. Let v = d + o. Does 16 divide v?
True
Let m(d) = 12*d - 36. Is m(10) a multiple of 42?
True
Let j = 38 + -35. Suppose -2*f - 8 = -4*u - 176, -2*f = j*u - 140. Does 12 divide f?
False
Let y = 90 + -383. Let d = -77 - y. Is ((-4)/6)/((-9)/d) a multiple of 16?
True
Suppose 3*s - 18 = -n - 3*n, 2*n = 3*s - 36. Suppose 4*i - 86 = s. Does 4 divide i?
True
Let j = 299 + -156. Let l = 146 - 222. Let i = j + l. Is 13 a factor of i?
False
Let k = -24 - -27. Let i(d) = -d**3 + 4*d**2 - 3*d + 3. Is 3 a factor of i(k)?
True
Let n be (-2 + 3)*(4 - -3). Let s = n - 5. Suppose -w = 5 - 1, 0 = 2*p - s*w - 16. Is 4 a factor of p?
True
Is (-7 + -7)/((-3)/81) a multiple of 7?
True
Let j(o) = o**3 + 9*o**2 - 4*o - 10. Let t be j(-9). Let c = t - 19. Let u = -1 + c. Is 2 a factor of u?
True
Let z(y) be the third derivative of 0*y - 1/120*y**6 - 1/30*y**5 + 0 - 7/6*y**3 - 2*y**2 + 1/4*y**4. Is z(-6) a multiple of 26?
False
Suppose -17*v = -1068 - 921. Is 9 a factor of v?
True
Let x(l) = -33*l + 36. Let z be x(4). Let i = z - -126. Is 4 a factor of i?
False
Suppose 3*i - 2*i = 7. Suppose 14*y = i*y + 1603. Does 25 divide y?
False
Suppose -l = 2*x + 1 - 39, 0 = l - x - 41. Let i = -1 - -3. Suppose -4*y = 2*o - l, y = 2*o + i*o - 8. Is y a multiple of 4?
True
Let b(w) = 14*w**3 - 8*w**2 - 6*w + 11. Is b(5) a multiple of 8?
False
Let w = 110 + -298. Let g = w + 275. Is 29 a factor of g*(-2 + -1 - -4)?
True
Let m be (2/6)/((-5)/45). Is (-183)/m + 0 + -1 a multiple of 15?
True
Suppose -4*c = w + c - 25, 0 = -2*c + 10. Let j(x) = -x**2 - 2. Let 