/118?
True
Suppose 0 = 4*j + 2*h - 6*h - 5636, 5*j + h = 7033. Suppose 0*x + 2*x + 4*m - 2822 = 0, m - j = -x. Does 18 divide x?
False
Let s(p) = 39 - 25 - 82 + 55*p - p**2. Is 32 a factor of s(48)?
False
Suppose 4*c - 12*l + 13*l = 16179, 2*l + 8102 = 2*c. Does 22 divide c?
False
Suppose 2*v + a = 6, 1 = -3*v - 5*a - 4. Suppose 0*i = -5*d + 3*i + 1735, 0 = 2*d - v*i - 713. Is 12 a factor of d?
False
Is ((-13)/(-52) - 818/8)/((-3)/273) a multiple of 21?
True
Suppose -8*r = -12*r - 128. Let b = -29 - r. Suppose 4*v + 16 = a, -b*a + 5*v + 38 = -a. Is a a multiple of 6?
True
Suppose 0 = -3*w + 2*w - 19. Let g(y) = -y**3 + 14*y**2 - 31*y + 9. Let x be g(10). Let f = x + w. Is 8 a factor of f?
True
Suppose 3*u = 4*g + 46, -2*u + 7*u - 10 = 0. Does 9 divide (-24)/60 + -514*1/g?
False
Is ((-407)/22*(-1 - -3))/((-2)/166) a multiple of 7?
False
Let y(d) = 705*d**2 + 33*d - 62. Is 16 a factor of y(-6)?
True
Suppose 0 = -12*w + 4*w + 8264. Let o = -303 + w. Does 10 divide o?
True
Let n be ((-1)/1)/(14/182). Let i(t) = -t**3 - 14*t**2 - 18*t - 35. Is i(n) a multiple of 6?
True
Suppose -3*j + 9591 = 3*l - 0*l, 3*l = 5*j + 9639. Is l a multiple of 15?
False
Let k be -1 - -1*(2 - -4). Suppose -5*u + 19 - k = 3*b, -5*u - 1 = -2*b. Suppose j - b*j = -184. Does 37 divide j?
False
Let y(w) = -3*w**3 + 41*w**2 + 7*w + 11. Suppose -76 = -8*k + 28. Does 8 divide y(k)?
True
Suppose -2717 = -x - 3*g, 0 = -2*x - 3*g + 2984 + 2453. Does 16 divide x?
True
Suppose -2*r - 244 = -0*r + 4*a, -5*a = -3*r - 322. Let y = r - -189. Does 3 divide y?
True
Let k = 9295 - 7037. Does 78 divide k?
False
Suppose 3*r = 4*u + 23, r + 0*u - 2*u - 9 = 0. Let z(n) = -n**3 + 6*n**2 - 1. Does 2 divide z(r)?
True
Let p(l) = l**2 - 3*l + 2. Let n be p(4). Let z(w) = -4*w**2 + 12*w - 3. Let j be z(n). Does 12 divide (-17)/(4 - j/(-18))?
False
Let z(u) = u**2 + 19*u + 33. Let b be z(-17). Let r = b - -44. Is r even?
False
Is 3/4 - 37371/4*2/(-6) a multiple of 23?
False
Let v = -88 + 104. Suppose -v*f = -19*f + 69. Suppose f*k + 455 = 30*k. Is 20 a factor of k?
False
Let y = -69 + 69. Suppose i + 20 = -0*b + 2*b, -3*i + b - 35 = y. Is 5/i*1*-214 a multiple of 8?
False
Suppose 6398 + 2173 = 3*d. Let t = d - 1908. Does 73 divide t?
True
Suppose 0 = 3*h + 4*b - 17542, 2*h + 29*b - 11704 = 31*b. Does 90 divide h?
True
Suppose 0 = -2*w + 6*w - 8, -5*j - w = -87. Let y be j + 2/3*3. Let o = y + 4. Is 20 a factor of o?
False
Let u(j) = j**3 + j**2 - 2*j - 1. Let t(i) = 4*i**3 + 3*i**2 - 7*i + 45. Let p(f) = t(f) - 3*u(f). Is 2 a factor of p(0)?
True
Let z(b) = b**2 + 44*b - 5. Let k(d) = -15*d + 2. Let f(c) = 17*k(c) + 6*z(c). Let x be f(-2). Suppose 255 = -x*u + 13*u. Does 17 divide u?
True
Let y(r) = 3*r**3 + 9*r**2 - 16*r - 65. Does 19 divide y(8)?
True
Let y(d) = -4*d**3 - 3*d**2 - 77*d - 1155. Is 28 a factor of y(-17)?
False
Let h be 22/143 - (-50)/13. Suppose -h*v + 385 = 5*n - 273, 5*n - 661 = -3*v. Does 18 divide n?
False
Suppose 0 = 3*l - 4*f - 22, 0*l + 3*f = l - 14. Suppose 300 = l*x + 3*c, 5*x - c = 9*x - 620. Is x a multiple of 3?
True
Suppose 0 = z - 1 + 3. Let b = -1957 + 1909. Is 10 a factor of ((-800)/b)/(z/(-24))?
True
Suppose a = -2*z + 3*a + 12, -3*z = -4*a - 22. Suppose -h - 12 = -z*h. Suppose 0*v + 3*v = h. Is v a multiple of 4?
True
Suppose 109 = -5*a - 2*q, -2*a = -a + 3*q + 27. Let p(n) = n**3 + 19*n**2 - 46*n + 48. Is p(a) a multiple of 15?
False
Suppose c - 3120 = 16*c. Is 10 a factor of (-44)/(-154) + c/(-7)?
True
Suppose 27*d - 28*d + 13011 = -8*r, -3*r = 4*d - 52184. Is 5 a factor of d?
False
Let y = 9649 + -1332. Does 7 divide y?
False
Suppose 17 - 11 = k - 3*l, -5*l = -10. Let r(u) = u**2 - 7*u - 15. Is r(k) a multiple of 9?
True
Let m be (-5470)/(-35) - 6/21. Let u be 40/(-12)*m/(-5). Suppose -8*h + 4*h = -u. Is 9 a factor of h?
False
Is ((-46)/(-7) - -2)/(14*(-13)/(-214669)) a multiple of 15?
True
Suppose -69*x = 64*x - 134*x + 405. Is x a multiple of 15?
True
Suppose 12*w - 52 - 8 = 0. Suppose i + 1 + 7 = 5*d, w*i - 56 = d. Is i a multiple of 7?
False
Let t(l) = 2*l + 2077 + 123*l + 36*l - 2130. Is t(3) a multiple of 14?
False
Let d(l) = -4*l + 8. Let z be d(3). Let u(g) = -6*g + 24. Let h(v) = 5*v - 23. Let i(m) = z*u(m) - 5*h(m). Does 3 divide i(3)?
False
Suppose -6020 = -2*q + 2*x, 414 = 4*q - 5*x - 11631. Is q a multiple of 17?
False
Suppose 6*z - 45 + 15 = 0. Suppose -3*j = z*d - 64, 0*j + 5*d = 4*j - 62. Is 5 a factor of (-4)/j - (-272)/9?
True
Let g be 14 + ((-4)/12)/((-1)/(-6)). Suppose 3*d = -i + 40, g = 5*d + 2. Let x = i - -36. Does 10 divide x?
True
Suppose -8*a + 95 = -313. Suppose -g = -5, -g - a = b - 220. Does 25 divide b?
False
Let m(z) = 44*z**3 - z**2 + 2*z - 6. Let a be m(2). Suppose a = 2*d - 82. Is 11 a factor of d?
False
Let o be 1492 + (-3)/((60/(-8))/5). Suppose -o = -11*m + 1102. Suppose 7*a - m = 226. Is a a multiple of 33?
True
Is 1*2055*(5/80 - (-705)/752) a multiple of 3?
True
Suppose -9*t - 5*t + 98 = 0. Suppose t*l - 414 = 13*l. Does 12 divide (-8326)/l + (1 - (-10)/(-6))?
True
Suppose 1521 = 3*p - 3*o, 6*o - 9*o - 9 = 0. Let w = p - 370. Does 24 divide w?
False
Let o(n) be the third derivative of -n**6/120 - 2*n**5/15 + 19*n**4/24 + 22*n**3/3 + 53*n**2. Is o(-11) a multiple of 6?
True
Let t(g) = g**3 - 103*g**2 + 104*g + 2415. Is t(102) a multiple of 27?
True
Let x be 1*7*(-5 + 42). Suppose 3*p + 5*g + 172 = 0, p - 5*g + 10 + 14 = 0. Let i = p + x. Is i a multiple of 14?
True
Let a = -15 + 20. Suppose -z + 0*g = -a*g - 25, 0 = 2*z + 3*g - 24. Let t = 29 - z. Is 8 a factor of t?
False
Let a = -60 - -65. Suppose a*o = o - 16. Does 21 divide (-2)/o*-34*(2 + -9)?
False
Let l(g) = g**3 - 6*g**2 - 3*g - 4. Suppose 0 = -4*y + 5*p + 43, -5*y - 2*p + 6*p = -47. Let s be l(y). Is (s/(-5))/((-15)/400) a multiple of 16?
True
Suppose -20 = 4*j, -2*j + 30 = 25*y - 29*y. Is y/4*364*3/(-15) a multiple of 26?
True
Let r(x) = 13*x**2 + 12*x + 56. Let n be r(-15). Suppose n + 5641 = 14*t. Is t a multiple of 67?
True
Let u(n) = -n**2 - 30*n + 34. Let t be u(-14). Let m = t - -48. Does 51 divide m?
True
Suppose -8 = -c + 3. Let h = c + -6. Suppose h*t - 504 = 2*t. Does 10 divide t?
False
Suppose -6*a + 10*a = 3*l + 28534, -21363 = -3*a - 4*l. Is a a multiple of 60?
False
Suppose 3*m + 8*o = 12*o + 38736, -3*m + 38754 = 2*o. Is m a multiple of 62?
False
Suppose 248*h - 242*h = -5388. Let u = 1278 + h. Is u a multiple of 19?
True
Let y(f) = 183*f**2 + 1484*f - 12. Does 27 divide y(-12)?
True
Let x(n) = 7*n**2 - 191*n + 2912. Is x(16) a multiple of 4?
True
Let u be (30/(-180))/((-2)/8868). Suppose 0 = 14*p + u - 7557. Is 7 a factor of p?
False
Let p be (-2 + -3 + 9/(-63)*-28)*3. Let k(u) be the third derivative of -7*u**4/6 + 2*u**3 + u**2. Is k(p) a multiple of 28?
False
Is 27 a factor of 1/(-16)*8*-7648?
False
Let q = 3627 - 1472. Does 14 divide q?
False
Let u = -6095 - -11173. Is 35 a factor of u?
False
Let l be -6 - 42/(-7 - 0). Let f(s) = -s**3 + s**2 + 3*s + 90. Does 8 divide f(l)?
False
Let w be (-1)/(-5 - (-4229)/846). Suppose -w = -5*h + 2*d, -2*d - 639 = -4*h + 39. Is 42 a factor of h?
True
Suppose 0*d = v + d - 433, 5*v - 2165 = 2*d. Let g = -272 + v. Does 23 divide g?
True
Let u be (-16)/10*(-230)/(-8)*-10. Suppose -15*p - u = -20*p. Is 2 a factor of p?
True
Let s(n) = -n**2 + 5*n + 15. Let z be s(7). Is (-9)/7 + z + (-11376)/(-126) a multiple of 10?
True
Suppose -3*a - 201 = 3*h, 3*a + 3*h = -a - 270. Let t = 71 + a. Suppose 0*k = -k + 2, -t*z + 510 = -k. Is z a multiple of 13?
False
Let l = 72 - 334. Let j = l + 436. Is 29 a factor of j?
True
Let m be 16/(-6) + 14/21. Let y(x) = 42*x**2. Let r be y(-1). Does 9 divide (r - -3) + 0/m?
True
Suppose 168 = -2*q - 182. Let j = 298 + q. Does 13 divide j?
False
Let m(s) = -s**3 + 17*s**2 - 3*s - 86. Let o = 778 + -768. Is 24 a factor of m(o)?
False
Suppose 5*w + r - 495 = -r, 2*r - 91 = -w. Let v(z) = -z**3 - 44*z**2 + 91*z - 52. Let g be v(-46). Is 5 a factor of w/4 + g/24?
True
Suppose 57680 = -70*g + 126*g. Does 103 divide g?
True
Let d(t) be the third derivative of 209*t**5/60 + 2*t**3/3 - 71*t**2. Does 20 divide d(-2)?
True
Suppose n + 2*t + 133 = 3*t, 4*t = 4. Let y = 137 + n. Suppose -x = -5*u + 880, y*u + 2*x - 746 - 119 = 0. Does 14 divide u?
False
Let x(r) = 3*r + 32. Let i be x(-10). Let 