2)/((-4)/(-48)) a multiple of 6?
True
Suppose 4*v - 63 = 3*m, 0*v + 81 = 5*v - 3*m. Suppose 22 + v = -5*a. Let b = a + 17. Does 5 divide b?
False
Suppose 2*q - 6*q = -128. Is q a multiple of 16?
True
Let r be 1 - 3/(3/7). Suppose -w = 4*p - 3*p - 25, -4*w + 102 = 3*p. Let c = w + r. Is c a multiple of 8?
False
Let m = 145 + 22. Is m a multiple of 21?
False
Suppose s - 4*g = -7, -4*s - 2*g = 3*g + 7. Let d = 3 + s. Suppose d = -3*u + 2*x + 70, -121 = -2*u - 3*u - x. Does 12 divide u?
True
Suppose 5*d = 0, d - 3*d + 105 = 3*l. Let i = l + -8. Does 27 divide i?
True
Suppose 4*f - 72 = x + 80, 3*x = -3*f + 129. Does 14 divide (-1)/(-3) + 923/f?
False
Let n(c) = c - 1. Let y be n(1). Let d = y - -42. Is d a multiple of 21?
True
Is 1*20/(-3)*42/(-5) a multiple of 7?
True
Let b(h) = -3*h. Is b(-3) a multiple of 9?
True
Let l be 2/(0 - (-2)/(-4)). Let d = -3 - l. Is 8 a factor of (d - -25)*(-8)/(-16)?
False
Is (-8)/(-12) + (-211)/(-3) a multiple of 8?
False
Suppose 0 = -5*s - 3*i + 210, -3*i = 11 + 4. Let h(q) = 7*q + 52. Let m be h(-10). Let z = s + m. Is 15 a factor of z?
False
Let s(r) = r**2 - 4*r + 2. Let w be s(5). Let p = -5 + w. Is 2 a factor of p?
True
Let m(n) = -13*n - 8. Let l be m(-6). Suppose z + l = 5*h, 5*z + 12 = -h - 0*h. Is h a multiple of 4?
False
Suppose -3*y - 5*r = -480, y + r + 0*r = 160. Does 16 divide y?
True
Let j(u) = -72*u**3 + u**2 - 2*u + 1. Let z be j(1). Let s = -30 - z. Is 21 a factor of s?
True
Suppose 0 = m + m - 14. Let t be (-16)/m - (-6)/21. Is 10 a factor of 3*(-13)/3*t?
False
Suppose -2*z + 392 = 5*u, -u - 6 = -2. Suppose 2*b - 4*b + z = 0. Let w = b + -72. Does 14 divide w?
False
Let f = 7 + -2. Suppose f*m - 74 = 16. Is m a multiple of 9?
True
Let y be 27/(-4) - 6/(-8). Let r be (-1 - 0)*(0 - y). Let g(t) = t**2 + 4*t - 7. Is 2 a factor of g(r)?
False
Let x(k) = 2*k**3 - 5*k**2 - 2*k + 3. Let z be x(-4). Let d = -40 - z. Suppose -4*b + 19 = -d. Is b a multiple of 17?
False
Let b = 159 + -131. Is b a multiple of 11?
False
Let w be 6/24 + (-398)/(-8). Suppose -4*b + 0*b - n = -82, -3*b + 5*n = -w. Is b a multiple of 12?
False
Let q = -65 - -111. Is 34 a factor of q?
False
Let x = -19 - -19. Let u(k) = -3*k**2 - k + 43 + 2*k**2 + 0*k**2. Is 19 a factor of u(x)?
False
Let t(w) = -w**3 + 3*w**2 + 6*w - 6. Let o be t(4). Let p(b) = -2 + 3 + 2*b + 3*b**o - 2. Is p(2) a multiple of 13?
False
Is 6 a factor of 198/(-77)*1*-14?
True
Let a be (7 + -1)*(-2)/(-3). Suppose -n - 24 = -a*n. Suppose -4*s = -n*s + 8. Does 2 divide s?
True
Let v = -32 - -18. Let r = v - -23. Suppose 16 + r = 5*d. Is d a multiple of 5?
True
Does 2 divide 13 - (2 + -3)*(-5 - -6)?
True
Let f(s) = -s**3 - 9*s**2 - 4*s - 7. Let z be f(-8). Let u = z - -55. Is 16 a factor of u?
True
Let z(x) = x**3 + 9*x**2 - 5*x + 13. Let s(w) = 10*w**3 - 2*w**2 - w. Let b be s(-1). Let a be z(b). Does 7 divide a/(-24) + (-1)/4?
True
Let q(z) = -7*z - 4. Let x be q(5). Let w = x + 87. Does 15 divide w?
False
Let l(b) = b**3 - 10*b**2 + 10*b - 4. Is 2 a factor of l(9)?
False
Suppose -t + 0*t + 110 = 0. Suppose -5*a + 4*j - 5*j = -t, -5*j = 5*a - 110. Is a a multiple of 14?
False
Let g = -5 + 8. Suppose -3*s - q = 2*s - 135, -5*s + 145 = g*q. Is s a multiple of 13?
True
Suppose 4*x = q - 14, 0 = 3*q - 2*q + x + 1. Is (-129)/(-4) + q/(-8) a multiple of 16?
True
Suppose 0 = 2*o - 3*b - 10, 0*o + 23 = o + 3*b. Let h = o - 7. Suppose 5*g = -r + 26 + 47, -h*r + 7 = g. Is 12 a factor of g?
False
Suppose -2*g - 4*g + 312 = 0. Is 13 a factor of g?
True
Let w(b) = -16*b**3 - b**2 - b. Let u = -2 + 1. Let j be w(u). Suppose j + 13 = s. Is s a multiple of 13?
False
Let r be 3 + 3/1 + 38. Let h = -24 + r. Does 12 divide h?
False
Let w(y) = y**2 + y - 3. Let x be w(-3). Let o = 15 + 7. Suppose -u = -x*u - 5*z + o, 2 = -u + 4*z. Is u even?
True
Let p = -53 - -132. Does 17 divide p?
False
Let a(u) = 4*u**2 + 2*u + 1. Let q be a(-1). Is 3 a factor of -5*(0 - (-2 + q))?
False
Suppose 74 = 2*p - 14. Let o(r) = r**3 + 2*r**2 - 3*r - 2. Let y be o(-2). Suppose y*v = -2*i + 3*v + 21, -4*v = 3*i - p. Does 8 divide i?
True
Let m(n) = n**2 + 6*n + 11. Let l be ((-44)/6)/((-8)/(-12)). Does 22 divide m(l)?
True
Let o(p) = -15*p**3 + p. Let z be o(-1). Suppose 2*u = -g + z, 5*u - g + 5 = 6*u. Is u a multiple of 9?
True
Let c = -7 + 9. Suppose 3*w - c*w - 4 = 0. Does 4 divide w?
True
Is 18 a factor of 1/((-80)/84 + 1)?
False
Let d be ((-2)/(-5))/(1/150). Suppose 3*g = 12 + d. Is 9 a factor of g?
False
Let t(k) = 237*k - 5. Let z(w) = -238*w + 6. Let x(y) = -5*t(y) - 4*z(y). Let h be x(-1). Suppose 2 + 4 = 3*l, -h = -5*u - 2*l. Is u a multiple of 16?
False
Suppose 0 = 3*c + 40 - 313. Is 17 a factor of c?
False
Suppose 0 = -2*a - 3*s + 27, -a = -4*s + 10 + 4. Let r(o) = 4*o - 3. Is 7 a factor of r(a)?
True
Is 11 a factor of 187*(-4 + -1 + 3)/(-2)?
True
Let t = 3 + 1. Let k(z) = 2*z**2 - 3*z - 2. Is k(t) a multiple of 18?
True
Is 13 a factor of 10/2 - 2 - -88?
True
Let w(d) = -5*d**2 - 5*d + 1. Let k(l) = -l**2 - l. Let r(f) = 3*k(f) - w(f). Is r(-5) a multiple of 13?
True
Suppose -8*b = -13*b + 60. Is b a multiple of 8?
False
Does 12 divide (-1)/((-4)/865) + (-3)/12?
True
Let g = 9 - 4. Is g a multiple of 2?
False
Let j(b) = -b**2 + 11*b - 10. Let t be j(10). Suppose t = 5*v - 2*p - 27, -3*v - 3*p - 2 = -5*v. Let c(l) = -l**2 + 7*l + 5. Is 2 a factor of c(v)?
False
Suppose 3*w = -2*w + 3425. Does 15 divide 2/(-9) + w/45?
True
Let b(u) = u**2 + 3. Suppose 1 = r - 2. Is 5 a factor of b(r)?
False
Let o = 3 + -3. Suppose 2*n + 5*b + 15 = o, -n + 4*n - 6 = 2*b. Suppose -2*q + 3*c + 50 = n, 3*c + 72 = q + 2*q. Is 11 a factor of q?
True
Let h(u) = -16*u - 1. Let o = 2 - 6. Let a be (-6)/o*16/(-12). Is h(a) a multiple of 15?
False
Let d(q) = 11*q**2 + 1. Let b be d(-4). Let x = 261 - b. Suppose 3*f - 63 + 21 = -2*y, -4*f = 4*y - x. Is y a multiple of 7?
True
Suppose -574 = -3*v + 188. Does 11 divide v?
False
Let i = -193 + 291. Is i a multiple of 6?
False
Let f be 130/(-6) + 2/3. Let p be 4/10 - (-684)/15. Let l = p + f. Is 13 a factor of l?
False
Suppose 9*u - 5*u - 28 = 0. Suppose u*k = 3*k + 228. Does 19 divide k?
True
Let z be (17 - -1)*(-1)/2. Let r = z - -50. Is 12 a factor of r?
False
Let v(i) = -i**2 + 10*i - 4. Let x be v(9). Suppose 146 - 396 = -x*j. Does 15 divide j?
False
Let w = -5 + 31. Is w a multiple of 14?
False
Let t = 4 + -13. Let v = 23 + t. Is v a multiple of 9?
False
Suppose l + 13 = 5*x, 4*x - 2 = -0*x + 5*l. Let q = x + 27. Is 15 a factor of q?
True
Let f(h) = -h**2 - 13*h + 34. Is 8 a factor of f(-11)?
True
Suppose 4 = -2*g + 8. Suppose 0 = -2*d + 2*i + 56, 1 = -g*i - 5. Does 19 divide d?
False
Let s be ((-108)/(-10))/(1/(-5)). Let p = 82 + s. Is 12 a factor of p?
False
Let r(k) be the first derivative of -1/4*k**4 + 0*k**2 - 1 + 0*k**3 + 10*k. Is 5 a factor of r(0)?
True
Let m be 3/(-12) - (-87)/12. Let i = m - -2. Let n(k) = 3*k - 11. Does 8 divide n(i)?
True
Let v = 178 - 126. Is 26 a factor of v?
True
Suppose -2*j - 10 = 3*j, -3*p + 3*j = -117. Does 11 divide p?
False
Suppose c = 2*c - 4. Let n = c - 0. Suppose 3*k - n*k + 17 = 0. Is k a multiple of 8?
False
Let q be 2 + -1 + 0 - 1. Is q + 44/(-2 - -4) a multiple of 22?
True
Let o(q) = q**2 + q. Let j be o(-2). Suppose -j*t = -t - 13. Suppose -3*d + 9 = 3*p, 5*d + 4 = 3*p - t. Does 4 divide p?
True
Is -1 - -5 - (-33 + 3) a multiple of 17?
True
Suppose c = z - 2, -2*c + c + 2 = z. Let v = c - 0. Suppose 5*w - 40 = -v*w. Is 8 a factor of w?
True
Let r be 2/(-5) + 368/(-5). Let z = -377 - r. Does 17 divide (-2)/7 - z/7?
False
Is 25 a factor of 6 + 46 - (-6)/(-3)?
True
Let q(o) = -12*o**2 + o + 1. Let p be (-4 - -3) + 0/(-2). Let r be q(p). Is (-38)/(-9) - r/(-54) a multiple of 4?
True
Let k be (-3)/(-1) + (1 - 3). Is 3 + (-5)/(-2 + k) a multiple of 3?
False
Let k be (0 - -1)*(-5)/(-1). Suppose -k*d + d - 4*b + 100 = 0, b - 81 = -3*d. Does 14 divide d?
True
Suppose 2*s + 139 = 4*o - 227, 0 = -o - 4. Let z be (-1)/2*(s + -1). Suppose 4*n = n + z. Is 15 a factor of n?
False
Let g(j) = -j**2 - j + 4. Let v be g(-7). Let d = 2 - v. Is d a multiple of 10?
True
Suppose 26 = -4*f - 3*c + 97, -f + 11 = 3*c. Is f a multiple of 5?
True
Suppose -5*y + 2*l = 4*l - 8, 5*l = -5. Suppose 2*u - y*g = 55 + 1, -8 = 2*g. Does 8 divide u?
True
Su