6/120 + l**5/5 + l**4/3 - 7*l**3/6 + 2*l**2. Let t = 12 - 23. Is 26 a factor of j(t)?
True
Let c(y) be the second derivative of 11/2*y**2 + 2*y**3 - 1/12*y**4 - 3*y + 0. Is c(10) a multiple of 10?
False
Does 7 divide (-3)/(-27)*-3*-21?
True
Let l = 19 + 7. Is l a multiple of 5?
False
Let u be (-4)/5 - (-328)/10. Suppose 5*g + 4*a - 41 = 0, -a = 3*g - 6*a - u. Does 6 divide g?
False
Let x(r) be the third derivative of -r**6/120 - 7*r**5/60 + r**3/2 - r**2. Let b be x(-7). Suppose -2*v = b*a - 0 - 3, 3*a = 2*v - 9. Is v even?
False
Let r be ((-35)/(-3))/(8/24). Let z(d) = -d**3 + 6*d**2 + 8*d - 2. Let b be z(7). Suppose b*q - r = -0*q. Is q a multiple of 5?
False
Let u(i) = -3 + 7*i + 0 - i**2 - 15*i. Let w be u(-7). Is (-140)/8*w/(-5) a multiple of 14?
True
Suppose 8 = 5*x - 2. Let q be (216/2)/3 + x. Let m = q - 8. Does 15 divide m?
True
Let n(v) = 2*v**2 + 6*v + 9. Does 10 divide n(-6)?
False
Suppose -2*v = -i - 1, -3*v + 0 + 6 = 0. Suppose -i*o + f + 1086 = -4*f, -1059 = -3*o - 4*f. Is (o/35)/(1/5) a multiple of 14?
False
Let d = 79 - 14. Is 17 a factor of d?
False
Let s(j) = j**3 - 25*j**2 - 23*j + 2. Is 10 a factor of s(26)?
True
Suppose y - 60 = -3*x, 0 = 2*x + 6. Is 7 a factor of y?
False
Let p be (-5)/(-2)*(-4 + 6). Suppose 2*b + 66 = p*b. Is 13 a factor of b?
False
Let g(q) = 4*q**3 + 2*q**2 - 1. Is 5 a factor of g(1)?
True
Suppose 8*q - 226 = 6*q + 2*i, -4*q - 5*i + 452 = 0. Does 19 divide q?
False
Let v = -42 + 25. Let p = 28 + v. Is p a multiple of 6?
False
Let n = -15 + 18. Suppose n + 1 = q. Does 4 divide q?
True
Suppose 0 = -0*t - 11*t + 1144. Is t a multiple of 13?
True
Suppose -2*m = 28 - 2. Let b(l) = 15*l**2 + 11*l - 9. Let h(u) = -7*u**2 - 5*u + 4. Let t(d) = m*h(d) - 6*b(d). Does 3 divide t(2)?
False
Let o be 2/(-5) - (-484)/10. Is 16 a factor of ((-3)/9 + 1)*o?
True
Let p(f) = 3*f - 2. Let z be p(2). Suppose 2*t = x + 3, -z*t + 8 = -4. Suppose -2*j = -7*j - w + 37, -x*j - 3*w + 15 = 0. Is j a multiple of 4?
True
Suppose 124 = 2*z - 86. Suppose -z = -0*d - 5*d. Does 21 divide d?
True
Let b be 132/8 + 6/4. Is 5 a factor of b/(-12) + (-34)/(-4)?
False
Let k be 3/(-2)*(2 + -4). Let l(s) = s**3 + 11*s**2 - 14*s + 10. Let c be l(-12). Suppose k*p - 4*p = -c. Is p a multiple of 17?
True
Let g be ((-102)/7)/((-2)/(-14)). Suppose -3*m = h - 7*m + 26, 3*m - 12 = 0. Is g/h - 2/10 a multiple of 10?
True
Suppose -5*h = 0, 105 = 2*c + 2*h - 7. Is c a multiple of 3?
False
Let z = 78 + -46. Suppose -12 = 4*j - z. Is 5 a factor of j?
True
Suppose 3*a - 4*k + 1 = -30, 0 = -a - 5*k - 4. Let u(y) = -y**2 - 10*y - 4. Is u(a) a multiple of 3?
False
Suppose 0 = x + 9 - 23. Is 14 a factor of x?
True
Let f(p) = -4*p**3 + 6*p**2 - 8*p + 4. Let r(q) = q**3 + q. Let t(k) = f(k) + 3*r(k). Let i be t(5). Let y = i - -22. Is y a multiple of 21?
False
Let l be (-15)/(-25) - 16/10. Let x be (-10)/6*l*3. Suppose -o + 33 = -4*z - z, -o = x*z - 53. Does 12 divide o?
False
Let j(y) = -y**2 - 13*y - 3. Let o be j(-12). Is (24/o)/((-12)/(-90)) a multiple of 20?
True
Let i(n) be the third derivative of 0*n**4 + 0 + 0*n + 1/60*n**5 + 1/120*n**6 + 11/6*n**3 + 2*n**2. Does 3 divide i(0)?
False
Let f = 13 + -5. Suppose f*n - 27 = 5*n. Does 3 divide n?
True
Let v(j) = 5*j**3 + j**2 - 12*j + 4. Let o(f) = -4*f**3 + 11*f - 3. Let p(y) = -6*o(y) - 5*v(y). Suppose 5*q - 2*q = -12. Does 2 divide p(q)?
True
Let p(g) = 4*g - g**2 - 3*g + 4*g + g. Let h be p(5). Suppose 4*k = -h*n + 102 - 0, 5*n + 2*k - 106 = 0. Does 16 divide n?
False
Suppose 2*r - 7 = w, 3*r + 4*w - 12 = r. Suppose -6*q + 26 = -r*q. Is 7 a factor of q?
False
Let o(g) = -44*g**2 - g + 1. Let a be o(1). Let z = a - -79. Suppose -3*k = 2*k - z. Is 3 a factor of k?
False
Let r be 4 + (-1)/1 + -1. Suppose r*a + 384 = 3*n - 3*a, -4*n + 512 = a. Suppose -4*x + n - 38 = 3*f, x = 3. Is 13 a factor of f?
True
Let n = 23 + -12. Is n a multiple of 11?
True
Suppose 0*a - 4*a + 536 = 0. Suppose a = 4*z + 26. Does 11 divide z?
False
Suppose 141 = -7*u + 799. Is u a multiple of 16?
False
Let m(j) = -j + 3. Does 10 divide m(-7)?
True
Suppose -5*p - 45 = -3*k, k + 2*k = -3*p - 51. Let j = 19 + p. Does 7 divide j?
True
Let o(t) = 7*t - 8. Let w = 11 + -5. Is 17 a factor of o(w)?
True
Let u(p) = -p**2 - p + 10. Let w be u(-8). Let r = w - -76. Is r a multiple of 10?
True
Let b = 8 + 1. Suppose -b*i - 18 = -12*i. Is i even?
True
Suppose a - c - 4*c = 14, 18 = -a - 3*c. Let n be (3 - (-2 - a))*4. Is 6 a factor of -1 + -1 + (n - -29)?
False
Let m(t) = -t**3 - 4*t**2 - 2*t - 3. Let q be m(-4). Suppose -q*b = -b. Suppose 4*j + 4*l - 104 = b, 2*j + 3*l + 90 = 7*j. Is j a multiple of 11?
False
Let l = 167 + -137. Is 10 a factor of l?
True
Let n(y) be the third derivative of -y**4/24 - y**3/2 - y**2. Let b be n(-3). Suppose f + 2 = b, -2*a - 2*f - 10 = -5*a. Is 2 a factor of a?
True
Suppose 0*k + 76 = -5*k - 3*h, 2*k + 24 = 2*h. Is 2 a factor of k/(-6) - (-14)/21?
False
Suppose 4*d = -2*y, 4*y + 0*d = 5*d + 13. Suppose -3*a - y*g = 2*a - 50, 4*g = -5*a + 50. Is 10 a factor of a?
True
Let n = 89 - 48. Is n a multiple of 12?
False
Suppose 3*s = y + s + 5, y - 5*s = -20. Suppose -3*p = -5*k + 37, -k + 4*k - 35 = y*p. Is k a multiple of 2?
False
Let t = -44 + 58. Does 2 divide t?
True
Suppose 5*i - 179 = -0*f - 4*f, -3*i = 15. Suppose -42 - f = -3*n. Does 13 divide n?
False
Let a = -112 - -249. Does 14 divide a?
False
Suppose -5*w + 8 = -2*q, 3*q - 3 = w - 2. Is 7 a factor of (-7)/(-1)*3/q?
True
Suppose 4 - 2 = l. Suppose 2*n = -3*m - 16, 2*n - l*m + 3 = -3. Let t(z) = -2*z - 1. Is 9 a factor of t(n)?
True
Let a(b) = b**3 + 17*b**2 + 11*b - 3. Is a(-16) a multiple of 11?
True
Let z(t) = -2*t**2 + 11*t. Let b be z(8). Is ((-66)/8)/(15/b) a multiple of 11?
True
Let p(k) = -k**3 + 6*k**2 - 7*k + 5. Suppose -2*n + 4*n - 8 = 0. Is p(n) a multiple of 2?
False
Let t(h) be the second derivative of -h**6/360 - h**5/120 + 5*h**4/6 - h**3/6 - 2*h. Let i(z) be the second derivative of t(z). Does 10 divide i(0)?
True
Let k = 54 - 3. Is 49 a factor of k?
False
Let f be 12 + (-9)/(6/2). Let j(l) = l**2 - 6*l + 11. Does 14 divide j(f)?
False
Let y(f) = 0*f + f**2 + 1 + f + f. Let x be y(3). Suppose -d + x = d. Is d a multiple of 8?
True
Suppose 5 = -2*u + u + 2*z, -u = -z. Suppose 0 = 2*f, -u*k - 4*f + 270 = 90. Does 9 divide k?
True
Let v(g) = g**3 - 9*g**2 + g - 9. Let u be v(9). Suppose u = 4*k - 40 + 12. Is 7 a factor of k?
True
Suppose 0 = -2*z - 3*k - 58 + 231, 0 = 5*z - 5*k - 370. Is z a multiple of 7?
False
Let j = 11 - 7. Does 3 divide j?
False
Let s(x) = x**2 + 9*x + 3. Is s(-13) a multiple of 11?
True
Let f(c) = -c**2 - 5*c - 2. Let s be f(-3). Suppose -2*h - 3*q = 11, s*h = -h - 3*q - 14. Is 3 a factor of (3 + 3 + -13)/h?
False
Suppose 38*x - 32*x = 1290. Is 12 a factor of x?
False
Suppose 6*i - 147 = 129. Is 3 a factor of i?
False
Suppose 5*p - 32 = -7. Does 5 divide p?
True
Let n(f) be the first derivative of f**7/840 + 7*f**6/360 + f**5/120 - f**4/12 - f**3/3 + 1. Let j(h) be the third derivative of n(h). Is 15 a factor of j(-6)?
False
Let i be (8 - 4) + 0/(-2). Let c(j) = 1 - j - i*j + 0. Does 4 divide c(-2)?
False
Let j(d) = 28*d - 84. Is j(13) a multiple of 35?
True
Suppose 3*a - 5 = 1. Suppose -d - a = 4. Let u = d + 22. Is u a multiple of 7?
False
Let z(c) = c**3 - 5*c**2 - 6*c + 2. Let q be z(6). Suppose -2 = q*j, -2*b - 2*j + 68 = 2*j. Does 18 divide b?
True
Let j(b) = b**3 - 5*b**2 + b - 2. Let v be j(5). Suppose -v*a = 44 - 14. Let t = 39 + a. Is 10 a factor of t?
False
Let l(t) = -t**3 - 6*t**2 + 2*t + 9. Let b be l(-6). Let c be (-6)/(-3) + (-3 - b). Does 15 divide 0 + 2 + 15 - c?
True
Suppose -k + 15 = 4*k. Suppose -k*d - d = -72. Suppose -3*m + 45 - d = 0. Does 5 divide m?
False
Let p = 9 - -40. Is 14 a factor of p?
False
Let a be 310/(-4) - (-6)/(-4). Let i = 112 + a. Is i a multiple of 14?
False
Suppose -5*f + 110 = 5*z, f + 4*f + 15 = 0. Suppose -z = -3*i + 11. Is i a multiple of 7?
False
Suppose -174 = i + 2*i. Suppose -5*c = -5*a + 450, a - 4*c + 2*c = 85. Let t = a + i. Does 14 divide t?
False
Suppose -s = -2*s + 5. Suppose s*a + 145 = -50. Does 13 divide -2 - (a/1 + -1)?
False
Suppose -h = -2*h. Suppose -d + 2*d - 39 = h. Suppose -5*p + 16 + d = 0. Does 3 divide p?
False
Let n(t) = -2*t - 3. Let w be n(-4). Suppos