y**2 + 5*y + 9. Let r be m(-3). Does 9 divide 2 - 10*r/6?
True
Suppose 0 = 5*f - u - 37, -u + 31 = 4*f - 4. Let v = -5 + f. Is 2 a factor of v?
False
Let x(y) be the third derivative of 7*y**4/24 - y**3/2 - 3*y**2. Does 12 divide x(7)?
False
Let f(s) = s**2 + 8*s. Let u be f(-8). Suppose -g + q + 31 = u, 5*q - 8 = -3. Is g a multiple of 7?
False
Suppose 0*g = 5*g - 10. Suppose g*x - 88 = -2*x. Does 11 divide x?
True
Suppose -2*a + 6*a = 3*y - 444, -5*y - 4*a + 740 = 0. Does 37 divide y?
True
Let l(o) = -o**3 - o**2 + 162. Is l(0) a multiple of 14?
False
Suppose 2*c = -2*c. Suppose 0 = -2*r + 4*o + 10, -r + c*r + 3*o + 5 = 0. Is 5 a factor of r?
True
Let f be (3*-3)/(5 + -4). Let d = 5 + f. Let b = 3 - d. Is b a multiple of 6?
False
Let a(z) be the second derivative of z**6/120 - z**5/30 + z**4/12 - 5*z**3/6 + z**2 - z. Let t(o) be the first derivative of a(o). Is 16 a factor of t(4)?
False
Let y be ((-3)/1)/(-4 - -3). Suppose y*w - 2 = -3*t + 37, 0 = 5*w + t - 53. Does 6 divide w?
False
Suppose -2*h + 4 = -12. Is h a multiple of 4?
True
Suppose 5*a - 361 = -5*y + 739, -3*a + 660 = y. Suppose -5*j - 4*m + 123 + 149 = 0, 4*m = -4*j + a. Is j a multiple of 29?
False
Suppose -37 - 29 = 4*r - m, -3*r = 5*m + 61. Let k = 29 + r. Does 4 divide k?
True
Suppose g = -3*g + 608. Suppose -4*s = 3*k - g, 5*s - k - 190 = 3*k. Is 9 a factor of s?
False
Suppose -4*d + 9*d = -45. Let o be (30/(-9))/((-1)/d). Is 5 a factor of (-1 + 2)*o/(-6)?
True
Suppose -5*r - 4*m + 9*m + 960 = 0, -2*m = -4*r + 774. Is r a multiple of 22?
False
Suppose -q + 5*q - 192 = 0. Is q a multiple of 16?
True
Let o(h) = -h - 7. Let y be o(-10). Suppose 0*m - y*m = -15. Suppose m*z = 8*z - 60. Is 20 a factor of z?
True
Let p = -160 + 290. Is p a multiple of 26?
True
Let k(j) = -j**3 + 12*j**2 - 12*j + 9. Let l be k(11). Let s(a) = 1. Let i(g) = 6*g + 5. Let v(x) = -i(x) + 4*s(x). Is 11 a factor of v(l)?
True
Let j(n) = -n - 17. Let z be j(-7). Is 12 a factor of (-24)/(-5)*(-5 - z)?
True
Let k(m) = 4*m - 3. Let s(a) = 4*a**3 - a. Let p be s(1). Does 2 divide k(p)?
False
Suppose 6*x - 2*x - 20 = 0. Suppose -3*m + x*a + 114 = 0, -4*m - 5*a = -m - 84. Does 11 divide m?
True
Let s be (0/2)/(-1 + 2). Suppose s = -y + 3*y - 36. Is 10 a factor of y?
False
Suppose -4*n = -2*n - 3*b - 17, -3*n = 2*b - 6. Is n even?
True
Suppose -j + 41 = 5*u, 0*u + 101 = 3*j + 4*u. Let s = -6 + j. Suppose f - 6*f - 2*h + 50 = 0, 5*h = -s. Is 6 a factor of f?
True
Suppose 10*z = 8*z - 18. Suppose -f + 4 = -13. Let g = f + z. Is 8 a factor of g?
True
Suppose -2*s = -0*j - 2*j + 32, s - 32 = -3*j. Let g(x) = 2*x**3 - 3*x**2 + x - 1. Let k be g(2). Let a = j - k. Is a a multiple of 6?
False
Let i = 18 - 5. Suppose -2*o + 5*s = 17, -i = -2*o - s - 0. Is -2 + (-4)/(-2) + o a multiple of 4?
True
Does 20 divide (18/(-7))/(9/(-420))?
True
Let r = 1 - 1. Suppose r = y - 3 - 2. Does 3 divide y?
False
Let v(h) = h**3 + 7*h**2 + 3*h - 11. Suppose 3*a + 2*s + 40 = -2*a, -4*s - 8 = -2*a. Does 7 divide v(a)?
True
Let b be (1 + -1)*(-2)/4. Let o = b - -5. Does 2 divide o?
False
Suppose 0 = -l - 3*i + 19 + 20, 3*i = 15. Is 12 a factor of l?
True
Let y be (-4)/6 + 88/(-12). Is 20 a factor of 8/5*(-100)/y?
True
Let d = 11 + -8. Does 22 divide (-4)/(d + 1) + 45?
True
Let k(y) = -y**2 + 11*y + 6. Is 13 a factor of k(9)?
False
Let k = 44 - 24. Let z = k - -7. Is 9 a factor of z?
True
Let d = 3 - 2. Does 26 divide (6/(-4))/d*-20?
False
Let x = 2 + 18. Does 4 divide x?
True
Let r(m) = m - 10. Does 5 divide r(20)?
True
Suppose -3*y - 6 = -6*y. Let h(n) = n**2 + 5*n + 5. Let s be h(-5). Suppose -s + 40 = 3*m + y*g, -41 = -3*m + g. Is 4 a factor of m?
False
Suppose 0 = -5*l + t + 136, 3*t = 4*l + 2*t - 108. Let g = -15 + l. Does 5 divide g?
False
Let l(v) = -v**3 - 8*v**2 - 10*v + 2. Suppose 51 = -j - 4*j - 4*o, o - 24 = 4*j. Let q be l(j). Let b = -14 + q. Does 7 divide b?
False
Let i = -74 - -134. Is 22 a factor of i?
False
Suppose -3*u = -3*f - 18, -4*u - 3 = 5*f + 9. Suppose 0 = 2*a - 4*d - 58, -2*a - u*a + 86 = -2*d. Does 19 divide a?
True
Suppose 0 = 15*k - 6*k - 648. Does 6 divide k?
True
Let z be 3/(6/(-38)) - 1. Is 7 a factor of 8/z + (-164)/(-10)?
False
Let o(d) = -250*d**3 - d**2 + 4*d + 4. Is 38 a factor of o(-1)?
False
Let v(z) = 5*z**2 - 4*z - 17. Does 10 divide v(-4)?
False
Suppose 3*u = 0, 36 = -3*x + 2*u + 126. Does 24 divide (-4)/(-10) + 2148/x?
True
Suppose -4*t + 0*n + 183 = -n, n - 1 = 0. Does 14 divide t?
False
Suppose w + 2*w + 2*m + 11 = 0, -10 = 4*w - 2*m. Let l be 2 + -2 + 1 + -6. Does 12 divide -3*(l + w/(-3))?
True
Let i(x) be the first derivative of -x**3/3 + 4*x**2 - 3*x + 2. Does 5 divide i(6)?
False
Let r(y) be the second derivative of -y**5/20 - 2*y**4/3 - y**3/3 - 3*y**2 - 2*y. Does 8 divide r(-8)?
False
Let k(l) = -2*l - 1. Let j be k(1). Let x(r) = 5*r**2 + 3*r - 3. Does 11 divide x(j)?
True
Let m(p) = 4*p**3 + p**2 - 11*p + 1. Let u(i) = 5*i**3 + 2*i**2 - 12*i + 2. Let s(b) = -4*m(b) + 3*u(b). Is 23 a factor of s(-3)?
True
Let c = 46 + -70. Does 10 divide ((-6)/(-4))/(c/(-160))?
True
Suppose 2*a + 92 = -2*a - 2*r, 4*a - 5*r + 120 = 0. Is (-2)/(-3)*(2 - a) a multiple of 9?
True
Let v(b) = -b**3 + 6*b**2 + 7. Let r be v(7). Is 4 a factor of 2 + -1 + r/(-14)?
True
Does 17 divide 13*51*(11/(-3) + 4)?
True
Suppose -2*n - a - 24 = 4*a, n = -3*a - 14. Let y be (0 - -2) + 0/n. Suppose 8 = t - y. Is 10 a factor of t?
True
Let i be (2 + -3)*(-7)/(-1). Let q(c) = -3*c. Let f be q(i). Suppose h + 2*h = f. Does 7 divide h?
True
Suppose 0 = -0*n + 3*n + 165. Let r = n + 25. Is 10 a factor of (-1)/6 - 305/r?
True
Let i(z) = -z + 8. Let a be i(7). Let q = a + 4. Suppose -q*o = 2*u - o + 4, -3*o - 55 = -5*u. Is u a multiple of 4?
True
Let k = 41 + 8. Does 7 divide k?
True
Suppose -5*n - 17 = -3*k - 2, -5*n - k - 35 = 0. Let c(w) = -11*w - 11. Is c(n) a multiple of 11?
True
Is ((-4 - 0)/(-8))/(2/268) a multiple of 19?
False
Let x(m) = -m**3 + 8*m**2 + 11*m - 8. Let r be x(9). Suppose -3*i - r = -4*i. Is 5 a factor of i?
True
Suppose -2*f = 0, 2*f - 484 = -4*l + f. Is l a multiple of 39?
False
Suppose -3*r - 2*w = -5*w - 171, 4*r - 229 = 5*w. Does 8 divide r?
True
Is 11 a factor of (44/(-10))/((-20)/50)?
True
Suppose -z - 1 = -2*k, 3*z + 0*z = k + 12. Suppose -2*s - 24 = -z*n, -5*n + n + 94 = -5*s. Is 16 a factor of (1*6)/((-3)/s)?
False
Suppose -3*m + 8*m = -30. Let k(i) = -i**2 - 1. Let q(c) = 2*c**2 + 8*c + 9. Let u(r) = -k(r) - q(r). Is 2 a factor of u(m)?
True
Let h(z) = -z**3 + 7*z**2 + 10*z - 10. Let g be h(8). Let f = g + -14. Let o = f - -13. Is o a multiple of 2?
False
Let d = -54 - -120. Is 11 a factor of d?
True
Suppose 2*z = 4*o - 4 + 74, 0 = -2*o - 4. Is 8 a factor of z?
False
Let x(j) = 19*j + 4. Suppose -2*n + 3*l + 4 = 0, 5*l + 16 = n - 0*l. Let w(z) = 9*z + 2. Let v(h) = n*x(h) + 9*w(h). Is 15 a factor of v(4)?
False
Suppose -4*s = -5*s + 123. Is s a multiple of 37?
False
Suppose -6*k + 3*k = 0. Suppose -3*b = -2*n - 31, k*n - 3*n - 30 = -3*b. Is 11 a factor of b?
True
Does 9 divide -3*33/(-18)*10?
False
Is 8 + (-152)/20 - 1466/(-10) a multiple of 21?
True
Suppose 5*c - 50 + 0 = 0. Is 12*3*c/20 a multiple of 7?
False
Let p be 6137/187 + (-2)/(-11). Let n = -16 + p. Is n a multiple of 9?
False
Let g = -13 - -23. Is 10 a factor of g?
True
Let b(u) = u**3 + 7*u**2 + 4. Let a be b(-7). Suppose a*x + v = 170, -4*v - v = -3*x + 116. Does 21 divide x?
True
Let f be 2/(-7) + 30/7. Let u(m) = -m**3 + 5*m**2 + 3*m - 2. Does 8 divide u(f)?
False
Suppose -4*x + 294 = -v, -6*v + 3*v = -4*x + 298. Is x a multiple of 18?
False
Let n(k) = k**2 + 3*k + 3. Let t be n(-3). Is t/2*224/24 a multiple of 5?
False
Let o(v) = 3*v**2 + 11*v - 4. Is 11 a factor of o(-7)?
True
Let m = 51 + -39. Is 12 a factor of m?
True
Let n(v) = v**3 - v. Let k be n(0). Let w be 0/(k - -1) - 14. Does 7 divide w/6*(-3 - 0)?
True
Suppose 53*v - 48*v = 45. Does 3 divide v?
True
Let j(o) = o**3 + 18*o**2 + 12*o - 11. Is j(-17) a multiple of 37?
True
Let b be (-16)/14*(-7)/2. Suppose 2*u - 64 = -0*u - 2*v, -5*u - b*v = -156. Is u a multiple of 6?
False
Let a = -15 + 17. Let y = a - -25. Is y a multiple of 14?
False
Let n be (2/4 - -2)*-2. Let p(g) = -g - 5. Let z be p(n). Suppose -3*q + z*h + 42 = -h, 4*h = 2*q - 28. Does 6 divide q?
False
Let a =