 -82. Is (-81)/z + 3 + -2 a multiple of 14?
False
Let z(y) = -y**2 + 4*y - 1. Let i be z(3). Suppose 5*c - 3*d - 4 = 0, c - i*c - 2 = -2*d. Is -2 + (1 - -21) - c a multiple of 6?
True
Let q be (222/8)/(3 - (-84)/(-32)). Suppose -4*x = 2*o + x - q, -32 = -o - 5*x. Is o a multiple of 6?
True
Suppose 6*x = -4*p + x + 37, 4*x - 17 = p. Suppose -p*g - 19 + 289 = 0. Is g a multiple of 15?
True
Let d = 0 - 0. Is 21 a factor of (-12)/14*(0 + d + -42)?
False
Does 11 divide (28 + 0)*10934/616?
False
Suppose f = -0 + 3. Suppose -f*z = -z. Suppose z = -3*x + 3*m + m + 40, -x = 4*m - 8. Is x a multiple of 4?
True
Let r = -6 + 9. Let q = 7 - r. Suppose 4*s - 3*d = -q*d + 105, -81 = -3*s - 3*d. Is s a multiple of 13?
True
Let t(p) = 10*p - 10. Let k(f) = -7*f + 7. Let i(o) = 7*k(o) + 5*t(o). Let l be 1*8*(60/16 - 2). Is 7 a factor of i(l)?
False
Let i = 317 - 149. Does 5 divide i?
False
Let i(d) = 6*d - 5. Suppose 0*x + 5*x = 50. Is 14 a factor of i(x)?
False
Let w(m) = 2*m**2 + 4*m - 36. Let p(q) = -q**2 - 5*q + 36. Let g(d) = 3*p(d) + 2*w(d). Is g(-12) a multiple of 14?
False
Let c be (-1)/(5/2 + -3). Suppose 0*z + 49 = c*m - z, -5*z = 3*m - 54. Is 10 a factor of m*-1*(-8)/4?
False
Let t = 4806 + -1474. Is 14 a factor of t?
True
Suppose 0 = 9*s - 19*s + 7160. Does 34 divide s?
False
Let t be (-8)/(-52) - 63/(-13). Suppose 0 = 4*q - t*x - 240 + 37, -4*q + 212 = 4*x. Suppose 3*y - 5*y + q = -4*w, 0 = -3*w + 3. Does 28 divide y?
True
Is 8 a factor of 2466/4 + -2 - 81/(-54)?
True
Let d = 5 + -3. Suppose d*y - 2*h = -0*y + 4, 4*h = 5*y - 8. Suppose -p - 5*w + 24 = y, 2*p - 38 = -0*p - 5*w. Is p a multiple of 14?
True
Is (-16)/20 + (-27040)/(-50) a multiple of 36?
True
Suppose 4*s + 14 = -n - 0*s, -2*n + 12 = -2*s. Suppose 0*z = n*z - 16. Is 22 a factor of (8/(-10))/(z/(-660))?
True
Let x(m) = 15*m + 26. Let f(s) = 16*s + 25. Let c(b) = -3*f(b) + 2*x(b). Is 17 a factor of c(-6)?
True
Let q(f) = -f**2 + 2*f + 8. Let d be q(3). Is 8 a factor of 4/d + (-1442)/(-35)?
False
Let n = 30 + -14. Let x = n - 3. Is 3 a factor of x?
False
Let z(q) = 14*q**2 + 10*q + 6. Is z(4) a multiple of 18?
True
Does 7 divide 279*1/39 + (-6)/39?
True
Suppose 3*u + 14 = -7. Let w(q) = q**3 + 10*q**2 + 13*q - 16. Does 5 divide w(u)?
True
Let m(r) = -r + 27. Let y be m(23). Is 28 a factor of 9080/36 + y/(-18)?
True
Let d(z) = 4*z**2 - 15*z - 171. Does 9 divide d(13)?
False
Let u(b) = -2*b + 8. Let t be 1/(4/(-6 + -2)). Is u(t) a multiple of 4?
True
Is ((-18)/30)/((-2)/(4 + 466)) a multiple of 80?
False
Let t(g) = -g**2 + g + 210. Let i be t(0). Let u(m) = -2*m**3 + 6*m**2 + 4*m + 7. Let z be u(-2). Suppose -z*j + 44*j = i. Does 9 divide j?
False
Suppose -5*g - 16 = -13*g. Suppose 5*v - 627 = 4*k, -g*v + 3*k - 606 = -7*v. Does 41 divide v?
True
Let h(x) = x**2 + 9*x - 43. Let i be h(-14). Suppose 0 = -3*k + y + 38, 4*y + 11 = 2*k - 1. Let f = i - k. Does 13 divide f?
True
Suppose -2*x + 20 = -2*r + 4*r, -2*x = 4*r - 40. Let o(v) = 10 - 19*v - r. Does 19 divide o(-1)?
True
Let p = 67 - 116. Suppose -i = 5*q - 356, 4*q + 4*i - 276 = i. Let s = p + q. Is s a multiple of 20?
False
Let s(b) = 5*b**2 + b + 1. Let k be s(-1). Suppose 4*g - 10 = g + 5*z, k*z + 10 = 0. Does 20 divide 177/(-12)*(-4 + g)?
False
Suppose -34*r = -35*r + 3. Let b be (-4)/(-6) - 60/9. Is 10 a factor of 3 + -14*r/b?
True
Let g = 61 + -57. Suppose 39 = g*q - 65. Does 13 divide q?
True
Let x be 11/((-11)/6) - (-4 + 4). Is 9 a factor of (-6 - (-4008)/42) + x/14?
False
Suppose -50 = 7*b - 2*b. Is ((-16)/b)/((-1290)/325 + 4) a multiple of 47?
False
Suppose o - 12 = -3*o. Let j(y) = -2 - 25*y - 19*y + 81*y - 25*y. Does 8 divide j(o)?
False
Let g be (-1)/3*(2 + -2). Suppose -2*j + 58 = 2*y, g*j = -5*j - y + 141. Does 3 divide (-2 + -4)*j/(-12)?
False
Is 49 a factor of (-70)/20*-98*(-6)/(-1)?
True
Let s be (-120)/9*(-12)/5. Let f = 1 + s. Suppose -4*k + 2*b + 127 - f = 0, -b = -4*k + 93. Is k a multiple of 14?
False
Suppose -5*r = -r - 3*o, -5*r + 2*o = 0. Suppose -4*k - 1 + 41 = r. Does 4 divide k?
False
Suppose -3*m + 9 = 0, -5*u + 10*m - 7*m = -4031. Is 8 a factor of u?
True
Let y be 34/(8/(-12) - -1). Does 17 divide (y/8)/(27/72)?
True
Let a(k) = 2*k + 10. Let h be a(-7). Is 103/4 - 1/h a multiple of 13?
True
Let n(f) = 97*f - 132. Is n(6) a multiple of 55?
False
Let j = 323 + -139. Does 15 divide j?
False
Let w = -76 + -18. Let p = -51 - w. Is p a multiple of 9?
False
Let l = -875 - -1397. Does 18 divide l?
True
Suppose 149*l - 154*l = -26130. Is l a multiple of 26?
True
Let h(w) = -18*w. Suppose 8*f = 3*f + 15. Suppose -2*y = -f*y + 5*v - 16, 5*y + 2 = -v. Is 5 a factor of h(y)?
False
Suppose 0 = -2*f - 2, -f + 6 = 3*o - 2*o. Let i(b) = 3*b**2 - 3*b + 6. Let x be i(o). Suppose x = -3*z + 6*z. Is 22 a factor of z?
True
Let l = -14 - -19. Let r be 51/l - (-4)/(-20). Let c(k) = k**3 - 10*k**2 + 5. Does 5 divide c(r)?
True
Let d = 59 + 227. Suppose 0 = 2*o + 5*w - d, 0 = -2*o - 0*o - w + 302. Is o a multiple of 27?
False
Let c(f) = -f**3 + 4*f**2 + 7*f - 10. Let t be c(4). Let z = t + -9. Suppose -1 = p - z. Is p even?
True
Let j(f) = -f**3 + 3*f**2 + f + 2. Let x be j(3). Suppose -3*v + 85 = v + 3*k, 4*v - x*k = 93. Let b = v - -15. Is b a multiple of 11?
False
Suppose 3*v - 3*i - 2*i = 115, -i = 5*v - 173. Suppose -h + 2*h = v. Does 5 divide h?
True
Suppose 0 = 3*y - 6, 3*k = y - 5*y + 194. Suppose -6 - k = -4*r. Is 8 a factor of r?
False
Suppose 0*k = -k + 20. Suppose -6*q + 5 = -n - 5*q, 4*q - k = -3*n. Suppose -s = j - 1, n*s = -2*j + 3*s + 7. Is j even?
True
Suppose -2 + 10 = m. Let f(k) = -k**3 + 10*k**2 - 18*k - 2. Let z be f(m). Does 9 divide (-110)/4*z/15?
False
Let z = -146 - -576. Is 29 a factor of z?
False
Suppose 0 = 3*v + 2*y - 1193, v - 4*v + 2*y + 1189 = 0. Is v a multiple of 10?
False
Let a(k) = 8*k + 5. Let o(r) = -39*r - 24. Let z(x) = -24*a(x) - 5*o(x). Let b be z(2). Let s = b - -9. Does 5 divide s?
True
Let g(h) = -3*h**3 + 7*h**2 + 4*h + 22. Is g(-5) a multiple of 12?
True
Let f(q) = -3*q - 19. Let x be f(-7). Is (783/(-6) - x/4)/(-1) a multiple of 35?
False
Is (-6 + (-702 - (-25)/5))*-1 a multiple of 4?
False
Let w = 8 + 132. Let h = -94 + w. Is 3 a factor of h?
False
Let b be ((-15)/9)/((-1)/18). Suppose -11*t + b = -8*t. Suppose -3*p - 135 = -5*i, -5*i - 2*p = -t*i + 130. Is 5 a factor of i?
False
Let p = 36 - 43. Let b(m) = -8*m - 44. Is 11 a factor of b(p)?
False
Suppose 2*q - 22*q = -7080. Does 6 divide q?
True
Suppose -3442 - 5190 = -8*l. Is 8 a factor of l?
False
Let g = -232 + 317. Is 5 a factor of g?
True
Suppose -11*n = -8*n - 18. Let y(o) = o**3 + 2*o**2 - 15*o + 10. Does 13 divide y(n)?
True
Let r(a) = 19*a + 13. Let v be r(-3). Let t = v - -66. Is 22 a factor of t?
True
Let z = -709 + 1465. Does 14 divide z?
True
Let i be -4 - (0 + 0 + (-36)/9). Let h = -1 + 5. Suppose h*z - 5*z + 25 = i. Is 5 a factor of z?
True
Let w(b) = -b + 10*b**2 - b**3 - 20*b**2 - 18*b + 3. Is 44 a factor of w(-10)?
False
Let r = -254 - -862. Is 32 a factor of r?
True
Let x(r) = 45*r + 10. Let m be x(4). Suppose 5*d - 193 = 4*n, 5*d - m = n + 4*n. Let f = 77 - d. Is f a multiple of 12?
True
Suppose 0 = 87*d - 94*d + 21763. Is d a multiple of 44?
False
Suppose 5*c - 22 = 4*x, 5*c + 2*x = -20 + 54. Is c even?
True
Suppose -q = 5*c - 20458, -3*c + 12282 = q + 2*q. Is 11 a factor of c?
False
Let s = -639 - -1211. Does 26 divide s?
True
Let a(x) = x**3 - 8*x**2 + 7*x + 2. Let c be a(7). Suppose -c*d - 10 = -22. Is 22 a factor of d/(-9) + (-400)/(-6)?
True
Suppose 4*a + 4*x = 2*x - 612, 3*a + 454 = -4*x. Let t be a/(-7) - (-1 + 1). Suppose -m - 5*q = -1 - 3, m = 4*q + t. Is m a multiple of 7?
True
Let y(z) = z**3 - 2*z - 3. Let w be (1*-1)/((-3)/9). Let o be y(w). Let q = -7 + o. Does 10 divide q?
False
Is 21 a factor of 16/(-48) + 26844/18?
True
Suppose l + 5*u = -0*u + 3058, -12217 = -4*l - 5*u. Is l a multiple of 167?
False
Suppose 3*g = 511 - 25. Suppose -5*f + 63 = -g. Suppose -5*y - 25 = 0, f = 2*o + 3*o - y. Is o a multiple of 5?
False
Suppose 5*s = -43 + 58. Suppose 4*k - 4*w - 328 = 0, 0 = -8*k + 3*k + s*w + 416. Is k a multiple of 17?
True
Let d = 5058 - 3367. Does 7 divide d?
False
Let x be (-3)/(-1) - (-23 + -4). Suppose x*n - 25*n = 35. Does 3 divide n?
False
Let t be (-50)/8 + 3/12. Does 35 divide (1 + 1