8 divide z(n)?
True
Let y = 11325 + -3645. Suppose -11*c = -c - y. Suppose 2*u + c = 4*b, -3*u + 960 = 5*b - 8*u. Does 16 divide b?
True
Let x = 3138 - 1944. Suppose 8*p - 22 = x. Suppose h + h - 3*c = p, 4*h + 5*c = 326. Is h a multiple of 8?
False
Suppose -15751 = -20*h + h. Let s = -444 + h. Is 20 a factor of s?
False
Suppose 0 = -4*l - 4*p + 64, p = 4*l - 4*p - 91. Suppose -l*h + 15640 = 4*h. Does 40 divide h?
True
Suppose 223696 = -221*t + 262*t. Does 22 divide t?
True
Suppose -85*m + 166*m + 46080 = 90*m. Is 40 a factor of m?
True
Let t(r) = -95*r + 5. Suppose -1 + 0 = -z, -n = z. Let p be t(n). Suppose 0 = -0*q - 4*q + p. Is 6 a factor of q?
False
Suppose -97*c + 87*c = 0. Suppose c = 8*g - 3481 - 1271. Does 33 divide g?
True
Let u be 1*108*697/51. Is (u/16)/9*(0 - -8) a multiple of 7?
False
Suppose -1086 - 6018 = 16*n. Let m = -132 - n. Is 12 a factor of m?
True
Suppose 61 + 67 = -4*w. Let i = 37 + w. Suppose 5*n = -i*o + 965, 6*o - 4*o = 3*n + 381. Is o a multiple of 16?
True
Let o = -290 + 293. Let u(t) = 37*t**2 + 11*t - 24. Does 12 divide u(o)?
False
Suppose 100 = 11*s + 45. Suppose -2*f - 177 = 2*c - 633, s*c = -15. Does 77 divide f?
True
Suppose -291*v + 22*v = 17*v - 7490340. Does 135 divide v?
True
Suppose k - 3294 - 5025 = -s, -3*k = 9. Is s a multiple of 114?
True
Suppose -4*w + 45121 = 3*t, 0 = -w + t + 5280 + 5988. Is w a multiple of 41?
True
Let r(c) = -c - 7. Let l be r(5). Let m(h) = h**3 + 11*h**2 - 13*h - 10. Let b be m(l). Suppose 0 = -0*t + t + 3*y - 2, 0 = -b*y - 10. Is t a multiple of 11?
False
Suppose 0 = 5*w - 3*z - 2042, -w = 2*w - 5*z - 1238. Does 14 divide w?
True
Let j be (-2 - 22/(-5)) + 4/(-10). Suppose 4*y = j*d + 564, -3*y + 168 = d - 250. Is y a multiple of 6?
False
Suppose 0 = -5*c + a - 0*a - 36, -10 = c - 3*a. Let o(m) = m**3 + 8*m**2 + 6*m - 2. Let b be o(c). Let x(r) = -r**3 + 6*r**2 + 3*r - 3. Is 13 a factor of x(b)?
False
Suppose 3*i - 14 - 1 = 0. Let m = i + 4. Suppose -8*z = -m*z + 94. Does 11 divide z?
False
Let u(t) be the third derivative of 7*t**6/720 - 11*t**5/30 - t**4/2 + 24*t**2. Let j(a) be the second derivative of u(a). Does 6 divide j(17)?
False
Let q(b) = b**3 - 7*b**2 - 54*b + 7. Let m be q(12). Suppose 78*u - m*u + 143 = 0. Is u a multiple of 18?
False
Suppose 44*c = 8365 - 225. Suppose -171*k + c*k = 8820. Is k a multiple of 9?
True
Let g = -31 - -34. Let i be (2/(-4))/(4*(-4)/128). Suppose -3*a + 143 = i*m, -2*m + 18 + 121 = g*a. Is 12 a factor of a?
False
Let x(l) be the third derivative of 35/24*l**6 + 1/24*l**4 + l**2 - 1/60*l**5 + 0*l**3 - 5 + 0*l. Does 14 divide x(1)?
False
Let o(l) = -27*l - 78. Let s(n) = -n**3 + 2*n**2 + 12*n + 12. Let d be s(5). Is o(d) even?
False
Suppose -1098458 = -156*r - 231*r + 3087334. Is 13 a factor of r?
True
Suppose 0 = 12*w + 105 - 141. Is 26 a factor of (-6890)/(-22) - (248/(-88) + w)?
False
Let g = 60 + -122. Let l(s) = 2*s**3 + 2*s**2 - 14*s + 6. Let v be l(4). Let x = g + v. Is x a multiple of 6?
True
Let q = 15 + -11. Let m(d) = d**3 - 9*d**2 + 21*d + 3. Let k be m(q). Suppose -k*u - 4*u + 1683 = 0. Does 17 divide u?
True
Suppose 0 = -190*u + 188*u - 766. Let b = u - -558. Is 25 a factor of b?
True
Suppose -677*w = -679*w + 10. Suppose -4*q + 2307 = 5*v, w*v - 3*q - 2200 = 86. Is v a multiple of 17?
True
Let m = 71 + -28. Suppose -w - m = -0*w. Let k = 53 + w. Does 5 divide k?
True
Let z = 15 - -45. Let g = z - 58. Suppose -y = 4*s - 114, -476 = -g*y - 2*y + 4*s. Is 14 a factor of y?
False
Suppose -4*r - 3*m + 10 = 6, 4*r - m + 12 = 0. Is 16 a factor of (-1 + -2)*r + 186?
True
Suppose 5*s - 17 = -16*j + 19*j, 18 = 5*s - 2*j. Suppose 0 = v + 4*c - 101, 5*c + 5 = s*c. Is 8 a factor of v?
False
Let y = -201 - -205. Let g = y - -25. Does 29 divide g?
True
Let y(w) = 2*w**2 + 3*w. Let c(b) = b + 3. Let l be c(-1). Suppose 0 = -3*k - 4*z + 5*z - 11, l*z = -3*k + 4. Is y(k) a multiple of 2?
True
Let c = 1247 - -6096. Does 83 divide c?
False
Let i be -3*(-3 + 2)*(1 + 0). Suppose -i*z = 7*z - 30. Suppose -8*j = 2*n - 4*j - 264, -z*n + 5*j = -440. Is 35 a factor of n?
True
Let d(q) = -q + 7. Let i be 1 + 2/2 - -1. Let m be d(i). Does 4 divide 6/8 + (85/m - 2)?
True
Suppose u - 3*d - 2*d - 799 = 0, 3*d = -4*u + 3311. Suppose 0 = 2*x - m - u + 69, 3*m - 759 = -2*x. Suppose 3*y = 3*k - x, k = 2*y - 54 + 178. Does 8 divide k?
True
Let w(i) = -77*i**2 + 46*i + 10. Let f be w(5). Let t = -893 - f. Is t a multiple of 22?
True
Let o be ((-112)/20 - -6) + 292/20. Suppose o*q = 16*q - 127. Does 4 divide q?
False
Suppose 0 = 55*k - 43*k - 660. Suppose 4*i + 3*o - 206 = -k, -i - 5*o + 42 = 0. Is i a multiple of 3?
False
Let g(z) = -10*z**2 + 131 + 9*z**2 + 6*z - 5*z. Let w be g(0). Suppose -5*y + 3*u = -w, 5*y + 4*u = -u + 155. Is y a multiple of 6?
False
Let q = -1069 + 689. Is 2*(q/(-9) + (-52)/234) a multiple of 5?
False
Suppose 185 - 197 = -6*m. Suppose 3*b - m*w = 1248, -3*b + 2*w = 7*w - 1248. Is b a multiple of 26?
True
Let m = 46045 + -35386. Is m a multiple of 19?
True
Suppose -4*a = -3*d - 9284 - 34020, -a + 10788 = 4*d. Does 94 divide a?
False
Suppose 3*o - 64 = -o. Suppose -5*f + o = -5*d - 9, 3*f = 5*d + 11. Let i(j) = 6*j**2 - 7*j + 1. Does 31 divide i(f)?
False
Let b(f) = 2*f - 3. Let x be b(-4). Let p = 211 + -216. Is (4 + p)*(1 + x) a multiple of 10?
True
Suppose -4*j + r + 2500 + 79680 = 0, 0 = 5*r + 20. Is 96 a factor of j?
True
Suppose 0 = 34*w - 133433 - 57307. Does 33 divide w?
True
Suppose -4*h - 832 - 864 = -5*l, 0 = -4*l - 5*h + 1365. Does 28 divide l + (2 - 9) + 3?
True
Suppose -s - 4259 = -3*u, 3*u + 1230 - 5509 = -4*s. Is u a multiple of 16?
False
Let m = 17276 - 14801. Is m a multiple of 11?
True
Suppose 460 + 2219 = -42*d + 327. Suppose 2*o + 278 = -4*z, 5*z - 2*z + 198 = -5*o. Let x = d - z. Does 5 divide x?
True
Suppose -98*i - 18432 = -110*i. Is 16 a factor of i?
True
Let t = -2928 - -3506. Does 6 divide t?
False
Let b(w) = 78 - w**3 + 35*w**2 - 4*w**2 + 46*w - 15*w. Is 5 a factor of b(32)?
False
Let h = 3279 - -529. Is 56 a factor of h?
True
Let w(o) = -2*o**3 - 4*o**2 - 4*o - 10. Let v be w(-3). Suppose 2*z - 7*z + v = 0. Suppose 5*c - 4*d - 50 = 0, z*c - 3*d - 51 = -2*d. Is c a multiple of 3?
False
Suppose 0 = -3*d + 5*f + 7931 + 3711, 2*f = d - 3880. Is 15 a factor of d?
False
Suppose -5*p + 5*s + 10440 = 0, 5*p + s - 2*s = 10424. Suppose 4*f - 2060 = -2*r + 5*r, 4*f + 3*r = p. Is 37 a factor of f?
True
Let b(z) = z**2 - 5*z - 35. Suppose 5*u = 8*u - 288. Suppose -2*t - u = 10*t. Does 3 divide b(t)?
True
Does 26 divide ((-6)/8)/(299/(-5537480))?
False
Let b = -23430 - -47196. Is 34 a factor of b?
True
Let r = -8437 + 36817. Does 11 divide r?
True
Let t(f) = -2*f**3 - 78*f**2 - 153*f - 28. Does 19 divide t(-42)?
False
Suppose -2*j - f + 1266 = 0, 0 = -36*j + 39*j + 5*f - 1892. Is j a multiple of 95?
False
Let p(w) = w**2 + 7*w - 30. Let q be p(-10). Let z(m) = m**2 + m + 154. Let y be z(q). Suppose y = 13*j - 470. Does 12 divide j?
True
Let n = 868 - 194. Suppose 5*x - n = 306. Is 14 a factor of x?
True
Suppose -44*m + 6*m + 210444 = 0. Is 14 a factor of m?
False
Suppose 0 = -w + 13 - 9. Let a(m) = m**3 + 3*m**2 - 4*m + 3. Let y be a(-4). Suppose -164 = -3*u + w*q, y*q + 0 = 3. Does 8 divide u?
True
Suppose -2*j - 2 = -168. Let k = j + -17. Suppose 5*p = 4*p + k. Is 11 a factor of p?
True
Let y(d) = -d**3 - 7*d**2 + 7*d - 11. Let o be y(-8). Let h(g) be the third derivative of -g**6/24 - g**5/20 - g**4/6 + g**3/3 - 32*g**2. Does 20 divide h(o)?
False
Let z = -124 - -122. Is 11 a factor of (2071/(-1) + z)/(231/(-77))?
False
Let b be (-56)/84 - 17/(-3). Suppose i + b*a - 575 = 0, 5*i - 2294 - 477 = a. Is i a multiple of 15?
True
Suppose 0*m - m + 816 = 0. Suppose -11*w + m = -1868. Let p = w + -98. Is p a multiple of 26?
False
Let y be 1/(((-1)/3)/(10/(-6))). Suppose -d = -7 + y. Suppose -4*x + 300 = 4*o, -d*x + 76 = 4*o - 3*o. Is o a multiple of 18?
False
Suppose -h + 31 - 34 = 0. Let u be 3757/((3/9)/(h - -2)). Is 2 - 24/14 - u/119 a multiple of 19?
True
Let w = -1 + -14. Let r be 1300/12 + 5/w. Let a = -58 + r. Is a a multiple of 10?
True
Suppose 54145 = 5*u + 5*z, -54380 = -4*u + 4*z - 11104. Is u a multiple of 43?
False
Let h(o) = 2*o + 49. Let c be h(-26). Let y be 3 - 6/c - 0. Suppose 5*z - y = 0, 4*r - 18 - 68 = 2