 Does 4 divide a(s)?
False
Let w(f) = -f**3 - 3 + 5*f**2 - 3*f - 4*f**2 + 2*f**2 + 3*f**2. Is w(5) a multiple of 7?
True
Is 13 a factor of (-18*8/12)/(2/(-17))?
False
Suppose 0 = -2*u + 4*s + s + 91, -164 = -4*u + 4*s. Let n = 0 + u. Is n a multiple of 19?
True
Let k = -5 - -5. Suppose 3*w - 28 - 14 = k. Is w a multiple of 5?
False
Suppose 3*z + d = 207, -4*z + 172 + 117 = -3*d. Is 6 a factor of (-3)/4 - z/(-8)?
False
Let y = 378 - 143. Does 37 divide y?
False
Let q(z) = -z + 1. Let x(f) = 4*f - 9. Let w(a) = 5*q(a) + x(a). Let m be w(-4). Suppose 2*r - 3*k = -m*r + 52, -3*r - 5*k = -59. Does 9 divide r?
False
Let q(s) = -3*s**3 - 7*s**2 - 2*s + 2. Is q(-4) a multiple of 20?
False
Let q(v) be the first derivative of 1/2*v**2 - 2 - 5*v. Is q(9) a multiple of 2?
True
Let t(r) = -r**2 + 9*r - 8. Let m be t(7). Let f(n) = n**3 - 6*n**2 + 3*n - 3. Does 5 divide f(m)?
True
Let b = -81 - -122. Is 2 a factor of b?
False
Suppose 12*i - 9*i - 27 = 0. Is i a multiple of 8?
False
Let v = 0 + 0. Suppose v - 5 = -u. Suppose u = b - 0*b. Does 2 divide b?
False
Let q(m) = m**3 - 6*m + 1. Is q(4) a multiple of 15?
False
Let g(h) = h**3 - 5*h**2 - 10*h + 12. Is 7 a factor of g(7)?
False
Let j(g) = -g**3 + 4*g**2 + 6*g + 6. Suppose 5*y - 3*n = 13, 8 + 8 = 4*n. Is 3 a factor of j(y)?
False
Suppose -5*g + 215 + 145 = 0. Is 18 a factor of g?
True
Suppose 3*h - 225 = -0*h. Let w = -45 + h. Is 9 a factor of w?
False
Let p = 213 - 151. Is 13 a factor of p?
False
Suppose -109*s = -105*s - 1360. Is 32 a factor of s?
False
Suppose -c = -z + 155, 0 = 5*z + 4*c + c - 785. Is z a multiple of 12?
True
Suppose 3*i + 3*q - 168 = i, -5*i + 420 = 5*q. Is i a multiple of 12?
True
Let y = 3 + -6. Let i = 25 - y. Is 26 a factor of i?
False
Let q = -40 - -46. Does 2 divide q?
True
Suppose 3*w + 2 = w + 3*b, 4*w - b - 6 = 0. Let n = w - 0. Is 16 a factor of (-1 - 1)*n*-8?
True
Let t(a) = a**3 + 2*a**2 + 6*a + 10. Let f(l) = -l**3 - 3*l**2 - 5*l - 10. Let n(y) = -5*f(y) - 4*t(y). Let r(k) = -k - 2. Let d be r(5). Is n(d) even?
False
Let y = 11 + -3. Is y a multiple of 2?
True
Let n = -2 - -1. Let y = n - -3. Suppose -h + 39 = y*h. Is h a multiple of 6?
False
Let n(s) = s**2 - s**3 + 2*s**3 - 8*s + 2 + 4*s**2. Let m be ((0 - 3)*-2)/(-1). Is n(m) a multiple of 7?
True
Is 17 a factor of (-1)/(-7) - (-1068)/21?
True
Suppose -3*z + 3528 = 11*z. Is 7 a factor of z?
True
Suppose 0 = -6*i + 2*i + 44. Let b be (-252)/66 - 2/i. Is 13 a factor of ((-39)/b)/((-6)/(-16))?
True
Suppose 0 = 5*p - 16 + 71. Let a = -83 - -61. Let n = p - a. Does 4 divide n?
False
Let s be 7*7/(98/(-12)). Is 21 a factor of (26/s)/(17/(-357))?
False
Let t = 35 - 19. Is 16 a factor of t?
True
Let z(h) = 3*h**2 - 5*h + 7. Does 10 divide z(4)?
False
Let q = 0 + 1. Suppose -r = -3*r + 2. Is 2*4/q*r a multiple of 8?
True
Let g be (-584)/12 + 1/(-3). Let h = -25 - g. Does 20 divide h?
False
Let u(o) = -2*o**2 + 0*o**2 + o - 3*o**3 - 3*o + o**3. Let d be 1/3 + (-7)/3. Is u(d) a multiple of 6?
True
Let n(m) = m**2 + 5*m + 9. Suppose -p = -4*k + 41 + 14, -2*k + 4*p + 10 = 0. Let g = 8 - k. Is n(g) a multiple of 9?
False
Suppose -b = -2*i + 385, 5*b - 165 = 3*i - 4*i. Suppose i = 4*r - 62. Is 16 a factor of r?
False
Suppose 0*u = -3*u - 4*g + 164, 4*u - 216 = -4*g. Does 13 divide u?
True
Suppose 0 = -t - 5*x - 9, -3*t - x + 18 = -t. Is t a multiple of 11?
True
Suppose -112 = 2*n - 4*n. Is n a multiple of 11?
False
Is (3 - (3 - 2))*53 a multiple of 29?
False
Suppose -5*y + 4 = -6*y. Is 2 a factor of 21/(-7) + (1 - y)?
True
Suppose 0 = 4*t + 5*q + 33, 2*t - 12 = -2*t + 4*q. Let l = 10 - 18. Does 2 divide 6/t - (l + 1)?
True
Suppose 2*h - 120 = -3*t + 135, 0 = 2*t - 10. Suppose y + 2*y - h = 0. Suppose -i + 11 = -y. Is 17 a factor of i?
True
Suppose 0*r + 67 = -4*i - r, -3*i + 4*r - 36 = 0. Let l be -1 + (i - 1)*1. Let y = -4 - l. Is 5 a factor of y?
False
Suppose -8 = -3*i + i. Suppose -f + 25 = i*f. Suppose -52 + 12 = -f*g. Is g a multiple of 8?
True
Suppose 0 = 2*w - 27 - 205. Is w a multiple of 17?
False
Let c(m) = 4*m**2 + m + 2. Is c(-4) a multiple of 27?
False
Let o(g) = -8*g**2 + 3*g + 1. Let f be o(-2). Let z = f - -53. Is z a multiple of 11?
False
Suppose 24 = -2*h - 2*s, 0 = -5*h - 2*s - 0*s - 45. Let p = -7 - h. Suppose p = 6*f - 2*f - 2*r - 14, -5*f - r = -35. Is 6 a factor of f?
True
Let n(s) be the first derivative of 29*s**3/3 + s - 2. Suppose -3*q - 2*c + 2 = -5*q, 0 = -q + 4*c - 7. Is n(q) a multiple of 12?
False
Suppose 2*h + 3*d + 25 = -0*d, -h + 3*d + 10 = 0. Let l(n) = 9*n - 5. Let p(o) = -8*o + 6. Let s(v) = h*l(v) - 4*p(v). Is 21 a factor of s(-2)?
False
Let c = -43 + 31. Is 8 a factor of (-27)/c*(-96)/(-9)?
True
Suppose 3*w = 4*w - 140. Does 35 divide w?
True
Let h be (0 - -1)*(0 - -2). Suppose -h*c = -6*c + 116. Does 9 divide c?
False
Let k = -15 - -29. Does 7 divide k?
True
Is ((-148)/6)/((-20)/30) a multiple of 16?
False
Let n(g) = g**3 - 5*g**2 + 5*g - 4. Let b be n(4). Suppose 0 = k - 2*k + 14. Suppose 4*z + k - 50 = b. Is z a multiple of 5?
False
Suppose -5*f + 16 + 9 = 0. Let m(j) = 2*j + 7. Does 8 divide m(f)?
False
Let g(y) = 2*y - 20. Is g(21) a multiple of 11?
True
Suppose -2*y + 80 = -68. Is 19 a factor of y?
False
Suppose -5*b + 622 = 7*y - 3*y, 4*y - 370 = -3*b. Does 10 divide b?
False
Let f = 7 + -5. Let z be ((-8)/10)/(f/25). Is (24/z)/((-8)/20) a multiple of 3?
True
Let f(w) = -5 + 4 - 4*w - 7 + w**2. Is f(7) a multiple of 7?
False
Suppose -2*h + 12 = h. Let t(r) be the second derivative of 3*r**3/2 - r**2 - r. Is t(h) a multiple of 14?
False
Let z(i) = 10*i + 12. Is z(6) a multiple of 6?
True
Suppose 2*q + m = -13, -3*q + 7*m + 3 = 4*m. Let d be 4/2*q/(-1). Suppose -2*v = -4*p - 40, 2*v - v + p - d = 0. Is v a multiple of 5?
False
Let v(x) = -x**3 + 6*x**2 + 9*x + 2. Is 18 a factor of v(-4)?
True
Let o be 4/((-2)/(-8) + 0). Let p = o + 23. Does 11 divide p?
False
Let f be 822/4*2/(-3). Let s = 206 + f. Is 19 a factor of s?
False
Suppose -309 = -v - 4*g + 70, 0 = 5*v + 5*g - 1895. Let x = v - 663. Does 14 divide 1/2 - x/8?
False
Let l = -4 + 34. Does 30 divide l?
True
Suppose 2*d - 8 = -2*d. Is (0 + -1)*d - -36 a multiple of 15?
False
Let o be (-20)/(-6)*15/10. Suppose -o*x - 5 = -25. Suppose 0*m - 3*n - 22 = -x*m, 28 = 5*m - 4*n. Is m a multiple of 4?
True
Suppose 4*h - 412 = -120. Let o be 0 + 2 + -52 - 2. Let w = o + h. Is w a multiple of 13?
False
Does 32 divide (-216)/63*(-70)/4?
False
Does 2 divide (-116)/(-12) - (-2)/6?
True
Let n(w) be the second derivative of w**4/6 - 3*w**3/2 - 4*w**2 - 2*w. Is 9 a factor of n(7)?
True
Let i be 7/2 + 3/6. Suppose i*r - 170 = -r. Is r a multiple of 16?
False
Is (-14)/(3*(-4)/6) a multiple of 7?
True
Let x(f) be the third derivative of -1/24*f**4 + 0 + 14/15*f**5 + 0*f**3 + 0*f - f**2. Does 21 divide x(-1)?
False
Suppose t + t = 116. Suppose -2*c - 10 = -t. Does 9 divide c?
False
Does 10 divide (-167)/(-3) + 6/(-9)?
False
Let m = -7 - -9. Let l(p) = -p**2 + 5*p. Let j be l(5). Suppose -m*a + 16 = -j*a. Is a a multiple of 8?
True
Let z = -142 + 234. Is z a multiple of 34?
False
Let s(f) = f**2 + 3*f + 52. Is 13 a factor of s(0)?
True
Let g = -5 + 5. Suppose -7*d - 5*m - 26 = -3*d, 2*m + 4 = g. Let v(k) = -7*k + 5. Does 11 divide v(d)?
True
Let n = -14 - -19. Is n a multiple of 5?
True
Let h(u) = -u - 5. Let y be h(-5). Suppose -g + 1 + 2 = y. Is g a multiple of 2?
False
Let k(d) = -d**2 - d. Let f be k(2). Let j(x) = x**3 + 6*x**2 - 4*x - 1. Let y be j(f). Suppose -a - 6 = -y. Does 17 divide a?
True
Let v be 4/((-4)/(-4*1)). Let i(x) = 9*x + 4. Is i(v) a multiple of 11?
False
Let b(y) be the third derivative of -1/12*y**4 + 0*y - 1/6*y**3 - y**2 + 0*y**5 - 19/120*y**6 + 0. Is b(-1) a multiple of 10?
True
Let j(m) = -m - 3. Let f be j(-4). Let y = 93 + f. Is 25 a factor of y?
False
Does 3 divide ((-3)/1 - -3) + (29 - 0)?
False
Let y be (3/6)/(1/(-62)). Let x = 17 - y. Is x a multiple of 12?
True
Suppose 6*c - 450 = -4*c. Is 15 a factor of c?
True
Suppose -2 = -2*p - 2*r, -2 = -5*p - 3*r - 3. Does 12 divide 16 + 1 + p + 1?
False
Let g(r) = -2*r + 1. Let s be g(1). Does 5 divide 5/(s/1*-1)?
True
Suppose i + 3*k + 4 = 0, -4*i + k + 3 = -7. Suppose i*s = 6*s - 456. Suppose 42 - s = -4*m. Does 8 divide m?
False
Suppose -340 = -3*u - u - 4*f, -2*u + 4*f