or of g?
False
Let i(u) = u**3 + 8*u**2 + 8*u + 8. Let y be i(-6). Suppose 2*p + 2*p = q + y, -p + 21 = 3*q. Does 3 divide p?
True
Let k(n) be the first derivative of n**3 - 7*n**2/2 - 12*n + 6. Is k(6) a multiple of 27?
True
Let w(s) = -s**2 + 2. Let c be w(0). Suppose -2*p = c*p - 52. Is p a multiple of 13?
True
Suppose 4*q + 58 = 482. Let i = q + -46. Let s = i + -20. Is s a multiple of 20?
True
Suppose -5*j - 2*o - 2*o = -388, 378 = 5*j - o. Is 19 a factor of j?
True
Suppose -3*z = v - 0*v - 86, 3*z - 92 = -4*v. Suppose -l - 4*l + z = c, -4*c - 5*l = -142. Is c a multiple of 19?
True
Let o be 5 + 3 - (4 - 1). Suppose o*i = 2*w - 4*w + 119, -i = 2*w - 99. Does 20 divide w?
False
Let y(h) = 3*h + 2. Let j(r) = -r**2 - 8*r - 6. Let c be j(-6). Let g be y(c). Suppose 4*s + 3*f = 26, 0 = 2*s + 5*f - g. Is s a multiple of 3?
False
Does 42 divide 1 + (0 - (-1 - 82))?
True
Let b = -19 - -46. Does 27 divide b?
True
Does 9 divide (57/2)/(93/124)?
False
Suppose 0 = -4*y - 16, y = -d - 1 + 48. Is 6 a factor of d?
False
Suppose 0 = 5*f + 3*y - 191 - 226, 0 = -2*f - 4*y + 164. Does 28 divide f?
True
Let k(s) = s**2 - 9*s - 8. Let q be k(11). Does 7 divide (-342)/(-21) - 4/q?
False
Let c = -3 + 10. Let l be (2 - 3 - -2)*0. Suppose -5*o - 3*p = -41, p + l*p - c = -o. Does 5 divide o?
True
Suppose -3*r + 100 = -68. Does 8 divide r?
True
Suppose 3*t - 229 = -0*u - 2*u, -u + 391 = 5*t. Is t a multiple of 17?
False
Suppose 7*c = -3*a + 4*c - 33, -a = -5*c - 13. Let v = 18 + a. Is v a multiple of 11?
True
Let v(i) = i**3 + 2*i - 2. Suppose 3*w = -4*z - 14, 0 = -5*w - z + 5 - 0. Let l be v(w). Let n = -2 + l. Is n a multiple of 4?
True
Let f = -41 - -83. Is f a multiple of 25?
False
Is (10 - 14)/((-15)/14 - -1) a multiple of 28?
True
Let k(w) = 3*w**3 - 9*w**3 + w + 2*w**3. Let f be k(1). Let u(r) = 4*r**2 + 4*r + 4. Is u(f) a multiple of 8?
False
Suppose -18 + 6 = -3*c. Suppose g + 35 = 4*t, -4*t = -t - c*g - 10. Is t a multiple of 4?
False
Suppose t = -2*x - 4, 2*t - 5*x - 21 = -t. Suppose t = -4*m + 18. Suppose 4*w + 5*o = 35 + 22, -m = -4*o. Is w a multiple of 6?
False
Let g(s) = s**3 - 2*s**2 + 2*s - 3. Let y be g(2). Suppose 5*m - y = 24. Suppose -m*t + 6 = -29. Is t a multiple of 5?
False
Let q(j) = j**2 + 7*j - 5. Let l be q(-7). Let v(t) be the third derivative of t**5/60 + t**4/24 - 2*t**3/3 - t**2. Is 6 a factor of v(l)?
False
Let t(i) = 2*i**2 + i. Let w be t(-1). Let c be (-6)/(-1 + w/(-2)). Suppose -c*y = s - 59, 0*s = 3*s - 9. Does 14 divide y?
True
Suppose -3*c + 4 = 10. Is c + (10 - 0) + -3 a multiple of 3?
False
Let d be 8 + 1*0/(-1). Let p = d + 5. Is p a multiple of 6?
False
Suppose -3*k = -5*k + 124. Suppose 3*s - k = 10. Is (s/30)/((-2)/(-15)) even?
True
Let p = -6 + 4. Let f(a) = -2*a + 2*a**2 + 1 + a**2 + 4*a - a. Is 11 a factor of f(p)?
True
Suppose -2 = r + 4*p, 0 = 2*r - 3*r + 5*p - 29. Is 13 a factor of (-156)/(-11) - r/(-77)?
False
Let r(l) = l + 1. Let c be r(1). Suppose 0 = 3*t - c*x + 5*x - 48, 5*x = -25. Suppose -5*o + 5*j + 90 = 0, 2*j = -4*o + t + 69. Is 21 a factor of o?
True
Suppose 4*v + 26 = -p, 0*v - p - 33 = 5*v. Let b = 16 + v. Is b a multiple of 4?
False
Suppose o = -3*u + 10 - 3, -1 = 3*u + 5*o. Let i be 2*5*u/6. Suppose 5 = 2*s - x - 24, 61 = 4*s - i*x. Is s a multiple of 5?
False
Let b = -8 - -10. Suppose -5*v - 4*z = -161 - 18, 75 = b*v + 5*z. Is 17 a factor of v?
False
Let y = -133 - -59. Let h = -28 - y. Is 20 a factor of h?
False
Suppose 3*q = -4*p + 264, 13 - 98 = -p + 4*q. Is p a multiple of 15?
False
Suppose 2*g - 5 = 3*a + 48, 4*g + 3*a - 97 = 0. Let u(l) = 8*l**3 - 2*l**2 + 2*l - 1. Let i be u(1). Suppose -i - g = -o. Does 17 divide o?
False
Let l(q) = q. Let a be l(2). Let x = a + 4. Does 6 divide x?
True
Suppose -5*h + 172 = -1583. Suppose 4*r - h + 127 = 0. Is 27 a factor of r?
False
Let k be (-1 + -20)/3 + 3. Does 13 divide (-3)/(-12) - 51/k?
True
Suppose 0 = -o + 2 + 5. Let l be 1*-67 - (5 - o). Let z = -44 - l. Does 8 divide z?
False
Suppose -241 = 4*p - 3*y - 53, -4*y = -3*p - 148. Let x = p + 87. Let b = x - 27. Does 9 divide b?
False
Let j(a) be the first derivative of -11*a**2/2 - 7*a + 2. Is 13 a factor of j(-3)?
True
Let a = 1 - -30. Does 31 divide a?
True
Let l(f) = 2*f**2 - 6. Let a(u) = u**3 - 8*u**2 - 10*u + 11. Let b be a(9). Let y = b - 8. Does 22 divide l(y)?
True
Let v = 24 - 11. Let u = 82 - v. Let t = u - 49. Does 15 divide t?
False
Let h(c) be the third derivative of -3*c**4/8 + c**3/6 - c**2. Suppose -3*f + 6 = -5*f. Does 10 divide h(f)?
False
Let y(p) = 11*p**2 - 10*p + 27. Does 24 divide y(5)?
False
Let c be 1/(-2) + (-44)/(-8). Suppose 3*r + 12 = -z, -c*z - 90 = -2*r - 13. Let s = z + 29. Is s a multiple of 14?
True
Let u(d) = -6*d - 4. Let s be u(-9). Suppose 0*p = 2*p - s. Is p a multiple of 9?
False
Let c = 36 - 21. Suppose 2*z = t - 8, -2*t - 3*t - z = c. Let w(m) = 4*m**2 - 3*m - 2. Is w(t) a multiple of 10?
True
Let s = 13 + -18. Does 7 divide s/((-20)/(-6))*-26?
False
Let m = 69 + -42. Suppose 2*p - m = 25. Is p a multiple of 12?
False
Let l = -101 + 177. Does 22 divide l?
False
Suppose 0 = -s - 3, -2*s - 91 = -h - 3*s. Suppose -v + 3*v - h = 0. Suppose -j = 3*g - 2*j - v, -4*g + 2*j = -66. Does 7 divide g?
True
Let c = 8 + -2. Suppose 2*a + 48 = c*a. Does 6 divide a?
True
Suppose 0 = 2*o - 1 - 1. Let a = 30 - -20. Does 25 divide (0 - a)/(0 - o)?
True
Let u(y) be the second derivative of y**3/3 - 2*y**2 + 2*y. Let i be u(6). Suppose 0 = -5*j + 7 + i. Is j even?
False
Is 37 a factor of ((-26)/5)/(26/(-325))?
False
Let n be 1 + -1 - (-5 - -3). Suppose -n*d = -0*d - 14. Suppose 4*u - 21 = d. Is u a multiple of 4?
False
Let y = 27 - -7. Suppose -5*l = 3*w - 8*w + 65, -5*l - 89 = w. Let r = l + y. Is r a multiple of 7?
False
Let a(o) be the second derivative of o**5/10 - o**4/3 - o**3/3 + o**2 - 4*o. Is 10 a factor of a(3)?
False
Let d(v) = -v**3 + 7*v**2 - 6*v + 2. Let f be d(6). Let x be f + 3/(-1) - -4. Let r = x + 8. Is 11 a factor of r?
True
Suppose -2*j + 254 = 5*r + 2*j, -r = 3*j - 53. Let b(d) = d**2 - 6*d. Let l be b(6). Suppose -2*i = 3*z - r, 2*i + 34 = 3*z - l*z. Is z a multiple of 6?
False
Let k be 6 + -4 + (0 - 2). Let h(t) = t + 32. Let a be h(k). Suppose 0 = -3*g + 19 + a. Does 5 divide g?
False
Suppose 4*x + 3*o - 250 = -73, x = -5*o + 23. Let p = x + 21. Is 23 a factor of p?
True
Let f = 20 - 14. Suppose f*q - q - 15 = -3*n, -q = -5*n + 53. Is n a multiple of 5?
True
Let k = 8 - -22. Is 5 a factor of k?
True
Is 9 a factor of (-222)/(-5) + (-48)/(-30) + -2?
False
Let a(x) = -x**2 + 8*x + 7. Does 11 divide a(5)?
True
Let p(k) be the third derivative of k**6/120 + k**5/6 + k**4/4 + 5*k**3/3 + 7*k**2. Does 8 divide p(-9)?
False
Let g be (-74)/(-1) + (-4)/2. Let l(m) = m**3 + 10*m**2 - 2*m. Let q be l(-10). Suppose -g = -4*d + q. Is 12 a factor of d?
False
Suppose -3*q = 4*n + 33, 6*n - 2*n = 4*q - 40. Let l(w) be the second derivative of -w**5/20 - 3*w**4/4 + 3*w**2 - 4*w. Is l(n) a multiple of 6?
True
Suppose 4*n - 28 - 152 = 0. Is n a multiple of 10?
False
Let c = -15 - -16. Is 5/(c*3/24) a multiple of 20?
True
Let b(r) = r + 6*r**3 - 3 + 5*r**3 + 2. Suppose 4*k - 4*p + 4 = 0, 0*k = k - 4*p + 7. Is 5 a factor of b(k)?
False
Let y(k) = k**2 + 15*k + 30. Is y(-13) a multiple of 3?
False
Let a be -3*((-14)/(-6) - 1). Let y be 21/4 + 1/a. Suppose 2*m - 3*m + y*b + 31 = 0, 4*m + 5*b - 74 = 0. Does 9 divide m?
False
Let v = -106 + 216. Does 22 divide v?
True
Let x(y) = y**3 - 4*y**2 + 3*y - 5. Let d be x(4). Let l = -5 + d. Does 11 divide (l - (-2 + 6)) + 14?
False
Let o(n) be the third derivative of -5*n**6/24 - n**4/24 + n**3/6 + 2*n**2. Let a be o(1). Is (-189)/(-5) + (-5)/a a multiple of 19?
True
Let i(c) = -4*c**3 + c**2 + c + 3. Let g be i(-3). Is 35 a factor of 3/3 + -4 + g?
False
Suppose -3*v = -5*t - 2, -t + 3*v - 10 = -0. Let s = t - -16. Is 9 a factor of s?
True
Let z(g) = -7*g - 22. Is 16 a factor of z(-7)?
False
Let b(w) = -w**3 + 5*w**2 - 4*w - 4. Let a be b(4). Let g(m) = -6*m. Is 20 a factor of g(a)?
False
Let x be (-42)/5 + 6/15. Is (2*-1)/(x/92) a multiple of 6?
False
Is -18*1*6/(-4) a multiple of 19?
False
Suppose 333 = k + 2*k. Does 7 divide k?
False
Let n = -2 - -4. Suppose -1 - 11 = -n*u. Suppose -c = -u - 0. Is 6 a factor of c?
True
Suppose 