r + k, -o*r + 4*k = -80. Does 11 divide r?
True
Let t(m) = m - 4. Let b be t(4). Suppose 4*j + 238 + 98 = b. Is 4 a factor of ((-2)/3)/(8/j)?
False
Let a(x) = -x - 7. Suppose -4*w - 2*o = w + 41, -19 = w + 4*o. Let f be a(w). Suppose 4*r + 6 = 2*y, -4*r = 3*y - f*r - 29. Is y a multiple of 6?
False
Let l = -62 + 78. Is 2 a factor of l?
True
Let c be -2*(-3)/6 - 30. Let y = -10 - c. Does 19 divide y?
True
Let a(g) = 6*g**3 - 2*g**2 + 2*g - 1. Let b be a(1). Let c = 9 - b. Is 2 a factor of c?
True
Is 19 a factor of 4/(-12) - (-3 + (-1686)/9)?
True
Suppose 36 = 5*n - 99. Suppose 2*c + 2 + 4 = 0. Does 7 divide (-1)/(c/n - 0)?
False
Let l be 4/(-14) - (-132)/(-28). Let b(h) = -2*h - 4. Is 6 a factor of b(l)?
True
Suppose 0*d + 6 = -2*d. Does 12 divide -3 + ((-9)/d - -16)?
False
Suppose 4 - 10 = -4*m + 2*g, 0 = 3*m - 5*g - 15. Is 11 - (m + (2 - 5)) a multiple of 5?
False
Let f(v) = v**3 + 8*v**2 + 4*v - 3. Let y be f(-5). Is 13 a factor of (y/6)/(2/6)?
True
Let j be 73/4 - (-10)/(-40). Let z = -2 + j. Is 6 a factor of z?
False
Suppose 0*m - 4 = -m. Suppose -4*g + m = -56. Is 15 a factor of g?
True
Let h be 2 - 5/(5/2). Let z = -12 + h. Is 40/z*(-108)/10 a multiple of 17?
False
Let k(x) = -x**3 + 15*x**2 + 24*x - 25. Does 18 divide k(15)?
False
Let q(r) = -3*r**2 - 28*r - 4. Does 14 divide q(-7)?
False
Let s(m) = 2*m**3 + m - 2. Suppose 5 + 13 = 3*l + 5*h, -h = 2*l - 19. Let t = l - 9. Is s(t) a multiple of 16?
True
Suppose 0 = -3*x + d - 6*d + 101, d = 2*x - 50. Suppose j - x = -0*j. Does 9 divide j?
True
Let y = 34 + 6. Is 8 a factor of y?
True
Suppose -39*f = -44*f + 1100. Does 23 divide f?
False
Let h be 5 - (-1)/1*0. Suppose -h*j + 215 = 5*o, 0 = -4*j + o + o + 178. Does 18 divide j?
False
Let b = -3 + 7. Suppose -3*r + 6 = -g + 3*g, 8 = 4*r - 5*g. Suppose 3*w - b - 12 = -4*k, -k + 9 = r*w. Is 2 a factor of w?
True
Let t(b) = b**2 - 14*b + 18. Let a be t(12). Let o(h) = h**2 + 6*h + 6. Let p be o(a). Is 3 a factor of ((-4)/p)/((-9)/81)?
True
Let w(s) = 9*s**2 - 14*s + 10. Is w(6) a multiple of 14?
False
Let f(z) be the third derivative of 5*z**7/504 + z**5/120 - z**4/12 - 2*z**2. Let a(y) be the second derivative of f(y). Does 13 divide a(1)?
True
Suppose 3*j - 34 = -w, 0 = -w - 5*j + j + 30. Is w a multiple of 15?
False
Suppose 15*g + 76 = 19*g. Does 8 divide g?
False
Let x(p) = 7*p. Suppose 3 = -2*l + 5*o, -3*l - l + 3*o = -1. Let c be (2 - l)*(1 + 1). Is x(c) a multiple of 7?
True
Let h(f) be the third derivative of -f**4/24 + 2*f**3 + 5*f**2. Is h(7) a multiple of 3?
False
Let x(m) = -32*m + 1. Does 12 divide x(-1)?
False
Let b(y) = -9*y + 20. Let o(f) = 4*f - 10. Let g(w) = -3*b(w) - 7*o(w). Is 11 a factor of g(-8)?
False
Let s = 45 - 14. Is s a multiple of 8?
False
Let v be 0/(2 - 5 - -5). Suppose 3*y + w - 17 = v, -2*y + 4*y - 6 = 2*w. Suppose 138 = y*j + 4*u, -4*j = -j - 2*u - 96. Is j a multiple of 15?
True
Let z(o) = 2*o - o**2 + 2*o - 2 + 4. Let b be z(4). Suppose b*g = 3*g - 40. Is 16 a factor of g?
False
Let k = -116 + 196. Suppose -y + 3*y = -k. Is ((-60)/(-25))/((-6)/y) a multiple of 16?
True
Let b = 19 - 16. Suppose 89 = 4*j - b*j. Is j a multiple of 18?
False
Suppose 0 = -5*q - 0*q + p + 191, 4*p = -2*q + 72. Let k = -18 + q. Does 10 divide k?
True
Suppose -62 = 3*j - 5*j. Is j a multiple of 8?
False
Suppose -2*s + 0*s + 18 = 0. Suppose 4*g + 25 = s. Let z = g + 22. Is z a multiple of 9?
True
Let q = 145 - 130. Is 5 a factor of q?
True
Suppose 2*i + r - 79 = -i, 5*r + 91 = 3*i. Let m = 29 + i. Let f = -14 + m. Is f a multiple of 16?
False
Suppose 1 = -x, -2*p + p + 5*x = -9. Suppose 2 = 2*s + k - 2, 0 = -5*k. Suppose g - p*g - s*b = -2, -6 = -4*g - b. Is 2 a factor of g?
True
Let y be (-5 + -1)*4/(-12). Suppose -2*g - n = -9, g = -n + 3*n + y. Does 4 divide g?
True
Let z(o) = -3*o - 5. Let l be z(-4). Suppose 9 = 2*h - l. Is 8 a factor of h?
True
Suppose 5*u - 30 = -3*w, 3*u + 2*w = w + 14. Suppose 0*n = 5*x + n - 288, n - u = 0. Does 19 divide x?
True
Let p(l) = 15*l - 9. Let a(c) = 8*c - 5. Let m(h) = -11*a(h) + 6*p(h). Is 5 a factor of m(2)?
True
Let p(w) = w**3 - 6*w**2 + 8*w - 4. Suppose 2*b + 14 = -3*f + 34, 19 = 3*f + b. Is 12 a factor of p(f)?
False
Let n = -5 - -5. Let s(j) = -4 + n + 2 + j**2. Does 7 divide s(-4)?
True
Let h = 27 - -24. Is ((-102)/(-4))/(h/68) a multiple of 17?
True
Let x(q) = q**3 + 6*q**2 + 2*q + 1. Is x(-3) a multiple of 11?
True
Let v(n) be the first derivative of -n**4/4 - n**3/3 + 2*n**2 + 2*n + 3. Let r be v(-4). Suppose 2*k + 0*k - r = a, 80 = 4*k + 4*a. Is k a multiple of 9?
True
Let y(o) = -o**3 + 6*o**2 - 3*o - 2. Let c be (-6)/(-18)*(-12)/(-1). Let v be y(c). Let f = v - 2. Is f a multiple of 8?
True
Suppose -3*d + 98 = s, 5*s + 73 = -d + 535. Is s a multiple of 32?
False
Suppose -4*d + 4 = -2*r, 0 = -5*d - 2*r + 17 + 6. Is 2 a factor of d?
False
Suppose -32 = -3*h + 4. Is h a multiple of 12?
True
Let d = -84 + 234. Suppose -3*g = -8*g + d. Is g a multiple of 12?
False
Let s(j) = j**2 + 8*j - 9. Suppose 0 = 3*u - 8*u + 40. Let m be -4 + (-1 - -3) - u. Does 5 divide s(m)?
False
Let n be 5*4/(-30)*-6. Suppose 4*t - 44 = 2*u, -3*t + u = -8 - 23. Suppose -5*q - 2*v + 93 = 2*v, -q + t = -n*v. Is 12 a factor of q?
False
Let u(z) = -z**3 + 8*z**2 + 10*z - 12. Let l be u(9). Let w(i) = 2*i + 3. Let p be w(l). Let m(g) = 2*g**2 + g - 4. Does 5 divide m(p)?
False
Suppose -430 = -2*n - 3*n. Let p = n - 55. Is p a multiple of 19?
False
Let r = 13 + -10. Suppose -2*w - 4*u = -0*w - 54, 69 = 3*w + r*u. Is w a multiple of 5?
False
Let l = 1 - -3. Let g(h) = -4*h**3 + 5*h**2 + l*h**2 + h + 3*h**3 - 1. Is 8 a factor of g(9)?
True
Let k = -11 - -8. Let x = k + 3. Suppose -z + x = -4*a + 39, 0 = a + 2*z - 3. Is 9 a factor of a?
True
Suppose 3*z - 7 = -s, -3*z + 0 = 5*s + 1. Let j be 364/16 + z/12. Suppose 2*k - j = 5. Does 12 divide k?
False
Suppose -2*u - 3*u = -t - 8, 3*u + 3 = -2*t. Is 19 a factor of t/((-4)/(-44)*-1)?
False
Suppose 0 = x - 27 + 3. Is x a multiple of 9?
False
Suppose 172 = 8*g - 396. Is 23 a factor of g?
False
Suppose 4*f - 252 = -2*l, 5*f + 698 = 5*l + 38. Does 26 divide l?
True
Let a(o) = -o**2 - 27*o - 29. Is a(-15) a multiple of 36?
False
Let z be (-2)/7 + 88/14. Suppose -4*p + 42 = -z. Does 12 divide p?
True
Let k(x) = x**2 + 11*x - 13. Suppose 3*a + 49 = 5*i, -3*a - 21 = -2*a - 4*i. Does 12 divide k(a)?
False
Let k = -9 + 14. Suppose k*y - 25 = 75. Does 7 divide y?
False
Let k(r) = 3*r + 3. Let p(y) = -24*y - 24. Let w(c) = -33*k(c) - 4*p(c). Is 18 a factor of w(-7)?
True
Let w = -67 - -31. Is 27/w + 30/8 a multiple of 3?
True
Let i(q) = -q**3 - q**2 + 5. Let b be i(0). Suppose -3*y + 4 = -2. Suppose -5*n = 3*t - 63 - 51, y*t = b*n - 124. Does 18 divide n?
False
Let g(x) = x**3 - 8*x**2 + 7*x - 1. Let c be g(7). Is (-2)/(c - -2) - -6 a multiple of 2?
True
Is 31 + 3 + (-3)/(2 + 1) a multiple of 5?
False
Let h(f) = f**3 + f**2 - 3*f + 2. Let a be h(2). Suppose 2*k = 3*o + 2 + a, o = 2*k - 6. Suppose 3*y = k*y + 23. Does 11 divide y?
False
Suppose 3*q - 286 = 38. Is 18 a factor of q?
True
Suppose 3*d = -0*d + 18. Let r(s) = 3*s**2 - s - 11. Let a(x) = x**2 - 5. Let z(y) = -5*a(y) + 2*r(y). Is z(d) a multiple of 23?
False
Let h be 2 + (-4)/((-4)/47). Suppose -h = -4*k + 63. Does 15 divide k?
False
Let b be ((-10)/(-5))/(1/1). Suppose 4*j = b*n - 56, -2*j = -2*n + 48 - 0. Does 17 divide n?
False
Is 4 a factor of (-4 - -3)/(4/(-80))?
True
Let s be 39*-2 + 2 + -1. Let j = -47 - s. Is j a multiple of 10?
True
Let o(z) be the second derivative of -z**5/20 + z**4/3 + z**3 - 7*z**2/2 + z. Let p be o(5). Does 8 divide 10 + p - (2 - 2)?
True
Suppose -3 + 108 = 3*y. Does 5 divide y?
True
Let w(n) = -n**3 - 9*n**2 - 9*n - 3. Let o be w(-8). Suppose 5*d - o*c = -0*d - 120, 3 = -c. Is 60/9*d/(-6) a multiple of 9?
False
Let x be ((-15)/10)/(1/2). Let t = -7 - x. Is 20 a factor of 42 + (-2 - t) + 1?
False
Let i(u) = 3*u**2 + 3. Let r be i(-3). Let y be (6/(-4))/(3/40). Let g = r + y. Is 3 a factor of g?
False
Suppose 3*o - 299 - 1 = 0. Is 8 a factor of o?
False
Let u(f) = -f - 5. Let v be u(-8). Let i(q) = 6*q**2 - v - q**3 - 3*q - 4 + 0*q**3. Is i(5) a multiple of 2?
False
Let y = 30 + 7. Does 18 divide y?
False
Let w(y) be the first derivative of 3/2*y**2 - 1 + 3*y. Does 12 divide w(3)?
True
Let