 = v. Does 18 divide f?
False
Let o = 67 + 3. Suppose 2*w - 6 = 6. Suppose -l + w*l = o. Does 5 divide l?
False
Suppose -3*y + 9 = -0. Let q(x) = -x**y - 3 - 3 - x + 8*x**2 - x. Is 10 a factor of q(7)?
False
Let y(o) = 5*o**2 - 5*o - 4. Suppose 0 = 4*g - 0*g - 5*v + 32, -v = -4. Is y(g) a multiple of 14?
True
Let b = -14 + 17. Let h(p) = 7*p**2 - 3*p + 4. Does 18 divide h(b)?
False
Let o(b) be the second derivative of b**5/20 - 7*b**4/12 - 4*b**3/3 + 7*b**2/2 + 5*b. Is 2 a factor of o(8)?
False
Let l(s) = s**2 - s - 67. Does 25 divide l(20)?
False
Let t = -4 + 7. Suppose t = 4*m - 133. Does 14 divide m?
False
Let n = 1 - 5. Let j(f) = f**2 - 3*f - 4. Let d be j(n). Suppose i + i = d. Is 12 a factor of i?
True
Suppose 58*g = 56*g + 102. Is 4 a factor of g?
False
Let x = -71 + 121. Is x a multiple of 50?
True
Let s be 9/(-2) - (-2)/(-4). Let u be ((-4)/s)/((-4)/(-10)). Suppose 42 + 10 = u*l. Is l a multiple of 13?
True
Let q = -13 - -19. Let c(z) = z**3 - 5*z**2 - 3*z + 7. Let g be c(q). Suppose 3 = 2*u - g. Is 14 a factor of u?
True
Is 33/22*(-106)/(-3) a multiple of 25?
False
Let g = -3 + 4. Let d be 1*(1 + g + 0). Suppose 2*s - 4 = -d*f, -f = -3*s + 3*f + 27. Is 4 a factor of s?
False
Let y(a) = 2*a**2 + 4*a + 4 - 1 - 1. Let u be y(-2). Suppose -10 = u*i - 3*i. Is 8 a factor of i?
False
Suppose -5*p + 20 = 0, -5*n - 5*p - 4 + 54 = 0. Let b = n + 8. Suppose 0*m - m + b = 0. Does 10 divide m?
False
Let m be (-6)/(-21) - (-4)/(-14). Suppose j = -m*j + 28. Suppose 23 = 3*o - j. Is o a multiple of 17?
True
Suppose 0 = -y - 5*v + 135, y + 0*v - 4*v = 108. Is 20 a factor of y?
True
Does 4 divide (-98)/(-35)*(-10)/(-4)?
False
Let h(x) = -x + 12. Let f = -1 - -11. Let d be h(f). Let j(i) = 2*i**3 + 2*i**2 - 2. Does 11 divide j(d)?
True
Suppose 2*s + 3*s = 445. Is s a multiple of 23?
False
Let z = 22 + -13. Let w(l) = 5*l**2 + 7*l - 3*l**2 - 3*l**2 - 11 + 4*l. Does 5 divide w(z)?
False
Let d = 15 + -24. Let c = d + 19. Is 5 a factor of c?
True
Suppose -16*d + 15*d = -6. Is d a multiple of 3?
True
Let r = -35 + -4. Let p = r - -73. Does 17 divide p?
True
Let y = 570 - 395. Is 11 a factor of y?
False
Let p(r) = r + 1. Let q be p(-1). Suppose q = 4*b - 3*b. Suppose b = -4*k + 8*k - 12. Is k a multiple of 3?
True
Let m = -56 + 88. Let r(n) = 2*n**2 + n. Let q be r(1). Suppose 0 = -4*g - q*d + m, 5*d + 3 - 13 = 2*g. Is 4 a factor of g?
False
Is 41 - (1 + -1 + -4) a multiple of 15?
True
Let a(f) = f**3 + 3*f**2 + 5*f - 6. Does 21 divide a(3)?
True
Let q = 14 + -15. Does 9 divide (-12)/((9/24)/q)?
False
Suppose 0*w - z + 79 = 3*w, -2*z - 85 = -3*w. Is 8 a factor of w?
False
Let x(u) be the first derivative of 25*u**3/3 - 3*u**2/2 + 4*u - 1. Let f be x(3). Suppose -2*k - 3*k = -f. Is 15 a factor of k?
False
Suppose -y = -4*y + 87. Let g = y - 21. Is g a multiple of 4?
True
Let j(l) be the first derivative of -l**4/4 + l**3/3 - 10*l - 1. Let a be j(0). Let y = 39 + a. Is y a multiple of 9?
False
Let w = -3 - -4. Suppose 0 = -t + 5*p + w - 3, 0 = 2*t - 5*p + 9. Let u = t + 22. Does 10 divide u?
False
Suppose -4*y = -3*v - 80, 2*y - 40 = -2*v - v. Suppose -3*s - y = 2*s. Does 18 divide -1 + 46 - (2 + s)?
False
Does 8 divide -6 + 2 - -4 - -22?
False
Let d(l) = 57*l. Let r(f) be the first derivative of 19*f**2 - 1. Let u(z) = -5*d(z) + 7*r(z). Does 15 divide u(-1)?
False
Let x be ((-1)/2)/((-2)/8). Let u(h) = 4*h**3 - 3*h + 2*h**2 - 3*h**3 + 0 + x. Does 2 divide u(-3)?
True
Let a be (108/42)/((-6)/(-56)). Suppose -5*u + 4*m + 4 + a = 0, 0 = 3*u - m - 21. Is u a multiple of 8?
True
Let y = -260 + 512. Suppose 5*z - y = 158. Suppose 3*o = -1 - 5, -z = -4*d + o. Is d a multiple of 10?
True
Does 18 divide 3/(-1) + (154 - 7)?
True
Suppose -q + 0*x = 2*x - 45, 0 = -q - 3*x + 45. Let b = -13 + q. Is b a multiple of 10?
False
Suppose 1 - 13 = 3*z. Is (-1022)/(-18) + z/(-18) a multiple of 12?
False
Suppose -74 = -3*n + 2*y, n = 2*n - y - 24. Does 9 divide n?
False
Let a(i) = i**2 + 7*i + 13. Let d be a(-6). Is 16 a factor of (-25 + d)*16/(-6)?
True
Suppose -r + 3 = 0, -3*a = -r + 5*r + 30. Is 7 a factor of (a/4)/((-5)/30)?
True
Let k(q) = q + 2. Let y be k(-2). Suppose y = w - 2*w + 13. Does 6 divide w?
False
Is (-3916)/(-28) + (-1)/(-7) a multiple of 15?
False
Let u(s) = s**3 + 5*s**2 - 6*s - 2. Let o = -16 - -11. Is u(o) a multiple of 7?
True
Suppose -4*g + 16 = 0, -v + 2*v + g = 4. Suppose 3*j - 4*r - 24 = -r, r = v. Does 4 divide j?
True
Let c be (-12)/8*2/(-3). Let n(y) = 1 + 17*y - 9*y + 13*y. Is n(c) a multiple of 11?
True
Suppose 0 = 5*o - 4*b + 12, -5*o = -2*b - b + 9. Let p = 430 - 245. Suppose -5*m = -o*m - p. Does 13 divide m?
False
Let o(b) = b + 7*b**2 - 2*b - 4*b**2. Let w be o(1). Suppose 0 = z - w*y + 4*y, -3*z - 2*y + 12 = 0. Is 6 a factor of z?
True
Suppose 0 = 5*a + v - 8, -2*a = -3*a - 3*v - 4. Let s = a + 20. Is s a multiple of 16?
False
Let d = -26 + 60. Is 19 a factor of d?
False
Suppose -5*s + 335 = 5*u - 10*s, -119 = -2*u - s. Is u a multiple of 31?
True
Let x(o) = -o**3 - 10*o**2 - 12*o - 14. Does 4 divide x(-9)?
False
Let z be 25*((-12)/5 - -2). Is z*(5/2 + -3) a multiple of 4?
False
Suppose 0 = x - 5*g - 20, 3*x - g - 6 + 2 = 0. Let d(z) = z**3 - z**2 + 3. Let n be d(x). Suppose -r + 40 = n*r. Is r a multiple of 10?
True
Let k(f) = 4*f**2 + 2*f + 2. Does 3 divide k(-2)?
False
Let o(d) be the third derivative of -d**4/24 + 19*d**3/3 - d**2. Is o(0) a multiple of 17?
False
Let x(d) = 8*d**2 - 7*d - 13. Is 7 a factor of x(-3)?
False
Let w = 4 - 2. Suppose 0 - 24 = -8*y. Suppose -y*u + 12 = 3*q, -w*q + 28 = q - u. Does 4 divide q?
True
Let s = 106 + -36. Does 12 divide s?
False
Let l(t) = 4*t**2 + 4*t + 2. Let s be l(-3). Suppose -i + s + 1 = 0. Does 6 divide i?
False
Suppose -2*u + 9 = 1, -5*j - 3*u + 32 = 0. Suppose 0 = a - j*d + 24 + 14, 0 = -4*d - 4. Does 21 divide (a/(-10) + 0)*5?
True
Let a(y) = y**3 - 8*y**2 + 4*y - 10. Let w be a(8). Let d = w + 34. Is 14 a factor of d?
True
Let f = -101 - -270. Does 13 divide f?
True
Let t = 596 + -391. Suppose -49 = -w + 2*n + 7, 5*n - t = -5*w. Is 14 a factor of w?
False
Let b(i) = -i**3 + 4*i**2 + 7*i - 6. Let x = 6 + -1. Is 4 a factor of b(x)?
True
Suppose -b + 4 = -0*b - 2*u, -3*b - 5*u = -1. Let z = b + 10. Is 6 a factor of z?
True
Suppose 4*i - 55 = 2*i + h, 0 = 5*i + 2*h - 142. Is 14 a factor of i?
True
Suppose 3*f - 5*i = 11 + 71, -3*i = 6. Suppose -s - 2 = -f. Does 11 divide s?
True
Suppose 3*p - 5*p - 2 = 0, -5 = 5*z - 5*p. Let g(v) = 8*v - 1. Let r(a) = -9*a + 1. Let d(f) = z*g(f) - 3*r(f). Is d(3) a multiple of 16?
True
Let f = -5 - -8. Suppose -7 - 9 = q - 4*t, 0 = -3*q + 3*t - f. Suppose -3*n - 80 = -x - q*x, n = 5. Is 13 a factor of x?
False
Suppose -2*w - 16 - 12 = 0. Let r = w - -21. Is r a multiple of 7?
True
Suppose 2*v - q - 23 = -v, -q = -1. Suppose 0 = -3*l - 2*s - 3, 3*l - 2*s = -5*s - 6. Let w = v - l. Is 3 a factor of w?
False
Let y(s) = -10*s**3 - 2*s**2 - s + 2. Let b be y(-2). Let d = 36 - b. Let w = 6 - d. Does 17 divide w?
False
Let u(b) = b**2 + b + 8. Is u(0) a multiple of 5?
False
Suppose -17 = -w + 2*k - 3, -2*w - 2*k = -16. Let g = w + -7. Is g a multiple of 2?
False
Let g = -50 + 11. Let m = 2 + -22. Let x = m - g. Is x a multiple of 19?
True
Let b(k) = 12*k - 7. Suppose 5*w = 2*i + 27, -2*w + 26 = 3*i - 0*i. Let s(d) = 13*d - 8. Let j(n) = w*b(n) - 6*s(n). Does 13 divide j(4)?
False
Is 9/((-111)/120 - -1) a multiple of 26?
False
Let z be (-28)/(-6) + 4/12. Let j = z + -2. Does 2 divide -2 - ((-3)/j - 4)?
False
Suppose 14*y - 41 = 13*y. Is 14 a factor of y?
False
Suppose -40 = -j + 12. Let p = -4 + j. Is p a multiple of 14?
False
Suppose -360 = -5*a - 2*m, -3*a + 0*a = -m - 216. Is a a multiple of 18?
True
Let i = -16 - -22. Is 3 a factor of i?
True
Suppose 0*f + 2*t - 44 = -3*f, -3*f = 4*t - 46. Suppose -u + f = -0*u. Does 11 divide u?
False
Is (-6 - 3 - 0)*-2 a multiple of 9?
True
Let c = 21 - 13. Is c/(-2)*(-7)/2 a multiple of 5?
False
Let a(b) = -b**2 - 9*b + 13. Let d be a(-10). Suppose -d*c = -2*t - 92, -2*c + t = c - 94. Is 8 a factor of c?
True
Is 3160/25 - 6/15 a multiple of 29?
False
Let x(r) be the first derivative of -r**3/3 - 2*r**2 + r - 1. Let h be x(-5). Is (-3 + -23)*2/h a multiple of 13?
True
Let i = 9 + -11. Does 10 divide (2 - 0)*(-23)/i?
False
L