- x + 344 = -3*x. Let o be (v/(-12))/(16/(-6) - -3). Let i = o - -82. Is 8 a factor of i?
True
Does 99 divide 27/5*547000/300?
False
Let u be (13 + -8)/(-2 - -1). Let n(r) = r**3 + 4*r**2 - 7*r - 4. Let d be n(u). Is d/(-9) - (11740/12)/(-5) a multiple of 39?
True
Suppose 348724 + 58518 = 22*p. Does 5 divide p?
False
Let l = -7194 - -9754. Is l a multiple of 32?
True
Suppose h = q - 3*h - 49, -3*q + 83 = 4*h. Suppose -3*f + 5*x + q = 0, 4*f + 3*x - 73 = -0*f. Suppose -15*n - 126 = -f*n. Does 14 divide n?
True
Let z(m) = -m**3 + 51*m**2 - 61*m - 4. Is 25 a factor of z(25)?
False
Suppose 6*m = 11*m - 1870. Suppose 59*v = 57*v + m. Is 17 a factor of v?
True
Suppose 4*z - 2005 = 3367. Suppose 4*t - 3*d - z = 0, 11*t - 10*t + 4*d = 350. Is t a multiple of 8?
False
Let r(z) = -z + 40. Let d be r(7). Suppose -32*q + d*q - 3*a = 894, 0 = 4*q + a - 3589. Does 18 divide q?
False
Suppose -3*v + 703 = 2*r - 2386, 3*r = 5*v - 5123. Is v a multiple of 8?
False
Suppose 0 = -11*l - 9550 - 4211. Let h = -601 - l. Is h a multiple of 65?
True
Suppose 2*r = -4*b - r + 5, 15 = -2*b - 5*r. Suppose -q - b*q = -6. Does 17 divide 9/(q - (-36)/(-38))?
False
Let d = 20 + -3. Let o(z) be the third derivative of z**6/120 - 3*z**5/10 + 31*z**4/24 + 11*z**3/3 + 76*z**2. Is 20 a factor of o(d)?
True
Let q = -13 - -34. Let i = 125 + q. Suppose 2*j + i = -s + 528, 5*s = -10. Is j a multiple of 24?
True
Is 148 a factor of (602/3 - 16/24)*148/8?
True
Let v(h) = -h**3 + 15*h**2 - 3*h - 2. Let k = -426 - -434. Does 6 divide v(k)?
False
Suppose 4*t - 436 + 404 = 0. Does 72 divide (t/(-6))/(6/(-1944))?
True
Let v = -1610 - -29001. Does 13 divide v?
True
Let b = 22 + -22. Suppose b = 3*v - 40 - 158. Suppose g = 2*s + 49, 0 = -5*g + 5*s + v + 154. Is 8 a factor of g?
False
Let j = -62 - -76. Let r be 4/(-14) - (1004/j + 4). Let b = r + 269. Is 50 a factor of b?
False
Is 156*((2 - 5610/(-40)) + 9) a multiple of 165?
True
Let q(z) = -3*z**2 + 3*z + 13. Let u be q(6). Let x = u + 87. Is 6 a factor of x?
False
Suppose 1953 = 24*w - 15*w. Let f = 63 + w. Is 40 a factor of f?
True
Let c(j) = j**3 - 19*j**2 - 20*j - 47. Let b be c(21). Let a = -316 + b. Is a a multiple of 4?
False
Let j(n) = 7*n**2 + 27*n + 74. Let a be (16/(-28))/((-9)/(-63)). Does 2 divide j(a)?
True
Suppose 5 = 5*v, 2*v = d - 3*d + 122. Suppose d*c - 1005 = 55*c. Is 21 a factor of c?
False
Suppose 2675469 + 1149948 = 237*n. Does 15 divide n?
False
Suppose -2*c + 15316 = h, 22314 = 3*c - 2*h - 674. Does 16 divide c?
False
Suppose 4*w + 1601 = x + 281, 0 = -4*w - 8. Does 101 divide x?
False
Let u be (126900/70)/(-9)*(-6 + -1). Suppose 15*l = 2160 + u. Is 8 a factor of l?
False
Let x = -74 + 5. Is 5 a factor of (0 - (1 - 1)) + (-8004)/x?
False
Suppose 0 = -42*o + 36*o - t + 167619, 0 = 2*t - 6. Does 18 divide o?
True
Is 93 a factor of 628 - (-22)/(66/9)?
False
Let m = 3346 + -139. Suppose -7*l + 4*l + m = 3*y, 1073 = l - y. Does 12 divide l?
False
Suppose -k - 1 = -u, -u + 0 = 3*k + 3. Suppose u = -11*h - 4*h + 1815. Is 40 a factor of h?
False
Let d(w) = -322*w - 8906. Is 10 a factor of d(-48)?
True
Suppose f = -d + 6*d - 17221, -4*d + 13778 = -2*f. Is d a multiple of 19?
False
Let s = 89 + -87. Suppose 5*x - s*m + 4734 = 0, -4*x = -3*x + 2*m + 954. Is 5 a factor of (2/8)/((-3)/x)?
False
Let g be (6 - 3) + (1 - 2/1). Let z(w) = 16*w**3 + 5*w**2 - 4*w - 2. Is z(g) a multiple of 15?
False
Suppose -68*g + 229*g - 3418581 = 363148. Is g a multiple of 35?
False
Let u(j) be the second derivative of j**4/12 - 5*j**3/2 + 19*j**2 - 28*j. Does 46 divide u(20)?
True
Let l = 30403 - -1097. Is l a multiple of 25?
True
Let p(k) be the first derivative of 14*k**3 + 4*k**2 + 6*k - 38. Does 8 divide p(-1)?
True
Let r(g) = 15932*g - 2985. Does 321 divide r(2)?
False
Let f(c) be the third derivative of -7*c**4/24 - 11*c**3 - 4*c**2 + 1. Is f(-17) a multiple of 53?
True
Let z = -4 - -6. Suppose -3*r = 10 - 1, 4*r + 107 = 5*q. Suppose -p + q = z. Is p a multiple of 3?
False
Suppose 6*s - 48 = -10*s. Is s/(15/1660) + -8 a multiple of 3?
True
Let b = -3288 - -4722. Is 6 a factor of b?
True
Let z(w) = -6 + 21*w - 1868*w**2 + 1859*w**2 + 2*w**3 + 2. Does 4 divide z(4)?
True
Let s(k) = 8509*k + 1069. Is s(3) a multiple of 61?
True
Suppose -2*z - 3 = -3*t + 1, 2*t + 5*z + 10 = 0. Suppose t = 3*d - 6 - 12. Suppose 16*q = d*q + 400. Is q a multiple of 8?
True
Let a(k) = -164*k**3 + k**2 + 4*k - 1. Let i(w) = -w**3 + w**2 + w - 1. Let m(u) = a(u) - 2*i(u). Let g be 1*((3 - -4) + -7) + -1. Is m(g) a multiple of 8?
True
Let q be (2920/(-26))/2 - (-2)/13. Let r = q + 34. Is 37 a factor of r/121 + 1333/11?
False
Is 8 a factor of (7*-4)/(-1)*(-242 - -244)?
True
Suppose 11*d - 56 = -12. Let t = 7 + -7. Suppose -3*k + t*p + 116 = d*p, p + 123 = 4*k. Does 16 divide k?
True
Let h(x) = -x + 6. Let z be h(3). Suppose -1200 = -3*f - 3*o, 2*o - 780 = -2*f + 4*o. Is z + 0/(-2) - f/(-5) a multiple of 37?
False
Suppose 41*d - 15912 = -10*d. Does 52 divide d?
True
Is 5 a factor of (3096/56)/((-20)/(-35))*60?
True
Suppose -5 = 10*p + 5. Let a = 45 - p. Does 46 divide a?
True
Let q = -9894 - -26950. Is q a multiple of 52?
True
Suppose -3*g + 3*w = -1947, 6*g - 1943 = 3*g + w. Let t = g - 177. Is 10 a factor of t?
True
Let g = 833 + -1199. Let x = -243 - g. Is x a multiple of 75?
False
Let c = 61 + -60. Suppose f + 2*v + 3 = 0, 0*v - c = -v. Let r = 81 - f. Is 19 a factor of r?
False
Does 63 divide -2 + (-110)/(-88) + 30347/4?
False
Let t(l) = -13*l**2 - 5*l**2 + 22*l + l**3 + 5*l**2 - 4 + 3*l**2. Let r be t(7). Suppose r*y = -2*k + 49, 2*y - y = k + 18. Does 17 divide y?
True
Let y = 15 + -20. Does 12 divide y/20*2 + (-974)/(-4)?
False
Let i = -2322 - -3330. Is 63 a factor of i?
True
Suppose 20 = 136*v - 134*v. Let g(c) = c**3 - 13*c**2 + 48*c - 20. Is g(v) a multiple of 14?
False
Let h(k) = 3*k**3 - 36*k**2 + 209*k - 19. Is h(17) a multiple of 61?
True
Let w = -62 + 65. Suppose -w*d = 17 - 59. Suppose d*m = 9*m + 450. Is 19 a factor of m?
False
Let k be -8 + 369/45 + 4/5. Does 16 divide (((-896)/35)/8)/(k/(-50))?
True
Let y(l) = -464*l**3 - 3*l - 3. Let x be y(-1). Suppose -5*t = 4*o - 2314, -o + 3*o = -t + x. Is t a multiple of 11?
True
Is (14548/(-12))/((70/(-195))/14) a multiple of 95?
False
Let l = 29070 + -17352. Does 21 divide l?
True
Suppose 0 = o + 4*o. Let c be (960/(-256))/((-6)/8). Suppose o = c*d - 77 + 17. Is d a multiple of 2?
True
Let x(v) = 131*v - 959. Does 3 divide x(9)?
False
Suppose 37452 + 22722 = 2*n + 7434. Is n a multiple of 15?
True
Let n(z) = z**3 + 2*z**2 - 29*z + 2041. Does 25 divide n(0)?
False
Let h(n) = -n**3 - n + 1. Let j be h(2). Let s(f) = 105*f + 208. Let d be s(-2). Is 25 a factor of 24*(j/d - 1)?
False
Let b(l) = -7*l**2 + 10 - 1 + 0 - 4*l - 20. Let f be b(5). Let g = f + 391. Is 35 a factor of g?
False
Let f = -2653 - -12346. Does 27 divide f?
True
Let p(c) = c**2 + 21*c - 24. Suppose -53*x = -50*x + 66. Let n be p(x). Does 25 divide 5/n*(-292)/10?
False
Let t(i) = i**3 - 13*i**2 + 18*i + 2. Let s(b) = -38*b - 62. Let m be s(-2). Does 10 divide t(m)?
True
Suppose -2127 = -4*t + 6079 + 1954. Is 238 a factor of t?
False
Let l = 65 + -62. Suppose l*x = -2 - 16. Let a(g) = -9*g - 21. Does 11 divide a(x)?
True
Let c(z) = -41*z**2 + 39*z + 56. Let p(w) = -14*w**2 + 13*w + 19. Let o(g) = -6*c(g) + 17*p(g). Let j be o(-5). Suppose 41*r = 45*r - j. Is r a multiple of 9?
True
Let g = 6 + -9. Let t be 8/2 + (-2 - g*26). Suppose 0 = 3*r + 4*d - 339, -2*r + 306 - t = -5*d. Does 17 divide r?
False
Let b be 10/(-5)*(981 + 5). Let h = -593 - b. Is h a multiple of 67?
False
Suppose -5*o + 12950 = 30*o. Let c = o + -251. Is 7 a factor of c?
True
Suppose 0 = 3*i - 2*f - 66 + 2, -3*f + 57 = 4*i. Suppose 2*x - 4 = 4*l + 8, -3*x = -5*l - i. Is 25 a factor of 1384/x + (-10)/15?
False
Let v(p) = 301*p**2 - 3*p - 5. Let b(f) = -151*f**2 + 2*f + 3. Let h(u) = 7*b(u) + 4*v(u). Let z be h(-2). Suppose 0 = 9*m - 18*m + z. Is m a multiple of 13?
True
Suppose -32*u - 23965 = -3*b - 36*u, -3*u = 15. Does 39 divide b?
True
Suppose -414 = -16*m - 158. Is 68 a factor of 24/m*(-2392)/(-6)?
False
Let v(g) = g**2 - 4*g + 572. Let o be v(0). Let d = 857 - o. Is d a multiple of 31?
False
Suppose 0*k = k - 27060. Is (-4)/6 - k/(-90) a multiple of 10?
True
Let t = -41 +