3. Suppose -3*f + 10 = 1. Let n(w) = -5*w**2 - 5*w - 2. Let g(d) = f*n(d) - 4*u(d). Does 5 divide g(-10)?
False
Let v(l) = l**3 + 3*l**2 - 2*l - 4. Let t be v(-3). Suppose -29 = -t*k + 1. Is 13 a factor of k?
False
Suppose -2*t - 15 = -0*t - 3*v, 0 = 3*t - 5*v + 22. Let l(f) = f + 13. Let r be l(t). Suppose r*k - 3*k - 5 = -5*w, -3*k + w = -95. Is k a multiple of 15?
True
Let l be -14*((-3)/2)/(-3). Let m = l - -10. Suppose 4*j = -j - o + 180, -m*j - 5*o + 108 = 0. Is 18 a factor of j?
True
Let k(y) = -y**3 - 4*y**2 + 2*y - 1. Let c be k(-5). Does 23 divide (12/(-7))/((-1)/c)?
False
Let f(w) = -22*w + 1. Let s be f(1). Let a = s - -65. Is 17 a factor of a?
False
Suppose 52 = 10*r - 9*r. Is r a multiple of 4?
True
Suppose -225 = -8*j - j. Does 10 divide j?
False
Suppose g - 23 = 17. Let i = g - 23. Is i a multiple of 17?
True
Let q be 0/(1/((-2)/4)). Let z(x) = 2*x + 20. Does 11 divide z(q)?
False
Suppose 2*p = 49 + 117. Is p a multiple of 17?
False
Let d = -2 + 2. Suppose -5*a - 2*x + 56 = d, 2*a - 3*x - 18 = a. Suppose -3 + a = f. Is f a multiple of 4?
False
Suppose 0 = -3*w + 10 + 5. Suppose 6 = -3*u - 0*u. Let n = u + w. Is n even?
False
Let q = 345 + -96. Suppose -5*i + q - 24 = 0. Is 14 a factor of i?
False
Suppose x = 19 - 7. Suppose -4*s + x = 2*c, -2*s + 4 = 3*c - 6. Let m(i) = 22*i + 1. Is 15 a factor of m(s)?
True
Let x(c) = 30*c**2 + c. Does 10 divide x(-1)?
False
Let d = -13 + -7. Is 16 a factor of (-2)/((-2)/d*-1)?
False
Suppose 4*j - 36 = 2*s, -75 = -0*j - 5*j - 5*s. Is j a multiple of 3?
False
Suppose -2*c - 2 = -6. Let i(a) = 3*a**2 - 4*a + 3. Does 6 divide i(c)?
False
Let y(j) = j**3 + 14*j**2 + 12*j - 19. Let u be y(-13). Is 3/u - 27/(-6) a multiple of 3?
False
Suppose 0 = -k + 1 + 26. Suppose 4*w - 292 = -1240. Does 5 divide (-4)/(-18) - w/k?
False
Is 34 a factor of 11/((-44)/(-2872))*1/2?
False
Let i be (-3)/(-3)*-29 - 1. Let v = 42 + i. Does 12 divide v?
True
Does 36 divide 16/(-20) + (-1062)/(-15)?
False
Let n = 0 - -3. Is (n/2)/((-1)/(-34)) a multiple of 13?
False
Let f = 169 - 67. Is 17 a factor of f?
True
Let q(y) = -13*y - 17. Let z(h) = -20*h - 26. Let m(k) = 8*q(k) - 5*z(k). Let t(p) = -p - 1. Let w be t(4). Is 7 a factor of m(w)?
True
Let s(b) = 5*b**2 + 15*b + 25. Does 10 divide s(-8)?
False
Let q(v) = -33*v**2 + 11*v - 9. Let o(x) = 16*x**2 - 5*x + 4. Let h(u) = 7*o(u) + 3*q(u). Is 12 a factor of h(1)?
True
Let q(k) = k + 6. Let r be q(-7). Let w = r - -6. Does 4 divide w?
False
Let t be (-25)/(-4) + 1/(-4). Suppose -t*p + 2*p = 0. Suppose 5*g - g - 56 = p. Is g a multiple of 12?
False
Let o = 66 - 26. Suppose -o = 6*k - k. Let h = k + 34. Does 15 divide h?
False
Let a be ((-64)/(-10))/((-2)/(-10)). Let v = a + -14. Suppose -x - 1 = -v. Is x a multiple of 17?
True
Let i be 0 + (3 + 15)*4. Is 12 a factor of (2/(-4))/((-3)/i)?
True
Let d(h) = 14*h**2 + 5*h + 5. Let g be 4*((-20)/(-8) - 3). Is d(g) a multiple of 17?
True
Let k(i) = -i**3 + i**2 + 2*i + 2. Let c be k(-2). Suppose -m + 2*g = 2*m - 28, -g = -m + c. Does 8 divide m?
True
Suppose j - 176 = 3*j. Let p = j - -53. Let n = p - -54. Is n a multiple of 12?
False
Let d(f) = f**3 + 8*f**2 + 6*f - 13. Let t be d(-7). Is 23 a factor of 71 - t/9*-3?
True
Let u = 162 - 54. Suppose -a = 3*l - u, -2*l - 2*a - 108 = -5*l. Is l a multiple of 14?
False
Let c(s) = -14 - 3*s**2 + 5*s - 8*s**2 + 5*s**3 - 4*s**3. Does 13 divide c(11)?
False
Suppose -3*i + 1 + 3 = 4*k, 4*i = k + 18. Suppose 3*f - 20 = -3*b + 28, f - 16 = i*b. Does 5 divide f?
False
Suppose 63 + 20 = q. Does 34 divide q?
False
Suppose -3*q = -4*d + 126, 3*d - 7*d = -q - 122. Is d a multiple of 9?
False
Let c be (-7)/(-7) + -8 + 0. Let q = c + 3. Let y(u) = -8*u + 2. Is y(q) a multiple of 17?
True
Let u be ((-8)/5)/(1/(-20)). Is -6 + u - (-3 + 1) a multiple of 28?
True
Suppose 0 = 4*f - c - 204, 3*c = 6*c. Is 8 a factor of f?
False
Suppose 9*s = 280 + 26. Does 34 divide s?
True
Let d(b) = -15*b - 3. Let r(h) = -14*h - 3. Let z(t) = -3*d(t) + 4*r(t). Is 15 a factor of z(-3)?
True
Let j be 9 - 6 - (-2 - 0). Suppose -4*g + p + 12 = 5*p, -2*p - 22 = -j*g. Suppose -23 - g = -3*d. Does 3 divide d?
True
Let d = -11 + 8. Let c(t) = 2*t**2 + 2*t - 1. Is 11 a factor of c(d)?
True
Suppose 5*w + 0 = 10. Suppose r + w*r = 87. Does 15 divide r?
False
Let r = -290 - -706. Does 52 divide r?
True
Suppose -79 = 4*y - 371. Let x = 105 - y. Let l = -10 + x. Does 11 divide l?
True
Let n(b) = -23*b. Is 31 a factor of n(-12)?
False
Let d(c) = c**3 + 26*c**2 - c - 4. Is 22 a factor of d(-26)?
True
Suppose 5*v + 18 = 2*v. Let d(q) = q**2 + 4*q + 6. Let h be d(v). Suppose -3*p = -0*p - h. Is 3 a factor of p?
True
Let d(a) = -a**2 + 4*a - 1. Let s be d(3). Let p(q) = 4*q**s - 2*q**2 + 10*q**2 + 2*q**2 - q - 1. Does 7 divide p(-1)?
True
Let n = -30 + 43. Does 10 divide n?
False
Let w(k) = 5*k**3 + 3*k**2 - 2. Let f be w(-2). Does 13 divide (1 + 1)/((-2)/f)?
False
Suppose 0 = -20*m + 19*m + 50. Is 8 a factor of m?
False
Does 25 divide 129 - (8 + (2 - 6))?
True
Let f = -4 + 11. Is 7 a factor of f?
True
Let f = 12 + 40. Is f a multiple of 21?
False
Let h be (-9)/(-2)*2/3. Suppose -5*y = -h*d + 17, -d - d - 14 = 3*y. Let l(g) = -50*g - 1. Is 20 a factor of l(d)?
False
Suppose -13 = -3*y + 2. Suppose y*v - 2*f - 7 = -f, -5*f = -15. Suppose 0 = -3*x - a - v*a + 36, -4*x - 2*a = -50. Is x a multiple of 8?
False
Suppose -j - 3*j = 8. Is 1 - (-24 + 2/j) a multiple of 13?
True
Is (-1 + 284/20)*(-40)/(-12) a multiple of 4?
True
Does 14 divide (4/(-2))/2 + 43?
True
Suppose -2*m = m - 9. Let z(v) = -3*v**3 - 3*v - 5*v**3 + 2*v**m - 2*v**2 - v**2. Is z(-2) a multiple of 21?
True
Let z(v) = 2*v**2 + 140. Is 17 a factor of z(0)?
False
Let d(s) = -s**3 - 9*s**2 - 9*s. Let o(b) = -b**3 + 4*b**2 + 3*b + 2. Let t be o(5). Is d(t) a multiple of 4?
True
Let v(w) = -9*w**2 - 8*w. Let l(r) = 8*r**2 + 7*r. Let x = -7 + 11. Let z(y) = x*v(y) + 5*l(y). Is z(-2) a multiple of 5?
True
Let j = -65 + 71. Does 3 divide j?
True
Let s(m) be the second derivative of -m**3/2 + 5*m**2/2 - m. Is 8 a factor of s(-8)?
False
Is 1548/(-30)*60/(-8) a multiple of 43?
True
Suppose 2*j - 3*i = 25, -11 + 4 = j + 5*i. Is 9 a factor of (-42)/4*j/(-3)?
False
Suppose -v + 4*v + 39 = 0. Is 4 a factor of 1/(2 + v/7)?
False
Let s(p) = 3*p + 165. Does 11 divide s(0)?
True
Is (4/(-6))/(2 - (-110)/(-54)) a multiple of 3?
True
Let b(s) = s + 41. Let t be b(0). Suppose 16 = 3*v - t. Is v a multiple of 7?
False
Let n be (6/15)/(1/5). Let t(b) = -b**3 + 2*b**2 + b - 2. Let i be t(n). Let p = i - -4. Is p a multiple of 3?
False
Suppose -g + 5*r + 57 = 2, 2*g = 2*r + 102. Is g a multiple of 29?
False
Suppose 2*p + 56 = -10. Let i = 48 + p. Does 14 divide i?
False
Suppose -418 = -8*h + 614. Does 37 divide h?
False
Suppose 0 = 5*u - y - 16, 2*u = -2*u - 2*y + 10. Let o(a) = 2*a**2 + 3. Does 12 divide o(u)?
False
Is (12/10)/((-16)/(-160)) a multiple of 2?
True
Suppose m - 12 = -0*m. Suppose 5 = -v - 3. Let x = m - v. Is 20 a factor of x?
True
Let f be -5 - (0/(-3) + -1). Let i(q) = -q**2 - 3*q + 4. Let r be i(f). Does 15 divide 22 + (1 - (3 - r))?
False
Suppose -i = h - 34, 2*h + h + 2*i - 106 = 0. Does 7 divide h?
False
Let s be (3*-1)/(12/(-8)). Suppose -83 = s*c - 19. Let i = c - -45. Does 11 divide i?
False
Suppose -5*y + 234 = 4*v, 2*v - 3*y - 110 = -2*y. Does 14 divide v?
True
Suppose -2*s = 174 + 38. Let p = s - -151. Does 19 divide p?
False
Let c(k) = k**3 - 5*k**2 + 2*k - 7. Let l be c(5). Suppose -d = 4*h + 3*d - 500, 3*d = -2*h + 245. Suppose l*z - v = h, 5*v + 12 = -8. Is 16 a factor of z?
False
Suppose 6*k + 0*k = 252. Is 21 a factor of k?
True
Let m = 85 + -48. Does 5 divide m?
False
Let t(p) = -5*p**2 - 2*p + 3. Let a be t(3). Does 12 divide (3/4)/((-3)/a)?
True
Suppose -4*j + 52 - 12 = 0. Is j a multiple of 6?
False
Let m = -9 + 108. Suppose -w = 2*w - m. Is w a multiple of 11?
True
Let x(i) = 3 + 5*i - i + 3*i - i**2. Let y(s) = -s**2 + 13*s + 6. Let z(m) = -5*x(m) + 3*y(m). Is z(-3) a multiple of 9?
True
Let r = 6 + -1. Let y(k) = 4*k - 3. Let q be y(7). Suppose 5*v + r = q. Is v a multiple of 4?
True
Let d(k) = -3*k + 26. Does 31 divide d(-13)?
False
Let l(r) = -r**3 + 6*r**2 - r + 7. Let u be l(6). Let k(v) = 13*v - 1. Let h(t) = 12*t - 1. Let g(n) = -2*h(n) + 3*k(n). Does 11 di