ose 2*n + g - o = 0, -3*g - 2 = -2*n + 10. Is 6 a factor of n?
False
Let d be 23/4 - (-12)/(-16). Does 12 divide ((-59)/(-3))/(d/15)?
False
Let j = 33 + -6. Does 27 divide j?
True
Let l = -6 + 13. Let d = -11 + 34. Suppose l = -v + d. Is v a multiple of 8?
True
Suppose -48 = 6*y - 7*y. Suppose 2*q - 2*j - y = -0*j, -2*q + 33 = 3*j. Is 7 a factor of q?
True
Let q(n) = 2*n**2 + 13*n + 8. Is 3 a factor of q(-7)?
True
Let f = -1 - -35. Is f a multiple of 10?
False
Is ((-4)/8)/(-1 - 26/(-28)) a multiple of 5?
False
Is (-140)/(-18) + (-2)/(-9) a multiple of 4?
True
Suppose 4*g = 3*g - 2*p + 150, p + 2 = 0. Is g a multiple of 14?
True
Let s(h) = 17*h - 1. Suppose 5*l = 4*r - 14, 2*r - l = 5*r - 1. Is 16 a factor of s(r)?
True
Let x = 2 + 16. Is (-398)/(-9) + (-4)/x a multiple of 22?
True
Let o = 20 + -20. Let j(q) = -q**2 + 12. Does 7 divide j(o)?
False
Let q = -4 - -9. Suppose q*v = 69 - 24. Is v a multiple of 5?
False
Let d(g) = -2*g - 9. Let z be d(-8). Suppose -5*f = 2*l - z*l - 15, -3*f - 3*l + 27 = 0. Suppose -m = -f - 5. Is m a multiple of 4?
False
Suppose 6*m + 18 = 3*m. Let z(i) be the first derivative of -i**2 - 7*i + 2. Is 5 a factor of z(m)?
True
Let l = -27 + 5. Let r = -16 - l. Is r a multiple of 6?
True
Let z = 634 + -384. Does 25 divide z?
True
Let g(z) be the second derivative of 5*z**3/3 + z**2 + 3*z. Does 11 divide g(2)?
True
Suppose -2*m = -5*m - 45. Let j = m - -49. Is j a multiple of 17?
True
Suppose 5*r - r - 272 = 0. Is r a multiple of 14?
False
Suppose -5*d - 3*f = 22 + 33, d + f = -13. Let b be (d/6)/((-1)/9). Let u(m) = m**3 - 11*m**2 - 12*m + 4. Is u(b) a multiple of 4?
True
Let f = -56 - -100. Suppose 0*m = -2*m + f. Does 11 divide m?
True
Is (-2)/6*-3*109 a multiple of 18?
False
Let u(p) = p**3 - p**2 + p - 2. Let g be u(2). Suppose -18*y + 23*y - 45 = 0. Suppose 0 = y*o - g*o - 20. Does 4 divide o?
True
Is 10 a factor of -15*9/((-108)/40)?
True
Suppose -5*k - 2*m + 75 = 0, 4*k + 3*m = 30 + 37. Let r(q) = q**2 - 5*q + 2. Let w be r(6). Let u = k - w. Does 5 divide u?
True
Let n(o) = o**3 - 7*o**2 + 14*o + 11. Is n(9) a multiple of 11?
False
Let y(p) = 6*p - 2. Is y(15) a multiple of 22?
True
Suppose f + 4 = -6. Does 11 divide (-6)/f + 1302/30?
True
Let d = 28 + 100. Is d a multiple of 30?
False
Let q = 131 - 91. Is 21 a factor of q?
False
Let p(l) be the second derivative of l**8/6720 - l**7/630 - l**6/360 - l**5/60 - l**4/4 - 3*l. Let j(z) be the third derivative of p(z). Is 4 a factor of j(5)?
False
Suppose -4*b - 18 = 2*m, -4*m + 10 + 26 = -4*b. Let t be 70/(-4) - 3/b. Let v = -1 - t. Is 16 a factor of v?
True
Suppose 0*c = -3*c + 12. Suppose n = -n - c*a + 30, 0 = n + 5*a - 15. Let s = 43 - n. Is 14 a factor of s?
True
Let k = -6 - -9. Suppose 0 = -k*j - 2*j, 0 = q + 5*j - 48. Does 11 divide q?
False
Let z(j) = -j**2 - 11*j - 14. Let f be z(-10). Is 22 a factor of 65 + 1 + 4 + f?
True
Let l = 71 + 31. Does 17 divide l?
True
Suppose 5*p - 155 - 25 = 0. Does 36 divide p?
True
Is (1 - -1 - -1 - 0)*5 a multiple of 2?
False
Let o = -7 - -11. Suppose -1 = o*g + 7. Does 12 divide g/6 - 146/(-6)?
True
Suppose -5*p - 8 = -3*p, -g + 2*p + 92 = 0. Does 12 divide g?
True
Suppose 28*g = 6*g + 4928. Is 28 a factor of g?
True
Is 8 a factor of (-2324)/(-44) + 4/22?
False
Let t(v) = v**2 + 17*v + 0*v**2 - 22*v + 1. Does 11 divide t(8)?
False
Let v(i) = -4*i - 26. Is v(-9) a multiple of 4?
False
Suppose 1 = -2*n - 1. Let s(g) = -g**3 + 8*g**2 - 8*g + 9. Let z be s(7). Is z/(-1) - 8*n a multiple of 3?
True
Suppose -2*z = z - 42. Suppose -5*h + 104 = z. Is 9 a factor of h?
True
Suppose 3*u - 27 = -0*u. Let c = -1 + u. Does 5 divide c?
False
Suppose -4*g = -9 - 7. Suppose -i + 19 = n, g + 1 = -i + 5*n. Suppose 0 = 4*l - i - 37. Does 6 divide l?
False
Let k be 0 - (2 - (-2 - -6)). Let z be 1/k + 171/6. Suppose -2*v + z = c - 17, 2*c = -3*v + 91. Is 19 a factor of c?
False
Let k(i) = -i**3 + i + 17. Suppose 0 = q, -d + 3 = q - 1. Suppose 5*u - d*c + 12 = 0, -2*u + 4*u - 3*c = -9. Does 17 divide k(u)?
True
Suppose -4 = 2*a + 2, -3*l - 2*a = -162. Does 8 divide l?
True
Let s = -607 - -934. Is 14 a factor of s?
False
Let j be ((1 - 1) + 0)/2. Suppose c - 5*w = 36, -w - 61 = -2*c - 2*w. Suppose 5*m - c - 4 = j. Does 3 divide m?
False
Let t(f) be the third derivative of -f**7/1260 - 13*f**6/720 + f**5/20 - 3*f**2. Let i(r) be the third derivative of t(r). Is 14 a factor of i(-10)?
False
Suppose 3*n - 5*m = 20, 0 = 2*n - 5*n - 4*m + 11. Suppose -n*y - 18 = k, -y + 14 = k - 4*y. Suppose k*o = 21 + 63. Is o a multiple of 21?
True
Let p = -406 - -686. Is 56 a factor of p?
True
Let u be -2 + -5*(-2)/2. Suppose 24 = u*o - 66. Let z = -21 + o. Is 7 a factor of z?
False
Suppose 0 = 6*r - 12 - 48. Does 5 divide r?
True
Let a(v) = 22*v**3 + v**2 + v - 1. Let p be (-2 - 9/(-3)) + -2. Let d(j) = -2*j**3 - 2*j**2 - 2*j - 1. Let s be d(p). Is a(s) a multiple of 6?
False
Suppose 2*o + 0*o = -3*w + 24, 0 = -4*w. Let i = 40 - o. Is 10 a factor of i?
False
Let a = -2 - -5. Let h(p) = -a + 0 - 6*p - 3 + 5. Is h(-2) a multiple of 6?
False
Let w = -306 - -518. Suppose -w = -3*l - l. Is l a multiple of 25?
False
Let c(k) = k + 5. Suppose 0 = -2*h - g + 10, -6*g + 5*g + 17 = 3*h. Is c(h) a multiple of 6?
True
Suppose 0 = -2*k + k + 2. Suppose -n - k*n = -132. Does 22 divide n?
True
Suppose -2*m = -5*n - 7*m + 35, -16 = -4*m. Let k = n + 17. Is 20 a factor of k?
True
Suppose -11 = -4*u + 5. Suppose -5*r = 3*q + 19, 0*r = u*q + 2*r + 2. Is q a multiple of 2?
True
Let p = 13 + -11. Suppose -4*d - 2*o = -74, -p*o = d + o - 11. Is 20 a factor of d?
True
Let l(c) = c**2 - 7*c. Let t(u) be the first derivative of 2*u**3/3 - 3*u**2 + 1. Let s(z) = 3*l(z) - 2*t(z). Is s(-7) a multiple of 12?
False
Suppose 0 = 2*j - j - 32. Does 11 divide (-10)/4*j/(-4)?
False
Let u be (-7)/(14/(-3))*2. Suppose u*p + 100 = 5*p. Is p a multiple of 16?
False
Let t be (-42)/(-10) - 4/20. Let d = t - 3. Suppose -m - d = -33. Is m a multiple of 16?
True
Let p(c) = -6*c**2 - 5*c. Let q be p(-4). Let h = -42 - q. Is h a multiple of 12?
False
Suppose -6*d = -0*d - 216. Does 7 divide d?
False
Suppose -4*h + 4 + 4 = 0. Suppose -7*s + 10 = -2*s. Does 9 divide ((-26)/(-1))/(h/s)?
False
Let n(t) be the second derivative of t**6/360 + t**5/60 - t**4/12 - 2*t. Let b(q) be the third derivative of n(q). Does 22 divide b(10)?
True
Suppose -4*v = -5*v + 3. Suppose 4*r - 20 = -h, 4*h - r + 5 = h. Is v + (3 - (-3 - h)) a multiple of 8?
False
Suppose 0 = -3*q - q - 4. Let x(r) = -14*r + 1. Is 5 a factor of x(q)?
True
Let d be ((-5)/(-10))/((-3)/(-24)). Does 31 divide -97*(4/d + -2)?
False
Suppose 2*j - 65 = -5*x - 3*j, -5*x + 65 = 3*j. Suppose -g + 0*n + 3 = 2*n, 2*g - 5*n + 3 = 0. Suppose g = -3*c + x. Does 2 divide c?
True
Suppose -2*y = y - 5*d - 47, -2*y = 4*d - 24. Is y a multiple of 14?
True
Let k be 27/12 - 2/8. Suppose k*g - 45 + 137 = 0. Let l = 88 + g. Is 14 a factor of l?
True
Let x be 2/(-10) - (-358)/(-10). Let s = -10 - x. Is 13 a factor of s?
True
Let r(h) = -h**3 - 6*h**2 - 7*h - 6. Let w = 4 - 9. Let j be r(w). Suppose -j*p = -144 - 12. Does 10 divide p?
False
Suppose -2 + 3 = -b. Let f(y) = -7*y**3 + y**2 - 1. Is f(b) a multiple of 7?
True
Let n(z) = z**2 - z - 2. Let l be n(3). Suppose b - 5*f = 7, -2*f = -l*b - f + 47. Is b a multiple of 11?
False
Suppose -5*p - 2*h + 377 = 0, -29 = -p + h + 45. Is p a multiple of 7?
False
Suppose 4*j = a - 188, 3*a - 19 - 558 = -j. Is a a multiple of 16?
True
Suppose 0 = 2*i + 68 + 34. Let t = -16 - i. Does 10 divide t?
False
Let k = 405 - 235. Is k a multiple of 29?
False
Let k = 23 - -49. Is k a multiple of 24?
True
Let k(d) be the second derivative of 25*d**3/6 + d**2 - 2*d. Is k(2) a multiple of 14?
False
Suppose -i = -2 - 1. Suppose -i*z = -w, 2*z - 2 = w - 6. Is 6 a factor of w?
True
Suppose -5*r + 10 = -0. Suppose 0*g = r*g + 68. Let p = g - -67. Is p a multiple of 11?
True
Suppose 4*z - o = 736, 2*z - 369 + 1 = o. Suppose 9*t - 4*t + z = 4*w, -5*w = t - 259. Is 18 a factor of w?
False
Let d(y) = 19*y**2. Let r be d(-1). Suppose -5*s = 5*t - 5, -s + 2*t = 2*s - 23. Suppose s*g - r = 6. Is g even?
False
Let x(v) be the third derivative of v**5/60 + v**4/4 - v**3/6 + 8*v**2. Does 18 divide x(-11)?
True
Suppose 0 = c - 4*t + 17, 2*t + t - 24 = -3*c. Su