ple of 26?
True
Let o be (-46 - -2)*(-82)/8. Let v = o - 163. Does 16 divide v?
True
Suppose -3*r + 2*v = 4*v - 59, 0 = -r + 5*v + 31. Suppose r*l - 3794 = 7*l. Let b = -122 + l. Does 24 divide b?
False
Suppose -5 = -8*d + 27. Suppose c - 322 = -4*x, d*c - 3*x - 1274 = -5*x. Does 29 divide c?
False
Suppose 4*m - 7592 = 2*w - 0*w, -5*w = 3*m - 5694. Let f = 3132 - m. Is 39 a factor of f?
False
Suppose -g - 5*l - 4 = -5*g, -3*g + l + 14 = 0. Let n(w) = -w**3 + 6*w**2 + 3*w - 9. Let v be n(g). Suppose v*u - 70 = 4*u. Is 2 a factor of u?
True
Suppose 425*r + 380520 = 446*r. Does 12 divide r?
True
Suppose -2*g + 3*l = -0*l, 8*l = -16. Let k(n) = -n**3 - 8*n**2 + 5*n - 1. Let w be k(-6). Let z = g - w. Does 11 divide z?
False
Is (2/(-1))/(5*5/(-79525)) a multiple of 14?
False
Suppose -511056 = -51*d - 53*d. Is d a multiple of 25?
False
Let y = 388 - 202. Let q = y - 87. Let w = -24 + q. Is 10 a factor of w?
False
Suppose -3*f + 11 = 4*c - 2*f, 3*c - 4*f - 32 = 0. Suppose -c*t + 97 = 29*u - 26*u, -t + 173 = 5*u. Is 7 a factor of u?
True
Is 26 a factor of 277/((4/(-410))/(78/(-195)))?
False
Suppose -4*h + 13792 = 5*q, -3*h + 0*q - 4*q = -10343. Is h a multiple of 16?
False
Let k be (180/(-20))/((-1)/3). Suppose -7*x = -k*x + 16960. Is x a multiple of 40?
False
Let b(h) = -5 + 11*h**2 + 10*h - 2 + 0 - 8*h**2 + 10*h**2 + h**3. Is b(-9) a multiple of 17?
False
Is 68 + -68 - 1833*-3 a multiple of 117?
True
Let p = 121 + -118. Suppose 0 = p*s - 8*s + 305. Does 14 divide s?
False
Let w = -2192 - -1494. Let v = -99 - w. Is v a multiple of 41?
False
Suppose 14*z + 3184 = 10*z + 18008. Is z a multiple of 52?
False
Let a be -187 + (1 - 1) - (-9 + 7). Is (-1)/5*2 - 40774/a a multiple of 22?
True
Does 3 divide ((-20)/(-105))/(16/(-56))*-27?
True
Suppose 3*b = -2*q + 22437, -30*q - 14*b + 13*b = -336599. Does 110 divide q?
True
Is (18/12)/(3 + (-15237)/5080) a multiple of 20?
True
Let h(g) = -53*g**3 - 12*g**2 - 73*g - 325. Is 14 a factor of h(-7)?
False
Let p(b) be the second derivative of 4*b**3/3 + 91*b**2/2 + 54*b. Does 18 divide p(13)?
False
Suppose -3*v = -2*b + 311, 5 = -2*b + 7*b. Let o = 186 - 19. Let g = v + o. Is 32 a factor of g?
True
Let d be 14/49 - (-6)/(-21)*127. Let c(n) = n**3 - 6*n**2 - 3*n - 4. Let f be c(6). Let p = f - d. Is 4 a factor of p?
False
Is 23871 - ((16 - 2) + -11) a multiple of 34?
True
Let j(p) = -91*p + 10. Let r be j(-10). Suppose -2*i = 3*l - r, -5*l = 4*i - 111 - 1421. Is l a multiple of 44?
True
Let j(v) = -4*v - 9. Let r be j(-3). Suppose r*y = 7*y. Suppose -2*g = 4, h = -y*h + 4*g + 62. Is 27 a factor of h?
True
Let h(y) = 7*y + 5. Let i be ((-7)/2)/(-7)*(-2 + 4). Let q be h(i). Suppose -3*d + q = d. Does 3 divide d?
True
Suppose 31*d - 22076 = 56894 + 20230. Is 7 a factor of d?
False
Suppose 22557 = -41*a - 608. Let y = a + 1014. Is 21 a factor of y?
False
Let m(c) = -2*c**2 - c + 1. Let o(b) = -278*b**2 - 3*b + 4. Let f(v) = 2*m(v) - o(v). Is f(1) a multiple of 9?
False
Let c(k) = -k**2 + 47*k + 91. Let p be c(39). Suppose -3*f + 794 = -g, 2*g + 657 + p = 4*f. Is f a multiple of 11?
True
Suppose 2760 = -0*x + 6*x. Is (x/(-6) - -2)/(6/(-45)) a multiple of 40?
True
Let d = 544 - -645. Is d a multiple of 8?
False
Let s(z) = 8*z + 24. Let j be s(9). Let x = j + -111. Is ((-24)/x)/(2/70) a multiple of 14?
True
Let k(g) = 2*g - 15. Let p be k(0). Let l be (115/(-4))/5*(p - 1). Let q = l + 116. Is q a multiple of 16?
True
Suppose 2*z = -4*q - 4, 2*z - 11 = 2*q - 3. Suppose -c + 1922 = 4*l - 3*c, 0 = -l - z*c + 478. Is 30 a factor of l?
True
Does 86 divide 2/((-14)/(-459333)) + 2/(6/(-3))?
True
Suppose 4*q = 4*n + 28, -5*n - 13 - 10 = -q. Let m(t) = 2*t + 4*t + 6*t**2 - 6 + t + 6*t**3 - 7*t**q. Is 35 a factor of m(5)?
False
Let g(a) = 3*a + 6. Suppose 83*h = 86*h. Let n be g(h). Suppose -64 = n*q - 256. Does 2 divide q?
True
Let c = -33 + -16. Let x = c + 222. Let i = x + -105. Does 5 divide i?
False
Let k(m) = 3*m**2 + 40*m - 3. Let v = -157 - -166. Is k(v) a multiple of 10?
True
Let m(z) = -11*z**2 - 3*z - 1. Let q(b) = -b**3 - 20*b**2 + 22*b + 20. Let s be q(-21). Let f be m(s). Let j(l) = -2*l + 34. Is j(f) a multiple of 13?
True
Is 5 a factor of (-14)/84 - (-225244)/24?
True
Suppose 4*i = 9*i + 990. Let n = -63 - i. Is 12 a factor of n?
False
Let o(u) be the third derivative of 17*u**4/12 - 6*u**3 - u**2. Let k be o(6). Suppose 5*b + 3*b = k. Does 7 divide b?
True
Let n = 20642 - 12360. Does 13 divide n?
False
Let p be 15580/(-95) - 0/2. Let c = 494 + p. Does 11 divide c?
True
Let i = -528 + 3758. Does 16 divide i?
False
Suppose -2*l = f + 806, -5*f = -3*l - l - 1584. Let s = -306 - l. Does 5 divide s?
True
Let h(c) = -11*c**2 - 15*c + 1. Let n(r) = 20*r**2 + 30*r - 3. Let y(k) = -11*h(k) - 6*n(k). Does 3 divide y(27)?
False
Suppose 0 = -623*n + 604*n + 284810. Does 18 divide n?
False
Suppose -22*w + 39*w - 42890 = 7*w. Does 23 divide w?
False
Suppose -3*d - 1134 = 4*d. Let f = d + 212. Is f even?
True
Suppose 12*y - 55161 = -15*y. Is y a multiple of 44?
False
Let o(a) = 2*a**2 + 11*a + 1972. Is 5 a factor of o(-33)?
False
Suppose 4*v = 2*g - 4*g + 68, 5*v - 5*g - 55 = 0. Suppose o + v = 4*o. Suppose 4*w - 2*z = 3*z + 160, 4*z - 241 = -o*w. Is 18 a factor of w?
False
Let i = 5320 - -140. Does 36 divide i?
False
Let l be (-9)/6*(-2 + 0)*1. Suppose l*p = 654 + 165. Let i = 391 - p. Is i a multiple of 16?
False
Let b(r) = -r**2 - 21*r - 14. Let z = -241 + 224. Does 9 divide b(z)?
True
Let i = 23890 + -14711. Does 89 divide i?
False
Let k(c) = 2*c**2 + 6*c - 1. Let o be k(-8). Suppose 3*r = 6*y - y - 217, r - 3*y = -o. Let q = -51 - r. Does 13 divide q?
True
Suppose k = -i - 1621, 3*k - 4871 = 6*k - 5*i. Let a = -143 - k. Is 87 a factor of a?
True
Suppose -3504800 = -362*l + 2788826 - 1732426. Does 14 divide l?
True
Suppose -4*i = -14*i + 30. Suppose 0*w - w = 4*r - 466, -2*w + 921 = -i*r. Does 13 divide w?
False
Suppose 22*n = d + 26*n - 3266, 0 = d - 2*n - 3254. Suppose -10*x - d = -16*x. Does 10 divide x?
False
Let f = -15 + 49. Suppose -o = 4, -4*n + 179*o + 12 = 178*o. Suppose -18 = -j + 2*x, j + n*j - f = x. Does 7 divide j?
False
Let t(p) = 9*p**2 + 93*p + 2293. Does 95 divide t(-28)?
True
Suppose -21 = -4*n - 141. Is (1796/20 + -1)/((-12)/n) a multiple of 6?
True
Let h(w) = w**2 + 10*w + 18. Let m be h(-8). Is 284 + ((-5)/(-15))/(m/12) a multiple of 26?
True
Let h be 4/6 - 92/(-6). Let z(x) = 1567*x**3 + 5*x - 16*x**2 + 1575*x**3 - x - 9 - 3141*x**3. Is z(h) a multiple of 11?
True
Let v be (-2)/3 - (-344)/(-6). Let m = -2653 + 2767. Let j = v + m. Is 11 a factor of j?
False
Let j = 901 - 26411. Is 53 a factor of (-9)/(-81) - j/45?
False
Let s = -12 - -14. Suppose -4*v - 2*v = -s*v. Is -12 + 15 + (4 - v) a multiple of 7?
True
Let f(g) = g**3 - 4*g**2 + 3*g + 2. Let x be f(3). Suppose j + 0 = 2*i + x, 0 = -4*j - 4*i - 4. Suppose j = 2*v + 109 - 421. Is 18 a factor of v?
False
Let g(x) = 2*x**3 + 3*x**2 - 7*x + 6. Let o(k) = -3*k**3 - 2*k**2 - 4*k - 2. Let l be o(-1). Is g(l) a multiple of 11?
True
Let i = -12 + 32. Let j be (50/i)/((-5)/(-28)). Is (-947)/(-9) - j/63 a multiple of 26?
False
Suppose -199 = 2*z + 5. Let d = z - -106. Does 27 divide (-81)/d*(-48)/18?
True
Let o(d) = 0*d - 4 - 22*d - 11*d**2 - 1 + d**3. Let p be (6/4 - (-41)/(-82))*13. Is 8 a factor of o(p)?
False
Suppose 0 = 11*w + 231 - 275. Is 22 a factor of (-11)/(-1*((-24)/w)/(-216))?
True
Let g(k) = -7*k - 11. Suppose 9 = -8*w + 5*w. Let u be g(w). Suppose -u*y + 1048 = -522. Is 30 a factor of y?
False
Suppose 177*r - 169*r + 88 = 0. Let q(n) = -30*n - 29. Is q(r) a multiple of 19?
False
Let o = -13 + 9. Let p(k) be the second derivative of -k**5/5 - k**4/3 - k**3/6 - 149*k - 2. Is p(o) a multiple of 34?
False
Let j = 43 + -13. Suppose -4*k = -9*k + j. Let h = k + 26. Is 14 a factor of h?
False
Let m be (-3 - -6)*(-4)/(-3). Let w(n) = n**2 - 8*n + 14. Let t be w(m). Does 14 divide t - -59 - (0 - (-4 + 3))?
True
Let s(j) = 2*j**3 - 3*j**2 + 7*j - 4. Let v be s(4). Is (-467)/(-4)*3 - 26/v a multiple of 50?
True
Let u = 95 + -74. Does 2 divide (-5)/(35/u) + 9?
True
Let q = -128 - -139. Let h(j) = 4*j**2 + 45*j - 25. Is h(q) a multiple of 28?
False
Suppose -7*v + 75438 = -83791. Does 241 divide v?
False
Suppose t + 2*n - 6393 - 12714 = 0, 2*n = -5*t + 95