= -6 + z. Is 11 a factor of b?
False
Let j(b) = b**2 + b. Let l be j(1). Let f be 1 + (-2 - -14) + l. Let u = f + -8. Is u a multiple of 7?
True
Let u(q) = 12*q + 3. Let f(v) = v - 4. Let l be f(8). Does 13 divide u(l)?
False
Let d = 7 - -9. Suppose 2*v - g = 14, 2*g - d = -4*v + 28. Is v even?
False
Let v(d) be the third derivative of d**5/60 - d**4/12 + d**3/6 - 2*d**2. Let k be v(3). Suppose -4*p - 5*n = -n - 56, -k*n = -4. Is 13 a factor of p?
True
Let g(c) be the second derivative of c**3/3 + c**2/2 + c. Suppose -5*v = -2*v - 15. Is g(v) a multiple of 8?
False
Suppose -4*i = -0*i. Let k = i + 14. Is 11 a factor of k?
False
Let o(x) = -2*x - 2. Let q be o(-3). Let d = -3 + q. Let k(v) = 4*v**2 - v + 1. Is k(d) even?
True
Let n be (0 - -6)*5/10. Suppose -n = -v, 4*w - 243 = -5*v + 56. Suppose 4*f - 41 = w. Does 11 divide f?
False
Let m(x) = -x**3 + 8*x**2 + 9*x + 1. Let t be m(9). Let p be ((-5)/(-10))/(t/24). Suppose 3*z + 4*b + 16 = 6*z, 2*z - 2*b = p. Is 4 a factor of z?
True
Suppose -3*t = 2*q - 121, -122 = -3*t - 4*q + 3*q. Is 14 a factor of t?
False
Suppose 6*n = -3*r + n + 1, n = -1. Suppose 16 = r*j - 40. Is 14 a factor of j?
True
Let q = -4 - -3. Let m(f) = 82*f**3 + 5*f**2 + 2*f + 5. Let g(t) = 41*t**3 + 3*t**2 + t + 3. Let w(x) = 5*g(x) - 3*m(x). Does 12 divide w(q)?
False
Let u(g) = g**2 + g. Let l be u(1). Suppose -99 = l*s - s. Let f = -57 - s. Is 16 a factor of f?
False
Let o = -8 + 11. Let y be 2 - (o + (-6 - -3)). Suppose 3*u - 55 = -3*p - p, y*u + 86 = 5*p. Is p a multiple of 11?
False
Is 3 a factor of -2*-1*93/6?
False
Let b be 2*(18/(-4))/3. Let v = 32 + b. Does 10 divide v?
False
Let p be (-3)/(-6) + 3/2. Let h(z) = 3 - p - 22*z - 2. Is 20 a factor of h(-1)?
False
Is 4 a factor of (217/14)/(1/2)?
False
Let x(u) = -u**3 + 7*u**2 - 2*u - 3. Is x(6) a multiple of 7?
True
Suppose i - 2*i + 48 = 0. Is i a multiple of 24?
True
Let o be 28/(-6) + (-3)/9. Let p = -2 - o. Let r(j) = -j**3 + 6*j**2 + 4*j + 1. Is r(p) a multiple of 20?
True
Suppose 0 = -2*w + 89 + 225. Is w a multiple of 56?
False
Let q be (-8)/10*(-40)/16. Let i(a) = a**3 + 2*a**2 - 2. Is 14 a factor of i(q)?
True
Let o(q) = -2*q**3 - 3*q**2 - 2*q - 3. Let t be o(-2). Suppose -2*y = -t*y + 177. Is 10 a factor of y?
False
Does 17 divide 20/10 + (-129)/(-1)?
False
Let n(d) = 2*d + 2 + d**2 - d**3 - 5*d**2 + 0*d. Let w be n(-3). Let p = 18 + w. Is p a multiple of 2?
False
Let v = 104 - 86. Let c(s) = s**3 - 6*s**2 + 6. Let z be c(6). Let n = v - z. Is 6 a factor of n?
True
Let l(d) = -10*d - 14. Suppose -2*r = -7*r - 55. Does 21 divide l(r)?
False
Let f be ((-51)/(-9) - -1)*3. Suppose -2*s = v + 11 - 41, 2*v = s - f. Does 11 divide s?
False
Let l = 194 + -95. Does 25 divide l?
False
Let x(o) = o**2 + 8*o + 3. Let v be -2 + (-2 - -2) - -32. Suppose 2*l - l + v = -3*u, 0 = -4*u - 3*l - 45. Is x(u) a multiple of 10?
False
Let l be 5/(-2*2/(-12)). Let c(w) = w**3 - 15*w**2 + w + 16. Is 13 a factor of c(l)?
False
Let y = -7 - -7. Suppose 2*n = -l + n - 13, y = 4*l + n + 46. Let z = -8 - l. Does 3 divide z?
True
Let f be 98 - ((-4)/4 + 3). Let i = -43 + f. Does 16 divide i?
False
Let x be 3 + (-6)/3 - -2. Suppose 6 = q + x, 4*h - 124 = 4*q. Is h a multiple of 17?
True
Let k(t) = -t**3 - 3*t**2 - 4*t - 3. Let p be k(-3). Let v = -6 + p. Is v a multiple of 2?
False
Let b = 167 - 8. Does 19 divide b?
False
Suppose -r - 24 + 6 = 0. Let l = r - -54. Is l a multiple of 12?
True
Let r(x) = x + 15. Let i be r(-9). Let d = -3 + 5. Suppose i = d*h - 8. Is h a multiple of 5?
False
Let h = 4 + -1. Let y be 2 + 0/h + -41. Is -8*(y/12 - -2) a multiple of 10?
True
Let g = 4 + 12. Does 8 divide g?
True
Suppose 4*l - k + 75 = 6*l, -k - 69 = -2*l. Does 12 divide l?
True
Let f(y) = -4*y + 40. Does 2 divide f(7)?
True
Suppose 0 + 4 = 2*x. Is x/(-7) + 214/14 a multiple of 7?
False
Suppose d - 95 = -3*d - 3*w, 5*w = -4*d + 89. Suppose d = 3*m - 112. Does 23 divide m?
True
Let y(p) = 17*p**3 - 4*p**2. Let c(d) = 84*d**3 - 21*d**2. Let h(f) = 4*c(f) - 21*y(f). Let b be h(1). Let o = 34 + b. Is o a multiple of 8?
False
Suppose 3*y - 187 = p, -4*y - 3*p - p = -228. Is y a multiple of 17?
False
Suppose -7*m + 2*m = -4*q - 37, 3*m = -4*q + 3. Let p be (-1 + -5)*5/m. Does 8 divide (-66)/(-9) - p/9?
True
Let c = 12 - 7. Suppose 5*o - 29 = -2*a + 3*a, -61 = c*a - 4*o. Let l = a + 36. Is 9 a factor of l?
True
Let r be (-4)/(-20) + (-72)/(-15). Suppose r*w - 72 = w. Does 6 divide w?
True
Suppose 4*o = 8, -4*b + o = -2*o + 42. Let w = 15 + b. Is 16 a factor of (-5 + 3)/(w/(-99))?
False
Let q be (-1)/4 - (-3486)/56. Let d = q + -26. Is d a multiple of 18?
True
Is (2 - 1)/(6/72) a multiple of 6?
True
Suppose -i = 3*i - v + 65, 0 = -i + 5*v - 40. Suppose 0 = -5*t + t - 92. Let b = i - t. Is 8 a factor of b?
True
Suppose -16 = -0*u + u - 5*b, u - 14 = -5*b. Is (-90)/(-12) + u/(-2) a multiple of 8?
True
Suppose -z - 5*g = -313, 0 = 4*z + 6*g - g - 1297. Is 52 a factor of z?
False
Suppose 4*v = 5*w + 65, -4*w = -5*w - 3*v - 13. Suppose -6*m + 18 = -4*m. Let f = m - w. Is f a multiple of 17?
False
Let x = 54 + -107. Let o = -198 + 305. Let t = x + o. Does 22 divide t?
False
Let c = 4 - 1. Let w be 5/c - 2/(-6). Suppose -77 = -3*h - 4*j, -4*h + w*j + 2 = -64. Is 19 a factor of h?
True
Let g(s) = -s**3 - 8*s**2 - 8*s + 4. Does 11 divide g(-7)?
True
Let t(i) be the third derivative of -5*i**4/12 - 3*i**3/2 + 6*i**2. Is 8 a factor of t(-4)?
False
Let w(s) = 2*s. Let i be w(2). Suppose -i*h - h = -20. Suppose h = k, -5*k + 4*k - 24 = -2*n. Is 7 a factor of n?
True
Is 8958/138 - (-2)/23 a multiple of 13?
True
Let f be 3 - (-2 - -2 - 0). Is (-50)/(3*(-2)/f) a multiple of 15?
False
Let v = 23 + 17. Does 9 divide v?
False
Let w = -5 + 8. Let f be (132/10)/(w/10). Is (-2)/(-11) - (-828)/f a multiple of 19?
True
Suppose 3*u + 7*s = 4*s + 12, 3*u + 5*s = 8. Let p be (32/3)/(2/6). Let o = p - u. Does 7 divide o?
False
Let c = 346 - 246. Does 50 divide c?
True
Let u(i) = -i + 67. Let p be u(0). Let l = -19 + 38. Suppose 3*v = 2*r - l, -5*r + 0*v + v = -p. Is r a multiple of 5?
False
Let w = 10 + -6. Suppose 0 = -h + w*h - 57. Does 19 divide h?
True
Let a be (-9)/2*8/(-3). Suppose 3*r = -0 + a. Is (-748)/(-28) + r/14 a multiple of 8?
False
Let p(g) = g**2 + 8*g + 6. Let r be p(-8). Suppose -18 = -2*d - r. Suppose 32 = 4*z + 5*i - 55, 2*i - d = 0. Is 9 a factor of z?
True
Suppose 0*h - 2*h + 5*i = -159, 1 = i. Is h a multiple of 30?
False
Does 25 divide (1 - 188/(-12))*3?
True
Let q = -4 + 3. Does 18 divide (q + 2)/((-3)/(-54))?
True
Let a = -27 + 76. Is 721/a - (-4)/14 a multiple of 5?
True
Suppose 16 = -3*z - 5. Let h(x) = -x**3 - 6*x**2 + 3*x - 3. Does 11 divide h(z)?
False
Does 14 divide (6/4)/(476/(-488) - -1)?
False
Let s = -8 - -2. Let f(z) = z**3 + 6*z**2 + 2*z + 5. Let v be f(s). Let j = v + 15. Is 4 a factor of j?
True
Suppose -x = -4*z - 1, 4*x + 0*x = z + 4. Let b be -1 + x - (-13 - -2). Let i = 20 - b. Is i a multiple of 9?
True
Suppose 65 + 25 = 2*q. Does 19 divide q?
False
Let b(k) = k**2 + 5*k - 1. Let o be b(-6). Suppose -o*z + 46 = 2*g, 2 = -z - 0*z. Is g a multiple of 14?
True
Let p = 10 - 6. Suppose -p*b - 17 = -317. Suppose 2*w - b = -3*w. Does 10 divide w?
False
Suppose -6*v = -v - 320. Is v a multiple of 14?
False
Suppose l + 33 - 91 = -5*d, 2*l - 128 = -4*d. Is 20 a factor of l?
False
Let p = 7 - 5. Suppose -z + p*l - 79 = 2*z, 0 = -2*z - 3*l - 31. Let k = z - -55. Is k a multiple of 13?
False
Suppose -3*t + 0*t = 3. Is (160/(-50))/(t/10) a multiple of 10?
False
Let k(g) = g**2 + 6*g - 7. Let s be k(-7). Suppose -5*r + 5 = -5*v - s, v = 2*r - 4. Suppose 0 = -r*z - 15, 5*i + 0*z - 3*z - 40 = 0. Is i even?
False
Let r(u) = -u**3 - u + 58. Is 6 a factor of r(0)?
False
Let o = -46 - -89. Let k = o + -14. Is k a multiple of 6?
False
Suppose -2*a + 159 - 31 = 0. Suppose -a = -3*w - 16. Is w a multiple of 16?
True
Suppose 6*w - 54 = 5*w. Is 18 a factor of w?
True
Let k(o) = -o + 37. Let g be k(0). Is g + -2*(-1)/(-2) a multiple of 13?
False
Let l(c) = -6*c**3 + 5*c**2 + 6*c + 6. Is 39 a factor of l(-3)?
True
Suppose -3*x + 20 - 5 = 0. Suppose -3*k - 2 = -x*c, 5*c + 2 - 6 = k. Does 7 divide -1 - -13 - (0 + c)?
False
Suppose -54 - 99 = -3*b. Let l = -16 + b. Is l a multiple of 14?
False
Let t(z) = -7*z + 2. 