 7 divide a(r)?
False
Let x(b) = 5*b + 2 - 5*b**2 + 0 + 0*b**2 - b**3. Let u(y) = y**2 - 22*y + 115. Let h be u(11). Does 8 divide x(h)?
True
Let n(c) = -3*c**3 - 2*c**2 - 2*c. Let u be n(-2). Suppose -10 = 6*h + u. Let v(r) = r**3 + 5*r**2 + 8. Is 4 a factor of v(h)?
True
Let o(v) = 2*v**2 + 18*v + 20. Let t be o(-9). Is 20 a factor of t/(-12) - (-2409)/9?
False
Suppose 5*m - 16 = 4. Suppose -2*y = 8*g - m*g - 46, -4*g + 4*y + 64 = 0. Suppose -g + 51 = l - 3*a, -4*a - 8 = 0. Does 10 divide l?
False
Let r be (-10)/3*24/(-20). Let f be (0/(-1))/((-12)/r). Suppose 5*n - 53 = -z - f*z, 4*n - 48 = 2*z. Is n a multiple of 10?
False
Let m = -465 - -500. Is 22 a factor of m?
False
Let c(i) = 3*i**3 - 8*i**2 - 10*i - 7. Let b(q) = -q**3 - q**2 - q + 1. Let v(j) = 4*b(j) + c(j). Let l = -9 - 2. Is v(l) a multiple of 10?
True
Let k = -2823 - -4041. Does 21 divide k?
True
Let m(p) = 2*p**2 - 14*p + 89. Is m(15) a multiple of 30?
False
Let t be 2 + -1 - (-250 + 6). Suppose -t = 4*d - 773. Suppose -4*b + 100 + d = 0. Does 21 divide b?
False
Let l(i) = i**2 + 69*i - 143. Is l(20) a multiple of 75?
False
Let p(n) = 4*n**2 - 5*n + 763. Is 2 a factor of p(0)?
False
Let b = 1739 - 1051. Does 16 divide b?
True
Suppose 0 = -3*z + 3 + 12. Suppose -3*c = -z*c + 4. Suppose -284 = -2*a - 3*a + 2*i, -c*a + i + 114 = 0. Is a a multiple of 16?
False
Let h be 0 + 3 + 1 - 5. Is 41 + (-8)/(-2) + h a multiple of 23?
False
Let l(i) = 37*i - 55. Let j be l(23). Suppose 636 = 4*k + 6*m - 5*m, -5*k = m - j. Is 28 a factor of k?
False
Let b(l) = 15 + 0 - 1 + l - 8. Let n(s) = s**3 - s**2 - s + 1. Let m be n(1). Is 3 a factor of b(m)?
True
Let f(n) = -1 + n**3 - 3*n + 0 + 4 + 10*n**2. Let c = 606 - 616. Does 11 divide f(c)?
True
Suppose -5*d = -2*d - 105. Suppose -206 = -11*z + 619. Let i = z - d. Does 24 divide i?
False
Let l(z) = z + 3 + 28*z - 4 + 11. Let o(b) = 10*b + 3. Let c(n) = 4*l(n) - 11*o(n). Is 17 a factor of c(5)?
False
Let j be -1 + (-1 - -1 - 67). Let z(u) = u + 112. Let l be z(12). Let i = j + l. Is i a multiple of 14?
True
Suppose -7*x + 9*x - 8 = 0, -4*h + 3*x = -336. Is 8 a factor of h?
False
Is 3064/32 - (-2)/8 a multiple of 16?
True
Let k = 45 + -30. Suppose 0 = 5*p + k, -5*h = 2*p - 7*p - 65. Let l = h - -30. Is 8 a factor of l?
True
Let r = -4 + 0. Let a = 4 + r. Suppose 4*z + a*z = -4*n + 16, -3*n - z = -16. Does 3 divide n?
True
Suppose -345 = -4*n - n. Let k = n + -42. Is k a multiple of 9?
True
Suppose 8*x = 1418 + 5190. Is x a multiple of 77?
False
Suppose 0 = -0*i - 4*i + 8. Suppose -205 = -2*l + d, -i*l + 5*d + 71 = -146. Let s = 188 - l. Is 23 a factor of s?
False
Let o(c) be the second derivative of 0 + c**2 - 11/6*c**3 - 4*c. Is 7 a factor of o(-3)?
True
Let d be (5/(-10))/((-2)/(-1488)). Let r = 582 + d. Is 26 a factor of r?
False
Let b(l) = -l**2 + 9*l + 10. Suppose 0 = -4*k - 3*c + 21, -3*k = -k + 2*c - 8. Let u be b(k). Suppose 0 = -4*j - 3*h + 49, -3*h + 26 + u = 3*j. Does 3 divide j?
False
Does 9 divide (-34)/((-884)/5577)*12/2?
True
Does 4 divide (1480/(-111))/(2/(-3))?
True
Let p(l) = 13*l**2 + 5*l + 117. Is p(-8) a multiple of 8?
False
Let u = 1101 - 501. Does 30 divide u?
True
Is 29 a factor of (3 - 2) + 752/2?
True
Suppose -394*x = -382*x - 3120. Is 13 a factor of x?
True
Suppose -r + i + 21 = 0, -3*r = -2*i + 25 - 86. Let u = r + -16. Is 3 a factor of u?
True
Let j = -1743 - -1831. Does 4 divide j?
True
Let i be 10/4*36/45. Let q(l) = -l + 2*l + 2*l - 11 + i*l. Is 8 a factor of q(7)?
True
Let u(i) = -64*i - 8. Let b be u(4). Let p be b/(-20) - (-1)/(-5). Let c = -3 + p. Does 10 divide c?
True
Let c = 4653 + -2116. Is c a multiple of 12?
False
Let n = -2129 + 3389. Is n a multiple of 36?
True
Let d = -10 - -58. Suppose 0 = -4*t + 12, 2*o = -6*t + 2*t + d. Does 8 divide o?
False
Does 12 divide (928/14 - (-34)/(-119))*10?
True
Let d = 1133 - 156. Does 9 divide d?
False
Let n(w) = -7*w**3 + 2*w**2 + 2*w - 2. Let z be 2 - (-2 + (-3)/3). Suppose 9*h - 4*h - 13 = 4*t, z*t = -5*h - 5. Does 24 divide n(t)?
False
Suppose -3 = 3*g, 0 = -5*x - g + 2*g + 241. Let q = 367 - x. Is q a multiple of 29?
True
Let y = 2502 + -1553. Is 13 a factor of y?
True
Suppose -433 + 1063 = 3*j. Is 25 a factor of j?
False
Let i = 19 + -8. Suppose 2*z - i = 93. Is z a multiple of 13?
True
Suppose -42*b + 45*b = 1188. Does 12 divide b?
True
Let g(p) = -11*p**2 + 2 + 16*p - 2 + 10*p**2 - 1. Let t be g(8). Does 21 divide 50/15*t/5?
True
Let a = 1265 + -773. Is a a multiple of 41?
True
Let b(u) = u**3 + 5*u**2 - 7*u - 2. Let s be b(-6). Let t = 36 + -9. Suppose -s*n = r + 1, t = -5*r + 6*r - 3*n. Is r a multiple of 10?
False
Suppose -8*v = -9*v - 179. Let d = -71 - v. Does 18 divide d?
True
Let z(y) = y**3 - 37*y**2 + 30*y - 58. Is 12 a factor of z(37)?
False
Suppose 2*x - 3142 - 1696 = 0. Is 99 a factor of x?
False
Let n = 90 + -92. Does 47 divide (n/(-3))/((-12)/(-4230))?
True
Let b be 2*((-1 - -1) + 3). Suppose 0 = -f + b + 7. Suppose -64 = -3*a - f. Is a a multiple of 17?
True
Let m be 10/(-2) + 20 + -5. Let d(z) = 18*z - 50. Does 13 divide d(m)?
True
Let y(z) = -8*z + 4*z + z + 48*z**2 + 1. Does 19 divide y(2)?
False
Does 12 divide (10 - (-6 - 3060))/4?
False
Let x = -79 - -79. Suppose x = -w - 5*m + 105, 3*m + 348 + 93 = 5*w. Does 45 divide w?
True
Let u be 4/(4 - (6 + -4)). Suppose z - 277 = 5*w, -2*w - 530 = -2*z + u*w. Does 15 divide z?
False
Let y be 114/(-9)*6/(-4). Let f(h) = -h**2 + 12*h + 13. Let u be f(12). Suppose -l + y = -u. Is 9 a factor of l?
False
Let b(p) = 55*p**2 - 14*p + 40. Is b(-5) a multiple of 27?
True
Suppose 5*z + 3859 = 4*c + 111, -2811 = -3*c + 5*z. Is 5 a factor of c?
False
Let x be -2 - (0 - 3) - -14. Let w(n) = 16*n**2 + n - x*n**2 - 1 + 6*n. Does 15 divide w(3)?
False
Let f(m) = -3*m + 27. Let t be f(16). Let r = t - -56. Is 8 a factor of r?
False
Does 27 divide 4 - 879*(-6)/18?
True
Is 50 a factor of ((-9)/(270/(-3084)))/((-2)/(-10))?
False
Suppose -4*k = -4*u - 916, -2*u = 3*k + u - 669. Suppose -1132 = -4*g + o, g = 4*o + k + 42. Suppose 13*s - 9*s = g. Does 17 divide s?
False
Suppose -b - 2 = -5. Let j be b/(-6)*(-3 + -3). Suppose -t = -j*t + 12. Is t a multiple of 2?
True
Let b = 125 - 56. Suppose -f + b = -5*h, -4*h = -f - 3*h + 65. Suppose 0 = -6*m - f + 274. Does 5 divide m?
True
Let b be 9 + -2 + (-1 - 3). Does 20 divide 26 - -1*(b + 0)?
False
Let b = -44 - 79. Let y = b - -219. Is 12 a factor of y?
True
Let p(t) = t**3 + 9*t**2 - 8*t - 4. Let x be p(-10). Let o = -16 - x. Let a(d) = 7*d + 10. Is a(o) a multiple of 12?
False
Let y be (-4)/10 + (-970)/(-50). Let p = 110 - y. Is p a multiple of 24?
False
Suppose -11448 = 3*l - 15*l. Does 6 divide l?
True
Suppose -2*c + 34 = -0*c. Suppose 3*a + c + 13 = 0. Let g = -5 - a. Is g a multiple of 2?
False
Let v = -36 - -39. Suppose v*d - 198 = -2*y - d, -y + 87 = -4*d. Is y a multiple of 29?
False
Does 40 divide (-4)/2*(-120)/3?
True
Let f = 11 + 2. Suppose -3*u - 4 = -f. Is 3 a factor of (-20)/(-3) + 4/u?
False
Let l(t) be the first derivative of t**2/2 + 153*t - 5. Let i be l(0). Suppose -i = -4*g - 25. Does 15 divide g?
False
Let f(b) = b**2 - b. Let a be f(-1). Suppose -a*x = 3*s - 29, 5*x - 71 = 2*x + s. Does 11 divide x?
True
Is (2/5 - 2)/((-12)/450) a multiple of 20?
True
Suppose 0 = -2*j + 3*r - 9, -3*j + 2*j + 23 = 4*r. Suppose -j*t + 5*t = -3*z + 32, z = 4*t + 20. Does 6 divide z?
True
Let j be (-1*2/3)/(4/(-462)). Is (-2)/11 - (-1554)/j even?
True
Let x be -5*174/(-270) + 4/(-18). Suppose 0 = -2*v - x*v - i + 81, 0 = -3*v + 4*i + 44. Is v a multiple of 8?
True
Suppose -62 = -3*r + r. Let x = r + -21. Suppose 0 = -19*t + 18*t + x. Is 10 a factor of t?
True
Let d(z) = -2*z**2 + 19*z + 2. Let f be ((-6)/4)/(1*1/(-6)). Does 6 divide d(f)?
False
Let q(p) be the second derivative of p**4/12 - 2*p**2 - 4*p. Let u be q(0). Is ((-10)/6)/(u/12) a multiple of 2?
False
Does 3 divide ((-8)/(-16))/((-2)/(-374 - 2))?
False
Let x(l) be the first derivative of -l**3/6 - 3*l**2/2 + 2*l - 2. Let w(t) be the first derivative of x(t). Is 4 a factor of w(-11)?
True
Let h(i) = 39*i - 2. Suppose 0*c = -4*c - 44. Let y = -10 - c. Does 14 divide h(y)?
False
Is -21*2*212/(-12) a multiple of 85?
False
Let j = -100 - -106. Suppose 812 = j*s + s. Is 19 a factor of s?
False
Let c(u) = u**2 + 5*u. Sup