, 3*s = 3*n + 3 for s.
2
Let o(u) = -4*u**2 + 5*u - 11. Let s(q) = q**2 + q + 1. Let r(a) = o(a) + 5*s(a). Let d be r(-11). Solve 2*z + 2*j = 6*z - 8, -3*z - 7 = d*j for z.
1
Let b(u) = u**3 + u**2 - 2*u + 3. Let s be b(-5). Let f = s + 91. Solve f*l + 2*d = 18, 3*l + 4 = 5*d - 2 for l.
3
Let a(w) = -w**3 + 8*w**2 + 22*w - 18. Let b be a(10). Solve b*x - 13 = 5*z, 3*x + 1 = 4*z + 10 for x.
-1
Let f(p) = p**2 - p - 1. Let d(t) = 6*t**2 + 11*t + 7. Let o(x) = -d(x) + 5*f(x). Let j be o(-15). Solve -5*r + 5 = 5*q, -5*r = j*q - 1 - 2 for q.
1
Suppose -9*y + 4*y + 10 = 0. Let x be y + (0/(-1))/3. Solve -2*j - a + x - 11 = 0, 0 = -5*j + 2*a for j.
-2
Suppose 4*j + 15 = 3*x, 2*j + 5 = x - 0*j. Suppose -5*h - 40 = -5*d, -d + x*d - 67 = -3*h. Solve 2*p - 9 = -3*z, -4*p = -4*z + d - 1 for z.
3
Let z be (14/(-4))/(6/(-12)). Suppose -2*v - 2*j = -j - z, 5*j - 7 = 4*v. Suppose 3*b - 8 = -l + 2, 5*l - 12 = 4*b. Solve v = -4*x - k, -l*k - 7 = 1 for x.
0
Suppose 0 = -5*j + 3*v + 15, -40 = -4*j - 2*v - 6. Suppose j*o - 28 = 20. Solve -o = -t + 2*y, -2 = 4*y - 3*y for t.
4
Let w(k) = -k**3 + 12*k**2 + 13*k + 7. Let m be w(13). Suppose 0 = -m*r + 6*r + 2. Solve r*h + 6 = -3*q, -3*h = 2*q - 5*h - 6 for q.
0
Suppose -3*b + 142 = -5*s + s, -3*s = -b + 49. Let q = 11 - b. Let h = -30 - q. Solve 5*p - h*u = -u - 5, -1 = p + 4*u for p.
-1
Let h be (-3)/(-9) - 154/(-6). Suppose -f + 4*i - h = -6*f, 0 = -4*f - 2*i + 16. Solve 3*c + 24 = -4*j, 0*c - 2*j = -c + f for c.
-4
Suppose 0 = 2*t + 2*t - 16. Suppose -2*a + 3*h + 2*h = -35, 2*h + 46 = t*a. Solve 2*b = 3*v + 7, -4*b + 2*v + a = -8 for b.
5
Suppose 3*t - 5*v + 9 = 0, v - 7 = t - 2*v. Suppose t = -3*j + 8. Solve -m = y, 4 = -j*y - 2*y - 2*m for y.
-2
Let l = -1953 - -1975. Solve 7*w = -h + 3*w + 7, 2*h + l = 4*w for h.
-5
Let o = 492 - 490. Solve -w - 3*s + 0*s + 13 = 0, 0 = w - o*s + 2 for w.
4
Let c(o) = -16*o**2 + 110*o + 17. Let u be c(7). Solve 5*b + l - 18 = 5*l, 0 = 3*b + u*l for b.
2
Let l = -3 - -25. Let t be (-1 + (-5)/(-4))/((-2)/(-24)). Suppose 2*u = 5*y + 3*u - 18, t*y = -u + 10. Solve -5*x - 5*o - l = -3*o, x + y*o = -8 for x.
-4
Let t be (-1)/3 - (-38)/6. Let h be -1*(-4)/(8/t). Suppose 2*r + a - 10 = -r, -3*a = -h. Solve 2 = 3*p - 2*g, 2*p - r*g - 3 = -2*p for p.
0
Let g(q) = 6 + 1 - 12*q**2 + 13*q**2 - 4*q. Let j be g(6). Solve -4*k = -6*d + 4*d + 10, -4*k - j = -5*d for d.
3
Let i(r) = 2*r + 2. Let c be i(-1). Suppose 2*p - 3*b + 7 = 0, c + 13 = -3*p + 5*b. Solve -p*a = -4*n + 4, 14 - 4 = 2*a + 2*n for a.
2
Let m(w) = -w**3 - 6*w**2 - 9*w + 1. Suppose -4*y - 2*k - 26 = 0, -21 - 20 = 4*y + 5*k. Let t be m(y). Solve 0 = -4*v + 3*v + t*n + 16, -2*n + 4 = -3*v for v.
-4
Let b be (-21)/14*(-8)/6. Suppose -80 + 6 = -b*a. Let d = -17 + a. Solve 4*w - s - 3 = d, -3*w = 5*s for w.
5
Let k = 859 + -849. Solve 2 = 3*v - k, 0 = -4*i - 4*v + 16 for i.
0
Suppose 0 = 5*o + 6 + 14. Let p = -10 - o. Let q be -10 + 9 - (p + 1). Solve -3*m - q*n - 5 = 0, 0*m + 2*n = -3*m + 5 for m.
5
Let r(z) = -z**2 + 6*z - 8. Suppose 19*x = x + 72. Let o be r(x). Solve -3*m - 12 = -o, 0 = -3*u - 3*m - 24 for u.
-4
Let h(d) = -2*d**2 - d + 7. Let l be h(-3). Let q = l + 11. Suppose 2*n = 7 - q. Solve -4*u - 22 = w, 10 = -3*w - n*u - 6 for w.
-2
Suppose 5*j - 2*p - 40 = 0, 33*p = -3*j + 38*p + 43. Solve 0 = -2*l - o + 3 + j, 2*l = -5*o + 5 for l.
5
Let i(l) be the first derivative of -l**3/3 - 3*l**2 - 3*l + 1. Let v be i(-5). Let u = -284 + 286. Solve x + 6 = -4*w, -u*w = v*x - 0*x + 6 for x.
-2
Let d be ((-116)/(-6))/(-2 + 16/6). Suppose 11*q = 4 + d. Solve x - 5 - 2 = -q*n, 4*n - 13 = -5*x for n.
2
Let j = 437 + -433. Solve j*p = 3*f + 3, 4*p - 3*p + 13 = -2*f for p.
-3
Let n(t) = 12*t + 72. Let x be n(-5). Solve 5*d + 4*k = -x, -5*k = -4*d - 10*k - 15 for d.
0
Suppose 4*z - 20 = 5*f, 4*z + 6*f = 7*f + 36. Let l be -3 + -1 + z - 3. Solve -2*c + 23 = -l*g, -g + 7 = 3*c - 0 for g.
-5
Suppose 0*v - v - 3 = 2*o, 0 = -4*o. Suppose 0 = -3*c + c + 4. Let k be 13/c + v/2. Solve 4*d - 8 = 2*d, 28 = k*p + 2*d for p.
4
Let r be (-2)/(-1) + 0 - 2. Suppose r = -3*g + 25 + 26. Solve 5*d - 16 = -2*b, 0 = 4*d + 2*b - g + 5 for d.
4
Let p(q) = -6*q + 161. Let g be p(26). Solve 0 = 3*j + 4*m + 16, -5*j + 2*m + 13 = g for j.
0
Let z = -28 - -42. Let f be 4/z + (-5)/(70/(-24)). Solve f*d = 4*d - 5*l - 18, -2*l - 12 = 4*d for d.
-1
Let g = 780 + -778. Solve -2*o + g*t + 3*t = -35, 2*o = 2*t + 20 for o.
5
Let q(n) = -5*n - 11. Let d be q(-3). Suppose p = 2*p + d*y + 7, y = -3*p + 23. Solve -5*h = j + p, -j + 3*j + 5*h = -8 for j.
1
Let z = 18 + -18. Suppose n + 3*d = 15, 3*n + 9 + 2 = 5*d. Solve 4*o = o - 5*m, n*o - 3*m = z for o.
0
Let w(v) = v**2 - 34. Let o be w(-6). Suppose 0 = -3*m + 12 + 3. Suppose -t + o*t + 2*r - 23 = 0, 1 = 2*t - m*r. Solve 3*h - 3*g = 6, 3*h + g = -3*g + t for h.
3
Suppose 2*w = 7*w - 20. Suppose 0 = -p + w*m + 6, -3*p = -2*p + 3*m + 1. Solve -5*q - 1 = -4*s, -4*q + p = s - 14 for s.
4
Let j be -1 + 1065/51 + (-42)/(-357). Solve 0 = -5*p - j, -c - 4*p = 4 + 9 for c.
3
Suppose -3*c + 5*a = -c - 22, -5*c = -4*a - 38. Let f = 10 + 44. Suppose -b = -19*b + f. Solve -u + 3*z + 9 = 0, c*u - b*u = 5*z + 15 for u.
0
Suppose 10*i - 467 = -447. Solve i*b = 3*o - 11, 4*b = -4*o + 4 + 4 for b.
-1
Let f = -55 + 62. Let q be f + 7/(21/(-6)). Solve -5 = -5*h - 5*r, -4*h - q*r = -4 - 1 for h.
0
Let j be 8/(-10)*45/(-6). Let t be (-28)/56*(-10 - 0). Solve 0 = 5*r - 4*u - 32, r + t*u + 35 = j*r for r.
4
Let t(b) be the second derivative of b**3/6 + 23*b**2/2 + 15*b. Let c be t(-14). Solve 0 = 3*h + 5*m + 4, -1 = h - 3*m - c for h.
2
Suppose -3*b = -7*x + 2*x - 45, -b + 29 = -4*x. Suppose 2 = 2*i - 20. Solve i = q + b*g, -5*g + 9 = -3*q + 2 for q.
1
Suppose 214 = 8*j + 190. Solve 0 = 4*s - j*u + 1, 0 = 3*s + 5*u + 6 - 27 for s.
2
Let p = 14 - 5. Let k(m) = m**2 - 4*m + 6. Let b be k(p). Suppose 0 = -5*o + 3*q + 63, 0 = 5*o - 5*q - 4 - b. Solve -2*n - o = -2*d - 5*n, -n + 6 = d for d.
3
Let q(j) = 6*j + 24. Let x be q(-11). Let c = -32 - x. Suppose -c = -5*p - 0. Solve p*y = -4*f - y - 8, -y - 2 = 2*f for f.
1
Suppose -8*z + 9*z - a = 6, z - 3*a = 12. Solve -17*y + 22*y + 20 = 5*b, z*b = -3*y for y.
-2
Suppose -x + 12 = -2*d, 3*x + 2 = -d + 3. Let p be x*(2 + 1/2). Suppose -4 = -v - 2*q + 5, -q + 18 = 2*v. Solve -7 = -3*m - p*l, 16 = 5*m - 5*l - v for m.
4
Let k be 4 + (-8)/(1 + 3). Solve 4*s + k*p - 2 = 0, 3*p + 0*p = 4*s + 23 for s.
-2
Let n be 6858/567 - 4/42. Solve 5*s = -3*x + 25, -4*s - 3*x - n = -7*x for s.
2
Suppose -2*t - 12 = -3*g, 7*g - 4*t - 14 = 6*g. Solve 7*q = 3*q - g*k, 0 = -4*k for q.
0
Let k(p) = p**3 - 5*p**2 - 2*p. Let g be k(4). Let d = -19 - g. Solve -5*z + 0*z = d*m - 35, 0 = m - 5*z + 23 for m.
2
Let o(c) = 10*c + 87. Let b be o(-6). Let z be (-2)/6 + 144/b. Solve z*f + 10 = r + 4*r, 5*f + 12 = 4*r for r.
-2
Let v be 10/(-20)*56/(-2). Let n = v + -9. Suppose -12 = -0*t - 2*t. Solve 3*d = -d + n*r - 7, 3*d = 4*r - t for d.
2
Let l = -17 + 13. Let k = 3 + l. Let w be k/(-5) + 159/5. Solve 3*s - 2*r + 0*r + 19 = 0, -4*r + w = -4*s for s.
-3
Let o = -126 + 256. Suppose 0 = 5*i + 5*s - o, i - 23 = -2*s + 3. Solve c + i - 1 = 4*a, -c = a for a.
5
Let k = -6 + 15. Let a be (-6)/k*-3*-2. Let o = -2 - a. Solve o*x - 11 = 7*q - 2*q, 0 = 5*x + 2*q + 16 for x.
-2
Suppose u + 13 = -5*m + 8*m, -9 = -2*m + u. Solve -33 = m*f - 5*n, 2*n - 10 = -2*f - 4 for f.
-2
Let r(j) = -j**2 + 9*j + 2. Let y be r(5). Let m = -20 + y. Solve -m*c + 5*p = -7, 6*p - 2 = -4*c + 4*p for c.
1
Let s = -1178 - -1182. Solve c = 4*k + 8, 0*c - c + s = -2*k for k.
-2
Suppose 0 = 4*g - 5*o - 8, 0 = 2*g + 2*g - 2*o - 8. Suppose -4 = 2*l, -g*s = -s + 2*l - 1. Let m = -14 + 18. Solve -s*h + 0*k + m = 2*k, 3*h - 2*k = -4 for h.
0
Suppose 2*k = -157 + 161. Solve 0 = p - 1, 0 = -n - p - k for n.
-3
Let q = -1462 + 1467. Solve -4*n - 10*m + 5 = -5*m, -1 = q*n - m for n.
0
Let d(t) = 3*t + 7. Let p(f) = f + 2. Let j(a) = -d(a) + 5*p(a). Let g be j(1). Solve 0 = -2*h + 2*o, -4*h + g*o - 3*o = 4 for h.
-2
Let i(m) = 6*m**2 - 7*m + 6. Suppose -10 = 2*v - 6*v - 3*r, 0 = 2*v + r - 4. Let k be i(v). Solve -4*d - k*z = 29, -3*d = -4*d - 2*z - 11 for d.
-1
Suppose -3*m = -9 - 18. Suppose 0 = 11*t - 14*t + m. Let x be (0 + -2)/(t/(-6)). Solve 4*w + 18 = 5*r, -5*w = x*r - 0 + 