-3*o + 2*g - 1 + 6. Let c = o + 28. Is 8 a factor of c?
False
Let h(t) be the first derivative of -t**3/3 + 4*t**2 + 3*t + 1. Is 2 a factor of h(8)?
False
Let l be 1/(-1 + 12/9). Suppose 2*s - l = s. Suppose s*w + 4*z - 100 = 0, 5*z + 46 = w - 0*w. Does 20 divide w?
False
Let z(x) = 4*x + 20. Let d be z(-8). Let g(p) = -4*p - 29. Does 19 divide g(d)?
True
Let v be (-6)/21 + 18/14. Let c be 1 - (-1 - (1 - 3)). Is 3 a factor of c + (v - -5) + 0?
True
Let o(q) = q - 2. Let l be o(5). Suppose -g - 2*a - 5 = 0, 5*a - 2*a = -l*g - 3. Suppose n + 42 = g*n. Is n a multiple of 21?
True
Let g(y) = -y**2 + 12*y - 13. Let m be g(10). Let k = m + -6. Let w(q) = 7*q**3 - q**2 + q. Is 4 a factor of w(k)?
False
Suppose 4*r = 2*x - 3*x - 2, -3*x = r - 5. Suppose -x*w = 3*w - 220. Is 22 a factor of w?
True
Let w = 31 + -14. Suppose 3*y + w = 4*y. Is y a multiple of 17?
True
Let x = -3 - -4. Suppose 0 = 4*k - 4*v - 100, -v - x = -6. Let s = 54 - k. Is s a multiple of 12?
True
Let n(s) = -7*s**2 - 12*s + 5. Let x(z) = -z**2 - z. Let f(r) = -n(r) + 6*x(r). Is f(-8) a multiple of 4?
False
Suppose 46 = 4*d + 2. Let b(j) be the third derivative of -j**4/24 + 8*j**3/3 + j**2. Does 2 divide b(d)?
False
Let c(o) = -o**3 - o**2 - o - 3. Is 9 a factor of c(-3)?
True
Let r(z) = 7*z**2 - z - 1. Let f be r(2). Let k = f + -2. Is k a multiple of 7?
False
Let n(o) = -o**3 - 1 - 3*o**2 + 12*o**2 - 4 - 8*o - o**2. Let q be n(7). Let t = q - -34. Is t a multiple of 11?
True
Let z(x) = 2*x - 4. Suppose 0 = 5*h - 30 - 0. Let w be z(h). Suppose -5 = -a + 2*j, 5*j = 3*a - w - 11. Is a a multiple of 5?
False
Let h(y) = 0*y - 640*y**3 + 4 - 3 - y. Let x be h(1). Is x/(-35) + (-4)/14 a multiple of 9?
True
Suppose -3 + 25 = 2*p - 5*q, 3*p - 4*q - 26 = 0. Let g(f) = f**3 - 4*f**2 + 5. Is g(p) a multiple of 22?
False
Let v(c) = -5*c**2 - 27*c - 35. Let h(g) = -2*g**2 - 13*g - 17. Let z(f) = -7*h(f) + 3*v(f). Let b be z(10). Is -2*(-1)/4*b a multiple of 2?
False
Let k(v) = -v**2 + 7*v - 3. Let o be k(5). Let g(c) be the second derivative of -c**5/20 + 7*c**4/12 + 5*c**3/6 - 4*c**2 - c. Is g(o) a multiple of 9?
True
Let t(p) = -p**3 + p**2 + 5*p + 2. Let c be t(5). Let i = -8 - c. Is i a multiple of 26?
False
Suppose z = -2*z + 15. Suppose 3*n - 11 = -4*j + 17, z*j = 5*n. Suppose 5*b + 20 = n*q, -4*b + 1 = -3*q + 16. Is 5 a factor of q?
True
Let x = 20 + 7. Does 5 divide 0/(-2) + x - 3?
False
Suppose -2*z + 2 = -4. Suppose 25 = 2*b + z*b. Suppose b*q = 3*a + 80, -3*q + 40 = 2*q + 5*a. Is 5 a factor of q?
False
Let g = -79 - -120. Suppose 53 = -4*r - 27. Let k = g + r. Is k a multiple of 7?
True
Let d be (-20)/(1 + 2 + -5). Let p = -5 + d. Is p a multiple of 5?
True
Suppose 46 = -5*w - 34. Let v = w - -23. Let d = 19 - v. Is d a multiple of 5?
False
Let v = 164 + -88. Suppose 100 = 4*t + 3*b, -2*t + v - 20 = 3*b. Is t a multiple of 11?
True
Let c(g) = 5*g - 1. Let l be (-1)/(((-6)/14)/3). Is c(l) a multiple of 17?
True
Suppose -q + 227 = -5*c, 0 = 3*q + 2*q + c - 1031. Is 30 a factor of q?
False
Suppose 3*l = -4*b - 11, 0 = 5*l - b + 3 - 0. Let v(t) = 25*t**2 - t. Is 26 a factor of v(l)?
True
Let s(o) = 4*o**3 + 3*o**2 - 3*o - 7. Let z(m) = -7*m**3 - 7*m**2 + 5*m + 13. Let c(j) = -5*s(j) - 3*z(j). Let h be c(-6). Is 2/h - (-57)/2 a multiple of 14?
True
Let z(d) be the second derivative of d**5/20 - d**4/3 + d**3/3 + d**2 - d. Is 10 a factor of z(4)?
True
Let o(n) = -n + 28. Does 7 divide o(0)?
True
Suppose g + 513 = 4*g. Is g a multiple of 20?
False
Suppose 71 = 5*c + 16. Let z = 1 + -2. Is c + z + (-2)/(-2) a multiple of 6?
False
Is ((-42)/(-10))/((-9)/(-90)) a multiple of 21?
True
Let k be (-2)/(6/(-15)) - -1. Does 17 divide 12*(-2 - (-33)/k)?
False
Let i(a) = -50*a + 2. Let k(c) = 25*c - 1. Let q(g) = -3*i(g) - 5*k(g). Does 16 divide q(1)?
False
Let s = 9 - 1. Let g = s - -12. Is g a multiple of 10?
True
Suppose -151 = -4*s + 277. Is s a multiple of 16?
False
Suppose -3*a + 0*a = -87. Suppose 2*r - 52 = 3*g + g, -r = -3*g - a. Is r a multiple of 7?
False
Let l(o) = o**3 + 7*o**2 - 5*o - 8. Let m be l(-7). Let q be 2/9 + (-357)/m. Is 5 a factor of (q*(-1 - -3))/(-2)?
False
Let t(h) = h**3 + h**2 + h + 6. Is 23 a factor of t(5)?
True
Suppose 5*g - 25 - 70 = 0. Let r = g - 15. Is 3 a factor of r?
False
Suppose 0*r + r - 38 = 4*w, -91 = -2*r + 3*w. Does 4 divide (4/5)/(5/r)?
True
Is 5/(1 - 6)*-28 a multiple of 4?
True
Let j(o) = -o**2 - 13*o - 12. Let g be j(-8). Suppose 4*m = 5*k - g, 0 = -4*k + 5*k + 5*m + 6. Is 3 a factor of k?
False
Let q = 44 - 33. Is q a multiple of 6?
False
Suppose 5*l - 3*l = 8. Is l even?
True
Suppose -g = 4*g - 345. Suppose -2*y - g = -5*y. Is y a multiple of 23?
True
Suppose -d + 0 + 4 = 0. Let p be ((-3)/(-5))/(d/20). Suppose -3*u = p*y, -5*u + 0*y + 24 = -y. Is 4 a factor of u?
True
Let o(z) = z**2 - 2*z + 4. Let q be o(0). Suppose 3*s + q*d = 2*d + 46, -30 = -s + 3*d. Is s a multiple of 18?
True
Suppose 8*q - 153 + 33 = 0. Does 2 divide q?
False
Suppose -3*b + 4*i + 29 + 198 = 0, -3*b = 5*i - 263. Does 9 divide b?
True
Is 11 a factor of (-2)/(-6) + (-131)/(-3)?
True
Let k(f) = f**3 + 4*f**2 + 5*f + 6. Let r be k(-4). Let x = 4 - r. Does 9 divide x?
True
Suppose 4*l + 24 - 84 = 0. Is l a multiple of 7?
False
Does 6 divide ((-54)/15 + 4)*330?
True
Suppose 5*b = -0*b - n + 915, b + 3*n - 183 = 0. Does 17 divide b?
False
Let m(k) = -5*k**2 - 7*k + 5. Let x(j) = 5*j - 2 + 14*j**2 - 12 + 15*j. Let v(t) = -17*m(t) - 6*x(t). Does 5 divide v(-2)?
True
Let z(h) = 11*h - 4. Let d be 22/(-3) + 3/9. Let r be z(d). Let m = -51 - r. Is 10 a factor of m?
True
Let q(n) = 47*n - 1. Is q(1) a multiple of 21?
False
Suppose -11*h + 304 = -9*h. Is h a multiple of 6?
False
Suppose -10 = 2*j - 3*i - 115, 4*j - 3*i - 225 = 0. Does 20 divide 5/(j/(-16))*-21?
False
Let l = 14 + -6. Suppose 3*a + 4*q - l = 15, 0 = 5*a - 4*q - 81. Is a a multiple of 7?
False
Let u = -20 + 37. Is u a multiple of 7?
False
Is 29 a factor of 345/(-6)*3*(-18)/15?
False
Let d(o) = 53*o + 1. Does 40 divide d(3)?
True
Suppose -4*u = 5*j - 168, -u = 3*j - 4*j + 30. Is 11 a factor of j?
False
Let k(h) = -h**3 + h**2 + 3. Let o be k(0). Suppose -o*f + 155 = 2*f. Is f a multiple of 10?
False
Let h(m) = 10*m**3 + 9*m**2 - 6*m - 2. Let j(r) be the first derivative of -7*r**4/4 - 2*r**3 + 2*r**2 + r + 3. Let z(a) = 5*h(a) + 7*j(a). Does 3 divide z(-2)?
False
Let r(s) = -s + 32. Does 16 divide r(-16)?
True
Suppose 9 = -0*v - 3*v. Let k be (2 - 1)/v*-177. Let g = 124 - k. Is g a multiple of 23?
False
Let l = -180 + 200. Is l a multiple of 5?
True
Suppose -82 = -4*t + 2*t. Let p = t + -27. Does 14 divide p?
True
Let o = 97 - 68. Let t = o - 16. Is t a multiple of 13?
True
Let l be (104 + 2)*2/(-4). Does 18 divide (l/(-3))/((-2)/(-6))?
False
Let m = 130 + -231. Let w = -58 - m. Is 15 a factor of w?
False
Suppose -4*g = -b + 72, -2*b + 20 = -4*g - 124. Is b a multiple of 9?
True
Is 44 a factor of 47 - (-1 - 1 - 1)?
False
Let n be 3 - ((81 - -2) + -2). Is n/(-9) - 4/6 a multiple of 8?
True
Let s = 41 - 15. Let d = 45 - 58. Let c = d + s. Is 13 a factor of c?
True
Suppose 8*r - 4*r = 3*p + 241, 0 = -p - 3*r - 102. Let q = 145 + p. Suppose 24 - q = -2*a. Does 12 divide a?
False
Suppose 3*m - 9 - 3 = 0. Let h = 9 - m. Is h a multiple of 2?
False
Suppose -i + 0*i + 3*d + 73 = 0, -4*d = -i + 78. Does 3 divide i?
False
Suppose 25 = 3*p + 2*p. Suppose 4 = -4*q + h - 4*h, -2 = -p*q - 2*h. Suppose -q*f + 6*f + 3*c = 52, -4*f - 4*c + 48 = 0. Is f a multiple of 8?
True
Does 23 divide (276/24)/(1*1/10)?
True
Suppose -3*j + 7*j - 4*v + 4 = 0, 3*v + 9 = 0. Let w = 6 + j. Suppose -3*r + o + 27 = 0, -3*r - 2*r + 46 = -w*o. Does 8 divide r?
True
Suppose -35 - 25 = -3*i. Is 10 a factor of i?
True
Suppose -4*z = -3*j + 32, 3*j - 28 = j - 4*z. Is 2 a factor of j?
True
Suppose 4*n = 3*n. Suppose n*h = -h + 8. Does 8 divide h?
True
Let o(h) = -17*h**3 - 2*h**2 - h. Suppose -3*w - 2*r + 2 = 1, 3*r = -2*w + 4. Is 14 a factor of o(w)?
False
Let s be (-3 - (-28)/(-2))/(-1). Let n = s + -9. Let m = -4 + n. Does 4 divide m?
True
Let m(h) be the first derivative of h**4/4 + 4*h**3/3 - 7*h**2/2 + 2*h - 2. Let v(q) = -q**2 - q + 1. Let t be v(-3). Is 6 a factor of m(t)?
True
Let z(g) = -6*g - 37. Does 17 divide z(-9)?
True
Suppose 2*i = -3*i + 115. Let r