 s - 10 = -5*d - s, 2*s = d - 2. Suppose 3*n = d*t - 16, 3*t + 3*n - 41 = 13. Is t a multiple of 4?
False
Suppose 0 = 5*o + 26 - 16. Does 8 divide (o - -5)/(-3)*-136?
True
Let y = 23 + -19. Let h(p) = -y - 11 + 2 + 6*p. Is h(8) a multiple of 23?
False
Suppose 4*k - 16 = -2*w, k - 5 = -3. Suppose 0 = w*d - 0*d - 20. Suppose -d*o - 20 = 0, -5*o - 55 = f - 6*f. Is 3 a factor of f?
False
Let x(m) be the second derivative of m**5/20 + m**4/3 - 2*m**3/3 - 3*m**2/2 + 2*m. Let v be x(-5). Does 20 divide (90/12)/((-1)/v)?
True
Suppose 5*q = 5*s + 170, -q = 3*q + 2*s - 130. Is 36 a factor of q - (0 + 0/(-4) - 3)?
True
Let y(o) be the first derivative of o**4/4 - o**3 - o**2/2 - 27*o + 31. Does 9 divide y(5)?
True
Suppose 8*v - 16 = 4*v. Suppose 5*t = -0*t - u + 164, -v*t + u = -133. Does 11 divide t?
True
Let s(l) = -l - 1. Let r be s(-4). Suppose -8*c + r*c = -1180. Suppose a + c = 5*a. Is a a multiple of 30?
False
Let s(k) = -k**2 + 6*k + 6 - 2 + 6*k. Let p be s(10). Let i = -12 + p. Is i a multiple of 12?
True
Suppose -9*l + 6527 = 407. Is 69 a factor of l?
False
Let m(r) = 21*r**2 + 12 + r**2 - 13. Is 29 a factor of m(2)?
True
Is 8 a factor of 339 + 1 + 1 + (-6)/(-2)?
True
Let w = -156 + 160. Suppose -39 = -r - w. Does 7 divide r?
True
Let p = 1 + 3. Suppose 0 = -4*d, -384 = -p*g + d - 4*d. Does 8 divide g?
True
Suppose 0 = -137*a + 120*a + 4488. Is a a multiple of 66?
True
Suppose 5*c = -4*z + 2260, 661 = 5*c - z - 1624. Is c a multiple of 71?
False
Suppose -3*t - 4 = -4*m, 0 = -5*t + 3*m + m + 4. Is 87/6 + t - 1/2 a multiple of 8?
False
Does 50 divide 1/(0 - 12/(-17148))?
False
Suppose 1291*c + 2576 = 1298*c. Is 16 a factor of c?
True
Suppose 0 = 3*y - a - 43, -3 = 5*a + 2. Is y/((-1)/6*-4) a multiple of 21?
True
Let d(s) be the second derivative of s**4/4 - 5*s**3/2 + 13*s. Is 18 a factor of d(6)?
True
Suppose h - 18 = -2*h. Suppose -h*l = -1131 + 243. Does 20 divide l?
False
Let f = 33 - 23. Let h(g) = -g**3 + 11*g**2 - 9*g - 6. Let z be h(f). Suppose 59 - 263 = -z*i. Is 20 a factor of i?
False
Suppose 0 = -3*t - 5*j - 15, 0 = -4*t - 3*j - 9. Suppose t = -3*m + 8*m. Let v = m + 15. Does 15 divide v?
True
Let p be (-96)/(-10) + 18/(-30). Let q = p + 7. Let r = q + 4. Does 12 divide r?
False
Let d(u) = 57*u + 5*u**2 - 3*u**2 + 20 + 79*u - 117*u. Is 15 a factor of d(-16)?
False
Let p(f) = -5*f**2 - f - 1. Let s(z) = 26*z**2 + 5*z + 6. Let g(h) = -11*p(h) - 2*s(h). Let u be g(1). Suppose u*x - 9 = 2*x. Does 5 divide x?
False
Let o(k) = -4*k + 5. Let i be o(2). Let j be (2 - 0) + i + -3. Does 19 divide ((-4)/(-12))/(j/(-228))?
True
Let r(z) = -z. Let t(p) = 8*p**2 + 2*p - 5. Let f(j) = -3*r(j) + t(j). Does 13 divide f(2)?
False
Let w be 6/10 - 2472/120. Is 40/1 + w/(-5) a multiple of 17?
False
Let b(t) = -2*t + 132. Let p be b(0). Suppose -p = -c + y + y, 3*c + 5*y - 440 = 0. Is 28 a factor of c?
True
Let s = 111 - 106. Suppose -4*c + 419 = 3*t, -530 = -2*c - 3*c - s*t. Is 16 a factor of c?
False
Let o = -72 + 148. Let i(q) = 10*q + 167. Let v be i(-5). Let h = v - o. Does 8 divide h?
False
Suppose 4*h + 75 = -5*n - 53, -2*h = 4. Let w be 7 - 3 - 4 - n. Is (16/6)/(16/w) a multiple of 3?
False
Suppose 4*x - z = 921, -4*x + 10*z = 13*z - 917. Does 15 divide x?
False
Let n(k) = 7*k**2 + 26*k + 31. Let x(w) = -8*w**2 - 27*w - 30. Let s(c) = 3*n(c) + 2*x(c). Does 15 divide s(-8)?
False
Let f = 23 + -17. Suppose 3*g - f = -15. Does 25 divide 5/(g*3/(-45))?
True
Suppose -b + 4*b = 4*i + 44, -i + 65 = 4*b. Suppose -10*d - 1242 = -b*d. Does 16 divide d?
False
Let z(i) = -i**3 - 7*i**2 + 9*i + 8. Let t be z(-8). Suppose 3*h + 3*b - 84 + 9 = t, -3*b = -2*h + 25. Suppose 4*j = -4*w + h, -3*w + 6*w + 10 = 2*j. Is j even?
False
Let a(b) be the third derivative of -b**7/1680 + 7*b**6/720 + b**5/60 - b**2. Let u(n) be the third derivative of a(n). Is 14 a factor of u(-7)?
True
Let o(a) = 91*a**2 + 18*a - 6. Does 6 divide o(3)?
False
Suppose -7 = q + s - 25, -q + 9 = 4*s. Suppose i + 4*i - 3*l = 135, -23 = -2*i - 5*l. Let r = i - q. Is r a multiple of 2?
False
Suppose p - 724 = 4*s, 4*p = 4*s + 2466 + 442. Does 26 divide p?
True
Suppose -4*r - 44 = l - 5*l, l - 47 = 5*r. Let m(d) = d**2 + 4*d - 1. Is 11 a factor of m(r)?
True
Let l be 6/14 + (-125)/(-35). Let b(w) = 2*w**2 - 9*w + 6. Let s be b(l). Suppose -s*v + 36 = -30. Is v a multiple of 13?
False
Suppose 26 + 179 = 5*c. Let x = c - -25. Is 11 a factor of x?
True
Suppose -10 = 2*f - 3*f - 5*b, -3*b = -4*f - 6. Suppose i + 4 - 124 = f. Does 15 divide i?
True
Suppose -4*h + 29 = -u + 5, 2*h + 2*u = 2. Let m be (-384)/20 + 1/h. Let c = -8 - m. Does 3 divide c?
False
Let k(j) = 2*j**2 + 19*j + 10. Let i be k(-8). Let d(m) = m**3 + 12*m**2 - 34*m - 19. Is 3 a factor of d(i)?
False
Let z(j) be the second derivative of -5/2*j**2 + 0 - 14*j + 2*j**3. Does 9 divide z(3)?
False
Let a(d) = 19*d**3 - 8*d**2 + 20*d - 8. Is 20 a factor of a(4)?
True
Let f(z) = -3268*z**3 - 2*z**2 - z. Is f(-1) a multiple of 99?
True
Let q = 39 + -20. Let t = -12 + q. Let r = 35 - t. Does 14 divide r?
True
Let l(g) = g**3 + 7*g**2 + 4*g - 4. Let y be l(-5). Suppose -12*i = -14*i + y. Is 13 a factor of i?
True
Let g be ((2 - 6) + 5)/1. Let d(l) = 27*l**3 + l**2 + l - 2. Does 17 divide d(g)?
False
Let c be (-11 - -8) + 1/((-2)/(-8)). Is 11 a factor of (-3)/(((-4)/172)/c)?
False
Suppose -d = -5*q - 15, 5*q + 13 = d + q. Let m(p) = 2*p**2 + 17. Does 12 divide m(d)?
False
Let f(n) = -117*n + 20. Does 14 divide f(-10)?
True
Let r(o) be the second derivative of o**5/20 + 7*o**4/12 - o**3/2 - o**2 + 9*o. Is r(-7) a multiple of 19?
True
Let z(o) = -3*o**3 - 3*o**2 - 10*o + 3. Let y be z(-5). Does 23 divide (-16)/104 + y/13?
False
Let x(z) = z**2 + 3*z. Let f be x(3). Suppose -4*b + 4 = -0*b, -4*t = -4*b - 884. Does 16 divide f/63 + t/7?
True
Let t = 2948 + -1828. Does 40 divide t?
True
Let s(j) = -j**3 - 25*j**2 + 30*j + 125. Does 2 divide s(-26)?
False
Is 23 a factor of (-2)/1*(26 + -49)?
True
Let d be 7/21 + (-335)/(-3). Suppose -t = -0*t + 4, d = 4*y + 2*t. Does 21 divide y?
False
Let y(l) = 7 + 11*l - l**3 + 9*l**2 + 12 - 14. Is y(10) a multiple of 4?
False
Let m(j) be the third derivative of 7*j**6/120 - j**5/30 + j**4/12 + j**3/3 - 2*j**2. Let h be (-7)/(-5) - 12/(-20). Is 31 a factor of m(h)?
False
Suppose -3*l + 1359 = -57. Let q = -311 + l. Does 9 divide q?
False
Suppose -3*h + 5*d + 315 = 0, -5*h + 547 = -0*d - d. Suppose 10*b - 5*b - h = 0. Is b a multiple of 10?
False
Let z(p) = -3*p**2 + 254. Let y be z(0). Suppose 4*j - 2*q = 9*j - y, -j - 4*q + 58 = 0. Is 6 a factor of j?
False
Let j be 2 - 3/((-9)/2)*3. Is (2/6)/(j/348) a multiple of 20?
False
Suppose 1415 = -4*d + 9*d. Is d a multiple of 35?
False
Let b = -132 + 65. Let m = 14 - b. Is m a multiple of 27?
True
Let h(i) be the second derivative of -4*i**3 + 2*i + 2. Let c(f) = f**3 + f**2 - f. Let k be c(-2). Is 32 a factor of h(k)?
False
Suppose 4*i + 3*t - 13 = 0, 2*i + 3 - 6 = -5*t. Suppose -3*f + 53 = -2*v, -2*f - 2*v + 83 = 3*f. Is 3 + -3 + f*i a multiple of 27?
False
Suppose 6*p = 3*p. Let j(r) = r**2 + r + 103. Let h be j(p). Let q = -63 + h. Is 20 a factor of q?
True
Is ((-5320)/50)/(2/(1*-10)) a multiple of 28?
True
Let z(x) = 2*x**3 - 9*x**2 - 12*x + 7. Let u(g) = 5*g**3 - 18*g**2 - 23*g + 14. Let j(i) = -4*u(i) + 9*z(i). Is j(-5) a multiple of 14?
True
Suppose 0 = 3*i + 3*o - 75, 43 = -5*o + 18. Let u = i - 170. Is (-2 - -1)/(4/u) a multiple of 35?
True
Suppose -m + 0 = -6. Suppose -m*g = g. Let o(w) = -w**2 + w + 40. Is 17 a factor of o(g)?
False
Let a = 3289 - 1602. Is a a multiple of 61?
False
Does 12 divide 14/(-4)*(120096/(-84))/2?
False
Let p(z) = -z + 110. Let d be p(-22). Suppose 5*i - 6 = 3*q - 5*q, 3*q - 9 = -i. Suppose -q*b + d = 3*b. Does 11 divide b?
True
Let m be 1924/(-30) + (-46)/(-345). Let n = 109 + m. Is n a multiple of 15?
True
Suppose -25*o + 18706 = -9494. Is o a multiple of 47?
True
Suppose -79*q = -78*q - 520. Is q a multiple of 5?
True
Let i(s) = -2*s**3 + 8*s**2 - 2*s + 3. Suppose -38 = -4*j - 54. Is i(j) a multiple of 45?
False
Suppose -145*t + 143*t + 1736 = 0. Is 66 a factor of t?
False
Let s(r) = 10*r**2 + 42*r - 64. Does 3 divide s(-13)?
True
Let c be (-1 - -6)/((-5)/(-20)). Is (-15)/c + 950/8 a multiple of 9?
False
Let j be 90/(-21) - -4 - 4