 + 9. Let z(l) = -2*c(l) - 3*h(l). Let o(n) = n**2 + 10*n + 11. Let w be o(-8). Is z(w) a multiple of 8?
False
Does 13 divide (-2)/5 + (-1376)/(-40)?
False
Let w = -25 - -31. Is w a multiple of 2?
True
Is 22 a factor of 4 + (1 - -51) + 0?
False
Suppose 2*l = 5*l - 15. Suppose 22 = l*f - 228. Does 13 divide f?
False
Suppose x - 75 = 5. Is 20 a factor of x?
True
Let f(c) = -c**3 + 7*c**2 - 3*c + 5. Let p be f(5). Suppose -3*w + w = -p. Is 5 a factor of w?
True
Let g be -2*1/3*6. Let h(j) = -j + 9. Is h(g) a multiple of 13?
True
Let k = 6 + -3. Suppose -4*m = -3*v + 48 + 12, k*v - m - 60 = 0. Is v a multiple of 20?
True
Suppose 3*l - 272 = -l. Let w = 101 - l. Does 11 divide w?
True
Let b = 206 + -146. Is b a multiple of 12?
True
Let o = -13 - -53. Let s be (-1)/2 + (-49)/2. Let c = s + o. Is 15 a factor of c?
True
Suppose -524 = -4*g - 104. Is 33 a factor of g?
False
Let w = 4 + 0. Let h be 16/12*(-6)/w. Is 13 a factor of -20*(11/(-4) - h)?
False
Let d(j) = -j - 1. Let z(x) = -x**2 - 2*x + 1. Let i(b) = -3*d(b) - z(b). Let q be i(-3). Is (42/35)/(q/(-30)) a multiple of 9?
True
Suppose 3*c - 49 = 2*j, 0 = 4*c + 3*j + 2*j - 96. Is c a multiple of 19?
True
Suppose -2*z = 3*z - 365. Is z a multiple of 13?
False
Suppose 4*z + 28 = -4*v, 3*v = -2*z + 4*z - 11. Let h = 2 - v. Does 6 divide 1/((-1)/h*-1)?
False
Let r(x) = x**2 - 6*x - 4. Let g be r(7). Suppose 4*i + 2*h = 6 - 2, 4*h + 25 = g*i. Suppose i*y - 41 = -3*t - 2, 5*t - 3*y - 33 = 0. Does 5 divide t?
False
Let w = 57 - 23. Let k = w - 14. Does 10 divide k?
True
Suppose 5*c + 54 = 4. Let t = c + 9. Is -3 + (-9)/t + -1 a multiple of 5?
True
Suppose -5*o + 2*o = -d + 81, o + 75 = d. Let r = d + -28. Is r a multiple of 18?
False
Let c be 15*3/18*4. Let z be c/(-45) - 4/(-18). Suppose l = -z*l + 3. Does 3 divide l?
True
Let x = -7 - -9. Suppose x*f = -2*n - 12, 2*n - 5*f + 60 = -2*n. Let z = 25 - n. Is z a multiple of 18?
False
Let a(i) = -i - 3. Let f be a(-8). Suppose 0 = 4*o - 3*h - 192 + 18, -f*h = -5*o + 220. Is 18 a factor of o?
False
Let v(d) = -d**3 - 4*d**2 - 2*d. Is v(-4) a multiple of 3?
False
Let l = 348 + -167. Is 9 a factor of l?
False
Let o be (-19)/(-1)*(-2 + 0). Let l = 118 + o. Is 16 a factor of l?
True
Suppose 0*j = -2*j + 12. Suppose v - 3*l + 6 = 0, 0*v + 3*l = -3*v + j. Is 6 a factor of -2 - ((v - 0) + -20)?
True
Let w(n) = n**3 + 6*n**2 - 7*n - 1. Let o be w(-7). Let c be -1 - -1 - o - -62. Suppose 4*j - 1 = 3, -v + 3*j = -c. Is 18 a factor of v?
False
Is 14 a factor of ((-9)/(-2))/(9/84)?
True
Suppose 3*n + c = 73, -29 = -n - 5*c - 0*c. Is 14 a factor of n?
False
Suppose 4*q = 64 - 0. Let d = 25 - q. Is d a multiple of 3?
True
Let p(j) = j**2 + 5. Does 30 divide p(5)?
True
Suppose 5*k - 253 = -58. Is 13 a factor of k?
True
Let i = 176 + -117. Is i a multiple of 25?
False
Suppose 2*b = -2*b + 44. Suppose -2*a = 4*g - 5*a + b, 3*a - 19 = -4*g. Is 14 a factor of 24 + 0 + (-2)/g?
False
Let v(u) = 7*u - 11*u**2 + 24*u**2 - 7*u**2 - u**3. Is v(6) a multiple of 7?
True
Let q be (9/6)/((-3)/(-164)). Suppose q = 4*u - 2*u. Suppose 0 = 4*p + 13 - 5, 4*p = l - u. Does 12 divide l?
False
Let f = -8 + 7. Suppose -4*g - 4*m - 52 = 0, -16 = g - m - 5. Let l = f - g. Is 10 a factor of l?
False
Let m be -4 + 21*2/6. Suppose -25 = -5*j + 4*y + 15, -y + 24 = m*j. Is 7 a factor of j?
False
Let a be ((-4)/6)/((-8)/36). Suppose 20 = 2*w - r, a*r + 36 = 2*w - 2*r. Does 8 divide w?
True
Suppose k - 20 = 4*k - 5*t, -5*k + 4 = t. Is -1 - (k + -63)*1 a multiple of 15?
False
Suppose 3*i - 103 + 31 = 0. Is i a multiple of 8?
True
Suppose 0 = 2*a - 189 - 81. Does 12 divide a?
False
Let i(y) = -y - 1. Let l be i(4). Is 18 a factor of 5/(-25) + (-321)/l?
False
Let i = -109 + 184. Does 8 divide i?
False
Let m = -8 + 14. Let h(n) be the first derivative of -n**3/3 + 7*n**2/2 - n - 1. Is h(m) a multiple of 2?
False
Suppose -5*z - 4*t = -78, 5*z = -3*t + 2*t + 72. Is z a multiple of 7?
True
Suppose -i = -y - 0*i + 8, 3*i = -y + 4. Does 3 divide y?
False
Let c be (11 - -1)/(-3) + 1. Let s be 0/(c/(-2)*-2). Suppose s*u - u - 3 = 0, -5*u - 35 = -5*i. Does 4 divide i?
True
Let p = 17 - -24. Is 2 a factor of p?
False
Let p be 1/(-1)*(-1 + 0). Let x be 2/p + (0 - -7). Does 18 divide 106/6 + 3/x?
True
Let m(c) = 3*c - 16. Suppose -u + 39 = 2*u. Does 9 divide m(u)?
False
Let n be 29*1 + (-4 - -2). Suppose -93 = -5*b - 2*h + n, -48 = -2*b + 3*h. Is 8 a factor of b?
True
Suppose -u - 2*p = -4 - 6, 0 = 2*u + 3*p - 18. Suppose u = 5*q - 3*q. Suppose 109 = q*v - 4*d, -2*v - d = -v - 41. Is v a multiple of 19?
False
Suppose -13 = -j + 38. Suppose 0 = -5*n + 2*i + 150, 2*n + i - j = -0*i. Is n a multiple of 14?
True
Suppose -l = -4*l + 36. Let n be -2 + 4/(l/27). Let b = n - 4. Is 2 a factor of b?
False
Let h(i) = -i**3 + 9*i**2 - 5*i + 25. Is h(8) a multiple of 11?
False
Let t(j) = j**3 + j**2 + 3*j + 3. Let k be t(-2). Suppose 2*p + 3*p + 4*z = -50, 4*z = -p - 10. Let o = k - p. Is o a multiple of 2?
False
Let o(u) = 30*u**2 - 22*u. Let c(w) = 2 + w**2 - 2 - w. Let z(y) = -88*c(y) + 4*o(y). Is z(-1) a multiple of 16?
True
Let x(t) = -t - 3. Let c be x(-3). Suppose -k = -c - 5. Is k even?
False
Let f(j) = j**2 + j. Let b be f(2). Suppose -b*x = -x + 20. Is 0 - 3/3*x a multiple of 2?
True
Suppose 5 = 3*c - 4. Suppose c*d - 17 = 58. Does 10 divide d?
False
Let r = -60 + 95. Let c = r - 1. Does 17 divide c?
True
Let q be (-776)/48 + 1/6. Is -5 + (1 - -2) - q a multiple of 11?
False
Let v = -9 - -19. Suppose 44 = -0*i + 3*i - m, 5*m + v = 0. Suppose 2*u - 44 = -2*p, -u + i + 42 = 3*p. Does 7 divide p?
False
Suppose 5*k - 10 = 0, -2*k - 10 = 4*h + k. Let a = h - -9. Suppose 3*b - 7*b - 44 = -a*s, -5*s + 72 = 3*b. Is s a multiple of 12?
True
Suppose 23*k - 204 = 20*k. Is 10 a factor of k?
False
Let k(c) = c - 2. Let r be k(2). Let g(l) = -l**3 - l**2 + l + 5. Let f be g(r). Suppose -f*i - 17 - 23 = -d, -3*i + 88 = 5*d. Is 9 a factor of d?
False
Suppose -a - p + 10 = 0, -p - 4 = -3*a + 2*a. Suppose 15 = v - a. Is 11 a factor of v?
True
Is (-73)/(-5) - (-20)/50 a multiple of 6?
False
Let g be (26/(-5))/(2/10). Is 4/g - 314/(-13) a multiple of 16?
False
Suppose -5*q = -0*q - 730. Is q a multiple of 23?
False
Let u(t) = t**3 - 7*t**2 + t + 10. Let j(k) = k**2 - 7*k - 1. Let c be j(8). Is u(c) a multiple of 17?
True
Suppose -5*u + 514 = -v, 2*u + 121 - 345 = 5*v. Does 11 divide u?
False
Let z(m) = 4*m**2 + 2. Is 18 a factor of z(2)?
True
Let g(f) = 4*f**3 - f + 1. Let t be -1 - 6/9*-3. Let y be g(t). Does 4 divide -12*1*(-2)/y?
False
Suppose -y - 3*l = -0*y - 112, 0 = -y - 4*l + 108. Is y a multiple of 26?
False
Suppose -5*l = 5*q - 40, l - 2*q - 23 = -0*q. Suppose -l = -5*m + 47. Is 12 a factor of m?
True
Let p be 3/(-6)*(-2 - 66). Let v = 50 - p. Does 8 divide v?
True
Let j be (0 + 6)*2/(-3). Is j/8 - (-23)/2 a multiple of 4?
False
Suppose 0 = -4*c + k - 21, 0 = 3*c + 2*k - 0*k + 24. Is 14 a factor of ((-21)/c)/(5/20)?
True
Let y = 4 + -2. Suppose 0 = 4*j - 5*j - v + 4, -y*j = 4*v - 18. Does 14 divide 1 + -1 + (40 - j)?
False
Let z(f) = f - 2. Let b be z(5). Suppose -b*q + 12 = y, -7*q = 4*y - 3*q - 88. Does 7 divide y?
False
Let t(z) = -z + 3. Let k(x) = -2*x + 7. Let b(c) = 6*k(c) - 13*t(c). Does 3 divide b(0)?
True
Let u be ((-21)/14)/((-2)/(-8)). Let g = 9 + u. Suppose -5*x + 36 = -g*a, 4*a = x + 4*x - 33. Is x a multiple of 9?
True
Suppose -4*l + 23 = 3*a, -2*l = -3*a + 2*a - 9. Suppose 7 = l*r - 8. Suppose 74 + 58 = 5*p + r*d, -d = -3*p + 68. Is p a multiple of 19?
False
Is 7 a factor of (-12 - (-13 + 7))/(1/(-5))?
False
Suppose 5*h + 145 = -2*j, -5*h + j - 160 = -0*h. Let x(o) = -4*o**2 + 5. Let u be x(4). Let c = h - u. Does 12 divide c?
False
Let x(s) = s**2 - 4*s + 4. Let m be x(4). Suppose 9*o - 165 = m*o. Is o a multiple of 24?
False
Let k(f) = -2*f - 6. Let x be k(-4). Suppose -5*d = -x*d. Let y(s) = -s + 22. Is y(d) a multiple of 8?
False
Let a(y) = 2*y**2 - y - 1. Let h be a(-1). Let r(o) = -2*o**3 + 8 - 5*o**h - 2*o**3 + 5*o + 3*o**3. Does 7 divide r(-6)?
True
Suppose 5*m + 2*i = 312, -m - 4*m - 3*i = -313. Does 11 divide m?
False
Let v(u) be the third derivative of -u**5/15 - 7*u**4/24 + u**3/3 + 2*u**2. Let c(d) = 3*d**2 + 6*d - 1. Let z(a) = 3*c(a) + 2*v(a). Does 11 divide z(3)?
True
Is (-98)/(-3) + (-8)/12 a 