 = 208 - v. Is w a multiple of 19?
False
Let l = -6 + 8. Suppose 4*a + 3*r = 110, -a + 3*r + l*r + 16 = 0. Suppose -k = -0*k - a. Does 12 divide k?
False
Let p be (-3)/9 + (-697)/(-3). Suppose -5*c + 291 = j, -2*c + p = 2*c + j. Let x = c - -4. Is 31 a factor of x?
False
Is 15 a factor of (54/2)/(3/15)?
True
Suppose -12*u - 5*d = -10*u - 4203, -2*u - 3*d = -4205. Is u a multiple of 26?
False
Suppose 5*p = v - 748, 5*v - 4*p = 3080 + 744. Is v a multiple of 8?
True
Suppose 0 = 5*r - 0*r + 25. Does 17 divide (-2 - 15/r)*17?
True
Let c be 8/12*33 + 2. Suppose 2*l = -4*b + c, 5*b - 33 = -4*l + 24. Is l a multiple of 13?
False
Let u(a) = -a**3 - 12*a**2 - 12*a - 3. Suppose -4*s + 38 = -2*k, 0*k - 4*s = -3*k - 49. Let c be u(k). Is 2/c*0 + 51 a multiple of 15?
False
Is 54 a factor of (88/16)/((-4)/(-168)*3)?
False
Suppose 444 = 5*q - 3*u, 0 = -2*q + 4*u + 72 + 114. Let h = 263 - q. Is 8 a factor of h?
True
Let n = 580 + -478. Is n a multiple of 6?
True
Let i(j) = 16*j + 125. Is 23 a factor of i(36)?
False
Suppose l = -3, 7*b - 2*b + 9 = -3*l. Suppose b = 7*h - 4*h - 90. Is 15 a factor of h?
True
Suppose -520 = -4*b + 2*n, 3*b + 2*b - 5*n - 660 = 0. Is 6 a factor of b?
False
Let v be (-84)/35*(-40)/6. Let s be ((-12)/v)/((-1)/4). Suppose t + 2*j + 32 = s*t, 0 = j. Is 9 a factor of t?
False
Let q = 2275 + -1131. Does 44 divide q?
True
Does 11 divide 68/(-4)*(-2618)/34?
True
Let o(m) = -m**2 + m. Let v be o(1). Suppose -3*b + v*b = -9. Suppose -b*d - 4*q + 181 = 0, 224 = 7*d - 3*d + q. Is d a multiple of 16?
False
Let k = 7908 - 5579. Is 64 a factor of k?
False
Suppose -2*u - 2*l = -308, 5*u - l = -0*l + 746. Does 25 divide u?
True
Let r(l) = l**2 + 13*l + 5. Let c be r(-13). Suppose c*m + 5*n = 40, -4*m - n = 2*n - 35. Is 5 a factor of m?
False
Let k be 54/(-4)*2/3. Let c(f) = -13*f - 2*f**2 + 4 - 16 - 3*f**2 - f**3 - 5*f**2. Does 12 divide c(k)?
True
Suppose -4*o = 784 - 292. Let r = 398 + o. Suppose r = 5*i - 30. Is 36 a factor of i?
False
Suppose 4*n + 16 = 0, -645 = 5*a + 5*n - 10*n. Suppose -v = 2*u + 57, -4*u + 264 = -2*v - 2*v. Let c = v - a. Is 16 a factor of c?
False
Suppose x + 13 = 19. Let f be (-42)/35*(-15)/x. Suppose 3 = -f*g + 24. Is g even?
False
Let t(p) = 5*p. Let s be t(5). Suppose -w - s = v, v + 2*v + 9 = 0. Let n = w + 29. Does 7 divide n?
True
Let t be ((-9)/6 + 4)*8/5. Suppose -t*v = -2*v - 38. Is v a multiple of 9?
False
Let o be 15/(-90) - (-1)/((-12)/(-86)). Let j(r) = 2*r**2 - 3*r + 7. Is j(o) a multiple of 6?
True
Suppose 5*r + 5 = 90. Suppose 28*u - 29*u - 15 = 0. Let q = r + u. Is q even?
True
Let k be (16/10)/(0 - (-3)/45). Suppose 7*n + k = 8*n. Does 11 divide n?
False
Does 17 divide 2/(-4)*(-1116 - (15 + -9))?
True
Let y(n) = -4 - 3 - 4*n - 11*n + 14*n. Let g = -25 + 12. Does 4 divide y(g)?
False
Let o be 3*(4/6)/1. Let d be 30/7 + o/(-7). Suppose d*j + j - c - 130 = 0, 5*c - 25 = -2*j. Does 25 divide j?
True
Suppose 6*h - h = -90. Suppose 17*z - 1405 = -317. Let y = z + h. Is y a multiple of 23?
True
Suppose -18*a + 11907 = 9*a. Is 49 a factor of a?
True
Suppose -20*h + 17280 = 10*h. Is 24 a factor of h?
True
Let p(o) = -o**3 - 16*o**2 - 15*o + 4. Let h be p(-15). Suppose -4*j + 16 - h = 0, 3*j = -f + 17. Is 4 a factor of f?
True
Let m be 4 + ((-27)/(-6))/((-1)/(-40)). Suppose -12*c + m = -332. Is 18 a factor of c?
False
Suppose 16 = 5*m - 24. Is 34 a factor of ((-12)/m)/((-3)/136)?
True
Let b = 198 + -199. Suppose -2*m = -6*q + 2*q + 116, 0 = -5*q + m + 151. Let k = q - b. Does 6 divide k?
False
Let o be (-1)/(-1) - (-29)/1. Suppose -11 - 13 = -12*y. Suppose 0*x - 5*i = x - o, 0 = -4*x - y*i + 48. Is x a multiple of 5?
True
Suppose -w + 2*k = -1338, 30*w - 3974 = 27*w - 4*k. Is 14 a factor of w?
True
Is 18 a factor of ((-176)/110)/(3244/(-1080) - -3)?
True
Suppose 6*t - 2244 = 720. Does 26 divide t?
True
Let j(r) = 10*r + 20. Let d be j(-2). Does 8 divide (d + 1)/(4/64)?
True
Let n(u) = 29*u + 323. Is 18 a factor of n(23)?
True
Suppose -19 - 14 = -11*l. Suppose l*j - 8*j = -60. Is j a multiple of 5?
False
Let k be (36/14)/(13/910). Suppose 3*i - 2*i - 82 = 2*n, 0 = -4*n - 2*i - k. Let g = -27 - n. Does 7 divide g?
False
Let l = -533 + 1585. Suppose -188 = 3*w - l. Suppose 7*z - w = -z. Is 18 a factor of z?
True
Let z(i) = i**3 - 11*i**2 - 6*i + 4. Is 44 a factor of z(13)?
True
Let p be (-19)/3 + 4/(-6). Does 5 divide 24/((21/(-2))/p)?
False
Let j = 184 + 278. Does 26 divide j?
False
Is (-6)/14 - (-6 - (-101)/(-7)) a multiple of 5?
True
Suppose 3*a + 11 = -22. Let t = a + 26. Suppose t + 37 = z. Is z a multiple of 26?
True
Let i = -83 + 42. Does 8 divide i/((-21)/9 + (-4)/(-2))?
False
Let g be 9/(-6)*(-12)/9. Let y(j) = 4*j - 4. Let t be y(g). Suppose 0 = d - 3, -t*a + 0*d = 5*d - 35. Is 2 a factor of a?
False
Let l(v) = -17*v**3 + 2*v**2 - v - 4. Does 20 divide l(-2)?
False
Suppose 19*v + 10469 = 44745. Is v a multiple of 22?
True
Let y = 183 + 1592. Does 71 divide y?
True
Let a(d) = -2*d**3 - 4*d**2 - 2*d - 14. Is a(-6) a multiple of 26?
True
Suppose 2 = 3*v - 1, v = 3*i + 31. Let w(j) = j**3 + 11*j**2 - 2*j - 3. Is w(i) a multiple of 39?
True
Let h = 1637 - 1551. Does 3 divide h?
False
Suppose 3*o = 1785 + 294. Is 72 a factor of o?
False
Suppose 2*u - 2*q = -2, u + 2*q - 4*q - 1 = 0. Is 13 a factor of 5 + u + 52 + (3 - 5)?
True
Suppose -7*c + 295 = -2*c. Let n = c - 0. Does 20 divide n?
False
Suppose 3*a - 8 + 2 = 2*u, 2*u - 2*a = -4. Suppose u*n = -3*n + 24. Does 5 divide ((-12)/n)/((-6)/64)?
False
Suppose -4*z = 2*n + 3*n + 50, 0 = -4*z - 2*n - 44. Is 4 a factor of (-12)/18*z/(-4)*-36?
True
Let k = 853 - -90. Does 41 divide k?
True
Let q(g) = -4*g**2 - 9*g**3 - 22*g**3 + 3*g**2. Does 10 divide q(-1)?
True
Let u(w) be the second derivative of w**4/12 - 5*w**3/2 + 21*w**2/2 + 14*w. Is u(14) a multiple of 4?
False
Let t(f) = -7*f - 3. Let i be t(-1). Is 7 a factor of (1 + -2 - 0)*(-5 - i)?
False
Let h = -5 - -4. Is h + (6/27 - (-1616)/18) a multiple of 28?
False
Suppose -3*r - 165 = -8*r. Let x be 4659/r + 4/(-22). Suppose h - 4*h + x = 0. Does 12 divide h?
False
Let z(x) = -x**3 - 7*x**2 - 2. Let y be z(-7). Is 40 a factor of 250 + (-5 - (y + 2))?
False
Suppose 17*c - 12*c + 450 = 0. Let v = c + 126. Is 4 a factor of v?
True
Suppose 0*b = -3*y - 2*b + 704, 3*y - 680 = 4*b. Is 58 a factor of y?
True
Does 10 divide 11440/780*(-66)/4*-1?
False
Let q = -53 - -198. Let r = q - 83. Does 22 divide r?
False
Let j be -4 - 3/3*-1. Let p = j - -30. Does 9 divide p?
True
Let s(b) be the first derivative of b**3 + 1 - 6*b + 0 - 6 + 2*b**2 - 2. Is 20 a factor of s(-6)?
False
Let z = -46 - -48. Suppose z*h = -7*h + 693. Is h a multiple of 13?
False
Let j be 12/(-18) - (-10)/(-3). Let o(y) = 7*y**2 - 1 + 3*y + 2*y**2 - 7*y**2. Is o(j) a multiple of 19?
True
Suppose -v - v + 40 = 0. Is 6 a factor of ((-48)/(-40) + 3)/(2/v)?
True
Let q(k) = 4*k - 16. Let f be q(5). Suppose -5*i + 2*p + 126 = 0, p + f*p = -15. Does 3 divide i?
True
Let z = -21 - -23. Let r(t) = t**3 + 3*t**2 + 3. Is r(z) a multiple of 5?
False
Let u(m) = -3*m**3 + m**2 + 2*m + 2. Let n = -3 - -1. Let v be u(n). Suppose 2*c = v + 26. Does 6 divide c?
False
Let j = 232 - -272. Let f be 2/13 + j/104. Suppose -3*k + 4*x + 101 = 0, f*k = -0*k - 3*x + 207. Is 13 a factor of k?
True
Let h(z) = 30*z - 199. Is 79 a factor of h(15)?
False
Suppose -5*p + 1239 = 199. Is p a multiple of 36?
False
Let g(a) = -6*a - 11. Let u(n) = -n - 1. Let h(r) = g(r) - 5*u(r). Let v be h(-6). Suppose 3*w - 66 = -2*z + 72, -w + 3*z + 46 = v. Is 29 a factor of w?
False
Let f(u) = -u**2 + 14*u + 5. Let x be f(14). Let v be (-1)/(-3)*(x + 1). Suppose -3*j - v*k = 3*k - 180, 4*k + 43 = j. Is 11 a factor of j?
True
Suppose -2*t + 5*t - v = 300, 5*t - 5*v = 500. Is 11 a factor of t?
False
Let i(a) = 3*a**2 - 4*a - 7. Let v = -1 + 5. Is i(v) a multiple of 5?
True
Let t(o) = 33*o**3 + 7*o**2 - 23*o + 63. Does 20 divide t(3)?
False
Does 33 divide -13*1*432/(-18)?
False
Suppose -3*s - 111 = -6*s. Let l be s*-1*(-3)/3. Suppose 6*q - 5*q = l. Is 9 a factor of q?
False
Suppose -10*t = -8*t - 10. Suppose t*b = -3*s + s + 84, -b - 168 = -4*s. Does 14 divide s?
True
Let q = -549 - -1093. Is q a multiple of 17?
True
Let u = -11 + 14. Suppose r - u*c = -4*r + 103, 0 = -c - 1. Is 5 a factor of r?
True
Suppos