, -3*h + 13*t + 57158 = 15*t. Does 39 divide h?
False
Let t(k) be the second derivative of 5*k**4/4 - k**3/6 - k**2/2 - k. Let r = -5870 - -5868. Is 7 a factor of t(r)?
False
Is 16 a factor of 13842/((-1269)/144 - -9)?
True
Suppose 2*k - 14*c - 5607 = -19*c, 5*k = -2*c + 14007. Is k a multiple of 13?
False
Let i(c) = -2*c**2 + 9*c - 4. Suppose 4*s - 16 = z, 4*z - z + 2*s - 22 = 0. Let f be i(z). Suppose 3*h - 116 = -2*w + 6*w, f = w + 5. Is 32 a factor of h?
True
Suppose 5*u - 10 = 40. Let o(f) = -12*f**3 + 2*f**2 - 5*f + 3. Let r be o(1). Let w = u - r. Does 22 divide w?
True
Let g = -61 - -66. Let l(z) = 19*z**2 - 9*z + 12. Let j be l(g). Let v = j - 307. Does 27 divide v?
True
Let s(w) = -w**3 + 180*w - 361*w + 179*w + 50. Is 25 a factor of s(0)?
True
Let g = -106 - -160. Suppose s - 5*l - g = 38, 3*s = -l + 340. Is s a multiple of 7?
True
Suppose -6*h - 99 = -3*h + p, 5*h = 3*p - 151. Let w = h + 32. Suppose -4*o + 134 = 3*g, 6*g - g + 3*o - 216 = w. Does 14 divide g?
True
Suppose -2*t + 18 = 4*t. Suppose -5*w - 3*h + 20 = 2*h, -w = t*h - 14. Does 19 divide 2/(w/1)*-56?
False
Suppose 85*j = 561786 + 529359. Does 15 divide j?
False
Is (-1 - (-12)/(-18)*(-9585)/3)/1 a multiple of 45?
False
Let f be -2 + -18 - ((-2)/2)/(-1). Is -5 + 3/(f/(-574)) even?
False
Suppose 4*f = 4*y - 32, 5*y = 4*f + 34 + 1. Suppose 36*v = 3274 + 3206. Suppose 2*m + 4*n - v = 0, y*m = 5*m + 2*n - 180. Is m a multiple of 17?
False
Let k(d) = 6*d**3 + d**2 - 3*d + 3. Let f be k(1). Suppose -215 = f*p - 12*p. Is p a multiple of 3?
False
Suppose 3*j - 26016 = v, 3*j - 3*v - 1332 = 24696. Is j a multiple of 34?
True
Suppose 4*m + 3*f = 22496, 4*m + 7*f - 6*f = 22480. Is 4 a factor of m?
False
Let g = 9035 - 5061. Is 25 a factor of g?
False
Suppose 36 = -9*m, 5*m = -3*l + 102154 + 28281. Does 27 divide l?
False
Suppose 24 = i + 5*n, 3*i - 20 + 0 = -2*n. Suppose 0 = j - i*j. Suppose j = 7*q - 14*q + 462. Does 6 divide q?
True
Let m = -3305 + 4172. Is 8 a factor of m?
False
Let p be 1 + 104/12*45. Suppose 3*b - p = f, -3*b - 6*f + 9*f + 381 = 0. Does 6 divide b?
True
Let j = 12443 + -8155. Does 8 divide j?
True
Suppose -p + 397 = 405, -5*p + 7031 = 3*m. Is 18 a factor of m?
False
Suppose -2*b - 112 + 92 = 0. Let q(w) = w**3 + 12*w**2 + 18*w + 8. Is 14 a factor of q(b)?
True
Suppose -4*t - r = -113034 - 43399, -4*r - 117301 = -3*t. Is t a multiple of 37?
False
Let w(k) = -60*k - 357. Let y be w(-6). Let t(v) = 90*v**2 + 9*v - 20. Is t(y) a multiple of 16?
False
Let d be ((-8)/(-5))/((-5)/(75/(-6))). Is d/(-6)*-7*54 a multiple of 63?
True
Let h(n) = 15*n - 10. Let w be ((-6)/9 + 0)*6. Let g be h(w). Let j = -28 - g. Is 7 a factor of j?
True
Let o = -841 - -1456. Suppose 2*t - 5*r = 277, -5*t - r + o = 2*r. Does 6 divide t?
True
Suppose 0*j + j - 13 = -5*c, 0 = -c - 2*j + 8. Let u = -526 + 1140. Suppose c*y = -134 + u. Is y a multiple of 48?
True
Suppose 0 = 240*z - 242*z + 10. Suppose -s - z*l = -114, 35*l = s + 33*l - 93. Does 58 divide s?
False
Let q = 10172 + -4412. Is 30 a factor of q?
True
Let d(u) = 11 - 5 + u + 33. Let n be d(-15). Is 25 a factor of n/(-36)*1254/(-4)?
False
Suppose 3*u - 12*n - 18585 = -14*n, 2*n = 0. Does 176 divide u?
False
Let t(d) = 13*d**2 + 105*d - 4356. Does 397 divide t(40)?
True
Suppose 10*n + 4403 = 3*n. Let f = -361 - n. Let t = 389 - f. Does 11 divide t?
True
Suppose -5*o - 214 = 5*x + 341, -4*o = 3*x + 334. Let g be (2/(-2))/(10/x). Let t = g + 32. Does 9 divide t?
False
Let r = 8 + -7. Suppose 2*o = -r + 7. Suppose -2*i = -o*i + 18. Is i a multiple of 9?
True
Let z = -109 + 258. Let f = z + 28. Is 41 a factor of f?
False
Suppose -22*m = 3*f - 20*m - 9588, 4*f - 5*m = 12807. Does 19 divide f?
False
Let p(q) = q**3 - 12*q**2 - 13*q + 2. Let k be p(13). Suppose -4*h = -8, 3*h + 2448 = k*i + 4*h. Suppose -9*c + 541 = -i. Is c a multiple of 28?
True
Suppose -3*r + 2*f = -11, -5*r = -r + 5*f - 53. Let i be -5 - (586/((-5)/(-5)))/(-2). Suppose 3*o + i = r*o. Does 3 divide o?
True
Let n(z) = 6 + 3022*z - 6084*z + 3018*z. Let s be 4/2*5/(-2). Is n(s) a multiple of 22?
False
Let j(x) = 3*x**2 + 3*x - 274. Does 29 divide j(-21)?
True
Suppose 32 = -112*w + 116*w. Is 12*w/(-32)*-410 a multiple of 10?
True
Suppose 16*p = -23*p + 300772 + 23591. Is p a multiple of 11?
False
Is (-4*(-2 + 1))/((-28)/(-9198)) a multiple of 18?
True
Is (53 + 3950)/(1/1) a multiple of 14?
False
Let v = 100 + -83. Suppose 1333 + v = 3*w + 3*m, -2*w = m - 898. Is 32 a factor of w?
True
Let c(o) = -o**3 - 12*o**2 + 31*o - 179. Does 73 divide c(-22)?
False
Is 22 a factor of 1/(((-45)/4050)/((-1100)/6))?
True
Suppose -2*j = 4*g + 2 + 10, -5*g - 30 = -5*j. Suppose 0 = j*b + 2*b + 36. Is 21 a factor of 1/b*3*-492 + 4?
True
Let r = -628 - -469. Let s = r + 183. Does 15 divide s?
False
Suppose -q - 4*r = 5, -12*r + 10*r + 22 = 4*q. Let d(f) = 2*f**3 - 5*f**2 + 21*f + 17. Is 11 a factor of d(q)?
True
Let w(k) = 233*k - 1146. Does 16 divide w(10)?
True
Let i(b) = 2*b**2 - 22*b - 22. Suppose -9*q + 60 = -5*q. Let z be i(q). Let d = z + -56. Is d a multiple of 14?
True
Suppose -6*f = -5*q - 4*f + 4961, -1976 = -2*q - 2*f. Does 8 divide q?
False
Suppose 0 = -4*c - 5*x + 527, 0*c = -2*c - 4*x + 256. Let d be -3*c/36 + (-3)/(-2). Is (-3)/(-15) - 1328/d a multiple of 28?
False
Let n(u) = 150*u - 189. Let c be n(-6). Let r = c + 1743. Does 26 divide r?
False
Let x(b) = 14057*b - 20956. Does 67 divide x(5)?
False
Let w(t) = 2*t**2 + 169*t + 2452. Is w(-13) a multiple of 4?
False
Suppose -128889 = 23*o - 531665. Does 24 divide o?
False
Let m = -46352 - -52754. Is 33 a factor of m?
True
Let y = 8 + 6. Let s be y - 1/2*-2. Let a(k) = -k + 23. Does 4 divide a(s)?
True
Let l(y) = -3*y**3 - 117*y**2 + 163*y + 12. Is l(-41) a multiple of 49?
False
Suppose 6*u + 19338 = 5*g, -20*g + 2*u = -21*g + 3858. Is 46 a factor of g?
True
Suppose d - x - 9 = 4*x, 3*d = -x + 11. Let q(m) = m - 71. Let c be q(-18). Is 16 a factor of c/(-1) + d + (0 - 1)?
False
Let r(n) = -285*n - 1462. Is 167 a factor of r(-62)?
False
Suppose 7*u = -1567 - 1912. Let h = u + 604. Is 3 a factor of h?
False
Let r(p) = 4 + 1 + 4 + 46*p - 44*p. Let y be r(17). Suppose -44*j = -y*j - 54. Is 17 a factor of j?
False
Let c = -423 - -1. Let q = -340 - c. Does 12 divide q?
False
Let t = -734 + 858. Suppose -2*v - 9*s = -6*s - t, 4*s + 220 = 3*v. Is 9 a factor of v?
False
Let t = -3416 - -5195. Does 39 divide t?
False
Suppose -2*l + 3 = l, -2*r + 4*l = 350. Let m be ((-6)/(-1))/(354/(-6431)). Let y = m - r. Is y a multiple of 17?
False
Let q(g) = 30*g - 6. Let f(x) = -2*x + 1. Let s(n) = 6*f(n) + 2*q(n). Is s(23) a multiple of 61?
True
Suppose 4*w - 160152 = 6*v, 0 = -5*w - 3*v + 246391 - 46243. Is w a multiple of 136?
False
Let m(h) be the second derivative of -44*h**3/3 - 27*h**2/2 + 10*h. Let g be m(-8). Suppose 5*v + 227 = g. Does 15 divide v?
True
Suppose 4*l + l = 5660. Suppose 4*o + j = l, -3*o - 4*j + 1080 = 218. Is o a multiple of 47?
True
Let x(b) = 3*b**2 + 7*b + 34. Let f be x(18). Suppose -h + 2*h - 1415 = -5*u, 2*h = -4*u + f. Is u a multiple of 11?
False
Suppose 0 = -b + 142 + 27. Let j = 409 - b. Let i = j - -38. Does 14 divide i?
False
Let i(h) = h**2 - 9*h - 20. Let u be i(11). Does 8 divide 66*17 + (-2)/(u/3)?
False
Let j = 13807 - -753. Does 28 divide j?
True
Let i(c) be the third derivative of c**6/120 + 2*c**5/5 - 13*c**3/2 + 92*c**2. Does 49 divide i(-23)?
True
Let x(k) = 3*k**3 - 8*k**2 - 13*k + 7. Let q(z) = -7*z**3 + 16*z**2 + 27*z - 12. Let l(w) = -4*q(w) - 9*x(w). Is l(-5) a multiple of 7?
False
Suppose -81 - 331 = -t. Suppose -2*f - 32 = -t. Is 27 a factor of f?
False
Let t = -132 + 274. Let a = -25 + t. Does 29 divide a + (3 + 1)/(-4)?
True
Suppose -242*a = -709372 + 36854. Is 2 a factor of a?
False
Suppose 17*g - 236708 = 45934. Is g a multiple of 17?
True
Suppose 4*b - 3 = -s, -15 = -5*s - 0*b - 2*b. Suppose 2*i - 96 = -s*o, 3*i + 108 - 12 = 3*o. Is 32 a factor of o?
True
Let i(z) = 33*z**2 - 2*z + 40. Suppose 5*p = -3*u - 35, 5*p = 3*u - 3 - 2. Is i(p) a multiple of 11?
False
Let b = 279 - 326. Let x(o) = o**3 + 45*o**2 - 97*o + 62. Does 5 divide x(b)?
False
Suppose -17*q + 4319 + 22422 = 0. Suppose -7*n = -1808 - q. Is n a multiple of 7?
True
Is 1/(-7) + (-109243)/(-203) a multiple of 15?
False
Let j(h) =