29 = 0, 4*n - 5841 = -0*n - s. Does 13 divide n?
False
Suppose -5*a + 1134 = -12*a. Is (12/(-3) + 6)*a/(-4) a multiple of 9?
True
Let z be (-6)/21 - (-164)/(-14). Let v = z - -12. Suppose 223 = 5*y + 2*k, v*k + 4 = k. Is y a multiple of 15?
False
Let s(z) = z**2 + z + 3. Let y(h) = 6*h**2 + 5*h + 16. Let l(j) = -22*s(j) + 4*y(j). Let m(x) = -2*x - 2. Let g be m(-3). Is l(g) a multiple of 7?
False
Suppose -a = -2*a - 5*k + 32, -4*a - 2*k + 92 = 0. Let i = 27 - a. Is 2 a factor of i?
False
Let b be -1*2*3*6/(-4). Suppose 0 = -h + b + 35. Is h a multiple of 16?
False
Suppose 3*t = 6, -2*i + 1163 - 123 = t. Does 35 divide i?
False
Is 3 a factor of 354*(3 - (-39)/(-6))/(-7)?
True
Let d(q) = 44*q - 885. Does 14 divide d(47)?
False
Let y = -45 + 44. Is 33 + (-1)/1 + y + 0 a multiple of 26?
False
Suppose 10*s - 8*s - 14 = 0. Suppose s*l = 5*l + 66. Does 22 divide 144*(l/9 - 3)?
False
Is 78 - 88 - (-492)/2 a multiple of 2?
True
Let a(i) = -4*i + 26. Let b be 2/((-2)/19) + 4. Is a(b) a multiple of 14?
False
Suppose -20 = -3*y - y. Suppose b = -y*b + 72. Is 4 a factor of b?
True
Let t(i) = 2*i**3 + 9*i**2 - 4*i - 8. Is t(7) a multiple of 20?
False
Let s be (-39)/(-26)*(-20)/3. Does 12 divide 700/6 + s/15?
False
Let r be (2 - 6/2)/(22/(-66)). Suppose r*w = -4*w + 952. Is w a multiple of 17?
True
Suppose 3*h - 18 = -6. Suppose h*s = 9*s - 425. Does 13 divide s?
False
Suppose 4*n - 4*q = 1024, -10*n + 3*q = -9*n - 266. Does 8 divide n?
False
Let r = -1 + 6. Suppose r*k - p = 501, p + 2*p = -3. Is 15 a factor of k?
False
Let m(l) be the first derivative of l**4/4 + l**2/2 + 2*l - 22. Is 11 a factor of m(4)?
False
Let v be -1 - (-2 - 2) - 3. Let z = 12 - v. Is z a multiple of 3?
True
Let g be (15 + -14)*-115*5. Let f = 860 + g. Is f a multiple of 44?
False
Let g(o) be the third derivative of 5*o**4/24 + 5*o**3/3 - 8*o**2. Is g(4) a multiple of 15?
True
Let x = -11 + 5. Let n = -2 - x. Suppose 37 = b + 4*t + 2, -4*t + 104 = n*b. Is 9 a factor of b?
False
Suppose -5*l - w = -4, 5*l + 4*w - 16 = -0*l. Suppose l*n = -2*n + 10. Suppose -n*q = -4*q - 13. Is q a multiple of 7?
False
Let a(u) = u - 1. Let c be a(5). Let r be ((-980)/(-21))/(c/(-78)). Does 11 divide (6/(-5))/(14/r)?
False
Suppose -4*g = -16, 3*v - 5*v = g - 122. Is 5 a factor of v?
False
Let q = -85 - -85. Suppose 2*g - 55 = -5*z, -g + q*z + 26 = 3*z. Is 16 a factor of g?
False
Let y = -4 - 6. Let h be (1 - (-4 - -1))*4. Let z = y + h. Is 4 a factor of z?
False
Let h(n) = -n**2 - 19*n + 13. Is 27 a factor of h(-18)?
False
Let o = -77 + 107. Is 37 a factor of 1*254 - (25 - o)?
True
Let g(h) = h**2 + 13*h - 16. Let f be g(-14). Is 108 + (2/f)/1 + 1 a multiple of 7?
False
Does 14 divide (-8076)/(-18) - (-18)/(-27)?
True
Suppose 132*p + 32472 = 143*p. Is p a multiple of 12?
True
Let b be (-3)/6 + 222/4. Let s = -110 - -112. Suppose 5*f - m = b, -f + s*m + 11 = -0*f. Does 11 divide f?
True
Let s(m) = 10*m**2 - 2*m + 3. Let j be s(-3). Let z = -51 + j. Is z a multiple of 12?
True
Let w = -145 + 270. Let p = w + 51. Is p a multiple of 11?
True
Let y(j) = 77*j**2 + 4*j + 2. Let z be y(-2). Suppose -g = k - 76, -4*g - 9*k + z = -4*k. Is 13 a factor of g?
True
Let j = -3 + 8. Let f = -378 - -363. Does 3 divide 10 + (f/(-3))/j?
False
Suppose -2*p = 5*w + 34 - 9, -4*w = 20. Suppose 3*z - 18 - 3 = p. Does 3 divide z?
False
Suppose -23*p + 19*p - 204 = 0. Let y = -44 - p. Is y even?
False
Let t(z) = z**3 + 18*z**2 + 38*z + 23. Does 25 divide t(-15)?
False
Let l(p) = 3*p**3 - 18*p**2 - 2*p - 49. Does 11 divide l(8)?
True
Suppose -2*c + 10*l - 13*l + 3138 = 0, -2*l + 4 = 0. Is c a multiple of 9?
True
Let c be -2*4/8*19. Let a = c - -58. Is 17 a factor of a?
False
Suppose -37*b + 50*b = 2691. Is b a multiple of 11?
False
Suppose 2*h - 5*r = -5 - 7, 5*h - 24 = -r. Does 11 divide h + (2 - -23 - 0)?
False
Let y(b) = 3*b**2 + 3*b - 10. Let m = -28 - -32. Does 19 divide y(m)?
False
Suppose 0*g + 5*g - 10 = 0. Suppose g = o - 0. Suppose -o*w - w + 129 = 0. Does 16 divide w?
False
Suppose 3 = -0*z - 5*z - 3*w, -w = -z - 7. Let x be ((-64)/(-12))/(-4)*3. Is 15 a factor of z/x + (-531)/(-12)?
True
Suppose -4*d - 4*y = 8, 2*y + 16 = 4*d + 42. Is 7 a factor of ((-105)/2)/(d/20)?
True
Let b(c) = -9*c - 6. Suppose -4*t - 76 = -4*a, -3*t + 5*a - 81 = t. Is 24 a factor of b(t)?
True
Let z(c) be the second derivative of c**4/12 + 2*c**3/3 - 7*c**2 + 7*c. Is z(10) a multiple of 21?
True
Does 11 divide 3/((-5528)/(-788) + -7)?
False
Suppose 72*t = 8814 + 28698. Is 17 a factor of t?
False
Is ((-4)/(-12))/(19/23769) a multiple of 61?
False
Let b(y) = 9*y**2 - 40 - 6*y + 40. Is b(4) a multiple of 30?
True
Let k be ((-128)/(-5 - -9))/(3/(-12)). Suppose -219 = -2*b - 3*m, b + 20 = -2*m + k. Is b a multiple of 6?
True
Let y(s) be the third derivative of -s**6/120 + s**5/30 + s**4/12 - 5*s**3/6 + 24*s**2. Is y(-4) a multiple of 30?
False
Let q = 330 + -187. Is 13 a factor of q?
True
Let o = -207 + 496. Let s = o + -193. Suppose -5*x = 5*f - 160, -s = -3*x - 2*f - 3*f. Is 17 a factor of x?
False
Suppose 180 = 5*d - 0*d. Is 3*4*15/d a multiple of 5?
True
Let h = -26 + 51. Suppose -110 = -4*s - 3*t, -5*s + s + 2*t = -100. Suppose -h - s = -p. Is p a multiple of 17?
True
Suppose 2*l - 838 = -2*g - 72, l - 1907 = -5*g. Is 12 a factor of g?
False
Let z be (-28)/8*(-90)/21. Let w = z - -60. Is w a multiple of 15?
True
Suppose a + 2*a + x = -13, 0 = 3*a - 5*x + 7. Does 7 divide (a + 8 + -2)*7?
True
Let c(n) = -n**3 - n**2 - 2*n. Let b(d) = -7 - 3 - 6 - 2*d. Let t be b(-7). Is c(t) a multiple of 3?
False
Suppose 4*x = -12, -4*t + 20 = -3*x - x. Let o be (3 + -9)*(-27)/6. Suppose t*l = l + o. Is 8 a factor of l?
False
Let j(i) = -i**2 - 7*i - 1. Suppose 5*y - 7 - 5 = -4*v, 2*y - 12 = 2*v. Suppose -5*h - 11 - 16 = 3*w, 4*w + 28 = -y*h. Is 3 a factor of j(h)?
False
Let w be -3 - (0 - 4 - 81). Let z = -59 + w. Does 11 divide z?
False
Let m = 2769 + -1801. Is m a multiple of 22?
True
Suppose 18*a + 5*r = 13*a + 3015, -a + 599 = 3*r. Is 25 a factor of a?
False
Suppose -4*f + 3 = -3*f, -4*k - 5*f = -323. Let j be (-14)/k - 251/11. Does 8 divide -1 - -1 - (j - 1)?
True
Let a(d) = 27*d**2. Let y be a(1). Let z = 101 + -112. Let j = y - z. Is 19 a factor of j?
True
Is 4 a factor of (-112)/392 - (989/(-7) + 0)?
False
Is 8 a factor of (2/(-9)*-183)/(6/27)?
False
Let i = -7 - 7. Let u = -16 - i. Is (u/(-6))/(7/1071) a multiple of 12?
False
Is 26 a factor of 400 + 0 + (-12)/(-6)?
False
Let b(x) = 23*x**3 + 5*x**2 - 8*x + 10. Let g be b(6). Let d be (-2)/10 - g/(-50). Is (-1)/(3 + d/(-33)) a multiple of 2?
False
Let n(w) = 60*w**3 - w**2 - 2*w - 1. Let c be n(-1). Let t = 83 + c. Is t a multiple of 13?
False
Suppose 0 = -3*f - 5*n + 6, f = 4*f - 3*n - 30. Suppose 5*u = f*u - 18. Does 2 divide u?
False
Let u(d) = -3*d + 32. Let w be u(10). Suppose -w*q + 37 = 11. Is q a multiple of 2?
False
Suppose -4*m = -8*m - 136. Let o = -9 - m. Let k = o + -14. Is k a multiple of 11?
True
Let k(b) = b**2 + b - 3. Let j be k(-3). Let o(v) = -v**2 + 3*v + 1. Let w be o(j). Is (-1)/w + 3 - -26 a multiple of 14?
True
Let x(g) = 8*g + g + 28*g - 17. Is 12 a factor of x(5)?
True
Let f = -997 + 1724. Is 81 a factor of f?
False
Let o = 3 + 4. Suppose -2*s = -o*s + 5. Is 17 a factor of (13 + -11)*(25 - s)?
False
Suppose -4*y = -3*m + 11, -5*y = -m - 0*y + 11. Does 9 divide 9*m*(20 + -18)?
True
Let r = 380 + 49. Is 39 a factor of r?
True
Suppose -205 = 4*c - 1813. Suppose -111 - c = -3*s. Is s a multiple of 29?
False
Let w(h) = 19*h + 47. Does 4 divide w(4)?
False
Let u be (11/((-77)/21))/((-2)/450). Suppose u - 75 = 4*p. Is 30 a factor of p?
True
Let a(c) = 2*c**2 - 7*c + 7. Suppose 3*y - 5 = 4, 0 = -3*v - 3*y + 15. Suppose -r = s - 3*r - 11, v*s - 2*r = 16. Does 13 divide a(s)?
False
Let q be 657/(-3) - -2*(-6)/4. Let a = 334 + q. Is a a multiple of 16?
True
Let k(x) = 77*x - 93. Does 31 divide k(4)?
False
Suppose 4*k - 2391 = 3*j, 2606 - 791 = 3*k + 5*j. Suppose -k = -0*s - 6*s. Does 20 divide s?
True
Suppose 918 = i - l, -i - 4*i - 4*l + 4608 = 0. Let m be i/24 + (-4)/3. Suppose -3*n + 17 + m = 0. Is 9 a factor of n?
True
Suppose 4*p = -3*x + x - 6, -5*p = -4*x - 12. Suppose p = d - 3*w + 150, -5*w - 585 = 4*d - 19. Let f = -78 - d. Is f a multiple of 16?
False
Suppose -3474 = -4