t s be l(6). Is -2 + s + 2 - -5 a multiple of 6?
True
Let d = -116 + 272. Is 26 a factor of d?
True
Let y(s) be the third derivative of -s**5/60 - s**4/8 - s**3 + 2*s**2. Let j be y(-5). Is j*5*(-2)/8 a multiple of 16?
False
Suppose -3 = b - 4*b. Is 13 a factor of (-3)/(-2)*12/b?
False
Let k = -17 + 11. Let d(n) be the third derivative of -n**4/24 + 5*n**3/6 + 2*n**2. Does 8 divide d(k)?
False
Suppose 0 = -0*s + s - 8. Suppose -2*i = -i - s. Is 2 a factor of i?
True
Suppose 3*v - 105 = -3*o, o + 4*v - 8 - 12 = 0. Is 8 a factor of o?
True
Let t = -48 + 96. Is 14 a factor of t?
False
Suppose 2*r + 3*f - 947 = 7*r, 0 = -4*r - 3*f - 763. Let i = 370 + r. Suppose -2*l = -i + 54. Is 23 a factor of l?
False
Suppose 0 = -2*o + p + 44, -4*o + 100 = 3*p - 2*p. Let a = o - 15. Does 3 divide a?
True
Suppose -8 = 3*s - 5*s. Suppose 4*y - 45 = c + 44, -s*y + 4*c + 92 = 0. Is 11 a factor of y?
True
Let v = -66 - -170. Is 8 a factor of v?
True
Let g = 1 - -24. Does 4 divide g?
False
Let c(j) = 8*j - 5. Is 5 a factor of c(5)?
True
Suppose 2*m = -0*m + 218. Is 11 a factor of m?
False
Let p(f) be the second derivative of -f**4/24 - 2*f**3/3 - f**2 - f. Let m(i) be the first derivative of p(i). Is m(-8) a multiple of 3?
False
Let t(y) = -7*y - 5. Is 6 a factor of t(-2)?
False
Let g be -2 - (20/(-4) - 2). Suppose 0 = -2*d + g + 11. Is d a multiple of 2?
True
Suppose 0 = -2*t - 2, 2*t - 20 = -4*a + 6*t. Suppose 71 = d - a*h, -5*d - 3*h + 225 + 61 = 0. Does 16 divide d?
False
Let l(y) = y**2 + 5*y - 3. Let k be l(-5). Let s = -2 - k. Does 3 divide 7 + -1 + -1 + s?
True
Let i(j) = -20*j + 1. Suppose 0 = -5*l + 8 - 28. Is 27 a factor of i(l)?
True
Suppose 36 = 4*o - 4*d, -6*d = -o - 2*d + 3. Let b(p) = p**2 + 5*p + 4. Let k be b(-4). Let q = o - k. Is 3 a factor of q?
False
Suppose -6*n + 162 = -216. Is 6 a factor of n?
False
Suppose 0 = v - 2*x - 92 - 112, -2*v - 4*x = -392. Does 13 divide v?
False
Let g(p) = -2*p - 8. Suppose 3*o + 12 = o. Let v be g(o). Suppose -v*x + 12 = -44. Is 14 a factor of x?
True
Let o(u) = -91*u**3 - u**2 - u - 1. Let t be o(-1). Suppose -5*p + b + 90 = 0, 3*b - 4*b + t = 5*p. Does 9 divide p?
True
Let w(k) = -3*k + 11. Does 10 divide w(-3)?
True
Let l(u) = -1 - 4*u - 2 + 6*u**2 - 2 + 2*u. Is l(3) a multiple of 12?
False
Is 4 a factor of (-4 + 3)*-5 - -3?
True
Suppose -324 = 30*j - 39*j. Is j a multiple of 3?
True
Suppose 0 + 54 = g - 4*q, -3*q - 190 = -4*g. Is 24 a factor of g?
False
Let n = -8 + 16. Does 2 divide n?
True
Suppose 0 = -5*i + 16 + 9. Suppose -4*z - v - v = -200, -z + 3*v = -36. Suppose 0 = o - i*o + z. Is 5 a factor of o?
False
Let t(z) = -z - 34. Let k(p) = -1. Let n(f) = -2*k(f) - t(f). Let h(m) = -m**3 + 3*m**2 - m - 2. Let d be h(2). Is n(d) a multiple of 18?
True
Suppose -3*u + 2*r + 182 = 0, -r - r = 2. Is 15 a factor of u?
True
Suppose -4*i + 24 = 4. Suppose i*m - 160 = m. Does 20 divide m?
True
Let j = 2 + -3. Let h be j + -1 + (-1 - -15). Is 12 a factor of h - (0 + 0/(-1))?
True
Suppose 16*r - 639 - 753 = 0. Is 25 a factor of r?
False
Let f be 75/9 + (-2)/6. Let o be -4*(0 - 2/f). Does 17 divide 68/(-6)*(-2 - o)?
True
Suppose 0*u + 3*u = 558. Suppose 0*m - u = 2*m. Let o = 146 + m. Is 21 a factor of o?
False
Let k(o) = 3*o + 2. Let r(y) be the first derivative of -y**2/2 - y - 1. Let i(f) = -4*k(f) - 10*r(f). Does 10 divide i(-6)?
False
Suppose -150 = -3*j - 0*j. Does 18 divide j?
False
Let i(v) = v**2 - 14*v + 22. Is 6 a factor of i(14)?
False
Let d(r) = -2*r**3 - 3*r**2 + 2*r + 2. Let g be d(-3). Let o be (0 - -3)*(-124)/(-12). Suppose -g = -3*a + o. Is 18 a factor of a?
True
Let d be (-2)/(-7) + (-38)/(-14). Suppose 0 = -d*c - 3 - 0. Does 11 divide 43/2 - c/2?
True
Let q(f) = -5*f - 4. Let k be 4 + ((-2)/(-2) - 2). Suppose -5*z - 6 = -k*z. Is 11 a factor of q(z)?
True
Let l(i) = -i**2 + 8*i - 8. Let c be l(7). Let r be 4 - (-1 - 2/c). Suppose r*s = -2*s + 125. Does 9 divide s?
False
Suppose q + q + u = 5, -5*q + 4*u + 32 = 0. Let w(k) = 2*k**2 + 1. Is 11 a factor of w(q)?
True
Let i = 38 + -7. Is 20 a factor of i?
False
Let j = 16 + -23. Is (-258)/(-21) + 2/j a multiple of 6?
True
Suppose -3*b - 23 - 68 = -5*u, 49 = 2*u + 3*b. Let i = 8 + u. Is i/3 + (-5)/15 a multiple of 5?
False
Suppose 0 = 4*c + c + 3*r - 17, 5*c + 4*r - 16 = 0. Suppose 3*l - 1052 = -l - c*g, 3*l - 765 = 3*g. Does 8 divide l/9 - (-16)/72?
False
Suppose -2*q - 2 = 4. Let b be (-404)/q - 1/(-3). Suppose -b = -5*p + 45. Is p a multiple of 16?
False
Suppose 5*t - t = 0. Let d be (-2)/(-1) - t/2. Let m = d - -3. Is 5 a factor of m?
True
Let a be (-16)/2 + 0 - -2. Let s(d) = -d**2 - 2*d + 4 + 0 - 9*d. Does 17 divide s(a)?
True
Suppose -i + 83 = -0*i + 5*f, -2*i = -f - 221. Is i a multiple of 30?
False
Let y(z) = 4*z + 4. Suppose 7 - 3 = c. Does 14 divide y(c)?
False
Let r(m) = 0*m - 3*m + m - m**2 + 0*m**3 + m**3 - 2. Is 19 a factor of r(4)?
True
Suppose 4*o - 103 = 2*j - 3*j, -178 = -2*j - o. Does 11 divide j?
False
Suppose -3*h - v + 27 = -59, -h + 2*v = -24. Is 7 a factor of h?
True
Let h(v) = v**3 - 3*v**2 + 3*v. Let p be h(2). Is 9 a factor of (-156)/(-10) - p/(-5)?
False
Suppose -105 = 2*v - 7*v. Is 7 a factor of v?
True
Let q be (28 - -4)*(-3 + 1). Let v = q + 96. Is v a multiple of 16?
True
Suppose 0 = -7*j + 19*j - 2304. Does 12 divide j?
True
Let o = -50 - -32. Is ((-2 - -3) + -2)*o a multiple of 5?
False
Suppose -4*f - 2 = -4*j - 22, -j = 2. Suppose -10 = -f*q + q. Suppose q = 2*x - 19. Does 6 divide x?
True
Let n = -16 - -57. Is n a multiple of 41?
True
Let j = -46 + 0. Let b = -30 - j. Is b a multiple of 12?
False
Suppose -5*i + 3 + 2 = 0. Let l be (7/4)/(7/(-56)). Does 7 divide -1 + (2 - l - i)?
True
Let y be (15 - 13) + (-12 - 0). Is (-48)/(-20)*(0 - y) a multiple of 12?
True
Suppose 3*h + 0*h + 4*m = -9, -4*h - 31 = -m. Let z = 3 + h. Let n = z + 14. Does 9 divide n?
False
Suppose 0 = 4*q - 3*y + 79, 4*q = 8*q + 5*y + 39. Is 4 a factor of q/(1*-4) - -3?
False
Suppose u - 2*g - 14 = 0, -2*g - 14 - 12 = -4*u. Suppose -5*o = 3*j - 6*j - 50, -2*j - 5*o = 0. Let w = u - j. Does 14 divide w?
True
Let l(u) = 24*u - 4. Let q be l(5). Suppose 0 = -2*r + 4, 0 = 5*z + 4*r - 92 - q. Is z a multiple of 20?
True
Let k(i) = -i**3 - 2*i**2 + i + 5. Is k(-4) a multiple of 20?
False
Let y be 3/2 + (-2)/(-4). Suppose -3*x + y*x + 33 = 0. Is 11 a factor of x?
True
Let v be (-27)/(-6)*4/6. Suppose 3*c = -9, v*b = 2*c + c + 3. Is b/(-4) + (-275)/(-10) a multiple of 14?
True
Does 3 divide -2 + (-1 - -22) + -2?
False
Is 29 a factor of 29*2*(-11 + 13)?
True
Let z = 21 - 21. Suppose -9 = -w - z*w. Is 5 a factor of w?
False
Let x be (0 - 2)*1*-2. Suppose -o = o - 4*y + 10, o = x*y - 5. Let m(z) = -z**2 - 6*z + 6. Does 4 divide m(o)?
False
Let z(t) = t**3 - 5*t**2 + t - 2. Let i be z(5). Let v(f) = 2*f - 2. Let m be v(2). Suppose -i*a = m*g - g - 51, 2*a - 34 = -2*g. Does 5 divide a?
False
Suppose 155 = 6*c + 59. Does 16 divide c?
True
Suppose 0 = 3*k - 7*k + 240. Is 12 a factor of k?
True
Is 77/2 + (-1)/(-2) a multiple of 6?
False
Let j = -261 - -437. Is 12 a factor of j?
False
Let c = -5 - -9. Suppose c*a - 3*a = 9. Does 8 divide a?
False
Let k(p) = p + 3. Let c be k(0). Suppose 4*f - c = 13. Suppose f*n - 85 = 67. Does 14 divide n?
False
Let l(a) = a**3 + 12*a**2 + 10*a - 12. Let m be l(-11). Let t = m + 3. Suppose 0 = 3*n - t*n - 17. Does 6 divide n?
False
Suppose 4*m = -i - 17, 5*i + 10 = -0*i - 5*m. Suppose -i*u = u - 20. Does 5 divide u?
True
Let t(m) = m**2 - 10*m + 1. Let j be t(5). Let u = j - -45. Is 9 a factor of u?
False
Suppose 0 = n + 3*j + 2, -3*n + j = -2 + 8. Let d(i) = 3*i**2 + 2*i. Is 8 a factor of d(n)?
True
Let z(w) = w**3 - w**2 - w - 9. Let a be z(0). Is 12 a factor of a/6 + 81/6?
True
Let t(h) = 2 + 2 - h + 4 - 5. Is 3 a factor of t(-5)?
False
Let t(n) = -n**2 + 12*n + 25. Is t(11) a multiple of 9?
True
Let b(x) = 63*x**3 + x**2 - x. Is b(1) a multiple of 21?
True
Suppose w + 12 = -2*w. Suppose 2*f - 7 = 7. Let u = f + w. Is 3 a factor of u?
True
Suppose 2*q - 3*f + 81 = 5*q, 3*q - 53 = 4*f. Let r be q/5 - (-4)/10. Is ((-6)/r)/(6/(-80)) a multiple of 8?
True
Let w(d) = 8*d - 1. Suppose 0 = -0*q - 4*q. Suppose 3*k - 2*k - 2 = q. Is w(k) a multiple of 15?
True
Let z(x) be the third derivative of -3*x**4/2 + x**3/3 - 3*x**2. Let n be 