5/20 + 5*m**4/12 - 7*m**3/6 + m**2/2 + m. Suppose 8*a = -23 - 17. Is 16 a factor of n(a)?
False
Suppose 4 = -20*z + 21*z. Let r be (z - 3)/(1/(-196)). Let i = -100 - r. Does 24 divide i?
True
Suppose z + z = 4. Suppose 3*y - 7 = -z*s, -3*y + 2 = y - s. Is (-10)/6*-3*y a multiple of 5?
True
Let b(y) = 43*y**2 + 2*y - 3. Let s be b(1). Suppose -4*q + s = 3*q. Does 6 divide q?
True
Suppose 8*v = 7*v - 67. Let b = 213 - v. Is 26 a factor of b?
False
Let x(u) = -u**3 - 11*u**2 + 13*u + 14. Let l be x(-12). Suppose -l*o + 126 = 7*o. Does 2 divide o?
True
Let c(t) = -2*t - 16. Suppose f + 10 = -0*f. Let x be c(f). Suppose -3*h = -5*v + 34, 0*v + 2*v - x*h = 22. Does 4 divide v?
False
Let i be (42/(-6) - -2) + 7. Does 8 divide (-3)/i*12*56/(-63)?
True
Let f(r) = 3*r**3 - 7*r**2 + 9*r + 8. Let s be f(7). Suppose l - 4 = -l, l = -5*x + s. Does 35 divide x?
False
Let d(q) = 12*q + 22. Is 51 a factor of d(4)?
False
Let u(b) = -2*b**2 + 4. Let h be u(-2). Does 11 divide 44/(-14)*28/h?
True
Let a(s) be the third derivative of -s**6/120 + s**5/60 - s**4/8 - 2*s**3/3 + 2*s**2. Let k be a(-3). Is 12 a factor of (3 + -4)/(-1)*k?
False
Let s be 21952/70 - 3/5. Suppose -2*q = 2*q + n - s, 5*q + 2*n = 392. Is q a multiple of 39?
True
Let r(n) = 58*n - 278. Is 22 a factor of r(23)?
True
Let s(m) = -m - 14. Let x be s(-10). Let d be (x/(-10))/(1/(-5)). Let q(a) = 10*a**2 + 2*a - 2. Is q(d) a multiple of 17?
True
Suppose 0 = -0*u - u + 710. Is u a multiple of 32?
False
Let f be 4/14 - 95/(-35). Suppose -5*h + 51 = q - 4*h, 169 = f*q - h. Does 4 divide q?
False
Let m be 1840/22 + (-44)/(-121). Let g(c) = -c + 4. Let t be g(7). Is 9 a factor of (t - -1) + m/3?
False
Let i = -996 + 1611. Is i a multiple of 13?
False
Suppose 92 = -4*s + 3*s. Let h = s - -58. Is (h/(-5))/(2/5) a multiple of 13?
False
Let a = -313 - -1146. Suppose 0 = 14*w - a - 623. Is w a multiple of 15?
False
Is 8 a factor of (-6)/(-4 - 2)*(267 + -2)?
False
Let i be ((-4)/3)/(4/(-6)). Suppose -5 = -2*y + y. Suppose o + 13 = i*r, 4*o = 4*r + y*o - 35. Does 8 divide r?
True
Let j(l) = 2*l + 17. Let r be 0/(-5)*1/(-3). Is j(r) a multiple of 17?
True
Suppose 0 = -3*t - 2*y + 329, -5*y = -2*t - y + 198. Suppose u - t = -0*u. Suppose 8 = -3*p + u. Is 11 a factor of p?
True
Let w(a) = 207*a**2 + 17*a + 17. Does 6 divide w(-2)?
False
Is 29 a factor of 63/(16/14 - (-13 - -14))?
False
Suppose 30*p = 33*p + m - 125, -4*p + m + 176 = 0. Let k(h) = 13*h + 1. Let t be k(-2). Let j = t + p. Is 6 a factor of j?
True
Let q(v) = -v**3 - 2*v**2 + 7*v + 16. Let j be q(-7). Suppose -72 = -2*a - 3*g, -j = -4*a - 2*g - 84. Is 5 a factor of a?
True
Let a(j) = -4*j - 1. Let d be a(-2). Suppose d = p + 4*p - s, s = -5*p + 13. Suppose 2*h - 7*h + p*m + 379 = 0, m + 382 = 5*h. Is 30 a factor of h?
False
Let y(n) = 8*n**2 - n - 20. Suppose -3*l - 4 = 2*p, 0*l + 32 = -3*l + 5*p. Does 14 divide y(l)?
True
Suppose -1 - 5 = 2*z. Let f(q) = -2*q**3 + q - 2. Is 13 a factor of f(z)?
False
Let f(j) = -4 + j + 4 - 2*j + 4. Let p be f(4). Let c(m) = m + 48. Is 12 a factor of c(p)?
True
Let t = -46 + 50. Suppose 4*z - 12 = 0, 0*w - 219 = -t*w - 5*z. Is 17 a factor of w?
True
Suppose 4 = -0*n + 4*n. Let o be (n/3)/(9/81). Suppose o*t - 18 = -6. Is t a multiple of 2?
True
Let d(f) = 47*f**3 + 2*f**2 + 10*f - 41. Is 58 a factor of d(3)?
True
Suppose 14*b = 11*b - 9. Let a be b + 3 + (0 - -3). Suppose 99 = a*c - t, 3*t + 5 - 14 = 0. Is c a multiple of 11?
False
Let a = -1849 - -2629. Does 39 divide a?
True
Let v(n) = -58*n - 95. Is 27 a factor of v(-17)?
True
Let t = -168 - -120. Is 24/t - 274/(-4) a multiple of 34?
True
Let r = -413 + 433. Is 20 a factor of r?
True
Suppose -2*x - 2*g = -264 - 1130, -g = -4*x + 2768. Is 129 a factor of x?
False
Suppose -230 = 6*d - 8*d + 2*r, -4*d - 5*r = -442. Suppose m - 41 = d. Is m a multiple of 22?
True
Let b = -56 - -128. Let w = b + -6. Is w a multiple of 11?
True
Suppose -3*b = -3, -3*n + 63 = -n - 5*b. Let x = n - 14. Does 4 divide x?
True
Suppose 0 = 16*l + 903 - 2311. Is l a multiple of 11?
True
Let v = -51 + 36. Let n be 10/v*414/(-3). Suppose -n = -3*t + 40. Does 11 divide t?
True
Suppose -3*f = -4*r + 33, 0 = -3*f + 2*r - 5 - 34. Does 6 divide -3*-7*f/(-9)?
False
Let j = -230 + 358. Is j a multiple of 16?
True
Does 14 divide (-1554)/(-3) - (0 - (1 - -2))?
False
Let i(u) = 5 - 1606*u**2 - 10 + 30*u + 1613*u**2 - 4. Does 36 divide i(-9)?
True
Let n be 2/(-9) - 192/108. Let p(g) = 12*g**2 + 6*g + 2. Is p(n) a multiple of 38?
True
Let x be 1 - (-160 - -1*(-3 - -4)). Suppose 2*h = b + 3*b - 314, 4*h = 2*b - x. Is 13 a factor of b?
True
Suppose -5*g = 2*j - 0*g - 1146, 0 = -j + 3*g + 562. Let m = j + -286. Does 19 divide m?
False
Let c(w) = -20*w - 7. Suppose -43 + 13 = 5*x. Let k(o) = -59*o - 20. Let f(g) = x*k(g) + 17*c(g). Does 18 divide f(3)?
False
Let z = 58 - -103. Let n = -249 + 199. Let u = z + n. Does 13 divide u?
False
Suppose 4*k - 8 = 4. Suppose 0 = 2*c, -k*p + 3*c + 30 = 7*c. Suppose p*w - 12*w + 64 = 0. Does 8 divide w?
True
Is (-15385)/(-34)*4/5 a multiple of 40?
False
Let p(s) = -2*s**2 - s + 1. Let k be p(1). Is 23 a factor of 23/(1/k - -1)?
True
Suppose -201 = -4*z - 4*l + 175, 4*z + 2*l - 368 = 0. Let t = z - 32. Is 5 a factor of t?
False
Let v = 11 + -8. Suppose 3*i + v*i = 114. Does 2 divide i?
False
Let k be (-1431)/(-9)*(-4)/(-3). Suppose s + s - k = i, 2*s - 5*i - 228 = 0. Is 13 a factor of s?
True
Let l(x) = 0 - 2*x - 10 + x**2 + 5. Let p = 16 - 20. Is l(p) a multiple of 10?
False
Let y(v) = v**2 - v - 26. Is y(11) a multiple of 17?
False
Let k = 14 + -17. Let a be -1 - -2*k/(-2). Does 31 divide ((-2)/a)/(4/(-248))?
True
Let j(a) = 12*a + 6. Is 21 a factor of j(3)?
True
Suppose -5*q + 27 = 3*h, -h = 5*q - 10 - 19. Suppose 19*o + 326 + 16 = 0. Is 233/q - 3/o a multiple of 13?
True
Let l = 23 - 29. Let n be (-2)/(((-27)/l)/(-9)). Suppose -n*m - 748 = -8*m. Is m a multiple of 39?
False
Let a(j) be the first derivative of 2*j**3/3 - 23*j**2/2 - 13. Is 55 a factor of a(18)?
False
Suppose -3*m + 2*g + 9 = 0, -g + 3 = 3*m - 15. Suppose m = -2*t + 59. Suppose 5*h = 77 - t. Does 10 divide h?
True
Let v be 4/(-8) - -3 - (-2)/4. Suppose -157 + 4 = -v*m. Does 16 divide m?
False
Let a = -9 - -22. Suppose 2*j + a = 33. Does 10 divide j?
True
Suppose 28 = 3*a + 19. Suppose 0*f - 192 = -a*f. Does 32 divide f?
True
Suppose 1 + 5 = 2*g. Suppose -g*n + 3 = -3. Suppose -n*f = -f - 39. Does 13 divide f?
True
Let w(f) = -f**2 + 9 - 26*f**3 - 9. Let b be w(1). Let n = -19 - b. Is n a multiple of 4?
True
Is ((-4)/(-2))/((-567)/573 + 1) a multiple of 27?
False
Suppose x + 4*x = 35. Suppose -3*w - x = 4*w. Is 16 a factor of (6 + -118)/(w - 0)?
True
Let m(g) = 3 + 5 + 3*g - g + 0. Suppose -3*x + 0*x + 21 = 0. Is m(x) a multiple of 9?
False
Suppose -x + 0*x + 435 = 0. Let v = x + -279. Is 13 a factor of v?
True
Suppose -5*w + 3*i = 4*i - 17954, -3*w = 5*i - 10768. Is w a multiple of 19?
True
Suppose -6 = -2*k - 4*m + 92, 0 = 5*k + 2*m - 285. Let l = 16 + k. Is 15 a factor of l?
True
Suppose -5*t + 3*v = -120, 3*v + 7 = -8. Let x = t - -73. Does 14 divide x?
False
Let v(h) = h**3 + h**2 + 5*h + 316. Let c be v(0). Suppose 9*t + c = 2116. Is t a multiple of 38?
False
Suppose -h + 24 = 5*h. Suppose -3*k + 251 = 4*n, -2*n + 313 = 3*n + h*k. Is n a multiple of 13?
True
Let s be 14/4*24/42. Let a(l) = 13*l - 2. Is 8 a factor of a(s)?
True
Let u = 6 + 16. Suppose u*w = 18*w + 8. Suppose -6*r - w*m = -r - 392, -4*r = -3*m - 332. Is r a multiple of 10?
True
Suppose -2*i - 7534 = -2*w, 0 = i + 4 - 5. Is w a multiple of 24?
True
Let h(t) = -2*t**3 - t**2 + t - 3. Suppose -32*a = -33*a - 4. Does 12 divide h(a)?
False
Let b(w) = -w**2 + 12*w - 12. Let p be b(10). Let x be (-3 - -2)*(1 - p). Let q(m) = 6*m + 9. Does 9 divide q(x)?
False
Let n(j) = -7*j**2 + j + 67. Is n(0) a multiple of 15?
False
Let n(r) = -r**2 - 3*r - 2. Let c be n(-5). Let j = 28 + c. Is j a multiple of 8?
True
Suppose -178 = -2*w + 356. Does 10 divide w?
False
Let b(v) = -v - 2. Let p be b(-7). Let q(d) = -13 - p*d - 15 + 8 - 3*d. Is 8 a factor of q(-7)?
False
Let x = 164 - 104. Let d = x + -28. Is 8 a factor of d?
True
Let d be -6 + 1*(-8)/(-4) + 93. Let q = 192 - d. Does 18 divide q?
False
Let p(z) = 34*z - 90. Is 5 a factor of p(9)?
False
Let