5)/(-846) - 6/2). Let b = c - -184. Is b a multiple of 5?
True
Suppose 3*b - 138 = 3*a, 0 = -0*b - 4*b - 4*a + 216. Let y = 121 + b. Does 12 divide y?
False
Is 6 a factor of (-1)/(-5) - (-19062)/90?
False
Is (-5)/(1/1) - (-2 + -73) a multiple of 5?
True
Let m = -865 - -1481. Does 22 divide m?
True
Suppose 0 = g - 4 + 3. Let y(c) = -2*c**2 - 2*c + 1. Let z be y(g). Let b = 6 - z. Is b a multiple of 3?
True
Let p(w) = -w**3 + 5*w**2 - 4*w + 4. Let o be p(4). Suppose -o*a - 32 = 2*b + 2, -4*a = 0. Let n = b + 46. Does 15 divide n?
False
Is 4*(-5)/40*(-1650 - 4) a multiple of 92?
False
Does 9 divide 1 - (-91 - (0 + 7))?
True
Suppose -2*g + 8003 = -5*d, 13*g = 9*g - d + 16039. Is g a multiple of 16?
False
Let d be (4 + -1)/((-6)/4). Let r = 40 - d. Suppose p + 3 = r. Is 13 a factor of p?
True
Suppose b - 12 = -0*b. Suppose -4*d = -5*v - b, -4*v - 26 = -5*d - 11. Suppose 6*k - 9*k + 60 = v. Is k a multiple of 5?
True
Suppose 0 = -3*b - n + 990, 4*n = 4*b - 658 - 646. Is 7 a factor of b?
True
Let g(u) be the first derivative of -u**6/360 + 13*u**5/120 - 7*u**4/24 + u**3 - 1. Let x(w) be the third derivative of g(w). Does 11 divide x(5)?
True
Suppose 2*d = 4, 0*t + 3*t - d - 1351 = 0. Suppose -4*g = -635 - 65. Suppose -3*m - g = -t. Does 22 divide m?
False
Let t be (-4)/6 - (-12)/18. Suppose -3*a + 169 - 1 = t. Is a a multiple of 8?
True
Let p = 143 + -145. Suppose x - 5*w = 0, x - w + 56 = -2*x. Let r = p - x. Is 9 a factor of r?
True
Suppose 4*z - 6*z + 72 = 0. Let g = 3 + z. Is g a multiple of 7?
False
Suppose -36 = -3*t - 0*t. Let o be 8/1 - (-20)/(-5). Suppose o*d - 220 = t. Does 15 divide d?
False
Let p(f) = -2*f - 6. Let d be p(-3). Is 39 - 0 - d/(-12) a multiple of 16?
False
Suppose 24808 = 22*f + 9760. Is 9 a factor of f?
True
Suppose 7*x = -2982 + 8036. Is x a multiple of 19?
True
Suppose -5*z = -2*w - 6*z + 7001, 0 = -5*w + 3*z + 17475. Does 66 divide w?
True
Let l = 1534 + -690. Does 24 divide l?
False
Does 12 divide 40905/(-54)*(1 - (-13)/(-5))?
True
Let w(k) = -26*k + 24. Is 18 a factor of w(-29)?
False
Let f(o) be the third derivative of o**4/8 - 5*o**3/3 + 10*o**2. Let c be f(3). Does 7 divide 45 - -1*(c + 0)?
False
Suppose 0 = 3*l - 3*c - 527 - 1402, 4*l - 2572 = -2*c. Does 32 divide l?
False
Let v = 19 + -49. Let u = -17 - v. Does 6 divide u?
False
Let s = 1015 - 706. Does 38 divide s?
False
Let b(l) = l**2 + 6*l + 21. Let n = -114 + 104. Is 8 a factor of b(n)?
False
Let c = -46 + 111. Let i be 32/10 + (-13)/c. Let w(j) = 4*j**2 - 4*j - 1. Is w(i) a multiple of 11?
False
Suppose -y = 2*t - 860 - 1294, -5*y - 1077 = -t. Is t a multiple of 17?
False
Let f(z) = 3*z + 20. Let h be f(-4). Suppose -h*t + t + 973 = 0. Is 26 a factor of t?
False
Suppose 3*l + 0*h + 6 = 3*h, 0 = -4*l + 2*h. Let j(r) = -3*r + 5*r**2 + 3*r - 2*r - r. Does 6 divide j(l)?
False
Suppose 4*o - 1 = 5*o. Let q(k) be the third derivative of -k**4/3 + k**3/6 + 8*k**2. Is q(o) a multiple of 3?
True
Suppose 3*p + 35 = -4*y, -p - 17 = 3*y - 7. Let f be (-27)/18*(p - 1). Suppose 3*l = 2*l + f. Is 7 a factor of l?
True
Suppose -5*o - o + 378 = 0. Is o a multiple of 7?
True
Let c(k) = -1. Let d(y) = -y**2 - 5*y + 13. Let b(f) = -5*c(f) - d(f). Does 28 divide b(4)?
True
Let t(n) = -n**3 - 3*n**2 + 4*n. Let y be (-3)/(-9)*1*-9. Let z be t(y). Let m = 3 - z. Is m a multiple of 15?
True
Let d(i) = 12*i - 15. Let j be d(6). Suppose -30 = -3*u + j. Is u a multiple of 29?
True
Does 36 divide -3 + ((-3508)/(-16))/((-8)/(-96))?
True
Suppose 2*g - 3*g + 14 = 0. Let l be 178/g + 10/35. Suppose 18*q - l*q = 100. Is q a multiple of 4?
True
Let x(o) = 534*o + 35. Does 41 divide x(6)?
True
Let n be (-7)/(7/(-2)) + 147. Let x = n + -81. Is x a multiple of 17?
True
Let o(t) be the first derivative of t**4/4 + 5*t**3/3 - 3*t**2 - 3*t + 3. Let n(r) = -r**3 - 5*r**2 + 7*r + 2. Let g(y) = 4*n(y) + 5*o(y). Does 3 divide g(-5)?
True
Suppose 6*f + 20 = 2*d + f, 3*f + 12 = 0. Suppose 5*i - n - 307 - 36 = d, i - 3*n - 77 = 0. Is i a multiple of 17?
True
Let p be 851/161 - 1/(-7)*-2. Suppose -2*j + 3*n = 0, 0 = -p*j - 5*n + 70 - 20. Is j even?
True
Is 12 a factor of (480/(-28))/(8/(-504))?
True
Let w be 226*2 + 0/4. Suppose -4*x = 4*k - 0*x - w, -3*x - 125 = -k. Is k a multiple of 10?
False
Does 8 divide 7*(-8 - 1040/(-70))?
True
Let l(i) = 5*i**2 + 57*i - 343. Does 16 divide l(7)?
False
Suppose i - 1372 = -z, 4*i + z = 4*z + 5453. Is 7 a factor of i?
False
Does 10 divide (-88305)/(-75) - (-6)/10*1?
False
Let h(w) be the second derivative of -w**3/6 + 9*w**2 + w. Let s = -5 + 19. Is 4 a factor of h(s)?
True
Suppose 2*r - 493 = -5*q, 3*q = 2*r - 3*r + 296. Is q a multiple of 45?
False
Let p(c) = -8*c + 7. Let y(t) = -23*t + 22. Let w(l) = 17*p(l) - 6*y(l). Let o be w(8). Suppose o*h + 30 = 8*h. Is h even?
True
Let i(d) = d**3 + 20*d**2 + 21*d + 7. Let a be i(-19). Let w = a + 175. Is w a multiple of 12?
True
Let z(s) = 311*s - 5. Does 16 divide z(2)?
False
Does 65 divide (215/(-4))/((-1)/(-11 - -47))?
False
Suppose -30*x + 23*x = 21. Suppose 5*t + 52 = -18. Is 10 a factor of (-187)/x - t/21?
False
Let x(m) = -9 + 0*m + 2 - 3*m + 4*m**2 - 3*m**3. Let g(p) = 5*p**3 - 8*p**2 + 6*p + 13. Let l(v) = -4*g(v) - 7*x(v). Is l(-2) a multiple of 4?
False
Let z = -23 + 25. Suppose -r - 1 = -z*k + 35, -5*r - 3*k - 180 = 0. Let f = 7 - r. Is 19 a factor of f?
False
Suppose -p - 19*p = -1540. Is p a multiple of 22?
False
Let a(v) be the second derivative of -9*v**5/10 - v**4/6 - v**2/2 + 2*v. Is a(-2) a multiple of 22?
False
Let a(o) = 24*o + 3*o**2 - 19*o - 2*o**2 + 2. Let d be a(-4). Is 25 a factor of 483/14 - d/4?
False
Let b = -239 + 473. Does 18 divide b?
True
Let a(f) = -f**3 - 2*f**2 + 4*f - 5. Let h be a(-4). Suppose -5*l - 16 = -36. Suppose -h = 3*z - l*z. Is 11 a factor of z?
True
Let m be (-560)/(-5) - (-4 - 0). Suppose 10*o - 234 = m. Is o a multiple of 7?
True
Suppose -5*i = -2*j + 140, 10 + 6 = -4*i. Is 12 a factor of j?
True
Let h(q) = -36*q + 53. Does 21 divide h(-8)?
False
Let b = -150 + 197. Does 2 divide b?
False
Let m be -10 + 15 - (0 - 0). Suppose -3*f + 39 + 36 = m*q, 5*q - 5*f = 75. Suppose -2*h = -11 - q. Is 13 a factor of h?
True
Let q = 66 + -40. Let o = 49 - q. Is 3 a factor of o?
False
Suppose 8 = -2*r, -5*w + 6*r = 3*r - 422. Suppose -4*o + w = -k - 0*k, -4*k = 8. Is 6 a factor of o?
False
Suppose -4*t = -3*d + 1582, -630 = 5*d - 4*t - 3256. Is 18 a factor of d?
True
Let u(r) = -4*r + 30. Is 18 a factor of u(-24)?
True
Suppose 6*o - 4*o - 8 = -4*y, 2*o = -2*y + 8. Suppose 2*w - 7 = -3*g, 0*w = o*g + 2*w - 8. Is (g - 3)*(-26 + 3) a multiple of 16?
False
Let z = -667 - -918. Does 8 divide z?
False
Suppose c - 3 + 0 = 0. Suppose 0 = -0*m - 4*m - 12, 0 = -2*d - m - c. Suppose -2*j + 27 = -d*v + 5*v, 4*v + 3*j - 16 = 0. Is 5 a factor of v?
False
Let n(v) = -v + 7. Let a be n(7). Suppose a = -2*r + 6, -2*r + 135 = 2*i + r. Does 6 divide i?
False
Suppose -s + 2*h = -3885, 4*h + 7763 = 2*s + 7*h. Is s a multiple of 16?
False
Let j = 4019 - 1962. Is j a multiple of 82?
False
Let d(i) = i**3 - i**2 + i + 2. Let v be d(0). Suppose 0*z + v*z - f - 162 = 0, -2*z + 5*f = -162. Is z a multiple of 27?
True
Let c(z) be the first derivative of 5*z**2/2 + 4. Let f be c(1). Suppose 0*j + 140 = f*j. Is j a multiple of 21?
False
Suppose 39*f - 33*f = 2394. Is f a multiple of 19?
True
Suppose -4*j - 4*s - 520 = 0, -127 = -j + 2*j + 4*s. Let u = 32 - j. Does 24 divide u?
False
Let i be (-2)/((-3)/9*3). Let t be 8/(-3)*(1 + -4). Let j = t + i. Is j a multiple of 10?
True
Suppose 4*p - 295 = -5*q, p = -3*p + 2*q + 302. Is 2 a factor of p?
False
Suppose -13*v + 12*v = -37. Is v a multiple of 7?
False
Let m(i) = -256*i**3 + 2*i**2 + 9*i + 7. Is m(-1) a multiple of 2?
True
Suppose 3*s - 987 = 2*l + 1179, -2169 = -3*s + 3*l. Is 30 a factor of s?
True
Let k(r) = 3*r**2 + 18*r + 45. Does 33 divide k(-18)?
True
Let w = -78 - -132. Suppose 5*v = w - 9. Does 9 divide v?
True
Let v(o) = -5*o + 25. Let m be v(-4). Does 15 divide 2031/m - 4/30?
True
Let m(c) = 6*c**3 - 5*c**2 - 10*c + 5. Is 8 a factor of m(7)?
False
Let p(k) = 3*k**3 - 2*k**2 - 2*k + 10. Is p(6) a multiple of 28?
False
Is 17 a factor of ((-3128)/276)/(4/(-66))?
True
Let i(w) = w**3 + 3*w**2 - w - 3. Let x be i(-2). Let b be x/(-2) - 136/(-16). Suppose s 