. Let d be v(8). Is 2 a factor of (d/10)/((-16)/(-40))?
False
Let h be -2 + 3/((-9)/(-15)). Let t be (-10)/(-3) - h/9. Suppose 4*s + 2*x = 20, 3*s = -s - t*x + 24. Does 2 divide s?
False
Suppose -2*a + 0*j + 425 = -3*j, -4*a + 5*j = -855. Suppose b + 4*b = a. Is 16 a factor of b?
False
Let o(s) = -s**3 + 9*s**2 - 10*s + 8. Let t be o(7). Suppose -3*f = -2*f - t. Does 10 divide f?
False
Let k = -100 + 185. Does 17 divide k?
True
Suppose 2*w + 5*u = 30, -2*w - u + 2*u + 6 = 0. Suppose -w*v + 7*v = 122. Does 22 divide v?
False
Let b be 102/9 - (-2)/3. Let y(g) be the second derivative of g**3/3 - 5*g**2 + 6*g. Is y(b) a multiple of 13?
False
Suppose 170 - 48 = 5*y - 2*u, 94 = 4*y + 2*u. Does 8 divide y?
True
Let f(h) be the first derivative of h**4/4 - 5*h**3/3 + h**2 + 3*h - 1. Let b be f(5). Let c = 18 + b. Is 14 a factor of c?
False
Suppose c - 3 - 9 = 0. Let p = c + -27. Is ((-186)/p)/((-2)/(-5)) a multiple of 13?
False
Let c(o) = -o**3 - 13*o**2 - 15*o - 14. Let a be c(-12). Suppose w + 14 = -0*m - m, -4*m = 0. Let g = w + a. Is g a multiple of 8?
True
Suppose -7*y + 2*y - 25 = 0, -2*y = -2*d + 34. Is 3 a factor of d?
True
Suppose 0 = 5*u - u - 20, 3*r + 3*u - 24 = 0. Let c = -4 + r. Does 9 divide 1/(c/2) + 27?
False
Let p = -223 + 315. Let l = p + -50. Suppose -v = 4*j, -2*j + l = -3*v + 7*v. Does 12 divide v?
True
Let w(g) be the second derivative of g**5/20 - 2*g**4/3 + g**3/2 + g**2 - g. Let u be 22/3 - 8/(-12). Does 9 divide w(u)?
False
Let x = 156 - 76. Is 20 a factor of x?
True
Let y = 40 + -73. Suppose 3*m = -4*b + 3*b - 167, -282 = 5*m - 2*b. Let r = y - m. Is 16 a factor of r?
False
Suppose 5*s - 245 = 275. Does 34 divide s?
False
Let u(l) = -9*l + 2. Let w be u(-2). Suppose -5*b = -w - 15. Let g = 0 + b. Is g a multiple of 3?
False
Let y = 219 + -195. Is 10 a factor of y?
False
Suppose q - 52 = -4*b + 19, -3*b = -2*q - 45. Let z be b - -1 - 4/(-2). Let a = z - -4. Is a a multiple of 12?
True
Let r(h) = -h**2 + 5*h. Let y be r(5). Suppose y = -2*a + a - 47. Let m = a - -92. Is 21 a factor of m?
False
Let f = -12 - -35. Is 13 a factor of f?
False
Suppose 5*o - 9 - 11 = 0. Suppose 28 = j - o*x - 0*x, -j = -x - 28. Is j a multiple of 14?
True
Let s be -5 - -3 - 12/(-3). Suppose 4*w = -w - 5*u + 130, 0 = 5*w + s*u - 130. Does 13 divide w?
True
Suppose 5*a = 19 + 21. Suppose 2*t - 3*l = -a*l + 65, 5*t + 4*l = 120. Does 20 divide t?
True
Suppose -7*h + 205 = -117. Is 6 a factor of h?
False
Suppose 5*c = -3*y + 111, 0*c = -5*y + 2*c + 216. Let h(l) = -l**3 + 2*l**2 - 5*l + 2. Let x be h(3). Let n = y + x. Is 10 a factor of n?
True
Let q = 10 + -10. Suppose 4*z + 4*p - 3 - 1 = q, -4*z = -2*p - 34. Is 2 a factor of z?
True
Suppose -4*y + 104 = 4*l, -2*l - 2*y + 60 = -4*y. Let u = l - 1. Is u a multiple of 13?
False
Is (0 - -3)/((-9)/(-69)) a multiple of 8?
False
Suppose -2*y + 49 + 29 = 0. Is y a multiple of 13?
True
Let c be (-2)/(-6) - (-17)/3. Let v = 9 - c. Suppose 0 = -2*o - 3*l + 37, v*o = -2*l + 48 + 5. Does 9 divide o?
False
Suppose 0 = -3*t + 4*t + 3*a + 2, -a = 0. Let b(w) = -3*w - 15. Let f be b(-10). Let u = f - t. Is u a multiple of 9?
False
Let k(b) = b**3 + 7*b**2 - 8*b + 13. Let s(n) = 2*n**3 + 13*n**2 - 16*n + 26. Let d(f) = -5*k(f) + 2*s(f). Is d(-10) a multiple of 2?
False
Let q = -15 - -54. Let k be 12/15*(6 - 1). Suppose -q - 5 = -k*v. Is v a multiple of 10?
False
Let g(k) = -2*k**3 - 3*k**2. Suppose 2*n = -3*n - 10. Let h be g(n). Suppose 4*o - 10 = b + 46, 23 = 3*o + h*b. Is 5 a factor of o?
False
Let t be 219/12 - (-2)/(-8). Let f = 20 + -30. Let l = t + f. Is l a multiple of 5?
False
Let a(j) be the third derivative of -j**8/448 - j**5/120 + j**4/24 - j**2. Let h(i) be the second derivative of a(i). Does 12 divide h(-1)?
False
Let j(c) be the third derivative of 1/120*c**6 + 0 + 4/3*c**3 + 1/4*c**4 + c**2 + 0*c + 11/60*c**5. Is 17 a factor of j(-10)?
False
Let p be (-18)/7*56/(-6). Is 30/4*p/10 a multiple of 12?
False
Let o(h) = h**3 - 15*h**2 + 13*h + 12. Let p be o(14). Is 18 + 3 + p + 2 a multiple of 19?
False
Let x(g) = g**3 - 6*g**2 + g + 8. Let o = 44 + -14. Suppose -2*m = 3*l + m - o, 8 = 2*m. Is x(l) a multiple of 14?
True
Let d = 88 - -12. Is d a multiple of 10?
True
Let w(o) = o**3 - 4*o**2 - 6*o + 5. Let s be w(5). Suppose 2*r = r - 4*i + 17, -r - 2*i + 9 = s. Is 17 a factor of (r - -1)*(-51)/(-6)?
True
Suppose -2*c - 19 = -2*j - 3*j, 4*c = 2*j + 2. Suppose c*m + 2*n = 34 + 19, 5*m = -5*n + 90. Is m a multiple of 8?
False
Suppose 4*v + 5*d = 193, -5*d = 2*v - 50 - 59. Let c = v + -22. Is 11 a factor of c?
False
Suppose g + 5*h - 40 = 0, -3*g - 5*h - 56 + 216 = 0. Is 12 a factor of g?
True
Suppose -44 = -3*u + 46. Suppose 0*z - u = -2*z - s, s = 2. Let j = 11 + z. Does 14 divide j?
False
Suppose 4*q = -5*u - 182, -2*q = -3*u + 76 + 4. Let h(k) = 19*k**2 + 2*k. Let t be h(2). Let g = t + q. Is g a multiple of 13?
False
Let r(t) = -35*t**3 + t**2. Does 12 divide r(-1)?
True
Suppose -2*d + 7 = -5. Suppose 2*t + s - 16 = -2*s, -3*s = d. Is t a multiple of 10?
False
Suppose 0*u - 294 = -7*u. Is u a multiple of 7?
True
Does 21 divide (-60)/210 - 1852/(-14)?
False
Let w = -6 - -3. Suppose 4*k - 11 - 17 = 0. Let a = w + k. Does 3 divide a?
False
Suppose 0 = 4*q - 3*x - 63, -q - 2*x + 1 = -1. Is q a multiple of 6?
True
Suppose k - 47 = -l, -k = -2*k - 2*l + 51. Does 19 divide k?
False
Suppose -101 = 4*x - 5. Let r = x - -75. Does 31 divide r?
False
Let n be (-66)/18 - (-2)/(-6). Does 19 divide (106/n)/((-1)/2)?
False
Let c be 2/3*3/2. Does 11 divide (-2 - 37)*c/(-3)?
False
Let n be (1/(-2))/((-1)/172). Is 23 a factor of (n/3)/(2/3)?
False
Let q(y) = -14*y. Suppose -h + 18 = 4*r - 0*r, -r = 2*h - 8. Let i be -1*(-1)/h*-2. Does 14 divide q(i)?
True
Let p(y) = -1 - 1 - y + 0*y**2 + 0 - y**3 - y**2. Let b be p(-2). Suppose -b*t + 15 + 33 = 0. Does 7 divide t?
False
Suppose 0 = 5*n - 4*r - 184, -7*r + 3*r = 4. Is 12 a factor of n?
True
Suppose -q - q + 4*c = -16, -5*q + 5*c = -55. Does 7 divide q?
True
Let o = 40 + -30. Is o a multiple of 9?
False
Suppose -4*j + 0 = -12. Suppose 0*x = j*x - n - 113, -12 = -3*n. Is x a multiple of 13?
True
Let x(c) = -c**2 + 35*c - 30. Does 13 divide x(24)?
True
Let a(u) = -21*u - 3. Let y(l) = 252*l + 35. Let n(r) = -35*a(r) - 3*y(r). Is n(-1) a multiple of 17?
False
Suppose 217 = 7*m - 56. Does 22 divide m?
False
Let m be -2*(3/2 - 3). Suppose m*y - 57 = -12. Does 9 divide y?
False
Suppose n - 2*h - 18 = 0, 4*n + 5*h - 46 = 13. Does 6 divide n?
False
Is (12/(-6))/1 - -11*1 a multiple of 3?
True
Suppose 2*s - 22 = -2*h, 0*h - 3*h - 57 = -3*s. Let v be s/2*(-8)/(-12). Suppose -v*b = -0*b, 18 = l - 5*b. Is l a multiple of 9?
True
Suppose 3 = 2*q - 17. Suppose 8 = n - q. Does 6 divide n?
True
Suppose 7 + 3 = 5*b. Suppose -d + 16 = -b*s, 2*d - 2*s = 13 + 15. Is d a multiple of 6?
True
Let j(b) = -29*b + 2. Let t be j(-4). Suppose -4*v - 18 = -t. Suppose -1 + v = 3*k. Does 4 divide k?
True
Let k(j) = -4*j - 2. Is 15 a factor of k(-11)?
False
Let j = 20 - 12. Suppose j*y + 3*d + 54 = 4*y, 5*d = 2*y + 14. Let l = 21 + y. Is 4 a factor of l?
False
Suppose 71 + 21 = 2*p. Suppose -p - 9 = -5*y. Is y a multiple of 11?
True
Does 6 divide 1 - 0 - (-3 - 20)?
True
Let s(g) = -g**3 - 5*g**2 - 6*g - 4. Let k be s(-4). Let o(m) = 3 + 3*m + m - 5. Is 8 a factor of o(k)?
False
Let j be (0 - -2)*25/2. Suppose 0 = -5*y + 5*f + j, -5*f + 13 = y - 10*f. Suppose y*m - 63 = -5*n, 5*n - 5*m = 2*n + 31. Is n a multiple of 12?
True
Let d(i) = 2*i**2 - 2*i - 3. Let q be 1 - 2 - (-3 + -1). Suppose 19 = -2*p - q*w, 5*p + 45 = -4*w + 8. Does 21 divide d(p)?
False
Suppose 24 = 6*w - 18. Is w a multiple of 2?
False
Suppose 2*s = -5*t - 198 + 498, -3*t = -3*s + 408. Let f = -229 + s. Let x = f - -134. Is x a multiple of 19?
False
Let w be 1/(20/6 - 3). Suppose w*a - 2*i = 30, 3*i - 7 = -a - a. Is 8 a factor of a?
True
Let s(k) = -2*k - 4. Let i be s(-5). Let b be -2*3/i + 3. Is 7 a factor of b - 1*21/(-3)?
False
Let i = -5 + 5. Suppose i = -v - 5, 0 = a - 5*v - 13 - 60. Is 17 a factor of a?
False
Let i = 63 + -4. Suppose 0 = 5*r - 46 - i. Is 10 a factor of r?
False
Let r = 89 + -40. Is r a multiple of 9?
False
Suppose -21 = -4*z + 11. Let c = z + 20. Is c a multiple of 8?
False
Let j(l) be the third derivative of l**