ive of p**5/10 + 31*p**4/12 - 5*p**3/3 - 11*p**2/2 - 19*p - 1. Does 13 divide a(-15)?
True
Suppose -38*s = -35*s - 6, -3*v = 4*s - 5900. Is 5 a factor of v?
False
Suppose -3*v - 3*g + 1167 = -12783, 0 = 2*v + g - 9306. Is 8 a factor of v?
True
Let d = -352 - -347. Is (135 - 6) + (1 - d) a multiple of 27?
True
Let o be (-3 - -4)/((35/20)/7). Let c be (-1)/1 - (-9 + 0). Is 19 a factor of (-26)/((-36)/c + o)?
False
Suppose 0 + 532 = -5*z + 4*q, 0 = 5*q + 10. Is 4 a factor of (-116)/(-87)*z/(-2)?
True
Suppose 0 = 1779*w - 890*w - 894*w - 40. Suppose 156 = 6*g - 2*g. Does 10 divide g/2 - w/(-16)?
False
Suppose -19*d + 61*d + 9908 = 51656. Is d a multiple of 14?
True
Let u = -549 + 604. Does 29 divide ((-4060)/25)/((-11)/u)?
True
Let c(p) = -6*p**2 - 8*p - 5. Let d be c(-15). Let m = 1944 + d. Suppose -5*y + 131 + m = 0. Is y a multiple of 14?
True
Suppose -52*i = -47*i + 20. Let n be i/((-8)/(-6)) + -413. Let u = -248 - n. Is 20 a factor of u?
False
Let u be (-11)/9 - (188/(-36) + 5). Let q be 0/u*(-2)/8 + 13. Let n = 34 + q. Does 14 divide n?
False
Suppose -6*o + 19*o = 1391. Suppose -5*j = -13 - o. Does 22 divide j?
False
Suppose 4*g = -5*p + 22, -8*p = -11*p - 4*g + 18. Suppose -y = 2*x - 129, -p*y - 121 = -3*y + 2*x. Is 5 a factor of y?
True
Let u = -2048 - -2412. Is 13 a factor of u?
True
Suppose 0*m - 15*m = 15*m - 8130. Is m a multiple of 7?
False
Let p(w) = 10*w - 30. Let h = -8 + 30. Suppose -2*v + h = 4. Is 12 a factor of p(v)?
True
Let f = 110 + -110. Suppose 3*k = 7*o - 4*o - 1503, 5*k + 10 = f. Does 25 divide o?
False
Suppose 0*k = -5*k - 5. Let z be -1 + (k - -2) + 5. Is 23 a factor of (28/z)/((-1)/15*-2)?
False
Suppose -3*p + 2*x = p - 3158, -2*p = -2*x - 1584. Let f = p + -119. Is 26 a factor of f?
False
Suppose -362 = -5*i + 93. Suppose 2232 = -i*k + 95*k. Is k a multiple of 9?
True
Suppose 2*m = -4, -c - 2*m + 11 = 13. Let v(o) = 4*o + 54*o - 5 + 1 + 44*o. Does 20 divide v(c)?
True
Let d(j) = -2*j**3 - 13*j**2 + 10*j + 6. Let l(t) = 3*t**3 + 20*t**2 - 15*t - 9. Let c = -15 + 7. Let s(r) = c*d(r) - 5*l(r). Is s(-4) a multiple of 13?
False
Let c = -136 + 139. Is 12 a factor of 528*(c + (-30)/12)?
True
Suppose 4*w - 2*q - 112910 = 0, 80964 = 3*w + 4*q - 3724. Is 110 a factor of w?
False
Let l(k) = -k**3 - 40*k**2 - 40*k - 129. Is l(-41) a multiple of 21?
True
Suppose 0 = -3*s + 52 - 22. Is s/8 + 3105/12 a multiple of 5?
True
Let j = 795 + -792. Suppose 19*v + j*p = 22*v - 1764, -5*p + 1764 = 3*v. Is 51 a factor of v?
False
Let w be (-37 - -36)*75/(-1). Suppose -5*q - 4*o + 331 = -0*o, w = q + 3*o. Does 9 divide q?
True
Suppose 5*b = -2*v - 1267, 3*v = -v + 4*b - 2464. Is 4 a factor of (v/92)/(2/(-8))?
False
Let u(r) = -r**2 + 3*r + 23. Let h be u(7). Is -2 + (-9 - h)*-61 a multiple of 11?
True
Let c(q) = 5*q**2 + 20*q - 38. Let t be c(2). Suppose 0 = 3*m - 49 + t. Is 2 a factor of m?
False
Let j = -26920 - -31880. Is j a multiple of 32?
True
Let i = -34918 - -35258. Does 32 divide i?
False
Suppose 2*h + 4*w = -12, -h + 4*w = -6*h. Let n(s) = 11*s**3 + 6*s**2 - 2*s + 6. Is n(h) a multiple of 14?
True
Let n = 1703 + -902. Suppose -79 = 19*i - n. Is 21 a factor of i?
False
Let p = -75 - -303. Suppose -p - 370 = -23*v. Does 26 divide v?
True
Suppose 127*d = 24278 + 182732. Is 12 a factor of d?
False
Let j = 3858 - 2818. Is j a multiple of 13?
True
Suppose 9 = -0*y - 3*y, -5*y = -5*q + 480. Suppose -6*v - 187 = -37. Let p = v + q. Does 34 divide p?
True
Suppose 3*i = -5*l - i + 4, 2*l - 5*i = 28. Suppose -5*u + 0*u = -l*k - 22, 5*u + 4*k = -2. Suppose -h + 26 = -4*x, 4*h + 5*x = -u + 1. Is h a multiple of 6?
True
Let i(p) = -67*p - 35. Suppose 7*d + 29 + 13 = 0. Is 14 a factor of i(d)?
False
Suppose -48*g + 44*g - 16 = 0, -2*g = -n + 1081. Does 14 divide n?
False
Let r be 0/(-2) - 574/(-8 - -1). Suppose r*n = 86*n - 812. Suppose 0 = 4*q + 55 - n. Is 14 a factor of q?
False
Suppose -5*i = 0, -5*n = -i + 2*i - 15. Suppose -2*x = n*p - 304, 4*p - 3*x = -2*x + 398. Is p a multiple of 12?
False
Suppose 3*q + 99 = -15. Let t = q - -253. Does 21 divide t?
False
Let k(j) = -j**3 + 4*j**2 - 3*j + 16. Let f be k(4). Suppose 20 = -4*z - 3*w + 524, 5*z = f*w + 599. Is 17 a factor of z?
False
Let o(w) = 35*w**2 - 147*w + 1323. Does 9 divide o(9)?
True
Let z(i) = -45*i**2 - i + 2. Let r = -115 - -109. Let b be z(r). Is (-10)/50 + (-3)/(30/b) a multiple of 23?
True
Let b(l) = l**3 + 7*l**2 - 4*l + 32. Let u be b(-8). Suppose -7602 = -7*a - u*a. Is a a multiple of 9?
False
Let p(i) be the second derivative of i**5/10 + i**4/12 - i**3/3 + 13*i**2/2 - i - 12. Does 25 divide p(4)?
False
Let o(x) = 3 - 7 + 7*x + 8*x**2 + 0*x**3 + 0*x**3 - x**3. Let f be o(6). Is (-10 - -11)/(2/f) a multiple of 9?
False
Let c be (2781/54)/((-2)/12). Let s = 750 + c. Is 32 a factor of s?
False
Let y = 1203 + -2106. Let s = y + 1561. Does 14 divide s?
True
Suppose -3*d = -4*d + 77*d - 412376. Does 21 divide d?
False
Let u(m) = -19880*m**3 - 2*m**2 - 88*m - 86. Is u(-1) a multiple of 56?
True
Does 43 divide ((-1032)/(-32))/(177/5900)?
True
Let d(s) = -11*s - 46. Let p = 37 - 49. Is d(p) a multiple of 13?
False
Let z(k) = 34*k**2 + 11*k + 37. Let a(g) = -36*g**2 - 11*g - 38. Let v(o) = 2*a(o) + 3*z(o). Is 20 a factor of v(-4)?
False
Let m = -975 + 1711. Suppose -7*r + 650 = -m. Is r a multiple of 11?
True
Suppose 0 = -2*n - 2*f + 18, -2*f + 26 = -3*n + 7*n. Is 3 a factor of (-8)/((-40)/(-15)) + n + 11?
True
Suppose -5*p = 3*z - 46218, 14*p - 5*p + 3*z - 83190 = 0. Is 237 a factor of p?
True
Suppose -6254 + 32573 + 31936 = 61*m. Is 31 a factor of m?
False
Let r(c) = 114*c + 98. Let b be r(23). Suppose -3256 - b = -12*v. Is v a multiple of 52?
False
Let x(z) = 149*z - 1183. Does 9 divide x(8)?
True
Suppose -2*c + 408375 = 123*c. Is c a multiple of 9?
True
Suppose 0*z - 5*z = -30. Let c = 1659 - 1655. Suppose -3*h = -c*h + z. Does 6 divide h?
True
Is (-5)/(-2)*(-26 - (-257768)/140) - 8 a multiple of 5?
True
Suppose -q + 14 = 11. Suppose 2*p = -q*v + 1027 - 272, 0 = -2*v + 4*p + 514. Is 10 a factor of v?
False
Let k = -2720 - -3740. Is 34 a factor of k?
True
Suppose -v - 5*p + 2602 + 8595 = 0, 22409 = 2*v - 5*p. Does 35 divide v?
False
Let l(t) = 4*t + 7*t**2 + t**2 - 12 - 2*t**2 - t**3 + 0*t**2. Does 3 divide l(4)?
True
Let t = 179 + -174. Is 13 a factor of (-2 - -1)/(t*(-4)/4420)?
True
Let p(y) = -99*y**2 + 12*y + 20. Let w be p(-2). Let b be ((-7)/(-14))/((-1)/558). Let a = b - w. Does 18 divide a?
False
Let o(w) = w**2 + 134*w - 5460. Does 12 divide o(96)?
True
Let i(h) = -5*h + 157. Let f = -261 - -254. Is 16 a factor of i(f)?
True
Let h be 5/40*8*2. Suppose -h*d - 3*d - 2*g + 520 = 0, 2*d + 4*g - 208 = 0. Is d a multiple of 8?
True
Suppose 0 = -41*g - 0*g - 205. Does 24 divide (-5 - g - -281) + 0?
False
Let r = 113 - 113. Suppose -7*f - 5 - 9 = r. Is 7 a factor of 18/(-4)*(f - 4)?
False
Let h(g) = -3*g - 46. Let j be h(-23). Let x = j - 18. Is (x - 0)*2*(-3 - -8) a multiple of 25?
True
Let r = 11697 - -453. Is r a multiple of 147?
False
Let a be 51420/210 + 45/21 + -2. Let h = 488 - a. Does 27 divide h?
True
Let f = 114 - 36. Is 38 a factor of f?
False
Let g(b) be the first derivative of b**3 - b**2/2 + 33*b - 123. Does 35 divide g(-9)?
False
Let u = 15580 - 8513. Is u a multiple of 12?
False
Let u(i) = -4 - i + 4*i**2 - 2*i**3 - 3*i**3 + 1 + 0. Let t be u(4). Let d = t - -397. Does 21 divide d?
False
Let v(t) = t - 6. Let s(x) = 72*x - 3. Let m(p) = -s(p) - 5*v(p). Is m(-8) a multiple of 59?
True
Let h(y) = -90*y**3 + 30*y**2 + 112*y - 11. Is h(-7) a multiple of 15?
True
Suppose 2*x - 3331 = d - 686, -1310 = -x + 3*d. Does 25 divide x?
True
Let o(b) = 15 + 27*b - 24*b + 20 - 10. Let x be o(-10). Is -2 - (-78 + 0/x) a multiple of 10?
False
Let v(c) = -c**3 + 39*c**2 + 70*c + 76. Is 12 a factor of v(26)?
False
Let d = 3173 - 2688. Does 5 divide d?
True
Let t be ((-8)/2)/(-1)*(-27)/(-36). Suppose -v + 1 = -d + 3, -v - t*d = 2. Is (1/v*4)/(1/(-8)) a multiple of 12?
False
Let l(x) = -1857*x + 106. Is 33 a factor of l(-1)?
False
Suppose 0 = 6*y + 12 - 30. Is 4 a factor of 6/((-36)/y) - 57/(-2)?
True
Suppose 4318 = 14*u - 2*v, u + 3*v - 210 = 89. Is 10 a factor of u?
False
Suppose -70776 = -5*a + 3*q, -5*q - 118407 + 5165 = -8*a. Is a a multiple of 10?
False
Suppose -52*a + 7*a 