 4*k + 4. Does 14 divide v(-3)?
False
Let f = -16 + 11. Let k = f - -5. Suppose -o - o + 56 = k. Does 10 divide o?
False
Let h be 58/18 - (-2)/(-9). Let u(y) = 4*y**2 - 2*y + 4. Let f be u(h). Suppose -1 + f = 3*l. Is 6 a factor of l?
False
Let u be 3 + 14 + (-1 - -1). Suppose -2*p - 5 = -u. Is ((-1)/(-2))/(1/p) a multiple of 3?
True
Let y(j) = j**3 - 6*j**2 - 6*j - 1. Let d be y(7). Suppose -d*a + 4*a = -32. Does 5 divide a?
False
Let p(r) = 25*r**2 + 2*r + 5. Is 16 a factor of p(-2)?
False
Let f(x) be the second derivative of x**4/12 - x**3/6 - x**2 + 3*x. Let w(b) be the first derivative of f(b). Is w(11) a multiple of 9?
False
Let x(g) = -g**3 - 6*g**2 - 8*g - 3. Does 4 divide x(-5)?
True
Let b(i) = -i**3 - 5*i**2 - 8*i - 6. Let g be b(-6). Suppose 0 = -5*x + g + 102. Does 9 divide x?
True
Suppose -14 + 2 = -4*v. Suppose 2*w - v*m = 100, -w + 0*m - 4*m + 28 = 0. Does 11 divide w?
True
Let p(t) = 9*t + 6 - 3*t - 2. Is p(4) a multiple of 7?
True
Suppose 5*r = 5*s + 475, 0 = 2*r - s + 3*s - 178. Is r a multiple of 23?
True
Let m = 47 - 19. Does 7 divide m?
True
Let o = -15 + 19. Suppose 0 = -5*x - 0*x + 85. Suppose -o*j = -3*j - x. Does 17 divide j?
True
Suppose -6*b = -b + 25, -4*q + 802 = -2*b. Does 11 divide q?
True
Let a = -4 - -6. Suppose -a*k + 100 = 16. Does 23 divide k?
False
Let r(a) = 33*a - 1. Does 13 divide r(2)?
True
Suppose 2*o + 0*o - 15 = -3*g, 0 = -3*o + 3*g + 45. Suppose 5*u - 7*u = -o. Is 5 a factor of u?
False
Let b(k) be the third derivative of -k**7/840 + 7*k**6/360 - k**5/20 - k**3/2 - 3*k**2. Let f(r) be the first derivative of b(r). Is f(4) a multiple of 8?
True
Suppose -5*d + 3*i = -0*d + 44, 3*i = 4*d + 37. Let o = -5 - d. Suppose -2*t = o*t - 168. Is t a multiple of 21?
True
Suppose 2 + 1 = o. Suppose t + 26 = o*t. Is 13 a factor of t?
True
Suppose -4*f + 4 = q + 3*q, -4*f = 16. Suppose q*r = 4*r. Let y = 5 - r. Is 2 a factor of y?
False
Suppose 2*p - 300 = -p. Does 20 divide p?
True
Let c(k) = k**3 + 14*k**2 + 15*k - 15. Does 20 divide c(-12)?
False
Let x(q) be the second derivative of 2*q**4/3 + q**3/3 + q**2/2 + 5*q. Does 2 divide x(-1)?
False
Suppose -2*v + 0*v - i = 1, -5 = -4*v + 5*i. Does 8 divide 25 - -1 - (v - -2)?
True
Let p = 9 - 7. Suppose -4*u = -16, p*f - 3*u - 10 = 44. Does 11 divide f?
True
Let k(t) = -t**2 + 7*t - 6. Let p be k(6). Does 6 divide p - 0 - (-16 + 4)?
True
Let y = -164 + 296. Is y a multiple of 42?
False
Suppose -i = 4*i - 195. Is i a multiple of 9?
False
Let z = 2 - 0. Let k be -2*(3 - 1/z). Is 14 a factor of (-624)/(-15) - 2/k?
True
Let t = -2 + 5. Let b(z) = t*z**3 - 3*z + 8 - 6*z + 8*z**2 - 2*z**3. Is b(-9) a multiple of 8?
True
Let r = -244 + 413. Is r a multiple of 12?
False
Suppose 0 = -u - 2*a + 2, -u + 2*a + 0 = -2. Suppose u*x + 0 - 10 = 0. Suppose 33 = x*o - 77. Does 10 divide o?
False
Let z(y) = -y**3 - 5*y**2 - 4. Let t be z(-5). Is 21 a factor of t/(8/14)*-9?
True
Let y(x) = x**3 - x**2 - x + 48. Let t be y(0). Suppose -45 = -3*h + t. Is h a multiple of 12?
False
Suppose -20*d - 14 = -21*d. Let x be (-8)/(0 + 1 + -2). Let m = d - x. Is 6 a factor of m?
True
Let c(d) = -d**2 + 5*d - 2. Let y = 2 - -1. Let f be c(y). Suppose -f*b = -16, 2*b - 3*b - 4 = -2*q. Does 2 divide q?
True
Let x = 57 + 15. Is x a multiple of 24?
True
Let g(t) = t**3 - 7*t**2 + 7*t. Does 16 divide g(7)?
False
Let z(x) = x**3 + 20*x**2 - 4*x - 24. Does 17 divide z(-20)?
False
Suppose -p - 8 = -3*p. Suppose -p*u + 8*u = -84. Let h = u + 32. Is 5 a factor of h?
False
Let g(y) = -y - 6. Is 4 a factor of g(-18)?
True
Let d = 17 - 13. Let v(p) = -4*p + 1. Let o be v(4). Is ((-80)/o)/(d/18) a multiple of 8?
True
Is (-1)/6 + (-67)/(-6) a multiple of 7?
False
Let l(s) = -315*s. Let x be l(-1). Suppose -2*n = 3*n + 2*m - 294, 5*n = 5*m + x. Does 12 divide n?
True
Let f(b) = -b**2 - 7*b + 6. Let l be f(-7). Let o be 2*(-129)/l*-3. Let n = -74 + o. Is n a multiple of 14?
False
Suppose 66 = -2*w + 4*w. Is w a multiple of 25?
False
Suppose -4*u = b - 2, 2*b + 36 = -3*u + 5*u. Is 5 a factor of 1*-1*b/2?
False
Suppose -3*h - 33 = c, -h = 5*c - 6 + 3. Let r be 5*(h/(-15) - 0). Suppose 40 = m + r*m. Is 7 a factor of m?
False
Suppose 2*g + 0 = -t + 12, 3*t + 5*g = 32. Is 19 a factor of t + -7 - 68/(-1)?
False
Let f = 6 - 4. Suppose 11 = x - 9. Suppose x - 2 = h + 4*a, 3 = f*h - 3*a. Is 3 a factor of h?
True
Suppose 0 = -4*s + q - 20, -28 = s + s - 5*q. Let c be (21/14)/((-3)/s). Is 3 a factor of (8 - c)*(-1 - -2)?
True
Suppose 4*x + 88 = 5*x. Suppose -3*y - y = -x. Suppose -2*f = -3*k - 23 - y, -2*f - 2*k = -30. Is f a multiple of 9?
True
Let m(w) = w**3 - 12*w**2 + w - 6. Let q be (-12)/(-5)*(8 + -3). Is m(q) a multiple of 3?
True
Suppose -3*l + 3*x - 7*x = -232, 69 = l + 3*x. Let r = 129 - l. Is r a multiple of 15?
True
Let m = -30 - -51. Is m a multiple of 7?
True
Suppose -n + 162 = -4*n. Is n/(-12)*(-16)/(-6) a multiple of 6?
True
Let m = -157 - -229. Is m a multiple of 12?
True
Let o = -2 - 3. Let b(f) = 3*f**3 + f**2 - f + 1. Let m be b(1). Is 5 a factor of o/m*(-1 - 3)?
True
Let z(x) = -x**2 + x + 29. Let a be z(0). Let q = a - 20. Is q a multiple of 8?
False
Let w(c) = c**2 + 16*c - 3. Let r be w(-12). Let v = r - -87. Does 12 divide v?
True
Does 14 divide (4 - (2 + 2)) + 109?
False
Let p be 36/20 + 3/15. Suppose 0 = -4*n + 3*w + 18, p*w - 6*w = -n + 11. Is 3 a factor of n?
True
Let h = -13 + 26. Does 13 divide h?
True
Suppose 22 = 3*c - 2*c. Is 12 a factor of c?
False
Let j(w) = -9*w**2 + 23*w - 4. Let i(l) = 5*l**2 - 12*l + 2. Let q(a) = 11*i(a) + 6*j(a). Let m be q(-5). Let b = m + 17. Does 9 divide b?
False
Suppose -3*u = -c - 439, -u + 296 = u - 4*c. Is u a multiple of 20?
False
Suppose -5*f + 6*f - 33 = 0. Does 11 divide f?
True
Suppose -2*q - 3*b = -20, -6*b - 3 = -q - 4*b. Let h = 10 - q. Is h/12 - 27/(-4) a multiple of 5?
False
Let q be ((-2)/(-3))/((-1)/3). Let r be (-21)/2 - q/4. Let w = 13 - r. Does 7 divide w?
False
Does 2 divide (18/(-15)*-5)/2?
False
Suppose 3*z - z - 20 = 0. Suppose z = 4*x - 38. Is 12 a factor of x?
True
Let t(a) = a**3 - 8*a**2 + 8*a + 1. Let b be t(7). Is 7/(18/b + -2) a multiple of 7?
True
Suppose 4*o - 12 = -b, -5*b + 32 + 76 = 4*o. Is b even?
True
Suppose 0 = 5*o - 2*c + 21, -3*o + 8*o = 5*c - 30. Let q = o + 7. Suppose q*v - 3*y = 32, 5*y = -3*v - 0*v + 53. Is v a multiple of 3?
False
Does 5 divide (-14)/(6/(-3)) - -2?
False
Let f = -1 - -7. Let w be (44/f)/((-4)/6). Let k(u) = -u**2 - 13*u - 8. Is 7 a factor of k(w)?
True
Let d(k) = -k**3 + 13*k**2 + 21*k - 9. Is 13 a factor of d(14)?
False
Let o(g) = g**3 + 9*g**2 - 11*g + 8. Is o(-10) a multiple of 6?
True
Suppose -u = -3*h + 78, -2*h + u - 138 = -7*h. Let t be 6/h + (-148)/18. Is (18/(-8))/(3/t) a multiple of 6?
True
Let p be ((-22)/55)/(1/(-80)). Let w = 69 - p. Is w a multiple of 20?
False
Let n(y) = y**3 - y**2 + 14. Let u be n(0). Suppose u = k + 5*x, 5*k = 4*x + 17 + 24. Is 6 a factor of k?
False
Is (-16)/40 - 152/(-5) a multiple of 15?
True
Let u be (-1)/2 - (-1)/2. Suppose h = y - 1, -3*y + 6 = -4*h - u*h. Is 1/h - (-10)/3 a multiple of 3?
True
Let q(p) = p + 13 + p**2 + 5 - p**3 - 2*p**2. Suppose 2 = -c + 2. Is q(c) a multiple of 9?
True
Suppose 0 = -4*h + 200 - 0. Let w = h - 26. Does 24 divide w?
True
Let j(s) = s**2 + 6*s + 6. Let n be j(-4). Suppose -245 = -7*p + 2*p. Does 10 divide n/(-5)*(1 + p)?
True
Let h = 15 + -5. Let q = h + -7. Is q a multiple of 3?
True
Let o be (-4)/14 + 80/35. Suppose -10 = -2*j + o. Is j even?
True
Suppose 0 = -5*g - 35 - 5. Is (-288)/(-21) - g/28 a multiple of 7?
True
Let n = -3 - -6. Is n a multiple of 3?
True
Let a(n) = 2*n**2 - 3*n - 11. Let r(h) = -h**2 + h + 5. Let f(o) = -4*a(o) - 9*r(o). Does 7 divide f(4)?
False
Let p(j) = -13*j**3 + j**2 + 3*j + 3. Let y be p(-2). Let l = y + -49. Does 17 divide l?
False
Suppose 0 = -4*c + 2*f - 26, 30 + 3 = -5*c + 3*f. Let s be (-44)/c - 2/(-3). Does 7 divide (-2)/4 + 108/s?
False
Let o = 5 + -8. Let n be (o - 1)*(-1)/2. Suppose 39 = 5*g - n*g. Is g a multiple of 7?
False
Let i = 8 + -7. Let d be 2/(i - -1)*0. Suppose 3*l = -d*l + 21. Does 3 divide l?
False
Let f = 64 + -36. Suppose 3*p - 5*p + f = 0. Is p a multiple of 14?
True
Let o(j) = -2*j - 4*j - 1 + 5*j. Let b be o(-5). Suppose 6*u + 18 = i + 2*u, -5*u - 61 = -b*i. Is i a 