 c?
True
Let b be 2 + 52/9 - (-18)/81. Suppose b*d = 3*d - s + 2350, 1880 = 4*d - 3*s. Let z = d + -283. Is z a multiple of 17?
True
Let o be (-100)/(-40)*2*319. Suppose -4*g + 1276 = 2*h, -5*g - 4*h + o = -2*h. Is 10 a factor of g?
False
Suppose 554038 - 230997 - 3299177 = -218*z. Is z a multiple of 57?
False
Let g(n) = 2*n**3 - 11*n**2 - 4*n - 13. Let w(s) = -3*s**3 + 13*s**2 + 2*s + 14. Let p(j) = 4*g(j) + 3*w(j). Is 10 a factor of p(-5)?
True
Let m(i) = -i**2 - 2*i + 3. Let b be m(-3). Suppose b = 9*l - 6 - 21. Suppose -475 = -l*n + 188. Is n a multiple of 17?
True
Let j be (3 - 2)/((-2)/(-22)). Suppose 8*t = -j + 27. Is 8 a factor of 25/1 + -3 - t/(-1)?
True
Let s = -18 + 20. Suppose 3*p + 1 = -2*f + s, -4*f = -p - 9. Suppose f*a = -2*a + 120. Is 10 a factor of a?
True
Let w be -2 + ((-332)/(-1) - -2). Let z = 550 - w. Suppose 5*a - 2 = z. Does 11 divide a?
True
Let f = -14 - -21. Suppose 5*x - 3 = f. Suppose -x*s - 4*p = -2*p - 24, -2*p - 24 = -2*s. Does 7 divide s?
False
Suppose -4*f - 43 = -55. Suppose -5*a = -l - 1895, 0 = -a - f*l - 4 + 367. Does 9 divide a?
True
Suppose -10*f + 20 = -8*f. Suppose 38 - f = -2*w. Is 12 a factor of ((-14)/(-4))/((-1)/w) - 0?
False
Suppose 12*h = -h + 299. Suppose -34*p = -h*p - 770. Is 26 a factor of p?
False
Suppose -89*t + 76*t - 1499706 = -91*t. Is t a multiple of 29?
True
Suppose -6*m + 111*m = 406560. Does 11 divide m?
True
Let v(o) = 25*o**3 - 32*o**2 - 114*o**3 + 30*o**2 - 4 - 8*o. Is v(-2) a multiple of 48?
False
Let a = -957 + 477. Let j be (a/(-9) - -1) + 3/(-9). Suppose t - 2*n - j = -0*n, t + 4*n = 30. Is 7 a factor of t?
False
Let t = 43362 + -30306. Does 17 divide t?
True
Let o = 470 - 204. Suppose 9*j + o = 986. Does 4 divide j?
True
Let p(g) = -g**2 + 1. Let a = -22 + 21. Let q(t) = 5*t**3 + 4*t**2 - 1. Let w(c) = a*q(c) - 5*p(c). Does 5 divide w(-2)?
True
Suppose -3274520 = -114*a - 183410. Is a a multiple of 145?
True
Suppose 11*d - 1435 = 18*d. Is 14 a factor of (-26 + d)*(-4)/6?
True
Suppose 8*c = -20 + 100. Is (c*-2)/((-6)/12) a multiple of 4?
True
Suppose 36*a = 95*a - 382143. Is 108 a factor of a?
False
Suppose 0 = -16*g + 18*g + 12. Let q = g - -86. Let f = q + 15. Is 19 a factor of f?
True
Suppose -2848 = -2*r + 4761*l - 4759*l, -2*r = 3*l - 2868. Is 6 a factor of r?
True
Let y(t) = -t**3 + t**2 + 141*t - 30. Is 2 a factor of y(-13)?
False
Let t(o) = -111*o - 534. Is 14 a factor of t(-82)?
True
Suppose 0 = -193*o + 190*o + 56436. Is 7 a factor of o/42 - 88/(-924)?
True
Let y(m) = m**2 - 6*m - 37. Let o be y(19). Suppose 0 = -176*p + 181*p - o. Is p a multiple of 7?
True
Let g(u) = -u**3 + 39*u**2 + 130*u - 102. Is 6 a factor of g(42)?
True
Let t(g) = 1468*g**2 + 107*g - 249. Is t(3) a multiple of 82?
True
Suppose -39*l = -36*l + 5*r - 11659, l = 4*r + 3858. Is l a multiple of 7?
True
Let p = -220 - -278. Suppose -6*h + 2*h = -2*x - 82, 2*h - 152 = 4*x. Let l = x + p. Does 3 divide l?
True
Suppose 14*c - 9*c = 5*b + 5275, 3*c - 2*b = 3170. Is 26 a factor of 4 + (16/(-88) - c/(-22))?
True
Suppose 0 = 2*q - 5*q + 168. Suppose -2*o = 4, 0 = -5*g - o - q + 1374. Does 22 divide g?
True
Suppose 23*q = 19*q + 20. Suppose n - q*n = -288. Is 4 a factor of n?
True
Let s(j) = 3*j + 1. Let u(f) = 6*f**3 + 4*f**2 - 2*f - 2. Let k be u(2). Let z = k - 53. Is 3 a factor of s(z)?
False
Suppose 533*l + 20 = 532*l. Does 2 divide (-16)/l*195/26?
True
Let c(v) = -v**2 + 43*v + 488. Is 20 a factor of c(36)?
True
Let m = -40 + 53. Let g be -15 + m + 4*122/4. Suppose -h - 5*b + 85 = -38, -h + g = 4*b. Is h a multiple of 27?
True
Let g(b) = -10*b**2 - 78*b + 34. Let w(s) = -3*s**2 - 26*s + 12. Let h(i) = -3*g(i) + 8*w(i). Is h(-6) a multiple of 12?
False
Suppose 12*n + 4*p - 68624 = 8*n, 0 = -p + 4. Is n a multiple of 67?
True
Let n(r) = -12*r - 130. Let o be n(12). Let f = o - -531. Does 3 divide f?
False
Let o be (651635/106)/(5/4). Suppose -15*z + 8297 + o = 0. Does 13 divide z?
False
Suppose -764*g - 4*q = -759*g - 9829, g + 3*q - 1968 = 0. Is 11 a factor of g?
False
Is 21 a factor of (-1152)/(-15)*(732/18 + 6)?
False
Suppose o = 5*h + 684, -3*o - 3*h = o - 2759. Is o a multiple of 4?
False
Let u be 1243 + (44/(-33))/(4/(-15)). Suppose u = -42*z + 50*z. Is 12 a factor of z?
True
Let b(p) = p**3 - 2*p**2 - 27*p + 21. Let n be b(6). Suppose 5*u - 2*u + o - 1961 = 0, 3*u = -n*o + 1965. Is u a multiple of 22?
False
Suppose -35*l + 56*l = 42. Suppose -i + 5*h - 151 = -l*i, 3*h = 2*i - 367. Does 44 divide i?
True
Let r = 118 + -58. Suppose -9*s + 57 = -r. Is 13 a factor of (-4)/(-2 + s/7)?
False
Let l = 11821 + -6758. Does 26 divide l?
False
Let q = -38 - -38. Suppose q = -4*y - 148 + 1308. Suppose -2*d = -2*f + y, -104 - 345 = -3*f - 4*d. Is 21 a factor of f?
True
Suppose -9 = -q - 0. Suppose 0 = -4*k + q*k - 265. Let o = k + -44. Is o a multiple of 5?
False
Suppose -4*v = -5*f - 89, f + 2*f = 5*v - 43. Let q be (15/9 - 2) + 413/f. Let u = 33 + q. Is 2 a factor of u?
False
Let v = -27 - -52. Suppose 6*u - 5*u = -5*i + v, -5*i + 3*u + 5 = 0. Suppose -6*h = i*a - h - 44, 0 = a - 3*h + 6. Is 4 a factor of a?
False
Suppose -g + 5*p = -9100 - 14660, 6*g = -2*p + 142496. Is 25 a factor of g?
True
Suppose -l + 2 = -0*l. Let p be ((-396)/(-60) + -9)*11*-5. Suppose 8*a = l*a + p. Is a a multiple of 11?
True
Is ((-36)/(-96))/(5/20) - (-26785)/2 a multiple of 162?
False
Let i be -25*2/(-6)*3*-1. Let x(n) = -n**3 - 26*n**2 - 26*n + 20. Is 3 a factor of x(i)?
True
Suppose -4*x - 2*z - z = -168, 3*z = 4*x - 144. Suppose h - x - 53 = 0. Suppose -5*q + 103 + h = 0. Is q a multiple of 5?
False
Suppose -2*w - 3*t + 26 + 64 = 0, 0 = 4*w - 3*t - 144. Let z = w - 38. Is 3 a factor of (-116)/(-6) + ((-8)/(-12) - z)?
False
Let s be -1*(-3)/(-6)*(-2 - 2). Let y = 49 + -44. Is 7 a factor of s*35 + y*(-21)/(-35)?
False
Let o be 1/(-8) + (-2052)/(-32) + 3. Let f = o - -75. Suppose -n + 5*y = -85, -2*n + y = -f - 37. Is n a multiple of 15?
True
Let b = -116 + -6. Let d = -102 - b. Is d a multiple of 4?
True
Suppose 571 = -12*s + 3235. Is 23 a factor of s?
False
Let l(j) = -417*j - 36. Let z be (0 + 1)/(5 - 6). Does 11 divide l(z)?
False
Suppose -25*l - 48*l = 27*l - 1123200. Is 24 a factor of l?
True
Let b = 92 - 92. Suppose 6*l - 29*l + 10396 = b. Is 41 a factor of l?
False
Suppose -57 = -17*o + 266. Suppose -18*c = -o*c + 935. Is 71 a factor of c?
False
Suppose 5*y - 8*y = -1248. Suppose 2*u = 3*j + 1491, -3383 = -4*u + 3*j - y. Is u a multiple of 18?
True
Let x be (-1 + 0)/(1/(-24)). Let m = 84 - x. Suppose 0 = 5*t - d - m, -3*t = 5*d - 25 - 11. Does 12 divide t?
True
Let l(p) = 13*p**2 - 14*p + 806. Is 112 a factor of l(20)?
False
Let a be 7 - -10 - (4 + 2). Suppose -350 = a*z - 18*z. Does 19 divide z?
False
Is 74 a factor of 2*1 - (-3149 + (-299)/(-23))?
False
Let o(u) = -u**3 - 11*u**2 + 13*u + 10. Let p be o(-12). Is (p - 130/(-4))*(-2 + 22) a multiple of 39?
False
Let i = -20155 - -41176. Is 49 a factor of i?
True
Let o = 36 + -41. Let q(f) = -6*f**2 + 6*f + 6. Let i(g) = -7*g**2 + 5*g + 6. Let m(c) = o*i(c) + 6*q(c). Does 9 divide m(6)?
True
Suppose -3*v + 2*v = -25. Let l = v + -25. Is (4 + -3)*(44 + l) a multiple of 7?
False
Suppose -76 = -6*c - 22. Suppose 5*q - 467 = 5*a + 83, c = -3*a. Does 19 divide q/3 + (-3)/(-9)?
False
Let l(x) = 6*x**2 - 5*x + 2. Let p be l(1). Suppose f - 1157 = -v, 4*v + p*f - 5781 = -v. Does 21 divide v?
True
Let f = -70 - -75. Suppose f*d = 32 - 152. Is 15 a factor of (-3)/(74/140 - d/(-40))?
False
Let w = 12175 + -10479. Is w a multiple of 81?
False
Let b(c) = 1514*c**2 + 42*c + 88. Is 15 a factor of b(-2)?
True
Let a(v) = 60*v**2 - 2*v + 416. Is a(13) a multiple of 39?
True
Let o(i) = 148*i**2 - 70*i + 16. Is o(6) a multiple of 29?
False
Let x = -865 - -865. Let r = 2 - -3. Suppose x = r*g - 64 - 161. Does 17 divide g?
False
Suppose -5*q - 129 = -x - 7, x - 104 = -4*q. Let h = 146 - x. Does 17 divide h?
True
Let c = -7463 - -13819. Does 70 divide c?
False
Let j be 4/(-6)*(-11724)/8. Let s = j - 101. Does 73 divide s?
True
Let c = -97 - -57. Let t be (623/10 + (-8)/c)*2. Let s = t + -50. Does 14 divide s?
False
Let k = 804 - -7844. Does 46 divide k?
True
Suppose -26*z - 68 - 4170 = 0. Let y = -43 - z. Does 12 divide y?
True
Let x = 91 - 86. Suppose -4*m + f + 1144 = 0, -5*f = x*m + 566