 - 46928 = -57*w. Is 27 a factor of w?
False
Suppose -4*y = -0*y - 1300. Suppose 329*g - 1652 = y*g. Does 23 divide g?
False
Let c(p) = -57*p**2 + 2*p + 4. Let f be c(-8). Is 47 a factor of (-6)/(-39) - f/39?
True
Let w(k) be the third derivative of k**5/60 - k**4/12 - k**3/6 + 28*k**2. Let g be w(-1). Suppose 35 = -g*v + 201. Does 4 divide v?
False
Let k = 60 + -57. Suppose -k = -x + 20. Suppose -x - 65 = -2*h. Is h a multiple of 4?
True
Suppose 7*u = 6 + 36. Suppose 0 = y - u. Suppose 2*x = i + 549, -3*x + 4*i = -y*x + 807. Is 39 a factor of x?
True
Is 22/(-4) + 1601005/614 a multiple of 7?
False
Suppose 42*i - 33015 - 10665 = 0. Does 75 divide i?
False
Let f(n) be the second derivative of 11*n**5/20 + n**4/6 - 2*n**3/3 + 7*n**2/2 - n. Suppose b + 8 = -5*i, 14 = b - 4*i + 4. Is 13 a factor of f(b)?
False
Let p = 11 + 624. Suppose 4*a = 5*y - 1037, 4*y - y + 4*a = p. Let i = 301 - y. Is i a multiple of 33?
False
Suppose 11*h + 4*c + 36 = 7*h, 2*c - 17 = 3*h. Is 4 a factor of 2 + -7 - (h - 295)?
False
Suppose -128*r = -148*r + 264480. Is r a multiple of 4?
True
Let m = -55 - -63. Suppose -m*k = -11*k + 582. Let f = -134 + k. Is 12 a factor of f?
True
Let v be 3 + (2 - (3 + -5)). Suppose 4*q = -3*s + 1377, -4*s + v*s = 3*q + 1398. Suppose -c - 2*z = -145, -3*c = -0*c - z - s. Is 20 a factor of c?
False
Let u(o) = o**2 + 13*o + 12. Let p be u(-12). Let x be (p - -2)*(-2562)/(-28). Suppose -7*f + 4*f + x = 0. Does 28 divide f?
False
Let k = 125 + -125. Suppose k = -h + 4*t + 29, -h + 3*t + 13 = 7*t. Is h a multiple of 4?
False
Let p(m) = 12*m + 215 + 7*m - 34*m + 12*m. Is p(0) a multiple of 27?
False
Let o(c) = 232*c + 592. Is o(12) a multiple of 28?
False
Let d(f) = 14*f**2 + 89*f - 6. Let p be d(-7). Is (152/p)/((-1)/(-126)) a multiple of 56?
True
Let w = 5334 + 10018. Is w a multiple of 202?
True
Does 128 divide 160*7*(4343/(-215) + 21)?
True
Let k = -2975 + 6044. Is k a multiple of 93?
True
Suppose 15*x = 6*x - 828. Let w = 41 - x. Is 11 a factor of w?
False
Let s be 4/(-24) + 357/(-18). Let k be (3 - 195/s)*-4. Let d = k + 81. Does 6 divide d?
True
Suppose 4*a + 618 = 2426. Let z = -308 + a. Is z a multiple of 9?
True
Let f be ((-1)/((-5)/(-10)))/(-2). Suppose -2*i + f = 1. Suppose i = 6*y - 8*y + 32. Is 8 a factor of y?
True
Let z = 170 - 148. Suppose z*a - 9396 = -5*a. Is a a multiple of 23?
False
Let c = 537 + -191. Let h = c + 254. Does 30 divide h?
True
Suppose -11*g - 1438 = -12*g + 4*c, 6*g = 3*c + 8817. Is 11 a factor of g?
True
Suppose -6*u - 31 + 13 = 0. Does 7 divide u + 6 + (179 - (6 + 1))?
True
Let b(z) = -z**2 + 4*z + 17. Let t be b(7). Let k be (-69)/(-21) + (-2)/(-28)*t. Suppose c - 268 = -k*c. Does 22 divide c?
False
Suppose 3*g - 4*o = 16208, -2*o = 2*g - 15913 + 5089. Is g a multiple of 26?
True
Let z(s) = 2*s**3 + 29*s**2 - 42*s + 10. Let l(c) = -5*c**3 - 57*c**2 + 83*c - 20. Let i(w) = 3*l(w) + 7*z(w). Does 30 divide i(30)?
False
Let q be (4 - 38/8)/((-3)/8). Is (6 + 28)*(q + -2 + 4) a multiple of 8?
True
Let g be (-2 - -3)/(-1) - -63. Suppose -3*j = -5*i + 3*i - g, -4*i + 96 = 4*j. Let z = 57 - j. Is 7 a factor of z?
True
Is 676 + (-39)/(-3) + -14 a multiple of 7?
False
Let b = -130 + 194. Let i = b + -19. Is i a multiple of 5?
True
Let p = -411 - -411. Let k(u) = 21*u + 599. Does 18 divide k(p)?
False
Let f be ((-2)/12)/((184/(-96))/23). Suppose -f*b - 291 = -1325. Is 11 a factor of b?
True
Is 24 a factor of ((6 + (-5894)/(-21))*-3)/(7/(-42))?
True
Suppose -u + 102 = 2*u. Let t(h) = -2*h - 5. Let m be t(9). Let a = m + u. Does 11 divide a?
True
Suppose -267*v - 3966 = -264*v. Does 20 divide v/(-10) - (-48)/60?
False
Let m(d) = d**2 - 13*d + 15. Let o be m(12). Suppose o*n - 12 = -n. Suppose 6*j = n*j + 45. Is j a multiple of 2?
False
Suppose -4*n = -22 - 6. Let d(b) = -33*b + 42. Let v be d(n). Let s = v + 323. Does 29 divide s?
False
Suppose -2*j + 42*k - 1404 = 40*k, 2*j = 3*k - 1408. Let w = 905 + j. Does 9 divide w?
True
Let p(w) = 45874*w**2 + 5*w + 6 + 3*w**3 - 45875*w**2 - 3. Suppose d - 5 = -2*o + 6, 0 = o - 4*d + 17. Does 14 divide p(o)?
False
Suppose 3*a - 4 = 4*b + 7, 0 = -4*a + 5*b + 14. Let w(g) = 3 + g**2 + a + 15 - 2*g**2 - 18*g. Is 9 a factor of w(-17)?
True
Let j = 24163 + -22827. Does 28 divide j?
False
Suppose -5*a = -w + 100, -9*w = 4*a - 4*w + 80. Let i be (a/(-12))/((-4)/(-12)). Suppose -3*f = 0, -2*d + 2*f - i*f + 270 = 0. Does 15 divide d?
True
Let o be (-43)/6 + (-47)/(-282). Let w(x) = -17*x - 20. Is 3 a factor of w(o)?
True
Let h = -1174 - -1894. Suppose 24*p = 27*p - h. Is 15 a factor of p?
True
Is (-162)/(-297) + 957380/110 a multiple of 15?
False
Suppose -3*y - 4*o + 189 + 97 = 0, -3*o = 4*y - 372. Suppose 20*j - 25*j = -y. Does 9 divide j?
True
Let y be 2*((-3465)/(-12))/(24/16). Let c = y - 13. Is 36 a factor of c?
False
Suppose w = 5*w + 20, 10691 = 3*i + 2*w. Suppose k = -0*h - 2*h + 1425, 5*h - i = -k. Is h a multiple of 21?
True
Let u(b) = -11*b + 2. Let v be u(0). Suppose -v*n + 3*w = 6*w + 29, 5*n + 62 = -4*w. Let z(m) = -8*m - 40. Is z(n) a multiple of 2?
True
Let m(w) = 75*w**3 + 17*w**2 - 79*w + 261. Is 302 a factor of m(5)?
False
Let z(q) = -q**3 - 8*q**2 - q - 3. Let v be z(-8). Suppose 4*o + 2*g - 78 = 0, 0 = -4*o - v*g + 41 + 28. Let s = 102 - o. Does 11 divide s?
False
Let o = -97 + 102. Suppose 5*u - 33 = 4*i, -2*i - 22 = u + o. Is (i/(-30))/(2/(-10)) - -82 a multiple of 16?
True
Let u = -1996 + 5842. Does 10 divide u?
False
Let y = 105 + -161. Let h = y - -56. Suppose h = 4*s + 11*s - 600. Does 11 divide s?
False
Let f(s) = 15*s + 90. Let d be f(11). Suppose 0 = 4*c - 3*r - 2*r - 340, -3*c = -2*r - d. Is c a multiple of 18?
False
Let b(g) = -19*g - 7. Suppose -2*j - 21 = 3*k, -3*j + 3*k = 9 - 0. Let y be 3/(-1) + 0/(j/(-3)). Is b(y) a multiple of 10?
True
Suppose -4*y + l - 11 = 0, 5*y + 22 = 4*l - 0. Let t be (-4 - (4 + 186))/y. Is 2*t - (6 + -2) a multiple of 16?
False
Let l = 1420 - 501. Suppose 8*s - 1753 = l. Is 20 a factor of s?
False
Let v(j) = j**3 - 24*j**2 + 60*j + 80. Let l be v(21). Suppose 8*z = l*z - 1053. Does 16 divide z?
False
Let d(j) = j**3 - j**2 - 5*j + 2. Let t be d(0). Suppose -3*q + 640 = t*l, 8*l = 3*l - 5*q + 1590. Does 9 divide l?
False
Is 7 a factor of 1/(-8) + (-3 - 33065/(-8))?
True
Suppose c = 447*q - 451*q + 1433, -3*q = 3*c - 4263. Is 13 a factor of c?
True
Let k(c) = 21*c**2 + 148*c + 11. Let o be k(-7). Is (-14)/o + (-60444)/(-72) a multiple of 11?
True
Let u(t) = -5 + 5 - 4 + 2*t**2 + 3 + 24*t**3. Let x be u(-1). Let l = x + 36. Is l a multiple of 3?
False
Suppose -u + 0*u + 4 = 0. Suppose -b = u - 8. Suppose -5*q - 4*k + 258 = 0, 6 = -k + b*k. Is q a multiple of 21?
False
Does 2 divide (12/(-14))/1 + 81640/56?
False
Let w(j) = -j**2 + 4*j + 47. Let v be w(9). Suppose -n - 971 + 331 = -v*u, n = 4*u - 1280. Does 19 divide u?
False
Let m(a) be the first derivative of -a**4/4 + 10*a**3/3 + a**2/2 + 11*a - 62. Let v = -3 - -13. Does 5 divide m(v)?
False
Suppose -20 = 4*p, 103*w - 101*w = -3*p + 75059. Does 26 divide w?
False
Let a(v) be the first derivative of -v**3/3 + 17*v**2 - 126*v + 25. Is a(10) a multiple of 57?
True
Let p(i) = -i**2 + 4*i - 4. Let y be p(2). Suppose 5*w - 5*z - 255 = y, w + w + z - 111 = 0. Does 5 divide w?
False
Suppose -1952721 = -355*p - 27*p + 1638079. Is 100 a factor of p?
True
Let l(k) = 216*k - 429. Is l(12) a multiple of 103?
True
Let b(q) = 16*q**3 - 10*q**2 + 2*q - 6. Let s be b(4). Let h be 6*(2/(-13) - s/(-52)). Let v = 142 - h. Does 4 divide v?
False
Let p(c) be the third derivative of -19*c**4/24 + 7*c**3/6 - 2*c**2 + 55*c. Is 8 a factor of p(-22)?
False
Let h = -90 - -88. Let a be h - (1 - (-3)/(-1)). Suppose w + 12 = i, a*w = -5*i + 2*w + 66. Does 7 divide i?
True
Suppose f + 11*i - 450 = 7*i, -3*i = -12. Suppose 360 = -f*d + 437*d. Is 24 a factor of d?
True
Suppose 0 = -2*u - 1725 + 1723, -5*z - 3*u + 37997 = 0. Does 200 divide z?
True
Let m = 169 + -167. Is (m - 8)/((-18)/168) a multiple of 28?
True
Let b be 69/9*-1*(-3 - 3). Suppose b = 4*m + 30. Suppose -5*v = -4*s - 309, 2*s + 77 = m*v - 175. Does 13 divide v?
True
Let t = 98 - 93. Is 17 a factor of t/(2 - 7) + (-15740)/(-10)?
False
Suppose -30121 + 524617 = 17*z. Is z a multiple of 36?
True
Let o(r) = -899*r + 352. Does 67 divide o(-4)?
Fal