0. Does 35 divide w?
True
Let u be 1/((-2)/14) - -2. Let p(c) = -2*c**3 + 3*c**2 + c + 3. Let f(t) = 3*t**3 - 7*t**2 - t - 7. Let g(n) = -3*f(n) - 5*p(n). Does 16 divide g(u)?
False
Suppose 2*m = 2*g - 2672, 16*g - 2642 = 14*g - 4*m. Does 13 divide g?
False
Suppose 4*z - 123 - 637 = 0. Let n = z + -73. Is n a multiple of 30?
False
Suppose -3*c = -5*a + 69, -2*a - 3*a - c + 77 = 0. Let j = 18 - a. Suppose j = s + 1. Is s a multiple of 2?
True
Let f = 167 - 48. Let s = f - 19. Is 11 a factor of s?
False
Suppose -10*x + 7480 = -0*x. Is 17 a factor of x?
True
Let q = 1343 + -901. Is q a multiple of 4?
False
Suppose 25*p = 26*p - 96. Let q = -60 + p. Is 12 a factor of q?
True
Let c(g) = -g**3 + 25*g**2 + 58*g. Let d be c(27). Let p = d + 72. Is 10 a factor of p?
True
Suppose 15*g - 151 = 794. Does 9 divide g?
True
Is ((-46265)/10)/(-19) + (-5)/(-2) a multiple of 15?
False
Let l = -66 - -132. Suppose 0 = -4*s + s + l. Does 8 divide s?
False
Let b be (-5 + 5)/(1 - 0). Suppose b = 2*f - 56 - 104. Does 20 divide f?
True
Let c(o) = -o + 7. Let w be c(4). Suppose 2*d - v = 154, -w*v = -v + 4. Suppose 4*h + d = 180. Does 13 divide h?
True
Let m(y) = y**3 - 19*y**2 + y + 4. Let b be m(19). Let r = 21 + b. Does 6 divide r?
False
Let p = -1031 - -1100. Is 5 a factor of p?
False
Suppose 0 = -m - 0*m - 2*f + 11, 0 = 5*m + f - 64. Suppose 5*w = 122 + m. Is 6 a factor of w?
False
Suppose -5*b + 0*t = -2*t + 15, -4*t + 21 = -b. Let u(m) = -24*m**3 - m**2 + 2*m + 3. Does 3 divide u(b)?
True
Suppose -4*q - 3*v + 272 = 0, -113 = -4*q + 4*v + 131. Suppose -h + 0*w + q = -4*w, w + 287 = 5*h. Does 13 divide h?
False
Let o = -447 + 1477. Does 67 divide o?
False
Let q = -267 + 607. Is q a multiple of 20?
True
Let h(k) = -k**2 - k + 4. Let t(f) = -f**2 - f + 4. Let p(i) = 6*h(i) - 5*t(i). Let w be p(0). Suppose w*c + 12 = -0, 0 = 3*d - c - 273. Is 22 a factor of d?
False
Let q(t) = -2*t**2 + 10*t - 5. Let u be q(4). Suppose 375 = 8*r - u*r. Suppose -25 - r = -2*y. Does 32 divide y?
False
Let g(v) = -v + 16. Let a be g(12). Let i be -4*((-28)/8 + a). Let q(y) = 2*y + 6. Is 2 a factor of q(i)?
True
Let a(k) = -k**3 - 10*k**2 - 9*k. Let x be a(-9). Let h be 5 + x/3 - 0. Suppose 206 - 6 = h*n. Does 21 divide n?
False
Suppose 111 = 7*n - 1772. Is 16 a factor of n?
False
Let o = 223 - -212. Does 6 divide o?
False
Let c(u) = u**3 - 11*u**2 - 39*u - 19. Is c(14) a multiple of 14?
False
Let d(o) = -2*o**2 + 15*o - 1. Let m(c) = -c**2 + 7*c - 1. Let k(j) = -2*d(j) + 5*m(j). Let h be k(7). Let s = h + 20. Is s a multiple of 2?
False
Suppose 0 = -134*g + 142*g - 2656. Does 5 divide g?
False
Let k = 38 - -23. Suppose o - 3*i + 44 = -4*i, -5*o + i - 202 = 0. Let f = k + o. Does 10 divide f?
True
Suppose -420 = -5*u - u. Let n = -8 + u. Does 31 divide n?
True
Is (-72)/(-2)*(-55)/(-10) a multiple of 33?
True
Let b(j) = -j**2 - 8*j - 3. Let m be b(-7). Let v = 4 + m. Is (v + 1)/(3/9) a multiple of 9?
True
Does 49 divide (-18)/15 + (-121616)/(-80)?
True
Let w be (65/15)/((-1)/15). Let r = w - -117. Suppose -4*h = -3*l - 23 - r, 5*h - 3*l = 93. Is h a multiple of 9?
True
Let y = 54 + -36. Is 13 a factor of (26/(-3))/(y/(-27))?
True
Let r(q) = -q - 1. Let w(g) = -g**2 - 2*g - 7. Let d(o) = -6*r(o) + w(o). Let l be d(3). Suppose 0 = -3*k - 5*x + 109, -l*x - 3*x + 25 = 0. Does 14 divide k?
True
Suppose -19 = -3*m - 4. Suppose 25 = i + g, -5*g = -m*i - 2 + 137. Is i a multiple of 13?
True
Suppose 4*j = 4*r + 56, -5*j = 3*r + r - 43. Suppose 357 = j*l - 4*l. Does 17 divide l?
True
Let c(f) = -2*f**3 + 13*f**2 - 7*f + 11. Let p be c(6). Is (p/((-50)/348))/((-4)/10) a multiple of 29?
True
Let y = 301 + -49. Suppose -25*q + 18*q + y = 0. Does 5 divide q?
False
Does 7 divide 14*(2/(-12) + (-546)/(-63))?
True
Let l = 108 + -108. Suppose 7*c - 351 - 34 = l. Is c a multiple of 5?
True
Let f be (77 + 13)*(1 + 0). Suppose a = -2*a + f. Is 26 a factor of a?
False
Is 11 a factor of 4 + (2/(-8) - (-3963)/12)?
False
Let l = -2649 - -3772. Is 26 a factor of l?
False
Let s(f) = 12*f**2 + 80*f + 20. Does 10 divide s(-12)?
False
Let u be (-6)/4 + (-357)/14. Let o = u + 94. Is 27 a factor of o?
False
Let f be (-1)/(-4) + 1/(-4). Suppose -5*y + f*y - 5*t = -30, -t + 3 = -2*y. Is 1 + (16 - (y - -3)) a multiple of 4?
False
Suppose 0 = 3*k - 5 - 1. Let c be 6/10 - (-2235)/25. Is k/4*c/9 a multiple of 2?
False
Let q(u) = -u**3 + 11*u**2. Let x be q(11). Suppose 6*r = -x*r + 90. Does 5 divide ((-22)/33)/((-2)/r)?
True
Suppose -2094 = -3*w + 2*k, 44*w + 2*k = 39*w + 3506. Is 16 a factor of w?
False
Does 11 divide (1386/9)/(1/2)?
True
Let j(q) be the second derivative of q**4/12 - 7*q**3/6 + 3*q**2 + 6*q. Is 3 a factor of j(7)?
True
Suppose p - 31 = -14. Let h = -13 + p. Is 26 a factor of 4/h + (-153)/(-3)?
True
Let j(m) = 2*m + 6. Let v be j(-5). Let i = 20 - v. Is i a multiple of 8?
True
Let v be (-15)/13 - -1 - 1424/208. Let i(d) = d**3 + 8*d**2 - d - 35. Does 10 divide i(v)?
False
Let u(d) = 12*d + 860. Is 8 a factor of u(-69)?
True
Suppose 3*i = j + 4, -5*j + 3 = -3*i - 1. Suppose h = 5*g - 1190, -3*g + 959 - 245 = j*h. Does 48 divide g?
False
Let f(d) = -d**2 + 2*d. Let v be f(2). Let t = -97 - -101. Suppose v = -t*l + 64 - 12. Does 5 divide l?
False
Does 15 divide 2/(-4) + 36775/10?
False
Let m be ((-6)/(-9))/(1*(-1)/(-3)). Is -8*(m/4 - 4) a multiple of 6?
False
Let u = -2 + -6. Let i(o) = -24*o - 2. Let d be i(u). Suppose 2*w + 4*a = d, -2*w - a + 87 = -91. Does 29 divide w?
True
Let u(q) = q**3 + q**2 + 5*q - 6. Let s = -30 - -33. Is u(s) a multiple of 15?
True
Suppose -2*g + 3*b + 1729 = 3*g, 0 = -2*g - 3*b + 679. Let v = g + -79. Does 23 divide v?
False
Suppose -18*v + 299 + 529 = 0. Does 2 divide v?
True
Is 54 a factor of (-862)/8*-6 - (-6)/4?
True
Let v = -5 - -5. Suppose 43*r - 39*r - 252 = v. Is r a multiple of 7?
True
Suppose 0 = 2*c - 0*c + 32. Let q be (c/20)/(-1)*5. Is 6 a factor of -4 - q*(-7 + 0)?
True
Suppose 0 = 12*q - 39*q + 4617. Is 6 a factor of q?
False
Let u = 5 - 5. Let k be 5 + (-4 - (-2 + u)). Suppose -k*h - h = -196. Does 19 divide h?
False
Let d(r) = r**3 + 7*r**2 + 6. Let i be (-1 - 0)/(2/14). Let z be d(i). Suppose -k = -2, -5*s - z*k + k + 35 = 0. Does 5 divide s?
True
Let d(j) = 90*j. Let o be d(1). Suppose 5*f - a = 420, -a + o = -0*f + f. Is 15 a factor of f?
False
Let l = 24 + 23. Let o(g) = 4*g**3 - g**2 - g + 1. Let a be o(1). Suppose p + a*u - l = -2*u, -2*p + 4*u + 80 = 0. Is p a multiple of 15?
False
Suppose -10*z = -7 + 7. Suppose z = 4*a + 3 - 387. Is 48 a factor of a?
True
Let b(k) = 1 + 2 + 9*k + 25*k. Let u be b(3). Suppose 3*i - 57 = u. Does 18 divide i?
True
Let x = -372 + 1012. Is 30 a factor of x?
False
Does 3 divide 3/(36/1011) + 2/(-8)?
True
Let m = 1310 - 932. Is m a multiple of 27?
True
Let t be -5*(-2 + 4)*1. Let q(n) = -n + 16. Is q(t) a multiple of 13?
True
Let d = -50 + 52. Suppose -5*v = d*v - 294. Does 6 divide v?
True
Suppose s + 1 = -2, 5*d - 5*s - 20 = 0. Let p(b) be the first derivative of 55*b**4/4 - 6. Is p(d) a multiple of 14?
False
Suppose 12 = -2*i - 4*y, -y - 7 = -5. Is (1/i)/(12/(-3840)) a multiple of 10?
True
Suppose -11 = -0*v - v. Suppose 0 = -5*w - v + 6. Is (-1)/(-2)*(w + 19) a multiple of 9?
True
Suppose 12*i + 165 = 33. Is 25 a factor of (-2)/i + 1638/66?
True
Let g be (-1 + 2)/(3/15). Suppose 5*t = -m + 85 + 48, 0 = -3*m + g*t + 299. Does 13 divide m?
False
Let w = -2 - -1. Let t be w/(1/(1 + -4)). Suppose -t*v + 6*v - 78 = 0. Is 13 a factor of v?
True
Let o be 2/(-7) + 512/28. Let k be (-2211)/(-18) + 3/o. Let d = -71 + k. Does 13 divide d?
True
Let t(q) = -2*q - 3. Let i be t(-4). Suppose 2*n - i = -3*n. Suppose -n + 6 = l. Is l even?
False
Suppose 0 = 62*b - 31 - 1829. Is b a multiple of 7?
False
Suppose 0 = 4*u + 4 - 12. Suppose 0 = -4*f + 8, -u*p + 9 = -p + 2*f. Suppose -p*b + 3*c = -514, 5*b - 365 = -4*c + 163. Is b a multiple of 26?
True
Let y be 4/22 - 40/(-22). Let v(w) = 0*w + w - 2 - 2*w + y*w**2. Is v(-4) a multiple of 6?
False
Is (-13)/117*681*-1*3 a multiple of 13?
False
Let t(i) = -i**2 + i + 1. Let j(b) = -4*b**2 + 6*b + 3. Let u(s) = j(s) - 5*t(s). Suppose -2*g - 4*a = -8*a - 6, g = -a + 9. Is 15 a factor of u(g)?
False
Suppose -3*j - 7 + 234 = -4*v, 3*j + 3*v = 213. Is 10 a factor of j?
False
Suppose 334*q - 326*q = 