/((-7)/k)?
False
Does 17 divide 359/3 - 18/27?
True
Let p(k) = -8*k - 14. Does 24 divide p(-7)?
False
Suppose -j - 2*f = -4, 2*j + 2*j + f = -5. Is (2 - j)/((-6)/(-9)) a multiple of 5?
False
Let n(u) = u + 3. Let b be n(-2). Let l(v) = -14*v. Let i(t) = -224*t. Let p(z) = 3*i(z) - 49*l(z). Is 6 a factor of p(b)?
False
Suppose 3*i - 2*z = -i + 1058, 5*z = -i + 259. Does 11 divide i?
True
Suppose 5*c - a = 1182, 306 = c + 4*a + 78. Is c a multiple of 30?
False
Let j = 2 + -2. Suppose -i + 4*m + 42 + 82 = 0, j = -5*m - 15. Suppose 4*o = 2*z + 2*z - i, -2*o = -3*z + 87. Does 14 divide z?
False
Suppose -2*p = -7 - 81. Suppose 3*l = 0, 0*l - 2*l + p = 4*a. Is a a multiple of 10?
False
Let t = -10 + 52. Is 14 a factor of t?
True
Let k(a) be the second derivative of -a**3/3 - 5*a**2 + a. Is k(-7) a multiple of 3?
False
Let j(s) = s + 7. Let w be j(-10). Let u(k) = 5*k**2 + k + 4. Let p be u(w). Suppose -c + p = 1. Is c a multiple of 23?
False
Suppose -4*x - 1 = -9. Is 14 a factor of 342/(-4)*x/(-3)?
False
Let t = -1 + 1. Suppose t = -2*c - 5*f - 5 + 3, -10 = -4*c - 3*f. Suppose -2*u = 3*u - 10, -3*u = c*n - 58. Is n a multiple of 5?
False
Let m = 118 + -75. Suppose -4*z + m = 7. Does 9 divide z?
True
Suppose 0 = -0*v - 4*v - 96. Let j = -5 - v. Is 19 a factor of j?
True
Let q(o) = -o**3 - 5*o**2 + 5*o - 2. Suppose -5*b - 38 = -8. Let g be q(b). Suppose 5*n - 14 = -l, 6*l - g*n = 3*l + 80. Is l a multiple of 16?
False
Let p = 1178 + -730. Is p a multiple of 56?
True
Suppose 4*l + 20 = -0*l. Let w(s) = -2*s**3 - 6*s**2 + 2*s - 7. Does 22 divide w(l)?
False
Suppose 4*p = 4*h + 84, 4*p = 5*h - 7 + 94. Suppose -p = 3*i - i. Let t(g) = g**2 + 8*g + 9. Is t(i) a multiple of 18?
True
Suppose -4*n = 5*v + 10, -4*v - 8 = -0. Suppose 5*y - 94 = -4*x, n = 3*y + 4*x - 0*x - 58. Is y a multiple of 6?
True
Let u(k) = k**3 + 5*k**2 - 3*k - 5. Let c be u(-5). Suppose -36 = -a - c. Is 9 a factor of a?
False
Suppose -t + 46 = -4*f, 0*t + f - 146 = -5*t. Suppose 0 = -2*y - 6, 2*w + t = -5*y + 145. Is w a multiple of 24?
False
Let l = 1 - 10. Let g = l - -14. Is 5 a factor of g?
True
Suppose -6*i - 2*c + 117 = -i, -137 = -5*i + 3*c. Does 7 divide i?
False
Suppose 3*v + 4 = 2*v. Let n = 4 - v. Is n a multiple of 4?
True
Suppose o = q, q = -2*o - 0*o. Suppose -3*a + 110 = -5*h, q = 3*a + 2*h - 42 - 82. Does 20 divide a?
True
Let q(v) = 6*v - 4. Let i be q(-8). Is 17 a factor of ((-6)/(-1))/((-8)/i)?
False
Let h = 0 - -65. Is 18 a factor of h?
False
Let d(t) = t**3 + 25*t**2 + 12. Is d(-25) even?
True
Suppose -2*j = -z - 18, 2*z + j = -2*j - 22. Is 8 a factor of (-4)/z - 332/(-14)?
True
Let j(i) = -i**3 + 9*i**2 - 8*i + 5. Let t be j(8). Let y(f) = 2*f**2 - 6*f - 2. Does 6 divide y(t)?
True
Suppose -40 = -5*p - 5. Suppose -2*t - 2*o + 0 = -12, -4*t + 17 = -3*o. Suppose -2*g + 66 = 2*s - p*g, -4*s - t*g + 72 = 0. Does 14 divide s?
False
Is 22 a factor of 303 - -1 - 2*(4 - 6)?
True
Let o be -2*2/6*-15. Let b(z) = 0*z + o + z + 0*z. Is b(-8) even?
True
Let z = -1 + 6. Suppose 4*l + 8 = z*l. Is 8 a factor of l?
True
Suppose -2*m + 11 = -3*g, 4*m - 2*m - g - 13 = 0. Is m a multiple of 2?
False
Let a(w) = w**2 - 2*w - 1. Does 3 divide a(4)?
False
Suppose 6*a = 298 + 506. Does 18 divide a?
False
Let a be (-1088)/(-14) - 4/(-14). Suppose -a = -2*v - 4. Is 10 a factor of v?
False
Let h = 1 + 3. Is 17 a factor of (-267)/(-4) + (-3)/h?
False
Suppose -30 = -2*o - o. Let n(s) = -s**2 + 11*s - 8. Is n(o) a multiple of 2?
True
Let l = 0 + 18. Let k = -6 - -5. Let o = l + k. Does 17 divide o?
True
Let i = -9 + 6. Let k be ((-1)/i)/(2/60). Suppose -25 = 5*y - k*y. Is y a multiple of 5?
True
Suppose 0 = 5*v + 5*n - 205, -2*v + 44 = 5*n - 41. Is 20 a factor of v?
True
Suppose 0 = -5*h - 5*i + 465, -5*i = -2*i. Is h a multiple of 15?
False
Let m(b) = -b**2 - 7*b + 6. Let d be m(-7). Suppose -5*s = -4*k - 24, -5*s + 5*k = -0*k - 25. Let w = d - s. Does 2 divide w?
True
Is 23 a factor of (1 + -13)*(76/(-8) + -2)?
True
Let p = -3 + 5. Let k be (3 - p)/(1/5). Suppose k*n - o = 4*o + 75, 27 = 3*n + 3*o. Is n a multiple of 10?
False
Let t(y) = -y + 16. Is t(11) a multiple of 5?
True
Let f(h) = -h**3 - 7*h**2 + 12*h - 6. Is f(-9) a multiple of 16?
True
Let z be -2 + 50/(-2) + -3. Let p = 68 + z. Is p a multiple of 18?
False
Is 15 a factor of 20/(-8)*(-4)/10 + 14?
True
Let w = -3 + 8. Let f = 40 - w. Does 20 divide f?
False
Suppose -5 + 3 = -f. Suppose 0*q + f*q = 80. Suppose 0 = -4*d + 28 + q. Is 16 a factor of d?
False
Suppose 0 = -5*c + 20, -z - 39 = -2*z - 4*c. Is 8 a factor of z?
False
Let i(p) be the first derivative of -3*p**2 - 1. Is 3 a factor of i(-1)?
True
Let j = -3 + 3. Suppose -72 = -j*r + 3*r. Let b = 58 + r. Is 17 a factor of b?
True
Suppose 0*j + j - 94 = 4*v, 8 = 4*j. Let l = 3 - v. Is l a multiple of 6?
False
Is 13 a factor of 99/2 + 2/4?
False
Suppose 0 = 5*z - 2*z + 9. Let w(x) be the second derivative of -2*x**3/3 - x**2 - x. Is 5 a factor of w(z)?
True
Let c(m) be the third derivative of m**6/40 - m**5/30 - m**4/24 + m**2. Is c(2) a multiple of 7?
True
Let d(c) = -c**3 - c**2 + 3*c - 3*c**2 - 7*c + 1. Let f(l) = l. Let b be f(-4). Is 17 a factor of d(b)?
True
Let o = -6 + 8. Let z be 38/o - 6/2. Suppose 0*q + z = q. Is 15 a factor of q?
False
Let w(j) be the first derivative of 0*j**2 - 1 + 0*j + 28/3*j**3. Is w(-1) a multiple of 14?
True
Let k(v) = -v**3 + 7*v**2 + 8*v + 9. Is k(7) a multiple of 13?
True
Let i = 4 - 1. Let q(b) = 2*b + 1. Does 3 divide q(i)?
False
Let j be (-6)/12*(-26)/1. Suppose 3*i + j - 73 = 0. Is i a multiple of 8?
False
Suppose -4*o - 3*h = -660, 0 = -4*h - 23 + 7. Is o a multiple of 28?
True
Let b be 1/(2 + 17/(-9)). Suppose -c = -b - 1. Is 10 a factor of c?
True
Suppose -4*h + 78 = -34. Let q = -19 - -38. Let s = h - q. Is s a multiple of 4?
False
Let w(j) = -j**3 - 8*j**2 + 9*j + 10. Let x be w(-9). Let y = x - -42. Does 15 divide y?
False
Let l be 5*1*18/30. Suppose -l*p = -7*p + 4. Is ((-2)/(-4))/(p/36) a multiple of 10?
False
Let v(s) = -s**2 + 4*s + 5. Let f be v(4). Let r = 26 + f. Is 22 a factor of r?
False
Let c(j) = j**2 - 7*j + 9. Let o(v) = -v**2 - v - 2. Let y(i) = i**2 + i + 2. Let m(g) = 2*o(g) + 3*y(g). Let r be m(-3). Is c(r) a multiple of 8?
False
Let z(h) = h**3 + 15*h**2 + 4*h - 18. Is 28 a factor of z(-14)?
False
Let x = 7 + -5. Suppose -3*d + 87 = -x*n, -3*n - 43 = 3*d - 130. Suppose -7 - d = -l. Does 12 divide l?
True
Let j(t) = -2*t**3 + 3*t**2 + t + 10. Let u(r) = r**3 + r**2 + r - 1. Let g(n) = -j(n) - 3*u(n). Suppose -5*l - 48 = -18. Is g(l) a multiple of 9?
False
Let s(k) = k**2 - 8*k + 7. Let q be s(6). Let r(i) = -9 - 5 + 9 - 3*i + 2*i**2. Is 24 a factor of r(q)?
False
Let a = 21 + 7. Is a a multiple of 6?
False
Let t(f) be the second derivative of f**5/60 - f**4/6 + f**3/2 + f. Let b(u) be the second derivative of t(u). Does 8 divide b(6)?
True
Let v(u) = -5*u + 0*u**2 + 0*u**2 + u**2 + 7. Does 13 divide v(6)?
True
Suppose 2*t - 360 = 2*k - 7*k, k - 49 = -5*t. Is 18 a factor of k?
False
Let a(m) = -32*m - 36. Is a(-6) a multiple of 52?
True
Let s(w) be the third derivative of -w**6/60 + w**5/15 + w**4/6 + w**3/3 - 2*w**2. Does 13 divide s(-2)?
True
Let o be 1/7 - (-236)/14. Suppose 0 = l - o - 11. Does 13 divide l?
False
Let t(p) = 8*p - 2 - 6*p + 3*p. Let j(b) = 7*b**2 - b + 1. Let k be j(1). Does 14 divide t(k)?
False
Let t = -25 - -44. Let o = 79 - t. Is o a multiple of 16?
False
Suppose -y - 1 = -4*d + 3, 2*d = -5*y - 108. Let c = 14 + y. Let o(q) = -q**3 - 4*q**2 + 8*q - 2. Does 12 divide o(c)?
False
Suppose l - 60 = -5*i, 3*i + 263 = 5*l - l. Does 13 divide l?
True
Suppose 5*n + 2*c - 90 = 3*n, n + 4*c - 54 = 0. Is n a multiple of 21?
True
Let v be -2 - (-4 - (-3 + 3)). Suppose -14 = -0*i - v*i. Is i a multiple of 3?
False
Suppose -2*g - 12 = 2*s, -5*g - 2*s + 4*s - 65 = 0. Let c = g - -22. Is c a multiple of 4?
False
Is 1/7 - ((-6606)/63 + 1) a multiple of 13?
True
Let y be 1 + 0/(-1) - -20. Let h = y - 14. Does 7 divide h?
True
Suppose -v = -4*v. Suppose v = 3*n + n - 472. Is n a multiple of 31?
False
Suppose -6*s + 124 = -50. Is s a multiple of 10?
False
Suppose 2*u - 3*u - 2 = 0. Let j be (u/(-8) + -2)*-12. Suppose 3*p - 3*c - 60 = 0, p - j = -c - 5. Is p a multiple of 9?
True
Let q be 3/(-2)*8/(-3). Let a = -