(f)?
True
Is 7 + (-18 - -16175) + -4 a multiple of 80?
True
Let v be ((-20)/16 - -2) + 30/24. Suppose 5*n - 998 = -v*u, 3*u + 628 - 2136 = -2*n. Is 20 a factor of u?
False
Suppose -4*r - 5272 = -2*c, -r = 4*c - 585 - 10004. Suppose 609*t - 607*t = c. Is 21 a factor of t?
True
Suppose -30 = -n - 2*n. Suppose -a = -4*t + 53, 15 = -5*a - n. Does 8 divide -3*(-2 + (-1 + 4 - t))?
False
Let h = -66 - -187. Let r be h - ((-9 - -3) + 4). Suppose -201 = -3*l + r. Does 27 divide l?
True
Is -16*7/(-6)*48/7 a multiple of 5?
False
Let g = -68 - -97. Suppose 3*w - g = 4*o, o + 0*o = 5*w - 54. Is w a multiple of 11?
True
Let g(c) = c**3 + c**2 - c + 1. Let x(a) = 4*a**3 + 15*a**2 + 11*a + 3. Let i(r) = -3*g(r) + x(r). Let n be 20/(2 + 3)*(0 - 2). Is 36 a factor of i(n)?
True
Let x(h) = 3*h + 3. Let d be x(-4). Let k(a) be the first derivative of -a**3/3 - 5*a**2 + 8*a + 39. Is 4 a factor of k(d)?
False
Let g(y) = -35 - 8*y - 56*y + 52. Let d be g(-4). Let p = -116 + d. Is p a multiple of 11?
False
Suppose -5*n = 5*u + 768 - 21158, -2*n + 8162 = -u. Is n a multiple of 80?
True
Suppose 0 = -2*x + 2*f + 2524, -39*f + 42*f - 6326 = -5*x. Is 79 a factor of x?
True
Let z(u) = 4*u**3 + 8*u**2 + 6*u - 102. Is z(6) a multiple of 196?
False
Let h(i) = -i**3 + 13*i**2 - 14*i - 1. Let w be h(11). Suppose -52*b + 49*b = -w. Is 2 a factor of b?
False
Let j be (-2)/(((-138)/(-15))/2 - 5). Let y(a) be the third derivative of -a**6/120 + a**5/10 - a**4/12 + a**3/2 + a**2. Is 9 a factor of y(j)?
True
Let a(g) = g**2 - 16*g + 13. Let t be a(9). Let c = t - -46. Is 13 a factor of (1/3)/(2*c/(-936))?
True
Let p = 41384 - 29156. Is 4 a factor of p?
True
Let u be (-195)/(-60) + (-2)/8. Suppose 4*p + 15 = 3*w - 1, 4*w - 17 = p. Suppose -w*d + 451 = -2*l + u*l, d - 109 = l. Does 16 divide d?
True
Let h = 71 - 26. Let f(s) = -s**3 - 16*s**2 + 11*s - 100. Let o be f(-17). Suppose 0 = -o*n + h + 11. Does 10 divide n?
False
Suppose 2*x - 5*l = -110, x + l - 5*l + 58 = 0. Let f = x - -30. Let r = f + 116. Is 14 a factor of r?
False
Let b be 24912/120*10/8*2. Let u = b - 407. Is u a multiple of 82?
False
Let z(q) = -8780*q - 58. Does 12 divide z(-2)?
False
Let f(x) = 5*x**2 + 119*x - 25. Does 74 divide f(-36)?
False
Suppose 9*o - 6512 = -7*o. Is o a multiple of 7?
False
Let i(l) = -l**2 + 54*l - 200. Let u be i(4). Suppose u = b + 2178 - 2416. Is 14 a factor of b?
True
Suppose -15*k = -31392 + 72. Does 12 divide k?
True
Let a(k) = -k**3 + 13*k**2 + 16*k + 1. Let j = -80 - -234. Suppose 14 = -10*y + j. Does 9 divide a(y)?
False
Let d(k) = 928*k**3 + 191*k - 10 + 171*k - 351*k. Does 50 divide d(1)?
False
Suppose 6*a = 4 + 8. Suppose -m + h = -a, 2*m + h + 4 = 4*m. Does 4 divide (-6 + 3 + -6)/((-1)/m)?
False
Let g(q) = -q**3 + 10*q**2 + 13*q + 37. Let h be g(12). Let n = 121 + h. Is 5 a factor of n?
False
Suppose 0 = -45*n - 9286 + 32371. Is n a multiple of 9?
True
Let w(s) = 58*s**3 - 3*s - 175*s**3 + 237 + 63*s**3 + 56*s**3. Is 13 a factor of w(0)?
False
Let m be 1 + 1/(-2) + 15/(-10). Does 49 divide (-343 + 8)/((-1)/(3 + m))?
False
Let j(x) = x**3 + 2*x**2 - 1. Let d be j(1). Let m(c) = 3*c - 71*c**3 - 95*c**3 + c**2 - d*c. Does 20 divide m(-1)?
False
Suppose 5*v - 2*c - 19 = 0, v - 13 = -3*c + 1. Suppose -v*i + 31 = -89. Is i a multiple of 6?
True
Let w(i) = 32494*i - 238. Is 28 a factor of w(1)?
True
Suppose 2*o + 4*r = 1546, 5*r - 9*r = -2*o + 1514. Let w = o + -696. Is 24 a factor of w?
False
Let p = 1466 + -333. Let o(r) = -r - 1141 + p - 2*r + 7*r. Is 2 a factor of o(4)?
True
Let y(t) be the first derivative of -5*t**2/2 + 24*t - 9. Let a be y(4). Suppose -a*m = -3*k + 154, -m = 5*k + 2*m - 247. Is k a multiple of 11?
False
Suppose -8 = -m - 5. Let x(k) = k**3 + 0*k**m - k - 2*k**2 - 14 + 4*k**2 - k**2. Is x(5) a multiple of 18?
False
Let v(a) = 4*a**3 - 11*a**2 + 8*a + 8. Let j(k) = -5*k**3 + 12*k**2 - 8*k - 9. Let h(d) = -3*j(d) - 4*v(d). Let f be h(7). Does 14 divide 4/f + 43/3?
True
Let w(t) be the first derivative of 5/2*t**2 + 15*t - 3. Is 8 a factor of w(0)?
False
Let x(u) be the second derivative of -u**4/6 - 2*u**3 + 15*u**2/2 - 28*u. Let v be x(-6). Is 30 a factor of 5*v*((-2)/(-1) + 2)?
True
Suppose -30*g = -26*g - 4*k - 73860, -4*g - 2*k = -73884. Is g a multiple of 17?
False
Suppose -294*x + 257*x = -219336. Is 156 a factor of x?
True
Suppose -2*c = 5*k, -4*k + 6 = -k. Let m(l) = -14*l - 38. Let r be m(c). Is 9 a factor of 16*2*56/r?
False
Let k be 82/2 + 2*(-6)/12. Let a be 9*15*2/9. Is 10 a factor of (a/k)/(1/240)?
True
Suppose -1003 - 180637 = -13*v + 82364. Is v a multiple of 39?
False
Let q(x) be the second derivative of -9*x**5/20 - 5*x**4/12 - 2*x**3/3 - 4*x**2 - 15*x. Let b be q(-4). Suppose -6*r = -12*r + b. Is 27 a factor of r?
False
Suppose -2534 = -3*h - m + 189, -4*h + 2*m + 3644 = 0. Is 2 a factor of h?
False
Let t(x) = 6*x + 2*x + 1579 + x - 1642. Is t(15) a multiple of 6?
True
Let g = -7230 - -8632. Is 45 a factor of g?
False
Let o(t) = t**2 - 8*t. Let x be o(8). Suppose -2*b = 3*n - 634, 3*n - 2*b - 453 - 173 = x. Suppose -12*w + 7*w = -n. Does 7 divide w?
True
Is 199 a factor of (-11143)/(-4) + (-73)/(-292)?
True
Suppose 4*i + 9359 - 98959 = 0. Suppose 8*q - 36*q + i = 0. Is q a multiple of 10?
True
Let y(m) be the third derivative of 17*m**4/24 - 5*m**3/2 + 28*m**2. Let i be y(5). Let z = i - 58. Is z a multiple of 3?
True
Let k = -2594 - -2646. Let r(y) = 2*y**3 - y. Let t be r(1). Does 29 divide (-12)/(t + k/(-48))?
False
Suppose -11945 - 25281 = -12*q - 2*q. Does 26 divide q?
False
Suppose 10*m + 2*r - 347 = 9*m, m = -4*r + 353. Suppose -3*i + m = 68. Does 7 divide i?
True
Suppose 5*k = -5*w + 13731 + 2819, -6660 = -2*k + 3*w. Is k a multiple of 79?
True
Suppose -2*r - 420 = -2*c, c - 630 = -2*c - 4*r. Is 31 a factor of (-9978)/(-14) - 20/c*-3?
True
Let u(q) = -31*q - 224. Suppose l - 6 = -5*i, 8*l = 12*l - i + 81. Is u(l) a multiple of 19?
False
Is 11 a factor of ((-73)/(-2))/(5219/578 - 9)?
False
Let d(y) = 19*y**2 + 2*y + 11*y**3 - 43*y**2 - 8 - 1 + 13*y**2. Is d(4) a multiple of 53?
False
Let f(x) = -x**3 + 38*x**2 - 2*x + 173. Is f(19) a multiple of 153?
False
Let g = 13051 + -5028. Is 43 a factor of g?
False
Suppose -22*s + 19*s = -15. Let d be (-1 + 2)*55/s. Suppose -347 = -d*x + 1369. Does 13 divide x?
True
Let c(u) = -u**3 + 17*u**2 - 7*u - 20. Let k be c(16). Suppose k = 2*t + 2*v, -5*t - v - 64 + 390 = 0. Is 33 a factor of t?
True
Let v(b) = -b**3 - 127 - 121 - 12*b**2 + 255 - 5*b. Is 17 a factor of v(-12)?
False
Suppose 53*f - 73*f + 112840 = 0. Is 63 a factor of f?
False
Suppose 123*n = 45*n + 108108. Is n a multiple of 10?
False
Let x be (-30)/90 - 1/(-3)*7. Suppose x*a = t - 3 - 5, -20 = t + 5*a. Suppose t = -10*y + 1381 + 169. Does 14 divide y?
False
Let r(o) = 6*o + 70. Let q = -128 - -116. Let u be r(q). Is (u - 1)/((-8)/64) a multiple of 7?
False
Suppose -52*j + 15750 = -22*j. Is j a multiple of 18?
False
Let q = 16419 + -8287. Does 23 divide q?
False
Suppose -58*y - 355050 = -130*y + 57*y. Is 30 a factor of y?
True
Suppose -2*f = -7*f - 5*g, -4*f = 3*g - 2. Suppose -z + 25 = 4*x - 14, -f*x = 4*z - 212. Let a = z - -40. Is a a multiple of 12?
False
Let a(y) = -y**2 + 12*y - 16. Let k(z) = -2*z - 6. Let h be k(-4). Suppose -2*t = -3*n + 24, 3*t = h*n - 4 - 17. Does 13 divide a(n)?
False
Let c = 65956 + -21220. Is c a multiple of 64?
True
Suppose 0 = 2*f + 3*b + 76 + 184, -556 = 4*f - 3*b. Let m = f + 202. Does 3 divide m?
True
Suppose -4*j + 2*q = -29960, -149*j - 3*q = -147*j - 14964. Does 8 divide j?
True
Let f be -3 - 2 - 572/26. Is 15 a factor of (-16)/(-72) - (4125/f + 3)?
True
Suppose 2*u - 1 = -3*p, 0*p + 5 = p - 4*u. Suppose -l + 1 = p. Suppose l = -8*a - 7*a + 2865. Does 25 divide a?
False
Suppose 3*x - 8*y + 11*y - 1116 = 0, -1487 = -4*x - 5*y. Is x a multiple of 21?
False
Let w be 5*(-3)/(-2)*240/90. Is w + -12 - (-606)/3 a multiple of 14?
True
Suppose k - 1730 = -0*k. Suppose 2*l = -656 + k. Does 23 divide l?
False
Suppose 5*h - 78484 = -2*l, -18*h = -19*h + 5*l + 15686. Does 3 divide h?
True
Let n = -12614 - -31191. Does 19 divide n?
False
Let t be -9*((-1)/(-3) + 0) + 21. Let l be (-968)/99 + (-4)/t. Let k(v) = -v**3 - 9*v**2 + 6*v - 7. Is k(l) a multiple of 33?
True
Suppose 11*i = 8*i - 12, 4*i - 46088 = -2*z. 