5 = -5*f, a - 4*f = c. Is 10 a factor of a?
True
Suppose 10 = -2*d + 96. Let v(y) = y**3 + 2*y**2 + 2*y + 1. Let b be v(-1). Does 21 divide d - ((2 - 1) + b)?
True
Let n be (-36)/(-21) - 6/(-21). Suppose m = -m - 3*k + 76, n*m + 2*k - 80 = 0. Is m a multiple of 5?
False
Suppose -4*j = -5*i + 8673, 5199 = 3*i - 11*j + 7*j. Is i a multiple of 10?
False
Let t = 29 + -24. Suppose -t*f - 2*d = 2*d - 59, 5*f - 60 = -5*d. Does 7 divide f?
False
Suppose -2*h + 2*v - 330 = 0, 5*v = 3*h - 4*h - 159. Let w = h + 240. Is w a multiple of 15?
False
Let t(u) = -u**3 - 9*u**2 - u - 7. Let y be 50/(-6) - 2/3. Let b be t(y). Is (b/6)/((-3)/(-162)) a multiple of 3?
True
Suppose 0 = -7*v + 1620 - 479. Is v a multiple of 10?
False
Let c be (-54)/9*2/(-3). Suppose 7*h - 105 = c*h. Is 7 a factor of h?
True
Let u = 26 + -16. Let v(t) = -t**3 + 10*t**2 + 5*t - 8. Does 21 divide v(u)?
True
Let u(a) = a - 5. Let w be u(10). Suppose -2*b - 3*b - w = 5*m, -4*b = 12. Suppose -7*n = -m*n - 240. Does 15 divide n?
False
Let i be (-16)/6*(-18)/12. Suppose 0 = i*l - 0*l - 356. Does 10 divide l?
False
Suppose r - 6*r = -3080. Is 14 a factor of r?
True
Let i(z) be the first derivative of -z**3/3 + 11*z**2/2 + 6*z - 8. Is i(5) a multiple of 18?
True
Let q(b) = -b**2 + 14. Suppose -5*u + 63 = 3. Suppose -2*w - x = 4, -3*w - x - 2*x - u = 0. Is 7 a factor of q(w)?
True
Let s be 2*132/8 - 4. Let l = s + 42. Is l a multiple of 18?
False
Let p(u) be the second derivative of u**4/4 + 13*u**3/6 + 9*u**2 + 14*u. Is p(-6) a multiple of 12?
True
Let l(i) = i**3 + 9*i**2 + 8*i + 5. Let m be l(-8). Suppose 0 = -m*h + 2*h + 66. Suppose -s - s = -h. Is 3 a factor of s?
False
Let z(y) = 5*y**2 + 85. Does 15 divide z(-8)?
True
Suppose -6*d + 24 = -9*d. Let u(m) = -m**3 - 8*m**2 - 4*m + 1. Is 4 a factor of u(d)?
False
Let y(r) = -13*r + 114. Does 58 divide y(-18)?
True
Is 2 a factor of (-38)/114 - (254/(-3))/2?
True
Let f(w) be the third derivative of -w**6/120 + 2*w**5/15 + 3*w**4/8 + w**3/3 - 6*w**2. Let s be f(9). Is (-75)/(s - 3/1) a multiple of 25?
True
Let n(f) = 9*f + 11. Suppose -3*r - 5*i = -26, -3*r + 4*r - 6 = i. Is n(r) a multiple of 39?
False
Suppose 0 = 6*z - 2 + 38. Is ((-38)/z)/(12/36) a multiple of 5?
False
Let p be (-1 - 3)/2 - -4. Suppose 0 = -p*v - v + 9. Suppose v*s + 9 - 54 = 0. Does 5 divide s?
True
Let d(g) be the first derivative of 4*g**3/3 + g**2/2 + 4*g + 5. Is 11 a factor of d(-5)?
True
Suppose -27*r + 12450 = -22*r. Does 30 divide r?
True
Suppose -2*f + 0*f = -436. Let g be (-30)/(-8) + 1/4. Suppose -g - f = -2*j. Is j a multiple of 32?
False
Suppose -2*d + 2 = -34. Suppose 2*s = -d + 82. Suppose s = 2*f - 24. Does 8 divide f?
False
Let f(l) = 4*l**2 + 25*l + 125. Is f(-14) a multiple of 13?
True
Let s(f) = f**2 - f + 65. Let p be s(0). Let u = p - 11. Is u a multiple of 12?
False
Let m(c) = 5*c**2 + 6*c + 2. Let d be m(-2). Does 33 divide d*2*(5 - -2)?
False
Let s = 437 - 245. Is 16 a factor of s?
True
Suppose 2*c + 4 - 8 = 0. Suppose 3*w + 65 = 2*d, -5*d + 0*w - c*w = -191. Does 10 divide d?
False
Is 0 - -57 - (4 + -5)*2 a multiple of 3?
False
Let b = -22 + 18. Let p be -1*(-62 - (1 + b)). Suppose 2*l - 3 = l, 4*g + 5*l = p. Does 2 divide g?
False
Let z(k) = -3*k**2 - 17*k - 7. Let w be z(-5). Suppose -w*b = 35 - 431. Is b a multiple of 12?
True
Let g = 20 + 28. Does 6 divide g?
True
Suppose 23*b = -9*b + 4416. Does 4 divide b?
False
Let p(w) = -43*w**3 - 7*w**2 - 2*w. Suppose 0 = 2*n - 5 - 5. Let d(h) = 21*h**3 + 4*h**2 + h. Let s(f) = n*d(f) + 3*p(f). Is s(-1) a multiple of 8?
True
Let k = 1666 + 655. Is k a multiple of 20?
False
Let r(b) = -3*b**2 - 2*b + 2. Let v be r(-2). Let d be v/8 - 140/(-16). Is 366/7 - d/28 a multiple of 13?
True
Let j(h) = -6*h**3 - h**2 + 13*h + 6. Is 37 a factor of j(-5)?
True
Let b(l) = -l + 45. Let x be b(-10). Suppose -5*k + x = d, 8 = -k + 5*k. Does 9 divide d?
True
Let c(j) = j**3 + 13*j**2 + 12*j - 2. Let x be c(-12). Let f be -5 + 7 + 4*x. Is 12 a factor of 4/((-2)/(1*f))?
True
Let l(d) = d**2 + 2*d + 2. Let k(g) = -3*g + 4. Let x be k(2). Let w be l(x). Suppose -3*t - 3*m = -t - 55, 5*t - 121 = -w*m. Is t a multiple of 16?
False
Suppose -9 = 4*l - l, 5*x = -3*l + 9451. Does 88 divide x?
False
Let i(r) = -r - 9. Let y be i(-7). Let g be (8/(-12))/(y/6). Suppose 3*o - 4*w - 3 = 0, -o - 4*w = g*o - 27. Does 2 divide o?
False
Let o(u) = 26*u - 64. Is o(4) a multiple of 5?
True
Let r = 5 - 5. Suppose 4*i + c + 10 + 184 = r, -3*i - 2*c - 143 = 0. Let b = -35 - i. Does 12 divide b?
False
Suppose -79*v = -29*v - 103800. Does 12 divide v?
True
Suppose 246 = -3*p + 4*z, 0 = p - 5*p - 5*z - 328. Let l = p + 120. Let o = l - -19. Is o a multiple of 19?
True
Let i = 26 - 14. Suppose -h - 4 = -i. Does 8 divide h?
True
Let r = 163 + -56. Let f be (-2)/(-2) - (3 + -29). Does 13 divide r/4 + f/(-36)?
True
Suppose -5*z = 5*m - 545, 0*z + 5*m + 190 = 2*z. Does 15 divide z?
True
Suppose -3*y - b = -3, -y + 2*y = 2*b - 6. Suppose -8*p + 3*p - 4*i = 59, y = -p + 4*i - 7. Let t = p + 38. Is t a multiple of 13?
False
Suppose 6*k = 2219 + 487. Suppose 25 = -x + 6*x, -3*w - 2*x = -k. Is w a multiple of 21?
True
Let g(c) = -c**3 + 7*c**2 + 19*c - 8. Suppose y = 9 - 1. Does 12 divide g(y)?
False
Let d = 45 + -18. Suppose c - d = -8. Is c a multiple of 19?
True
Suppose 10*i - 120 = 6*i. Does 8 divide (448/20)/(6/i)?
True
Let i = -52 - -55. Suppose 0 = i*y - 317 - 493. Is 13 a factor of y?
False
Suppose -2*q + 11024 = 5*z, 4*z + 14*q = 15*q + 8814. Is 29 a factor of z?
True
Let c(r) = -r - 21. Let b be c(-18). Let a = b - -18. Is 4 a factor of a?
False
Suppose 41*d - 11902 = 6466. Does 16 divide d?
True
Let p(h) = 2*h - h**3 - 13*h**2 - 1 + 22*h**2 - 9*h**2. Let z be p(-2). Suppose -22 - 41 = -z*j - o, 2*j + 3*o - 35 = 0. Is j a multiple of 22?
True
Let h be 1/(11/5 + -2). Suppose h*p = 295 - 45. Suppose 75 = 4*a - 0*r + 3*r, -5*a = -5*r - p. Is a a multiple of 15?
True
Let p(s) = 73*s + 11. Is 18 a factor of p(7)?
True
Let q(l) = -3*l + 104. Is 3 a factor of q(9)?
False
Let j be (-3)/9 - 19/(-3). Let o = j - 3. Is 19 a factor of -3 - (o + -247)/4?
False
Let s(i) = 3*i**2 + 4*i - 5. Let u be s(4). Suppose -4*j - o - 2*o = -67, 3*j + 4*o = u. Is 9 a factor of j?
False
Let f = 2863 - 199. Is 23 a factor of f?
False
Let v be 12/(-16) - 2166/(-8). Suppose 0 = -5*h - h + v. Does 15 divide h?
True
Let n = -397 + 460. Is n a multiple of 21?
True
Let j be ((-8)/6)/((-1)/(-3)). Let d = -1375 + 1347. Let y = j - d. Is 8 a factor of y?
True
Let m(d) = d**3 - 10*d**2 - 12*d + 14. Let a be m(11). Suppose 4*p = -5*r + 171, a*p + r = -r + 123. Is 10 a factor of p?
False
Let h(q) = -29*q - 7. Let k(y) = -59*y - 13. Let p(f) = 5*h(f) - 3*k(f). Let v = -22 + 25. Is 20 a factor of p(v)?
True
Let b = -108 + 184. Let z = -1 + -35. Let t = b + z. Is 10 a factor of t?
True
Let z be 13/1 + -3*1. Let s(k) = -k**3 + 8*k**2 - 3*k + 19. Let f be s(8). Is 21 a factor of ((-126)/z)/(1/f)?
True
Let i = -6 - -8. Suppose 4*m - 18*m = -644. Is 8 a factor of m/(-4*(-1)/i)?
False
Let n = -15 + 10. Is 9 a factor of 12/((-2)/45*n)?
True
Let g be 0/((-17 + 1)/(-4)). Suppose 133 = 4*r - 8*r - k, -k - 5 = g. Is 15 a factor of ((-24)/r)/(1/40)?
True
Let a = 117 + 39. Suppose a = 3*l - 156. Is 13 a factor of l?
True
Suppose 2*o + 5*t = -0*o - 9, 5*t = 4*o - 27. Suppose 0 = o*w - 110 + 26. Does 4 divide w?
True
Let j be (-1 + 2)/((-8)/904) - 0. Let v = 209 + j. Is v a multiple of 16?
True
Let m be -140*(3 + (-57)/15). Let a = -229 + m. Let r = 217 + a. Does 25 divide r?
True
Let y be 0/(2*(-4 - -3)). Suppose -16*x + 14*x + 28 = y. Is x a multiple of 9?
False
Let s = -113 - -79. Let a = 5 + s. Let o = a - -41. Is o a multiple of 6?
True
Suppose 0*b - 3*b - 11 = 2*m, 5*b = 3*m + 7. Let y = b + 5. Suppose 2*s = -y*r + 24 + 6, 0 = 5*s - 5. Is r a multiple of 2?
False
Let m(b) = -2*b - 9. Let a(r) = -r - 1. Let p(w) = a(w) - m(w). Let h be p(-8). Suppose -z + h*z - 4*f = -21, -4*z - 2*f = -140. Does 10 divide z?
False
Let j(p) = -p + 4. Let u be j(0). Suppose 4*v - 4*w - 60 = 0, -5*v = -10*v + 2*w + 78. Suppose -u*b + 8 = -v. Does 6 divide b?
True
Let o(k) = k**3 + 16*k**2 - 5*k - 29. Let w be o(-16). Let t = 115 + w. Is 53 a factor of t?
False
Suppose 0 = -7*c + 9*c - 408. Suppose 8*z - 401 = 4*z - 