33. Let n = -18 - z. Is n a multiple of 2?
True
Let s = -23 + 19. Let m(g) = 9*g**2 - 10*g. Is m(s) a multiple of 46?
True
Let a(w) = 124*w + 15. Is 9 a factor of a(3)?
True
Let o be 9/(-6)*(-24)/9. Suppose -876 = -10*w + o*w. Is w a multiple of 16?
False
Suppose 4*m + 80 = 4*g, 2 + 23 = 5*m. Let p = -22 + g. Is 15 a factor of p - (-1 + 188/(-2))?
False
Let h = -23 + 17. Let k be -2 - 4/h*-3. Is (12*2)/(5 + k) a multiple of 6?
True
Let w(p) = -p**3 + 10*p**2 - 9*p + 3. Let y be w(9). Suppose 6*t - 78 = y*t. Is 4 a factor of t?
False
Let v be (-2 + -1)*8/(-6). Let l(c) = 6*c - 8. Let r be l(v). Suppose -w - 2*g - g = -r, -47 = -4*w + 5*g. Does 3 divide w?
False
Suppose q - 9 = -4*k + 4, -3*q + 4*k + 7 = 0. Let u = -2 + q. Is 15 a factor of ((-3)/u)/((-1)/60)?
True
Suppose -5*k = 3*u + 6, -10 = 2*k + 5*u - 0. Suppose -v - v + 64 = k. Is v a multiple of 8?
True
Suppose -m + 198 = -1306. Does 94 divide m?
True
Let w(a) = -a**3 - 5*a**2 - a - 4. Let u be w(-5). Let p(x) = 4*x**3 - x**2 + x - 1. Let o be p(u). Suppose o*n = -2*n + 140. Is n a multiple of 14?
True
Suppose -6*t = -0*t - 972. Is t a multiple of 3?
True
Let j = -970 - -1930. Is 8 a factor of j?
True
Let b(q) be the third derivative of q**5/60 + 5*q**4/12 - 4*q**3/3 + 30*q**2. Is 24 a factor of b(4)?
True
Suppose 2*c - 1184 = -4*i, 3*i + 7*c = 2*c + 902. Is 21 a factor of i?
True
Suppose -v + 3 + 0 = 0. Suppose v*p - 3 = 4*i - 4, 0 = 2*p - 10. Suppose -4*f + 5*w = -270, -175 = -2*f + i*w - 43. Is f a multiple of 10?
True
Let m = -22 + 35. Suppose -52*h + 24 = -50*h. Suppose -q + h = -m. Does 5 divide q?
True
Let n(h) = -h**3 + 2*h**2 - 6*h + 320. Is n(0) a multiple of 32?
True
Let f = 65 + -60. Suppose -q + 34 = -f*i, -2*q + 16 = i + 2*i. Does 6 divide q?
False
Let d = 648 + -512. Is d a multiple of 17?
True
Is (18 + -5)*(37 + 0) a multiple of 13?
True
Let t = 14 - 9. Suppose -t*i + 4 = 4*x + 1, x - 6 = -3*i. Suppose i*w = 2*w + 10. Does 6 divide w?
False
Let z(j) = -6*j - 10. Let p be z(-3). Suppose p*t + 28 = 12*t. Does 2 divide t?
False
Does 14 divide 88680/(-24)*1/(-5)?
False
Let m(n) = n**3 - 5*n**2 - 6*n + 5. Let a be m(6). Suppose 8 = a*u - 157. Does 28 divide u?
False
Let w be 2322/(-12)*4/(-6). Suppose 3*b - 396 = -w. Does 13 divide b?
False
Suppose -3*s = 2*p - 59, 91 = 4*p - 8*s + 5*s. Let z be ((-4)/5)/((-4)/40). Suppose -p = -z*w + 3*w, 2*w = r - 15. Is r a multiple of 13?
False
Let s be (-2)/6 - 528/9. Let f = s + 86. Is f a multiple of 4?
False
Let k(r) = r**2 - 8*r - 4. Let t be (9/(-6))/((-6)/(-12)). Is 29 a factor of k(t)?
True
Suppose -43 = -3*a + 44. Let k be 2/8 - a/4. Is 11 a factor of k + 6 + 26/2?
False
Let v(i) = -i**3 + 5*i**2 + 7*i + 8. Suppose -2 = -2*b + 2*m + 18, 0 = -2*m - 8. Is v(b) a multiple of 4?
False
Let l(p) be the first derivative of p**3 - 29*p**2/2 - 11*p + 27. Does 17 divide l(13)?
True
Let m(b) = -5*b**2 + 9*b + 26. Let j be m(6). Let p = j - -169. Does 3 divide p?
True
Let n(v) = v - 2. Let y be n(-4). Let f = y - -9. Suppose f - 33 = -g. Is 15 a factor of g?
True
Let u = -655 + 757. Is 2 a factor of u?
True
Is 39 a factor of 118 - 6/(-6 - -12)?
True
Suppose 35*w - 41348 - 12482 = 0. Is 164 a factor of w?
False
Suppose -4*g + 480 = -4*y, g = 2*g + 4*y - 115. Is g a multiple of 19?
False
Does 8 divide (3 - 0)/18 - (-1796)/24?
False
Let d(r) = 0*r + 43 - r**3 - 7*r + 5*r + r**2. Is d(0) a multiple of 9?
False
Let x(f) = 32*f - 95. Is x(13) a multiple of 33?
False
Let i(v) = 2*v**2 + 128. Is i(15) a multiple of 6?
False
Let d = 35 + -5. Let s = -16 + d. Suppose m = -x + 14, m + 2*x + s = 2*m. Is m a multiple of 14?
True
Does 12 divide -2 + 9514/8 - (-51)/68?
True
Let j = 377 + -160. Suppose 0 = -4*o - 5*x + 629, 2*o + j - 524 = 5*x. Does 33 divide o?
False
Suppose -2573 = -18*c + 7075. Does 8 divide c?
True
Is 20 a factor of (-49)/28 + (-3847)/(-4)?
True
Let f(j) = 6*j. Let s be f(1). Let p(d) = -d**3 + 5*d**2 + 7*d - 7. Let l be p(s). Does 6 divide -2 + l + 17 + -2?
True
Suppose 165*c = 164*c + 198. Does 68 divide c?
False
Suppose 2*n - 26*i = -21*i + 6096, 0 = -2*n - 5*i + 6096. Is n a multiple of 20?
False
Let k(g) = 36*g - 135. Is k(6) even?
False
Let k = 5168 - 3628. Is 11 a factor of k?
True
Suppose 0 = 4*l + 7 - 43. Let q(h) = -h**3 + 7*h**2 + 28*h - 18. Is q(l) a multiple of 9?
True
Let q = 1073 + -379. Is q a multiple of 10?
False
Let l = -14 + 11. Let g(i) = -9*i - 3. Let m be g(l). Let q = -17 + m. Does 2 divide q?
False
Suppose -4*v + 604 = -56. Suppose -2*k = -8, 2*k = 5*c - v - 242. Is c a multiple of 21?
False
Let r be 1*-6*125/(-10). Suppose -2*b + 7*b - r = 0. Let i = b - 12. Is i even?
False
Let p = -449 - -738. Does 54 divide p?
False
Let o = 18 + -16. Is 6 a factor of (25 - 1)*3/o?
True
Let a(j) = -j**2 - 3*j + 12. Let i be a(-5). Suppose 6 = -4*v + i*v. Let r(p) = -11*p - 7. Is 13 a factor of r(v)?
True
Let n(p) = p**3 + 23*p**2 + 53*p + 287. Is 6 a factor of n(-19)?
False
Suppose 5*o + 19 = -4*a + 69, -3*o + 69 = 5*a. Let c = -538 + 532. Let h = c + a. Is h a multiple of 3?
True
Let z = 5986 - 3886. Is 84 a factor of z?
True
Let u = 1662 + -654. Is 21 a factor of u?
True
Let s = -137 - -300. Does 4 divide s?
False
Let t(k) = -10*k**3 + 2*k**2 - 1. Let q be t(1). Let j = 15 - q. Is j a multiple of 8?
True
Suppose v + 4*v - 195 = 0. Suppose -51 = -2*a + v. Let c = a - 5. Is c a multiple of 10?
True
Suppose 6*t - t + 15 = 0, -t = -v + 3. Let j(d) = d**3 + d**2 - 2*d + 52. Does 13 divide j(v)?
True
Suppose 0 = 5*u - 5*o + 35, -5*o - 26 - 11 = 3*u. Let d = 13 + u. Suppose 3*c - d*c = -11. Does 11 divide c?
True
Let l(s) = s**2 + 7*s - 8. Let t be l(-8). Let g(u) = u + 248. Let m be g(t). Suppose -5*b = 2*z - m, 0*z = 3*b + 3*z - 156. Is b a multiple of 19?
False
Let d = -3 + -11. Is (-3417)/(-119) - 4/d a multiple of 6?
False
Let t(n) = -11*n + 41 + 40*n - 35. Is 25 a factor of t(5)?
False
Is 6 a factor of (81 - 2) + (-3)/(-9)*15?
True
Suppose -x + 221 = -103. Is 18 a factor of x?
True
Suppose -5*r - 27 = -2*q - 2*r, 0 = -2*r - 10. Let f(x) = -x**3 + 6*x**2 + 6*x - 12. Is 3 a factor of f(q)?
True
Let k(f) = -f**3 - 12*f**2 - f - 10. Let s be k(-12). Suppose 0 = -2*b - 3*p + 21, -s*b - p = -b - 9. Suppose b*v - 92 = 2*v. Is v a multiple of 13?
False
Suppose t = -0*t + 13. Let a(r) = -r**3 - 11*r**2 + 2*r + 27. Let x be a(-11). Suppose 2*w - x = t. Is 3 a factor of w?
True
Let k be (-3)/3*-10*-6. Let b = 104 + k. Is b a multiple of 12?
False
Let w(x) = 1 + x**3 + 5*x**2 - 3*x**2 + 12*x**2 + 5*x. Is 35 a factor of w(-13)?
True
Let s(h) be the second derivative of -h**5/10 + h**3/6 + h**2/2 - h. Let v be s(-1). Suppose z + 4*k = -6, k + v = -1. Is z a multiple of 2?
True
Suppose -9*v = -28 + 1. Suppose v*c + 4*j = 182, -4*c + 240 = -0*j + 4*j. Does 58 divide c?
True
Let o(j) = j**2 + j + 9. Let c be o(0). Let y = c - 8. Suppose h - y = 32. Is h a multiple of 11?
True
Let c be -1 - 5*(0 + -1). Let n = -114 + 128. Suppose m - c*o - 7 = 0, 2*m + o + 2*o = n. Is 7 a factor of m?
True
Let x(i) = -i**3 + 7*i**2 - 4*i - 5. Let r be x(4). Does 15 divide r + 0/(-4) + 3?
True
Let h(y) be the first derivative of 19*y**2 + y - 13. Is h(3) a multiple of 28?
False
Suppose 17*b - 5894 = -811. Is b a multiple of 13?
True
Suppose 5*v + 25 = -5*c, -v - 2*v + c + 5 = 0. Suppose -a - p = -8, 2*a + v*a = -3*p + 14. Is a a multiple of 10?
True
Let k = 14 - -32. Let s = 121 - k. Is 19 a factor of s?
False
Let d = 561 + -416. Does 5 divide d?
True
Suppose 28*g = 32*g + 784. Let d = -106 - g. Does 30 divide d?
True
Suppose -62*u = -69*u + 686. Is 49 a factor of u?
True
Let v(x) be the second derivative of x**4/12 + 11*x**3/6 - 16*x**2 - 29*x. Is v(-20) a multiple of 38?
False
Let c = -2261 + 3419. Does 27 divide c?
False
Let x = 12 + 21. Let o = 40 - 13. Suppose x + o = 5*j. Does 12 divide j?
True
Let c(v) = v**2 + 19*v + 73. Is c(-14) even?
False
Let s = 122 + -124. Is 30 a factor of -3*s/(-18) + 670/3?
False
Suppose 4*b - 8 = 3*f - 0*b, 4*f = 3*b - 6. Suppose f = 4*v + v. Suppose 4*a + a - 85 = v. Is 5 a factor of a?
False
Let j = 22 + -16. Does 5 divide (9/j)/(24/160)?
True
Suppose 9*l - 5*l - 372 = 0. Let y = 262 - l. Does 21 divide y?
False
Let i = -9 + 32. Let g = i + -5. Is 7 a factor of 70/(-15)*g/(-4)?
True
Let d be (-738)/(-9) + 0/3. Let c = d 