. Let h be k(1). Let t = h - -107. Does 22 divide t?
False
Let m = -186 - -268. Suppose 4 = w - 3*t, 3*w = 8*w - 4*t - 20. Suppose 14 - m = -w*p. Is 12 a factor of p?
False
Let v(h) = 2*h**3 - 7*h**2 + 5*h + 3. Let z(a) = -a**3 - a - 1. Let j(n) = -v(n) - z(n). Is 14 a factor of j(5)?
True
Suppose 117 = 6*k + 9. Does 6 divide k?
True
Let a be 3/2 - 2/4. Let x = 1 + a. Suppose -x*k = -4*k + g + 27, k - 8 = -5*g. Is 5 a factor of k?
False
Let a(n) = -n**3 + 7*n**2 - 2*n - 1. Let t(w) = w**3 - 7*w**2 + 3*w + 1. Let k(f) = 2*a(f) + 3*t(f). Does 12 divide k(7)?
True
Let k = -75 + 50. Let d = k - -27. Is 2 a factor of d?
True
Let c(u) be the second derivative of -u**5/20 - 7*u**4/12 + u**3 - 7*u**2/2 + 2*u. Is c(-8) a multiple of 3?
True
Suppose -3*n = n. Let v = n - 2. Let s(m) = 5*m**2 - m + 1. Is s(v) a multiple of 8?
False
Let d = -72 - -42. Is 13 a factor of (-4)/d + (-1544)/(-120)?
True
Let u be -6*1/(-4)*4. Suppose -10 = l - u*l. Suppose 0 = -l*t - t + 18. Is 3 a factor of t?
True
Suppose -5*x - 6 = -1. Let v be -5 + 6 - (x + -28). Suppose -100 - v = -5*t. Does 13 divide t?
True
Let q = -20 + 13. Let v(n) = -n**3 - 8*n**2 - 8*n + 3. Does 4 divide v(q)?
False
Suppose -4*w + 8*w = 288. Let q = -43 + -7. Let l = q + w. Is l a multiple of 22?
True
Let g(j) = 11*j - 1 - 4*j + 10*j. Does 15 divide g(2)?
False
Let z(t) = t + 8. Let k be z(-8). Suppose -2*v - 2 = k, -67 = -3*c - 7*v + 2*v. Is 12 a factor of c?
True
Suppose d - 1044 = -6*y + 2*y, -5*y - 4*d = -1305. Is 28 a factor of y?
False
Suppose -186 = -3*h + 36. Does 37 divide h?
True
Let b = 1 + 11. Let y = -22 - -49. Let c = y - b. Is c a multiple of 7?
False
Let c(p) = p**3 - 4*p**2 + 3*p + 5. Let y be c(5). Let x = 63 - y. Is x a multiple of 9?
True
Suppose -3*r + 7 = -8. Suppose r*b = 3*k + 28 + 58, -4*b + k + 66 = 0. Is b a multiple of 8?
True
Let o be ((-2)/3)/(2/(-3)). Suppose 4*f - 2*f = -2. Does 8 divide 9*o + (-2 - f)?
True
Let d = -8 - -18. Let b = -119 - -47. Does 3 divide b/(-10) + (-2)/d?
False
Let s be (4 + 2)*2/(-6). Let y be (s - -1) + 24/4. Is 25 a factor of (y/(-10))/((-1)/124)?
False
Suppose -300 = -5*h + 3*v, 0 = -4*h + 2*v - 30 + 272. Does 6 divide h?
False
Let l(v) = -v**2 - 6*v - 3. Let s be l(-7). Let m be (s/4)/((-3)/6). Let x(c) = 3*c - 5. Does 5 divide x(m)?
True
Let a(s) = 3*s**3 - 5*s**2 - 14*s + 10. Is a(6) a multiple of 25?
False
Suppose -4*i - 4 = -g - 3*g, -5*g + 13 = -i. Suppose 0 = 3*w - 2*a - 136, -3*w - g*a - 2*a = -164. Does 16 divide w?
True
Does 21 divide 1197/28 + (-6)/8?
True
Suppose 5*r - 4 = 6. Suppose 12 = -r*g + 68. Is g a multiple of 12?
False
Let o be 639/4 - 1/(-4). Let d = o - 112. Suppose 2*p - d = -p. Is 6 a factor of p?
False
Let j = 9 + -4. Let g(q) be the first derivative of q**2 - 2*q + 1. Is 8 a factor of g(j)?
True
Let b(v) = 13*v**2 - v. Does 14 divide b(-1)?
True
Let h be (0 - 3) + 1 + 0. Does 9 divide (-2)/(-4) + (-45)/h?
False
Let h(c) = 4*c**3 + c**2 - c + 1. Let z be h(1). Suppose -4*f + 13 = -55. Suppose -r = -z - f. Is 11 a factor of r?
True
Suppose -j + 18 = 5*j. Is j a multiple of 3?
True
Let r be ((1 - 1) + -44)*-1. Suppose 5*w - 155 = 5*t, -w + 4*t + r - 10 = 0. Is w a multiple of 15?
True
Let s(h) = h**3 + 3*h - 3. Let p = -4 - -6. Let v = 4 - p. Is 4 a factor of s(v)?
False
Let w = 193 + -84. Does 16 divide w?
False
Suppose -8*r = -3*r - 170. Is r a multiple of 6?
False
Let o(i) = i**2 - i. Let h(z) = -5*z**2 - 4*z - 7. Let g(n) = -h(n) - 4*o(n). Does 13 divide g(-10)?
False
Let j(d) = -7*d. Let h be j(1). Let q = 6 + 0. Let w = q - h. Does 10 divide w?
False
Suppose 14 = -2*o + 242. Does 6 divide o?
True
Suppose d = 2*u - 50, 6 = u - d - 19. Does 7 divide u?
False
Suppose -2*w - 11 = 5*u, -2*w + 0*w = -4*u - 34. Does 6 divide w?
False
Let k = -8 - -14. Is 9 a factor of 142/k + 5/15?
False
Suppose -5*g + i - 9 = 0, 0 = -i - 1. Is ((-56)/(-6))/(g/(-3)) a multiple of 5?
False
Suppose -y - 7*r + 4*r + 90 = 0, 5*y + 2*r - 398 = 0. Does 16 divide y?
False
Suppose -12*s - 38 = -14*s. Is s a multiple of 4?
False
Suppose 8 - 23 = -3*f. Suppose -f*l + 228 = -4*k, 3*l - 128 - 14 = 5*k. Does 22 divide l?
True
Suppose 0 = -2*f - f - 6. Let t(b) = -4*b - 3. Does 3 divide t(f)?
False
Let g = 0 + 5. Suppose 0*b + 5*n = -3*b + 10, -3*n + 6 = g*b. Suppose b = -5*u - 0*u + 150. Is u a multiple of 13?
False
Does 31 divide 20/(-150) - 499*(-24)/45?
False
Suppose 0 = -4*u + u + 12. Let g(z) = z + 2. Let t be g(u). Suppose -t = 3*f - 4*f. Is f a multiple of 3?
True
Suppose 20 = 5*o - 6*o. Let p = 59 + o. Is 17 a factor of p?
False
Let v = 10 - 7. Suppose v*b = i + b - 3, 5*i = -3*b + 15. Is 13 a factor of (-2)/(10/i)*-65?
True
Let v = 14 + 7. Is -7*((-33)/v + -1) a multiple of 5?
False
Suppose 5*l - 4 - 6 = 0. Suppose -3*i + 118 = -2*n, -5*n + 46 + 1 = l*i. Is i a multiple of 18?
True
Suppose -4*w = 2*o - 18, -7*o = 5*w - 3*o - 24. Suppose 4*b - w = -3*h + 4, 0 = -4*h - 2*b + 4. Suppose 55 = -h*m + 5*m. Does 4 divide m?
False
Suppose 9*x - 460 = 4*x. Is x a multiple of 23?
True
Suppose -4*u = 40 - 292. Does 4 divide u?
False
Suppose -4 = -6*h + 4*h. Suppose -10 + 4 = h*x. Let i(t) = -5*t + 3. Is 9 a factor of i(x)?
True
Let x = -141 + -17. Does 16 divide x/(-10) + 1/5?
True
Does 12 divide (-1)/(-5) + (-6821)/(-95)?
True
Suppose 2*a - u + 3 - 9 = 0, 4*a - 24 = -4*u. Suppose -s - a*s + 180 = 0. Is s a multiple of 11?
False
Let u be -2*1 + 21 - -1. Suppose -4*z + 4*a = -u, 4*a + 8 = -0. Does 2 divide z?
False
Suppose 7*j - 2*j = 0. Suppose 5*q + 5*p - 380 = j, -3*p + 372 = 6*q - q. Does 20 divide q?
False
Let r be (-1)/((0 + 2)/(-6)). Let x be (2/(-6))/(r/(-36)). Suppose 0*p + x*p - 112 = 0. Does 14 divide p?
True
Suppose -5 = -5*v, 136 = x + 3*x - 4*v. Is 7 a factor of x?
True
Let a(y) = y**2 - y + 4. Let d(w) be the first derivative of -w**4/4 - 2*w**3 + 4*w**2 + 10*w + 1. Let i be d(-7). Is a(i) a multiple of 6?
False
Let k(f) = -f**2 - 12*f + 13. Let b be 8/12*9/2. Suppose 3*h = 9, h + b = -o - h. Does 20 divide k(o)?
True
Let l = -6 + 4. Is 16 a factor of 90/(-5)*2/l?
False
Let l be (13*(-8)/(-2))/(-1). Let s(r) = 40*r + 2. Let f be s(-2). Let m = l - f. Is m a multiple of 12?
False
Let l = -106 + 128. Does 11 divide l?
True
Let w(c) = -c**2 + 15*c. Does 11 divide w(12)?
False
Let o(m) = 3*m**2 + m**2 - 5*m**2 - 40 + 15 - 14*m. Is 15 a factor of o(-10)?
True
Let s(o) = o**2 + 5*o + 4. Let c be s(-5). Is 14 a factor of 70*c*3/30?
True
Suppose -2*w + 3612 = 2*w. Let s = -1743 + w. Does 15 divide 2/(-11) + s/(-22)?
False
Let b(m) = 4*m**2 + m + 2. Let v be b(-4). Does 20 divide (-2)/(3/(2 - v))?
True
Let v(q) = -2*q + 7. Let w be v(7). Let z = w + 18. Is z a multiple of 11?
True
Let a = 15 + -4. Let c = a - -11. Let h = 2 + c. Is 22 a factor of h?
False
Let s(g) = -47*g - 96. Is 14 a factor of s(-9)?
False
Let i be (1 - 6/(-2)) + -2. Suppose -i*v = -4*v. Suppose 2*o - 5 - 15 = v. Does 5 divide o?
True
Let d = -40 + 50. Is 5 a factor of d?
True
Let t be -1 - 2/4*0. Let r(n) = -92*n + 1. Let q be r(t). Suppose 3*p - 6*p = -q. Does 13 divide p?
False
Does 19 divide (-276)/((-1 + 5)/(-4))?
False
Suppose 0 = -5*r + 6 + 4. Suppose 0 = -2*v - r*v + 72. Let m = -12 + v. Does 5 divide m?
False
Let u(j) = j - 4. Suppose -w + 3*k - 69 = -6*w, w - 9 = k. Is 3 a factor of u(w)?
False
Suppose 506 = 4*g + 102. Let s = g + -45. Let j = 95 - s. Is 10 a factor of j?
False
Let c(s) = 3*s**3 + s**2 + s - 1. Let v = 17 + -12. Suppose 0 = -4*h - 2*m + 6, 2*h + 2 = -v*m + 1. Is 12 a factor of c(h)?
False
Suppose 2*r - 4*r = b - 311, 4*r - 2*b - 642 = 0. Is 27 a factor of r?
False
Is 1 - -1 - (-19 - 0) a multiple of 13?
False
Let k(a) be the second derivative of -a**5/20 - 5*a**4/4 - 7*a**3/3 + 11*a**2/2 + a. Is 5 a factor of k(-14)?
False
Let u be -3 + (-9)/(-6)*2. Suppose 5*h = -u*h + 30. Is 2 a factor of h?
True
Let g be (-66)/(-15) + 2/(-5). Let y(l) = l**3 - 4*l**2 + 4. Let x be y(g). Suppose -x*n = -2*n - 60. Is n a multiple of 15?
True
Let w = 66 - 44. Let x = -24 - -16. Let o = w + x. Does 4 divide o?
False
Suppose -26 = -3*v - 5*d, 5*d = 3*v + 5 + 9. Let q(g) = -5*g**2 + g**2 + 3 + 5*g**v. Is q(-3) a multiple of 9?
False
Let g(w) = -2*w**3 - 4*w**2 - w + 2. Let r be g(-2). Suppose r*l - 143 = h, 5*l + h = 56 + 125. Does 9 divide l?
True
Is (-9)/(255/(-63)