l. Is l a multiple of 8?
True
Let p(o) be the third derivative of -o**6/120 - o**5/10 - o**4/12 + 5*o**3/6 + 6*o**2. Does 4 divide p(-6)?
False
Suppose 243 = -3*s + 6*s. Is s a multiple of 9?
True
Let l(s) = -3*s + 8. Is l(-8) a multiple of 8?
True
Let b(n) = -3*n**3 - 5*n**2 + 2*n. Let u(l) = -4*l**3 - 6*l**2 + 3*l - 1. Let h(s) = -5*b(s) + 4*u(s). Does 13 divide h(-3)?
True
Let i = 116 + -74. Is 13 a factor of i?
False
Suppose -4*t + 3*t = 5*m - 176, 2*t + m - 352 = 0. Is 16 a factor of t?
True
Suppose 180 = -5*i + g - 0*g, -36 = i + g. Let j = i + 54. Is 8 a factor of j?
False
Let b be 2 - 1/(-2)*-4. Suppose b*i - 240 = -5*i. Is 16 a factor of i?
True
Suppose 0 = -62*v + 65*v - 78. Is 3 a factor of v?
False
Let c(a) = -23*a - 6. Is c(-2) a multiple of 24?
False
Let g = -94 + 124. Does 2 divide g?
True
Let d = -20 + 51. Does 7 divide d?
False
Suppose 5*b + 0*b = 5*j, -3*j - 9 = 0. Let y(q) = -10*q - 2. Is y(b) a multiple of 14?
True
Let c(w) = -w**3 - 5*w**2 - w - 3. Let i be c(-5). Suppose l = -4*k + 101, -i*l + 5*l = -k + 28. Is k a multiple of 10?
False
Suppose -5*f + 1 = -9. Let c(a) = 3*a**3 - 3*a + 1. Is 19 a factor of c(f)?
True
Let d be 138/(-33) - (-6)/33. Does 17 divide 411/12 - (-1)/d?
True
Suppose 3*n - 2*f = f + 72, 16 = n - 3*f. Is n a multiple of 15?
False
Suppose 0 = -2*y + 6 + 8. Let b = 11 - y. Suppose 2 = t - b. Is t a multiple of 3?
True
Let u(m) = 4*m**2 - 2. Let x = -4 + 6. Is 14 a factor of u(x)?
True
Let p(r) = -40*r + 66. Is p(-5) a multiple of 11?
False
Suppose 5*c - 20 = 5*g, -c - 20 = -3*c + 5*g. Suppose c = 5*m - 273 - 22. Is m a multiple of 21?
False
Let u = -11 - -17. Suppose u*k - 8*k = -68. Is 20 a factor of k?
False
Let j be ((-9)/2)/((-1)/2). Let t(k) = k**3 - 8*k**2 - 10*k + 10. Let p be t(j). Suppose s + p = 8. Is 3 a factor of s?
False
Suppose 0 = -5*x + 17 + 73. Does 6 divide x?
True
Suppose a = -a. Suppose -2*o - o + 6 = a. Suppose -o*z - 1 - 5 = 0, 4*z + 122 = 5*m. Is m a multiple of 11?
True
Let r(w) = 2*w**2 + 17. Is r(-5) a multiple of 29?
False
Let t(j) = -4*j + 2. Let f be t(-2). Let g(h) = h**3 - 11*h**2 + 11*h - 2. Is 8 a factor of g(f)?
True
Let r(t) = t - 1. Let m be r(7). Let x = m + -4. Suppose -x*d = -0*d - 5*u - 6, 0 = -u + 4. Does 11 divide d?
False
Suppose -g - 224 = -2*v - 0*g, -5*v - g = -553. Suppose -5*u + b = -18, 5*b - 5 - 21 = -4*u. Suppose v + 13 = u*w. Is 16 a factor of w?
False
Let i = 13 - 8. Suppose -t - i*c + 2*c + 31 = 0, 3*c + 1 = t. Is 8 a factor of t?
True
Let j(t) = t**2 - 3*t - 1. Let f(v) = v - 12. Let r be f(9). Does 6 divide j(r)?
False
Let j = -82 - -90. Is 8 a factor of j?
True
Let q be 6/4*(-4)/(-6). Let g = 0 - 2. Is (g + q/2)*-18 a multiple of 12?
False
Let n be ((-3)/(-6))/(1/8). Suppose -3*q - z = 4*z - 117, 170 = n*q + 2*z. Is q a multiple of 11?
True
Suppose 2*q - 4 - 4 = p, 3*p - q = -9. Let c(i) = -8*i + 3 - 4 + 2. Does 11 divide c(p)?
False
Let g be (-2)/4 - (-65)/10. Let j be -1*(-2)/((-2)/(-3)). Let i = g - j. Is i even?
False
Let z(c) = -44*c**3 + c**2 - 1. Let k be -2*1/((-4)/(-2)). Is z(k) a multiple of 11?
True
Let w(x) = -29*x + 1. Let a be w(-1). Suppose c = 3*q + 2*c - a, 0 = -4*c. Is 10 a factor of ((-12)/q)/(3/(-50))?
True
Let y = -6 - -9. Suppose 2*a = -4*p + 12 + 74, 5*a - 61 = -y*p. Does 11 divide p?
True
Let j = 8 - 4. Suppose 22 = -t + 3*p, -4*t + j*p = 107 - 3. Does 8 divide 1 + t/(-2) + -3?
False
Suppose 3*y + 4*p = p + 231, 0 = 4*y - 4*p - 284. Suppose 3*c - 5*c - y = 2*l, 3*l + c + 103 = 0. Let f = 55 + l. Is f a multiple of 13?
False
Let z(t) = t**3 - 4*t**2 - 8*t - 14. Does 37 divide z(8)?
False
Suppose -5*x = -l + 25, l = x - 5 + 22. Let w = 39 - l. Is 6 a factor of w?
True
Suppose 0 = -4*h + 2 + 2. Does 11 divide ((-82)/(-6))/(h/3)?
False
Let k be -27 - (-3 + 3 + -4). Let j = k + 65. Does 14 divide j?
True
Let z(u) = -u**3 + 5*u**2 + 8*u - 3. Suppose -4 = -4*a, 5*m - a = 3*a + 51. Let j = m + -5. Is z(j) a multiple of 9?
True
Let p(l) = -20*l - 36. Let i(n) = 4*n + 7. Let c(q) = -16*i(q) - 3*p(q). Does 10 divide c(-6)?
True
Let s(i) be the second derivative of 1/4*i**4 + 1/3*i**3 + i**2 - 2*i + 0. Is s(-3) a multiple of 23?
True
Let n(w) = -w**2 - 7*w - 9. Let i be n(-6). Let f(o) = -o**3 - 3*o**2 - 3*o + 1. Is f(i) a multiple of 9?
False
Let v be 3/(-2) + 27/6. Suppose 2*p - 5*g - 1 = 0, 0 = v*p - 0*g + g - 27. Does 5 divide p?
False
Let g = 29 - -28. Does 7 divide g?
False
Suppose 0 = -g + 17 + 22. Is g a multiple of 6?
False
Let k(d) = -2*d - 12. Let r be k(-8). Is (-3 + 2 - -3) + r a multiple of 2?
True
Suppose 4*k - c = -37, -4*k = -2*k - 2*c + 14. Let o = k - -13. Does 3 divide o?
True
Let s = -16 - -104. Does 14 divide s?
False
Suppose 0 = -5*n + 4*z + 2, -z + 19 = -5*n - 4*z. Let g(p) = -4*p + 2. Is 10 a factor of g(n)?
True
Suppose 3*q - 12 = -0*q. Suppose -q*j + 16 = 5*h, 0 = -2*h + j - 3 - 1. Suppose 3*d - 4 - 8 = h. Is 2 a factor of d?
True
Let v(h) be the first derivative of 0*h**2 - 1 + 8*h - 1/4*h**4 - 2*h**3. Is v(-6) a multiple of 8?
True
Suppose -r = 5*q + 17, 5*r + 2*q + 65 - 3 = 0. Let w = 29 + r. Let b = w + -3. Is b a multiple of 11?
False
Suppose -2*y = 2*t, y + 5*t + 24 = 2*y. Suppose -y - 5 = -j. Does 9 divide j?
True
Suppose f = -2*f - 60. Let m = 35 + f. Is 15 a factor of m?
True
Suppose 0 = -6*j + j. Suppose -3*a + 80 = -5*s, 0 = 5*a + s - j*s - 96. Does 13 divide a?
False
Let g = 4 - 2. Does 13 divide 97/g + (-36)/(-24)?
False
Let h(n) = 3*n**2 - n. Let p be h(1). Let m(b) = p - 5*b + b**2 + 2*b + b. Is 2 a factor of m(3)?
False
Let b(f) = -21*f**3 + 2*f**2 + 2*f + 1. Is 22 a factor of b(-1)?
True
Suppose -5*y = -y - 256. Is (21/14)/(6/y) a multiple of 5?
False
Suppose -3*s = -t + s + 68, t = -4*s + 92. Let r = -48 + t. Is 16 a factor of r?
True
Let g(s) = -5*s - 2. Let r be g(-5). Let n = r - 2. Is n a multiple of 21?
True
Suppose 2*r - f - 4*f - 22 = 0, -19 = -3*r + 4*f. Suppose v - r = 1. Let l = 1 + v. Is l a multiple of 2?
False
Suppose -14 = -0*a - a. Suppose p - a - 3 = 0. Is 10 a factor of p?
False
Let a(u) = 2*u + 8. Is 4 a factor of a(4)?
True
Let h(z) be the second derivative of z**5/20 + 7*z**4/12 + 7*z**3/6 + 3*z**2/2 - 10*z. Does 18 divide h(-5)?
True
Let q(p) = p**3 + 3*p**2 + 2*p + 4. Is 24 a factor of q(3)?
False
Suppose -b - 2 = -0, -34 = -s + 4*b. Does 13 divide s?
True
Let x(c) = -c**2 + 14*c - 8. Is x(10) a multiple of 8?
True
Let g = 4 - -22. Is 14 a factor of g?
False
Let g be 2 + -3 - 5/(-1). Suppose 2*d + 5*s = -3*d + 80, -3*s + 60 = g*d. Does 6 divide d?
True
Suppose -20 = 3*d + 4*q, -3*q - 30 = 5*d + 2*q. Let b = d + -17. Let g = b - -34. Does 6 divide g?
False
Let l(r) = -r**3 - 3*r**2 + 5*r + 2. Let k be l(-3). Let o = k - -43. Is o a multiple of 26?
False
Is 6 a factor of -4*((-11)/(-4) - 3)*18?
True
Suppose 0 = -4*g + 3*g - 5*p - 8, 3*g - 10 = 2*p. Suppose -g*n + 4 = 2*s, -n - 2 = -0. Is s a multiple of 2?
True
Let o(u) = -8*u - 1. Is 7 a factor of o(-1)?
True
Let f = 8 + -4. Does 17 divide (4/f)/(3/141)?
False
Suppose -2*s = -45 + 15. Does 7 divide s?
False
Let g = -15 + 39. Is g a multiple of 8?
True
Let b = -59 - -158. Does 33 divide b?
True
Let n(b) = -89*b**3 - 4*b**2 - 5*b - 2. Does 8 divide n(-1)?
True
Let z = 3 + -1. Suppose -z*b = 2*b - 292. Let s = -29 + b. Is s a multiple of 22?
True
Let j = 569 - 347. Let r = j - 157. Suppose 6*o = o + r. Does 6 divide o?
False
Let j(q) = -3*q + 4*q**2 + 4*q - 5*q**2. Let t be j(2). Is t - (-2 - 4) - -1 a multiple of 3?
False
Suppose 2*n = -3*x - 0*x + 175, 0 = -4*x + 3*n + 222. Is x a multiple of 19?
True
Suppose 63*a - 62*a = 126. Is 14 a factor of a?
True
Let c(i) = i**3 + i + 23. Is c(0) a multiple of 3?
False
Let g be 2/5*(-2100)/(-15). Let r = -8 + g. Is 16 a factor of r?
True
Let t(y) = -y - 1. Let l be t(-6). Let p(r) = -5 + 10 + 2*r**3 - r**3 - 4*r**2 - 2*r. Does 20 divide p(l)?
True
Let y(i) = i**3 - 6*i**2 + 2*i - 5. Let b be y(6). Let t = -5 + b. Suppose 2*n - 13 = k - t*k, 3*k - n - 46 = 0. Is 9 a factor of k?
False
Let o = -10 + 174. Is o a multiple of 7?
False
Let m(d) = d**2 - 2*d + 10. Is 5 a factor of m(0)?
True
Let x be (-1 - -4)/((-6)/(-10)). Suppose 0*b = -x*b + 140. Does 14 divide b?
True
Let m(r) = 17*r**3 + r**2 - 2*r + 2. Is m(1) a multiple of 10?
False
Let v = 10 - -1. Is 3 a factor of v?
False
