+ 5*h + 27. Let l(r) = r**2 - 2*r - 13. Let x(t) = -5*l(t) - 2*u(t). Let a be x(0). Suppose 25 = 2*f + a. Is f even?
False
Let h(b) = 21*b + 6. Let d(m) = m**3 - 3*m**2 - 7*m + 14. Let p be d(4). Does 21 divide h(p)?
False
Suppose 30 = 6*k - 3*k. Let v(d) = 5*d**2 - 12*d - 8. Let h(z) = -z**2 + 1. Let w(a) = 3*h(a) + v(a). Is 25 a factor of w(k)?
True
Is 7 a factor of (3262/7)/((-9)/108*-6)?
False
Let l = 13 + -38. Let h = -17 - l. Does 14 divide 580/h + (-12)/8?
False
Let j(p) be the first derivative of 2*p**3/3 + 3*p**2 - 6*p - 4. Let y be j(-7). Suppose -12*m = -7*m - y. Is 6 a factor of m?
False
Let x(c) = -28*c + 24*c + 2*c**2 - c**2. Let n be x(4). Suppose n = -4*f + 284 - 20. Is 11 a factor of f?
True
Suppose -5*i + 1155 = -3*y, 16*i + 231 = 17*i - 3*y. Is i a multiple of 33?
True
Let j(v) = -13*v - 12. Let y(b) = 3*b**2 + 19 - 2*b**3 - 21 + 0*b**3. Let k be y(2). Is 11 a factor of j(k)?
True
Let z = 112 + -120. Let c = 23 - z. Is 31 a factor of c?
True
Let q(g) be the first derivative of -g**2/2 - 6*g + 11. Let n be q(-6). Suppose 0*w = -2*w, n = 4*m + 4*w - 36. Does 9 divide m?
True
Let v = 214 + -178. Is v even?
True
Let m(c) = 2*c + 763. Is 13 a factor of m(0)?
False
Suppose -24*a - 2460 = -30*a. Suppose 5*r - 4*o = 224 + a, -2*o = 2*r - 250. Does 18 divide r?
True
Let q(t) be the third derivative of -t**8/20160 - t**7/420 - 7*t**6/720 + t**5/30 - 4*t**2. Let l(x) be the third derivative of q(x). Does 6 divide l(-10)?
False
Let c = -21 - -56. Let i be c/20 + 2/8. Does 23 divide i/9 - (-3451)/63?
False
Let l = 31 - 2. Suppose 48*r = 43*r. Suppose r*k + l = k. Is 6 a factor of k?
False
Let h be (-2)/5 - (-63)/(-105). Let c be h*54*12/8. Let o = -35 - c. Is o a multiple of 31?
False
Suppose 0 = -3*r + 13*r - 430. Let i = -17 + r. Does 5 divide i?
False
Let o(g) = -4*g**2 - 4*g - 2. Let q be o(-3). Let m = 29 + q. Is 2 a factor of m?
False
Let u(i) be the third derivative of i**5/60 + i**4/12 + i**3/3 - 3*i**2. Let t be u(-3). Suppose -4*p + t*v = -127, 2*p - 13 = p + 5*v. Is 15 a factor of p?
False
Suppose -g - g + 8 = 0. Let j be g/((-24)/(-26))*3. Let x = 27 - j. Is x a multiple of 7?
True
Suppose 19*g + 168 = 7*g. Let z = 195 - g. Is z a multiple of 31?
False
Let g = -73 + 793. Does 19 divide g?
False
Does 13 divide 3/((-6102)/(-2028) - 3)?
True
Suppose -13*a - 15250 = -38*a. Is a a multiple of 5?
True
Let k be (1 + (-9)/3)*(-6)/4. Let h = 23 + k. Is h a multiple of 2?
True
Let p be (13/(-5) + 2)*-15. Suppose -4*r + r + p = 0. Is (-147 + r)/(-4) - -4 a multiple of 20?
True
Suppose -5 = -3*s + m + 32, 55 = 5*s + 5*m. Let n = s - -49. Is 13 a factor of n?
False
Let j(a) = 9*a - a**2 + 69 - 2*a + 0*a**2 - 77. Let t be j(5). Suppose t*h - 2 = 94. Is 17 a factor of h?
False
Let z = 3 + -3. Suppose 3*y = 5*y - q - 1, z = y - q + 2. Suppose 6 = y*s - 3*x, -s - 2*s = x - 18. Is s a multiple of 4?
False
Let k = -1 - -25. Suppose k = -2*h - 8. Does 4 divide 30/4 + 8/h?
False
Let v = 11 - -11. Suppose -2*a = l - v, l = -0*l + 4. Is a a multiple of 9?
True
Let n = 3553 - 1341. Does 7 divide n?
True
Let u(w) = 51*w**3 - 2*w**2 + 2*w - 1. Let f be u(1). Let o = f - 24. Is 13 a factor of o?
True
Suppose 13*c + 5580 = 16*c. Suppose -4*a = -5*f - c, -f + 1376 = a + 2*a. Is a a multiple of 46?
True
Suppose 50 = -5*o + 2*c, -2*c - 2*c = 4*o + 12. Let q(y) = -y**2 - 9*y - 3. Let k be q(o). Suppose 7 + k = a. Is 7 a factor of a?
False
Suppose -6012 = -24*x + 15876. Does 48 divide x?
True
Let y = -19 + 61. Does 37 divide 3/y*-4 + (-1040)/(-14)?
True
Suppose -2*m - 37 - 3 = -2*n, 0 = 4*m + 4. Is n a multiple of 4?
False
Suppose -3*d = -31*d + 13692. Does 36 divide d?
False
Suppose -q + 118 = 5*p, -2*q = 2*q + 4*p - 392. Let z = q + -36. Suppose -4*t + 43 = k + 11, 0 = -3*k + t + z. Is 20 a factor of k?
True
Let c = -721 + 1266. Is c a multiple of 30?
False
Let n(r) = r**3 + 6*r**2 + 5*r + 7. Let j be n(-5). Suppose 3*x + 0 = 2*a - j, x = -4*a - 7. Let d(w) = 3*w**2 + w. Is d(a) even?
True
Let p = 87 - 79. Is ((-60)/p)/(-3)*(12 + 0) a multiple of 15?
True
Suppose -4*k = -o - 2*o - 64, k - 31 = -3*o. Suppose -k*x = -4*x - 810. Is x a multiple of 9?
True
Let r(y) = -y - 11*y**2 + y**3 + 8 + 19*y**2 - 18. Is r(-6) a multiple of 17?
True
Let x = 686 - 192. Does 13 divide x?
True
Suppose w + 2*u = 1311, 5*w = 11*u - 9*u + 6507. Does 36 divide w?
False
Suppose 0 = 17*a - 38046 - 3859. Is 43 a factor of a?
False
Let v be (-1)/2 + (-15)/(-2). Suppose -z + v + 16 = 0. Is z a multiple of 9?
False
Let a = -48 - -52. Suppose 2*w = -3*m - 2*m + 160, -a*m = 2*w - 128. Is m a multiple of 3?
False
Let i(r) = -r**3 - 6*r**2 - 9*r - 15. Let s(x) = -7*x**2 - x. Let t be s(-1). Does 13 divide i(t)?
True
Let a = -327 + 591. Suppose -k + a = 104. Suppose 3*n - 264 = -5*l, 4*l - l + n = k. Is 12 a factor of l?
False
Let t = -60 + 101. Let s = -156 + 196. Suppose s = 3*w - t. Does 6 divide w?
False
Is ((-3)/(-15) - (-32571)/45) + -4 a multiple of 38?
False
Suppose 0 = -114*n + 119*n - 35. Is 6 a factor of 14/n - 17*-2?
True
Let y = -1686 + 2691. Is 9 a factor of y?
False
Let s = -3 + 8. Let u be s/(-10)*(0 + 0). Suppose u = -i - i, -4*t + 3*i + 44 = 0. Is 4 a factor of t?
False
Let d(i) be the third derivative of -i**7/840 - 5*i**6/144 - 13*i**5/60 + 9*i**2. Let m(h) be the third derivative of d(h). Is m(-19) a multiple of 26?
False
Suppose -26*m = m - 19845. Is m a multiple of 35?
True
Suppose 69 = 11*h - 10*h. Let f = h + -3. Does 14 divide f?
False
Let m be (12/21)/(8/308). Is 21 a factor of (252/10)/(m/110)?
True
Suppose 0*n = -n + 3. Suppose 0 = n*j - 8*j - 3*r + 126, 3*j + 2*r - 75 = 0. Is 9 a factor of j?
True
Let f = -69 - -23. Let g = 86 + f. Is 20 a factor of g?
True
Is ((-177)/15)/(11/(-55)) a multiple of 7?
False
Let w(u) = -2*u**2 + 19*u - 6. Let t(n) = -5*n**3 - n**2 + 8*n + 9. Let l be t(-1). Does 9 divide w(l)?
False
Let l = 9 - -36. Is 2 a factor of l?
False
Let b(t) = t**2 - 9*t + 11. Let v be b(8). Suppose -4*o + 46 = -y, 0 = 5*y + v*o - o + 120. Let n = y - -46. Does 9 divide n?
False
Suppose -4*v + 19 + 180 = 5*k, 0 = -5*v + 2*k + 290. Is 9 a factor of v?
False
Let r(u) = 25*u**3 + 5*u**2 - u + 3. Let f(z) = -26*z**3 - 6*z**2 + 2*z - 3. Let i(v) = -6*f(v) - 7*r(v). Is i(-2) a multiple of 17?
False
Let w = 76 - 23. Suppose 4*g - 5*p - 50 = w, 55 = 2*g + p. Is (-4)/18 + 3894/g a multiple of 29?
False
Let w(g) = -g**3 + 12*g**2 + 26*g - 4. Does 44 divide w(11)?
False
Let a(p) be the first derivative of -p**3/3 - 13*p**2/2 - 9*p - 13. Is 9 a factor of a(-8)?
False
Let g = 96 - 91. Suppose 0 = 3*h - 15, 2*j + g*h = 6*j - 395. Is j a multiple of 21?
True
Let b(f) = -f**2 - 64*f + 204. Is b(-36) a multiple of 12?
True
Let p be 6*80/(-18)*(-6)/5. Suppose -p*u + 42 = -29*u. Is u a multiple of 10?
False
Let o(w) = 3*w**3 + w**2 - w. Let i be -1*((1 - -1) + -17). Suppose -5*g - 5 = -i. Is 13 a factor of o(g)?
True
Let j(f) = f**2 - 9*f - 2. Let y be j(8). Let l(z) = 1 + 20 - 73*z**2 - 10*z + 72*z**2. Is l(y) a multiple of 6?
False
Let m = -189 - -203. Does 8 divide m?
False
Let a be (-34)/6 + 1/(-3). Suppose 0 = -10*t - 178 + 838. Is 8 a factor of t*1/(a/(-3))?
False
Let l be -1 - 2 - 278*2/2. Is 25 a factor of (-1 - l)*(2 + (-40)/25)?
False
Let q = -561 + 895. Does 7 divide q?
False
Suppose 0 = -5*l + 3440 + 4095. Is l a multiple of 94?
False
Let v(n) = -n**2 - 9*n - 6. Let s be v(-8). Does 20 divide (-34)/(-17) + 236/s?
True
Is -5 - (-352)/72 - 5050/(-9) a multiple of 51?
True
Let h = -624 + 642. Is h a multiple of 3?
True
Let q(b) = -b**2 + 10*b + 5. Let g be q(6). Suppose 0 = -3*r + g - 14. Suppose 123 + 222 = r*i. Is i a multiple of 15?
False
Let x(s) = s**3 - 10*s**2 + 19*s - 1. Let g be x(10). Suppose 0*i - i - 2*b = -51, 0 = -4*i - 3*b + g. Is i a multiple of 11?
False
Suppose -n = s - 91, -s + 6*s = 5*n - 475. Suppose 3*l - n + 333 = 0. Let u = 150 + l. Is 20 a factor of u?
False
Let b(u) = u - 5. Let k be b(9). Suppose l - 3*i - 6 - 3 = 0, -k*i - 5 = l. Is (3 - l) + (32 - 1) a multiple of 20?
False
Suppose -395 = 5*i - 2*o, -4*o + 2 = 22. Let k = i + 105. Does 12 divide k?
True
Let l(t) = -13*t**2 + t + 59. Is 4 a factor of l(0)?
False
Let o(d) = 8*d**2 - 16*d + 22. Let x be (-14)/(-4) - (-45)/30. Is o(x) a multiple of 8?
False
Let s(n) = n + 111. Does 6 