es 27 divide s?
True
Let h be -5 - -5 - -3 - (-488 + -1). Suppose 5*x = 5*f + 1100, 5*x - 3*f - 1600 + h = 0. Does 36 divide x?
False
Let u(s) = -39*s**3 + 2*s**2 + 5*s + 5. Let m be u(-2). Suppose m = -7*c + 2*c. Let a = 120 + c. Does 14 divide a?
False
Suppose -40 = 2*y - 56. Let k be 1 + (y/(-2) - 25). Is 798/k*(-8)/6 a multiple of 19?
True
Suppose -6 = -2*y - 4. Suppose 6*u = 11 + y. Suppose 3*p - 5*f - 475 = 0, 0*p + u*f + 160 = p. Does 14 divide p?
False
Let h = 27890 - 18493. Is 89 a factor of h?
False
Let a(p) = 19*p**2 + 97*p + 508. Does 22 divide a(-6)?
False
Let o be 38/10 + -4 - 88/10. Is o/(-15) + (-6030)/(-75) a multiple of 9?
True
Suppose 3*j = -3*n + 1548, -2*j - 358 - 1170 = -3*n. Let u = n + -322. Is 10 a factor of u?
True
Does 56 divide (16/3 - (-35)/(-7))/(4/133308)?
False
Let c be (-25158)/98 + 4/(-14). Does 13 divide (c + 6/(-2))/(3 + -4)?
True
Let r = -2732 - -9218. Is r a multiple of 13?
False
Let c = -7 - -11. Let t(p) = 4*p + 90. Let n be t(-21). Suppose -2*b = -2*x - 274, c*x = 2*x + n. Is 26 a factor of b?
False
Let w = -2525 + 11821. Is w a multiple of 43?
False
Let y = -363 - -111. Let i = y + 111. Let v = i - -201. Is v a multiple of 30?
True
Suppose -146174 = -114*o + 8*o. Is o a multiple of 14?
False
Suppose 3*a = -4*u + 1837, -3*a - 3*u = -254 - 1582. Suppose -6*m = -4301 + a. Does 15 divide m?
True
Let n = 31 - 6. Suppose -c = -0*c - u - 9, -n = -5*c - 5*u. Is 25 a factor of (3 + c)/((-12)/(-30))?
True
Suppose 100*c = 326866 + 112334. Is c a multiple of 26?
False
Let t = 170 + -81. Suppose 180 = -5*u + 3*h, -3*u - t = h + h. Let n = 50 + u. Is 2 a factor of n?
False
Suppose -3*d = -2*c + 9, c = 4*c + 2*d - 7. Suppose c*j - j = -5*b + 2085, j - 1041 = -2*b. Is 20 a factor of j?
False
Suppose 2*d - 5*d + 3*z + 6 = 0, -d + 2*z + 2 = 0. Let i(f) = 3 + 0*f**3 - 4*f**3 - d*f + 0*f**3 - 2*f**2 + f**3. Does 37 divide i(-3)?
False
Let w = -424 + 427. Let k(m) = 3*m**2 - 6*m - 5. Let r be k(-6). Suppose w*s + 4*h = r, s + h - 47 = -h. Is 9 a factor of s?
True
Let s be (18/(-10))/((-183)/610). Suppose -s*h - 644 = -2276. Is h a multiple of 17?
True
Let r(l) = 10*l**2 - 6*l - 58. Let g be r(-7). Suppose 3*u = 5*h - 2394, -h - 9*u + g = -12*u. Does 48 divide h?
True
Let u(l) be the second derivative of -3*l**5/10 + l**4/6 - 2*l**3/3 - 2*l**2 + 75*l. Is 30 a factor of u(-5)?
False
Suppose 5*x - 17985 = -4*i, i - 4225 = 5*x + 315. Does 53 divide i?
True
Is 9*9/(-9) + (5613 - -12) a multiple of 13?
True
Let i be -15*4*(-2)/(-8). Let p be i*(-1288)/(-24)*2/(-7). Suppose -5*j + p = -90. Does 32 divide j?
True
Let s = -234 + 161. Let i = -69 - s. Let u(h) = 6*h**2 + 3*h. Does 18 divide u(i)?
True
Let f = 245 - 262. Is 10 a factor of 613/6 - f/(-102)?
False
Suppose -r = 18*m - 22*m + 1854, -4*m = 5*r - 1890. Is 15 a factor of m?
True
Suppose -838222 - 154728 = -175*k. Is 42 a factor of k?
False
Let h(o) = -13*o - 3. Let w be h(-3). Suppose -18 = -w*t + 34*t. Is -20*((-81)/6)/t a multiple of 10?
True
Suppose 2*i - 2*l - 450 = 0, -5*l + 1118 - 191 = 4*i. Suppose -2*k + 136 = -0*k. Suppose 4*y - i = -k. Does 10 divide y?
True
Suppose -8*b + 622 = 22. Let u = 408 - b. Does 26 divide u?
False
Suppose -4*b + 68092 = -a, 0*b + 17036 = b + 3*a. Does 16 divide b?
True
Suppose 0*w + 2*w = -4*j + 30, -w + 3*j = 0. Let a be (-6 + 3)*(-6)/w. Let v = 11 - a. Is v a multiple of 9?
True
Let k = -40385 + 60567. Is 16 a factor of k?
False
Let w = 371 - 191. Suppose -27 + 87 = 2*v. Suppose 5*j + v - w = 0. Is 6 a factor of j?
True
Suppose -19 = -z + 2*x + 2, -2*z - 2*x + 66 = 0. Suppose 31 + z = 12*h. Suppose -2*f - h*i + 35 = f, 0 = 4*f - 3*i - 66. Is f a multiple of 14?
False
Suppose x - 3*r + 26662 = 3*x, 4*r = 32. Is 64 a factor of x?
False
Let o = 448 + -96. Suppose 5*q - o = q. Suppose -b + q = -0*b - 5*x, -3*b - 5*x + 244 = 0. Does 13 divide b?
False
Let a(s) = -2*s**3 - 14*s**2 + s - 1. Let g be a(-7). Is 14 a factor of (-14*6/8)/(1/g)?
True
Suppose 70*h + 18284 = 4*t + 69*h, 3*t = 2*h + 13713. Does 90 divide t?
False
Let d(y) be the third derivative of -9*y**6/20 - y**5/60 - 13*y**4/24 - 11*y**3/6 - 41*y**2. Does 12 divide d(-2)?
False
Let u be 30/25*(-120)/(-18). Is 48/(-128) + 123/u a multiple of 15?
True
Suppose -b = u - 19967, 0 = 4*u - 3*b - 48058 - 31852. Is u a multiple of 14?
False
Let r(s) = -4*s**3 - 4*s**2 - 3*s + 18. Let y(m) = 11*m**3 + 11*m**2 + 10*m - 52. Let b(c) = -8*r(c) - 3*y(c). Is 36 a factor of b(-4)?
False
Suppose -39*a + 35 = -4. Is 15 a factor of (-3)/a + (-2 - -219) - 4?
True
Let m(d) = -d**3 + 5*d**2 - d - 9. Let z be m(4). Suppose -j = z*j + 1232. Let y = -148 - j. Is 25 a factor of y?
False
Let b(x) = -787*x - 1433. Is 143 a factor of b(-6)?
True
Let a = 5 - 1. Let l be -4 + a - 14*-9. Suppose -3*p = -p - l. Does 13 divide p?
False
Suppose 23539 = 14*n - 16739. Does 30 divide n?
False
Let c(g) = 12*g**2 + 28*g - 605. Is c(-23) a multiple of 28?
False
Let u be (-9 + 2 + -157)/(-1 - 1). Let z = 196 - u. Is 38 a factor of z?
True
Let j be (2 + (-12)/(-10))*(-875)/25. Let u = j - -117. Suppose -h + 48 = 2*i - 66, u*i - 286 = -2*h. Does 16 divide i?
False
Let s(r) = 3*r**3 - r**2 + 2*r - 12. Let n(z) = -z**3 - 13*z**2 - 10*z + 139. Let g be n(-11). Is 67 a factor of s(g)?
False
Let d(a) = a**2 + 2*a - 8. Let p be d(-5). Suppose -3*w - u = 77, 5*u = 2*w - p*w - 115. Let m = w - -49. Is m a multiple of 22?
True
Let r = -62 - -66. Let w be 23/r*-2*2. Is 18 a factor of w/(2/6*-3)?
False
Suppose -w = 4*u, -5*w + 5*u + 58 - 8 = 0. Is 21 a factor of 3026/w + 6 + 175/(-28)?
True
Let x be -2*(-11)/(-22)*(0 + 21). Is 10 + (-3367)/x + (-2)/6 a multiple of 10?
True
Is (-3500)/8*(-880)/77 a multiple of 125?
True
Let w(q) = -q**3 - q**2 + 5*q - 1. Let a(i) = -3*i**3 - 3*i**2 + 9*i - 1. Let k(g) = -3*a(g) + 5*w(g). Suppose 0 = -8*x + 9 + 7. Is k(x) a multiple of 13?
False
Is 83 a factor of 3154 - (9 - 13 - -4)?
True
Suppose -4*n = -f - 23362, 2*n - 3*f - 1590 = 10096. Does 6 divide n?
False
Let c be (1 + -1)*(-28 + 29). Suppose c = 116*z - 113*z - 1152. Is 32 a factor of z?
True
Suppose 138*n - 9015 - 9028 = -5347. Is n a multiple of 46?
True
Let m be -3*1*-3*(-10)/(-45). Suppose -5*x = -y - m*y + 923, 3*y = -2*x + 937. Let z = y - 175. Is z a multiple of 12?
False
Let w(t) = 3*t**3 + 5*t**2 - 4*t - 6. Let o(i) = -8*i**3 - 10*i**2 + 9*i + 12. Let g(j) = 2*o(j) + 5*w(j). Does 6 divide g(3)?
True
Suppose -5*k - 4*n = -440, -3*n + 485 = 5*k - 8*n. Suppose 3*f - 3*i = 72, -f + 2*i = -4*f + k. Does 5 divide f?
False
Let k be ((-27)/(-18))/((-1)/(-10)). Suppose -k*b = -19 - 26. Suppose -3*q = -4*x + 477, 6 = -b*x - 2*q + 368. Is x a multiple of 8?
True
Let q(u) = u**2 - 9*u - 34. Let g be q(17). Let d = g + -58. Is 1500/22 - 8/d a multiple of 17?
True
Suppose -47597 = 14*g - 155845. Is 43 a factor of g?
False
Suppose -4*z = -3*a - 16, 43*a - 45*a = -3*z + 11. Let h(f) = 9 + 16*f + 28*f - 5*f - 4. Does 20 divide h(z)?
False
Does 295 divide (-762)/(-9)*(-5310)/(-12)?
True
Let l be (-20)/(-8) - 5/10. Let t be 417/(-12) + l/(-8). Let a = 89 + t. Does 11 divide a?
False
Let j be 4/((2 - 6)/(-2)). Suppose 0 = -0*h + j*h - 12. Suppose h*q - 224 = 2*q. Does 14 divide q?
True
Suppose 6*w + 124 = -176. Does 27 divide 375/w*108/(-5)?
True
Let w(s) = 48*s + 6. Let r be w(-1). Let n = r - -252. Is 30 a factor of n?
True
Suppose -o + a + 330 = -0*a, 1666 = 5*o - a. Let u = 422 - o. Is u a multiple of 10?
False
Let b(d) be the third derivative of -d**5/60 + d**4/4 + 5*d**3/6 - 42*d**2. Let u be b(6). Is (2/u)/((-35)/(-26250)) a multiple of 14?
False
Suppose 7*k - 918 = -10*k. Suppose u + 23 = 63. Suppose u + k = 2*h. Is 7 a factor of h?
False
Let i(p) = -168*p**3 + 2*p**2 - 1. Let n be i(-1). Let c = -236 + n. Let y = -48 - c. Is 2 a factor of y?
False
Let h = -4666 + 7217. Is 36 a factor of h?
False
Suppose -3*p = g - 8698, -19962 = -3*g - 4*p + 6122. Is 82 a factor of g?
True
Let q be (7 - 1)/((-16)/(-96)). Let p = -33 + q. Suppose 13*g - 800 = p*g. Is g a multiple of 16?
True
Let c(s) be the first derivative of 10*s**2 + 115*s + 145. Is 25 a factor of c(17)?
False
Let t(b) = 4*b**2 - 5*b - 2. Let l(h) = h**2 - h. Let m(c) = 3*l(c) - t(c). Let p = -2325 - -2327. Is m(p) even?
True
Let r(m) = -m**3 + 7*m**2 - 8*m + 15. Let u be r(6). Suppose g 