s + 1. Let n be a(1). Suppose 5 = 5*d, 3*p + 3*d = -0*p + 12. Suppose p*k - 4*g = -3*g + 26, n*k = 2*g + 24. Is k a multiple of 3?
False
Is 6 a factor of ((-48)/(-7))/((-2)/(-14))?
True
Let q = -1 - -5. Suppose j - 60 = -q*j. Is j a multiple of 11?
False
Suppose -u + 2*u - d - 47 = 0, -5*d + 205 = 5*u. Is 37 a factor of u?
False
Let y(t) be the first derivative of -t**2 - 3. Let j be y(-12). Is (80/j)/((-4)/(-30)) a multiple of 25?
True
Let b(q) = -q**2 - 3. Let f be b(-5). Let r = f + 48. Is 11 a factor of r?
False
Suppose 14 + 13 = v. Is 6 a factor of v?
False
Suppose 154 = 3*m - 266. Is m a multiple of 35?
True
Suppose 0*j + 5*j + 760 = 0. Let o = -108 - j. Is o a multiple of 22?
True
Suppose -36 = -0*z - z + 4*o, -5*z - o = -117. Suppose -7*t + 30 = -2*t. Let u = t + z. Is u a multiple of 18?
False
Suppose 6*l - 15 = l. Suppose m - l*m - 31 = -a, -4*a + 3*m + 134 = 0. Is a a multiple of 17?
False
Let a = 47 - -33. Does 20 divide a?
True
Let l(t) = 10*t + 202. Does 23 divide l(0)?
False
Let g(x) = -x**3 + 7*x**2 - 2*x - 5. Let c be g(6). Let m = c - -17. Does 9 divide m?
True
Suppose 2*w = -4 + 16. Is 7 a factor of (4/(-3))/(w/(-63))?
True
Let t(r) = 2*r**2 - r. Let c be t(-1). Suppose 5*n = 4*b - 0*b - 236, c*n = 0. Suppose -3*l = -4*o - 4*l + b, 74 = 5*o + l. Is o a multiple of 15?
True
Let s be (-9)/(-3) - 36/2. Let a = s - -21. Is 3 a factor of a?
True
Let i(b) = -b**3 - 3*b**2 + 3*b + 9. Let m be i(-6). Let c = m - 58. Is 18 a factor of c?
False
Let n(r) = 18*r**2 - r - 5. Let w be n(4). Suppose 0 = 4*k + 5*u - w, 2*k + k + u - 223 = 0. Is k a multiple of 20?
False
Let k(c) be the first derivative of -c**4/4 - 2*c**3 - 9*c**2/2 - 4. Let n be k(-7). Suppose -n = -4*w + 5*t - 10*t, -4*t = -w + 28. Is w a multiple of 12?
False
Let f be 0 + -1 + 4/1. Suppose f*z - g - 5 + 0 = 0, -5*g = -20. Let v(b) = b**3 - b**2 - 4*b + 4. Is 5 a factor of v(z)?
True
Let p = -95 - -142. Let y = p - 33. Does 14 divide y?
True
Suppose -5*x + 5*u = -25, -5*x + 1 = -4*u - 19. Suppose 0 = 5*z + v - 63, x*z - 3*v = z - 21. Does 6 divide z?
True
Let s = 5 + -6. Let z be (s + -1)/(2/5). Let i(v) = v**3 + 7*v**2 + 6*v + 3. Does 16 divide i(z)?
False
Suppose -2*f + 4 + 0 = 0. Let q be f/(-3)*3*-2. Suppose g + q = 6. Does 2 divide g?
True
Let v(u) = u**3 + 5*u**2 + 3*u + 2. Suppose 3*p = -4*g - 19, -3*g - 3*p - 7 = -2*g. Is 6 a factor of v(g)?
True
Let w = -27 - -19. Let j = w - 6. Is 3 a factor of -2 + (-1)/(2/j)?
False
Suppose -d + 2*d = -3*t - 4, d + t = 0. Suppose -3*y + 95 = -4*n, 67 = -6*n + 3*n - d*y. Let v = n - -33. Does 10 divide v?
True
Suppose 3*p - 84 = -2*n + 7, 2*p + 3*n - 69 = 0. Suppose 5*f - 2*c = p + 13, f = 2*c + 16. Is f even?
True
Suppose 3*j = -0*j + 36. Is j a multiple of 6?
True
Suppose 0 = -3*b + 3*j + 111, 5*b + j = -j + 171. Does 8 divide b?
False
Let r(i) be the third derivative of -i**6/120 - 11*i**5/60 - i**4/2 - 7*i**3/3 + 8*i**2. Does 6 divide r(-10)?
True
Let l = 319 + -183. Is l a multiple of 34?
True
Suppose 2*u - 3 = 3. Suppose 4*n - 300 = u*w, -n = -0*n + 4*w - 75. Suppose 0 = 3*p - 6*p + n. Is 10 a factor of p?
False
Let w be -3 - (-1 - 1 - 0). Let x be w/(3/(-240)*2). Suppose -a = a - x. Is 10 a factor of a?
True
Let b(m) be the first derivative of -3*m**2/2 + 2*m - 3. Does 7 divide b(-4)?
True
Let m(h) = h**2 + 1. Let g(w) = -w**3 - 5*w**2 + 13*w - 8. Let z(u) = -g(u) + 6*m(u). Is 16 a factor of z(-12)?
False
Suppose -4*p = 2*c - 330, -p = -3*c - 4*p + 498. Suppose r - c = -5*k - 2*r, 0 = k - 3*r - 19. Does 9 divide k?
False
Let v(u) = u**2 + 15*u - 37. Is 4 a factor of v(-21)?
False
Let m be ((-24)/10)/((-4)/10). Let d(q) = q**3 - 4*q**2 - 6*q - 6. Is d(m) a multiple of 10?
True
Let c(u) = u - 2. Let o be c(2). Let y = 0 - o. Suppose s + 5*v = 21, y = -3*s + 8*v - 4*v + 82. Is 13 a factor of s?
True
Let n = 5 - 3. Suppose 25 = 2*g - f + 6*f, -n*g + 7 = -f. Does 16 divide ((-5)/(g/56))/(-1)?
False
Suppose 0 = -w + 2 + 2. Suppose -x = 1 - w. Suppose x*l = -3*m + 45, 0*l + 4*l + 5*m = 63. Is l a multiple of 6?
True
Suppose 0*o = 4*o. Let d = 0 - o. Suppose d*u - 5*u + 65 = 0. Is u a multiple of 8?
False
Let p(m) = -m**3 - m**2 + m - 4. Let d be p(-3). Suppose u - 3 - d = 0. Suppose -5*y = 4*g - 25 - u, 90 = 5*g - 2*y. Is 8 a factor of g?
True
Let h(y) = -y - 2. Let k be h(-5). Let o(d) = k*d**2 + 1 + 1 - d**2 + 0 + 5*d. Is o(4) a multiple of 19?
False
Suppose -128 + 11 = -3*s. Does 39 divide s?
True
Does 15 divide (-218)/(-6) + 1/(-3)?
False
Let t(i) = 19*i**2 + 2*i + 3. Suppose -4*d - 5 = 3. Is t(d) a multiple of 25?
True
Let t(l) be the third derivative of -7*l**4/24 - l**3/6 + 3*l**2. Is t(-2) a multiple of 10?
False
Let m(l) = 9*l**3 + 2*l**2 - l. Let v be m(2). Let q = v + -47. Is 25 a factor of q?
False
Suppose 4*l + 5*s - 12 = s, 3 = -4*l + s. Let c be l + -1 + 3 + 6. Suppose 92 - c = 3*o. Is o a multiple of 12?
False
Let j(r) = -3*r + 4. Let q be j(-8). Suppose s = 5*s - q. Is 7 a factor of s?
True
Suppose -15*w - 25 = -16*w - r, -5*w + 5*r = -135. Does 3 divide w?
False
Let q(p) = -p**2 - 5*p + 2. Let a be q(-5). Let s = -3 + -1. Is (-134)/s + a/4 a multiple of 17?
True
Suppose 5*k + 252 = 11*k. Does 11 divide k?
False
Suppose i - 6 = -c + 98, 2*i = -3*c + 209. Is i a multiple of 22?
False
Let f(m) = -m**3 - 6*m**2 - 5*m - 3. Suppose 0 = 3*j + 27 - 12. Let l be f(j). Let w = 6 + l. Is w even?
False
Let h = 19 - 7. Let o = -8 + h. Is 3 a factor of o?
False
Let p(j) = 20*j + 1. Let z be p(2). Let s = z - 21. Is s a multiple of 8?
False
Let y(k) = k**2 - 2*k - 2. Is 11 a factor of y(6)?
True
Suppose 0*p - p + 5 = 0. Suppose 4*c = 5*o + 190, 5*o - p - 5 = 0. Is c a multiple of 18?
False
Let r be 4/(-10)*(-2 + -3). Suppose r*g = -3*g. Suppose 117 = 3*j - g*j. Is j a multiple of 19?
False
Suppose 3*z - 6 = z. Suppose -z*r = q - r + 16, -2*q - 16 = -4*r. Is (-272)/q + 2/(-3) a multiple of 11?
True
Suppose 45 = -0*q + q + 4*s, 4*s = 4*q - 180. Does 9 divide q?
True
Let s(b) = -5*b**3 + b. Let r be s(-1). Suppose -2*q + 67 = 3*v, 9*q + 28 = v + r*q. Suppose 3*f - 43 = v. Is f a multiple of 22?
True
Let l(a) = -53*a**2 + a - 2. Let o be l(1). Is 11 a factor of -2 + (o/(-1) - 1)?
False
Suppose -3*d = 5*n + d - 249, 5*n = -2*d + 257. Is n a multiple of 11?
False
Let t(b) = -b**2 + 15*b - 18. Let m be t(14). Let r = m + 14. Does 4 divide r?
False
Suppose 3*f - 2*o = 2*f - 4, 5*o - 25 = 0. Is 6 a factor of f?
True
Suppose 2 = u - 0. Suppose -2*s - 8 = u*n + 2*s, 3*n + 4*s = -6. Suppose n*w - c = 23, 4*w - 13 = c + 32. Does 4 divide w?
False
Suppose 0*z + 327 = -3*p - 2*z, 3*p + 327 = 2*z. Let j = p + 156. Is j a multiple of 11?
False
Let k be (-6)/(-3) - -2 - 2. Suppose -p + 1 = 3*z + k, -2*p - z + 3 = 0. Suppose 0 = p*b + b - 24. Is 8 a factor of b?
True
Let h(k) = 3*k**2 + 6*k + 2. Let r(s) = s**2 - 3*s - 2. Let q be r(4). Suppose -2*a + 4*b - 32 = q*a, b - 4 = 0. Is 11 a factor of h(a)?
False
Let b = -123 + 268. Is 46 a factor of b?
False
Let u = -37 - -22. Suppose -2*z = 0, -z = 4*j - 3*z + 36. Is j/u + 264/10 a multiple of 11?
False
Let w = 66 - 37. Let u = 49 - w. Let a = -13 + u. Is 7 a factor of a?
True
Suppose 20 = j - 86. Let a = j - 75. Is a a multiple of 10?
False
Let x(i) = -i**2 - 6*i - 3. Let g be x(-4). Let w = g + 15. Suppose -2*k = -3*d + 5 - 18, 0 = -3*k + 4*d + w. Is k a multiple of 7?
False
Let d(z) = -z**2 + 1. Let g(t) = -t**3 + 7*t**2 - 4*t - 3. Let f(n) = 3*d(n) + g(n). Let r be f(3). Is 19 + 1/(r/6) a multiple of 17?
True
Suppose 0 = -2*r - 19 + 55. Is 18 a factor of r?
True
Let r be -177 - -1 - (-3 - -2). Let b = r + 327. Suppose 4*q - b = z + 4*z, -58 = -2*q - 2*z. Is 14 a factor of q?
False
Suppose 0 = b - 3 - 2. Let v = -6 + 11. Suppose -b*h + v*p = -165, 4*h - h - 123 = -3*p. Does 13 divide h?
False
Is (-1)/2*-34 - 3 a multiple of 4?
False
Suppose -3*v = 2*h - 5, 0*v = 2*h - 2*v. Suppose -h - 20 = -3*a + n, 3*a + 4*n - 21 = 0. Suppose 3*j + 5*r - a = 0, 46 - 7 = 3*j - 3*r. Is j a multiple of 4?
False
Let o(n) = -n + 8. Let j be o(-6). Let p = j + -2. Is p a multiple of 6?
True
Suppose 2 = t, t - 5*t = -5*h + 27. Is 7 a factor of h?
True
Does 29 divide (-289)/(-5) + (-4)/(-20)?
True
Suppose -94 = -4*s - 2*l, -s + 14 = -l - 5. Is s a multiple of 4?
False
Let a(o) = -2*o**3 - 9*o**2 + 5*o + 2. Does 1