3. Let l be j(7). Let x(z) = -l + z + 4 - 2. Does 4 divide x(6)?
True
Suppose -n = j - 49, -n + 100 = 2*j + 2*n. Suppose 2*m - j = -d + 11, -4*m + 92 = -4*d. Is m a multiple of 9?
True
Let y(x) = x**2 - 3*x - 7. Let q be (10/(-3) + 3)*-18. Is y(q) a multiple of 4?
False
Suppose -5*y = 5*w - 90, -w - 3*y - 42 = -4*w. Suppose -26 = 15*u - w*u. Does 8 divide u?
False
Suppose 0 = d - 4*d. Suppose 0 = -d*m + 2*m - 172. Suppose -2*u + 0*u + m = 0. Is u a multiple of 16?
False
Let h(f) = f**3 + 9*f**2 + 8*f + 4. Suppose 2*b + 4 = -z, -2*z - 2*z = -3*b + 38. Is h(z) a multiple of 3?
False
Let f(w) = -2*w**2 - 10*w + 3. Let s be f(-7). Let u be (-3)/5 + (-15)/s. Suppose 2*o + o - 3*v - 57 = u, -24 = -2*o - 5*v. Does 13 divide o?
False
Does 6 divide -2*9/(36/(-152))?
False
Suppose 5*k = -w - 25, -21 = -5*k + 3*w - 66. Is 5 a factor of (-2)/k*(24 + 3)?
False
Let d(g) = 5*g + 18. Let b(j) = -20*j - 73. Let h(c) = 2*b(c) + 9*d(c). Is h(7) a multiple of 17?
True
Let f(v) = -v**2 - 7*v - 2. Let b be f(-7). Let g(c) = c**2. Let t be g(b). Suppose -4*p + 89 = x - 6, -t*x = -5*p + 124. Does 12 divide p?
True
Let h(b) = 12*b**3 + b**2 - b + 1. Is h(1) a multiple of 9?
False
Let q(k) = 9*k**2. Let g be (-1)/(-3) - 20/6. Let d be q(g). Suppose -4*v + 0*v = 4*l - 84, 4*l = -3*v + d. Is l a multiple of 9?
True
Let m = 36 - 29. Does 5 divide m?
False
Let m(u) = u**3 - 3*u**2 - 2*u + 5. Let d be m(4). Let g = -5 + d. Does 3 divide g?
False
Let g(z) = 4*z - z + 6 - z + 0*z. Is 10 a factor of g(12)?
True
Let x = 3 + -4. Let f be 3 - (2 + 0)*x. Suppose 0 = f*j - 26 - 24. Is 8 a factor of j?
False
Let z(t) = -t - 6. Let g be z(-8). Suppose -14 + 4 = -g*k. Suppose -2*n + k*n = 27. Does 9 divide n?
True
Suppose 20 = 2*p - 4*n, 3*n - 13 = -p - p. Is 2 a factor of p?
True
Suppose 6*s - s - 20 = 0, -4*l = 5*s - 40. Suppose 3*g - l*g = -22. Is 10 a factor of g?
False
Suppose -1 = a - 2*a, 3*a - 48 = -3*y. Does 14 divide y?
False
Suppose -2016 = -20*p + 14*p. Is 24 a factor of p?
True
Let n(a) = -4*a**3 + 4*a + 2. Is n(-3) a multiple of 11?
False
Let k(o) = -o**3 - 14*o**2 + 15*o + 8. Is 3 a factor of k(-15)?
False
Let t = -3 - -6. Suppose -5 - 7 = -t*c. Suppose 0*g - 4*g = -3*a + 50, 0 = c*a + 3*g - 50. Does 5 divide a?
False
Suppose 0 = 6*r + 75 - 885. Does 27 divide r?
True
Is (-108)/(-81)*(-27)/(-1) a multiple of 5?
False
Let f = -66 + 143. Is 7 a factor of f?
True
Let p be (-26)/(-10) - 2/(-5). Let j(s) = -s**2 + 6*s + 6. Let x be j(7). Is 15 a factor of (-3)/p*37*x?
False
Suppose 3*q = -q + 12. Let i = q - -8. Is 4 a factor of i?
False
Let v be (1 - -1 - 10) + 0. Let q(l) = -l**3 - 8*l**2 - 3*l + 6. Let s be q(v). Suppose 2*y - 10 = s. Is y a multiple of 9?
False
Let y(p) = -14*p + 4. Does 32 divide y(-2)?
True
Suppose 0 = 5*n + 5, -2*n = -3*m + 2*n - 8. Let w = 7 + m. Suppose 2*k = -w*k - 3*v + 72, -v + 52 = 4*k. Is 12 a factor of k?
True
Suppose -3*m = 5*h, 3*h = -4*m + h. Let f(u) = -u**2 + 35. Let j be f(m). Suppose -9 = -4*z + j. Is 9 a factor of z?
False
Let r be (1/4)/((-1)/(-12)). Is 1*2 + 171/r a multiple of 15?
False
Let w(q) = -q**2 - 28*q + 24. Is w(-24) a multiple of 24?
True
Let x be 1 + 2 + 0 - -177. Suppose -4*t + t = -x. Is 20 a factor of t?
True
Suppose -2 = -4*b + 2*b + 3*i, -3*i = 3*b - 18. Let t be 18/b - (-1)/(-2). Suppose 10 = k + 5*g - 3*g, -2*g = -t*k + 60. Is k a multiple of 7?
True
Let j = 5 - -64. Suppose -w + 3*q - 2*q = -25, -3*w + j = -q. Suppose -w + 1 = -3*n. Does 3 divide n?
False
Suppose -y = 3*y - 76. Let z = y - -2. Is 10 a factor of (-6)/z + 170/7?
False
Is 88/6*150/20 a multiple of 22?
True
Let p be ((-1)/(-4))/((-6)/(-72)). Let z(i) = 2*i**3 - 3*i**2 + 2*i - 2. Is 8 a factor of z(p)?
False
Is 39 a factor of (-12065)/(-75) - (-6)/45?
False
Let k be (0 - 33/(-2))*2. Let d(i) = -10*i**3 - 2*i**2 - 3*i + 4. Let b be d(1). Let y = k + b. Does 11 divide y?
True
Suppose 3*v - 16 = v + 2*l, 0 = l. Is v a multiple of 6?
False
Let x(c) = -2*c + 35. Is x(-18) a multiple of 14?
False
Suppose -3*j + 4 + 11 = 4*y, 5*y - 4*j = 11. Let s = 3 - y. Let w(k) = -k + 54. Is w(s) a multiple of 18?
True
Let t(a) = -a**3 - 9*a**2 - 3*a - 7. Suppose 2*l + 27 = -l. Is t(l) a multiple of 5?
True
Does 19 divide (-4 - -72) + 3 + -1?
False
Let u(y) = -y**2 - 7*y - 4. Let i be 6/33 - (-171)/(-33). Is u(i) a multiple of 2?
True
Suppose 2*t = -o - 7, -5 - 6 = 2*t - 3*o. Let i be 2/t*-4 - -9. Let k = 32 - i. Is k a multiple of 11?
False
Let p = -40 - -24. Let j = p + 20. Does 2 divide j?
True
Suppose -15 = 5*s, 5*y - 2 - 2 = -2*s. Suppose 5 = y*p - 1. Suppose 3*a - a = 2*o + 4, -p*a - o + 10 = 0. Does 3 divide a?
True
Suppose 3*k - 62 = -2*p, -2*k - 2*p + 25 + 19 = 0. Does 7 divide k/27*(11 - -1)?
False
Suppose -5*i + 2*i + 21 = 0. Suppose i*d - 28 = 3*d. Does 2 divide d?
False
Suppose -5*j + 5*n + 330 = 0, 2*j - 42 - 72 = -4*n. Does 17 divide j?
False
Suppose 30*n = 28*n + 300. Does 20 divide n?
False
Suppose 2*w + 6 = -2. Let n be 4/6 - w/3. Suppose -30 = -n*q - 0*q. Is 15 a factor of q?
True
Let b(x) = -x**3 - 5*x**2 + 7*x + 9. Let f be b(-6). Suppose f*m - 82 = -10. Is m a multiple of 7?
False
Let w(t) = t**3 + 7*t**2 + 7*t + 8. Let a be w(-6). Let j(v) = -v - 2 - v**a + 3*v**3 + 1 - 32*v**3. Is 12 a factor of j(-1)?
False
Let m = -3 + 2. Let u be ((-2)/5)/(m/(-15)). Is 1/(3/u) - -10 a multiple of 4?
True
Let c(h) = -4 + 6*h + 2 - h - 6. Is c(4) a multiple of 12?
True
Let v be (-4)/(-6) + 2/(-3). Let o(r) = 4*r**2 + 19 - 3*r**2 - r**3 - 19*r + 18*r. Is o(v) a multiple of 10?
False
Let p(n) = 11*n**2 - 80*n - 12. Is 9 a factor of p(10)?
True
Suppose l - 65 = -5*m - 4*l, -m + 3*l - 7 = 0. Suppose -4*d = -3*q - 12, m = 3*q - q. Is 6 a factor of d?
True
Let f = 13 + -9. Let a be f*-7*3/6. Is 4 a factor of (-2)/(-7) + (-192)/a?
False
Suppose 2*m + 15 = 5, -5*m - 15 = -5*f. Let p be 0 + 11 + (-4 - f). Let c = 17 - p. Does 3 divide c?
False
Let u = 2 - 0. Suppose 2*t - 3*q - 37 = -3*t, -t = 4*q - 12. Suppose -u*h - t = -26. Does 9 divide h?
True
Suppose 175 = 5*i + 2*q, 4*i - 197 = -4*q - 57. Let o = i + -21. Does 10 divide 416/o - (-2)/7?
True
Let c = 212 - 123. Suppose -2*y - 15 = -c. Is y a multiple of 20?
False
Let t(c) = -c**3 - 3*c**2. Let h be t(-3). Let s(v) = 4*v**2 + 2*v**2 - v**3 + h*v**3 + 5*v + 2. Is 13 a factor of s(6)?
False
Suppose -15 + 7 = -2*s. Let d(y) = -y**2 + 6*y - 4. Let q be d(s). Suppose q*r = 3*g + 60, -5*r + 12 = 3*g - 90. Does 8 divide r?
False
Suppose k - 41 = -3*n, -k - 44 = -2*k - 4*n. Does 8 divide k?
True
Let w be 4 - (2 + 154/(-2)). Suppose 0 = -4*n + 5 + w. Is n a multiple of 6?
False
Suppose -5*y - 1386 = -12*y. Does 18 divide y?
True
Let d(q) be the second derivative of -1/20*q**5 + q**3 - 5/2*q**2 - 7/12*q**4 + 0 - 4*q. Does 4 divide d(-8)?
False
Suppose -4*x + 140 = -5*k + x, -2*x - 43 = k. Let j = k - -46. Is 5 a factor of j?
False
Let z be ((-32)/10)/(6/(-150)). Suppose 77 = 2*t - c, -2*c - z = -2*t + 2*c. Does 19 divide t?
True
Let y(v) = -v**2 + 14*v - 9. Let n be y(14). Let w(d) = -d**2 - 11*d + 8. Is w(n) a multiple of 13?
True
Let u(f) = 13*f - 49. Is 12 a factor of u(7)?
False
Let r be 15324/66 - (-4)/(-22). Suppose -w + r = 3*w. Does 18 divide w?
False
Suppose 0*o + 8 = 2*o. Suppose 5*j - o*x - 389 = 0, -4*j + 3*j = -5*x - 61. Is j a multiple of 27?
True
Let c(s) = 20*s**2 + s - 1. Let w be c(-2). Let y = w - 29. Is 24 a factor of y?
True
Suppose -1280 = -8*k - 2*k. Does 8 divide k?
True
Let b(z) = 35*z + 5. Is 32 a factor of b(9)?
True
Let b(v) be the first derivative of -v**3/3 + 19*v - 1. Let q be b(0). Suppose -2*g + d + 33 = -5, -g + q = -4*d. Does 7 divide g?
False
Suppose 1 = -4*b + 9. Suppose -b*t = t - 3. Does 5 divide (t - 22)/(15/(-10))?
False
Let d(y) = -y**2 + 2*y + 10. Let r be d(5). Does 10 divide 1 + 36 - (r + 4)?
False
Suppose -j - j + 6 = 0. Is -12*((-8)/j - -2) a multiple of 5?
False
Suppose 7*a - 2*a + 13 = -3*o, 4*a = 4*o - 4. Is 2/o*(-11)/1 a multiple of 15?
False
Let d(g) = g**2 + 14*g - 6. Let w be d(-14). Does 18 divide ((-2)/w)/(11/2046)?
False
Let q be -2 - (-2 + 7/(-1)). Suppose -108 = 3*b - q*b. Is b a multiple of 6?
False
Let d = 120 + -59. Let h(p) = -18*p - 2. Let o be h(-2). Let n = d - o. Is n a multiple of 18?
False
Let w be (3/6)/(2/16). Suppose w + 5 = -3*x. Let y = 15 - x. Is y a