3. Let v be y(0). Suppose 8 = q - 2*g - v*g, -3*q + 5*g = 6. Let c = q - -12. Does 5 divide c?
True
Let a = 6 + -11. Let o(r) = -3 + 5 + r**2 - 1. Does 11 divide o(a)?
False
Let z(g) = 18*g**3 - g**2 - g + 1. Let v be (-11)/(-2) - (-4)/(-8). Suppose 8 = -4*j + 4*b, -v*j + 11 = 5*b - 3*b. Is z(j) a multiple of 17?
True
Is 10 a factor of (-8 - (-2 - -1))*-5?
False
Suppose -x - 5 = x + 5*n, -4*x = -5*n - 35. Suppose 2*v + 0*v - 2*j = 26, 35 = x*v + j. Suppose 0*d + v = d. Is d a multiple of 4?
True
Suppose 3*x + 2825 - 107 = 0. Is x/(-26) + 6/39 a multiple of 18?
False
Let i(n) = -8*n**2 + 2*n + 1. Let u be i(-2). Let p = u - -52. Is p a multiple of 9?
False
Suppose 37*v = 40*v - 24. Is v a multiple of 8?
True
Suppose 3*n = 1 + 14. Suppose -k + 35 - n = 0. Does 8 divide k?
False
Suppose 5*s + a - 13 = 0, 4*s - 3*a - 2*a - 22 = 0. Suppose s*c = v + 7*c + 7, 0 = 3*v - 4*c + 53. Let f = -1 - v. Is f a multiple of 7?
True
Let p be 33/9 - 4/6. Let k = p + 2. Is 5 a factor of k?
True
Suppose 5*a - 9*s = -8*s + 915, 0 = -2*s - 10. Is 14 a factor of a?
True
Suppose q = 13*q - 396. Is 11 a factor of q?
True
Suppose 0 = 5*j - 4*q - 0*q - 32, -4 = -2*q. Does 3 divide j?
False
Suppose -4*h - r + 101 = 0, -3*h + 4*r + 24 = -47. Is h a multiple of 25?
True
Suppose -2*a - 5*k + 49 = 0, 0*a + 5*k = -a + 32. Is a a multiple of 2?
False
Let z(f) = f**3 + 8*f**2 + 5*f + 3. Let n be z(-7). Suppose -4*d + n = -3. Does 3 divide d?
False
Suppose -2*a + 8 + 10 = 3*t, a + t - 9 = 0. Suppose -5*g = -3*h - a - 0, -2*g + 10 = 2*h. Is g a multiple of 2?
False
Suppose 10*c = 9*c + 3. Suppose 0 = -c*y - 2*y + g + 129, 4*g - 134 = -5*y. Is 13 a factor of y?
True
Let l(i) = 2*i - 17. Let c be l(14). Let v = 47 - c. Is 12 a factor of v?
True
Suppose 2*s - 21 - 27 = 0. Does 8 divide s?
True
Suppose -2*v + 51 = -235. Does 13 divide v?
True
Let y(o) = -20*o - 11. Let x be y(-10). Suppose -x + 9 = -4*u + 2*k, -u + 40 = -3*k. Is 23 a factor of u?
True
Suppose 5*l + 1 = -z, -5*l = 5*z - 11 + 36. Is (27/z - -3)*-30 a multiple of 15?
True
Let p(f) = f**3 + 24*f**2 - 26*f + 29. Is p(-25) a multiple of 18?
True
Suppose 0 = 2*f - 0*f. Let t(a) = -4*a - 7. Let l be t(-3). Suppose l = j - f. Does 5 divide j?
True
Suppose 3*u - 90 = -3*c, 4*c - 75 = 5*u + 36. Suppose 2 = t - c. Is 10 a factor of t?
False
Let z be -3*(-1 + (-3)/(-9)). Suppose z*i + 5*p - 24 = i, 3*i + 3*p = 36. Is i a multiple of 9?
True
Let m = -117 + 194. Suppose 5*y = 3*o - m + 1, 4*y = -5*o - 46. Does 6 divide (-240)/(-42) + (-4)/y?
True
Suppose -140 = 22*c - 26*c. Is c a multiple of 8?
False
Let t = 4 - -4. Is 5 a factor of (-4 + (-108)/(-16))*t?
False
Let l(n) = 5*n + 9. Suppose -32 = -4*h - 4*w, 0 = 3*h - 0*h - 3*w - 6. Does 12 divide l(h)?
False
Suppose 0 = 4*n + 4 - 60. Suppose 2*j - 3*j + 4 = 0. Suppose 2*u - n = -2*m, j*u - 30 = -2*m + 4. Does 10 divide u?
True
Let s(d) = -21*d**3 - d**2 - d - 2. Does 20 divide s(-2)?
False
Suppose 0*n = -5*n + 350. Is 24 a factor of n?
False
Let o = -10 - -13. Let u(x) = -x**3 - 6*x**2 - 5*x + 2. Let i be u(-5). Suppose -i*c + 1 = -o*n, -7*c + 3*c + 13 = 5*n. Is c even?
True
Suppose -3*z = -19 - 86. Suppose 7*u = 2*u + z. Does 2 divide u?
False
Suppose -225 = -2*b - 81. Suppose 5 + 7 = 3*y. Suppose -y*o = -2*o - b. Does 18 divide o?
True
Let z(n) = 0*n + 3 - 2*n - 2 + n**3 + 0*n. Does 5 divide z(2)?
True
Let l = -665 + 342. Let o = 189 + l. Let n = o - -191. Does 21 divide n?
False
Let h(l) = 2*l**2 - 5*l + 2. Let r be h(3). Let g(j) = -j**3 + 5*j**2 + j. Is g(r) even?
False
Suppose -5*x = -5*j - 15, 13 = 3*x - 2*j - 2*j. Is 8 a factor of (-54)/(-3) - x*2?
False
Let x(h) be the second derivative of -h**5/20 - h**4/4 - h**3/2 + h**2/2 + 5*h. Does 8 divide x(-4)?
False
Let g be 1*-8*(-5)/(-4). Let r be 2/g - (-324)/20. Let l = 31 - r. Is 15 a factor of l?
True
Let h(r) = r**2 - 2*r - 14. Let n be h(-6). Suppose -2*v = -3*l - n - 68, l = -4*v + 190. Is v a multiple of 12?
True
Let q be (-3)/(-6) - (-91)/2. Suppose -5*p + q = -p + 2*a, -3*p - 5*a = -17. Is p a multiple of 14?
True
Let n be -1 + 8 + 6/(-2). Suppose -n*g - 2 = -10. Does 2 divide g?
True
Let q(d) = 2*d**2 - 7*d + 1. Suppose 0 = -3*n + 14 + 1. Does 8 divide q(n)?
True
Let f(g) = -g**3 - g + 3. Let i be f(0). Suppose i*t - 128 = -5. Is t a multiple of 13?
False
Suppose 14*d - 132 = 12*d. Does 26 divide d?
False
Let h(l) = 3*l**2 + 7*l**2 + 0*l - l**3 + 3 - 7*l + 1. Is 9 a factor of h(9)?
False
Is (-12)/((-7)/(700/15)) a multiple of 33?
False
Suppose -p = -j - 4, -2*p - 2*j + 0 + 4 = 0. Is 2 a factor of (0 + -1)/(p/(-21))?
False
Suppose -19 = -s + 19. Is 14 a factor of s?
False
Suppose o - 160 = -o. Is o a multiple of 20?
True
Let h = -8 + 14. Let s(z) = -z**2 + 9*z - 8. Let a be s(h). Suppose 5*y - a*y + 120 = 0. Does 13 divide y?
False
Let k(g) = g**3 - 5*g**2 + 2*g + 3. Let l be k(4). Let y(h) be the first derivative of -h**3/3 - 3*h**2 + 1. Is 2 a factor of y(l)?
False
Is 1*2 + (-1 - -1) a multiple of 2?
True
Let c(b) = -b**2 - 7*b - 4. Let n be c(-6). Suppose 2*r + 4*s - 4 = 0, -3 - 10 = -n*r + 5*s. Suppose -z + 4*p + 12 = 2*z, 4*p + r = 2*z. Is 5 a factor of z?
False
Is 93*((-12)/(-9))/2 a multiple of 22?
False
Is -6 + 104 - 1/(-1) a multiple of 34?
False
Let m(c) = 2*c + 4. Let i be m(-6). Let h be i/(-1 + 0) - -1. Is -3*(-6)/h - -8 a multiple of 5?
True
Suppose 60 = 2*r + 3*r. Does 4 divide r?
True
Let t(i) = i**2 - 9*i - 11. Does 11 divide t(11)?
True
Let z(p) = p**2 + 2*p + 3. Let u be z(-2). Let i(f) = 1 + 27*f**2 - 2*f + 3*f - u*f. Is i(1) a multiple of 11?
False
Is (-255)/(-12) - 4/16 a multiple of 3?
True
Let j(v) be the first derivative of -v**3/3 - v**2/2 + 1. Let t be j(-1). Let m = t - -30. Does 10 divide m?
True
Suppose 4*p = 4 + 16. Suppose w - 3*d = 26, -2*w + p*d + 52 = -0*w. Is 7 a factor of w?
False
Suppose -2*v + 4*y + 119 = 3*y, -2*v = 4*y - 124. Is v a multiple of 10?
True
Suppose -2*a = a - 45. Does 5 divide a?
True
Is 17 a factor of (90/(-40))/(9/(-408))?
True
Suppose -k - 3*k + 200 = 0. Suppose -a + k = 4*a. Let y(i) = 2*i + 2. Is y(a) a multiple of 11?
True
Suppose 9*k = 4*k + 30. Let p be (k/5)/((-4)/(-10)). Suppose 0 = p*y - 92 + 20. Is 12 a factor of y?
True
Let x be 76/3 - (-4)/6. Suppose 3*f - 19 = x. Does 15 divide f?
True
Let m be 2 - (-2)/(-1) - -42. Let n = 69 - m. Is n a multiple of 9?
True
Suppose -z + 4*x + 134 = 2*z, -3*x - 91 = -2*z. Does 38 divide z?
True
Let d be -21 - (-1)/((-2)/(-4)). Let y = 31 + d. Does 6 divide y?
True
Suppose 0*a + 6 = 2*a. Suppose -60 = -a*l - 12. Suppose 3*h - 125 = l. Does 16 divide h?
False
Let l(c) = 3*c**3 + c**2 - 3*c - 2. Let r(f) = 13*f**3 + 3*f**2 - 12*f - 7. Let b(m) = 9*l(m) - 2*r(m). Is b(-3) a multiple of 5?
True
Suppose 5*y + 2*v - 421 = 0, -4*y + y - 4*v + 261 = 0. Is y a multiple of 21?
False
Suppose 2*k + k = 12. Is k a multiple of 2?
True
Let y = 349 + -508. Let h = -29 - y. Suppose h - 1 = 3*j. Is 20 a factor of j?
False
Let k(g) = -2*g**3 + 3*g**2 + g - 2. Let t be k(-2). Let p be (t/(-18))/(2/(-3)). Suppose p*q = -0*q + 56. Is 11 a factor of q?
False
Let r = 23 - -21. Is r a multiple of 11?
True
Suppose -3*v + 30 = 2*v. Let t = v + -2. Is 4 a factor of t?
True
Suppose -p = -4*p + 90. Is 30 a factor of p?
True
Let x(o) = -o + 2. Let d be x(3). Let r(s) = 37*s**2 + 1. Does 7 divide r(d)?
False
Suppose 0 = 4*f - v + 20, 4*f - 2*v + 24 = -0*v. Is 9 a factor of f/(-2) + 5 + 2?
True
Suppose 7 + 8 = 5*f. Does 3 divide 1/(f/(-2 + 20))?
True
Let u = 152 - 62. Suppose 6*b = 2*b. Suppose 0*g - 5*g + u = b. Is g a multiple of 9?
True
Suppose -16 = -6*h + 2*h. Let i(w) = -w**3 + 8*w**2 - 3*w - 9. Is 18 a factor of i(h)?
False
Let w be 3*(-15)/(-9) - 1. Suppose -o - 5*g - 2 = 5, -w*g + 70 = 5*o. Does 11 divide o?
False
Let g(z) = -z**3 + 6*z**2 - 2*z + 7. Let w be g(5). Suppose -28 + 73 = -3*r. Let l = w + r. Is l a multiple of 7?
True
Let f(u) = u**2 - 14*u - 4. Let j be f(10). Let h = j + 71. Does 16 divide h?
False
Suppose 5*o = i + 30, 3*i + 1 - 2 = 2*o. Is o a multiple of 7?
True
Suppose -154 = -5*d + 66. Does 21 divide d + (-2 - -1)*2?
True
Let n = -8 - -14. Let g(h) = 10*h + 9. Is g(n) a multiple of 23?
True
Let u(x) = -14*x. Let a be u(-5). Suppose -3*c - a = -8*c. Is 14 a factor of c?
True
Is 3 a factor of (9/(-27))/(1 + (-67)/66)?
Fal