j = -5*c - 2*j + 162. Does 17 divide c?
True
Let f(q) be the second derivative of -q**4/12 - 7*q**3/6 + 2*q**2 + 4*q. Let i be f(-7). Suppose -i*o + 103 + 5 = 0. Does 8 divide o?
False
Suppose 0 = -o - 2*b + 6, 0*b - b + 13 = 3*o. Does 4 divide o?
True
Let o be 7 - (0/(-3) - -2). Suppose -23 - 102 = -o*u. Does 6 divide u?
False
Let f(b) = -288*b + 9. Is 48 a factor of f(-1)?
False
Let a = 147 - -23. Is a a multiple of 11?
False
Let h(k) = -k**3 + 6*k**2 + 9*k + 2. Suppose 4*y - 7 = 3*y. Is h(y) a multiple of 6?
False
Suppose -5*x + 3*f + 39 = 0, -2*x + f + 15 = -0*x. Is 4/x - 52/(-3) a multiple of 9?
True
Let r(p) = 66*p**2 + 2*p + 2. Does 20 divide r(-1)?
False
Let c be 1/2*6 - -2. Suppose -38 = -c*v - 5*j + 27, -2*v = 3*j - 31. Is 8 a factor of v?
True
Is 28 a factor of (-18)/(-1)*1*8?
False
Let d(c) = -7*c**3 - c. Suppose 1 = -k - 0*k. Does 2 divide d(k)?
True
Suppose i - 5*m = 9, -33 = 3*i - m + 6*m. Is 0 - 4*15/i a multiple of 9?
False
Let c be 2/(-7) - 896/(-49). Let w = 48 - c. Does 15 divide w?
True
Let w = -42 - -63. Does 8 divide w?
False
Suppose 5*q + 3*k = 240, 2*q - 3*k - 27 - 69 = 0. Suppose -5*p + 118 = -282. Let t = p - q. Does 16 divide t?
True
Suppose l + 2*l = 0. Let g(d) = d**2 - 10. Let z be g(l). Let h(j) = -j**2 - 13*j - 3. Is 13 a factor of h(z)?
False
Does 10 divide (16/6)/(14/525)?
True
Does 8 divide 4 - (-17 + 2 - 1)?
False
Let q(j) = -2*j - 7. Let t be q(-5). Suppose 3*y - 98 - 28 = -v, y + t*v = 50. Is 15 a factor of y?
False
Suppose -5*h + 6 = -4*h. Suppose -y = -h*y + 920. Suppose -3*n + y = n. Does 23 divide n?
True
Let j = 87 - -71. Is 13 a factor of j?
False
Let d = -9 + 16. Suppose 3*n = d*n - 88. Does 11 divide n?
True
Let s(m) = m**2 - 7*m + 1. Let i be s(7). Let z be (5 - -1) + (-1)/i. Suppose z*r - 43 - 107 = 0. Is 10 a factor of r?
True
Let a = -6 - -9. Suppose -a*v + 37 + 47 = 0. Is v a multiple of 14?
True
Is (-2)/3 + 287/3 a multiple of 24?
False
Let g(s) = -s**2 - 18*s - 7. Does 32 divide g(-14)?
False
Suppose 10*w = 176 - 16. Is 2 a factor of w?
True
Suppose 2*t + 40 = 5*d + 2, -2 = -3*d - 4*t. Suppose -8*o + d*o = -12. Suppose 5*i = 14 + o. Does 2 divide i?
True
Let c(v) = v - 2. Let k be c(-7). Let j(s) = s**3 + 10*s**2 + 4*s - 12. Is j(k) a multiple of 11?
True
Let o(t) = 17*t**3. Let d be -3*2*(-2)/12. Let w be o(d). Suppose -2*g - w = -3*g. Does 10 divide g?
False
Let t(x) = x**2 + 4*x + 4. Let r be t(-3). Is r/2*10*8 a multiple of 12?
False
Let t(p) = -20*p. Let d be t(1). Let n be d/(-15)*(-6)/(-4). Suppose -2*m - 8 = 0, 7*j - n*j - 29 = m. Is 5 a factor of j?
True
Is 17 a factor of 17/(5 + (-72)/15)?
True
Let w = -5665 + 8025. Suppose -3*n = 2*n - w. Is 13 a factor of n/18 - (-2)/(-9)?
True
Let o = 83 - 29. Is o a multiple of 10?
False
Let n be (0/2)/(-1*2). Let d(o) = o**3 - o**2 + 1. Let l(h) = 4*h**3 - 4*h**2 + 25. Let x(w) = -5*d(w) + l(w). Does 13 divide x(n)?
False
Let o be 0 + 0 + -1 + 0. Is o + 0 - -2 - -4 a multiple of 5?
True
Suppose 24 - 3 = a + 2*q, -147 = -5*a + 4*q. Suppose 0*y + 3*o = 3*y - a, 3*y - 2*o - 23 = 0. Suppose 2*b - 15 = y*l, -4 = -b - 0*l - l. Is 4 a factor of b?
False
Let n(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**3/2 + 2*y**2. Is n(6) a multiple of 27?
False
Suppose 3*z + 5*m + 19 = 0, 2*m + m + 19 = 2*z. Suppose 3 = l - z. Does 3 divide l?
False
Let h(p) = 3*p**3 + 3*p**2 - p + 2. Let u(l) = -4*l**3 - 4*l**2 + l - 3. Let s(r) = -6*h(r) - 4*u(r). Is 4 a factor of s(-2)?
True
Let c be 21/(-6)*(1 + -7). Let t be (-243)/21 + (-9)/c. Let s = 30 + t. Does 5 divide s?
False
Let h = -5 + 3. Let p be ((-6)/(-9))/(h/(-6)). Is p*-2*(-14)/4 a multiple of 7?
True
Let n = 41 - 24. Is n a multiple of 6?
False
Suppose 4*y + 2 = 2*c + 12, 0 = -5*y - 3*c - 15. Let a = -3 + y. Let w(d) = d**2 + d + 4. Is 7 a factor of w(a)?
False
Let x = -140 + 153. Is x a multiple of 13?
True
Let r = 14 - 13. Does 12 divide (r - -1)/((-13)/(-156))?
True
Let j(w) = -3*w + 2. Let u be j(-3). Let l = u - 17. Is 5 a factor of 20/l*12/(-8)?
True
Is ((-200)/(-32))/(46/(-24) - -2) a multiple of 25?
True
Suppose -260 = -0*y - 2*y + 4*u, -2*y + 3*u + 264 = 0. Does 11 divide y?
False
Is -4*1*-1*(-1 - -2) even?
True
Let r be 2/(2 + 0)*0. Is 7 a factor of 7 + 3 + -1 - r?
False
Suppose 0 = 2*n - 5*c + 45, 2*c + 40 = -5*n - 0. Let k = n - -19. Is 3 a factor of k?
True
Suppose -3*n + 6 = 3*j, 5*n - 7*j = -2*j + 20. Let w(c) = -c**3 + c**n - c**3 + 2 + 3*c**2. Does 2 divide w(3)?
True
Let f(a) = -5*a**2 + 9*a + 10. Let m(p) = 14*p**2 - 26*p - 29. Let i(t) = -17*f(t) - 6*m(t). Suppose 23 = -j - j + 5*w, 4*j + 22 = 2*w. Is i(j) a multiple of 4?
True
Let r(m) = -m + 8. Let j be r(7). Let g be (-6)/2*(-6)/3. Does 3 divide (j - 3)/(-4)*g?
True
Suppose 5*x + 2*a + 285 = 0, x + x + 105 = a. Let t = x + 89. Does 23 divide t?
False
Let v(a) = -6*a - 23. Does 19 divide v(-10)?
False
Suppose 0*i - 2*i + 2 = 0. Is 2 a factor of ((-7)/(-4))/(i/4)?
False
Let o = 4 - 4. Suppose -s + 26 = -o. Is s a multiple of 13?
True
Suppose 5*z + 0*z = 145. Does 3 divide z?
False
Let i(z) = 5*z - 81. Does 7 divide i(26)?
True
Let r = -5 + 7. Let v be 1*(r + -4 - -7). Let t = -1 + v. Is 4 a factor of t?
True
Suppose -79 = -p - 4*p + 3*k, 3*k - 5 = -p. Is 3 a factor of p?
False
Let y(z) be the first derivative of -7*z**4/12 + z**3/6 + z**2/2 + 1. Let j(q) be the second derivative of y(q). Is 8 a factor of j(-2)?
False
Let d be (0 - (-28)/(-8))*-2. Suppose 4*l + d = 131. Is l a multiple of 13?
False
Let g be -2 + -42*(0 + -1). Suppose g = 5*f - f. Is 10 a factor of f?
True
Let d(p) be the third derivative of 5*p**4/24 + 7*p**3/6 + 8*p**2. Is 9 a factor of d(4)?
True
Suppose 5*w - 98 + 8 = 0. Is w a multiple of 9?
True
Let p = -6 + 6. Suppose c + 7 - 44 = p. Does 14 divide c?
False
Let i be 6195/20 + 2/8. Suppose 3*y = -2*y + i. Is 23 a factor of y?
False
Suppose -23 = n - 4*r, -2*n - 5*r + 0 - 20 = 0. Let t = 32 - n. Is 17 a factor of t?
False
Let s(l) = l**3 - 7*l**2 - l + 10. Let c be s(7). Suppose b - 130 = a, 2*b - 127 = b + 2*a. Suppose -x + c*p = -23, 4*x - p + 41 - b = 0. Is 22 a factor of x?
False
Suppose 4 = a, -2*r + a = -r + 6. Let w be (-116)/(-12) + 2/6. Let c = w - r. Does 9 divide c?
False
Suppose 0 = 3*a - 4*r + 7, 4*a = 4*r - 3 - 1. Suppose a*o - 416 = -o. Suppose 3*l - o = -5*y, 6*l - y - 24 = 5*l. Is 14 a factor of l?
True
Let b(h) = h**2 + 20. Let t be (-16)/(-6) - (-2)/6. Suppose 0 = -2*m - t*m. Is 9 a factor of b(m)?
False
Suppose 5*w + 0 - 20 = 0. Suppose 4*d - t = 135, 9 = -7*t + w*t. Does 21 divide d?
False
Let o(p) = -p + 13. Does 7 divide o(6)?
True
Let t(k) = k**3 - 2*k - 1. Let b be t(3). Suppose 5*a = 2 + 8. Let j = b - a. Is j a multiple of 6?
True
Let o = -116 + 369. Is o a multiple of 13?
False
Suppose -3*c = -6*c + 3*j + 51, 26 = 3*c + 2*j. Is 12 a factor of c?
True
Let n = 42 + -30. Does 7 divide n?
False
Suppose -4*b - 5*t = -12 + 2, -3*t + 6 = 5*b. Suppose 3*g = -b*g. Suppose -w = -0*w + z - 3, 3*w + 2*z - 13 = g. Does 7 divide w?
True
Let t(p) be the second derivative of -7/6*p**3 + 0 - 4*p + 0*p**2. Is t(-6) a multiple of 21?
True
Let x(w) = 2*w - 6. Let m be x(11). Let o = -7 + m. Is o a multiple of 9?
True
Let f be (3/(-6))/((-3)/36). Let n(w) = -3*w + 9. Let p be n(f). Let g = 25 + p. Does 6 divide g?
False
Let i = -60 - -300. Is 30 a factor of i?
True
Let m = 58 + 27. Does 15 divide m?
False
Let o be (5 - 4)/(1/4). Let y be (4/(-6))/(o/(-30)). Suppose -166 = -y*z + 39. Does 20 divide z?
False
Suppose -5*o + 4 = 19. Let n(y) = y**3 + 4*y**2 - 5. Is 4 a factor of n(o)?
True
Let n = 0 + -2. Is 8 a factor of (16/20)/(n/(-20))?
True
Does 13 divide (-15)/(-20)*(-3 + 55)?
True
Let a = -102 + 134. Is a a multiple of 8?
True
Let i(d) = -9*d - 3. Let f(v) = v**2 + 6*v - 2. Let b be f(-7). Suppose -4*h + 4 = -4*k, 2*k - b*k = 12. Is i(h) a multiple of 12?
True
Let j be 1/(1*(-2)/(-4)). Suppose -5*b - 2 = -27, -31 = -j*f - 5*b. Suppose 0 = 2*m - f*z, -m + 2*z = -0*m + 2. Does 6 divide m?
True
Suppose -658 = -5*l + 2*b - b, 2*b + 656 = 5*l. Does 22 divide l?
True
Let w(q) = -9 + 5*q**2 - 4*q**2 + 0. Is 7 a factor of w(4)?
True
Suppose 0 = q - 4*w - 0 - 1, 5*q = 3*w + 5. Let v be -32*13*q/(-4). Suppose -2*h = -2*u - 3*h + 74, 0 = 3*u + 5*h - v. Does 15 divide u?
False
Suppose 3*d + 5*i + 25 = 5