*2 + k + 2. Does 6 divide f(-5)?
False
Let v be ((-144)/(-15))/((-4)/30). Let f = v - -109. Does 18 divide f?
False
Suppose -2*d - j = -3*d + 52, d + 5*j - 76 = 0. Is 14 a factor of d?
True
Is 8/(-2) - (-13 - 140) a multiple of 30?
False
Suppose -4*o + 5*o = 0. Suppose -5*b + o*b = -90. Is b a multiple of 11?
False
Is 6*6/14*266/3 a multiple of 57?
True
Let c be -9*(-2 - 5/(-3)). Suppose -c*k + 86 = 320. Is 0/(-3) - k/3 a multiple of 26?
True
Suppose 3 = 2*b - 3. Suppose b*z = 5*z - 44. Is z a multiple of 11?
True
Suppose -3*q + 196 = 5*v, -3*v + 4*v - 46 = -4*q. Is 10 a factor of v?
False
Suppose -4*x - 4*k = -680, -x + 2*k + 155 + 9 = 0. Let g = -104 + x. Suppose -52 = -p - 3*y, -2*p + y = -3*y - g. Is p a multiple of 19?
False
Is (1/3)/(5/225) a multiple of 11?
False
Let s = 132 + -53. Let c = -31 + s. Is 16 a factor of c?
True
Suppose 0 = -2*y + 6*y - 12. Suppose -g = -n + 8, -4*n + 3 + 1 = y*g. Let a = n + 16. Is a a multiple of 10?
True
Let z(h) = h - 1. Let w be z(6). Let f = 11 + -7. Suppose -f - 161 = -w*v. Does 13 divide v?
False
Let h = -4 - -8. Suppose 2*n = -h*m + 30, 3*m - m = n - 23. Is n a multiple of 19?
True
Suppose 4 = -n + 2*n. Suppose 1 = n*z - 7. Suppose 0*i - z*i + 28 = 0. Is 14 a factor of i?
True
Suppose l - 2*b = -0*l + 5, 4*l - 4*b - 12 = 0. Let v = l - 1. Suppose 48 = -v*r + 4*r. Does 12 divide r?
True
Is 3 a factor of 4796/198 + 4/18*-1?
True
Does 41 divide 3 - 1 - 2*(-1425)/10?
True
Suppose -170 = 4*f - 1010. Is f a multiple of 42?
True
Suppose 62 = 3*k + 4*n, -k + n - 74 = -5*k. Let o = k - 10. Is o a multiple of 4?
True
Let p(a) = -8*a**2 - 2*a - 9. Let z(u) = -23*u**2 - 5*u - 26. Let l(k) = 11*p(k) - 4*z(k). Is l(4) a multiple of 10?
False
Suppose 3*l + 2*l = 4*q + 134, -5*l - 2*q + 158 = 0. Is 11 a factor of l?
False
Let q(b) be the third derivative of -b**6/120 - b**5/60 + b**4/24 + b**3/3 - 12*b**2. Let x = -1 + 1. Is q(x) a multiple of 2?
True
Let j(s) = -3*s - 6. Let z be j(-7). Is (-114)/z*1*-5 a multiple of 19?
True
Let r be (-2 + 1)/(1/(-23)). Suppose 0 = -3*x - 31 - r. Let s = 34 + x. Is 11 a factor of s?
False
Suppose -12*u = -7*u - 670. Let d = u - 86. Does 16 divide d?
True
Suppose -5*b + 2*k + 20 = -3, 7 = -3*b - 4*k. Let l = 0 + b. Let s = -1 + l. Is s a multiple of 2?
True
Let f(l) = 18*l + 8. Let k(j) = -6*j - 3. Let a(r) = 4*f(r) + 11*k(r). Let t be a(1). Is 2 a factor of t + 0 + 2 + -2?
False
Suppose -5*w = -4*a - 3*w + 118, -4*a = 3*w - 93. Suppose -11*r + 8*r = -a. Is r a multiple of 3?
True
Let m(b) = 38*b. Is 16 a factor of m(1)?
False
Let z(b) = b**2 + b - 4. Let a be z(3). Let q = a - -10. Is q a multiple of 7?
False
Let d(z) = -23*z + 8. Is d(-6) a multiple of 7?
False
Suppose -3*n + 84 = -0*n. Suppose 2*g - 4*g - n = 0. Let p = -7 - g. Is 7 a factor of p?
True
Suppose 2 = -k + 5. Suppose 227 = 3*s + 5*p, -k*p - 105 + 34 = -s. Suppose 4*l + 22 = s. Is 7 a factor of l?
False
Let a = 5 + -3. Let m(j) = j**2. Let z be m(a). Let v = z + 20. Is v a multiple of 12?
True
Is 8 a factor of (-5)/((-30)/(-4))*-12?
True
Let q = 7 - 1. Let b = q + -2. Suppose -21 = b*p - 49. Is p a multiple of 7?
True
Let y = 31 + -5. Is 7 a factor of y?
False
Let x = 0 - 0. Suppose x = f - 2, 0*j + 5*f - 295 = -3*j. Suppose -3*w = -q + 3*q - j, -4*w + 234 = 5*q. Is q a multiple of 23?
True
Suppose 0 = 3*w - 350 - 130. Is w a multiple of 24?
False
Let n(g) = -7*g. Is n(-3) a multiple of 14?
False
Suppose -10 + 2 = -4*m, -12 = -4*c - 2*m. Suppose -28 = s + 3*s + 3*y, -c*y = 0. Let g = 16 + s. Is g a multiple of 3?
True
Let v = -128 + 190. Does 25 divide v?
False
Let u = -40 + 56. Let p = 0 - u. Let v = -4 - p. Does 12 divide v?
True
Let r = 6 - 1. Suppose 4*i - 4*v = -0*v + 28, -r*v = 2*i - 42. Suppose 2*o + i = 67. Is 12 a factor of o?
False
Suppose 4*k = 9*k - 570. Does 32 divide k?
False
Let u(q) = 6*q**2 - 5*q**2 + 6 - 6*q - 2*q. Let w be u(5). Let z = 16 + w. Is z a multiple of 2?
False
Suppose 7 = 3*u + 37. Let p(n) = -n**3 - 9*n**2 + 5*n + 6. Let t be p(u). Suppose -4*s + 4*a + t = 0, -s + 0*s = -4*a - 14. Is s a multiple of 14?
True
Let a be 2 + (2 - -1501) + 1. Is a/30 - 1/5 a multiple of 21?
False
Suppose -k = -w + 4*k + 155, 2*w - k = 274. Suppose 4*d + 3*n = w, 3*n + 0*n = -3*d + 99. Is 15 a factor of d?
False
Let k = 92 + -65. Does 9 divide k?
True
Let z = 216 + -36. Is 35 a factor of z?
False
Let y(p) = -3*p**2 - 6*p - 4. Suppose 2*l - 16 = 5*s - 2*l, 10 = -2*s - 2*l. Let x be y(s). Let m = x + 61. Is m a multiple of 17?
False
Let r(c) = -8*c - 9*c**2 - c**3 + 2*c + 0*c + 10. Let t be r(-8). Is 14 a factor of t/30 + 272/10?
False
Suppose -i = -b - 221, -639 = -3*i - 0*b - 5*b. Is i a multiple of 19?
False
Let g = 6 + 7. Let u be (-6)/9 + g/(-3). Let a = 8 + u. Does 3 divide a?
True
Let w = -12 - -18. Suppose -19 - w = -5*m. Is m even?
False
Suppose j + 179 = 2*j + 5*z, 5*j - 795 = -5*z. Does 13 divide j?
False
Let w = -11 - -21. Let t = w + -2. Is t a multiple of 5?
False
Let w be (-200)/12*3/(-2). Is 16 a factor of (-10)/w + 222/5?
False
Let g = 45 + -68. Let p = 19 - g. Is 21 a factor of p?
True
Suppose k - 47 = -2*k + 4*i, k - 19 = -2*i. Suppose -21 = -5*j + 3*r, r - k = -5*j + 2*r. Suppose l - h = 29, 4*h = -j*l - l + 92. Is 13 a factor of l?
True
Let i = -25 + 58. Is i a multiple of 10?
False
Suppose -n + 5 + 1 = 0. Let z = n - 11. Let r = 37 + z. Does 12 divide r?
False
Let m(p) = -p**2 + 10*p. Let u(y) = -y**2 + 11*y + 1. Let r(l) = -5*m(l) + 4*u(l). Let h be r(6). Suppose -d + h + 3 = 0. Does 7 divide d?
True
Suppose t = 4*j + 34, t + 122 = 6*t + 4*j. Is t a multiple of 26?
True
Let l = 2 - 1. Let f be l - (-1)/(-1) - 2. Does 10 divide (-1)/(-2)*(28 + f)?
False
Let l(r) = r**2 - r + 5. Let d(k) = 7*k + 1. Let h be d(1). Is 13 a factor of l(h)?
False
Suppose -3*d = 4*h - 11, -3*d = -5*h - 0*h + 34. Is (d + 6/3)*-19 a multiple of 19?
True
Let o(c) = -c**3 + 6*c**2 + 3*c + 1. Let p(t) = t**3 + t**2. Let f(j) = o(j) + 2*p(j). Is f(-3) a multiple of 10?
False
Let w(y) = 14*y - 4. Let i(z) = 27*z - 9. Let t(g) = 3*i(g) - 7*w(g). Is t(-1) a multiple of 5?
False
Let o be (1 + 0)*(4 - -27). Suppose -2*m = m - 45. Let v = m + o. Does 23 divide v?
True
Let y be (-1)/((-4)/(-8)) - -146. Suppose -508 = -4*c + 5*h, -4*c + h - y = -652. Is c a multiple of 28?
False
Let g(v) = 8*v - 2. Let j(q) = -q + 1. Let a(p) = g(p) + 3*j(p). Is a(1) a multiple of 4?
False
Suppose 8*c - 213 = 387. Is 15 a factor of c?
True
Let p(s) = 1 - 2*s**3 - 8*s**2 + 6 + 3*s + s**3 + 2*s**2. Let f be p(-6). Is 4 a factor of f/(-3) - (-2)/6?
True
Let n(g) = -3*g - 1. Suppose 0*u + 5*u + 5 = 0. Let b be n(u). Suppose -b*i + 2*w = -3*i + 10, 4*i + 5*w = 46. Is i a multiple of 7?
True
Let i(v) = -2*v**3 - 3*v**2 - 2*v - 4. Let g be i(-3). Let p = g - 17. Is p a multiple of 3?
True
Let h(b) be the first derivative of b**4/4 + 2*b**3 + 3*b**2/2 - 5*b + 2. Let v be h(-5). Suppose r - a + 1 - 19 = 0, -v*r + 117 = 4*a. Does 13 divide r?
False
Suppose -4*k + v - 2*v = 29, k + 9 = -2*v. Suppose -4*c + 2 + 82 = 0. Let q = c + k. Is 7 a factor of q?
True
Suppose 0 = -4*r + 16 + 936. Does 34 divide r?
True
Let l be (-51)/(-5) + 1/(-5). Let a = l + 4. Does 7 divide a?
True
Suppose -2*n + 72 = -54. Let j = 91 - n. Does 21 divide j?
False
Let o(x) = -x**2 + 8*x - 1. Let l be o(8). Let j(b) = b**3 - 6*b**2 + b + 7. Let v be j(6). Let f = l + v. Does 6 divide f?
True
Suppose q = -3*q + 20. Suppose -i = -q*i - 4. Let u = 15 + i. Is u a multiple of 14?
True
Let n be (4/6)/2*(-132)/(-2). Let p = 5 - 3. Suppose 0 = -p*v + v + n. Is v a multiple of 16?
False
Let j(n) = n**3 + 5*n**2 - 2*n - 7. Let l be j(-5). Let a = -72 + 112. Suppose 8*t - a = l*t. Does 6 divide t?
False
Let b = 131 - 82. Is b a multiple of 4?
False
Let a = 9 + -4. Suppose c = a*q + 27, 2 = q - 3*q. Is c a multiple of 12?
False
Let r = 5 - 7. Let b = 2 + r. Suppose b*h - 90 = -3*h. Is h a multiple of 15?
True
Let a be 2*(-3)/(-6) - -45. Let u = 83 - a. Suppose -3*y + u = -2*y. Is 13 a factor of y?
False
Let n(u) = u**2 + 2*u + 36. Is n(9) a multiple of 27?
True
Suppose -36 = -j + 5*j. Let o = j - -2. Let g = 12 + o. Is 5 a factor of g?
True
Let i be (-16)/4 + 2*1. Let c = i - -2. Suppose 0 = -5*p + 10 - c. Does 2 divide p?
True
Let c be 2/11 - 217/(-77). Suppose -141 = -5*g - d, -2*g +