2 - 6*l + 4. Does 9 divide q(-5)?
False
Let t be (-1 - -96) + 2 + -2. Let p = t + -55. Suppose 2*v - 32 = p. Is 12 a factor of v?
True
Let s(w) = w**3 + 7*w**2 - 6. Let q be s(-6). Let d = q - 42. Is 18 a factor of (d/10)/((-6)/260)?
False
Suppose 0 = o - 4*f - 3 - 16, -o + 3*f = -16. Does 5 divide o?
False
Suppose -2*j = w - 86, 70 = j + w + 25. Suppose a = -2*d + j, 4*a = -3*d - 22 + 76. Is 11 a factor of d?
True
Let n(x) = x**2 + 4*x - 5. Let u(j) = -j**3 + 10*j**2 - 10*j + 2. Let t be u(9). Is n(t) a multiple of 8?
True
Suppose -5*v + 14*v - 234 = 0. Is 13 a factor of v?
True
Let o = -67 - -207. Does 14 divide o?
True
Let q(u) = 5*u**3 + u**2 + 6*u - 6. Is 10 a factor of q(2)?
True
Let l = -19 + 48. Let u = 52 - l. Is 11 a factor of u?
False
Suppose -4*u = -2*f - 12, 2 + 6 = 2*u. Suppose 5*a - f*a - 2*i = 4, 2*a + 5*i - 9 = 0. Is 23/a - 5/(-10) a multiple of 6?
True
Suppose 0 = 6*s - 2*s - 168. Suppose -9 = p - s. Is p a multiple of 11?
True
Suppose -6*a + b = -3*a - 41, 0 = -3*a + 3*b + 51. Suppose 0 = -2*m - 2*q + 60 + 142, 0 = 3*q + 3. Is (a/(-9))/((-4)/m) a multiple of 17?
True
Let y = 86 - 47. Does 13 divide y?
True
Let v(o) = -8*o + 3. Let m be v(2). Let q = m + 28. Is 6/q*(-1 + 36) a multiple of 14?
True
Is 20 a factor of (-4)/(-14) - (-906)/14?
False
Let p(w) = 7*w - 4. Let l be p(6). Let q = -21 + l. Is 17 a factor of q?
True
Let v(b) = b**3 - 3*b**2 + 4*b + 1. Let s(q) = 4*q**2 + q. Let u be s(-1). Does 3 divide v(u)?
False
Suppose 0 = -2*z - 2*z. Is 1 + z - (-17 - -1) a multiple of 14?
False
Let c(l) be the first derivative of 9*l**2/2 + l - 3. Let d be 3/(-2)*8/(-6). Is 17 a factor of c(d)?
False
Suppose b - 4*p = 7, 2*b + 0*b - 38 = -4*p. Is 12 a factor of b?
False
Suppose -4*f = h - 436, 2*f = 5*f - h - 334. Does 13 divide f?
False
Let m = -3 - -7. Let a(g) = 2*g**3 + 4*g**2 + 1. Let f be a(-3). Let l = m - f. Is 19 a factor of l?
False
Suppose 4*g = -g + 2*x + 131, -12 = 4*x. Suppose 0 = 2*k - g - 65. Does 15 divide k?
True
Suppose -465 = -8*h + 415. Does 31 divide h?
False
Let c = 5 - 3. Suppose 2*b - c = 6. Suppose -b*r + 155 = r. Is r a multiple of 18?
False
Let g = -1 + 15. Is 13 a factor of g?
False
Let b be 1/(-1*1/(-2)). Suppose 6 = b*p - 0. Suppose 19 = 2*j - p. Is j a multiple of 5?
False
Suppose 6*f + 790 = 16*f. Is 10 a factor of f?
False
Suppose 2*o = 5*v - 34, -38 + 1 = -5*v + o. Let h(p) = p**2 - 4. Let j be h(v). Is 11 a factor of j/3 + 1 + 1?
True
Suppose -2*n + 5*d + 42 = -0*n, -4*n - 4*d = -112. Is 14 a factor of n?
False
Suppose 21 + 33 = 2*w. Suppose 5*j + 3*y - 77 = 0, w = 3*j + 2*y - 20. Is j a multiple of 3?
False
Suppose 9*w + 225 = 14*w. Does 9 divide w?
True
Let i be 2/(-4)*(-1 - -3). Let d be (-11 - -1)*(2 + i). Let v = 3 - d. Does 13 divide v?
True
Let f = 192 - 152. Is f a multiple of 10?
True
Let g(s) = -s**2 + 2*s - 5. Let l(j) be the first derivative of j**3/3 + j + 3. Let q(n) = 2*g(n) + 10*l(n). Is 20 a factor of q(-3)?
True
Suppose -3 = -3*n + 159. Does 18 divide n?
True
Let f(y) = -y**2 + 2*y - 2. Let t be f(2). Let a be t + (-58 - -1) - -1. Is 16 a factor of a*-2*(-1)/(-4)?
False
Is 10 a factor of 10/(2 - (-1 + 2))?
True
Let m = -33 + 53. Suppose 0 = -5*j + m, -4*s - 4*j = -0*s - 172. Is s a multiple of 15?
False
Let q(c) = -c - 6. Let f be q(-6). Suppose -17 = -3*z - 5. Suppose -z*n + 0*n + 68 = f. Is 6 a factor of n?
False
Let a = -6 - -4. Is 9 a factor of (-1)/(a/(-6))*-6?
True
Let r(k) = -4*k - 3*k + k. Let d be r(-2). Is 19 a factor of 114/8*32/d?
True
Let g be 118/8 - 2/(-8). Let p = -20 + 10. Is ((-12)/g)/(2/p) a multiple of 4?
True
Let h(x) = 25*x + 6. Let s(p) = 1. Let d(q) = -h(q) + 3*s(q). Is d(-2) a multiple of 13?
False
Let d(l) = -l**2 - 20*l + 2. Does 35 divide d(-14)?
False
Suppose 3*g - 7*g = 20. Let n(j) = 6*j**3 + 5*j**2 - 12*j - 3. Let o(f) = -7*f**3 - 5*f**2 + 13*f + 3. Let a(b) = 6*n(b) + 5*o(b). Is 16 a factor of a(g)?
True
Let a(m) = m**3 - m**2 - m + 39. Let n be a(0). Suppose -4 = -2*o, 2*o + o = 3*g - n. Is g a multiple of 4?
False
Suppose l + 58 = 3*o, 4*l - 21 - 41 = -2*o. Let g = o - 8. Is g a multiple of 9?
False
Let d be 2 + (1/1)/(-1). Let q be 1/1 + d - 0. Suppose q*v + 2*v - 144 = 0. Is v a multiple of 17?
False
Let w(d) = -d - 1. Let n(y) = 4*y**2 - 7*y - 6. Let t(f) = n(f) - 5*w(f). Let g(m) = -m + 1. Let r be g(2). Is 3 a factor of t(r)?
False
Let s = 11 + -6. Suppose -5*p + 3*u + 85 = -45, 0 = s*p + 5*u - 170. Does 14 divide p?
False
Let q(v) = 7*v + 12. Let l be q(9). Suppose 2*w - l = 5*a + 20, 57 = -2*a - 3*w. Is (3/(-1) - a)*1 a multiple of 18?
True
Let a(r) = r - 1. Let l(o) = -16*o + 7. Let p(y) = 3*a(y) + l(y). Is 13 a factor of p(-6)?
False
Let k(u) = 22*u - 2. Does 3 divide k(1)?
False
Let b(o) = 8*o + 1. Let u be b(4). Let r = -9 + u. Is r a multiple of 12?
True
Let y(b) = 29*b - 2. Does 27 divide y(2)?
False
Is (0 + -4 + 3)*-77 a multiple of 19?
False
Let o = 18 + -7. Suppose -3 = -3*s - 0. Let w = o + s. Is w a multiple of 6?
True
Suppose 0 = -2*j + 15 + 9. Is 2 a factor of j?
True
Suppose -3*j + 147 = 5*w, -5*j + 2*j + 117 = 4*w. Does 10 divide w?
True
Let r = 3 - 6. Let j(a) be the first derivative of -a**4/2 - 2*a**3/3 - 2*a**2 - 2. Is 24 a factor of j(r)?
True
Let x(u) be the second derivative of 5*u**3/6 + 3*u**2/2 + 2*u. Is 21 a factor of x(6)?
False
Let n(f) = -f**2 + 10*f + 11. Does 9 divide n(8)?
True
Let v = -18 - -48. Suppose -4*h - 5*c + 7 = 0, 5*h + 4*c + 10 = v. Does 8 divide h?
True
Let g be (-10)/(-4)*(-6)/(-5). Suppose g*p = v + 152, 129 = 3*p - 5*v - 19. Does 21 divide p?
False
Let d(x) be the first derivative of -x**4/4 - x**3/3 + 3*x**2/2 + 2*x + 1. Let r = -7 - -3. Does 19 divide d(r)?
True
Suppose -5*m - 3*t + 12 = -m, -22 = -3*m + t. Let z(j) = -7*j - 6. Let x be z(m). Let l = -8 - x. Does 17 divide l?
False
Let q = 15 + -12. Suppose -3*i + 2*i = -3*x - 23, i + q*x = 5. Is i a multiple of 14?
True
Let m be (-1590)/(-24) + (-2)/8. Suppose -m + 6 = -4*y. Is 10 a factor of y?
False
Let o = -2 + 3. Suppose 3*g + o = 4, 34 = x + 4*g. Is 10 a factor of x?
True
Let i(r) = -6*r**3 + r**2 + 2*r + 1. Let n be i(-1). Let x(y) = 7*y - 16. Let u(q) = -3*q + 8. Let f(t) = 13*u(t) + 6*x(t). Does 13 divide f(n)?
True
Let o = -19 - -12. Let c(n) = n**3 + 6*n**2 - 8*n + 4. Does 3 divide c(o)?
False
Suppose -2*t = 4*j + 2*t - 772, -3*j + 5*t = -595. Suppose -3*v - j - 3 = 0. Let w = v - -92. Is 13 a factor of w?
True
Let j(z) = -z + 16. Is 6 a factor of j(-8)?
True
Let v(b) = -b**3 - 5*b**2 + 8*b - 2. Is 10 a factor of v(-8)?
False
Let v(h) = -h**2 + 3*h + 4. Let k be v(4). Suppose p - 16 = -5*q - 2*p, 0 = 4*p - 8. Suppose k = i - 5 - q. Does 7 divide i?
True
Let b = -16 + 25. Let y = b - -9. Does 15 divide y?
False
Suppose -795 = -9*l + 114. Is 19 a factor of l?
False
Suppose -2*s + 1 = -11. Let x = 2 + s. Suppose -4*m = -x*m + 108. Is m a multiple of 10?
False
Let s = 20 - 9. Suppose -69 - s = -5*u. Does 10 divide u?
False
Suppose -4*j = -12, 5*z - 11 = 3*j - 0. Suppose z*b - 8*b = -2*g + 30, 3*g - 3*b = 48. Does 5 divide g?
False
Let d(v) = v**3 - 5*v**2 - 5*v - 2. Let c be d(6). Let z(s) = -s - 6*s**3 + 2 + 6*s**2 + 2*s**3 + 3*s**3. Is 20 a factor of z(c)?
False
Let s(d) = d**3 - 10*d**2 + 11*d + 9. Is s(9) a multiple of 5?
False
Suppose 0 = o + 4*x - 4 - 6, 0 = -2*x + 4. Suppose -2*g = 2*y + 3*g - o, 5*y + 4*g = 5. Suppose -y = 2*r - 17. Is 3 a factor of r?
False
Suppose -3*y - 2*g + 26 = -4*g, 3*g + 36 = 4*y. Does 6 divide y?
True
Let q = -7 + 7. Suppose -a + 7 - 2 = q. Let i = a - 1. Is 2 a factor of i?
True
Suppose 5*a + 23 = -2*o, a + 15 = -o - 2*o. Let v(l) be the third derivative of l**6/120 + l**5/30 - l**4/8 + l**3/3 + 6*l**2. Is v(a) even?
True
Suppose 0 = 3*z - 3, 4*a + 0*a - 33 = -5*z. Let r = -9 + 17. Let o = r + a. Does 11 divide o?
False
Suppose 0 = 3*b - 4*t - 54, 3*b - 2*t + 0*t = 48. Is b a multiple of 7?
True
Let k = 1 + 48. Does 49 divide k?
True
Is 37 a factor of (-1 + (-70)/4)*-1*6?
True
Let g(u) = -8*u - 5. Let j(y) = 17*y + 11. Let v = 19 + -12. Let k(i) = v*g(i) + 3*j(i). Is k(-8) a multiple of 19?
True
Let w = 753 - 412. Is 31 a factor of w?
True
Suppose 6*l + 2*l = 1096. Does 30 divide l?
False
Let o(h) = -4*h + 3*h + 3*h. Let x be o(3). Suppose 0 + x = g. Is g a multiple of 3?
True
Let v(w) = -5 - 