= -d**3 - 7*d**2 + 6*d + 4. Let n be y(-8). Suppose v*b - n = b. Is 3 a factor of b?
False
Let r = 7 + -4. Let n be 6/r*3/(-2). Is 2/(-6) + (-49)/n a multiple of 16?
True
Suppose 6*j + 30 = -30. Let u = 11 - 29. Let m = j - u. Is 8 a factor of m?
True
Let m = 0 - -29. Is 11 a factor of m?
False
Suppose -127 + 5 = -2*n. Suppose 4*t - n = -3*h, 5*t + 5*h - 75 = -0*t. Is 8 a factor of t?
True
Let d = -20 + 160. Is 10 a factor of d?
True
Let f = 4 + -4. Let g = f - -48. Suppose 0 = -0*n - 2*n + g. Does 17 divide n?
False
Suppose -2*s = -8 - 2, -25 = -5*l - 4*s. Let m be (-4)/(-2) + 0/1. Suppose f + 44 = 2*x + l, 0 = m*x - 2*f - 48. Is 8 a factor of x?
False
Let d(s) = 2*s**3 + 3*s**2 - 7*s + 4. Does 14 divide d(2)?
False
Let d(y) = 11*y**3 + 2*y**2 - y - 2. Is 20 a factor of d(2)?
False
Let j(c) = c + 1. Let z(l) = 12. Let g(x) = 3*j(x) - z(x). Does 8 divide g(11)?
True
Let f = -7 - -10. Suppose -f*z - 19 = -115. Does 32 divide z?
True
Does 33 divide 3280/50 - 1/5*-2?
True
Suppose 0 = -5*m + c + c - 16, 5*m + 25 = 5*c. Let r be m + (2 - (-12)/2). Does 10 divide (10/r)/(2/24)?
True
Suppose 0 = -c + 2*b - 26, -2*b + 42 = -4*c + 2*c. Let q be c/(1 - 6/4). Suppose 3*d = d + q. Is d a multiple of 8?
True
Let l(x) = 2*x**2 + 3*x - 8. Does 6 divide l(-4)?
True
Let x(s) = 9*s - 6. Is x(8) a multiple of 11?
True
Let n(u) be the third derivative of u**6/120 - u**5/15 + u**4/6 + u**3/6 - u**2. Let r be n(3). Does 4 divide 24/(-4)*(-6)/r?
False
Let u = -1 - -1. Suppose u*h + 5*h - 458 = 4*t, 88 = h + t. Suppose 2*i = c + 46, -3*c = -2*i - 2*i + h. Is i a multiple of 12?
True
Let y be 10/3*12/(-10). Let x be (-1 - y/2) + -4. Is x/(-4) - 279/(-12) a multiple of 10?
False
Suppose -3*v = 2*v - 2*m - 26, 0 = 2*m - 4. Suppose v*n - 23 = 5*n. Is 6 a factor of n?
False
Suppose 24 = 4*n - 192. Is n a multiple of 7?
False
Let a be (0 + 93/2)*4. Let d = -71 + a. Let f = d + -78. Is 14 a factor of f?
False
Suppose 3*v - 22 - 8 = 0. Suppose -v = m - 5*s + s, -s + 5 = m. Suppose m*h + 4 = 14. Is h a multiple of 3?
False
Let j = 117 + -51. Is j a multiple of 22?
True
Suppose -29*j + 80 = -24*j. Is 2 a factor of j?
True
Suppose 8*x + 27 = 11*x. Is x even?
False
Let j(d) = -d. Let m be j(-2). Is 232/20 + m/5 a multiple of 6?
True
Let p = 27 + 5. Does 16 divide p?
True
Is 11 a factor of (-1)/(1/7*(-1)/11)?
True
Let o be 8/(-14) + (-120)/84. Does 4 divide 6*(0 + o/(-2))?
False
Suppose 0*m - 32 = -4*m. Is m a multiple of 8?
True
Suppose -h + 64 = -3*i, 5*i - 9*i = 5*h - 225. Is h a multiple of 40?
False
Is 41 a factor of (246/1)/((-21)/(-14))?
True
Does 12 divide 85*((-38)/(-70) + (-3)/21)?
False
Let n be (3 - (-58)/(-6))*3. Let u = n + 10. Is -1*-9*u/(-3) a multiple of 10?
True
Let z be 2/(-6) + 302/6. Suppose 0 = 2*p + 4*d + 2, 0 = 3*p + 2*p - 5*d + z. Let r = -3 - p. Is 4 a factor of r?
True
Let z be (1/(-2))/(1/(-8)). Is 19 a factor of ((-188)/8)/((-2)/z)?
False
Let w = 252 - 163. Is 3 a factor of w?
False
Suppose 0 = a + 3*a - 12. Suppose -3*v - 102 = a*q, -3*v - 28 = q + 12. Is (1 - q)*(2 + -1) a multiple of 12?
False
Let c(q) = -5*q**2 + 4*q + 11. Let g(l) = -9*l**2 + 7*l + 21. Let m(y) = 7*c(y) - 4*g(y). Is 14 a factor of m(-5)?
False
Let w be (3 + -2)*-3 + 23. Let o = w - 15. Is o a multiple of 5?
True
Let f(z) = -13*z**2 + 21*z - 19. Let m(v) = 7*v**2 - 10*v + 9. Let t(d) = 6*f(d) + 11*m(d). Does 15 divide t(11)?
False
Suppose 0 = -7*d + 303 + 243. Is 13 a factor of d?
True
Let j(a) be the second derivative of -a**5/20 - 7*a**4/12 - 4*a**3/3 - 4*a**2 - 2*a. Is j(-7) a multiple of 13?
False
Let z = -9 + 31. Is z a multiple of 15?
False
Suppose 0 = -l - 58 + 18. Let m = l - -70. Does 15 divide m?
True
Let s(u) = 5*u - 9. Let d(x) = 11*x - 19. Let p(t) = 3*d(t) - 7*s(t). Let f(b) = 1. Let o(w) = -6*f(w) + p(w). Is o(-6) a multiple of 12?
True
Suppose -3*c = -0*c - 15. Suppose 85 = 5*u - c. Suppose 0 = 2*a + 5*t - 36, -3*a + 4*t + u = -a. Does 13 divide a?
True
Let q(r) = -r**2 + 3*r + 3. Let t be q(3). Suppose -2*p + 2*c + 0*c = -34, -9 = -t*c. Is p a multiple of 10?
True
Let c = 24 - 10. Suppose 0 = c*j - 9*j - 475. Does 15 divide j?
False
Suppose 3 = -p + 8. Let a = 2 - p. Does 9 divide (0 + a/(-6))*36?
True
Suppose 3*o = -o + 12. Suppose 2*y + 23 = o*y. Does 12 divide y?
False
Let p(s) = 2*s**3 - 7*s**2 - 7*s - 5. Is p(6) a multiple of 19?
True
Suppose 4*h + q - 20 = -q, -5 = -h + q. Suppose -5*w = -h*l + 10, l = 6 - 2. Suppose w*k - 3*t = 18 - 5, 5*t = -k. Is k even?
False
Let v(u) = u**2 + u - 8. Let a be (0 + 5 - 1) + -2. Let q be -1 - (-14 + 0)/a. Is 14 a factor of v(q)?
False
Suppose -5*v - 35 = -2*h, -1 = 5*v - 16. Let i = 18 - h. Does 21 divide (-774)/(-14) + 2/i?
False
Suppose c = d + 263, 4*c - 773 = c - d. Suppose 91 = -3*w + c. Suppose -w = 2*u - 6*u. Is 7 a factor of u?
True
Let b(h) = h**2 - 5*h + 1. Let c be b(4). Let d be (-43 - -1)/c - -2. Suppose n = 2*n - d. Is 11 a factor of n?
False
Let q be (-2)/(-2*2/(-20)). Let h be q/(-15) + 100/3. Suppose h = 4*u - 22. Is 9 a factor of u?
False
Let b(w) = -w + 15. Let h(c) = -2*c + 15. Let i(a) = -7*b(a) + 6*h(a). Let u be i(-10). Suppose 5*t - u = 10. Is 9 a factor of t?
True
Let r(a) = 5*a**2 - 8*a + 6. Let s be (2 + 12)*(-4)/(-8). Let t be r(s). Suppose -3*m = 5*x + 29 - t, -5*m = 4*x - 281. Is 19 a factor of m?
True
Let c be (-2)/(-7) + 994/(-49). Let o = 60 + c. Is o a multiple of 10?
True
Is 7 a factor of 6728/261 - 4/(-18)?
False
Suppose -3*w - 2 = -4*w. Suppose -w*k + 12 = k. Suppose 3*o - 53 = -4*b, -k*b - o + 3*o + 38 = 0. Is b a multiple of 6?
False
Let n = 1 + -1. Let b be (0 - n - 1)*17. Let j = -6 - b. Is 11 a factor of j?
True
Suppose -5*g = -w - 3, 6*w = 5*g + w - 15. Suppose g*a = 2*a + 2. Does 6 divide a*(-1)/((-1)/(-15))?
False
Does 19 divide (-2)/(-4) + 1017/18?
True
Suppose -5*w + 82 = -258. Suppose -w = -2*c + 24. Suppose u = 3*b - 44, 2*b - 6*u = -2*u + c. Is b a multiple of 13?
True
Is 7 a factor of (-310)/(-25) - 5 - (-4)/(-10)?
True
Let n(v) = v**3 - 2*v**2 - 4*v + 1. Let d be n(3). Let h = 16 - d. Let p = h + -3. Does 15 divide p?
True
Let j(z) = -26*z - 8. Is j(-3) a multiple of 7?
True
Suppose 3*c = 3*t - c - 2, -3*t + c + 14 = 0. Is t a multiple of 5?
False
Let l(u) = u**2 + 3*u + 14. Is 31 a factor of l(-6)?
False
Suppose 0 = h - 4*h + 6. Suppose h*r - 10 = -4*q, 3*q - 2*r - 17 = -6. Suppose 5 = -t, 0 = -5*y + t + q + 17. Is y a multiple of 3?
True
Let b(k) = 11*k**2 - 11*k - 1. Is b(4) a multiple of 28?
False
Suppose -2*y + 5 = -1. Suppose 5*g - 5 = y*k, -5*k = -g - 10 - 11. Suppose g = u - 6. Is u a multiple of 8?
False
Let v = -983 + 423. Is v/(-90) - (-2)/(-9) a multiple of 2?
True
Let f(t) = t**2 + 3*t + 2. Suppose -4*g - 8 + 0 = 0. Let m be f(g). Suppose m*j = -j + 21. Is j a multiple of 8?
False
Let s(v) be the third derivative of v**5/30 - v**3/3 - 3*v**2. Does 3 divide s(-2)?
True
Let d = 20 + -14. Let f = -1 + d. Suppose 0 = -n + 2*o - 8 + 24, f*n - 80 = 2*o. Does 8 divide n?
True
Suppose 1 = 4*m - 11. Does 26 divide (-1 + (m - 6))*-13?
True
Suppose 4 = 15*t - 13*t. Suppose 5*m = 2*n + 244, 0*m - 5*n - 85 = -t*m. Does 11 divide (2 + m)*3/6?
False
Let s = 0 + 4. Suppose -3*d + 5*d = 5*a - 790, s*a - 4*d - 620 = 0. Suppose -2*m + a = 3*m. Does 11 divide m?
False
Let m(j) = j**2 + 1. Is m(-6) a multiple of 18?
False
Let c(l) = -3*l - 4. Let n(v) = v - 1. Let w(h) = -h**2 - 5*h - 1. Let i be w(-4). Let s(x) = i*n(x) - c(x). Is s(4) a multiple of 16?
False
Does 12 divide -2 + (2 - (-140 + 1 + -5))?
True
Let w(v) = -3*v + 9. Let j(s) = 1. Let o(a) = 4*j(a) - w(a). Does 3 divide o(4)?
False
Is -3 + 2 + 3 + 192/3 a multiple of 22?
True
Let r = 218 - 95. Suppose 87 = 5*v - r. Is 11 a factor of v?
False
Let u(w) be the second derivative of -w**3/6 + 5*w**2/2 + 4*w. Is 11 a factor of u(-6)?
True
Is (-90)/(-24)*192/9 a multiple of 16?
True
Let c(p) = -p**2 + 7*p - 6. Let y be c(6). Suppose 2*t + y*t = 234. Does 6 divide t/7 - (-2)/7?
False
Suppose 0 = 3*g + 15 - 51. Is g a multiple of 4?
True
Let f(c) be the third derivative of 29*c**7/5040 - c**6/720 + c**5/60 + 2*c**2. Let q(d) be the third derivative of f(d). Is q(1) a multiple of 11?
False
Let z = -41 - -85. Is z a multiple of 13?
False
Let v(w) = -1. Let x(i) = -i**2 - 6*i. Let h(p) = 3*v(p) - x(p). Let l be h(-5). Is 13 a