 - 2*f + 12 = 0, -3*k - 5*f - 79 = 0. Let x = -30 - k. Suppose -2*q - 2*w = -160, 4*w - 233 = -x*q + 7. Is q a multiple of 20?
True
Let h(d) = -18 - 10 + 8*d + 22. Is h(6) a multiple of 21?
True
Let w = -23 + 27. Suppose 5*g - 20 = 0, 6*s - 492 = 2*s - w*g. Is 17 a factor of s?
True
Suppose 24*l + 2736 = 28*l. Suppose 0 = -2*h + 6*h - l. Is 10 a factor of h?
False
Let s be (2 + 7/(-3))*(-22 - -10). Suppose s*r - 460 = -r. Is 36 a factor of r?
False
Let r(z) = 2*z - 5 + z**2 - 1 + 5*z. Suppose 2*m - 224 = -244. Does 12 divide r(m)?
True
Suppose 4*o + 0*o + 3*r = -385, -5*r - 286 = 3*o. Let u = o - -215. Is u a multiple of 15?
False
Does 51 divide 1*(-2 + -2) - -547?
False
Suppose -4*j + 24 = -2*j. Let n = j - 0. Suppose -n = -d + 5. Is d a multiple of 5?
False
Let h(u) = -16*u + 778. Does 3 divide h(38)?
False
Let i(n) = -n**3 + 15*n**2 - 19*n - 30. Is i(-7) a multiple of 53?
False
Suppose 0 = -2*d - 0*b - 2*b + 86, -d = 3*b - 33. Let r be 36/d*4/3. Let p(n) = 65*n**3 - 2*n**2 + n. Is 16 a factor of p(r)?
True
Suppose 2*w - j + 55 = -2*j, -3*j - 53 = 2*w. Is 2589/21 - (-8)/w a multiple of 50?
False
Let y(f) = -f**2 + 10*f - 15. Let h be y(8). Let m = h - 13. Does 6 divide m/(-54) + 160/9?
True
Let v(s) = s**2 + 6*s - 11. Let j be v(4). Let h = -23 + j. Does 5 divide h?
False
Suppose 4*v - 3 = -3*w, -v + 1 = 4*w - 3*w. Suppose v*b - b = -15. Is 2 a factor of b?
False
Let k = -166 - -113. Let m = k - -62. Is 9 a factor of m?
True
Is 33 a factor of -2*33*(6 + (-91)/14)?
True
Suppose 7 + 11 = 3*x. Let m be (-351)/(-18) - x/4. Suppose -28 = -4*q - t, 4*q - m = -4*t - 2. Does 4 divide q?
True
Let q(z) = -z**3 + z. Let t be q(-1). Let a = 183 - 180. Suppose 0*y - 5*y = -k + 29, -a*y - 12 = t. Is k a multiple of 9?
True
Let a(i) = i**3 - 10*i**2 + 10*i - 9. Let c be a(9). Suppose 6*n + c = 498. Is 14 a factor of n?
False
Suppose -4*g - 21 - 133 = -2*m, g + 55 = -5*m. Let x = 91 + g. Does 6 divide x?
False
Suppose 0 = -11*b - 2*b + 26. Suppose -7*w + b*x + 147 = -2*w, w = x + 30. Does 29 divide w?
True
Let d(u) = u**3 + 12*u**2 + 11*u - 57. Does 31 divide d(-6)?
True
Suppose -1 = -8*v - 33. Is 4 a factor of (0 - v)*44/16?
False
Let j = 236 - -2176. Is j a multiple of 18?
True
Let q(m) = 175*m + 49. Does 26 divide q(2)?
False
Let m(b) = -b**2 - 4*b + 12. Let t be m(-6). Let n be (3/(-3))/(1/(-2)). Suppose -4*p - 4*u + 8 = t, -5*p + 2 = n*u - 17. Is p even?
False
Suppose -z - 2*l + 4 = -l, 3*z + 2*l = 11. Suppose o + 4 = -z*o. Is 17 a factor of (o + 2)*3*13?
False
Let c be (2 + 6)*10/8. Is 31 a factor of 1494/c + 26/(-65)?
False
Let o(v) = -v**3 + 3*v + 0 + 2 + 0*v + 2*v**2. Let k be o(-2). Suppose 0 = -x + 48 - k. Is x a multiple of 12?
True
Suppose 4*m + m = -3*m. Suppose 0 = -m*z - 3*z + 75. Is z a multiple of 6?
False
Suppose -2668 = -9*u + 1094. Does 40 divide u?
False
Suppose 3374 = -6*d + 9254. Does 20 divide d?
True
Is 59 a factor of -2 + ((-2740)/(-100))/((-1)/(-5))?
False
Let w be (-20)/(-25) + (-72)/(-10). Let r(u) = -w*u + 5*u**2 + 5*u - u**2 + 8*u. Is 11 a factor of r(-4)?
True
Let t(j) = j**3 + 4*j - 10 + 13*j**2 + 2*j + 5*j. Let d be t(-12). Suppose 0 = 4*p - d*y + y - 159, -2*p = -3*y - 87. Is 20 a factor of p?
False
Let q(d) = d**3 + d**2 + d - 1. Let v(m) = -4*m**3 + 2*m**2 + 3*m + 12. Let y(h) = 5*q(h) + v(h). Does 5 divide y(-5)?
False
Let q(p) = -p**3 + 7*p**2 - 6*p - 12. Let m be q(6). Does 15 divide (-370)/(-4)*m/(-15)?
False
Does 7 divide (180/(-25))/(-4)*105/9?
True
Suppose -u = 2 - 1. Does 8 divide (-6 + u)*(4 + -12)?
True
Suppose -6282 = -20*f + 10678. Is 6 a factor of f?
False
Let z = 0 + 6. Suppose 12 = -z*h + 10*h. Suppose -2*i + d + 92 = 0, h*i + 0*d = 3*d + 132. Is i a multiple of 12?
True
Let f = 9 + 1. Suppose 3*v = v + f. Suppose 0 = v*u - 16 - 19. Does 7 divide u?
True
Let r = 75 + -89. Does 2 divide (-260)/(-28) - (-4)/r?
False
Let y be -5 + 0 - (-3 + -1). Is (9*1/(-15))/(y/55) a multiple of 7?
False
Let u(f) = -f**3 + 5*f**2 + 5. Let z be u(5). Suppose r - 5*m + 7 + 6 = 0, z*r + 9 = -3*m. Is (-60)/(r + 0) + 1 a multiple of 7?
True
Let z(w) be the second derivative of w**5/30 - 5*w**4/24 + w**3/6 + 5*w**2 - 3*w. Let k(y) be the first derivative of z(y). Does 39 divide k(-4)?
False
Let s be (-20)/50 - (-394)/10. Suppose l + s = 2*l. Is 13 a factor of l?
True
Let b = -25 + 31. Let g be (-13)/(-1 - (4 - b)). Let d = g - -34. Is 21 a factor of d?
True
Let y be 2*(5/(-6))/((-6)/(-486)). Is ((-8)/6)/(3/y) a multiple of 20?
True
Suppose -41*o + 5*j + 1980 = -36*o, -j - 1186 = -3*o. Is o a multiple of 21?
False
Suppose -2617 = 18*d - 8017. Is 10 a factor of d?
True
Let w be (-4)/(-10) + 23/5. Suppose q + 5 = 2*z - 0*z, -4*q - w*z + 45 = 0. Suppose 10 = -q*t + 75. Is t a multiple of 13?
True
Let d = 5922 + -3257. Is d a multiple of 13?
True
Suppose 611*b = 605*b - 60. Let k(w) be the second derivative of -w**5/20 - 5*w**4/6 + 13*w**2/2 + w. Does 4 divide k(b)?
False
Let v = 21 - -20. Suppose k - 201 = -v. Is k a multiple of 32?
True
Let g(h) = h**2 + 11*h + 8. Let d be (-2)/(-12) + (-261)/(-54). Suppose -3*w + 2*l = -0*l + 43, -2*w + d*l - 25 = 0. Is g(w) a multiple of 12?
False
Suppose m = 2*z + 106, -3*z - 218 = z + m. Is 0 + (0 - (z + -3)) a multiple of 16?
False
Let o = -261 + 483. Let w = o + -154. Does 17 divide w?
True
Let z(j) = -3*j**2 + 13*j + 19. Let s be z(-7). Let v = s + 332. Is v a multiple of 35?
False
Suppose -b + 4 = 2*q, -3*q = -0*q + 2*b - 4. Suppose -2*v - 8 = -2*d - 50, -5*v - q*d = -123. Is 15 a factor of v?
False
Suppose 0 = -2*z + 3*p + 285, -3*z + 120 = p - 335. Suppose -4*i + z = i. Is 15 a factor of i?
True
Let w = -800 + 1283. Is w a multiple of 23?
True
Let h = 48 - 45. Is 4 a factor of (-10 - h)*(6*2)/(-3)?
True
Suppose -5*a - 91 + 1001 = 0. Suppose a = 4*y - 42. Is y a multiple of 11?
False
Suppose -5*a = 4*o - a, 0 = 3*o + 4*a + 5. Suppose -95 = -2*w + 3*q + 2*q, 0 = -4*w + o*q + 185. Is w a multiple of 28?
False
Let g = -187 + 330. Is g a multiple of 3?
False
Suppose 0 = 32*y - 25268 - 67276. Is 11 a factor of y?
False
Is 10 + (-7)/(49/(-7700)) a multiple of 24?
False
Let n(r) = 4*r**2 + 42*r + 355. Is 23 a factor of n(-31)?
False
Does 25 divide (-7 - -3)/(5 + 847/(-169))?
False
Let r(s) = 5*s**3. Let m be r(1). Let l = 8 - m. Suppose 3*a + 210 = l*f, -4*a - 73 = -f - 6*a. Does 24 divide f?
False
Let p be 5/(-15) + 0 + 14/6. Suppose p*h - 193 = -o - 63, -2*o = 0. Is h a multiple of 13?
True
Let y(z) = 9*z**3 - 2*z**2 + 4*z. Let t be y(3). Suppose -2*p + 277 = 4*k - t, 4*k - p = 511. Is 22 a factor of k?
False
Suppose 2*w + 8 = -0*a + 3*a, -2*a - w = -3. Suppose -4*c = a*k - 62, -5*c + k + 78 = 4*k. Let t(y) = -y**2 + 18*y + 10. Does 11 divide t(c)?
True
Is 7/(-14) - 6078/(-12) a multiple of 22?
True
Let f = -214 + 412. Is 11 a factor of f?
True
Does 5 divide 2 - 2 - 7520/(-16)?
True
Let c be (-137)/(-3*2/(-12)) + 3. Let b = c + 394. Is 6 a factor of b?
False
Suppose 0 = -5*l - 260 + 3360. Is l a multiple of 31?
True
Suppose -3*o - 4*o = -112. Let v(k) be the third derivative of k**6/120 - 4*k**5/15 + 7*k**3/3 - 3*k**2. Does 14 divide v(o)?
True
Suppose 436 + 326 = 6*v. Let g = 161 - v. Does 21 divide g?
False
Suppose 2*j - 2*q - 155 = 3*q, -3*j + 225 = -5*q. Suppose 44*t - 42*t = j. Does 7 divide t?
True
Let s(h) = h**3 - 4*h**2 - 3*h + 3. Let m be s(4). Suppose -28 = -4*p - z, -7*p - 4*z = -2*p - 24. Is (-200)/m - p/36 a multiple of 11?
True
Suppose -1995 = -2*v + 5. Does 25 divide v?
True
Suppose 5*j - 119 = -2*j. Suppose -3*q = -b - 5 + j, -3*q = -2*b + 21. Is 2 a factor of b?
False
Suppose 4*s = p + 936, 5*s - 9*p = -8*p + 1171. Is 5 a factor of s?
True
Suppose -z + 6 = -7. Let d(p) = 7*p - 43. Is d(z) a multiple of 3?
True
Let z(k) = 4*k**2 - 6*k + 6. Suppose 23 - 79 = -8*j. Is z(j) a multiple of 10?
True
Let c(y) = 2*y**3 + 2*y**2 - y + 72. Does 18 divide c(0)?
True
Does 16 divide (-117082)/(-77) + 48/(-88)?
True
Suppose 3*c + 5*v - 12 = 0, -2*c + 8 = 3*v - 0. Suppose -4*h + 2*g = 5*g - 147, c*h - 149 = -5*g. Does 9 divide h?
True
Let s = -333 - -421. Is 9 a factor of s?
False
Suppose 9*n + 410 = 14*n. Suppose 131 = u + 5*o - n, 5*o = -3*u + 629. Is 16 a factor of u?
True
Does 5 divide (-1 - -4)*(96 + 42)?
False
Let s(b) = b**3 + b**2 + 2*b - 3. Let t be s(0). Let h = t - -17. Is h a