 2*j. Let w be 2*((-12)/(-8) - 0). Is 3 a factor of s(w)?
True
Let k be (-10)/25 + (-27)/(-5). Suppose -10 = -o - 5*n, -k*o - 3*n = 2 - 8. Does 10 divide (-80 - o)*2/(-4)?
True
Let z be 1 + 1 + -8 + 6. Suppose -c + s - 85 = z, 6*s = -c + 3*s - 105. Let v = c - -153. Does 17 divide v?
False
Does 11 divide ((-90)/150)/((-1)/220)?
True
Suppose -3*a + 0*a + 36 = 0. Suppose 3*z + 52 = 5*z. Suppose c = 3*y + z, y + a = -2*y. Is 7 a factor of c?
True
Suppose p - 1731 = -5*k, 17*p + 2*k = 20*p - 5210. Does 24 divide p?
False
Suppose 870 = 3*z - 840. Does 15 divide z?
True
Let y(i) = -24*i**2 + i - 6. Let v(k) = -k**2 - 1. Let z(b) = 5*v(b) - y(b). Is z(2) a multiple of 15?
True
Let j = -610 + 1842. Is j a multiple of 102?
False
Suppose 0 = 4*f + 3*a + 715, a + 3 = -2*a. Let r = 278 + f. Does 5 divide r?
True
Let k(c) be the second derivative of 1/2*c**3 + 5/6*c**4 + 4*c - 1/20*c**5 + 0 - 9/2*c**2. Is k(10) a multiple of 11?
False
Suppose -f + 6 - 3 = 0. Let t be -1*(-9)/f + -48. Is (t/(-6))/(12/32) a multiple of 13?
False
Let w = -25 - -27. Suppose -h + 60 = w*h. Does 18 divide h?
False
Suppose 5*k - 2300 = 5*c, -5*c = -3*k + 1676 - 306. Does 15 divide k?
True
Let v(h) = 18*h. Let b be v(1). Let q = b - 16. Suppose 2*j - 3 = -1, -q*j - 122 = -4*m. Is 8 a factor of m?
False
Let x = -863 + 1225. Suppose -4*c - 86 = -x. Is c a multiple of 23?
True
Suppose 3*u - 5*u + 4 = 0. Suppose 2*q + 4*b = b + 113, u*q - 3*b - 95 = 0. Let f = 73 - q. Does 15 divide f?
False
Does 34 divide -17*(4 + -2)*-22?
True
Suppose -q = -2*u - 7, -7 + 1 = u - 3*q. Is u/(((-1)/22)/((-2)/(-12))) a multiple of 4?
False
Suppose 0 = -4*d + c - 2*c - 29, -4 = 4*d - 4*c. Let v(o) = 3*o**2 + 6*o - 1. Let u be v(d). Is u + (7 - 3)/(-4) a multiple of 20?
False
Suppose 255 = 6*u - 1707. Suppose 156 = q - 3*q + 4*i, -3*i + u = -4*q. Let l = q - -192. Is 36 a factor of l?
True
Is ((-10360)/50)/((-38)/(-20) - 2) a multiple of 14?
True
Let b = 45 - -122. Suppose 5*i - b = 208. Does 19 divide i?
False
Let w(k) be the third derivative of k**6/120 + 7*k**5/60 - k**4/8 - 3*k**3/2 - 28*k**2. Is 3 a factor of w(-6)?
True
Suppose 3*f - 495 = 393. Let y = f + -159. Is 30 a factor of y?
False
Let f = 56 + -102. Let z = -33 - f. Is z a multiple of 13?
True
Suppose 2*i - 410 = -4*h, 193 = 19*h - 17*h + 5*i. Is 8 a factor of h?
True
Suppose -6*x = -11 - 19. Suppose -y = -4*b + y + 348, -y = -x*b + 432. Is b a multiple of 28?
False
Suppose -1 = -2*m + 9. Suppose -420 = -m*j - 0*j. Suppose 0 = -g + 7*g - j. Does 2 divide g?
True
Is 3 a factor of (-118)/(-1) - (-144)/(-24)?
False
Let h be (-39)/(-6) + 30/12. Suppose -8 = h*p + 460. Let f = -10 - p. Is f a multiple of 14?
True
Let d(a) = 6 - 5*a + 4*a**2 + 8*a**2 - a**2 - 1. Let x be d(-5). Suppose -6*p + p = -x. Is 13 a factor of p?
False
Suppose -7*d + 40 = -6*d - 2*u, u = -5*d + 167. Does 2 divide d?
True
Suppose 2*i + 400 = 7*i. Let k be i/44 - 2/(-11). Suppose -4*p - 31 = -k*o - 5*p, -41 = -2*o + p. Does 5 divide o?
False
Suppose -2*r + 4 = -r. Suppose -2*d - d = -a + 6, -a + 2*d + r = 0. Suppose 5*k - 265 = -a*k. Is 8 a factor of k?
False
Suppose -783 = -4*s + 3*r, 4*s + 2*r - 925 = -147. Is 13 a factor of s?
True
Suppose -5*f = i - 2460, 4*f + 0*f = 5*i + 1968. Suppose 5*j = -4*a + 684, -f - 232 = -4*a + 5*j. Does 16 divide a?
True
Let y = 288 + -268. Is y a multiple of 4?
True
Let b(d) = 113*d + 140. Is b(20) a multiple of 80?
True
Suppose -v - 4*v = -620. Does 4 divide 4 + (-2)/((-8)/v)?
False
Does 94 divide 8/(-16)*188*-8?
True
Suppose -2*o + 1 = -o. Let b(c) = -6 - c - 2*c + 2 - o. Is b(-5) a multiple of 7?
False
Let m(h) = -30*h**2 + 194*h - 7. Is m(4) a multiple of 7?
False
Suppose 4*k - 9*k = -5*y + 290, 0 = 4*k. Is y a multiple of 29?
True
Suppose 0*g + 6168 = 4*g. Let i be 4/16 - g/24. Let l = 94 + i. Is 14 a factor of l?
False
Let r(w) = -w**2 + 13*w + 8. Suppose 0 = 4*q, 0 = -o + 4*q + 1 + 10. Is 10 a factor of r(o)?
True
Does 50 divide (23/(-3))/((-407)/132 + 3)?
False
Let u(h) be the third derivative of -h**5/60 - 11*h**4/24 - 5*h**3/2 - 7*h**2. Does 15 divide u(-6)?
True
Suppose -4*l + 314 + 344 = -2*m, 3*m = 4*l - 657. Does 17 divide l?
False
Let p(g) be the second derivative of 1/12*g**4 - g**2 + 0 - g + 3/20*g**5 - 1/6*g**3. Is 5 a factor of p(2)?
False
Does 10 divide (146/(-1) + -3)/(-1)?
False
Let x = -27 + 153. Suppose -4*w + 2*w = -3*o - x, -292 = -5*w - 4*o. Is w a multiple of 15?
True
Let o(k) = -9*k + 47. Let m be o(11). Let d = m + 142. Is d a multiple of 45?
True
Let x(q) = 3*q + 28. Let w be x(-10). Is 8 a factor of w/((1/(-10))/((-3)/(-6)))?
False
Let k = 354 + -154. Suppose 4*p - k = 2*a, -204 = -4*p + 5*a - 16. Is 13 a factor of p?
True
Let y = -871 + 1634. Is 27 a factor of y?
False
Let a = 1103 + -499. Is 6 a factor of a?
False
Suppose -9*b - 120 = -14*b. Is b a multiple of 6?
True
Let i(o) = 8*o**2 - o. Let b be i(4). Suppose 3*v = b + 83. Is 10 a factor of v?
False
Let l be (-779)/(-4) + 20/16 + -1. Suppose l - 31 = 5*r - f, 3*r = -4*f + 80. Does 8 divide r?
True
Suppose 4*w = -2*j + 50, 0 = w - j + 2*j - 14. Is 11 a factor of w?
True
Suppose -152*f + 6435 = -141*f. Does 67 divide f?
False
Let q be ((-326)/(-8))/(6/24). Let g be (11 + -12)/((-1)/q). Suppose 0 = -5*z + g + 7. Is 14 a factor of z?
False
Suppose 5*j - 2126 = s + 408, -s + 508 = j. Is j a multiple of 15?
False
Let o be (-474)/(-4) - (-60)/(-24). Let z(a) = -60*a - 4. Let v be z(-3). Let m = v - o. Is 15 a factor of m?
True
Suppose 29*n = 32*n - 609. Does 15 divide n?
False
Suppose -h - 2 = -0*h. Is (56/(-42))/(h/120) a multiple of 16?
True
Let g(k) = -4*k**2 + 8*k - 11. Let a(u) = 3*u**2 - 8*u + 10. Let t(o) = -5*a(o) - 4*g(o). Let c be t(-8). Let s = 18 + c. Is 12 a factor of s?
True
Suppose 0 = 7*g - 1853 + 838. Is g a multiple of 35?
False
Suppose 0 = 87*q - 68*q - 1634. Does 3 divide q?
False
Let y(m) = -21*m - 56. Is y(-8) a multiple of 14?
True
Let f = -6 - -4. Let t be ((-4)/f)/(4/22). Suppose -t = 5*u - 81. Is u a multiple of 7?
True
Suppose -34*p + 6534 = -28*p. Is p a multiple of 7?
False
Let l be (-90)/(-6) - (3 + 3). Suppose 2*n = -2*o + 140 + 188, 3*n - o = 488. Suppose -125 = -l*c + n. Is 6 a factor of c?
False
Suppose l + 3*w - 242 = 117, 5*l = -2*w + 1756. Does 12 divide l?
False
Let v(o) = 2*o**2 + 3*o + 21. Is v(9) a multiple of 23?
False
Let u = 12 + -10. Suppose -c - u*l + 14 = 0, 0*c + 5*l - 42 = -3*c. Does 4 divide c?
False
Suppose 6*f - 2493 = 507. Suppose -116 = -n - 5*q, 2*n + 2*q = -2*n + f. Is 21 a factor of n?
True
Suppose -2*k + 4 = -2. Suppose -v - 4 = -k*v. Suppose 5*n - 4*q - q - 465 = 0, -v*n + 5*q = -177. Does 32 divide n?
True
Let m(c) = c**3 - 32*c**2 - 24*c + 140. Is m(33) a multiple of 19?
True
Suppose -6*y + y + 10 = 0. Suppose -2*d - 4 = y. Let x = 30 + d. Is x a multiple of 5?
False
Does 5 divide 192 - -8 - (1 + 1 + -2)?
True
Let c(y) = 0*y**2 + 8*y**2 + 0*y**2 - 1. Let u(r) = r**3 + 9*r**2 + 14*r - 2. Let t be u(-7). Does 8 divide c(t)?
False
Let b(k) = k**2 - 2*k + 10. Let s be b(8). Let c = 33 - s. Let n = -21 - c. Is n even?
True
Let j be 4/14*(-5 + 12). Suppose -46 = -2*d - j*n + 30, 2*d = -n + 71. Does 33 divide d?
True
Let h = 100 - 85. Does 3 divide 2/6 - (-130)/h?
True
Let j(t) = 46*t**2 + 4*t - 4. Is 12 a factor of j(2)?
False
Suppose -3462 = -4*h - 2*s, 2*s - 271 = h - 1129. Is h a multiple of 54?
True
Let f(j) be the second derivative of 13*j**4/6 + j**3/6 - 10*j. Does 12 divide f(1)?
False
Let j = -61 - -59. Does 6 divide 3*j/6*-38?
False
Let d = 2207 - 1376. Is 46 a factor of d?
False
Suppose 480 = -69*t + 73*t. Is t a multiple of 12?
True
Suppose 360 = l + 4*x, -1440 = -3*l - l - 2*x. Is 24 a factor of l?
True
Let w be (-4)/18 + 37496/9. Let b be 2/(-15) + w/(-30). Let m = -82 - b. Is m a multiple of 19?
True
Let n be 56/(-28) + ((-2)/2 - 2497). Let t(d) = -d**3 + d**2 + d - 2. Let w be t(0). Is 27 a factor of n/(-24) + w/12?
False
Let m = -19 + 21. Suppose -m*l + l - 2*r = -288, -4*l - r + 1117 = 0. Is 13 a factor of l?
False
Suppose 4*g - 2*z = 9 + 11, -5 = -g + 5*z. Is 5 a factor of 18/g*45/9?
False
Suppose 0 = -5*w + 5*f - 44252 - 8923, 2*f = -2*w - 21282. Is (-2)/10 + w/(-90) a multiple of 27?
False
Suppose 4*d - d + m - 571 = 0, 0 = -2*d - 2*m + 382. Does 5 divide d?
True
Suppose 3*z + 9 = -