Let p be x(-6). Let u = p - -10. Is u a multiple of 9?
True
Let j = -8 - -8. Suppose -a = -1 - j, -14 = -3*b - 5*a. Let f = 50 - b. Is f a multiple of 16?
False
Let k(z) = z**3 + 8*z**2 - 12*z + 3. Is 15 a factor of k(-9)?
True
Let m be (-2)/(-6) - 422/6. Let d = -37 - m. Let r = 59 - d. Does 13 divide r?
True
Let t = 148 - 87. Does 23 divide t?
False
Let i be (0 - -3) + 3 + -1. Suppose p = i*h - 318, 2*h - p = 4*h - 130. Does 16 divide h?
True
Let v be ((-4)/(-8))/(2/40). Let o be 10/(-25) + 154/v. Suppose 4*b + o = 5*b. Is b a multiple of 11?
False
Suppose -636 = -3*q + 3*c, -2*c + 818 = 9*q - 5*q. Does 23 divide q?
True
Let v(r) = r**3 - 3*r**2 - 4*r + 9. Suppose 3*j + 13 = 37. Let n(b) = -2*b**3 + 4*b**2 + 6*b - 14. Let m(x) = j*v(x) + 5*n(x). Is m(-2) a multiple of 2?
True
Let s(j) = 144*j + 2. Does 26 divide s(1)?
False
Let h(v) = -8*v + 6. Let x be h(9). Is 12 a factor of (-8 - -6)/(3/x)?
False
Let t be (-3)/6 + 15/(-2). Let r = t - -13. Is 4 a factor of r + 1 + 0 + 2?
True
Suppose 2*a + 0 = -2, -4*r = -4*a - 544. Is r a multiple of 32?
False
Is 22 a factor of 3/(-1) + (-9 - -15) + 49?
False
Is 5271/27 + 14/(-63) a multiple of 13?
True
Let v = 103 - 62. Let i = v - 14. Suppose 2*y - i - 49 = 0. Is 14 a factor of y?
False
Suppose 156 = c + 3*c. Let p = 30 - 51. Let y = c + p. Is 18 a factor of y?
True
Let d = 35 + -16. Suppose 5*q + d + 41 = 0. Is 13 a factor of (-2)/(-8) - 585/q?
False
Is 3 a factor of 8 + 4 - 2*-2?
False
Suppose 2*s + 3*s = 210. Is 14 a factor of s?
True
Let w(m) = 25*m - 5. Let u be w(3). Suppose 5*c - 2*g = 3*c + u, -5 = -g. Is c a multiple of 20?
True
Let k = 9 + 1. Is (-16)/(-80) + 308/k a multiple of 17?
False
Suppose -14 - 42 = -2*u. Is 28 a factor of u?
True
Let v be (1 - 0)/1 - -6. Let q(z) = -2*z + 23. Let d be q(10). Let u = v + d. Is 10 a factor of u?
True
Suppose s + 2*s + 9 = 0, -5*b + 5*s = -45. Let h = -2 + b. Suppose -h*u + 100 = -k, -5*u - 2*k + 47 = -78. Does 9 divide u?
False
Let j(s) = -19*s - 13. Is 20 a factor of j(-7)?
True
Let a = 8 + -5. Suppose 0 = -a*i + i + 100. Is 25 a factor of i?
True
Let t be -4*(39/(-2) + 2). Suppose -f + 6*f = t. Is f a multiple of 6?
False
Let i(g) = g**3 - 9*g**2 + 7*g + 7. Let p be i(8). Let a be 1*61/(p + 2). Let s = a - 20. Is s a multiple of 14?
False
Let o = -5 + 4. Let t be o + 3 - (1 + -3). Suppose -a + 53 = -0*a + t*g, -a + 69 = -4*g. Is a a multiple of 21?
False
Let t(n) = n**3 - 3*n**2 - 6*n - 5. Is 15 a factor of t(5)?
True
Let r(a) = -a**3 + 5*a**2 - a + 4. Let q be r(5). Suppose -4*k - 11 = 33. Let x = q - k. Does 8 divide x?
False
Let v be (-2 + 1)*-4 - 2. Let x(t) = 3*t**2 - 1. Let y(h) = h**3 + h**2 - h - 1. Let r(z) = -x(z) + 2*y(z). Is r(v) a multiple of 3?
False
Let f = 79 - 11. Is 13 a factor of f?
False
Let v be 197/5 - (-27)/45. Does 17 divide (-2)/5 - (-1096)/v?
False
Let j(a) = a**2 - 8*a + 7. Let s be j(7). Suppose s*q = -3*q + 96. Does 10 divide q?
False
Suppose y = -4*y + 55. Let g(h) = 5*h**3 + 2*h**2 - 1. Let s be g(1). Suppose z = s + y. Is 7 a factor of z?
False
Suppose 4*s = 2*c - 3*c + 411, -2*c - 426 = -4*s. Is 26 a factor of s?
True
Let j = -16 + 28. Is 12 a factor of j?
True
Let w = 3 - 1. Suppose 0 = w*r - 29 - 9. Let x = r - -7. Does 13 divide x?
True
Let x = 4 + -1. Let t(p) = -p**3 + 2*p**2 + 3*p + 2. Let b be t(x). Suppose b*n - 1 = 11. Is n a multiple of 4?
False
Let p(s) be the first derivative of 2/3*s**3 - 3/2*s**2 - 3/4*s**4 - 3*s + 2. Is p(-2) a multiple of 19?
False
Suppose 3*r - b = 4*b + 242, 4*r - 5*b - 326 = 0. Does 7 divide r?
True
Suppose f + 10 = 3*f + w, -2*w = 3*f - 16. Suppose 5*c = f*c + 46. Suppose -h = -2*l - 43, -3*h - l + 76 = -c. Is 15 a factor of h?
False
Let b(y) = y**3 + 8*y**2 - 2*y. Let i(k) = 2*k - 2. Suppose 3*c = 4*x + 9, -11 = 4*x - 4*c - 3. Let t be i(x). Is b(t) a multiple of 6?
False
Let j = 40 - 26. Let x = 0 + j. Is 12 a factor of x?
False
Suppose b = -2*h + 151, 2*h - 4*h + 148 = 4*b. Does 19 divide h?
True
Suppose 0 = 4*s + q - 18, 0 = 5*s - 5*q - 7 - 3. Let j(i) = i**2 + 10*i - 2. Let o be j(-13). Suppose 2*h - 5 + o = 3*f, 0 = h + s. Is f a multiple of 8?
True
Let f(m) be the first derivative of -5*m**4/4 + m**3/3 - m**2 + m + 1. Let h be f(1). Is 11 a factor of (0 - -65)*(-2)/h?
False
Let d be -4 - -8 - (-1 + 3). Let x be d/(1 + 1 + -1). Suppose x*b = 7 + 19. Is b a multiple of 6?
False
Let j(d) = 20*d + 5. Is 12 a factor of j(6)?
False
Does 14 divide (21/(-2))/((-33)/88)?
True
Let u(x) = -4*x**2 - 2*x + 2. Let v(p) = 3*p**2 + p - 1. Let y(g) = 2*u(g) + 3*v(g). Is y(-2) a multiple of 2?
False
Let r be (-15)/2 + (-2)/(-4). Let b(x) = -2*x + 10. Is 12 a factor of b(r)?
True
Let z(r) = -4 + 0 + 0*r**3 + 4*r**3 + 10*r + 8*r**2 - 5*r**3. Let s be z(9). Suppose -4*w = -43 - s. Is w a multiple of 12?
True
Suppose 37 = -4*d + f, -4*d - d - 38 = -4*f. Let u be 4/10 - (-4)/d. Suppose 3*z - 3 = u, 52 + 7 = 5*k - z. Is k a multiple of 12?
True
Is (-3*(-3)/(-18))/((-1)/156) a multiple of 16?
False
Let k be (-14)/(-3) + 2/(-3). Let f(w) = 3*w - 6 + 6. Is f(k) a multiple of 6?
True
Suppose 2*u = 11 + 25. Does 2 divide u?
True
Let r(c) = -8*c**2 - 2 + 3*c - c**3 + c - 7. Let q(m) = -m**3 - 7*m**2 + 4*m - 8. Let h(u) = -6*q(u) + 5*r(u). Is 9 a factor of h(2)?
False
Let s = -3 - -5. Suppose c = s*c - 15. Is c a multiple of 15?
True
Suppose l + 5 = 0, 3*l = 2*m - 15 - 6. Let j be 26/m*(3 + 3). Suppose -5*i = -i - j. Is 5 a factor of i?
False
Let f(n) = -n**3 + 2*n**2 - 3*n + 1. Let b be f(2). Let k(q) = -q**3 - 5*q**2 - 5*q + 3. Is 14 a factor of k(b)?
True
Suppose 2*s = -3*s - 150. Is 7 a factor of s/(-21)*(10 - 3)?
False
Let w be 1/2*(2 - 28). Let m = w + 26. Is 7 a factor of m?
False
Suppose 0 = 4*j - 17 + 5. Suppose 11 = -p + 4*o, j*p + 4*o = 23 + 24. Is 5 a factor of p?
False
Suppose -d = -49 + 2. Does 7 divide d?
False
Suppose p = -64 + 204. Is p a multiple of 28?
True
Suppose -2 - 13 = -5*v. Suppose 2*c = 2, 6*s - v*s = 4*c + 329. Suppose -5*l + s = -49. Does 17 divide l?
False
Suppose -2*y + 45 = 17. Let i = y - 1. Is 13 a factor of i?
True
Let n(u) = u**2 - 3. Let c be n(-4). Let f(m) = m**3 - 9*m**2 - 9*m - 7. Let z be f(10). Suppose -d + c = z. Is d a multiple of 5?
True
Let x(u) be the third derivative of u**5/60 - 5*u**4/24 - 5*u**3/3 - 2*u**2. Is x(7) a multiple of 3?
False
Let t(g) = g**2 - 1. Let o be t(6). Suppose -2*s = -129 + o. Is s a multiple of 28?
False
Let m(p) be the second derivative of -p**5/4 - 2*p**3/3 - 3*p**2/2 + 26*p. Let u(k) = k**3 - k**2 - k - 2. Let x be u(0). Does 15 divide m(x)?
True
Let z = 13 - 8. Let p be ((-1)/(-3))/(z/165). Suppose p - 101 = -3*k. Is 10 a factor of k?
True
Let u = -73 + 150. Is u a multiple of 11?
True
Let u(w) = -w**3 - 8*w**2 + 6*w + 7. Is u(-9) a multiple of 34?
True
Let f(k) = 8*k + 5. Suppose 5*y - 11 = 3*w, y - 4*w = 5*y - 28. Does 16 divide f(y)?
False
Let b(v) = 14*v - 2. Let q = -3 + 3. Let k be 4/(2 + q) - 0. Does 13 divide b(k)?
True
Let h = 534 + -234. Does 12 divide h?
True
Let c(b) = b**3 + 9*b**2 + 5*b + 9. Is 24 a factor of c(-7)?
True
Suppose -4*i + 5*d = -140, 3*i = -3*d + 150 - 18. Does 21 divide i + (0 - (-4)/2)?
True
Let q be 783/21 - 4/14. Suppose -3*i - q - 23 = 0. Let f = -14 - i. Does 4 divide f?
False
Suppose -2*c - 2*w = -7*c - 30, -3*c = -3*w + 18. Let y(r) = -r**3 - 5*r**2 + 4*r + 4. Does 8 divide y(c)?
True
Let o = -19 - -5. Does 3 divide (o/4)/(2/(-4))?
False
Let t be 0*2/(-6) + 2. Let n(r) = -r**2 + 4*r - 7. Let a(f) = 5*f**2 - 19*f + 36. Let s(z) = t*a(z) + 11*n(z). Does 2 divide s(4)?
False
Let b be ((-6)/4)/((-1)/2). Suppose 0 = 3*n - h - 149, -18 = b*n + 2*h - 170. Is n a multiple of 25?
True
Suppose -3*s + 8*s = 2*i - 7, i - 4 = 2*s. Does 3 divide i?
True
Suppose -5*g - h - 3*h + 82 = 0, -2*g + 3*h = -19. Let q = g - 7. Does 7 divide q?
True
Let l(t) = 2*t - 8. Let p = -2 - -8. Does 2 divide l(p)?
True
Let x be 0*(-1)/(-2) - -34. Suppose -2*c - 75 = -5*s + x, 10 = -5*c. Is s a multiple of 9?
False
Let a(s) = s**2 + 3*s - 2. Let r be a(-4). Suppose 4 = r*m - 10. Is -2*(-2)/4 + m a multiple of 8?
True
Let z(v) = v**3 - 10*v**2 + 10*v - 4. Let y be z(9). Suppose y*f + u = 2*u + 191, 0 = -u - 1. Is 19 a factor of f?
True
Let c = 57 + -17. Does 5 divide c?
True
Suppose 0*z + 4*z = -28. Suppose 5*m - 49 = 3*a 