-3*s - 16 + 70 = 0. Is 11 a factor of s?
False
Let i(z) = z**3 + 17*z**2 + 12*z - 14. Is i(-16) a multiple of 25?
True
Suppose -a + 2*a = 27. Is 9 a factor of a?
True
Let i(l) = l - 2. Let r be i(0). Let u = 5 + r. Suppose 5*w = f + u*f - 46, 44 = 3*f + w. Is 14 a factor of f?
True
Suppose -5*c - 10 = 0, -3*c - 271 = -5*q - 65. Suppose h - i = -q, -2*i - 161 + 31 = 4*h. Let v = h + 58. Does 10 divide v?
False
Let z be (-266)/(-11) - 24/132. Suppose -5*r = z - 74. Does 5 divide r?
True
Let g = 0 + 5. Let d = 4 - g. Let y = 23 - d. Is 12 a factor of y?
True
Suppose 0 = -c + 2*c - 4. Does 15 divide ((-30)/c)/(8/(-48))?
True
Let x = -36 - -52. Is x a multiple of 8?
True
Let q = 10 + -18. Let p = q - -16. Is 11 a factor of 86/p - 1/(-4)?
True
Suppose 3*n = h - 0*n - 17, 3*h = 5*n + 47. Is h a multiple of 14?
True
Let t = 4 + 4. Is ((-2)/6)/(t/(-144)) a multiple of 6?
True
Suppose 0 = 4*b + 117 + 35. Let o = -16 - b. Does 11 divide o?
True
Let v = 3 - 3. Suppose -s + 0*s + 20 = v. Let p = -6 + s. Is p a multiple of 7?
True
Suppose -p = 4*o + 10 - 711, 0 = -3*o - 3*p + 537. Is o a multiple of 42?
False
Let l(h) = h + 12. Does 9 divide l(5)?
False
Does 33 divide -11*(-36)/10*(-15)/(-6)?
True
Let s(o) = o + 1. Let z be s(-1). Suppose z = -4*q + 75 + 5. Does 17 divide 816/q - 1/(-5)?
False
Suppose -4*x = -5*x. Suppose x = q + 1, -3*u = -u + 4*q. Does 22 divide u/(1 + (-54)/58)?
False
Let p(i) = i**3 - 7*i**2 - 6*i. Let o be p(8). Let a = 29 + o. Is a a multiple of 15?
True
Suppose -5*o = 2 - 17. Let y(m) = 9*m + 4. Is y(o) a multiple of 14?
False
Suppose -5*c + c + u + 324 = 0, 3*u + 405 = 5*c. Does 9 divide c?
True
Suppose -c = -2*d - 34, 0 = -3*c + 2*c - 5*d + 69. Suppose 100 + c = 3*k. Does 13 divide k?
False
Suppose -5*s = -3*g - 584, 582 = 2*s + 3*s - 4*g. Suppose 4*m + 120 = -0*v + 4*v, -5*v - 3*m + s = 0. Is 13 a factor of v?
True
Suppose 0 = 4*l - 3*s + 2*s - 141, -2*l = -2*s - 66. Is l a multiple of 14?
False
Let r(h) = 19*h**2 - 16*h - 7. Is 59 a factor of r(5)?
False
Let g = -80 - -196. Does 26 divide g?
False
Suppose n - m - 48 = 0, 3*m - m = -4*n + 222. Is n a multiple of 39?
False
Let q be (-62)/(-4) + 2/4. Suppose -3*n - q - 2 = 0. Is (-6)/(-4) - n/4 a multiple of 2?
False
Let t(d) be the second derivative of 29*d**3/6 - 3*d. Is 9 a factor of t(1)?
False
Let y(r) = -r - 5. Let g be y(4). Is (-4)/18 + (-29)/g even?
False
Suppose -4*m + 0*k = 4*k - 72, 12 = m - 2*k. Is m a multiple of 8?
True
Let r = -1 - 0. Does 14 divide r/(12/8)*-21?
True
Let u(d) = -d + 8. Let z be u(5). Suppose 2 = -z*q + 2*c - 0, 4*c - 4 = -5*q. Suppose -3*g - g + 36 = q. Does 9 divide g?
True
Suppose 3*b - 3 = -5*m + 20, 0 = -2*m - 5*b + 13. Suppose 4*o + 4 = -3*i - 0*i, 16 = m*o - 2*i. Is 1*(22 + 2 - o) a multiple of 10?
False
Suppose x + 12 = -2*w, 0 = -5*x + 2*x - 4*w - 28. Let d(y) = 5*y**2. Let k be d(2). Does 11 divide x/k - 122/(-10)?
False
Let y(k) = k**3 + 8*k**2 + 4*k - 7. Let m be y(-7). Let o = 16 + m. Does 10 divide o?
True
Suppose 2*h - 357 = -117. Is 8 a factor of h?
True
Let q(i) = -2*i**2 - i. Let n be q(-2). Let j = n - -20. Is 6 a factor of j?
False
Suppose 13 = -2*a + 49. Let g = -4 + a. Is g a multiple of 7?
True
Let y be (-363)/(-21) + 4/(-14). Does 8 divide 1/((-1)/y)*-1?
False
Let m be (-2)/1 - (-4 - (-1 + 4)). Let j(d) = -d**2 + 7*d - 6. Let r be j(4). Suppose m*f - 10 = 3*i, 3*f - r = -6*i + 3*i. Is f a multiple of 2?
True
Suppose 0 = 5*q - 1 + 6. Let y be (-2)/2*(q - -26). Is 8 a factor of (-1)/(-5)*-2*y?
False
Suppose -6*k + 2*k = 4*o - 28, 5*k = -4*o + 30. Let u(z) = 3*z + 17. Is u(o) a multiple of 16?
True
Let d(h) = 5*h + 1. Let t = -7 + 12. Suppose 4*s + 1 = t. Does 3 divide d(s)?
True
Let d = -22 + 31. Is 9 a factor of d?
True
Let a(x) = 2*x**2 + 9*x - 3. Is 2 a factor of a(-5)?
True
Let y = -8 - -5. Let s be 6/4*(-4)/y. Suppose -r - 4 = -b - 3*r, -s*r - 32 = -2*b. Is b a multiple of 11?
False
Let n(m) be the first derivative of m**3/2 - m**2 + 3*m + 2. Let w(g) be the first derivative of n(g). Does 15 divide w(8)?
False
Suppose 0 = 4*n - 5*x + 11, 8*x = -4*n + 3*x + 19. Is n + 2/(-3)*-48 a multiple of 11?
True
Let m = -2 - 7. Let v(w) = 3*w - 8. Let a be v(7). Let p = a - m. Is p a multiple of 8?
False
Let w be (-44)/(-8)*2 - 2. Let y(i) = i**2 - 5*i - 2. Is y(w) a multiple of 14?
False
Let o = -7 - -10. Suppose 0 = 2*s + o*s. Suppose s = -p - p + 30. Is p a multiple of 5?
True
Let h = -194 - -516. Does 23 divide h?
True
Suppose 0 = -3*v - 2*v - 5, 3*n + 3*v - 297 = 0. Is 10 a factor of n?
True
Let c = 634 - 350. Does 17 divide c?
False
Suppose 5*b - 495 = -0*b. Let m = 150 - b. Does 17 divide m?
True
Suppose 2*h + 2*v = 3*h - 4, -4*h = -2*v - 16. Let t(q) = 3*q - 3. Is t(h) a multiple of 8?
False
Let s = 243 - 161. Let o = -46 + s. Does 18 divide o?
True
Let g = 16 - 10. Let v(p) = 2*p**2 - p + 5. Let i be v(g). Is 25 a factor of i + (6/(-3))/(-2)?
False
Suppose 0 = -18*l + 14*l + 508. Is 19 a factor of l?
False
Suppose 156 = 9*m - 3*m. Is 9 a factor of m?
False
Suppose 2*v = 4*v. Let r be (-1)/(-2) + (-23)/2. Let o = v - r. Does 5 divide o?
False
Suppose 42 + 22 = -2*f. Let w = f + 56. Is (6/(-4))/(w/(-512)) a multiple of 15?
False
Let u(f) = 8*f**2 - 4*f + 3. Let g be u(2). Let d = g - 8. Is d a multiple of 8?
False
Suppose -s = s. Suppose s = -5*n - 0*n + 30. Suppose -4*d + 70 - n = 0. Does 8 divide d?
True
Let u = 74 - 53. Is u a multiple of 7?
True
Let s be (-6)/(-4)*(-4)/(-3). Suppose 4*v = s*v. Suppose -2*c + v*c = -54. Is c a multiple of 12?
False
Let q(r) be the first derivative of -r**4/4 - r**3/3 + r**2/2 + 2*r + 2. Let o be q(-2). Suppose -42 = -5*v - o*g + 18, 3*g - 47 = -4*v. Does 6 divide v?
False
Let z(h) = 6*h**2 - 4*h + 5. Is z(2) a multiple of 14?
False
Suppose -o = -5*m + 4 - 21, 5*o = 3*m + 41. Does 2 divide o?
False
Let x be (-606)/(-8)*8/3. Suppose -x = -5*z + 3*a, -3 = z - 5*a - 61. Is 20 a factor of z?
False
Let m be -8 - (-1 + 1)/(-1). Let q = 8 - m. Does 8 divide q?
True
Let j(x) = -x**2 + x - 1. Let b be j(0). Let d = b - -3. Is 4 + -1 + (d - -35) a multiple of 11?
False
Let j = -8 - -17. Does 8 divide j?
False
Let k(a) = -a**3 + 4*a**2 + 3*a - 1. Is k(-2) a multiple of 17?
True
Let c(j) = j**3 - 9*j**2 + j - 13. Let b be c(9). Let o = 6 + b. Suppose -225 = o*v - 7*v. Is v a multiple of 17?
False
Let u be ((-2)/(-6))/(9/54). Suppose 0 = -w + 4*a - 10, -5*a = -w + u*w - 26. Suppose -4*d = y - 15, -y + w = -2*d + 3*y. Is 2 a factor of d?
False
Suppose 6*g + 8 = 4*g. Let x(v) = v**3 + 5*v**2 + 2. Does 6 divide x(g)?
True
Suppose -4*o + 2 = 2*m, 8 = 4*o - m - 9. Let u(c) = -c**3 + 5*c**2 - c - 3. Let y be u(o). Is 2/y + 70/12 a multiple of 3?
True
Suppose 0 = -5*h - 3*i + 96, 3*i - i - 22 = -h. Suppose -2*m + h = m. Is 6 a factor of m?
True
Let b = -8 + 11. Suppose b*v + 5 + 1 = s, 0 = s - 5*v - 8. Suppose -2*c = -q + 30, 2*q - s*c + 25 = 3*q. Is q a multiple of 12?
False
Let p(x) = 3*x + 4. Is 9 a factor of p(4)?
False
Let g(k) = -4*k**2 - 6*k + 5*k**2 + 0*k**2 - 6. Does 5 divide g(8)?
True
Let u(j) = j. Let z(w) = -2*w**2 + 2*w - 8. Let h(v) = -6*u(v) - z(v). Does 22 divide h(7)?
False
Let v = -5 - -9. Let q(g) = -4 + 6*g - 4*g**2 + 12 - v + 3*g**2. Is 2 a factor of q(6)?
True
Suppose 3*c = c + 86. Suppose 11 = -2*j + c. Is 11 a factor of j?
False
Suppose -4*l - 6*p + 36 = -2*p, -4*p + 27 = 3*l. Is 2 a factor of l?
False
Let i = 29 - 20. Let d = -19 - -38. Suppose -i - d = -2*o. Does 7 divide o?
True
Let l = 4 + -6. Let m = 5 + l. Suppose 2*f - 4 = o - 3*f, -m*o + 16 = -f. Is 3 a factor of o?
True
Suppose 0 = -0*q + 3*q - 33. Suppose 0 = 2*n + q - 49. Does 19 divide n?
True
Suppose 4*o + o = 0. Let n be -2 + 6 + 2 + o. Suppose 148 = n*d - 2*d. Is 19 a factor of d?
False
Suppose -5*d = -a - 7, -5 = -4*d + 5*a - 4*a. Suppose d*w - w - 19 = 0. Is w a multiple of 18?
False
Let d(g) = -g**3 - 9*g**2 - 3*g - 18. Does 16 divide d(-11)?
False
Let s = -99 + 174. Does 25 divide s?
True
Let g = -33 + 61. Suppose 3*f - 23 = -4*i, -3*f + g = f + 4*i. Suppose f*r + j - 60 = -15, 5*j - 9 = 2*r. Does 3 divide r?
False
Let x(m) = m**2 + 9*m + 9. Suppose -2*g - 6 = 6. Let w(z) = z + 1. Let t(f) = g*w(f) + x(f). Does 19 divide t(3)?
False
Let j be 25*(1 - 7/5). Let a = 3 - j. Suppose -1 = r - a. Is 6 a factor of r?
True
