ple of 9?
False
Does 18 divide 7*12*108/42?
True
Let s = 1 + -3. Is 13 a factor of s + -21*4/(-3)?
True
Let d be (12/(-8))/(3/20). Let k = -3 - d. Does 2 divide k?
False
Let w = 39 - 20. Does 4 divide w?
False
Let x(l) be the third derivative of -l**5/60 - 7*l**4/24 + 11*l**3/6 - 4*l**2. Let s be x(-8). Suppose -y + s*y - 90 = 0. Is y a multiple of 12?
False
Let o(w) = -w**2 + 16*w - 17. Let h(c) = 3*c**3 - 3*c**2 + c - 1. Let t be h(2). Is o(t) a multiple of 11?
True
Let p be (-1 - (-6 - -3)) + -2. Let l = 4 - p. Suppose 5*c - 79 = h, l*h = -3*c - c + 44. Is c a multiple of 5?
True
Let n(v) = v**2 - v. Does 13 divide n(9)?
False
Let h be ((-16)/28 - -2)*14. Suppose 0 = 3*p - 5*p + h. Is 10 a factor of p?
True
Is (-10)/(-4)*(-60)/(-25) even?
True
Let q(a) = a + 15. Does 2 divide q(-5)?
True
Let c(o) = o**3 + 5*o**2 + 4*o - 1. Let i be c(-3). Suppose 5*a = i*t + 495, t + 292 = -2*t + 4*a. Is 11 a factor of t/(-4) + (2 - 1)?
False
Let s(j) = 5*j - 3. Let b(r) = -10*r + 7. Let y(x) = 2*b(x) + 5*s(x). Is 9 a factor of y(2)?
True
Let c = 0 - 0. Suppose -5*m + 148 = -c*r + 2*r, -3*r + 12 = 0. Let h = m + 12. Does 20 divide h?
True
Let s = -21 - -30. Let r(j) = j**2 - 5*j + 13. Is 17 a factor of r(s)?
False
Let i = 33 + 54. Is i a multiple of 17?
False
Suppose b + 3*y = -y - 8, -2*b - 5*y = 10. Suppose -i = -5 - b. Does 4 divide i?
False
Is 5 a factor of ((-6)/(-8) + -4)*-4?
False
Is (2 - 264)*2/(-4) a multiple of 38?
False
Suppose -2*t = 2*t - 12. Suppose -w = 4, 5*w = p + t*p - 64. Is p a multiple of 6?
False
Suppose 2*o = 0, 2*x + 3*o - 22 - 26 = 0. Let s = x + -9. Suppose 0 = -t + 6*t - s. Is t even?
False
Let q(r) be the third derivative of -r**5/60 - 11*r**4/24 - r**3 - 6*r**2. Is 10 a factor of q(-4)?
False
Suppose 0 = -0*i + 2*i - 30. Is i a multiple of 15?
True
Let i(n) = n**3 + 6*n**2 - 17*n - 10. Does 12 divide i(-7)?
True
Let d = -342 + 559. Does 11 divide d?
False
Let m be (-5)/(5/(-3)) + -5. Let x(g) = -11*g - 3. Does 18 divide x(m)?
False
Suppose -n + 116 - 39 = 0. Does 19 divide n?
False
Let d = -86 - -123. Let z = 64 - d. Is 4 a factor of z?
False
Let c(f) = -14*f + 8. Let d be c(-9). Suppose -r + d = 3*r + o, 0 = -r + 2*o + 29. Is 11 a factor of r?
True
Suppose -3*y - 3*h + 15 = -0*y, 2*y + 4*h - 16 = 0. Let j(s) = -5*s**2 - 10 - 3*s**3 + y*s**3 + 4*s - s**2. Does 11 divide j(-7)?
True
Let g(x) = -36*x**3 - 2*x**2 + x. Let o be g(1). Let q = 79 + o. Is q a multiple of 14?
True
Suppose -45 = -3*c + 3*o, 37 = 4*c - 5*o - 19. Is 19 a factor of c?
True
Let y(h) = h**3 + 8*h**2 + 2*h + 10. Let s be y(-8). Does 14 divide (-68)/(-5) + s/(-15)?
True
Suppose 0 = -u + 5*j + 132, -2*u - 2*j + 5*j + 236 = 0. Does 16 divide u?
True
Let d be ((-7)/(-14))/(1/(-26)). Is d/2*(-6 + 4) a multiple of 13?
True
Let f(n) be the third derivative of -n**5/60 - n**4/4 + 5*n**3/3 - 2*n**2. Is 3 a factor of f(-7)?
True
Let v(s) = s**2 + 8*s + 8. Let h = -1 - -5. Suppose h = -2*i - 4*g + g, 8 = 2*g. Does 4 divide v(i)?
True
Let q = 5 + -3. Let w = q + -4. Let n = 1 - w. Is n a multiple of 2?
False
Let s be ((-64)/20 - -4)*-70. Let j = 151 + s. Is 19 a factor of j?
True
Is (2 - 5 - -6)*10 a multiple of 10?
True
Suppose x + 2 = 4. Let r(d) be the second derivative of -d**5/20 + d**4/3 - 2*d**3/3 + 3*d**2/2 - 3*d. Does 2 divide r(x)?
False
Let i = -13 - -30. Let v(y) = 41*y**2 - y - 1. Let b be v(-1). Let l = b - i. Is l a multiple of 9?
False
Let z = 36 + -21. Is z a multiple of 11?
False
Let j be (-204)/21 - (-4)/(-14). Let t be -5*-2*(-2)/j. Suppose 5*k = t*m - 23 + 58, 4*k = 2*m + 30. Does 5 divide k?
True
Is 8 a factor of (-2 - (-1)/((-1)/(-2))) + 118?
False
Suppose o - 52 - 20 = 0. Suppose o = 5*b - b. Does 13 divide b?
False
Suppose -4*g + 3 = -5, 4*g + 223 = 3*b. Suppose 0 = -4*i + 3*i + b. Does 11 divide i?
True
Suppose 0 = -z - i + 1, z - 4*i - 23 = -4*z. Is 2 a factor of z?
False
Suppose -5*s - d + 186 = -81, -2*d - 276 = -5*s. Is s a multiple of 27?
True
Let z = 106 - 73. Is z a multiple of 11?
True
Suppose -21 = -3*h + 6*h. Let q = -12 - h. Is 2 a factor of 2/((-4)/q)*2?
False
Suppose 27*r = 31*r - 668. Is r a multiple of 17?
False
Let a(f) be the third derivative of f**6/15 + f**5/60 - f**3/6 + 3*f**2. Is a(1) a multiple of 3?
False
Suppose -1 = -2*g - 5. Let b be ((-1)/g)/(2/16). Suppose 3*l = 4*w + 25, b*l + 0*l = -2*w + 26. Is 4 a factor of l?
False
Suppose 2*t = 7*t - 115. Suppose 0 = 5*z - 3*j - t, 4*j = -5*z + 15 + 1. Suppose -z*b = 3*s - 93, 15 - 44 = -b + 5*s. Is b a multiple of 12?
True
Let n(j) = -j**3 + 10*j**2 + 12*j - 5. Let f be n(11). Suppose -2*v - w - 11 = -f*w, -3*v - 5*w = -21. Suppose -u - 44 = -d, v = 2*u + 6. Is d a multiple of 14?
True
Does 21 divide (-9)/21 - 450/(-21)?
True
Let r(z) = -z**2 - 9*z - 3. Let b be r(-8). Let j(v) = b*v - 4 + 2*v + 0 - v**2. Is j(6) even?
True
Let k be (-1)/4 - 17/(-4). Suppose -3*j = a - 20, -k*j = -17 + 1. Let l = a - 5. Is l a multiple of 3?
True
Let a(k) = k + 12. Suppose 0 = -c + 2*h + 2, -8 = -4*c - 4*h - h. Let o be (c/(-4))/(1/12). Is 6 a factor of a(o)?
True
Let w(h) = 13*h + 2 - 3 - 18*h. Let z be w(2). Let o = -9 - z. Is o even?
True
Let o(m) = -m**3 - 5*m**2 - 3*m. Suppose -3*l - 4 = 2. Let w = l - 3. Does 15 divide o(w)?
True
Let s(f) = f**3 + f**2 + 1. Let z(j) = -j**2 + 2*j + 2. Let i(m) = -s(m) + z(m). Let d be i(-3). Let h = 8 - d. Does 2 divide h?
True
Let n(w) = w**3 + 4*w**2 - 5*w - 2. Let x be n(-6). Suppose 6*k - 3*k + 10 = -a, 5*a + 2*k - 2 = 0. Does 11 divide x*(a + 5/(-2))?
True
Let v(x) = -4*x + 3. Let s be v(3). Is (-2)/(-9) + (-736)/s a multiple of 30?
False
Let c = 10 - 20. Let g(y) = -3*y - 12. Is 5 a factor of g(c)?
False
Let n(k) = k - 6. Let s be n(8). Suppose 5*l - s*m + 35 = 0, 4*m - 29 = 4*l + 11. Is 15 a factor of (-86)/(-4)*(l - -7)?
False
Let n(i) = 8*i**3 + 2*i**2 + 2*i - 4. Let z be n(3). Let h be 1/(-3) - z/12. Is 1/(3/(-3)) - h a multiple of 8?
False
Suppose 2*d + d - v = 4, 26 = 2*d + 4*v. Let q be (7/(-4))/((-2)/(-8)). Let l = d - q. Is l a multiple of 5?
True
Let z(r) be the second derivative of r**6/360 + r**5/20 + r**4/8 - r**3/3 + 2*r. Let m(w) be the second derivative of z(w). Is 4 a factor of m(-7)?
False
Suppose 197 = q - 2*c, -q = -8*c + 10*c - 189. Does 19 divide q?
False
Let a(z) be the third derivative of z**6/120 + 3*z**5/20 + z**4/3 + 7*z**3/6 - 2*z**2. Is a(-8) a multiple of 6?
False
Suppose 0 = 4*y - 5 - 3. Suppose -y*n + 6 + 4 = 0. Is n a multiple of 2?
False
Let j(q) be the first derivative of 5*q**2/2 - 13*q + 3. Is 16 a factor of j(9)?
True
Let m be (-2)/3 - 760/(-24). Suppose -2*r - 2*z + 10 = -4*z, -5*r + m = z. Does 6 divide r?
True
Is -1*(-3 - -3 - 57) a multiple of 19?
True
Let m be 10/35 - 24/(-14). Suppose 0 = -m*l + 3 + 3. Suppose -5*x + 58 = -2*s - 37, -38 = -2*x + l*s. Does 14 divide x?
False
Let f(r) = -r**2 - 4*r + 8. Let g be -7*(-4)/42*-9. Let w be f(g). Let t = w - -36. Does 16 divide t?
True
Let a(m) = m**3 + m + 30. Does 9 divide a(0)?
False
Suppose 0 = -2*u + 4*u - 12. Let d = u + 3. Is (-3)/(-2)*30/d a multiple of 2?
False
Suppose 0 = -2*t - 4, 0*l + t = 2*l - 78. Does 8 divide l?
False
Let j be 2 - (2 + -1)*-1. Is j/1 + (-1 - -18) a multiple of 6?
False
Suppose -3*a + 2*a = -12. Suppose -2*u = -10 - a. Is u a multiple of 7?
False
Is (2/(-6))/(1/(-309)) a multiple of 12?
False
Suppose 32 = 4*p + 16. Suppose 0 = -3*h + p*h - 3, 0 = x - h - 22. Is x a multiple of 5?
True
Let u = -3 + 7. Suppose u = y - 2*k, -4*k = 2*y - 6*k - 6. Suppose 7 = 3*r + 5*q, 0 = -3*r + y*q - 5*q + 15. Does 7 divide r?
False
Is ((-44)/8)/((-5)/20) a multiple of 7?
False
Let s = 33 + -20. Let f = 25 + s. Does 19 divide f?
True
Let v = -28 + 65. Is 6 a factor of v?
False
Let t = 32 + 0. Is 9 a factor of t?
False
Let y be 1/2*-3*-4. Suppose -3*c + 4*x - y = -152, 2*c - 2*x = 100. Is c a multiple of 23?
False
Let p = -8 - -12. Suppose 0 = -4*l - 4*s + 16 - 0, p*s = 3*l - 26. Is 14 a factor of 118/6 + 2/l?
False
Suppose -10 = -3*f - 2*f. Suppose d = -n - 0 - 2, f*d + 16 = 4*n. Let m(u) = 12*u - 1. Is m(n) a multiple of 12?
False
Let u(g) = 2 - g - 1 + 2. Is u(-4) a multiple of 7?
True
Let r(x) = -x**3 - 14*x**2 - 14*x - 13. Let y be r(-13). Suppose -2*g + 64 = 5*z - y*z, -5*g + 98 = -3*z. Is g a multiple of 11?
True
Let a = 46 - -98. Is a a m