 n(0). Let u = -20 - c. Is u a multiple of 19?
False
Let y be 0/(4*(-3)/6). Suppose -4*t - 106 = -5*q, -3*q - 5*t = -y*t - 71. Is 11 a factor of q?
True
Let t(q) = q**3 - 8*q**2 + q - 7. Suppose 2*r - 6*r + 3*y + 32 = 0, 5*y = -3*r + 24. Let p be t(r). Let m(i) = 30*i - 1. Is 11 a factor of m(p)?
False
Let r be -52*-3*(-1)/2. Let h = -29 - r. Suppose 0 = s + 12 - h. Does 14 divide s?
False
Suppose 0*n + 161 = 3*v - 5*n, 211 = 3*v + 5*n. Does 12 divide v?
False
Let h(n) = -19*n + 2. Is h(-4) a multiple of 26?
True
Let d = 20 + -2. Does 6 divide d?
True
Suppose -2*g + 44 = -0*g. Let j = g + 34. Is j a multiple of 18?
False
Let u be 48/40*(-50)/3. Does 9 divide (-36)/u*15*1?
True
Suppose 4*b - 10 = 3*b. Is b a multiple of 4?
False
Is (-470)/(-15) - (-4)/(-3) a multiple of 5?
True
Suppose -5*d = -q - 231 - 223, -2*q - 8 = 0. Suppose 0 = 3*c + 2*c - d. Does 5 divide c?
False
Let o(k) = k**2 + k + 3. Is o(-2) a multiple of 5?
True
Suppose 5*p - 28 = -8. Suppose -p*m + 116 + 100 = 0. Does 18 divide m?
True
Let j(x) = -x**3 - 9*x**2 - 7*x - 1. Let a be j(-8). Let k = 2 - a. Is 4 a factor of k?
False
Let q(v) = 5*v**2 - 99. Let c(w) = -3*w**2 + 66. Let s(x) = 8*c(x) + 5*q(x). Let r(z) = -z**3 + 6*z**2 - 6*z + 5. Let y be r(5). Is s(y) a multiple of 21?
False
Let z(a) be the third derivative of -3*a**5/40 - a**3/3 - a**2. Let p(d) be the first derivative of z(d). Does 19 divide p(-3)?
False
Let q = -11 + 27. Is 6 a factor of q?
False
Let o(n) be the third derivative of 2*n**5/15 - n**4/6 + n**3 - n**2. Let t be o(4). Suppose 5*s - x = t, 5*s - s - 101 = 3*x. Is s a multiple of 14?
False
Let s(r) = 6*r**3 - 2*r**2 - 2*r + 3. Does 16 divide s(2)?
False
Let w be 5/(-20) + 9/4. Let j = 0 + w. Suppose 3*h - j*h = 9. Is 8 a factor of h?
False
Let v = 4 + 26. Is v a multiple of 6?
True
Let m = 2 + 2. Does 10 divide (-13)/m*4/(-1)?
False
Let g be ((-56)/(-12))/7*3. Let k = g + 15. Is 5 a factor of k?
False
Suppose o + 3 = s, 4*o - 9 - 11 = -4*s. Let i(b) = 18*b - 1. Is i(o) a multiple of 17?
True
Suppose -10 - 8 = 5*g + 4*q, 8 = -2*g - 2*q. Does 2 divide 3 - (2 - (-6)/g)?
True
Suppose 11*x = 9*x + 108. Does 9 divide x?
True
Let j(d) = -d**2 - 7*d + 4. Let h be j(-8). Let s = h + 2. Let k = s - -6. Does 2 divide k?
True
Let v(o) = o**3 - o**2 - 7*o + 10. Does 5 divide v(5)?
True
Let j(u) = 6*u + 5. Is j(10) a multiple of 18?
False
Let b(i) = i**2 - 2*i - 1. Let x be (-10)/((-2)/(-4 + 3)). Is 17 a factor of b(x)?
True
Suppose -111 + 31 = 4*s. Let c = -11 - s. Is c even?
False
Does 9 divide -3 - (6/5)/((-2)/200)?
True
Suppose 4*c + c = 60. Is 6 a factor of c?
True
Let a(v) = 2*v**2 - 3*v - 2. Does 30 divide a(5)?
False
Does 26 divide (-11 - -144) + -3*1?
True
Suppose j + j = -2*o + 14, 3*o - j = 37. Let s be (-4 + -1)*4/5. Is 15 a factor of (2*o)/(-3 - s)?
False
Let s(j) = -j**2 - 11*j - 4. Let d be s(-7). Suppose 5*t - t = d. Is t a multiple of 4?
False
Suppose 123 = 4*n + 31. Suppose 0*j + 2*z - n = -j, 3*z + 37 = 4*j. Is 10 a factor of j?
False
Suppose 0 = 3*v - 8*v + 10. Suppose 39 = 3*h + 3*a, 4*h - h - 37 = -v*a. Is h a multiple of 6?
False
Let q = 19 - -4. Suppose 5*g = -q + 63. Is g a multiple of 6?
False
Suppose -2*y - 150 = 3*y. Let r = 5 - y. Suppose 2*s - r + 7 = 0. Is s a multiple of 7?
True
Let z(d) = -d**3 + 3*d**2 + 3. Let l be z(3). Suppose -c + 12 = y, 4*c - 11 = -l*y + 22. Is y a multiple of 4?
False
Is (-6)/21 - (1 + 1194/(-14)) a multiple of 12?
True
Suppose 20 = 5*n + 3*w, -w = -3*w. Let o = 1 + 1. Suppose l - 48 = -n*d + 4*l, -5*l = 2*d + o. Is 9 a factor of d?
True
Suppose 0 = r + 2*r - 12. Is 0 - (r + (-57)/3) a multiple of 15?
True
Is 1 - -1 - -176 - 8/8 a multiple of 26?
False
Let t = 51 + 1. Is t a multiple of 13?
True
Let u(a) = 21*a - 3. Is u(1) a multiple of 18?
True
Let q(w) be the first derivative of -w**4/4 + w**2 - w + 2. Let y be q(-2). Is 4 a factor of 11/y - 1/(-3)?
True
Suppose 11 = 2*v - 37. Let r = -8 + v. Is r a multiple of 16?
True
Suppose -3*d = 62 + 25. Let n = 10 - d. Is 13 a factor of n?
True
Let s(d) = d**3 + 6*d**2 + 4*d - 3. Let f be s(-5). Let n = 2 + -8. Does 15 divide (n/9)/(f/(-90))?
True
Let w(k) = -95*k**3 - k**2 + 2. Does 32 divide w(-1)?
True
Let c = 22 + 14. Is 9 a factor of c?
True
Suppose 0 = 5*y - v - 11, 2*y = 3*v + 3 - 9. Let d(f) = f**3 - f**2 - 2*f + 2. Let s be d(2). Suppose s*b + 19 = 5*j - y, 8 = 3*j + 4*b. Does 4 divide j?
True
Suppose -14*r + 19*r = 150. Is 5 a factor of r?
True
Let q(p) = p**2 + 6*p + 4. Let d be q(-5). Let h(s) = 7*s**2 + 2*s + 1. Is 6 a factor of h(d)?
True
Let a(t) = -t**3 + 4*t**2 - 3. Let g be a(4). Is (-360)/(-28) - g/21 a multiple of 10?
False
Suppose 1 = q - 4. Suppose q*b - 89 - 16 = 0. Is b a multiple of 21?
True
Suppose 0 = -9*k + 501 + 1506. Does 35 divide k?
False
Let m be (-5)/10 - 18/(-4). Suppose 0 = -2*w - 6 - m. Is 9 a factor of (-65)/2*4/w?
False
Is 5 a factor of (-1)/(-1) - (-2 + (5 - 44))?
False
Let x(j) = 0*j + 4*j + 4 + j. Is 8 a factor of x(4)?
True
Is 27 a factor of 1 - -63 - 1*-3?
False
Let s be (3/(-6))/(1/(-6)). Let r be (-5)/(-3)*s + -2. Suppose r*f + 2*f - 65 = 0. Is f a multiple of 13?
True
Let p = 317 - 209. Suppose -5*c = -c - p. Is c a multiple of 11?
False
Let f = 216 + -144. Is 12 a factor of f?
True
Suppose -18 = 5*v - 3. Let b be (1/v)/((-4)/(-12)). Is 15/1 - 2/b a multiple of 17?
True
Let b(m) = 2*m + 1. Let d be b(6). Let p = d + 2. Does 15 divide p?
True
Let m = 28 - 19. Let h = 11 + m. Is 10 a factor of h?
True
Suppose 4*s + 14 = m, -3*s + 2*m = -2*s + 7. Let z(h) = -10*h - 2. Is z(s) a multiple of 14?
True
Suppose p = 5 - 1. Does 2 divide (p/(-10))/((-1)/5)?
True
Is 150 - (9 + -6)/(6/4) a multiple of 25?
False
Let k(t) = t**2 - 4*t + 2. Let x be k(-4). Suppose 0 = -4*g + 5*w + 42, -8*w - x = -3*g - 3*w. Is 3 a factor of g?
False
Let u(p) = p**2 - 6*p + 3. Let f(a) = -a**3 - 2*a**2 + 2*a + 3. Let v be f(-3). Let h be u(v). Suppose -g + 20 = h*g. Is g a multiple of 2?
False
Suppose 4*f - 30 - 86 = 0. Suppose 0 = -t - 0*t + 63. Suppose t = 2*d - r, -r = d + r - f. Is 10 a factor of d?
False
Is (-48)/10*475/(-38) a multiple of 10?
True
Let p = 40 + 0. Is p a multiple of 20?
True
Is 9 a factor of -1 - (3 - 7) - -33?
True
Suppose p - 161 = 2*n, 4*p - 3*n + n = 632. Let k = p + -107. Is k a multiple of 13?
False
Let s(o) = -o**3 + 7*o**2 - 6*o + 7. Is s(6) a multiple of 3?
False
Let n(f) = f - 7. Let d be n(7). Let g = 2 + d. Is g even?
True
Let t(q) = -q**3 + 7*q**2 + q - 6. Is t(4) a multiple of 8?
False
Let k be 1 - (95/(-1) - 2). Let z be (3 + -5 + -37)*-1. Let u = k - z. Is 15 a factor of u?
False
Suppose g + 25 = -8. Let d = g + 46. Is d a multiple of 13?
True
Suppose 94 = -7*a + 241. Is a a multiple of 21?
True
Let j(i) = i**3 - 6*i**2 - 9*i + 19. Is 2 a factor of j(7)?
False
Suppose 5*r + 180 = 5*p, -3*p + 5*r - 60 = -4*p. Is 8 a factor of p?
True
Let l = 288 + -184. Does 26 divide l?
True
Let n be (-9)/2*186/9. Let i = 233 + n. Suppose x + 3*t - t - 41 = 0, -5*x + i = -3*t. Is x a multiple of 13?
False
Let z = -50 - -330. Is 14 a factor of z?
True
Let j(g) be the second derivative of -g**4/12 - 5*g**2/2 - 2*g. Let w be j(0). Let r = w - -13. Is 6 a factor of r?
False
Let f(v) = 10*v. Let q be f(2). Let o = q + 0. Does 10 divide o?
True
Suppose -10 = -2*g - 2*m - 0*m, -5*g + 5*m - 5 = 0. Let f = -52 + 54. Suppose 5*j + h - g*h - 277 = 0, f*h - 51 = -j. Is 26 a factor of j?
False
Suppose 3*m = -a + 265, 3*m - a = 5*m - 176. Is 10 a factor of m?
False
Suppose 8*j - 88 = 88. Is j a multiple of 4?
False
Suppose 0 = 4*d - 5*d + 7. Suppose d = y - 21. Let k = y + -16. Is k a multiple of 6?
True
Let f be 114 - ((-1 - 2) + 5). Suppose 4*x - f = 52. Is 19 a factor of x?
False
Let d(h) = h**2 + 3*h + 92. Is d(0) a multiple of 23?
True
Suppose -t = -0*t - 5. Suppose 484 = t*k + 4*g, 5*g + 324 = 5*k - 196. Suppose 0 = 3*s - 7*z + 2*z - 60, 5*s - k = -2*z. Is 20 a factor of s?
True
Suppose r - 34 = 4*x, 2*r + 5*x - 40 = 15. Is r a multiple of 5?
True
Let y(o) = -70*o**2 - o. Let p be y(-1). Let g be (-2)/(p/(-21) + -3). Let k(c) = c**3 + 7*c**2 - 4*c + 10. Is 19 a factor of k(g)?
True
Let y = -5 + 8. Suppose y*q + 5*v = 6*v + 101, -v = q - 27. Let p = q - 12. Does 10 divide p?
True
Suppose -b - 10 = -15. Suppose 6 + 2 = -4*d. Does 5 divide b