 + 6*o + 4. Let t be p(6). Let r = t - 6. Is (21 - 0) + r + 1 a multiple of 7?
False
Let n = -8 - -11. Let z be (n/(-6))/(2/(-60)). Is (-1)/(-3) + 175/z a multiple of 11?
False
Let j(x) = -x**2 - x - 9. Let z be j(0). Let y be (-1)/3 - 21/z. Does 11 divide (-96)/(-7) + y/7?
False
Let p be (4 - 5) + 64/2. Let m = p - 17. Is m a multiple of 8?
False
Let r(a) = 2*a + 36. Is r(-9) a multiple of 3?
True
Let u(o) = o**2 + 9*o - 5. Is 17 a factor of u(-15)?
True
Let w(x) = x**2 + 23*x - 32. Is 18 a factor of w(-25)?
True
Let i(l) = l**3 - 8*l**2 + l - 4. Let x be i(8). Is 9 a factor of (0 + -1)/(x/(-164))?
False
Let t(l) = -l - 6. Let k be t(-7). Is (3 + k/5)*5 a multiple of 5?
False
Suppose 2*y + 247 = -2*l + 1209, -y = -4*l + 1929. Is (-6)/(-9) + l/6 a multiple of 12?
False
Suppose 5*f - 2*f + 12 = 0. Let w = f + 26. Is w a multiple of 11?
True
Is 6 a factor of -5 - 7*(-22 + 1)?
False
Does 14 divide 2/(-4 - 255/(-63))?
True
Suppose 5*b = -3*h + 147, -3*h + 4*b - b + 171 = 0. Suppose -s = -4*s + h. Does 9 divide s?
True
Suppose -a + 13 = -7. Is 10 a factor of a?
True
Let w be (-8 + -2 + -3)*-2. Suppose 0*j + 2*j = w. Does 13 divide j?
True
Let s be (-2 - -4) + 2*-1. Suppose 2*x + 4*q - 26 = s, -q - 1 - 3 = -x. Does 7 divide x?
True
Let p = 26 + -23. Suppose -p*c - 3*c = -276. Is c a multiple of 17?
False
Suppose -522 = -3*k - 192. Is k a multiple of 29?
False
Let c = -108 - -207. Is 25 a factor of c?
False
Let p = -7 + 3. Let x(l) = -2*l**3 - 5*l**2 - 3*l - 5. Does 24 divide x(p)?
False
Let d be -3 - 0/(-1) - -12. Let j be 1084/18 + (-2)/d. Suppose -l = 3*l - j. Is 5 a factor of l?
True
Let p(v) = -v**3 - 7*v**2 + 8*v. Let u be p(-8). Suppose 5*b - 115 = -u*b. Is b a multiple of 9?
False
Let i(s) = s**2 + 14*s + 48. Does 27 divide i(-14)?
False
Let d = 9 - -8. Is 12 a factor of d?
False
Let k(g) = -g**3 + 2*g**2 - 2*g - 2. Let r be k(2). Is ((-70)/(-4))/((-3)/r) a multiple of 9?
False
Suppose 0*x - 2*x = -420. Suppose 2*h = 7*h - x. Is 21 a factor of h?
True
Let j = 132 + -94. Is 15 a factor of j?
False
Does 6 divide 1/(-2) + (-222)/(-12)?
True
Let d(n) = 3*n**3 - n**2 - n. Let j be -1*(-6)/(3 + 0). Let i be d(j). Suppose 2*w + 0 = i. Does 9 divide w?
True
Suppose 0 = 3*r - 12, 2*s - 4*s - r = -28. Does 3 divide s?
True
Let a = 10 - 6. Let l = a - -8. Does 12 divide l?
True
Is 13 a factor of (-65)/(-4)*(-18 + 22)?
True
Is (4 - 3)/(3/12) a multiple of 4?
True
Let l(r) = -4*r - 1. Let v(g) = -1. Let f(u) = l(u) - 6*v(u). Is f(-7) a multiple of 11?
True
Let t(i) be the first derivative of -i**2/2 + 8*i - 3. Is 6 a factor of t(-10)?
True
Let w be 7 - (-3 + 0 + 1). Does 9 divide (3 + w/6)*2?
True
Is 12 a factor of 2 - 1/(-2 - -3) - -71?
True
Let r = 103 - 25. Suppose t = -t + r. Is t a multiple of 21?
False
Suppose -15 = -l - 3*n, -2*l = -6*l + 4*n - 4. Does 2 divide l?
False
Is (4 - 5)*(-93 - 2) a multiple of 19?
True
Suppose 2*z - 15 = 63. Suppose -3*l + z + 15 = 0. Let n = l + -11. Is 7 a factor of n?
True
Let h(u) be the second derivative of 19/2*u**2 - u + 0 + 1/20*u**5 + 0*u**3 - 1/12*u**4. Is 12 a factor of h(0)?
False
Let d = -9 - -12. Suppose -2*x + 7*x - 110 = -5*z, -5*x - d*z + 120 = 0. Is x a multiple of 9?
True
Suppose 2*u = -4*f + 112, -f + 195 = 3*u - 4*f. Suppose 2*s = 4*s - u. Is 18 a factor of s?
False
Let b = 0 + 3. Suppose -2*g + 5 + b = 0. Suppose -g*d + 0*d = -128. Is 11 a factor of d?
False
Let u(p) = p**3 + 2*p**2 - 3*p + 2. Let q be u(-4). Let g = q - -37. Is g a multiple of 11?
False
Is 8 a factor of (5 - 1) + (-308)/(-11)?
True
Suppose 0 = 3*r + 83 - 26. Let s = 36 + r. Is 16 a factor of s?
False
Let s be 0 - -2 - -1 - 1. Suppose s*r + 0*r = 30. Let u = 1 + r. Does 8 divide u?
True
Is 2 + 0*(-3)/(-6) - -25 a multiple of 9?
True
Let u(b) = 10*b - 4. Is 4 a factor of u(4)?
True
Let k(i) = i**2 - i + 3. Is 3 a factor of k(3)?
True
Let g(r) = 2*r**3 - r**2 + 4*r - 1. Let z(w) = -5*w**3 + 3*w**2 - 8*w + 2. Let j(l) = 7*g(l) + 3*z(l). Let v be j(3). Does 6 divide (-2)/4 + 27/v?
False
Suppose -4*y - y = -10. Suppose y*r + r = 15. Is 4 a factor of r?
False
Let u(y) = -y**3 - 9*y**2 - 10*y + 1. Suppose 14 = p - 7. Let g = -29 + p. Does 6 divide u(g)?
False
Let z = 4 + 1. Suppose f - 2*a + 7 = 2*a, -3 = -z*f + a. Let l(j) = 28*j. Is 12 a factor of l(f)?
False
Let w(g) = g**2 + g + 2. Let v be w(-2). Suppose -12 = -v*h - 0*h. Is 3 a factor of h?
True
Suppose 5*i + 2*m - 806 = 0, 3*i - 494 = -0*i + 4*m. Is 27 a factor of i?
True
Is (-1340)/(-16) - 3/(-12) a multiple of 21?
True
Let f = 19 + -31. Let l = f - -25. Is 4 a factor of l?
False
Let c = 8 - 9. Let k be (-4 - c) + (-14)/(-2). Suppose -w - 24 = -4*w - 5*v, -k*v = 4*w - 32. Does 7 divide w?
False
Let g(t) = t + 4. Let n be g(-5). Is (15/9)/(n/(-9)) a multiple of 13?
False
Let s(f) be the first derivative of -f**3/6 + 4*f**2 - 2*f - 2. Let v(h) be the first derivative of s(h). Does 3 divide v(0)?
False
Suppose 6*a - 10*a = -12. Is a even?
False
Let m = -3 - -4. Let o(k) = 40*k**2 - k. Is 14 a factor of o(m)?
False
Let k = -28 + 20. Let z = -3 - k. Is z a multiple of 5?
True
Suppose 5*v - 3*v + 60 = 0. Let m = -18 - v. Does 12 divide m?
True
Let x(j) = -j**3 + 6*j**2 - 6*j + 6. Let y be x(5). Let g be y*(-2 + 7 + -2). Suppose -g*o = 9, -5*z + o = -o - 126. Does 10 divide z?
False
Let m be 90*-4*(-1)/6. Suppose -5*p + 2*p = -m. Does 4 divide 3*(-4)/(-30)*p?
True
Suppose 3*a - 10 + 0 = 2*i, -11 = -4*a + 5*i. Let d be (-2)/(0 + (-2)/a). Suppose d*n - 53 - 27 = 0. Is n a multiple of 11?
False
Suppose -11*x = -3*x - 280. Is x a multiple of 7?
True
Let g = 10 - -34. Is g a multiple of 9?
False
Let f(r) = -2*r**3 + 14*r**2 + 4*r + 2. Is 15 a factor of f(7)?
True
Suppose 0 = 9*i - 2*i. Suppose i = -0*z + 7*z - 336. Is z a multiple of 12?
True
Suppose 5*y = 367 + 28. Suppose -y - 56 = -5*g. Does 15 divide g?
False
Let h(t) = 2*t + 1. Let r be 8 - -4*(-1)/2. Does 10 divide h(r)?
False
Suppose -g - 2*l = -6*g - 101, 0 = 3*g + 4*l + 71. Let v = g - -31. Is 5 a factor of v?
True
Suppose 3*o = -0*o + 15. Suppose -20 = 4*i, 0 = 3*f - 2*f + o*i + 1. Is 8 a factor of f?
True
Let m(p) = p. Let s be m(12). Suppose 2*a - 172 = -4*g, 5*g = -a - s + 221. Does 14 divide g?
False
Let y(a) = -5*a + 10. Let v be y(5). Let f = v + 22. Does 5 divide f?
False
Let g(u) = u**2 - 4*u - 5*u - 2 + 2*u. Let w be g(7). Let r = w - -15. Does 9 divide r?
False
Suppose 4*a - 2*a = 276. Suppose a = 2*o + t, o = -4*t + t + 64. Is 14 a factor of o?
True
Let z = 2 - -7. Let c(v) be the second derivative of -v**4/12 + 4*v**3/3 + 13*v**2/2 - v. Is c(z) even?
True
Suppose 0 = -2*l - l + 15. Suppose -4 = -2*q - 2*d, -q - 26 = -l*q + 5*d. Does 5 divide 1 + 3 + -3 + q?
True
Suppose 4*k = -12 - 0. Let c(p) = -5*p + 4 - 2*p - 3*p. Is c(k) a multiple of 12?
False
Is (8/(-3))/(-4) - (-536)/6 a multiple of 15?
True
Is (-24)/(-36) + (-440)/(-6) a multiple of 28?
False
Suppose -3*g + 2*z = -35, -3*z - 40 = -4*g - 2*z. Is 9 - g/(4 + -1) a multiple of 6?
True
Let r be 1 - (-4)/(8/(-50)). Is 4 a factor of (-3)/(-2)*(-64)/r?
True
Let x = 107 + -40. Let o = 12 + -9. Suppose -25 = o*h - x. Is 14 a factor of h?
True
Let n = 8 + -5. Suppose n*k + 0*k - 57 = 0. Let y = -5 + k. Is 7 a factor of y?
True
Let s(v) = v**2 - 5*v + 1. Does 3 divide s(7)?
True
Suppose 30 = -4*r - r. Let u = 13 + r. Does 4 divide u?
False
Is 9 a factor of (1/2 - 4)*-10?
False
Suppose 2*h = 7*h - 100. Is 5 a factor of h?
True
Let p(g) = 2*g - 7. Let m(a) = -3*a + 7. Let k = -7 + 13. Let f(b) = k*m(b) + 7*p(b). Is 17 a factor of f(-6)?
True
Suppose 5*x - 339 = 3*s, 2*s = 2*x + 4*s - 126. Let g = x - 46. Does 18 divide g?
False
Suppose g - 4*g = 36. Let k = g + 37. Does 17 divide k?
False
Let n = -69 - -34. Let b = n - -74. Is 18 a factor of b?
False
Let v = -2 - 100. Let l = v - -61. Let g = 73 + l. Is g a multiple of 16?
True
Let q(h) = 5*h - 9. Let a be q(8). Suppose -5*k = -4*k + 21. Let g = a + k. Does 10 divide g?
True
Let a(h) = -h**3 + 6*h**2 - 4*h - 2. Let w be a(5). Suppose 0 = -5*z + w*p + 9, -3*z + 6*z = 5*p - 1. Does 3 divide 1*(z - -2) - 2?
True
Let z = 151 - 47. Is 5 a factor of z?
False
Let z(v) = -v**2 + 9*v + 6. Let m(c) = 3*c**2 - 27*c - 17. Let n(x) = -6*m(x) - 17*z(x). Let j be n(8). Suppose 0 = -f + j + 10. Does 7 divide f?
False
Let u(f) = -184*f**3 