ppose 0 = q + 4*s - 3, 8*q - 3*q - 15 = 2*s. Suppose q*n - 5 - 514 = 0. Is 65 a factor of n?
False
Suppose -55*y + 36 = -51*y. Is 38 - y/(-6)*(4 + -2) a multiple of 3?
False
Let d(j) = 5*j**2 + 10*j - 60. Let p be d(4). Suppose -p*c + 7780 = -50*c. Does 12 divide c?
False
Suppose 3*g - a = 7370 + 3177, -4*a - 14044 = -4*g. Is g a multiple of 147?
False
Let m = -30 + 38. Let i(j) = 61*j - 3. Let n be i(2). Suppose -w = -m - n. Does 16 divide w?
False
Suppose -14*a = -5013 + 1387. Is a a multiple of 7?
True
Let c(g) = 7357*g - 403. Does 38 divide c(1)?
True
Suppose 4*v + s - 931 = 0, 2*s + 2*s + 220 = v. Suppose -14*m + 90 + v = 0. Is 23 a factor of m?
True
Let z = -633 + 900. Let k = 357 - z. Does 6 divide k?
True
Suppose -a - 5*s + 85870 = 0, -5*a - 24*s + 429234 = -28*s. Does 26 divide a?
False
Let u = 2 - -6. Let o(b) = -2*b**3 - 9*b**2 - 5*b + 4. Let l(i) = -i**3 - i**2 - i. Let c(j) = -3*l(j) + o(j). Is 14 a factor of c(u)?
False
Suppose 2*x + 6 = 0, s - x = 1186 + 2166. Does 17 divide s?
True
Does 70 divide ((-5 - 95/(-15)) + -3)/(16/(-77136))?
False
Let h = 13596 - 4830. Is 70 a factor of h?
False
Let v = 503 - 501. Suppose -v*f = 2*c - 494, 741 = 3*c - 3*f + 2*f. Does 11 divide c?
False
Let m be 102/(-255) - 104/(-10). Suppose -1563 = m*a - 6723. Does 23 divide a?
False
Let z(b) be the third derivative of b**5/60 + b**4/4 + 7*b**3/2 - 2*b**2 - 28. Does 10 divide z(-3)?
False
Let t = 3592 + 4949. Does 22 divide t?
False
Suppose -2*v = -5*y - 6 - 7, -y - 8 = 5*v. Is (6 + -2)/(v/(-72)) a multiple of 7?
False
Suppose -3*k - 156 = -5*a, -2*k = a - k - 28. Is 19 a factor of (-4)/a + -4 + (-7881)/(-45)?
True
Let d(t) = 4715*t - 79. Is d(1) a multiple of 13?
False
Suppose 70 = 5*g - 5*i, -3*i = 11 - 5. Suppose -y = y - 1346. Is 12 a factor of g/18 - y/(-3)?
False
Let n(l) be the third derivative of 1/6*l**4 + 1/120*l**6 + 0*l**3 + 0 + 1/10*l**5 + 20*l**2 + 0*l. Does 3 divide n(-3)?
True
Let l be (0 + -5)*38/(-57)*12. Suppose 44*y - l*y = 676. Is y a multiple of 13?
True
Let m = 20 - 19. Does 28 divide (5/(-2))/(m/(-320)*2)?
False
Let d be (2 - 0) + (-9 - -67). Let j be ((-16)/(-6) + 20/d)*-1. Is ((-54)/8)/((-3)/(-108)*j) a multiple of 11?
False
Let l = -4 + 17. Suppose -l*j = -8*j. Is 6 a factor of 12 - (3 - (j/4)/(-1))?
False
Suppose 2*u - 4*a - 2296 = 0, 6*u + 515 = -3*a + 7298. Does 27 divide u?
True
Let r(y) = -y**3 - 4*y**2 + 26*y - 110. Does 24 divide r(-13)?
False
Let a = -244 + 574. Let m = a - 587. Let h = 403 + m. Does 15 divide h?
False
Suppose -3*h = -4*m - 96 - 147, -1 = -h. Suppose -5*j = -3*j + 2. Is (-381)/j*(-20)/m a multiple of 7?
False
Let q(z) = -z**2 + 2*z + 1. Let b be q(0). Let s be (0 + 0)/(b/(-1)). Suppose s = 2*c - 3*f - 303, 324 = 2*c - f + 5*f. Does 39 divide c?
True
Suppose -z - 8237 = -3*h, 0 = -4*h + 141*z - 139*z + 10982. Is h a multiple of 41?
False
Suppose -2622 = -3*q - 3*h, -124*q - 3496 = -128*q - 2*h. Does 2 divide q?
True
Let h(t) = -152*t**3 - 2*t + 1. Let k be h(1). Let x = k - -91. Let o = 88 + x. Is 25 a factor of o?
False
Let t = -25 + 10. Let w = t + 36. Suppose -99 = -2*y - 3*h + w, -2*h = 3*y - 185. Is 21 a factor of y?
True
Suppose -14*k = -15*k + 8. Suppose 454 = k*w + 70. Is w a multiple of 2?
True
Suppose 3*m + 2*b - 10 = 3, 2*m - 2*b = 2. Suppose m*l + 51 = 1950. Does 10 divide l?
False
Suppose -29210 + 5627 = -15*k + 64632. Is k a multiple of 9?
False
Let p = 1198 - 948. Suppose -1878 = 248*w - p*w. Is 23 a factor of w?
False
Let b(g) be the third derivative of -g**4/4 - 2*g**3/3 - g**2. Suppose -13 - 20 = 3*t - 24. Does 14 divide b(t)?
True
Let y = -36100 - -56378. Is y a multiple of 17?
False
Let i(w) = w**3 - 3*w**2 + 7*w - 11. Suppose -4*k + 5*q = -7 - 7, q = -3*k + 20. Let v be i(k). Suppose -4*a + v = -89. Is 19 a factor of a?
True
Let n(v) = -3*v**3 - v**2 - v - 1. Let j be n(-1). Suppose j*w - 265 = 155. Does 21 divide w?
True
Let g = -1505 + 4053. Suppose 76*d = 90*d - g. Does 18 divide d?
False
Suppose 10*g = -3*n + 5*g + 645, -4*n = -5*g - 895. Suppose 4*h - 1860 = n. Is 13 a factor of h?
True
Let m be 151 + (11/4 - (-33)/(-44)). Suppose 2*r - 5*q - 55 + 16 = 0, 0 = -4*r - 5*q + m. Is r a multiple of 8?
True
Let u be -4 + -1 - -2 - (-1144)/(-1). Let g = 2209 + u. Is g a multiple of 59?
True
Suppose -5*y - 543 = c - 5598, -c + 5*y + 5045 = 0. Is c a multiple of 46?
False
Let j = 2869 + 4478. Is j a multiple of 110?
False
Let o be (-266)/(-10) - (-3)/(-5). Let l be 9/(-4)*o*2. Let c = l - -185. Is c a multiple of 17?
True
Suppose 0 = 3*z - 5*m - 34183, -5*z + 22757 = -3*z + 3*m. Does 3 divide z?
False
Let p(f) = -f**3 - f + 1. Let m(s) = 14*s**3 - 3*s**2 + 2. Let y(v) = m(v) + 2*p(v). Does 42 divide y(2)?
True
Let f be 10 - (8 - 5) - 5. Suppose -5*j = -3*p + 505 - 35, -2*j + 340 = f*p. Is 2 a factor of p?
False
Suppose 83040 = 8*i + 4*n, -12*n = -2*i - 8*n + 20720. Is 8 a factor of i?
True
Suppose -65626 = -2*w - 2*d, 3*w - 142491 = -d - 44058. Is 85 a factor of w?
True
Suppose 10160 = 108*r - 98*r. Suppose -33*g - r = -41*g. Is 12 a factor of g?
False
Let n be ((-646)/4 + 0)/((-69)/138). Suppose -252 = -i + 3*p, 3*p + 1295 = 4*i + n. Does 6 divide i?
True
Suppose 61407 + 57888 = 55*q. Does 12 divide (-48)/9*(-1 + q/(-18))?
True
Let y(r) = -2*r + 25. Let x be y(7). Let n(c) = c**2 + 3*c - 18. Is n(x) a multiple of 18?
False
Suppose 3*p + 454 = 2*v, -2*v = -7*v - 2*p + 1154. Let j be ((-6)/(-5))/(69/v). Suppose 4*g - j*n + 3*n - 99 = 0, 0 = 4*g - 4*n - 108. Is 12 a factor of g?
True
Let q(x) = 70*x + 44. Let p be q(2). Let f = p + 136. Is f a multiple of 16?
True
Let o(a) = -a + 13. Let d be o(8). Let p = d + -1. Suppose -15 = -5*h - 6*z + z, z = -p*h + 15. Is h even?
True
Suppose 2*h + 107 = -5*c, 2*h + h + 3*c = -174. Let s = 67 + h. Suppose 88 = s*z - 20. Is 5 a factor of z?
False
Let h = -5344 - -30808. Is h a multiple of 55?
False
Suppose -8*g - 39 = -71. Suppose 0 = 5*h + g*a - 2887, 5*h - 285 = -5*a + 2605. Does 25 divide h?
True
Let q be 3 + (-20)/6 - 19/(-3). Suppose 12*m = q*m. Suppose 4*z + u - 1289 = m, -5*z + 1245 = 3*u - 361. Does 17 divide z?
True
Suppose 0*g + 3*m - 178 = 4*g, -223 = 5*g - 4*m. Let l = g + 56. Let o = l + 16. Is 3 a factor of o?
False
Let w = -86 + 50. Let d = w - -62. Suppose d*c - 918 = 20*c. Is 36 a factor of c?
False
Suppose -7*g = 206 + 172. Let f = 72 + g. Is f a multiple of 14?
False
Let y be (-8 + 8 + 12/(-3))/2. Let q(d) = 3*d**2 + 5*d + 2. Let z be q(y). Suppose 9*b - 40 = z*b. Does 4 divide b?
True
Let k(w) = 8*w**3 + w**2 + 3*w - 47. Is 6 a factor of k(7)?
False
Suppose 0 = -38*l + 140*l - 695538. Is 134 a factor of l?
False
Suppose -68*o + 140078 + 872578 = 0. Does 73 divide o?
True
Let d = 888 - 502. Suppose d = 4*f + 98. Let n = f - 68. Is 4 a factor of n?
True
Let v(s) = -11*s**2 - 29*s - 73. Let c(q) = 3*q**2 + q. Let y(l) = -3*c(l) - v(l). Does 67 divide y(-22)?
True
Suppose -208*v - 672078 = -395*v. Is 152 a factor of v?
False
Let v(m) be the third derivative of 29/24*m**4 + 13/6*m**3 + 17*m**2 + 0*m + 0 + 1/60*m**5. Is v(-29) a multiple of 13?
True
Suppose -48*o + 9880 = -45*o + 5*p, -4*o + 5*p + 13185 = 0. Is 79 a factor of o?
False
Let a = 18604 + -12494. Is 26 a factor of a?
True
Let j(y) = y**3 - y + 4. Let r be j(-3). Let a = 123 - r. Suppose 0 = 4*z - 3*i - a, -z = 3*z - 5*i - 153. Is 32 a factor of z?
True
Does 180 divide (9032/(-48))/(7/(-714))?
False
Let w(d) = d**3 - 84*d**2 - 502*d + 195. Is 39 a factor of w(95)?
False
Let q(c) = -c**3 - 23*c**2 - 17*c - 178. Is q(-23) a multiple of 3?
True
Let c(s) = 5*s + 2*s**2 + 12*s + 14 - 7*s. Is 2 a factor of c(-6)?
True
Let r(h) = -5*h + 7*h + 0*h - 7. Let s be r(-3). Let i = s - -15. Does 2 divide i?
True
Suppose -2*o + 408 = 3*f - 22818, f - o = 7747. Does 22 divide f?
True
Let a(q) = -q**3 + 77*q**2 + 96*q - 1840. Is a(63) a multiple of 286?
True
Let z = -17 - -117. Suppose z = 6*g - 128. Does 19 divide g?
True
Let c = -2608 - -6328. Suppose -2*l = 4*l - c. Suppose -4*g + l = g. Is g a multiple of 12?
False
Suppose 22 - 58 = 2*c. Is ((-25)/(-3))/((-1)/c) even?
True
Let l be (946/4)/(2*(-1)/4). Let f = 845 + l. Is 36 a factor of f?
False
Let s(k) = -213*k + 1. Let x be -4*(15/20)/1. Does 20 divide s(x)?
True
Suppose -4*y - 3*f + 11895 = 0, 5*y = -f - 2*f + 14871. Is y a mul