oes 8 divide k?
True
Let g(m) = 94*m + 338. Is 7 a factor of g(9)?
False
Let a be 44/8 + (-1)/(-2). Let d be (-100)/(-8) - a/(-4). Suppose -t - 2 = -d. Is t a multiple of 5?
False
Let i(n) = n**2 + 11*n + 3. Let h be (-1)/4 + 35/(-4). Let r be i(h). Let f = 31 + r. Is f a multiple of 4?
True
Suppose -13*m + 2806 = -3057. Is m a multiple of 11?
True
Let k(y) = y**3 - 21*y**2 + 21*y + 28. Let q be 16 - (-2 - 0 - (8 - 6)). Does 5 divide k(q)?
False
Let h(j) = 3*j**3. Let u be h(1). Suppose 5*q = -2*v + 2, 20 = -5*v - u*q - 13. Does 6 divide ((-18)/8)/(v/120)?
True
Suppose -4 = -3*x + 2. Suppose x*l = t + 18, -l + 1 + 50 = -4*t. Is 24 a factor of t/4 + (-75)/(-1)?
True
Let y(m) = -5*m**3 + 14. Let u(x) = -4*x**3 + x**2 - x + 13. Let w(p) = -4*u(p) + 3*y(p). Is 17 a factor of w(5)?
False
Let n(h) = -h**3 - 7*h**2 - 4*h - 3. Let t be n(-7). Let w be (-5)/(-2)*(-20)/t. Is -2 + 15 + w + 2 a multiple of 5?
False
Suppose -2*t + 36 = 3*p, 36 = 4*t + 3*p - 30. Suppose -16 = -17*j + t*j. Is 8 a factor of j?
True
Let i = 292 + 254. Is i a multiple of 26?
True
Suppose 0 = 2*b - 7*b + 3*n + 7212, 2*b - n = 2884. Does 60 divide b?
True
Suppose -y + 160 = 4*y. Let n = y + 57. Is 17 a factor of n?
False
Suppose -233 = -2*j - 5*n, 2*n = j + 4*j - 626. Let z = j - 1. Suppose -237 - z = -5*i. Is i a multiple of 24?
True
Let z(q) = -10*q - 5. Let i(r) = 2*r**2 + 11*r + 4. Let s be i(-5). Let j be s/((-3)/(-18)) - -2. Is 6 a factor of z(j)?
False
Suppose -h - 3*h + 4 = 0. Let f = 3 - h. Suppose 3*c - 85 = f. Is c a multiple of 7?
False
Let t be 17/5 + (-8)/20. Suppose -13 = -t*d - 2*h - 0, 3*d + 2 = h. Is 3 a factor of (-3 - (-36)/3)*d?
True
Let m(p) = -p**3 - 7*p**2 + 13*p + 4. Let x be m(-9). Let k = x - -23. Is k a multiple of 18?
True
Suppose 7*i - 5*i + 1215 = b, 5*b - 6145 = -4*i. Is 5 a factor of b?
True
Let p be 16/(-72) - (-706)/18. Suppose -4*b - p = -3*z - 2*b, -5*z + b + 72 = 0. Suppose -2*v + z = -9. Is 4 a factor of v?
True
Suppose -166 = 14*p - 12*p. Let j = 94 + p. Is j even?
False
Let z = 5974 - 3384. Is 14 a factor of z?
True
Let p be (-5)/(25/20) + 9. Suppose 0 = 6*z - p*z - 32. Is z a multiple of 8?
True
Suppose k = 3*x - 0*x + 54, 2*k - 108 = -2*x. Does 20 divide k?
False
Suppose 20*b - 396 = 16*b. Suppose b = 5*k + 34. Is k a multiple of 2?
False
Let k(i) = -4*i + 7. Let w be k(3). Let c = -9 + w. Is 7 a factor of 1/(-2) + (-399)/c?
True
Suppose 0 = -13*j + 7*j + 1998. Suppose -r = 2*r - j. Is 37 a factor of r?
True
Suppose p + 4 = 7. Suppose -2*m + 2*s - p = -5, 2*m - 4*s + 6 = 0. Suppose -r - 5*v - 1 + 15 = 0, -m*r + 130 = -5*v. Does 8 divide r?
True
Suppose -2*i - 124 = -4*j - 5*i, i - 31 = -j. Suppose -s - 5*b = -0*s - j, 5*b - 124 = -4*s. Suppose -s = -3*n + 5. Is n a multiple of 3?
True
Let f be ((-24)/(-18))/(1/3). Suppose -3*v = 4*c - 169, 0 = 2*v - v - f*c - 67. Does 22 divide v?
False
Let j be (-1898)/(-4) - (-13)/(-26). Suppose 0 = 13*i - 7*i - j. Is 4 a factor of i?
False
Let r be -4 + 1 - (0 + -48). Is (-48)/(-20)*r/6*4 a multiple of 6?
True
Suppose j = 10 + 4. Suppose j = -u - u. Let f(m) = -5*m - 12. Is f(u) a multiple of 9?
False
Let l(t) be the second derivative of -t**3/6 + 8*t**2 + 20*t. Does 10 divide l(-15)?
False
Suppose 4*t = -4*l + 9748, -4*t - 19*l + 23*l = -9788. Does 22 divide t?
True
Let t(z) = 2*z**2 - z - 1. Let y be t(2). Suppose -161 = -2*r - 3*r + 3*v, -y*v - 103 = -3*r. Is 5 a factor of r?
False
Suppose 4*v - 19 - 34 = -5*x, 2*x + 18 = 4*v. Let r(f) = f - 3. Let d be r(v). Suppose 5*p = d*a - 58 - 72, -5*a = -5*p - 165. Does 8 divide a?
False
Suppose -6*s - 5*y = -4*s - 2232, -3*y = 2*s - 2240. Does 51 divide s?
False
Let v(g) = -3*g**2 - 3*g + 5. Let u(s) = s**2 + s - 2. Let p(q) = -5*u(q) - 3*v(q). Let m be p(4). Does 7 divide (98/10)/(15/m)?
True
Let i be 3 - (7*-4 - -1). Suppose -i = b - 6*b. Is 6 a factor of b?
True
Let k be 6/(-18) - (-3648)/9. Let d = k - 206. Does 12 divide d?
False
Let t be -142*(3 + 2 + -4). Let d = t + 283. Let s = d + -95. Is 25 a factor of s?
False
Is 6*((-85)/(-10) - -4) a multiple of 3?
True
Suppose -5*h - 150 - 185 = 0. Let b = 102 + h. Suppose 0 - b = -5*u. Is u even?
False
Suppose 0 = -0*d + 3*d + 621. Let c be 1*5/((-15)/d). Suppose -c - 83 = -4*v. Is 11 a factor of v?
False
Suppose v = -4*l - l + 411, 5*v = 3*l - 269. Let m(g) = g**3 + 9*g**2 + 11*g + 10. Let x be m(-7). Suppose 3*p = x + l. Does 8 divide p?
False
Let j = 32 - 36. Let v(t) = -3*t + 11. Is v(j) a multiple of 9?
False
Suppose -2*u - 6814 = -91*j + 89*j, -2*j - 5*u = -6793. Is 159 a factor of j?
False
Suppose 3 = z + 6. Let w be (z + 62/(-6))*-3. Suppose -2*p + w = 2*i, 5*i + 125 = -3*p + 7*p. Does 11 divide p?
False
Let k be 20 - (5 + -3) - 0. Let u = k + 59. Is 16 a factor of u?
False
Suppose 5*x + 108 = 2*v + 34, -93 = -3*v + 3*x. Let y = 27 - v. Suppose y = 2*j - 218 - 12. Does 25 divide j?
False
Let x(o) = -o**2 - 18*o + 21. Let f(k) = -3*k**2 - 54*k + 63. Let z(r) = 6*f(r) - 17*x(r). Does 11 divide z(-14)?
True
Let v be (-138)/(-33) + (-2)/11. Suppose 13 = -5*n + v*y, n - 3*y = -0*n - 7. Is -1 + (n - -3) - -35 a multiple of 12?
True
Suppose -10584 = -164*y + 150*y. Does 12 divide y?
True
Let x(f) = -f**2 - 1. Let v(p) = 17*p**2 + p + 2. Let j(y) = v(y) + 4*x(y). Does 13 divide j(2)?
True
Let j = -11 - -17. Let t = j + 2. Suppose t*b = 5*b + 150. Does 25 divide b?
True
Let k(u) = -u**3 + 8*u**2 + 3*u - 5. Let r(f) = -1. Suppose j = -2*j + 3. Let l(i) = j*k(i) - r(i). Is l(8) a multiple of 5?
True
Let h = 23 - 7. Let q(f) = -f**3 + 3*f + 5 - h + 8 + 4*f**2. Is q(-3) a multiple of 11?
False
Suppose -3*a = -5273 - 7351. Does 105 divide a?
False
Suppose 67*p = 4*p + 131544. Is p a multiple of 8?
True
Let j(y) = y**3 - y + 4. Let w be j(0). Is 12 a factor of (w - -2)*4*1?
True
Let h(m) = -2*m**3 - 3*m**2 - m + 3. Let l = -16 + 23. Suppose 0 = -5*c - 8 - l. Does 11 divide h(c)?
True
Let o be 100/6*36/10. Suppose 0 = -r - o + 95. Is 5 a factor of r?
True
Let p = 797 + -533. Is p a multiple of 17?
False
Suppose 2*l + 139 = 7*l + 4*w, -5*l + 138 = 3*w. Suppose 0 = -5*p + 78 + l. Is 11 a factor of p?
False
Suppose 5*s - 251 = v, -s + 4*v - 46 = -2*s. Let u = -96 + 60. Let c = s + u. Is c a multiple of 4?
False
Is -67 - -61 - 1219*-1 a multiple of 18?
False
Let m be (6 - 1) + 514 - -2. Suppose 4*q - 108 = -v + q, 4*q = 5*v - m. Is 21 a factor of v?
True
Let r = 568 + -532. Suppose -9 = -2*d + 5. Suppose d*y - 10*y + r = 0. Is 5 a factor of y?
False
Let l be (-264)/1*26/39. Let f = l + 252. Does 27 divide f?
False
Suppose z - 6 + 0 = 0. Let d(v) = 6*v - z*v + 2 + 8*v**2 + v. Is d(2) a multiple of 16?
False
Let m(y) = -y. Let q(w) = w + 1. Let c(v) = -m(v) + 4*q(v). Does 5 divide c(7)?
False
Is 19 a factor of 7 + -3 - (-322 + 3)?
True
Let s(l) = -l**3 + l**2 + 4*l + 5. Let a be s(-2). Does 5 divide (-2)/a - (-2219)/63?
True
Let m(l) be the second derivative of 0 - 2/3*l**4 + 1/20*l**5 - 9*l + 11/6*l**3 - 5/2*l**2. Is m(7) a multiple of 10?
False
Let c(q) = 49*q**2 - q - 2. Let j be c(-3). Suppose 4*v - 82 = -i, -8*i + 3*i - 4*v + j = 0. Suppose 2*n - i = -3*n. Is n a multiple of 17?
False
Suppose -4*h + 9*h - 10 = 0. Suppose -r = y + 4*r - 23, 4*y - 70 = h*r. Does 5 divide y?
False
Let o = 76 - 148. Let y = 15 - o. Is 40 a factor of y?
False
Let i(w) = w**3 + 12*w**2 + 6. Let k be i(-12). Suppose -2*x = 4*f + 16, -k*x = 4*f - 5*x + 20. Is (-2)/3 - 358/f a multiple of 28?
False
Let r be (-2)/(-9) + 3/((-216)/(-992)). Let t = -54 - -80. Suppose v - 40 = -2*q, q + r + t = v. Is v a multiple of 8?
True
Suppose -i + 130 = -4*x, -6*x - 4 = -2*x. Suppose -i*r = -121*r - 40. Is 2 a factor of r?
True
Let c(x) = x**3 - 12*x**2 + x - 12. Let g be c(12). Suppose g*f + 4*f - 552 = 0. Suppose 3*o = -5*t + f + 156, 2*o = 4*t - 222. Does 19 divide t?
True
Let z = -4 - -4. Suppose z*f - 2*f - 4*p = -68, 0 = 5*p - 25. Suppose -4*y + 0*y = -f. Is 3 a factor of y?
True
Let d(v) = v**3 - 8*v**2 + 78*v - 6. Does 41 divide d(6)?
False
Let n(z) be the second derivative of z**8/6720 + z**6/360 - z**5/120 + z**4/3 + 6*z. Let y(b) be the third derivative of n(b). Is y(2) a multiple of 9?
False
Let p = 235 + -388. Let c = -104 - p. Does 13 divide c?
False
Let d(f) be the third derivative of 0*f**4 + 0*f + 6*f**2 + 5/2*f**3 + 0 - 1/60*f**5. Is