1/(-6)). Let k = z - -32. Is k a multiple of 10?
False
Let v be ((-82)/(-3))/((-4)/6). Let d = -7 - v. Is 17 a factor of d?
True
Is 48/(-32) - (-243)/2 a multiple of 12?
True
Suppose 0 = f - 6*f + 100. Suppose -3*h - 36 = 3*a - 6*h, -h = 3*a + f. Is 8 a factor of (11/(-2))/(2/a)?
False
Let g = 76 - 22. Is g a multiple of 18?
True
Is (-6)/(2*6/(-64)) a multiple of 7?
False
Suppose -1 = -u, 97 + 33 = 5*w - 5*u. Let n = w - 12. Is n a multiple of 5?
True
Let a = 1 + -1. Suppose 1 - 5 = -2*w. Suppose -w*b - 3*d = d - 18, 4*b + 4*d - 52 = a. Does 7 divide b?
False
Let n = 40 - 77. Let y = -92 - n. Let d = 89 + y. Is d a multiple of 17?
True
Let n(c) = c**3 - 9*c**2 + 7*c + 13. Let z be 122/14 + 6/21. Is n(z) a multiple of 17?
False
Suppose -3*b = -u - 0*u - 12, -b - 4*u + 17 = 0. Let s = 2 - b. Is 1/s + (-721)/(-21) a multiple of 17?
True
Let p(z) be the second derivative of -z**6/360 + 3*z**5/40 - 7*z**4/24 + z**3/6 - 2*z. Let k(c) be the second derivative of p(c). Is k(7) a multiple of 4?
False
Let b(w) = -w**2 + 6*w + 3. Let r be b(6). Suppose -z = 4*v - 357, -2*z - 3 = r. Does 15 divide v?
True
Let s(y) = y + 6. Let u be (6/8)/((-1)/8). Let z be s(u). Is z/2 - (2 + -30) a multiple of 14?
True
Suppose 2*j - p + 2 = 279, 2*p = 3*j - 414. Does 24 divide j?
False
Let x be (-2 - -2)/(7/(-7)). Is 13 a factor of (1 + 12 - x)*3?
True
Let r be (1 - -1)/((-1)/2). Let b = 7 + r. Suppose 0 = -b*c + s + 44, -6*c + 60 = -c - 5*s. Is 16 a factor of c?
True
Suppose c - 11 = -4*t + 31, 118 = 5*c - 3*t. Let h = -17 + c. Is h a multiple of 9?
True
Suppose 0*u = 3*u + 9. Let w(x) = -18*x. Let r be w(u). Let k = r - 36. Is 9 a factor of k?
True
Let j(n) = -6*n + 5. Let w(z) = -5*z + 4. Let h(u) = 4*j(u) - 5*w(u). Let i be h(6). Suppose -225 = v - i*v. Does 13 divide v?
False
Suppose 4*d = 5*d - 56. Does 28 divide d?
True
Suppose -2*y = 3*y - 65. Suppose -3*r + 4*u + y = -11, u + 3 = 0. Suppose -r*s = -10 - 50. Does 15 divide s?
True
Let y(x) = -4*x + 12. Is 8 a factor of y(-9)?
True
Suppose -4*w = -7*w + 234. Suppose w = 3*h - 54. Is h a multiple of 7?
False
Let o(r) = -r**3 + 4*r**2 - 2*r. Let s(d) = d**2 + 6*d - 5. Let n be s(-7). Is 3 a factor of o(n)?
False
Let f = -378 - -248. Let u = f + 218. Suppose 93 = 3*h + h + 5*p, -4*h = 4*p - u. Is h a multiple of 7?
False
Let y = -3 + 4. Let u = y - 1. Suppose u = 2*m + 4*s - 108, 2*m = 5*m - 3*s - 135. Does 24 divide m?
True
Let g = -2 + 3. Let d(z) = 16*z - 1 + 11*z - 4*z. Is d(g) a multiple of 22?
True
Let x(j) = 4 - 4 + 2*j**2 - 1 - 2*j. Suppose 0 = f - p + 5, -3*f + 2*p = 5*p - 3. Does 11 divide x(f)?
True
Let v = -9 + 132. Suppose -4*g - g + v = -4*p, -g - 3*p + 36 = 0. Does 21 divide g?
False
Is 32 a factor of ((-384)/(-5))/(-3 + (-165)/(-50))?
True
Suppose 28 = -0*n - 2*n. Does 13 divide (-4)/14 - 368/n?
True
Suppose -4*v + 8*v = 36. Is 9 a factor of v?
True
Suppose -34 = -4*f + 4*g + 2, -2*g = -f + 12. Suppose -3*n - 96 = -2*a, 4*a - f*a - 3*n + 96 = 0. Suppose j - v = 11, -5*j + a = 2*v - 0. Does 10 divide j?
True
Suppose -2*v + 3*h = -363, 296 - 1198 = -5*v + 2*h. Is v a multiple of 36?
True
Let g(r) = r**3 + 8*r**2 - 3. Let a be g(-8). Let j = 3 - a. Does 4 divide j?
False
Let k(s) = s**3 - 3*s**2 - 7*s - 1. Let x(y) = -2*y**3 + 5*y**2 + 13*y + 2. Let h(u) = -11*k(u) - 6*x(u). Is 13 a factor of h(2)?
False
Let b = -20 - -35. Suppose b = 2*g - 2*j + j, -3*g = -j - 20. Is 2 a factor of g?
False
Suppose -70 = 8*d - 470. Does 25 divide d?
True
Let g(x) = x**2 - 2*x + 2. Let n be g(-4). Suppose 4*d - 37 = -3*l, 2*d + 4*l - n = -0*d. Suppose 0 = -3*w + 22 - d. Is 2 a factor of w?
False
Let c be ((-4)/3)/(-2)*45. Suppose -4*g + 25 = -m, -3*g + 0*m - 3*m = -c. Suppose 3*o - g = 11. Is o a multiple of 3?
True
Suppose -113 = -5*o + 22. Let g be -18 - -1 - (3 + -1). Let v = o + g. Is v a multiple of 4?
True
Let m(t) = 2*t**2 - 4*t. Let r be m(3). Let y = 38 - r. Is 7 a factor of y?
False
Suppose -5*z = -3*x - 3*z + 204, 5*x = -5*z + 365. Is 10 a factor of x?
True
Let f(o) = o + 4. Let d be f(0). Let p be (-2 + 0)/(d/142). Let z = 99 + p. Does 10 divide z?
False
Let i(o) = -o**3 + 6*o**2 + 3*o + 2. Let h be 1*3 - (-7)/7. Is 23 a factor of i(h)?
True
Suppose -2*y = 3*y - 120. Let f = y - -15. Is 13 a factor of f?
True
Suppose 4*x = -y - 11, 4*y - 1 + 3 = 5*x. Is 16 a factor of 10*(x + 5) + 2?
True
Let c(u) = u + 5. Let k be c(-4). Let z be 1 + (-5 - (k + -2)). Does 19 divide z*-1*19/3?
True
Suppose j + 5*z - 67 = -16, 4*j - z - 141 = 0. Is j a multiple of 6?
True
Let c(d) = d**3 + 6*d**2 + 5*d - 5. Let x be c(-5). Let q(h) be the second derivative of -2*h**3/3 + 3*h**2/2 - 2*h. Does 8 divide q(x)?
False
Let f(y) = y**2 + 8*y - 19. Is 24 a factor of f(-17)?
False
Let l = 9 + -17. Let q = -6 - l. Suppose 5*r = -q*s + 35, r + r = 4*s - 130. Is 18 a factor of s?
False
Does 26 divide (-464)/(-18) + 6/27?
True
Does 9 divide (216/(-30))/(1/(-5))?
True
Let n = -112 + 217. Is n a multiple of 14?
False
Suppose -v - 4*g + 6*g - 12 = 0, 108 = -4*v - 4*g. Does 11 divide (-5)/((-20)/v)*-4?
True
Suppose -q + 2*q - 23 = -2*v, 0 = -2*q + 4*v + 46. Does 11 divide q?
False
Let d = -8 - -8. Let s be (d - 1 - 0)*1. Let j(l) = -7*l - 1. Is j(s) a multiple of 4?
False
Let s be (-5)/25 + (-46)/(-5). Does 8 divide -1 + s/(3 - 2)?
True
Let i be (4/(-4))/((-1)/(-5)). Let b = i + 8. Suppose b = -x + 23. Does 10 divide x?
True
Suppose 3*a + a + 68 = 0. Let d = -11 - a. Is 17 a factor of 8/10*255/d?
True
Let c(r) = r**3 - 12*r**2 - 11*r - 4. Let o be c(13). Suppose o = 4*s - 14. Suppose -4*q - 75 = -s*q. Is q a multiple of 5?
True
Let o(s) = -s**3 + 9*s**2 - 15*s. Let m = 12 - 6. Does 6 divide o(m)?
True
Suppose -2*z + 8 = -2*q + 4*q, 4*q - z = 16. Suppose -9 = -q*v + 19. Is v a multiple of 7?
True
Suppose 6*y - 50 - 100 = 0. Is y a multiple of 15?
False
Let b(f) = -f**3 + 2*f**2 + 5*f - 4. Let o be (-3)/15 - 16/(-5). Let d be b(o). Suppose 0 = -d*n + 6, 48 = z + 3*z + 4*n. Is 4 a factor of z?
False
Suppose -c - 19 = -0*b + 4*b, -c = -4*b - 21. Let h = c - 0. Is 12 a factor of (-9)/(-2 - h) - -14?
False
Is 9 a factor of (-1 - 0)/((-5)/145)?
False
Let x be (-4)/(0 - (1 + 1)). Suppose -x*f + 11 + 31 = 0. Let p = f - 10. Is p a multiple of 11?
True
Suppose u - 4 = -u. Suppose 2*x + 0*x - 38 = -u*t, 4*x + 92 = 3*t. Does 8 divide t?
True
Is 15 a factor of 2/(-11) - 10751/(-143)?
True
Let a be 0/(-3) - (-60 + 0). Let c = a + -42. Does 10 divide c?
False
Let s = -10 - -7. Does 12 divide (-2)/s + 515/15?
False
Suppose -2*b = -6*b + 2*t + 94, 3*t = 2*b - 49. Is 8 a factor of b?
False
Is 6 a factor of 0/(-10) + (0 - -24)?
True
Let h(c) = -2*c - 7. Let t be h(-6). Suppose -3*z + 60 = 3*i, z = t*i - 0*i - 124. Is 12 a factor of i?
True
Let w be ((-9)/(-4))/((-2)/(-48)). Suppose 2*h - w + 8 = 0. Is h a multiple of 8?
False
Suppose 4*v - 9 + 1 = 0. Suppose 0 = v*b - 3*n - 45, b - 2*n - 23 = -0*b. Is 9 a factor of b?
False
Suppose 7*g - 9 = 4*g. Let r(h) = -h**3 - 5*h**2 - 4*h. Let c be r(-4). Suppose -4*o - s + 153 = c, -g*o + 4*s - 69 + 179 = 0. Is 13 a factor of o?
False
Suppose n = -0*n - 5*g + 20, -2*n - 2*g = -80. Is n a multiple of 12?
False
Let z = -4 - -2. Let o be (-1)/(z*1/22). Let r = o + 8. Is 7 a factor of r?
False
Let y(f) = f**3 - 2*f**2 + 2*f + 3. Let u be y(3). Let w = 14 - -3. Let g = w + u. Is 20 a factor of g?
False
Suppose 4*c = -c + 10. Suppose c*o - 14 = o. Is 7 a factor of o?
True
Let z = -2 - -15. Suppose -11 - z = -4*w. Is 3 a factor of w?
True
Suppose -5*x + 233 = -4*l, l + 2 = 5. Is 21 a factor of x?
False
Suppose 0 = -0*q - 3*q - 99. Let o = -17 - q. Is 16 a factor of o?
True
Suppose -9*c = -59 - 409. Is c a multiple of 26?
True
Let o(p) = -5*p**2 + p. Let w be o(1). Let j = w + 6. Is 2 a factor of j?
True
Let j(f) = f. Let v be j(-2). Let y be (2/(-2))/(v/94). Suppose u + 2 = 2*p - 25, -y = -4*p - 5*u. Is 11 a factor of p?
False
Suppose -3*g + 5*r = 4*r + 52, -52 = 4*g + 3*r. Let c = g - -28. Is 4 a factor of c?
True
Suppose -o + 3 = -3. Suppose 6 + o = w. Is w a multiple of 5?
False
Suppose 0 = -4*n + 152 + 280. Is n a multiple of 18?
True
Let t be (-2388)/(-18) + (-4)/6. Suppose 0 = 3*i - 7*i + t. Does 11 divide i?
True
Let o(n) = 13*n + 10. Let m(u) = 9*u + 7. Let j(y) = 7*m(y) - 5*o(y). Let p be j(1). Let d(x) = x**2 - 2*x 