 -76 + 204. Let j = -26 + y. Does 42 divide j?
False
Suppose 2*m - 5 = -5*r, -2*r = -3*m - 2*m - 31. Suppose -3*v = y + 16, -v - 16 = r*y - 0*y. Is 8/v + (2 - -2) even?
True
Let w(k) = k**3 - 31*k**2 + 20*k + 70. Is w(31) a multiple of 25?
False
Let a = 1039 + 1774. Does 46 divide a?
False
Let y be (-6)/5*8/(-12)*25. Is 6 a factor of ((-1)/(-2))/(10/y) - -28?
False
Let j = -32 + 30. Is 38 a factor of 4/(-5)*-190*(-2)/j?
True
Suppose 4*m + 2*g + 2*g = 8, -g + 2 = 0. Suppose -3*k + 13 + 2 = m. Is 8 a factor of 4*(k + -1 + 2)?
True
Let n = -160 + 776. Is 39 a factor of n?
False
Let q(w) = -2*w + 12. Let o be q(6). Suppose o = -0*x + 3*x - 288. Is 8 a factor of x?
True
Suppose 5*b - 2 = -7. Let l = 4 + b. Is 16 - (-4 + l - -3) a multiple of 5?
False
Let i = 16 - 13. Is 8 a factor of (8 - 10)/((6/(-40))/i)?
True
Let n(j) = j + 3. Let y(m) = -m - 2. Let u(t) = -3*n(t) - 4*y(t). Let b be u(3). Suppose 16 = b*p + c + c, -3*p + 5*c = -64. Is p a multiple of 13?
True
Suppose -5*d + 170 = -10*d. Let o = d + 11. Let m = o - -42. Is m a multiple of 4?
False
Let t = -23 + 28. Suppose 4*r - 3*g + 4*g = 139, r + t*g - 30 = 0. Does 26 divide r?
False
Let u = -2698 - -4632. Is u a multiple of 21?
False
Let o(f) be the first derivative of 13*f**2/2 - 12*f - 6. Is 17 a factor of o(8)?
False
Suppose -9 = -b - 1. Is 21/(-28) + 1166/b a multiple of 27?
False
Let a = 20 - 26. Let l = a + 9. Let v = l - -54. Does 11 divide v?
False
Suppose 2*y - 32 = 4*u, -17 = -5*y - 2*u + 123. Let g be (-4)/y + (-744)/(-104). Suppose -w - 2*v = -29, 4*w = 5*v + 70 + g. Is w a multiple of 19?
False
Suppose 7 - 25 = h. Let q(c) = -6*c - 28. Does 17 divide q(h)?
False
Suppose z = -z + 3*s + 84, -5*z = -5*s - 215. Suppose 0 = 6*c - 9*c + z. Let w = c - 10. Is 4 a factor of w?
False
Let p be ((-1)/2)/((-1)/6). Let s(f) = -7*f + 7*f + p - 2*f. Is s(-4) a multiple of 4?
False
Suppose -5*j - g = -12 - 6, 21 = 4*j + 3*g. Suppose 7*b = j*b + 736. Is 46 a factor of b?
True
Suppose -61642 = 97*v - 134*v. Is v a multiple of 7?
True
Let w(g) = 4*g**2 - 18*g - 49. Is w(-5) a multiple of 14?
False
Let q = 41 - 28. Let p(w) = 2*w - 4. Let n be p(3). Suppose -27 = -4*t + n*b - 7*b, -2*t - 3*b + q = 0. Does 5 divide t?
False
Let p(f) = f**2 - 9*f - 34. Suppose -n = -2, -4*t - 3*n - 22 = -0*n. Is 11 a factor of p(t)?
False
Let f be (8/(-10))/(5/(-50)). Suppose -380 = -f*x + 12*x. Is x/2*32/(-40) a multiple of 9?
False
Let p = 254 - 244. Does 10 divide p?
True
Let b(p) = 2*p + 6*p**2 - 5*p**2 + p. Let t be b(-4). Suppose -318 = -5*z - t*h - 74, -193 = -4*z - h. Is 9 a factor of z?
False
Let b(f) = f + 11. Let g be b(-5). Let l(y) = -y**3 + 2*y - 9*y**2 - y + 0*y - 5 - g*y. Is l(-9) a multiple of 10?
True
Is ((-8)/(-36) + (-622)/(-36))*6 a multiple of 21?
True
Let f be -5 - (1/1 + -3). Let u = 10 - f. Let q = u + 1. Is 14 a factor of q?
True
Let g(y) = -y + 45. Suppose 0 = -4*m - 31 - 21. Let p = -13 - m. Does 9 divide g(p)?
True
Suppose -5*c + 13 + 1 = -2*m, -c = -4*m + 8. Suppose -w + p = m*p - 24, 2*p = 0. Is w a multiple of 3?
True
Suppose -159 - 72 = -7*b. Is 26 a factor of b - -1 - (-8)/2?
False
Let d = -19 - -18. Let q be (d - -1)/((-28)/(-14)). Is q - (-1 - (8 - 4)) a multiple of 2?
False
Suppose 7*o - 5*v = 2*o - 45, 0 = o + v + 1. Does 13 divide (-516)/(-10) + 6/(-75)*o?
True
Suppose -3*y + 17 = 50. Let z be -9 - y - (0 + -1). Suppose d + 2 = v + z*v, -3*v = -2*d + 21. Is d a multiple of 10?
False
Suppose -5*d + d - 4 = 0, -b + d = -39. Suppose -147 = -5*y + b. Suppose -4*r = y - 113. Is 19 a factor of r?
True
Suppose -39*g = -29*g - 1070. Is 15 a factor of g?
False
Let t be -4 + (12/(-3) - -13). Suppose 80 = 7*f - 2*f + t*l, -2*l = 8. Is 10 a factor of f?
True
Let v = 3 - -1. Suppose 3*g - 6 = -w - 0*w, -v*w + g - 2 = 0. Suppose -k + 4*k = -c + 226, w = 3*c - 3. Is 13 a factor of k?
False
Suppose 9 = -9*g + 2871. Let b = 462 - g. Is 14 a factor of b?
False
Let f(a) = 0 + 2 + a - 1. Let m be f(-1). Does 12 divide 1 - (4 + -15 + m)?
True
Let p(t) be the third derivative of t**4/3 + 20*t**3/3 - 22*t**2. Is 8 a factor of p(7)?
True
Suppose -3*b + 35 = -34. Suppose -5*f = -b - 22. Let g = 28 - f. Is 8 a factor of g?
False
Let a = -264 - -286. Does 10 divide a?
False
Let f(c) = c**3 - 2 - 13 + 10*c**2 - 4*c - 4*c. Does 13 divide f(-10)?
True
Let g(a) = -a**2 - 14*a - 3. Let c be g(-10). Let i be (3 - (-22)/(-4))*-2. Suppose -c = -i*o - 7. Does 6 divide o?
True
Suppose -6288 = -5*g - 2*p, 5*g - 4*g - 5*p - 1263 = 0. Does 34 divide g?
True
Let n(w) be the first derivative of 1/3*w**3 + 1/2*w**2 - 6*w + 10. Does 7 divide n(6)?
False
Suppose -3*b = -4*q + 379, -144*q + 3*b = -145*q + 76. Is 13 a factor of q?
True
Let n(v) = v + 15. Let y be n(-8). Suppose r - 11 = -2*j, -5*j + 3*r + 16 = 5. Suppose y*m - 90 = j*m. Does 15 divide m?
True
Suppose 2*c + 4 = 0, 4872 = 5*r + 4*c - 7850. Is 18 a factor of r?
False
Let m = -282 + 51. Let l = m + 547. Does 22 divide l?
False
Let z = -23 + 28. Suppose -3*u = -2*j + 27, z*u + 56 = 5*j - 14. Is 5 a factor of j?
True
Let y(v) = -v**3 - v**2 - 2*v - 1. Suppose -7 + 8 = -s. Let o be y(s). Suppose -2*h - o = -5. Is 2 a factor of h?
True
Let i = -448 - -479. Let s = 1 - 6. Let j = i - s. Is j a multiple of 12?
True
Suppose -3*g + 5*g - 422 = 4*f, 629 = 3*g - 5*f. Let o be 0*1*(-1)/(-2). Suppose 6*z - g - 103 = o. Is z a multiple of 17?
True
Let s(w) = 7*w**3 - w**2 + 1. Let x be s(1). Let l = 11 - x. Suppose h - 4*h = 5*q - 98, -l*q + 3*h + 73 = 0. Does 19 divide q?
True
Let f(g) = g + 5. Suppose 0 = 5*p - 5*t + 15, 12 = -3*p + p - t. Let i be f(p). Does 22 divide 25 - (i + (-1)/(-1))?
False
Suppose -2*z + 2*i - 12 = 0, -4*z = -z - i + 18. Let x(o) = 0 + 7 + 2*o**2 - o**2 - o - 6. Is 9 a factor of x(z)?
False
Let n(z) = z**3 - 4*z**2 - 2*z - 7. Let y be n(5). Suppose 3*h = -j + 25 + y, 0 = 4*j - 5*h - 64. Is 321/j - 4/14 a multiple of 9?
False
Let a be (-21)/35 - 7/5. Let p be (-39)/6 + (-1)/a. Is 17 a factor of 68/6*(-9)/p?
True
Let m(o) = 2*o**3 - 8*o**2 + 20*o + 12. Does 23 divide m(6)?
True
Suppose -3637 - 979 = -4*m. Does 17 divide m?
False
Let a(k) = 7*k + 13. Let g(s) = -3*s - 7. Let n(y) = 3*a(y) + 5*g(y). Let h be 12*3/(3 + 9). Is n(h) a multiple of 5?
False
Suppose 2*q + 9 = -q. Does 37 divide 296/((11 + q)/4)?
True
Suppose -36*l + 21909 = -12795. Is 31 a factor of l?
False
Is 10 a factor of (1 + -28)*(1598/(-51) - -12)?
False
Let x be 3/(-2) - 22/4. Is (-2 - x)*(-2 + 18) a multiple of 10?
True
Let p(k) = 41*k + 350. Is 18 a factor of p(38)?
True
Is 6 - -13*(-27)/(-3) a multiple of 31?
False
Let b(l) = -8*l - 13. Let x(u) = u + 1. Let z(d) = b(d) - 4*x(d). Is 22 a factor of z(-8)?
False
Suppose -2*j + h = 2*h - 306, -2*j - 2*h + 304 = 0. Suppose -7*u - j = -9*u. Is 7 a factor of u?
True
Suppose -3*s = -q + 107, 0*s + 3*s = 2*q - 223. Suppose t + a = -3*a + 30, q = 5*t + 3*a. Is 3 a factor of t?
False
Suppose 4268 = 5*s - 737. Does 77 divide s?
True
Let q be (140/12)/(-5)*-33. Let i = q - 122. Is 4 a factor of (4/(-6))/(5/i)?
False
Let y(d) = -2*d**2 + 11*d + 8. Let b be y(6). Let x(w) = w**3 + 1 + b*w - w**3 - 10*w**3 - 8*w**3. Is x(-1) a multiple of 17?
True
Suppose -2 - 10 = -2*s. Let x(a) = a**3 - 7*a**2 - 3*a - 11. Let g be x(s). Let m = 93 + g. Is 11 a factor of m?
False
Let i = -123 - -130. Is 26 a factor of 4/i + (-4692)/(-21)?
False
Suppose 0 = 8*g - 7*g. Suppose g = 4*w + 4*k - 372, 2*k = -3*w + 157 + 123. Let h = w + -50. Is 18 a factor of h?
False
Let n = 10650 + -7143. Does 9 divide n?
False
Suppose -27*a = -21*a - 6804. Is 18 a factor of a?
True
Is 13*(-46)/4*(-1 - 1) a multiple of 6?
False
Let u(n) = -n**2 + 8*n - 12. Let a be u(5). Does 11 divide (-132)/(-6) + (-9)/a?
False
Suppose -8*m + 1064 = -0*m. Let s be 23 + 0 + (-3)/3. Suppose -s = -5*x + m. Is x a multiple of 10?
False
Suppose 3*n - 1288 = -n. Does 14 divide n?
True
Is (3*6 - -3)/((-20)/(-3540)) a multiple of 21?
True
Suppose -5*y = -2*y + 1908. Let b be ((-1)/3)/(4/y). Suppose 2*z - 3*z = 3*d - b, 0 = -d - z + 19. Is 9 a factor of d?
False
Let w(o) = -3*o**3 - o**2 + o**3 + 3*o**3 + 7*o**2 - 8*o. Is 6 a factor of w(-7)?
False
Let p = 3930 + -1252. Is p a multiple of 26?
True
Suppose 2*t + 1084 = 2*w, 39*w = 43*w + 5*t - 2186. Is 34 a factor of w?
True
Let a(o) = -169*o - 214. Is 