 Does 3 divide k?
True
Let o(u) = -u**3 + u - 4. Let x be o(0). Let m be (-21)/(-4) - (-1)/x. Suppose m*j - 15 = 20. Does 7 divide j?
True
Let w(d) = 10*d**2 - 12*d - 13 + 3*d**3 + d**3 - 3*d**3. Let h be w(-11). Is 3 a factor of 3/((1 - 3)/h)?
True
Let m = -2 - -1. Is 3*(m + (-62)/(-6)) a multiple of 20?
False
Let p(c) = -c**3 - 2*c**2 - 4*c - 6. Let y be p(-4). Suppose -4*k + 5*k = y. Is k a multiple of 21?
True
Does 18 divide (852/(-18))/(2/(-6)) - -2?
True
Suppose -2 = 4*r + 6. Is 5 a factor of (r - (1 - 2))*-10?
True
Suppose -7 - 9 = -4*g. Suppose -g*l - 16 = -n, -5*n = 2*l - 100 - 2. Is 15 a factor of n?
False
Let m(x) = x**2 + 3*x + 1. Let u(q) = -5*q**3 + q**2 - q. Let c be u(1). Is 3 a factor of m(c)?
False
Let k = 12 - 2. Is k a multiple of 2?
True
Let v be 24/14 + (-6)/(-21). Let p(f) = 0 + 17*f**v + 3*f + 1 - f + 0. Is p(-1) a multiple of 8?
True
Let x(p) = 22*p**2 + 3*p + 1. Is 5 a factor of x(-1)?
True
Let r(y) = 4*y + 48. Does 16 divide r(0)?
True
Let s(n) = 3*n - 10. Is 4 a factor of s(5)?
False
Let g = -110 + 164. Is 14 a factor of g?
False
Let t(p) = p**2 - 1. Let s be t(0). Suppose 4*a + 2*b + 127 + 33 = 0, 2*a - 5*b = -56. Is 19 a factor of -1 - (0 + a + s)?
True
Let t = 5 - -2. Let o(x) = x**3 - 8*x**2 + 10*x - 3. Does 9 divide o(t)?
True
Let b = -3 - -7. Suppose -2*a + s + b*s = -47, -5*s = 4*a - 49. Is a a multiple of 8?
True
Suppose -p - 591 = -4*t, -p + 2*p = 5*t - 740. Let k = t - 92. Is k a multiple of 13?
False
Let i be (-8)/(-36) + (-259)/(-9). Suppose -s + 3 = -i. Let x = s - 15. Is x a multiple of 6?
False
Let l(k) = -k**3 - k**2 + 5*k + 3. Suppose w = -4*w - 15. Is 2 a factor of l(w)?
True
Suppose 0 = a + a - 158. Suppose 1 = 5*h - a. Does 8 divide h?
True
Suppose 26 = -10*u + 11*u. Is 20 a factor of u?
False
Let c be (1 - (4 - 2))*-4. Suppose 3 = -3*g, -4 = 2*f + 3*f + 4*g. Suppose -c*m + 2*m + 66 = f. Is m a multiple of 11?
True
Let m(y) = -y**2 - 2*y + 35. Is 11 a factor of m(0)?
False
Is 8/2 + (-9 - -9) a multiple of 4?
True
Let k = 112 - 28. Does 3 divide k?
True
Let i(k) = -14*k - 23. Let y(a) = -5*a - 8. Suppose 4*p - 2*s + s = -18, -2*s - 8 = 3*p. Let n(w) = p*i(w) + 11*y(w). Is n(3) a multiple of 3?
False
Let t be (-312)/9*9/(-4). Is (-2)/13 + 4224/t a multiple of 27?
True
Is 0 + 46 + 2/(-2) a multiple of 7?
False
Let s(k) = 19*k - 30. Is 6 a factor of s(9)?
False
Does 17 divide -1 + 4 + 111 + 2?
False
Let x(j) = 2*j + 5*j**2 - 2 - 2 - 13*j**2. Let a(d) = 7*d**2 - 2*d + 3. Let o(y) = 5*a(y) + 4*x(y). Does 16 divide o(-3)?
True
Let q = 37 - 22. Does 11 divide q?
False
Suppose 2*p - 5*x + 20 = 0, 2*p + x - 4 = -2*p. Does 10 divide (31 - 1)*(1 - p)?
True
Suppose -6*l - l + 420 = 0. Does 10 divide l?
True
Let w(q) = q**2 - 6*q + 12. Is w(11) a multiple of 7?
False
Suppose 4*q - 4*l - 488 = 0, -q + 246 = q - 3*l. Is q a multiple of 15?
True
Suppose 0 = 5*r - r - 136. Is (r + 2)/(9/6) a multiple of 8?
True
Let y = -141 - -243. Does 33 divide y?
False
Let c(s) be the third derivative of 14*s**5/15 + s**4/12 + s**3/3 - s**2. Does 28 divide c(-1)?
True
Let b = 8 + -5. Let g(c) = 3*c + 3*c**2 + b*c**3 - 6*c**2 - 4*c**3 - 7. Does 14 divide g(-5)?
True
Let p = 12 - 2. Suppose 0 = 4*l - 2 - p. Suppose l*n - n = 14. Is 3 a factor of n?
False
Let l = -52 - -97. Let h = l - 19. Does 13 divide h?
True
Let y = 65 - -30. Is 11 a factor of y?
False
Let h = 6 + -4. Let r be 0 + h/(4/10). Suppose i - 30 = -z - r, -3*i - 2*z = -75. Does 15 divide i?
False
Suppose -2*h - 36 = h. Suppose -28 = -2*r - 4*o, 5*o - 29 = -6*r + 4*r. Is h*3/r*-2 a multiple of 6?
True
Let y = 206 - 102. Is 26 a factor of y?
True
Let y(w) = w**2 + w - 7. Let h(k) be the third derivative of k**5/60 - 7*k**4/24 - k**3/2 - k**2. Let n be h(8). Does 8 divide y(n)?
False
Let l = -5 + 3. Let s be 74/(-4) + 1/l. Let z = -9 - s. Is 5 a factor of z?
True
Let z(x) = -x**2 + 6*x - 2. Let m be z(5). Suppose 2*h = 4*b - 5*b + 17, -3*h + 39 = -m*b. Is h a multiple of 7?
False
Let l(s) be the second derivative of s**4/12 + 3*s**3/2 - 4*s**2 - 3*s. Is 5 a factor of l(-11)?
False
Suppose -10 = 4*b - 2*b, 2*b = -t + 86. Does 48 divide t?
True
Let t(m) = m**3 + 3*m**2 + 4*m + 3. Let j be t(-2). Let g = 6 + j. Suppose u - g*u + 50 = h, 4*h = -5*u + 167. Is h a multiple of 19?
True
Suppose -4*u - 3*m + 812 = 0, -2*u - 5*m + 420 = -0*u. Is 24 a factor of u?
False
Let a be ((-6)/8)/((-3)/12). Suppose 0 = a*y + 15, 0*v = 4*v + 4*y - 84. Does 10 divide v?
False
Let a = 27 - 7. Is 20 a factor of a?
True
Suppose 0*l + 4*l = 12. Let i be 4 - l/(-3 + 0). Let j(y) = -y**3 + 5*y**2 + 3*y - 6. Is 9 a factor of j(i)?
True
Let s be -3 - (2 + -1 + 1). Let h(w) = w**3 + 7*w**2 + 7*w + 5. Is 8 a factor of h(s)?
False
Suppose -2*a + 5*t - 5 = -13, a = -2*t + 22. Is 7 a factor of a?
True
Suppose -3*h = -8*h + 15. Suppose -h*o + v = -58 + 3, -2*v - 30 = -2*o. Does 12 divide o?
False
Let g be (1 + -1)*(-1)/(-2). Let f(n) = -18*n**3 + 0*n + g*n - n**2. Is 7 a factor of f(-1)?
False
Suppose a + 13 = -5*h + 106, h + 4*a - 11 = 0. Suppose -20 - 105 = -5*z. Suppose -4*t = -z - h. Is 11 a factor of t?
True
Let t(u) = -1 + 3*u + 0*u + 2*u. Let p be t(1). Suppose 72 = 3*k + p*j, -k + 48 = k + 5*j. Does 24 divide k?
True
Let p(a) = -4*a - 13. Let n be p(-7). Let v = 3 - -1. Suppose b - n = -v*b. Is b even?
False
Let a = 38 - 32. Is a a multiple of 2?
True
Let m = 76 - -4. Is 10 a factor of m?
True
Let c(q) = 2*q**2 + q - 11. Is 5 a factor of c(-6)?
True
Let y(z) = -z + 17. Is 4 a factor of y(9)?
True
Let s = -41 + 62. Suppose -s = -4*o - w, -2*w - 6 = -4*o - 0*w. Is o a multiple of 2?
True
Suppose 13 = 5*j - 17. Let n = -3 + j. Suppose 2*c = g - 11, -3*g + 20 = n*c - 22. Is g a multiple of 8?
False
Let k(s) be the third derivative of -s**6/120 + s**5/12 - s**4/6 + s**3/6 - 3*s**2. Let d be k(4). Is d + 10 - (0 - 2) a multiple of 13?
True
Suppose 4*r + 2*j - 258 = 0, -r + 28 + 24 = -2*j. Is 26 a factor of r?
False
Let g = 34 + -23. Suppose 13 = 3*r - 38. Let p = r + g. Is p a multiple of 10?
False
Let z = -2 + -1. Let m(g) be the first derivative of -g**4/4 - 2*g**3/3 - 3*g + 28. Does 4 divide m(z)?
False
Let a(k) = 3*k. Let f be a(2). Suppose -3*l - 177 = -f*l. Does 16 divide l?
False
Suppose -2*a + 12 = -5*a. Let d(s) = -3*s**3 - 15*s**2 - 11*s + 12. Let h(q) = -q**3 - 5*q**2 - 4*q + 4. Let l(y) = -3*d(y) + 8*h(y). Is l(a) a multiple of 4?
True
Let j = 29 - 25. Suppose 1 + 2 = -3*y, -22 = -t + j*y. Is 6 a factor of t?
True
Let q(g) = g**2 - 2*g - 7. Is q(6) a multiple of 17?
True
Let t = 20 - -4. Let w = -15 + t. Does 2 divide w?
False
Is (-1)/(-1)*52/1 a multiple of 13?
True
Let j = -74 - -208. Is 30 a factor of j?
False
Is 9 a factor of (-6)/(-4) - 1590/(-20)?
True
Let a(r) = 3*r - 8. Let t(h) = h**3 + 3*h**2 - 7*h - 5. Let v be t(-4). Is 5 a factor of a(v)?
False
Let a = 2 + 1. Let u be (144/(-84))/(1/(-7)). Let d = u - a. Is 8 a factor of d?
False
Suppose 10*s - 435 = 5*s. Does 24 divide s?
False
Let m = 31 + -52. Let h = m + 47. Is h a multiple of 13?
True
Suppose 2*x = 2, 3*q - 4*x = -0*x + 122. Does 7 divide q?
True
Is (5 - (4 + 0))*7 a multiple of 7?
True
Let b = -49 - -28. Let c = -6 - b. Let w = -10 + c. Is w a multiple of 5?
True
Let r(g) = 2*g - 1. Let c be r(3). Suppose 7*l - 2*f - 26 = 2*l, -c*l = 4*f - 8. Does 2 divide l?
True
Let l = -8 - -21. Is 4 a factor of l?
False
Let f(k) = k**3 + 8*k**2 - 4*k + 17. Does 26 divide f(-6)?
False
Let b(g) = -2*g + 12. Let w be b(-14). Let t be (-1 + 19)*1/2. Is (t/(-3))/((-6)/w) a multiple of 10?
True
Suppose 0 = 3*g - r - 62, 5*r = -3*g + 10 + 40. Is 7 a factor of g?
False
Let o(b) = 4 + 1 - b**3 - 2 - 4*b**2 + 1. Does 2 divide o(-4)?
True
Let m(b) = -3*b**3 - 2*b**2 + 2*b + 2. Let o be (-12)/6*(2 - 1). Is m(o) a multiple of 4?
False
Suppose -v = -0*v. Let u(g) = g**3 - g**2 + g + 7. Is 4 a factor of u(v)?
False
Let v be 0 - (-2 + 2 - 2). Suppose v*w - 4 = 6. Suppose 3*a - 4*z - 50 = -w*z, -a - 4*z = -2. Is 8 a factor of a?
False
Let c(v) = -v**3 + 7*v**2 - 6*v. Let a be c(6). Suppose t - 5*t + 132 = a. Does 11 divide t?
True
Let b = -135 - -325. Is b a multiple of 17?
False
Suppose 17 = -5*z - 3. Let a(j) = -10*j. Is a(z) a multiple of 20?
True
Let u = 4 + 1. Suppose u*c = 4*c + 13. Is c a multiple of 12?
False
Suppose -5*p + 23 = -0*p + w, 