 + 3*v - 159 = -5*c, 0 = -4*c - 5*v + 135. Suppose -c - 82 = -8*n. Does 11 divide n?
False
Suppose 0 = 3*d + 5*b + 60, d = -3*d + 3*b - 51. Is 0*5/25 + (1 - d) a multiple of 2?
True
Suppose 0*o + 4*o = -2*i - 12, -9 = -2*i + 3*o. Let d = 227 - 152. Suppose i = -3*g + d + 75. Does 25 divide g?
True
Does 6 divide (2 - -2) + 480/(2 + 3)?
False
Let z = -2024 + 2181. Does 11 divide z?
False
Suppose 4*p - 17 = -4*q + 11, q + 13 = 3*p. Suppose p*o - 245 = -5*n, -2*o + 4*n = 2*n - 106. Does 14 divide o?
False
Let j be (-1)/(-2) - 42/12. Is (-4045)/(-15) + (-1)/j a multiple of 25?
False
Let n = 26 + -32. Let z = -3 - n. Suppose -2*f + 150 = z*f. Does 10 divide f?
True
Is (8 + -2)*260/6 a multiple of 13?
True
Suppose 0 = 7*n - 6237 - 1316. Is n a multiple of 131?
False
Suppose 103 = 6*d - 671. Does 3 divide d?
True
Let q(o) = 2*o**2 + 49*o + 39. Does 10 divide q(-27)?
False
Suppose 25*z = 28*z - 141. Let x = -7 + z. Is x a multiple of 4?
True
Suppose -2*o - 10 = -3*v + 6*v, -3*o = v + 22. Let x(k) = -k**3 - 8*k**2 - 3*k - 8. Let j be x(o). Suppose 3*a - j = 2*a. Is a a multiple of 8?
True
Suppose 0 = -20*y - 2*y + 5984. Is y a multiple of 34?
True
Let b be -1 + (-1745)/15*-3. Suppose b = 4*r + 4*c, c = -5*r - c + 435. Is 21 a factor of r?
False
Let g(p) = 3*p + 23. Let o be g(-7). Suppose o*a + a - 81 = -y, -3*y + 188 = -2*a. Is y a multiple of 22?
True
Let u(j) = -j**2 + 65*j - 140. Is 26 a factor of u(22)?
True
Suppose 5*z = -0*z - 2*i + 180, 5*z - i = 180. Is z a multiple of 36?
True
Suppose -2*o + 4*f + 266 = 5*f, -4*f - 16 = 0. Let i = -96 + o. Suppose 0 = s - 2*m - 20, 2*m + 11 = 4*s - i. Is s a multiple of 5?
True
Let q = 310 - 166. Is 9 a factor of q?
True
Suppose -2*n - u + 483 = -216, 3*n - 4*u - 1054 = 0. Suppose 355 = 5*d - n. Does 11 divide d?
False
Let x be (-2)/1 + (5 - 19). Does 16 divide (-65 - -1)/(-2*(-4)/x)?
True
Suppose -12*z - 22*z = -29818. Does 31 divide z?
False
Suppose -10*c + 3*s + 2466 = -7*c, 3*s - 4134 = -5*c. Does 17 divide c?
False
Let i = 34 - 32. Suppose -3*b + 2*r + 169 = 0, 3*b - 3*r = -i*b + 282. Is b a multiple of 13?
False
Let o = -118 + 187. Is o a multiple of 37?
False
Suppose 0 = 9*j - 12*j + 384. Let z = j - 118. Is 5 a factor of z?
True
Let m = 637 + 921. Is 19 a factor of m?
True
Does 19 divide (-1)/9 - (-201180)/756?
True
Let x = 28 + -24. Suppose 0*y - x*y = 3*l - 45, -5*l = 4*y - 75. Suppose l*k = 12*k + 60. Is k a multiple of 5?
True
Is 32 a factor of -5 + 0 - -869*(-1 + 2)?
True
Suppose 0 = -4*r - 3 + 11. Suppose -r*q + 27 = n, -3*q = 4*n - 2*q - 73. Does 8 divide n + (-1 - 0) - 0?
True
Let m = -7 + 19. Let w = 245 + -227. Is 14 a factor of w*(-3)/m*-4?
False
Let y = -907 + 1177. Is y a multiple of 59?
False
Suppose 4*g + 4*a = -g - 288, 0 = -3*g - 2*a - 172. Let p = g + 71. Does 15 divide p?
True
Let h(l) = 595*l**3 + 7*l**2 - 3*l - 8. Is 77 a factor of h(2)?
True
Suppose 9*p = 4*p + 5. Let s(d) = -50*d**3 - 3*d**2 + 2. Let i(k) = k**2 - k. Let x(m) = -i(m) - s(m). Is 10 a factor of x(p)?
False
Let u be 2*(-2)/8*4. Let w be 100/16 - u/(-8). Suppose -5*r - f + 235 = 0, -w*r + 3*f = -r - 215. Does 12 divide r?
False
Let r = -59 + 39. Let g = 23 + r. Suppose -2*c + b = -70, g*c - 6*c - 2*b = -91. Is c a multiple of 11?
True
Suppose 0 = -0*g + g - a + 130, -90 = g + 7*a. Suppose 4*j - 900 = -3*s, 4*j - 2*j - 436 = 2*s. Let q = g + j. Does 30 divide q?
False
Let y = 59 + -35. Let u be 6*(-4)/y*-2. Suppose b - 4*n = -b + 80, -5*n + 35 = u*b. Is 10 a factor of b?
True
Let f = -28 + 208. Does 36 divide f?
True
Let c(h) be the third derivative of h**4/24 - 17*h**3/6 - 2*h**2. Let x be c(17). Suppose x = -5*d + 353 - 3. Is 35 a factor of d?
True
Suppose 0*v - 2*v = -2*y + 178, -4*y = -5*v - 443. Let l = -17 - v. Suppose -2*s = -5*z + 36 + 6, -l = -5*z - 5*s. Does 10 divide z?
True
Suppose x + 3*d - 272 = 0, 2*x + 0*d = -5*d + 548. Is x a multiple of 6?
False
Does 55 divide -5 + 9/((-9)/(-170))?
True
Suppose -23*i = -24*i + 91. Is 7 a factor of i?
True
Let u(s) = 6*s**2 + 2*s + 34. Does 24 divide u(-12)?
False
Let w(s) = s**3 + 2*s**2 - 3*s - 3. Let h be w(-2). Suppose -2*g - h = -1. Does 19 divide -3 + g/(4/(-240))?
True
Let z = 35 - 19. Suppose 0*j = -j - 2*y + 28, -4*y = -z. Let o = -11 + j. Is o a multiple of 9?
True
Let g(q) = q**3 + 10*q**2 - 14*q. Does 6 divide g(-11)?
False
Let u = -582 - -1017. Does 28 divide u?
False
Suppose 4*v - 9 = 31. Is 20 a factor of 2460/25 + 2 + (-4)/v?
True
Suppose 5*s - 36 = 4*a, 0 = -3*s + 2*a - 2 + 22. Suppose -2*r - 1 = -b - s, -r - 2*b - 11 = 0. Let w = 19 - r. Is 5 a factor of w?
True
Let s be 52/(-39)*(1 + (-29)/2). Suppose 7*h - s = 192. Does 13 divide h?
False
Let v(y) = 17*y + 102. Is v(15) a multiple of 9?
False
Suppose 84 = 4*n - u, 5*n + 2*u = 7*u + 90. Let m = -6 + n. Does 8 divide m?
True
Let d = 295 - 296. Let l(x) = 10*x + 2. Let m(p) = p. Let g(h) = -l(h) - 6*m(h). Does 7 divide g(d)?
True
Let u(b) = -35*b - 389. Is u(-42) a multiple of 89?
False
Let b = -14 - -20. Let l be 0 + (-6)/(b/2). Is 5 a factor of (l + 6)/2 - -23?
True
Suppose -d - 1045 + 46 = -5*m, -3*d + 203 = m. Is 20 a factor of m?
True
Let y(j) = -2 - 5 - j + 8 + 49*j**3 - j**2 + 0. Suppose 0*m = 3*m - 3. Does 16 divide y(m)?
True
Suppose 4*g - o = 999, -2*o = -4*g + 901 + 97. Is 25 a factor of g?
True
Let n(p) = 8*p + 30. Does 13 divide n(6)?
True
Let l(r) = 19*r + 4. Let w be l(6). Suppose 42 + w = 4*v. Is 10 a factor of v?
True
Let t = 647 - 6. Is t a multiple of 16?
False
Suppose -5*s = 5*l + 45, -2*l + s - 17 = 4. Let f be (-168)/40 - (-8)/l. Let w(b) = 6*b**2 + 12*b + 4. Is w(f) a multiple of 17?
False
Let x(m) = 3*m**2 + 10*m - 54. Does 22 divide x(9)?
False
Suppose -4*j = -10*j + 1188. Suppose -g = f - 67, -13*f + 16*f + 2*g = j. Is f a multiple of 4?
True
Suppose 2*x + 4*q = 0, 0*q = 3*x + 3*q. Let z = -2 + x. Does 12 divide (z + -5)*(-24)/7?
True
Does 55 divide ((-84)/(-8))/(1/108*2)?
False
Let o = -2302 - -3030. Is 13 a factor of o?
True
Let z(u) = u**3 + 7*u**2. Let d = 11 - 9. Suppose -r = 3*b + 4, r + d*b + 4 = 3*b. Does 24 divide z(r)?
True
Suppose -150 = -3*s + 180. Is s a multiple of 2?
True
Suppose 0 = 4*w - 20 - 0. Suppose 4 = -w*l - 4*b + 35, 5*l + b = 19. Let h = l + 30. Is 11 a factor of h?
True
Let h = -26 - -77. Is h a multiple of 5?
False
Suppose 0 = 5*y - 249 - 1. Let i = y + -22. Let s = i + 0. Does 14 divide s?
True
Let f = 11994 + -6351. Is f a multiple of 27?
True
Let b = -26 + 39. Suppose 4 = 4*j, -10*d + 5*d - 3*j + 3 = 0. Suppose -11*x + b*x - 72 = d. Does 12 divide x?
True
Does 45 divide (-5 - 0 - 1322)/(-1) - 6?
False
Suppose -4*c - 1773 = -5*n, 0*n - 4*n - 4*c + 1440 = 0. Suppose 165 + n = 6*o. Is 11 a factor of o?
False
Let y be 2/(-6) + (-42)/(-18). Suppose -5*v = -5*f + 1665, -705 = 5*v - y*f + 969. Does 11 divide ((-6)/4)/(18/v)?
False
Let q be 10/5*(-300 + 0). Is ((-6)/(-9))/2 - q/9 a multiple of 5?
False
Suppose -984 = -6*r - 0*r. Is r a multiple of 18?
False
Let i(h) = -h**3 - 11*h**2 - 23*h - 7. Let x be i(-9). Let g = x - 18. Does 9 divide g?
False
Let g be (2/1 + -2)/(-2). Suppose 0*l - 16 = 5*c + 2*l, -l + 2 = g. Let h(w) = -6*w + 4. Is h(c) a multiple of 28?
True
Suppose 96 + 74 = 5*u. Suppose 3*z - 298 = -5*g, 0 = z + 3*g - 136 + u. Does 17 divide z?
False
Let p = -892 - -2314. Does 12 divide p?
False
Let t(a) be the second derivative of -a**5/20 + a**4/8 + a**3/2 - 4*a. Let n(z) be the second derivative of t(z). Does 5 divide n(-2)?
True
Suppose -1359 = -1679*m + 1670*m. Does 4 divide m?
False
Let x = -2 + -32. Let h = x + 69. Suppose -5*k - 4*g = -33 - h, -44 = -4*k + 2*g. Is 12 a factor of k?
True
Let h = -182 + 185. Is h a multiple of 2?
False
Suppose 0 = -222*d + 229*d - 1659. Does 9 divide d?
False
Let y = 1039 + -525. Is 7 a factor of y?
False
Suppose -31800 = 38*f - 43*f. Is 19 a factor of f?
False
Let t = -127 - -586. Is t a multiple of 9?
True
Let d = -7 - -10. Suppose d*p - 15 = 105. Does 20 divide p?
True
Let o(l) = -4*l**3 - 3*l**2 + 2*l - 1. Let z be o(2). Let m = z - -111. Does 22 divide m?
False
Suppose 7*d + 73*d - 17760 = 0. Does 37 divide d?
True
Let m = 854 + -180. Is 16 a factor of m?
False
Let t(n) = -n**2 - 8*n. Let m be t(-8). Suppose m = -0*k + 2*k - 18. Is k a multiple of 9?
True
Let i(p) = -p**3 - 3*p**2 + 4. Let v be