 + 28*z + 4888 = 0. Let b = z + 447. Is 37 a factor of b?
True
Let k be (57/(-38))/(3/39284). Does 12 divide 2/5 - k/70?
False
Does 146 divide (-12)/(-40)*-2 - (465311/(-35) - -8)?
True
Let o = 164 - 159. Suppose -167 + 1007 = o*i. Does 16 divide i?
False
Is 9*(-4)/(-66) + 1041418/154 a multiple of 26?
False
Let t = -415 + 738. Suppose 0*y + 969 = -3*y + 4*n, n = y + t. Let j = -211 - y. Is 16 a factor of j?
True
Let o = -20029 + 31045. Is 17 a factor of o?
True
Is (-4)/42 - (-415860)/630 a multiple of 7?
False
Suppose 0 = 3*a + 3*c + 108, -8*a + 4*c - 122 = -5*a. Let d = 73 - a. Does 14 divide d?
False
Suppose 2*s = -4*a + 1900, 3*a - 1289 - 136 = 4*s. Suppose -j + a = 4*j. Suppose u + j = 6*u. Is u a multiple of 8?
False
Suppose 0 = -4*r + 9*r - 60. Suppose 2*d - r = -4. Suppose n - 5*n - d*y + 736 = 0, 5*n - 928 = 3*y. Does 24 divide n?
False
Is 77 a factor of (9910 + 93)*(-2)/(-5 + 1 - -2)?
False
Let j(u) = 89*u**2 + u + 4. Let w be j(-1). Suppose w*v + 336 = 94*v. Does 21 divide v?
True
Let p = 15817 - 15446. Is 7 a factor of p?
True
Let y(p) = -5*p + 5. Let s be y(2). Let i(q) = 0*q**2 + 2*q**2 - 4 - 12*q - 3*q**2 + 2*q. Is i(s) a multiple of 5?
False
Let y = -232 - -244. Suppose y*q = 20*q - 8736. Does 28 divide q?
True
Let o be -21 + -77 + (1 - 5). Let g = 36 - 102. Let k = g - o. Is 13 a factor of k?
False
Suppose 929 = -7*m + 2455. Let r = -186 + m. Is r even?
True
Let s(t) be the first derivative of 2*t**3/3 - 2*t**2 + t + 25. Does 17 divide s(4)?
True
Suppose 2175 = -8*g + 7727. Let q = 826 - g. Is 2 a factor of q?
True
Suppose 0 = -18*x + 15*x - 11640. Let t be 7/2*x/(-70). Suppose t = 23*z - 21*z. Is 22 a factor of z?
False
Suppose 6 = -2*p - 2*z, 0 = 3*p - 8*p + 3*z + 25. Let c(o) = 65*o**3 - 6*o**2 + 5*o. Is 22 a factor of c(p)?
True
Let q = 10595 - 2541. Is 22 a factor of q?
False
Let b = 131573 + -92597. Is b a multiple of 112?
True
Suppose 0 = -405*n + 72*n + 10010313. Is 23 a factor of n?
True
Let g(t) = t**3 - 18*t**2 - 14*t - 8. Suppose -15 + 0 = -5*c. Suppose 2*f + 9 = h, h + h = c*f + 23. Does 11 divide g(h)?
False
Let c(z) = 18*z**2 + 226*z - 394. Does 50 divide c(26)?
True
Let s = 11065 - -8079. Does 4 divide s?
True
Suppose -6*a + 4744 = -9752. Is 25 a factor of a/10 - (-22)/55?
False
Suppose 2*u + 22238 = -w + 5*w, -3*u = w - 5556. Is w a multiple of 48?
False
Suppose 4*w - 5*h = 4146, -3*w + 2 = 3*h - 3121. Is w a multiple of 74?
False
Suppose -15*g - 182 = -16*g. Let a = 28 + g. Is 15 a factor of a?
True
Let c = -195 + 198. Is 5 a factor of -4*(3 - c - 6)?
False
Let r be (-24)/(-42)*(-7)/(-2). Suppose -6*h - 8 = -r. Does 3 divide (3 - 0 - h) + 23?
True
Suppose -21*o = 5*o - 111332. Is 19 a factor of o?
False
Suppose 3*u - 4*n + 0 = 26, -5*n = 10. Let z be 3/u - (-189)/6. Suppose -7*h + 80 = -z. Is 5 a factor of h?
False
Let l be -1*((-8)/56 + (-118)/7). Suppose -l*u + 1509 = -14*u. Is 28 a factor of u?
False
Suppose -7*t - 19 + 166 = 0. Suppose 610 = 31*a - t*a. Is 61 a factor of a?
True
Suppose 0 = 4*w - u - 4485, -21*w + 2229 = -19*w - 5*u. Suppose -2*a - 1 = 3, w = 4*v + 3*a. Is 11 a factor of v?
False
Suppose -6*a - 28125 = 6*a - 107925. Does 202 divide a?
False
Let h(j) = -23*j + 2. Suppose 2*l + 2*d + 2*d + 12 = 0, -l - 3*d = 10. Suppose -l*c = m + 6, -2*c + 3*m = -7*c - 17. Is 8 a factor of h(c)?
False
Let i = -8183 - -30700. Is 50 a factor of i?
False
Let p(x) be the second derivative of 0 - 1/20*x**5 - 3/4*x**4 - 2*x**2 + 27*x - 14/3*x**3. Is 26 a factor of p(-8)?
True
Let p(v) = 3*v**2 - 2*v + 27. Suppose -l + 3*c = 4*l - 22, -l - 4*c = -9. Suppose -2*u = -l + 15. Does 20 divide p(u)?
False
Let o(x) = -2*x**3 + x**2 - 3*x + 1988. Is o(0) a multiple of 7?
True
Let x(j) = 12*j**2 + 251*j - 17. Is 12 a factor of x(-23)?
False
Let r = 3736 + 5949. Does 114 divide r?
False
Let v = -9321 - -13821. Is v a multiple of 26?
False
Let k(s) = s**3 + 7*s**2 - 2*s + 2. Let v(d) = d + 3*d + 3 - 2*d. Let q be v(-5). Does 8 divide k(q)?
True
Suppose -4*t = -5*r + 110572 - 27075, -3*r + 5*t + 50093 = 0. Is 54 a factor of r?
False
Suppose -67*a + 351*a = 6334904. Is 15 a factor of a?
False
Let c = -2273 - -6341. Is 113 a factor of c?
True
Suppose 21*m = 548 + 628. Let t = 208 + m. Does 33 divide t?
True
Suppose -212 = -13*n - 524. Is (517/(-94))/((-2)/n*-2) a multiple of 4?
False
Let h(u) = -895*u - 57. Let f be h(-3). Let y = f + -1528. Does 110 divide y?
True
Let z be -1 - 4/((-8)/6). Let x(i) be the second derivative of 5*i**3/2 + 2*i**2 - 267*i. Is 10 a factor of x(z)?
False
Suppose 503 = -5*r + 5*j + 678, j - 6 = 0. Is 6 a factor of r?
False
Suppose -741 = 5*r - 13846. Is 26 a factor of r?
False
Suppose -q = -5*x + 45, 2*x + 5*q - 1 = 17. Suppose -x*r - 61 - 263 = 0. Is 15 a factor of (r/(-10))/((-21)/(-1400))?
True
Suppose -24 = -y - 7*y. Suppose f - 170 = t, -2*t + 11 = y. Does 6 divide f?
True
Suppose 49 = -3*g + 5*l + 18, g = 4*l - 22. Let w(m) = 17*m + 4. Let u be w(g). Is 337/6 + (-85)/u + -3 a multiple of 8?
True
Let t be 1/2*(-4)/(-6)*-21. Does 9 divide t + 3 + 193/1?
True
Let p(j) = -10*j**2 + 30*j - 39. Let t(o) = 5*o**2 - 15*o + 20. Let m(h) = -3*p(h) - 5*t(h). Is 23 a factor of m(16)?
False
Does 4 divide (19/(-2) - -1)/((-1)/(-2736)*-9)?
True
Is -34*1/(-3)*32769/66 a multiple of 9?
False
Suppose -3*c + 349 = -1811. Let d = c + 22. Is d a multiple of 69?
False
Let o = 14 + -10. Let p be ((-23)/(-46))/(-2*(-1)/16). Suppose -o*m = -v + 107, -2*v + p*v + m = 250. Is v a multiple of 7?
False
Suppose -227901 - 238651 = -116*l. Is l a multiple of 18?
False
Let t(o) = 466*o**2 + 4*o + 6. Let j be t(-4). Let w be (-2)/(-9) + (-1)/((-27)/j). Does 10 divide w/14 + (4 - (-130)/(-35))?
True
Let v(u) be the third derivative of -u**6/120 + 2*u**5/15 - 5*u**4/24 + 2*u**3/3 + 15*u**2. Let z be v(5). Let d = z - 8. Does 46 divide d?
True
Suppose 5*m + 91 = -x, 3*x - 2*m = -213 - 77. Let l = -172 - x. Is 15 a factor of 15 - 13 - (1 + l)?
False
Suppose 0 = -2*d + 21*d - 19. Is 1 - (-3 + 1) - -218*d a multiple of 31?
False
Is (-6072)/(-55) - 5 - (-6)/(-15) a multiple of 7?
True
Let p be 30/(-1)*(-11136)/290. Suppose -4*t = -716 - p. Is 64 a factor of t?
False
Let x be 5*(1 + 3/(-15)). Is x/34 + (-674)/(-102)*87 a multiple of 23?
True
Let y(p) = p + 13. Let h be y(-7). Suppose h = -3*d, -4*d - 84 = 3*x - 895. Does 11 divide x?
False
Let p(u) = -36*u - 18. Let f(i) = -36*i - 18. Let o(s) = -5*f(s) + 6*p(s). Let b be o(-4). Suppose -2*d - 5*r = -70, -3*r = -5*d + 2*d + b. Does 9 divide d?
False
Is 37 a factor of (-30)/5 + (-7 - -5) - -3641?
False
Let i(l) = -167*l - 2231. Is i(-39) a multiple of 51?
False
Let i = -56 - -65. Suppose 0 = -i*o + 6*o + 393. Suppose o = 9*w - 85. Is w a multiple of 8?
True
Suppose -2*x = -3*n + 186, -3*x = 4*n - 123 - 125. Suppose -3*y - 3*v = -72, -v - n = 5*y - 174. Suppose -y*h + 1372 = -15*h. Does 20 divide h?
False
Let r(o) = 9*o**3 + 12*o**2 - 28*o. Is 16 a factor of r(8)?
True
Suppose -4*h - y + 689 + 2427 = 0, 20 = -5*y. Does 29 divide h?
False
Let w = -5597 + 8301. Let l = -1640 + w. Does 38 divide l?
True
Suppose 5*u - 6*u - 5*u = 0. Suppose u = c - 5*y, -4*c = -4*y + 23 + 9. Does 33 divide (-65 + -1)*5/c?
True
Let x(c) = 424*c + 3255. Is x(31) a multiple of 31?
True
Let o = -616 + 959. Let t = 855 + -348. Let b = t - o. Does 12 divide b?
False
Suppose 0 = -u - u + 8, -2*m + 220 = -u. Let k = m - -32. Is 24 a factor of k?
True
Suppose 2*f + 102*i - 100*i = 17030, 0 = -4*i + 20. Does 23 divide f?
True
Suppose 12*y = 14*c + 8*y - 270534, 0 = -5*c - 2*y + 96609. Does 15 divide c?
False
Is 57 a factor of ((-12045)/110)/(18/(-916)) - (-4)/6?
False
Let h(g) = -1719*g - 3129. Is 16 a factor of h(-9)?
False
Let j(z) = 4*z**2 + 8*z. Let n be j(-2). Suppose -5*w - 516 = -7*w + 4*s, n = -2*w + 5*s + 520. Is 25 a factor of w?
True
Suppose -18*g + 45119 = -18961. Is g a multiple of 6?
False
Let n(v) = v**2 + v. Let s be n(1). Suppose -5*u - s = -6*u. Suppose -u*q + q + 65 = 0. Is 34 a factor of q?
False
Let v(a) = 4*a**2 + 57*a + 12. Let g(q) = -4*q**2 - 57*q - 12. Let y(p) = 4*g(p) + 5*v(p). Is 7 a factor of y(-19)?
False
Let h(y) = -5*y - 79. Let g be h(-16). Is (-1323 + 4 - -1)/(-3 + g) a multiple of 45?
False
Let m be (-1 - (-5 - -5))*-13. Suppose -m*p + 5*o + 1066 = -10*p, o = -4*p + 1406. Does