= 8*k. Does 3 divide k?
True
Let l = -22 + 18. Let z be 45/12 - 1/l. Suppose z*y - 201 = 163. Is y a multiple of 24?
False
Let z(n) = 7*n**2 - 12*n + 37. Is 14 a factor of z(12)?
False
Let h(l) = -l**2 + 7*l + 32. Let g be h(10). Suppose -x = -5*n + g*x + 747, 0 = 5*n - 4*x - 746. Does 25 divide n?
True
Suppose 533 - 6588 = -7*s. Suppose -5*c = -3*z + 553, -z - 4*z - 3*c = -s. Does 22 divide z?
True
Let m be (((-176)/6)/(-4))/((-4)/(-6)). Suppose 4*b = m*b - 1897. Does 29 divide b?
False
Let h = -201 - -168. Let y = 192 + -105. Let x = h + y. Is x a multiple of 15?
False
Let q = 1806 - 998. Is q a multiple of 44?
False
Suppose -2*b = b + 3. Suppose x - 3*g + 19 = 2*g, 5*x + 7 = 3*g. Does 3 divide -6*(-2 + x + b)?
True
Suppose -y + 0*v = 4*v - 1, 0 = 2*y - 4*v + 46. Let i = 0 - y. Is 3 a factor of i?
True
Suppose -5*p + 74256 = 23*p. Is p a multiple of 13?
True
Let d(a) = a**3 - 4*a**2 - a - 3. Let m be d(4). Is 5 a factor of (0 + -1)*(-19 - m)?
False
Let s be (-60)/((-8)/(-2)) - (-6)/(-2). Let i = s - -43. Is 5 a factor of i?
True
Let p(k) = -k**2 - 36*k - 47. Is 12 a factor of p(-29)?
True
Let z(n) = -30*n**3 + 10*n**2 + 24*n + 27. Does 14 divide z(-4)?
False
Let a be -2 - 3*(-4)/6. Suppose a = w - 6 - 3. Suppose -27 = -3*u + w. Is u a multiple of 6?
True
Let o(h) = -h**2 - 49*h - 11. Does 21 divide o(-35)?
False
Suppose 0 = -u - 3*g - 13, u - 3*g = 2*g + 27. Suppose 0 = -d - u*d. Suppose 0 = -d*h - 2*h + 114. Is 14 a factor of h?
False
Let z be ((-76)/12)/((-1)/12). Suppose f = 5*f - z. Is f a multiple of 4?
False
Suppose 4*z + 49 - 177 = 0. Suppose -3*w - 1 = -2*w, 0 = 2*i - 3*w - 5. Let d = i + z. Is 5 a factor of d?
False
Let o = -474 - -256. Let p = -119 - o. Is 11 a factor of p?
True
Let y(b) be the second derivative of 1/2*b**4 - b**2 - 1/2*b**3 + 0 - 2*b. Is y(3) a multiple of 8?
False
Let a(o) = o**2 - 17*o + 6. Let u be a(17). Suppose 0 = n + 2*t - 6*t - 46, 4*t - u = -n. Is 13 a factor of n?
True
Let i(b) = -10*b**3 + 7*b**2 + b. Does 55 divide i(-3)?
True
Suppose -4*o = -16, 3*w = 2*o - 177 + 454. Is w a multiple of 9?
False
Let g(z) = -54*z - 37*z + 2*z**2 + 97*z + 2. Suppose u = -0*u - 7. Does 29 divide g(u)?
True
Let k(l) = 5*l - 30. Let n = -57 - -70. Is 13 a factor of k(n)?
False
Let q(f) = 17*f**2 + 7*f + 5. Let w(u) = -17*u**2 - 6*u - 4. Let c(z) = -5*q(z) - 6*w(z). Does 13 divide c(1)?
False
Let x = 31 - 52. Let l = 77 + x. Suppose -304 = -4*k + f - l, -5*k - f = -310. Is 6 a factor of k?
False
Let c = 73 + -23. Suppose 2*i = c + 20. Does 12 divide i?
False
Let a = 140 - 138. Suppose -4*t + 198 = a*t. Is t a multiple of 33?
True
Let v(h) = h**3 + 10*h**2 - 9*h + 10. Let a be v(-11). Let o = -12 - a. Suppose o = 2*y - 31 - 83. Is y a multiple of 19?
True
Let t(r) = r + 15. Let h be t(-15). Suppose b = 5*f + 94, -5*b = -h*f - 3*f - 382. Is b a multiple of 24?
False
Let u(q) = q**3 + 8*q**2 + 6*q + 7. Let w be u(-5). Suppose -3*f + w = -14. Does 6 divide f?
False
Let i be 5*((-8)/(-20) - -1) + -2. Is (-1338)/(-30) + 2/i + -3 a multiple of 14?
True
Suppose 0 = -5*w + 15*n - 12*n + 7006, -1396 = -w - 2*n. Is w a multiple of 56?
True
Let m(a) = 13*a**3 + 2*a**2 - 2*a + 1. Suppose -6*t - 4 = -10*t. Is m(t) a multiple of 5?
False
Let b(q) = -2*q**2 - 3*q. Let n(j) = -j + 1. Let g(m) = -b(m) + 2*n(m). Is 20 a factor of g(6)?
True
Suppose 23 = 2*j + 3*d, -j + 2*d - 4 - 2 = 0. Suppose -2*x - j*s - 6 = 0, -4*x - 3*s = -1 - 7. Suppose 7*q - x*q - 60 = 0. Does 10 divide q?
True
Let a be (-14)/35 - 46/10. Let q be 1/a + (-302)/(-10). Does 29 divide q - ((-3 - -4) + 0)?
True
Let z(c) = -c + 4. Let g be z(2). Suppose -g*r + 256 = -5*w, -2*w = r + 3*r + 112. Let a = 82 + w. Does 30 divide a?
True
Let t = 2378 - 810. Is 16 a factor of t?
True
Let a(c) = c - 3. Let d(h) = 5*h**2 - 2*h. Let y be d(3). Suppose -3*u + 6*u - y = 0. Does 5 divide a(u)?
True
Let l = -43 - -20. Let d(i) = 2*i**2 + 38*i + 26. Is 15 a factor of d(l)?
True
Let k(w) = 17*w**2 - 44*w - 7. Let h(p) = -4*p**2 + 11*p + 2. Let b(m) = 9*h(m) + 2*k(m). Let t(i) be the first derivative of b(i). Is t(-5) a multiple of 10?
False
Suppose -5*n + 193 = 3*f - 12, 4*n + 5*f - 151 = 0. Suppose -n = 48*p - 50*p. Is 2 a factor of p?
True
Suppose 0 = -4*f + 3*i + 1563, 3*f + 63 = 5*i + 1249. Is 10 a factor of f?
False
Does 4 divide (-3)/(-10) + (-8828)/(-40)?
False
Let h = 1156 - 966. Does 14 divide h?
False
Suppose -65*o + 62*o = 5*t - 2106, -4*t = 4*o - 1688. Is t a multiple of 35?
True
Suppose -6*l - 56 = -44. Let k(d) = -10*d**3 - d + 2. Is k(l) a multiple of 21?
True
Let j be -2 + -1*(3 + -46). Suppose 6*c - c + 3*x = j, 0 = -3*c + 2*x + 17. Suppose -c = 4*y - 43. Is 9 a factor of y?
True
Let b = -137 - -210. Let w = 36 + b. Does 9 divide w?
False
Let q be (3/2)/(4/(-8)). Let f = q - -21. Suppose -f*o + 136 = -14*o. Does 25 divide o?
False
Suppose -8*q - p = -5*q - 1599, 5*p = 15. Does 18 divide q?
False
Let p = 13 - -166. Suppose 17 = -5*l + 4*f + p, -4*l + 142 = 3*f. Is 6 a factor of l?
False
Suppose 30 = -5*x + 2*t + 3*t, -2*x - 20 = -4*t. Is 7 a factor of x + 68 - (8 + (-4 - 1))?
True
Suppose -5*u + 3*m + 1150 = 0, u - m = -4*u + 1140. Let k = -125 + u. Is k a multiple of 34?
True
Let b be ((-64)/(-10))/((-44)/(-110)). Suppose -b - 5 = 7*n. Is n + 3 + (-812)/(-7) a multiple of 31?
False
Suppose 0 = -3*j - 2*j + 20. Suppose m - j*g - 158 = -m, 0 = -3*m + g + 257. Is m a multiple of 29?
True
Suppose -z + 2997 = 3*y + z, 2*z = 2*y - 2008. Suppose r = -6*r + y. Does 13 divide r?
True
Let p(n) = 11*n**2 + 15. Is p(-5) a multiple of 11?
False
Suppose -3*r - 5*i = 12 - 58, -23 = -4*r + i. Let s(j) = 8*j**3 + 2*j - 1. Let z be s(1). Does 9 divide (z/1)/(r/7)?
True
Let a(f) = 74*f**2 - 2*f. Let c be a(-2). Suppose -c = -2*i - 2*i. Is i a multiple of 15?
True
Let z be (-3 - -2) + (-10 - 109). Let g = -246 - z. Let u = g + 232. Does 21 divide u?
False
Let z = 158 + -94. Is 3 a factor of z?
False
Suppose -115 - 115 = 5*u. Let o = u - -140. Does 18 divide o?
False
Let v = 22 + 403. Let w = v - 286. Is 20 a factor of w?
False
Suppose 0*v - 2*v + 38 = 0. Let u = v - -71. Does 15 divide u?
True
Suppose 217*b + 5304 = 234*b. Is b a multiple of 7?
False
Let p(b) = b**3 - b**2 + 195. Let g be p(0). Let f = 720 - g. Suppose -18*k - f = -23*k. Is 25 a factor of k?
False
Let k = -651 + 458. Let l = k - -361. Is l a multiple of 14?
True
Suppose -3 + 15 = 3*v. Suppose -v*z = -9*z + 25. Is 27 a factor of 268/z + (-22)/(-55)?
True
Suppose 0 = 2*j - 4*d - 428, -4*d = 34 - 30. Is j a multiple of 53?
True
Let z be (0 - -2) + 2 + -4. Suppose 2*c + 4 - 16 = z. Is 2 a factor of c?
True
Let v = 207 - 177. Is 15 a factor of v?
True
Let r be 1/5 + (-9)/(-5). Let a be 1*7 + r + -6. Suppose a*k - 29 = -2. Does 6 divide k?
False
Let d be 4*(0 - (-61)/4). Suppose 64*q = d*q + 132. Is 18 a factor of q?
False
Suppose -10*h + 5 = -9*h. Suppose -o + h*s + 120 = 0, 3*o - 2*s = 162 + 159. Is o a multiple of 35?
True
Let j(c) = c**2 - 9*c - 2. Let u be j(14). Let y = -60 + u. Is 8 a factor of y?
True
Let z be 48/(4/(-24)*-9). Let x = -2 + z. Is 5 a factor of x?
True
Suppose -4*w + 3*k + 19 = 0, 0*k - 3*k = 4*w + 11. Is 40 a factor of 124 - (8/w + -4)?
True
Suppose j + 1827 = 8*j. Suppose 10*p - j = -21. Is 6 a factor of p?
True
Suppose 10*o = 3*o + 49. Let y(c) = c - 3. Let u be y(o). Suppose u = d - 14. Does 6 divide d?
True
Let p = 348 + 970. Does 113 divide p?
False
Let y be (1 - 3)*3/(-6). Does 17 divide (y/4)/((-8)/(-544))?
True
Suppose -4*w - n + 1036 = 0, -5*w - 11*n + 1308 = -13*n. Does 13 divide w?
True
Let t(j) = 96*j**2. Let x be t(-1). Suppose 16*s + 90 = 14*s. Let k = x + s. Is k a multiple of 20?
False
Suppose 78*b = 64*b + 2408. Does 3 divide b?
False
Suppose 3070 = 5*v - 11*m, -3*m + 6 = -9. Is 57 a factor of v?
False
Let r(t) = 3*t + 2. Let n be r(-6). Let y = n - -15. Let a(q) = -50*q**3. Is a(y) a multiple of 10?
True
Suppose -5*c = 3*x - 32, c - 1 = 4*x - 13. Suppose 15 - 55 = -x*w. Suppose 8*o = w*o - 26. Does 13 divide o?
True
Suppose 65*s + 11034 = 83*s. Is 3 a factor of s?
False
Let r(v) be the third derivative of -37*v**4/24 + 8*v**3/3 + 33*v**2. Is 14 a factor of r(-2)?
False
Let r(n) = n**3 - 6*n**2 + 2*n - 4. Let d be r(6). Let f = d - 4. Suppose -3*k = -15, -4*a + 0*k + f*k + 64 = 0. Is 7 a 