). Suppose -19 - 35 = -w*v. Let x = -18 + v. Is 3 a factor of x?
True
Suppose 0 = -q - 0*q. Suppose q = -0*p + p. Suppose 4*i = -p*i + 112. Does 14 divide i?
True
Suppose 0 = 4*h - 164 + 32. Does 12 divide h?
False
Suppose 6 = -4*h + 22. Suppose -h*q = -q - 45. Does 9 divide q?
False
Let z be 4/((-2)/(-1052)*4). Let l be z/10 - 2/(-5). Suppose -3*q - l = -5*w, -2*w - 4*q = -q - 17. Does 7 divide w?
False
Let c(m) = 1 + 3*m + 4*m - 2. Let s be (3 + 2/(-2))/1. Is 13 a factor of c(s)?
True
Suppose 5*s - 40 = 5*i, 0 = s - 4*s - 2*i + 14. Suppose 2*v = -3*z + 42, s = z - 0*z - 2*v. Suppose -5*q + q + z = 0, 2*o + 3*q = 75. Is 12 a factor of o?
False
Let g be -4*((-5)/2 + 2). Suppose -60 = -5*q + g*k, 3*q + 0*q - k = 36. Is 6 a factor of q?
True
Suppose -22*b - 244 = -26*b. Is 35 a factor of b?
False
Let o = 6 - 4. Suppose 3 = -o*l + 9. Is (-6*2)/(l/(-4)) a multiple of 5?
False
Let p = 68 - 18. Suppose -5*c - 27 = -202. Let r = p - c. Does 15 divide r?
True
Let w(c) = -6*c - 1. Let r be w(-1). Let f = 116 + -66. Suppose -r*t - f = -10*t. Is t a multiple of 5?
True
Let m = -4 + 3. Let n be ((-2)/(-4))/(m/(-10)). Suppose -4*b - 4*j = -52, 3*b - 31 = -0*b + n*j. Is 12 a factor of b?
True
Let r = 196 - -28. Is 14 a factor of r?
True
Let o(n) = n**2 - 2*n - 3. Is o(5) a multiple of 4?
True
Let f(o) = o**3 - 7*o**2 + 7*o - 2. Let w be f(6). Suppose -w*b = -3*b - 1, 0 = 2*x + 3*b - 81. Does 20 divide x?
False
Is 11 a factor of (-5)/(10/(-29))*4?
False
Let j = 3 + 7. Suppose -5*y + j*y - 135 = 0. Let r = 45 - y. Is r a multiple of 18?
True
Let v(r) = 0*r**2 + 1 + 4 - 6*r + 5*r**2 + r**3. Let o be v(-6). Suppose -o*q = -22 + 7. Is q even?
False
Let q = -13 - -28. Let u = 27 - q. Is u a multiple of 12?
True
Is (26 - (1 + 2)) + -3 a multiple of 4?
True
Suppose -5*c + 28 = -4*k, 0 = -4*c - 3*k + 10. Suppose -95 + 7 = -c*v. Does 6 divide v?
False
Let g be (-90)/(-21) + 2/(-7). Let w = g + 8. Suppose -k + 6 = -w. Is k a multiple of 9?
True
Suppose -16*a + 165 = -11*a. Is 11 a factor of a?
True
Let g = 1 + 2. Suppose 2*x + 3*x = 10, g*q - 2 = -x. Suppose -120 = -5*p - q*p. Does 12 divide p?
True
Suppose o = -9*o + 300. Is o a multiple of 5?
True
Let m(c) = -5*c - 2. Is m(-4) a multiple of 18?
True
Suppose 3*j = -2*l - 2*l + 16, -3*l + 19 = 4*j. Let y = l + 4. Is y a multiple of 5?
True
Let b(o) = 10*o - 13. Is 8 a factor of b(4)?
False
Let m(h) = -3*h + 1. Let n be m(8). Is 23 a factor of (n/2)/((-7)/14)?
True
Suppose -3*z - m + 25 = -1, 3*z + 4*m = 23. Is 2 a factor of z?
False
Let m be (6/15)/(2/20). Suppose 64 = m*a - s - 3*s, 74 = 4*a - 2*s. Is a a multiple of 15?
False
Let d(b) be the second derivative of -b**5/20 + 5*b**3/6 + b**2 - 5*b. Is 10 a factor of d(-3)?
False
Does 11 divide (-2)/(-1 + (-36)/(-38))?
False
Suppose x - 133 - 2 = -4*k, -3*k - 3*x + 99 = 0. Does 10 divide k?
False
Suppose 0 = -p - 3*p + 20. Let s be 10/(-25) + 7/p. Let t = s - -8. Is t a multiple of 9?
True
Suppose 5*p - 732 = 4*l, -p - p = -4*l - 300. Suppose 54 + 42 = 2*k - 3*u, -3*k = u - p. Is 24 a factor of k?
True
Suppose 0 = r - 40 - 32. Is r a multiple of 18?
True
Suppose 0 = 2*l + l - 6. Does 2 divide (l - 1)/((-1)/(-4))?
True
Suppose 4*s - 5 = 27. Let x be 1/((4/10)/2). Suppose -x*i = 2*l + l, -i = -l - s. Is i even?
False
Suppose 2*r - r - 11 = 0. Let g = r + -9. Suppose 30 = 2*a - 2*s, 45 = 3*a + g*s - s. Does 7 divide a?
False
Let g be 2/8 + 14/8. Suppose -18 = -g*k + 5*k. Let n(v) = -v**3 - 6*v**2 - 2*v - 7. Does 3 divide n(k)?
False
Suppose 5*c + d = 1, c = -5*d + 3*d + 2. Suppose -60 = -c*b - 4*b. Suppose r - 21 = 3*w + b, -4*w + 142 = 5*r. Is r a multiple of 15?
True
Suppose 0 = -2*y + 141 + 129. Suppose 5*w + 5*u - 152 = 83, u - y = -3*w. Is w a multiple of 16?
False
Suppose 0*j - 11 = -j. Let g = 38 - j. Is 14 a factor of g?
False
Let b(o) = o**2 + 14. Does 9 divide b(7)?
True
Suppose 0 = -3*f + g + 2*g + 240, -f = 3*g - 68. Is 17 a factor of f?
False
Suppose -218 = 12*j - 722. Does 10 divide j?
False
Let v(g) = -g**3 + 2*g**2 + g - 2. Suppose 2*c = 2*t - 1 - 15, -3*c - t = 8. Does 14 divide v(c)?
False
Let l(k) be the second derivative of -k**5/60 - k**4/8 + k**3/3 + 2*k. Let r(t) be the second derivative of l(t). Does 4 divide r(-7)?
False
Suppose 0 = g - 41 - 18. Is 7 a factor of g/4 - 3/(-12)?
False
Let q be (-4)/(-1) + -1 + -8. Let n(u) = 2*u**2 + 4*u - 2. Does 14 divide n(q)?
True
Let n(y) = y**2 - 5*y - 11. Let r be n(7). Does 33 divide r*(-8)/(-60)*165?
True
Let b(x) = 10*x**2 - 2*x - 4. Let g be b(-3). Suppose -2*w = 26 - g. Is 11 a factor of w?
True
Suppose -2*t = t, 0 = -5*c + 4*t. Let i(s) = -s - 3*s**2 + s**3 + 2 + 4*s**2 + 2. Is 2 a factor of i(c)?
True
Let g(v) = -v**3 - 5*v**2 + 7*v + 6. Let x be g(-6). Suppose -s + 2 = -x. Suppose 4*r - 2*q = 182, q + q = -s*r + 94. Is r a multiple of 23?
True
Let q(c) = c**3 + c. Does 13 divide q(5)?
True
Let x(j) be the first derivative of 0*j + 1/3*j**3 - 7/4*j**4 + 1/2*j**2 - 1. Does 7 divide x(-1)?
True
Let t(k) = -k**3 - k**2 + k. Let v be t(-2). Suppose 51 + 49 = 5*s. Suppose 4*z + s = x, -80 = -6*x + v*x - 4*z. Is 10 a factor of x?
True
Let f = 26 - 56. Suppose -3*b + 12 = b. Is f/(-2) - (b - 3) a multiple of 5?
True
Suppose -2*y + 8 = 2*y. Let g(s) = -s**3 - 4 + 3*s + 2 - 2 + 7*s**y. Does 25 divide g(6)?
True
Let r = -16 + -12. Let g = r + 44. Is g a multiple of 8?
True
Let x be (-4)/(-8) + 14/4. Let g = 10 + -2. Suppose x*k = g*k - 148. Does 16 divide k?
False
Let n(k) = -k**2 + k. Let t(m) = 29*m**2 - 3*m + 1. Let w(x) = 2*n(x) + t(x). Is w(1) a multiple of 9?
True
Suppose 64 = 2*g + 8. Does 18 divide g?
False
Suppose -13*u = -10*u - 9. Does 2 divide u?
False
Suppose 8*z = 4*z. Suppose 6 = -z*s - s. Let w(r) = -r + 1. Is 3 a factor of w(s)?
False
Let w = -7 - -12. Suppose 27 = 4*o - 0*o - n, 5*n = w. Is o even?
False
Suppose -6*y + 5*y = -87. Is 15 a factor of y?
False
Suppose 2*j - 151 = 31. Does 13 divide j?
True
Let f be 4/14 - 36/(-21). Suppose -3*h + 72 + 49 = x, f*x - 8 = 0. Is h a multiple of 17?
False
Suppose -4*x = 4*l - 308, 2*l + 0*x - 3*x = 129. Suppose 2*u - l = 10. Is u a multiple of 15?
False
Let h(p) = 7*p**2 - p - 2. Is 12 a factor of h(2)?
True
Suppose w - 253 = 5*b + 5*w, -106 = 2*b + 4*w. Is 14 a factor of b/1*(-48)/56?
True
Let w = -281 + 123. Let a = -95 - w. Is 23 a factor of a?
False
Let p be (0/(2 + 0))/1. Suppose 9 = 2*x - 1, p = -3*q - x + 20. Suppose -q*n + 4*t + 55 = t, 4*t = 3*n - 44. Is 8 a factor of n?
True
Let o = -57 - -36. Let x = o - -71. Is x a multiple of 14?
False
Let q(d) be the first derivative of -3*d**2 - 14*d + 6. Is 10 a factor of q(-8)?
False
Suppose 0 = -t - 4*v + 13, 0 = -4*t + 3*v - 2 + 16. Suppose 56 = 3*r - t*m, 0 = r + 5*m + 8. Does 12 divide r?
True
Let k(t) = 67*t - 30. Is k(5) a multiple of 34?
False
Suppose 5*k - 16 = k. Let m(l) = l**3 - 7*l**2 + l - 7. Let p be m(7). Suppose k*q + q = 5*v - 155, 5*q + 25 = p. Is v a multiple of 13?
True
Let t(x) = 3*x**2 - 4*x - 3. Does 31 divide t(6)?
False
Let l(t) be the second derivative of t**5/5 + t**4/4 - 2*t**3/3 + t**2 + t. Does 11 divide l(2)?
False
Let x(m) = -7*m**2 + 5*m**2 + 3*m**2 + m - 3. Does 3 divide x(-3)?
True
Suppose -2*j + 24 = 3*c - 29, -3*j - 3*c + 84 = 0. Is 20 a factor of j?
False
Let v(b) = 2*b - 2 + 0*b + 4*b. Let c(f) = 2*f - 1. Let t(p) = -14*c(p) + 4*v(p). Is t(-5) a multiple of 13?
True
Let s be 5*(9 + (-2 - 1)). Suppose 6*n = n + s. Is n a multiple of 4?
False
Let k(w) = -15*w + 24. Is k(-6) a multiple of 19?
True
Suppose -3*h - 5 + 20 = 0. Does 3 divide h?
False
Let j(i) = -4*i + 9. Let p(w) = -6*w + 14. Let o(b) = -8*j(b) + 5*p(b). Let n be o(-5). Is 10 a factor of n/(-9)*102/4?
False
Let w(p) = p + 2. Let a be w(-6). Let g(v) be the third derivative of -v**6/120 - v**5/15 - v**4/8 - v**3/2 - 3*v**2. Is g(a) a multiple of 6?
False
Let i(g) = -g**2 - 3*g - 3. Let x be i(-4). Let f = -28 - x. Let d = -3 - f. Is d a multiple of 18?
True
Suppose -3*y = -0*y - 162. Is y a multiple of 6?
True
Let u(c) = -c + 7. Let t be u(7). Suppose 5*m + s = 151, -m + s - 3*s + 32 = t. Is m a multiple of 10?
True
Let z = -56 + 101. Is 9 a factor of z?
True
Let q = -20 + 14. Let i = q + 8. Suppose -m = i*f - 27, f + 0*m = 5*m - 3. Is f a multiple of 10?
False
Let k(o) = -o**3 - o**2 - o + 2. Let p be