ose s - z*y + 35 = 0, 2*s - 4*y = -2*s - 172. Let j = s - -80. Does 10 divide j?
False
Suppose -1620 + 998 = -2*j. Is j a multiple of 39?
False
Let w = 35 - 16. Let p(s) = s**2 + 21*s + 22. Let y be p(-20). Suppose x - 5*x + 45 = 5*o, -o = -y*x + w. Is 5 a factor of x?
True
Let a(t) = -t**3 - 3*t**2 - 4*t + 14. Is 34 a factor of a(-7)?
True
Let a(f) = -38*f + 2. Let n(k) = -2*k**3 + 2*k**2 + 2*k. Let w be n(2). Does 29 divide a(w)?
False
Is 36 a factor of (-108)/(-10)*(-25220)/(-291)?
True
Suppose 54 = -6*k - 72. Let n = k - -23. Suppose -2*v + 2*s + 2*s + 60 = 0, -n*s = 4*v - 140. Does 17 divide v?
True
Let c = -51 + 56. Let u(m) = 8*m**2 - 2*m - 2. Does 47 divide u(c)?
True
Let n = 6 + 24. Suppose -54 - n = -l. Does 15 divide l?
False
Let i(l) = 7*l**3 - 2*l**2 - 2*l - 1. Let m be i(-1). Let d be (33/(-2))/(4/m). Suppose 0 = 5*s - 7 - d. Does 3 divide s?
False
Let h be (4/(-3))/(2/(-3)). Is 4 a factor of (h*1)/(18/99)?
False
Let l be (-12)/54 + 58/18. Suppose -3*q + 4 = -g, -g + 2*q = l*q. Let o = 25 - g. Is o a multiple of 13?
True
Let p(l) = -3*l**2 + l. Let j be p(2). Let r = j + 12. Suppose 0*y - 49 = -2*y - a, r*a = 10. Is y a multiple of 16?
False
Suppose -3*c - 32 = -7*c. Suppose -d - n = -c, -3*d + 36 = d + 5*n. Suppose -4*z - h + 294 = -d*h, -2*h = 4. Is z a multiple of 36?
True
Suppose -45*t = -18*t - 3645. Does 9 divide t?
True
Suppose 20*g - g - 3914 = 0. Is g a multiple of 22?
False
Suppose 0 = -5*n - h - 3, 2*h + 6 = -5*n. Is 6 a factor of n*(1 - 0) - (15 + -46)?
False
Suppose 0 = -5*s + 6 + 4. Suppose 3*x = -s*l + 46, 5*x - 2*l + 22 = 6*x. Is x a multiple of 4?
True
Let q = -370 - -489. Does 9 divide q?
False
Suppose -46 + 36 = -5*a. Suppose -a*h + 34 = 6. Is h a multiple of 14?
True
Let q = -46 - -51. Suppose 0 = q*t - 42 - 558. Does 20 divide t?
True
Let u(l) = 8*l**3 - l**2 - 2*l + 1. Let p be u(-2). Let j = -2 + p. Let o = -32 - j. Is 10 a factor of o?
False
Let x = 1469 - 909. Suppose -3*y = 2*y - x. Is y a multiple of 28?
True
Let b(i) be the second derivative of i**3/6 + 15*i**2/2 - i. Let h be b(-11). Let z(l) = 4*l**2 + 3. Does 12 divide z(h)?
False
Suppose -3*a = 2*d - 1082, -2 = -5*d + 3. Does 8 divide a?
True
Suppose 3*o + 100 = 103. Is 36 a factor of (-22659)/(-105) + o/5?
True
Suppose 4*b = -5*s + 10, 2*b + 3 - 1 = s. Suppose b = -3*v - 2*v + 140. Is 14 a factor of v?
True
Let d(u) be the first derivative of -u**2/2 + 10*u + 7. Let s be d(10). Suppose s = 4*n - 3*j - 71, 2*n - 3*j = 27 + 4. Is 20 a factor of n?
True
Suppose 120 + 17 = w - 5*z, -2*w + z + 274 = 0. Let r = w - 73. Is 16 a factor of r?
True
Suppose 2*v = 3*v. Suppose -8*n + 6*n + 60 = v. Is n a multiple of 15?
True
Suppose 5*h - 2*l - 150 = 764, -l - 2 = 0. Suppose 4*u - 4*j - 110 = h, 3*j = -u + 53. Does 38 divide u?
False
Let w(l) be the second derivative of 55*l**4/6 + 2*l**3/3 + 2*l**2 - 15*l. Is w(-1) a multiple of 10?
True
Let h(g) = 18*g + 175. Is h(17) a multiple of 26?
False
Let f(o) = 6*o + 53*o**3 - 5*o**2 - 2 - 4 - 47*o**3. Is f(3) a multiple of 15?
False
Suppose -3*w = -4*g + 11 - 51, 3*g + 28 = 2*w. Let m(n) be the second derivative of n**4/12 + 3*n**2 + 3*n + 20. Is m(w) a multiple of 20?
False
Suppose 3*l + 2*l = -2*w - 17, -5*w + 2*l + 30 = 0. Is -33*((-21)/(-9) - w) a multiple of 15?
False
Suppose 0*w + 2*w + 5*c = -17, 14 = -3*w + 4*c. Is 7 a factor of (-356)/w - (-4)/6?
False
Let o(d) = -d**3 - 5*d**2 + 7*d - 4. Let t be o(4). Let m = 273 + t. Suppose 5*u - 2*z - z = m, 128 = 4*u - z. Is u a multiple of 11?
True
Suppose -c - 5 = -2*b, -2*b - 2*c = 3*c + 1. Let z = -3 + -8. Is 17 a factor of (-2984)/(-44) - b/z?
True
Does 6 divide 42/(-5)*(-125)/5?
True
Is 10 a factor of 3*(-192)/72 - (0 - 1578)?
True
Is 110 a factor of (4 - (8 + 3)) + 36370/10?
True
Suppose 2*c - 7 + 1 = 0. Suppose -c*z - 5*l = -306 + 75, z = l + 69. Does 24 divide z?
True
Is 9 a factor of (-1 - (-994)/(-8))*(-11 - 13)?
True
Suppose 5*g - 138 = -3*c, -1 = 4*c - 5. Suppose 231 = 6*k - g. Does 19 divide (k - (4 + 0)) + -1?
True
Let q(w) = -2*w**3 - 8*w**2. Does 48 divide q(-6)?
True
Let t(u) = 4*u**2 - 5*u - 372. Does 13 divide t(26)?
False
Suppose 50*x - 4 = 52*x, 3250 = 3*t - 5*x. Does 45 divide t?
True
Let p(q) = -q**3 - q**2 - q + 1. Let u(i) = i**3 - 13*i**2 + 5*i. Let w(s) = -3*p(s) - u(s). Does 13 divide w(-8)?
True
Let p = -44 - -46. Is 23 a factor of (p - 1) + 274/2?
True
Suppose 6*x + 40 = 2*x. Is 24/x*50/(-3) a multiple of 12?
False
Is 8 a factor of (8*8/96)/((-2)/(-1062))?
False
Suppose 4*w - 46 = -q, -4*w + 45 = w - 5*q. Let j(z) = 8 - 3 - 10*z**2 - 6*z + w*z**2. Is 3 a factor of j(6)?
False
Let w be 52 + (-4)/(-4) - 3. Suppose 0 = 4*s + w - 10. Is 15 a factor of 12/(-30) - 534/s?
False
Suppose 2079 - 61 = 4*l - 2*w, 0 = 5*l - 4*w - 2524. Does 126 divide l?
True
Let t be (2 + 1)*2/(-3) - -6. Suppose 0 = -t*a + 5*y + 92, -y = 3*y - 16. Does 9 divide a?
False
Let w = 109 + -95. Let k = 36 - w. Does 4 divide k?
False
Let h = 320 - 104. Suppose -11*j = -7*j - h. Does 9 divide j?
True
Let n = -629 + 715. Is 32 a factor of n?
False
Suppose 32*k - 15700 = 27*k - 2*f, -10 = 2*f. Does 10 divide k?
False
Let r = 3 - -17. Suppose -15*n = -r*n + 685. Does 10 divide n?
False
Let p = 6710 - -1560. Let s be p/50 + 4/(-10). Suppose -s = -5*y - 0*y. Does 14 divide y?
False
Let b(c) = -13*c**3 + 31*c**2 - 5*c - 19 + 18*c + 15*c**3. Is b(-15) a multiple of 4?
False
Suppose -75 = -5*z - 2*j + 4*j, -2*z = 2*j - 30. Let k(w) = w**2 - 6*w. Let d be k(6). Suppose 2*c - z - 17 = d. Is 4 a factor of c?
True
Suppose -691 = -3*p - 163. Let f = p + 47. Is f a multiple of 17?
False
Let n = 1201 - 1171. Is n a multiple of 15?
True
Suppose -9*j = -201 - 483. Does 3 divide j?
False
Let w = -244 + 324. Is 3 a factor of w?
False
Let r(a) = a**2 + 2*a + 17. Suppose -f = 8*f - 72. Is 10 a factor of r(f)?
False
Let o(h) = -16*h + 32. Let w be o(-13). Suppose -3*z - w = -11*z. Is 3 a factor of z?
True
Let c = -2 + 4. Suppose 5*n - 2 = 2*k, k = -0*k + c*n. Suppose -k*h + 155 = h. Is 13 a factor of h?
False
Let q(o) = -o**2 + 13*o - 13. Let w be q(11). Let c be (w + -8)*67*1. Let y = c - 27. Is y a multiple of 20?
True
Suppose w = 186 + 444. Is w a multiple of 18?
True
Suppose 5*c - 237 = -3*h + 2*h, -c = -4*h + 843. Is h a multiple of 19?
False
Suppose -4*t - 5*j + 2731 - 726 = 0, 4*t + 3*j = 2003. Is 20 a factor of t?
True
Let z(r) = -3*r**2 + 6*r + 5. Let a(b) = b - 1. Let m(l) = 4*a(l) - z(l). Is 12 a factor of m(-3)?
True
Suppose -68*f + 38836 = -54*f. Is f a multiple of 19?
True
Suppose -p + 4*x = 5*x - 131, x - 265 = -2*p. Let r = -27 + p. Does 14 divide r?
False
Suppose 5*f + 3*z + 184 = 0, 3*f + f = -5*z - 155. Let s = f + 37. Suppose -2*v = -s*c - c + 21, -4*c + 39 = v. Is 4 a factor of c?
False
Let p(t) = t**2 - 11*t + 9. Let y be p(10). Is 4 a factor of ((2 - 21)*1)/y?
False
Suppose 11*y = 17 + 5. Suppose 0 = 2*l + y*l - d - 96, l + d - 24 = 0. Does 11 divide l?
False
Let r(u) be the third derivative of u**5/30 - u**4/8 + 5*u**3/6 - 12*u**2. Does 5 divide r(-4)?
False
Let h be (-4)/(-10) - ((-34)/(-10) + -3). Let f(s) = -s**3 + 2*s**2 - 2*s + 32. Is 32 a factor of f(h)?
True
Does 28 divide (-2546)/(-8) - (-6)/8?
False
Let p be (3 - (4 - 4))/(1 - 0). Let x(d) be the second derivative of d**4/3 - d**3/6 - 7*d**2/2 + d. Is x(p) a multiple of 12?
False
Does 32 divide -2 - (-1259 - 1)/5 - -3?
False
Let q(k) = -k**2 - 58*k + 7. Is q(-25) a multiple of 16?
True
Suppose -23*g + 56 + 496 = 0. Does 12 divide g?
True
Suppose 4*b - 286 = 3*o, 3*b + b + 434 = -5*o. Let q = 154 + o. Does 8 divide q?
True
Is 11 a factor of 5*21 + (-22)/(-22)?
False
Let f = -1553 - -853. Let s = -476 - f. Suppose 4*n = -4*p + s + 20, -5*n = -5*p - 325. Does 9 divide n?
True
Suppose 904 + 1784 = 3*m. Is m a multiple of 28?
True
Suppose 33*s - 2088 = 27*s. Does 12 divide s?
True
Suppose 5*n - 2 - 8 = 0, 0 = q + n - 317. Is 45 a factor of q?
True
Let i = 1196 + 1157. Is i a multiple of 13?
True
Suppose -4*c - 10 = -2*v, -2 = v - 4*c - 1. Suppose 9 = 5*i - v. Suppose -4*o + r = -342 - 17, -374 = -i*o - 2*r. Is o a multiple of 16?
False
Suppose -3*y - 1929 = -4*w, -y + 1455 = 3*w - 6*y. Is 32 a factor of w?
True
Let u = -15 - 13. Is (2*1)/(u/(-392)) a multiple of 15?
False
Let t(b) = -6*b - 14. Let y be t(-3). Su