ose b*w = -t + 33, -t = w - 6 - 7. Does 10 divide w?
True
Suppose 6*g = -2*p + 4*g + 62, g = -2*p + 63. Is p a multiple of 14?
False
Suppose -11*l - 9928 = -14*l - j, 3306 = l + 2*j. Does 11 divide l?
False
Let i = -303 - -1119. Is 30 a factor of i?
False
Suppose m - 4*o + 3 + 0 = 0, -12 = 4*m - o. Let g = m + -13. Let q = 63 + g. Does 12 divide q?
False
Let n(v) = 4*v**2 - 6*v - 4. Let d(a) = 3*a**2 - 7*a - 5. Let r(g) = -5*d(g) + 4*n(g). Let h be r(-14). Does 17 divide h*((-16)/(-6))/2?
True
Let h be (3/9)/(3/144). Suppose 0 = k, l + h - 70 = -2*k. Suppose -2*z + l = q, 2*z - 56 = -0*z - 2*q. Is z a multiple of 7?
False
Let v(o) = -o**2 - 2*o - 3. Let n be v(-3). Let c be (4/n)/(4/30). Is (c - 1)/(1/(-2)) a multiple of 4?
True
Let z(j) be the third derivative of -1/8*j**4 + 1/15*j**5 + 0*j - 7*j**2 + 0 - 2/3*j**3. Does 13 divide z(-4)?
False
Let v(k) = -5*k - 15. Let c be 196/(-18) - 2/18. Let x = -20 - c. Is 10 a factor of v(x)?
True
Let l be (-2 + 1)*(1 + -5). Suppose -u - 3*x + l*x = -83, -4*x + 242 = 3*u. Does 15 divide u?
False
Let b be 90*(2 + (-42)/(-15)). Suppose 6*i - 24 = b. Is i a multiple of 19?
True
Let b = 2052 - 286. Is 20 a factor of b?
False
Let c(t) = 4*t**2 + t**2 + 18 + 3*t - 3*t**2. Is 19 a factor of c(-7)?
True
Does 24 divide 146241/90 + 2/20?
False
Suppose 5*c - 212 = 848. Let u(n) = 4*n**2 + 4*n - 24. Let g be u(4). Suppose c + g = 4*d. Is 12 a factor of d?
False
Let q(j) be the third derivative of -3*j**4/8 + j**3/6 + 11*j**2. Suppose -20 = 4*o - 8. Is 8 a factor of q(o)?
False
Let c(n) = -n**3 + 6*n**2 - 5*n - 1. Suppose 2*d - 2*x - 8 - 4 = 0, -22 = -4*d + 2*x. Let q be c(d). Does 8 divide q/(-1) - (-12 + 5)?
True
Suppose -394*l = -422*l + 24696. Is 18 a factor of l?
True
Let u = -11 - -14. Suppose 5*p - 70 = u*p. Let z = -6 + p. Does 9 divide z?
False
Let m = -31 + -15. Suppose 4*p + 352 = -w, 0 = -0*p - p + 5*w - 109. Let g = m - p. Is 18 a factor of g?
False
Let w be (-5109)/26 - 6/4. Let n = w + 406. Does 13 divide n?
True
Suppose 3 + 2 = 5*p, -2*p = -5*f + 18. Let b(z) = z**3 - z**2 - 6*z + 1. Let s be b(f). Suppose -h = -o + s, -3*o + h - 3 = -82. Does 26 divide o?
False
Let j(f) = f**3 - 13*f**2 + f - 9. Let g be j(13). Suppose -g*u = u - 360. Is u a multiple of 8?
True
Let g be -1 + -1*(3 - 1). Is 5 a factor of 7*((-255)/(-35) + g)?
True
Suppose 0 = 2*u + 5*v - 1998, -3783 = -3*u + 5*v - 786. Is u a multiple of 27?
True
Let v(q) be the first derivative of q**4/12 + 49*q**2/2 + 4*q + 3. Let l(k) be the first derivative of v(k). Does 15 divide l(0)?
False
Let k(j) = 2*j. Let o be k(-2). Let a = 69 - 68. Is a/o - (-676)/16 a multiple of 14?
True
Suppose -31*r + 1339 + 62304 = 0. Does 63 divide r?
False
Let s(i) = i**2. Let f(q) = -3*q**2 - 16*q - 30. Let o(w) = f(w) + 2*s(w). Is 3 a factor of o(-13)?
True
Suppose 131*i - 167*i = 1188. Let o be (2 - 1 - 0) + 59. Let m = i + o. Is m a multiple of 11?
False
Let h(f) = -10*f + 7. Let i be h(-6). Let r = i + -32. Let a = r + -18. Is 17 a factor of a?
True
Let x(d) = -2 + d**3 - 2*d**2 + 0*d**2 - d**2 - 2*d**2 + d. Let v be x(5). Suppose -v*w - 2*w = 2*s - 282, -s = w - 54. Is w a multiple of 11?
False
Let p(s) = -s**3 + 6*s**2 + 8*s - 4. Let o be p(7). Suppose -o*v - 8 = -3*c - 23, 2*c - 38 = -4*v. Suppose -7*j - 85 = -v*j. Does 17 divide j?
True
Let r = -34 + 39. Suppose 0 = 2*a - j + 2*j - 82, -82 = -2*a - r*j. Is 12 a factor of a?
False
Let l(f) = 26*f + 2. Let v be l(8). Let x = v + -98. Suppose -x - 48 = -5*d. Is 14 a factor of d?
False
Suppose -5*b - 5*f + 945 + 290 = 0, 5*f + 733 = 3*b. Suppose 4*q - b = 286. Is 19 a factor of q?
True
Suppose 4*i = 7 - 19. Suppose 3*q + 5*l - 45 = 5*q, 10 = 2*l. Let d = i - q. Does 3 divide d?
False
Let j be 8 - (2 + -1 - -2). Suppose -9 = -j*y + 2*y. Suppose -y*v = -2*v - 11. Does 6 divide v?
False
Let r = 9 + -7. Is 33 a factor of 768/6 + 2*r?
True
Let p = 1833 + 477. Is 69 a factor of p?
False
Let k(q) = 17*q**2 - 12*q + 15. Is 2 a factor of k(2)?
False
Suppose -6 = 3*i + 6. Let o(k) = -98*k - 38. Is 59 a factor of o(i)?
True
Let p be -40*(1 + (-10)/4). Suppose -6*j = -13*j + 21. Suppose 6*r - r + 5*a - p = 0, r - 32 = j*a. Does 7 divide r?
False
Suppose 34*o + 25 = 39*o. Suppose -189 = -5*q - 4*r, 0*q + o*q = -2*r + 187. Is q a multiple of 3?
False
Suppose -4*h = s - h - 5, -2*h = -3*s + 37. Suppose 5*l = 2*l - 9. Let i = l + s. Is i a multiple of 8?
True
Let c(d) = 10*d**2 - 89*d - 12. Is 3 a factor of c(12)?
True
Let z(y) = 15*y**2 + 5*y + 19. Is z(-3) a multiple of 22?
False
Is 21 a factor of ((-35)/(-15))/((-1)/(-558))?
True
Let d(a) = -74*a + 176. Is 10 a factor of d(-13)?
False
Let a(u) = -u + 5. Let l be a(3). Suppose -l*h + h = 3*j - 16, 17 = 2*h + j. Suppose -3*q + h*q - 152 = 0. Is 7 a factor of q?
False
Let p(a) = -a**2 - 13*a + 11. Let t be p(-12). Let s = 28 - t. Suppose 0 = s*d + 22 - 377. Does 19 divide d?
False
Suppose 3*z - 9 = 0, -10*d + 3*z = -6*d - 7159. Does 14 divide d?
True
Let z = -11 - -18. Suppose -2*t + 3 + z = 0. Let b = t - -50. Is 12 a factor of b?
False
Let m = -29 - -32. Let s(i) = 57*i - 6. Does 18 divide s(m)?
False
Suppose 2*q = -r + 8, 0*r + 4*r - 8 = 4*q. Let h be (r - 1) + (7 - 5). Suppose -3*p = -4*n - 86, 1 = p + h*n + 4. Is 11 a factor of p?
True
Does 7 divide (266/8)/(7/28)?
True
Let h = 35 + -9. Suppose 19 + 1 = 3*v - 5*u, 3*v - 2*u = h. Does 5 divide v?
True
Suppose 0 = -5*z + 3*z + 4. Suppose 4*k = 8, 3*p - k = 2*p + z. Is 2 a factor of p?
True
Is 23 a factor of 1840 - (-96)/(-56)*28/(-8)?
False
Let q(u) be the second derivative of -u**5/20 - u**4/12 + 2*u**2 - 5*u. Is 12 a factor of q(-4)?
False
Let m be ((0 - -1)*3)/((-30)/60). Let h = 3 - -23. Does 5 divide 2/(-1) + m + h?
False
Is -1 - (1194/(-6))/((-2)/(-2)) a multiple of 9?
True
Is 48/112 - ((-469360)/(-28))/(-5) a multiple of 13?
False
Does 7 divide (-400)/20*3/(-6)?
False
Let u be -169*(-3 + -2 + 3). Let c = u - 158. Suppose 2 = m - 4*w - 24, -5*w + c = 5*m. Is m a multiple of 6?
False
Let s = 38 + -30. Suppose -f + 4*x - s*x = -42, 5*f - 252 = x. Does 24 divide f?
False
Suppose 3*t + p + 5 = -3, 3*p = -2*t - 10. Is 7 a factor of t/4*-8 - -31?
True
Let t = -55 + 133. Suppose 0 = 4*v - 2 - t. Is v a multiple of 10?
True
Let v be 4/6*9/(-2) - 292. Let q = -209 - v. Is 9 a factor of q?
False
Is 5 a factor of -16 + 6 - -75 - 4/1?
False
Let q = -19 - -32. Let g(p) be the second derivative of p**3/6 - 2*p**2 - 8*p. Is g(q) a multiple of 9?
True
Let w(z) be the second derivative of z**4/6 - 13*z**3/6 - 26*z**2 - 37*z. Does 63 divide w(16)?
True
Let r = 43 - 53. Does 3 divide (-5)/r*-23*(-4)/2?
False
Is (55/22)/((-4)/(-96)) a multiple of 4?
True
Suppose 0 = -2*q + 3 + 1, -k - 12 = -2*q. Let l be k - (-1 - -2 - 1). Does 23 divide ((-92)/(-6))/(l/(-12))?
True
Is ((-24)/(-12))/((-2)/(-77)) a multiple of 11?
True
Let o(z) = -12*z + 612. Is o(-10) a multiple of 6?
True
Suppose -84 = d + 4*a - 2178, -2*d - 5*a + 4173 = 0. Does 10 divide d?
False
Suppose 7*r + 34 + 8 = 0. Is 2 a factor of 2*r*4/(-12)?
True
Suppose -161 = -3*y + 130. Suppose 4*z - y = -3*t - 36, -3*t = -3*z - 96. Does 9 divide t?
True
Let q(p) = -p**2 - 9*p + 16. Does 3 divide q(-7)?
True
Let x(z) = -z**3 - 2*z**2 + 3*z + 6. Let j be x(-3). Is 2 - 0 - (-8 + j)*41 a multiple of 10?
False
Let h(g) = -g**3 - 14*g**2 + 14. Let i be (-2)/15 + 1074/(-45). Let o = i + 10. Is 14 a factor of h(o)?
True
Suppose 2*w + 4*w - 54 = 0. Let x be (-16)/72 - 16/w. Is x/5 + 860/25 a multiple of 17?
True
Suppose -3*s = 5*t - 5*s - 386, 0 = -3*t + 5*s + 243. Let k = -31 + t. Suppose 3*f - k - 18 = 0. Is 7 a factor of f?
True
Suppose 79*y = 83*y - 272. Does 17 divide y?
True
Let u = -319 - -329. Is u a multiple of 7?
False
Suppose 0 = 42*m - 6*m - 9828. Is 7 a factor of m?
True
Does 30 divide (6/6 - 6) + 155?
True
Suppose -2*x + 0*x = -5*n + 2, 3*x = -3*n + 18. Suppose -4*p + 9 = -5*b, -4*p = p - x*b - 18. Suppose -15 = -p*d + 3*d. Is 4 a factor of d?
False
Let f(k) = 13*k + 52. Is 30 a factor of f(11)?
False
Let s(j) = j**3 + 7*j**2 - 14*j + 2. Let b be s(-8). Is (-1 + -5)*(b/(-4) + -1) a multiple of 27?
True
Let p(r) = r**3 + 5*r**2 + 6*r + 6. Let f be p(-5). Let m = 26 + f. Suppose -4*u - 5*k + 247 = 0, 5*u - m*k - 319 = 2*k. Is 21 a factor of u?
True
Let b = -192 + 368. Is b a mult