(3). Suppose v*w + 6 = 3*w. Is 2 a factor of (-1 - w)/((-1)/2)?
True
Let b(n) = -4*n - 7*n + 4*n - 8. Let j(u) = u**2 - 6*u + 2. Let m be j(4). Is b(m) a multiple of 12?
False
Let m = 88 - 27. Is m - (1 + 0/1) a multiple of 15?
True
Let l = 22 - 40. Let s be ((-16)/(-6))/(l/(-27)). Suppose -s*o + 70 = o. Does 5 divide o?
False
Suppose -16 = -3*p + p. Let x(w) = w**2 - 4*w - 10. Does 11 divide x(p)?
True
Suppose 2*h - 7 - 47 = 0. Suppose 2*i + m = -24 + 100, 0 = i - 5*m - h. Does 15 divide i?
False
Let s be 2/((-18)/(-8) - 2). Does 6 divide 2/s - (-95)/4?
True
Let x = 37 + -1. Suppose i = -i + x. Does 9 divide i?
True
Let o be (2/1)/((-1)/(-32)). Suppose 4*p - 2*t - o = 0, 3*p + 2*t + 21 = 69. Is 5 a factor of p?
False
Suppose 0 = 5*l + 2 + 13. Let s(n) = n**3 + 5*n**2 + n - 3. Does 6 divide s(l)?
True
Suppose 0 = 2*f - 0*f + 5*r - 4, -2*f - r + 4 = 0. Suppose 5*u + 0*w - 4*w = 28, 3*u = -f*w + 8. Suppose -61 = -u*i - 5. Is 6 a factor of i?
False
Is 11 a factor of (-40)/(-24)*(16 + -1)?
False
Let z = -412 - -706. Is z a multiple of 14?
True
Let q = 45 - 23. Does 22 divide q?
True
Is 14 a factor of (12 - (2 + -4))*1?
True
Let g(t) = t**3 + 11*t**2 - t - 3. Is g(-11) a multiple of 4?
True
Suppose 5*m + 2*h - 37 = -2*h, -4*m + 29 = 3*h. Suppose 10*v = m*v + 150. Does 13 divide v?
False
Let u be 18/30 - 23/5. Does 16 divide ((-8)/10)/(u/190)?
False
Let i(y) = -2*y + 23. Let j be i(0). Suppose a - j = 5. Does 7 divide a?
True
Let l(d) = d**2 + 7*d + 2. Let v be l(-6). Let o be (-2)/(-3)*(-18)/v. Is (-1 - -21)/(2/o) a multiple of 16?
False
Let b be -10*(24/15 - 2). Does 7 divide -5 + b + -1 + 23?
True
Let f(w) = -w**2 + 9*w - 9. Let v be f(12). Does 10 divide (v/6)/((-9)/12)?
True
Is 3 a factor of 3/2*(-14)/(-3)?
False
Let x be (-14 + 6)*(-10)/(-4). Let p = 47 + x. Is p a multiple of 27?
True
Let q = 8 + -5. Suppose -q*x + 14 = -28. Is 14 a factor of x?
True
Let u be 4/((-2)/(-1)) - 22. Let h = 14 + u. Let v = h - -16. Does 5 divide v?
True
Suppose 0 = 9*i - 2*i - 420. Is 15 a factor of i?
True
Let f(b) = -b + 186. Let n be f(0). Let l be n/14 - (-4)/(-14). Let s = 20 - l. Is s a multiple of 7?
True
Let s be (-1 + -10)/(4 + -3). Let c = s - -23. Is c a multiple of 4?
True
Let p(f) = f**3 + 14*f**2 + 18*f - 19. Does 20 divide p(-12)?
False
Suppose -z + 4*h = -106, -2*h - 3*h - 206 = -2*z. Is 10 a factor of z?
False
Suppose 2*k - 1 = 3. Suppose 5*y = a - 0*y - 13, -3*y = k*a. Does 3 divide a?
True
Does 12 divide 2 - ((-2)/(4/182) - 3)?
True
Let z be (20/15)/(8/228). Suppose 408 = 5*c + z. Is c a multiple of 16?
False
Suppose -208 - 92 = -5*u. Does 12 divide u?
True
Suppose 7 = -5*a + 2, 3*a - 221 = -4*f. Does 14 divide f?
True
Suppose -28 = -4*f - 3*w, -f + 0*f = -5*w - 30. Suppose -5*g + f = -30. Is g a multiple of 8?
True
Suppose 22*r - 180 = 20*r. Is r a multiple of 6?
True
Let l = -6 + 37. Does 3 divide l?
False
Suppose -t + 51 = -149. Is 23 a factor of (22/8)/(10/t)?
False
Suppose 5*v = 3*v + 116. Is 13 a factor of v?
False
Let j(h) = -h**2 + 18. Suppose -p = -2*p. Does 7 divide j(p)?
False
Let r be (0/(-4))/((-1)/(-1)). Let u(k) = k**3 + 5*k**2 - k - 1. Let f be u(-5). Suppose -6*q + f*q + 32 = r. Is q a multiple of 8?
True
Suppose -3*z + 0*z = -666. Suppose 3*t + z = 6*t. Is t a multiple of 19?
False
Suppose 4*r = -3*v - 13, 0 = 4*v - 5 - 15. Is 18/r*(-56)/6 a multiple of 12?
True
Let w(i) = -3*i + 10 + 0*i + 4*i. Let z be w(-9). Is 19 - (z - (0 + 2)) a multiple of 10?
True
Let a be 22 - (-4 + 0 + 3). Suppose -k - a = -i, -k + 1 + 66 = 4*i. Does 5 divide i?
False
Let l(s) = -s + 9. Suppose y + 3*y = 4*w + 20, -y + 5 = 4*w. Suppose w*p = -4*p. Does 5 divide l(p)?
False
Let a = -17 + 53. Is a a multiple of 13?
False
Let g = 64 + -8. Let i = -17 + g. Is 20 a factor of i?
False
Let d be (-1)/(((-6)/243)/2). Let m = 113 - d. Does 7 divide m?
False
Suppose 0 = x, -4*y + 8 = -x - 4*x. Suppose y*n - 2 = -l, 2*l + 2*l + 8 = 0. Suppose 0 = -n*d + 5*t + 31, 2*d - 1 = -2*t + t. Is 3 a factor of d?
True
Suppose -d - 4*d = l - 15, 3*d + 4*l = -8. Suppose 3*p = d*y - 54, 3*y - 49 = 3*p - 5*p. Does 6 divide y?
False
Suppose w - 1 = -5*u, -3*w - 4 = -4*u - 7*w. Let s be (u + -2)*(0 - 1). Suppose 0*h = s*h - 36. Does 14 divide h?
False
Suppose -4*a + 339 = -49. Is a a multiple of 13?
False
Let v = -45 + 117. Is 23 a factor of v?
False
Let b(y) be the third derivative of -y**4/24 + y**3 + 6*y**2. Does 4 divide b(0)?
False
Suppose -3*k = x - 144, 0*x + 2*x = 3*k + 306. Suppose -2*w + x = w. Is 15 a factor of w?
False
Let p be 2/(-10) + 1442/10. Let h(g) = 2*g**2 - 4. Let z be h(-7). Let b = p - z. Is 19 a factor of b?
False
Let o(h) = 4*h**2 - 3*h. Let p be o(4). Let g = -14 + p. Suppose -4*c - 4*a = -3*a - g, -2*a - 4 = 0. Is c a multiple of 7?
False
Suppose 0*o - 3*o + 21 = 0. Let r = -9 + o. Is 17 a factor of 1*(r - (0 - 19))?
True
Let c = -2 + 5. Suppose 4*j = c*x + 182 + 16, -210 = -4*j - 3*x. Is j a multiple of 17?
True
Suppose 5*d = 5*q + 370, -4*d + 11*q + 303 = 14*q. Does 28 divide d?
False
Suppose 6*x = x + 5*l - 40, -3*x = 2*l - 1. Does 25 divide (-191)/(-3) - 1/x?
False
Let d(j) = -3*j**2 + 44*j - 7. Is d(14) a multiple of 21?
True
Let r = -134 - -278. Is (3/(-2))/((-6)/r) a multiple of 9?
True
Suppose 4*o = 9*o - 105. Is o a multiple of 21?
True
Suppose 0*p + 3*p + 1347 = 5*u, -u + 4*p = -283. Is u a multiple of 51?
False
Suppose 0 = 3*a - 2*r + 6 - 52, 4*a + 3*r - 50 = 0. Is 6 a factor of 86/a + (-1)/7?
True
Let m(y) = y + 8. Let z be m(-5). Suppose -z*p = -3 + 9. Does 7 divide (-26)/4*p - -1?
True
Let c(q) = q**2 - 69 - 71 + 142. Let a = -1 - -4. Is 7 a factor of c(a)?
False
Let j(l) = -l**2 + 21*l - 9. Let t be j(15). Let k = -33 + t. Does 12 divide k?
True
Suppose 8*n - 3*n = 10. Suppose 29 + n = v + t, 5*t + 49 = v. Does 16 divide v?
False
Suppose -y - 6 = -3*y, 3*t - 33 = -3*y. Suppose 5*q - 9 - t = -c, -5 = -c - 2*q. Is (-1 - -2)/(c/(-6)) even?
True
Suppose -a - 4*n + 163 = -9, -4*n = 0. Is 18 a factor of a?
False
Suppose m + 6 = 4*m. Let b be (-2)/1*(-47)/m. Suppose 3*t = 4*t - 3*z - b, -2*t = -z - 74. Is t a multiple of 22?
False
Suppose 2*d - 1 = -5*u, 3*d + 6 = 5*u + 20. Is 19 a factor of ((-11)/d)/((-5)/90)?
False
Let v = -213 + 309. Suppose o - 31 = 3*t, 4*t + v = 5*o - 103. Let g = o - 31. Is g a multiple of 9?
False
Let d = 5 + -5. Suppose -3*a + 27 = n, d*n - 26 = -2*a + 2*n. Does 5 divide a?
True
Let c(q) = 36*q**2. Let r be c(2). Suppose -v = -4*v - r. Is v/(-30)*(-5)/(-2) a multiple of 2?
True
Suppose 3*w = 9*w - 258. Suppose -r + w - 10 = 0. Does 29 divide r?
False
Let t be (-4)/6*-3 - 2. Suppose 4*v - 14 - 6 = t. Is 3 a factor of v - ((-3)/3 - -3)?
True
Let o = -78 - -258. Suppose r + o = 5*r. Is 15 a factor of r?
True
Suppose -33 = -p - 5. Suppose 3*o = -o + p. Suppose o*z + 187 = 5*t + 4*z, 2*t = -2*z + 78. Does 19 divide t?
True
Let d(w) be the third derivative of -w**6/60 - w**5/12 - w**4/8 + 5*w**2. Is 20 a factor of d(-4)?
True
Let d be 2 - -3 - (-1 + 3). Suppose -163 - 53 = -d*m. Does 24 divide m?
True
Let l(v) = v**2 + 7*v + 7. Let p(a) = -1. Let b(r) = 2*l(r) + 6*p(r). Is 17 a factor of b(-9)?
False
Let r = 4 + -8. Is 16 a factor of (-3 + (0 - r))*16?
True
Suppose 0 = -2*u - 2*n - 18, u - 3*n = -0*n - 5. Let i = 4 + u. Let y(z) = -z + 2. Does 3 divide y(i)?
True
Suppose 8*p = 1587 + 85. Is 12 a factor of p?
False
Let u = 4 - 0. Is 4 a factor of (1*-6)/((-6)/u)?
True
Suppose 0 = 5*h + 2*j - 566, h - 3*j - j - 100 = 0. Is 8 a factor of h?
True
Suppose -5 = -l + t, 0 = -l + 2*t + t + 1. Suppose 4*f - 19 = -l. Is 3 a factor of f?
True
Let r be (-2 - -5 - 1) + -2. Suppose -3*n - 6*q + 150 = -q, r = -2*n - 5*q + 100. Let v = 84 - n. Does 15 divide v?
False
Let l(u) be the second derivative of u**6/120 - u**5/30 - u**4/24 - u**3/3 - 2*u**2 + 2*u. Let j(v) be the first derivative of l(v). Is j(3) a multiple of 3?
False
Suppose -b + 12 = 2*b. Does 3 divide 1/1 - (-24)/b?
False
Let y(b) = -4*b**2 - 2*b + 17. Let u(d) = -3*d**2 - d + 17. Let m(n) = 3*u(n) - 2*y(n). Is m(0) a multiple of 9?
False
Let a = -11 + 12. Suppose 0 = p + a, -5*p - 69 - 26 = -5*j. Is 9 a factor of j?
True
Suppose 0*p - 3*p - l = -90, -5*l = 0. Let x = p + -16. Is x a multiple of 7?
True
Suppose 0 = 3*c - 9, -2*t + 155 = -5*c + 52. Does 14 divide t?
False
