s 14 a factor of z?
True
Suppose -63 = -3*m + 186. Is m a multiple of 26?
False
Let q(m) = 3*m**3 - m**2 - 3*m + 1. Does 9 divide q(2)?
False
Suppose -5*o = 5*b - 65, -3*b = -o - 3*o - 39. Suppose 41 - b = 4*g. Is 7 a factor of g?
True
Let h = 5 - 10. Let w = h - -16. Does 5 divide w?
False
Suppose p - 7 = -p + w, 5*p + w - 7 = 0. Suppose -18 = -p*x + 12. Let h = 23 - x. Does 5 divide h?
False
Suppose 3*p = 2*p + 36. Is p a multiple of 9?
True
Suppose 3 = -3*s + 4*s. Suppose -s*j + 6 = -39. Does 15 divide j?
True
Suppose -1 = -2*d - 7, -9 = -3*j - 2*d. Let g(l) = -6*l**3 - l**2 - l - 1. Let b be g(-1). Suppose b*n + a = j + 74, 0 = -n - 4*a + 31. Is n a multiple of 7?
False
Suppose 0 = -2*v - 3*v. Suppose -2*t + 4 = -2, v = -3*l + t + 9. Suppose -4*z - 124 = -l*y, 0*y - 4*z + 65 = 3*y. Is y a multiple of 13?
False
Is 28*((-60)/(-8) - 2) a multiple of 22?
True
Suppose -3*q + 5 = -4. Suppose 0 = q*s + 5 - 11. Suppose p - 9 = -s*p. Does 3 divide p?
True
Suppose -4*u - 8 = -z - 2, u - 2*z = -5. Is 10 a factor of 4/(4/13) - u?
False
Suppose -3*l + 2*c + 56 = -105, 0 = -5*l - c + 251. Does 14 divide l?
False
Let f = -10 - -9. Is 12 a factor of ((-54)/(-21))/(f/(-14))?
True
Let a(j) = -j**2 + 5*j. Let q be a(4). Suppose 4*t + 0*o = -5*o + 49, q*o = -2*t + 32. Suppose -t*c = -2*c - 16. Does 4 divide c?
True
Let l be 2/12 - 46/(-12). Suppose -20 = l*q - 52. Is q a multiple of 5?
False
Let w(c) = 13*c**2 - c + 1. Suppose -2 = -a - 1. Is 5 a factor of w(a)?
False
Is 16/12*-9*(-124)/12 a multiple of 4?
True
Let w(i) = i**2 + 1. Let k be w(3). Let d(b) = -2*b**3 - 9*b**2 - k*b - 10 + b**3 + 0*b**3. Is 3 a factor of d(-8)?
True
Suppose 0 = -3*p - 3 + 18. Suppose p*z - 5 = -0*z. Let x = 5 + z. Is 3 a factor of x?
True
Let l(t) = t**3 + 5*t**2 - 2*t - 4. Let z be 3 + -6 + 4/(-2). Is 6 a factor of l(z)?
True
Let s(u) = -u**3 - 7*u**2 + 8*u + 3. Let z be s(-8). Let x = z + 13. Is x a multiple of 4?
True
Let y = -6 + 8. Suppose -i + 6*i - 204 = -3*a, -y*i = 2*a - 84. Does 10 divide i?
False
Let d(a) = -a**3 - 4*a**2 + 4*a - 1. Let c be d(-5). Suppose -3*o + 7*o - 2*t - 56 = 0, c*o = -t + 50. Does 8 divide o?
False
Suppose 0 = r + 3*r + 36. Let l(a) = 3*a**3 - 2*a**2 + 3*a. Let y(c) = 13*c**3 - 9*c**2 + 12*c - 1. Let z(i) = r*l(i) + 2*y(i). Is z(-3) a multiple of 12?
False
Suppose -5*g - v - 2 + 22 = 0, 3*v = -5*g + 10. Suppose -6 = 2*j, -g*j - 41 = -3*s + s. Does 9 divide s?
False
Suppose -f - 172 = -4*b + f, f - 134 = -3*b. Let o = b + -28. Is o a multiple of 5?
False
Let t(z) = z**3 - 6*z**2 + 4*z - 4. Let a be t(3). Let y = -6 - a. Is 13 a factor of y?
True
Let i(p) be the first derivative of -p**4/4 + 5*p**3/3 + 3*p**2 - 4*p - 2. Let q be i(6). Is 2 a factor of 1/(-4) - 17/q?
True
Let t(d) = -d**3 + d**2 + 58. Suppose 4*n = -n. Is t(n) a multiple of 19?
False
Suppose -3*b = -5*b - 5*h - 13, -3*h - 39 = -4*b. Suppose 3*l - 4*l = -b. Suppose -l - 16 = -j. Is 7 a factor of j?
False
Suppose -3*x + 4*j - 5*j = -19, 0 = -5*x + j + 45. Is x a multiple of 4?
True
Let q be (1 - -2) + 8/(-2). Is 10 a factor of (1 - q)*(8 + 2)?
True
Let s(v) = -v - 7. Let q be s(-10). Suppose g - q*g + 20 = 0. Let l(p) = 7*p - 12. Is 25 a factor of l(g)?
False
Let o(k) = -k**3 + 6*k**2 + k + 9. Let x be o(7). Let u be x/(-3) - -1 - 0. Is 6 a factor of u - (0 - 2/(-1))?
False
Let m = -3 - -6. Suppose -5*x = n - 16 - 26, -216 = -m*n + 3*x. Does 28 divide n?
False
Let q(n) = 2*n**2 + 4*n + 3. Let d be q(-2). Let g(f) = -2*f**2 - d*f**3 - 2*f**3 - f**3 - 2 + 3*f**3. Is g(-2) a multiple of 9?
False
Suppose -4*x + 5*x = 4*s - 13, 3*x = 2*s + 11. Suppose l = -3*b + 49, 3 + x = -2*l. Is b a multiple of 9?
True
Let u(k) = k**3 + 11*k**2 + 19*k - 2. Does 14 divide u(-8)?
False
Suppose -n - 9 = -4*n. Suppose -5*h = 6*o - n*o - 54, -5*o + 38 = 4*h. Does 10 divide h?
False
Let q(z) = -z**3 - 2*z**2 + 2*z + 3. Let n(i) = i**2 + 11*i - 3. Let j be n(-11). Is q(j) a multiple of 6?
True
Suppose 2*p + x = -32, 0*p - 4*p + 3*x - 74 = 0. Let n be -1 + 2 - (-1 + 29). Let b = p - n. Is b a multiple of 5?
True
Let g(a) be the first derivative of -a**4/4 - a - 3. Let j(d) = 3*d**3 + 7*d**2 + 7*d - 3. Let q(f) = -2*g(f) - j(f). Is 5 a factor of q(-6)?
False
Let i = -3 + 10. Let l = 53 + -34. Suppose 0 = 4*k - i*k + j + 32, -l = -k + 2*j. Does 3 divide k?
True
Suppose 0*o + 6 = 2*o, -n - 5*o = -153. Is 23 a factor of n?
True
Let z = -5 - -6. Is 22 a factor of ((-3 + 1)*-22)/z?
True
Suppose -292 = -4*j + 8. Is 25 a factor of j?
True
Suppose 3*s = -3*r - 12, 2*s + 8 = 5*r + 28. Suppose -f - 5 = -s*f. Let x = 25 + f. Is x a multiple of 12?
False
Let d(a) = -a + 1. Let l be d(1). Suppose l = 2*p - p - 5. Suppose k - 43 = 2*j - 127, -p*j + 201 = 2*k. Does 14 divide j?
False
Does 22 divide 44 + -4 + (2 - (-1 - 1))?
True
Suppose 0*d + 144 = d. Is 24 a factor of d?
True
Let k = 184 - 99. Is k a multiple of 13?
False
Let c = 7 + -8. Let q = c - -4. Does 2 divide q?
False
Let p be 29/(-9) + (-6)/(-27). Let o be (2/6)/(p/(-18)). Suppose 2 + o = 2*s, -3*y + 2*s = -86. Does 14 divide y?
False
Suppose a + 18 = -5*r, a + 2*r = -4*a + 25. Let v be (-1)/(-2)*0 + a. Let m = 6 + v. Does 8 divide m?
False
Is 19 a factor of -1 + 119 - (-9 - -7)?
False
Let b be ((-2)/(-2))/((-3)/27). Let d = 6 - b. Let t = 31 - d. Is t a multiple of 16?
True
Let g(j) = -j**3 + j**2 + j + 1. Does 11 divide g(-3)?
False
Is 17 a factor of ((-119)/35)/((-2)/10)?
True
Suppose -1 - 4 = 5*k. Is (-262)/(-8) + k/(-4) a multiple of 19?
False
Let q(n) = n**3 - 8*n**2 + 9*n - 2. Let b be 14/(-3)*(-12)/8. Does 6 divide q(b)?
True
Suppose 0 = w - 5 + 3. Suppose -h - w*h + 99 = 0. Is 11 a factor of h?
True
Suppose 0 = -12*s + 9*s + 60. Is 13 a factor of s?
False
Suppose -9 = -4*m + m. Suppose -5*t = -5*i - 55, -4*t + m*t - 3*i = 1. Is t a multiple of 3?
False
Let n = 13 + -22. Let u = n + 20. Is u a multiple of 4?
False
Let g = 12 + 1. Does 5 divide g?
False
Let m = 3 - 3. Let n = 0 - 0. Suppose m = -x + 5 - n. Does 4 divide x?
False
Let f(o) be the first derivative of o**4/12 - o**3/6 + 2*o**2 - 2. Let j(y) be the second derivative of f(y). Is 7 a factor of j(7)?
False
Let c(p) = 6*p - 3. Let o(u) = 18*u - 9. Let g(f) = -8*c(f) + 3*o(f). Is g(10) a multiple of 19?
True
Suppose -5*w + 148 = -952. Suppose -4*p = p - w. Is 15 a factor of p?
False
Let i = 111 + -69. Suppose -5*y = 5*w - 110, i = 3*y + w - 24. Suppose p = -2*l + y, p + 2*p = -4*l + 74. Is 13 a factor of p?
False
Suppose -3*p - 3*q - 4 = -37, 5*q - 37 = -3*p. Is p a multiple of 9?
True
Let i(w) = -w**3 - 13*w**2 - w + 17. Does 7 divide i(-13)?
False
Let d(y) = -15*y**3 + y**2 - y + 1. Let b be d(1). Let j be 2*(b/(-4) + -1). Suppose 2*g + 1 = 7, -j*p + 3*g = -46. Is p a multiple of 9?
False
Let b(n) = n**3 + 5*n**2 + 5. Suppose -5*z + 2*y - 11 = 0, 0*z + 4*z + y = -1. Let a = -4 + z. Is 5 a factor of b(a)?
True
Is (1416/54 - 4) + 2/(-9) a multiple of 4?
False
Is (-3 + (-124)/(-12))*3 a multiple of 11?
True
Suppose 1 = -j + 3. Let c(b) = b**2 + 3*b**j + 3*b**2 + 1 + b. Does 12 divide c(2)?
False
Let j(c) = 11*c**2 - 4*c - 6. Is j(4) a multiple of 14?
True
Let b = 77 - 51. Suppose 4*u + 16 = -4*f, 0 = 5*f - 3*u + 26 + b. Is f/((-1 + 0)*1) a multiple of 8?
True
Let u = -8 + 15. Let p(m) = m**3 - 6*m**2 - 7*m + 6. Let t be p(u). Suppose 69 = 4*o - 5*c, c = t*c + 25. Is 4 a factor of o?
False
Let p = -755 - 70. Let k be (-4)/(-14) - p/(-21). Let l = k - -66. Is l a multiple of 21?
False
Let o = 3 - 1. Suppose -o*u + 3*m - 89 = -3*u, 0 = -3*u - 5*m + 275. Suppose -3*s = 5*w - u, 0 = w - 0*w + s - 19. Is w a multiple of 8?
False
Suppose 6*m - 6 = 3*m. Does 2 divide m?
True
Let a = -12 + 15. Suppose 2*k - 5*j = 48, k - a*k - 3*j + 80 = 0. Is k a multiple of 12?
False
Is 12 a factor of ((8/5)/(-1))/(27/(-1215))?
True
Suppose o - 2*o + 4 = 0. Suppose -13 = -o*c + 3*c. Is c a multiple of 3?
False
Let k(z) = -z**3 - 4*z**2 - 1. Let d be k(-3). Is d/15 - 155/(-3) a multiple of 12?
False
Suppose 0 = -3*o + 3*t, 2*o + 0*t = -4*t + 18. Suppose -8*q + o*q = -30. Let s(r) = r**2 - 6*r + 5. Is 3 a factor of s(q)?
False
Let j(n) = -n**2 + 2*n - 2. Let s be j(0). Let c = 26 + s. Is 12 a factor of c?
True
Let p(q) = 7*q**2 - 4*q + 33. Is 43 a factor of p(4)?
True
Let b = -88 + 159. Is b a multiple of 26?
False
Let o = 