= 2*u - q for u.
1
Let x(o) be the third derivative of 0*o - 5/6*o**3 - 1/6*o**4 + 0 + 2*o**2. Let q be x(-2). Solve -3*c + 2*k = -15, -q*c - 7 + 22 = 5*k for c.
5
Suppose 8*v - 4*v - 48 = -4*b, -5*v + 70 = -5*b. Solve g + 4*f = -v, 9 + 3 = -3*g - 3*f for g.
-1
Suppose 5*y + 68 = 7*y. Suppose 2*a - 2*p - 8 = 0, p + 8 = -5*a + y. Solve 3*n + n = g + 8, 2*n - a*g - 4 = 0 for n.
2
Let m = 6 + -4. Suppose 3*t = -3*d - 15, 5*d + t = -6 + 1. Suppose d = -10*h + 92 + 108. Solve 0 = -5*u + h, 2*z = -2*u - m + 10 for z.
0
Let z be (0/(-1) + -1)*-22. Solve -4*d + 4 = c, -4*d - 4*c = -z + 6 for d.
0
Let j be 4 + (-220)/(-18) - (-4)/(-18). Suppose 0 = 19*r - j*r - 15. Solve 5*b = -5, b = -r*g + 4 - 0 for g.
1
Let p(x) = x + 9. Let q be p(-5). Suppose 0*g + 2*g - q = 0. Solve g*o = -2*o + 3*v - 19, 0 = 2*o - 2*v + 12 for o.
-1
Let q(a) be the second derivative of a**5/20 + a**4/2 - a**3/3 - 4*a**2 + 20*a. Let s be q(-6). Solve 0 = s*o + 2*h + 18, -2*h - 27 = o + 3*h for o.
-2
Suppose 0 = -27*n + 21*n. Solve n = -3*d - d - 5*z - 36, 20 = -5*z for d.
-4
Let j(i) = -i**2 + 4*i + 5. Let o be j(5). Let k(u) = -7*u**2 - 1. Let q be k(1). Let t = q + 13. Solve 4*d + 2*s - 3*s = -3, t*s + 5 = o for d.
-1
Let d(z) = 8*z + 12. Let y(n) = -7*n - 10. Let c(r) = -6*d(r) - 7*y(r). Let v be c(6). Solve 3*m - 7 = 4*o, v*m + 4*o - 28 = -0*m for m.
5
Suppose 0 = -4*b + 2323 - 2291. Solve 2*q - b = a, 3*a + 27 = 3*q + 12 for q.
3
Let d(m) = m**3 + 23*m**2 + 38*m + 1. Let r be d(-2). Solve 9 = -3*o + y, 2*y - 6 = 5*o + r for o.
-3
Suppose 7 = -3*u - 2. Let d be 156/18 - 1/u. Suppose -1 = 4*p - d. Solve 0 = -s + 5*t + 13, -p*s + 3 = -3*t - 2 for s.
-2
Let y(x) = 2*x**3 - 2*x**2 - 2*x - 1. Suppose -4*b = 3*v - 0*b - 14, -v - 3*b + 8 = 0. Let m be y(v). Solve 1 = -2*w - h, 5*h + 3 - 37 = m*w for w.
-3
Let z = -329 + 329. Solve 4*w + 0*w = -3*q + 5, z = 5*w + 3*q - 7 for w.
2
Let m = 15 + -10. Suppose 4*b - 5*b = -m. Suppose b*v + 5*g - 1 = 34, -4*v + g + 3 = 0. Solve 0 = -2*q + 2*s + 10, -2*q + 2 = s - v for q.
3
Let m = -26 - -26. Let t(q) = q**2 + q + 5. Let j be t(m). Suppose 4*g = -w - 0*g - 6, -j*w + 5*g = -95. Solve -r + 2*v - 5 = -14, -4*r + w = 3*v for r.
5
Let s(v) = -5*v**2 + 6*v + 1. Let b(l) = -l**2 + 1. Let n(i) = -6*b(i) + s(i). Let u be n(-7). Solve 0 = u*q + z - 2, 3*q - 10 = q + z for q.
3
Suppose -411 = -37*w + 144. Solve -4*z - 12 = -5*h, -z - 4*z = -h + w for h.
0
Suppose 16*f - 132 = 268. Solve -4*a = -h - 9*a - f, 5*a = h - 25 for h.
0
Let s(w) = 4*w**2 + 18*w + 4. Let t(f) = f. Let i(c) = -s(c) + 4*t(c). Let q be i(-3). Solve 2*r + q*l + 4 = -0*r, -r - 4*l = 17 for r.
3
Let g be -6*(-3 + 20/8). Suppose 4 = -4*d + 4*m, 1 = g*m - 2. Suppose 4*f + d*f = 4. Solve 0 = 2*w - j + 7, 0 = -2*w + j + 2*j - f for w.
-5
Suppose 15*r - 64 + 4 = 0. Solve z + r*h - 6 = -4*z, 4 = h for z.
-2
Let c = 104 - 99. Suppose 0 = 4*k - 4*x - 16, 2*k + 5*x + 14 = 5*k. Solve -o = k*w - c - 4, 3*w - 15 = o for o.
-3
Suppose 21*l - 425 = 415. Solve t + 9 = -16*i + 17*i, -4*i + 5*t = -l for i.
5
Let y(m) = m**3 - 9*m**2 - 11*m - 9. Let u be y(9). Let z be (u/(-90))/((-6)/(-40)). Solve 2*w = 5*p - 8 - 8, 4*w = -2*p - z for w.
-3
Let x be 1/3 + 618/(-18). Let u = x + 36. Solve 4*q = -u*b + 8*q - 16, b - 3*q + 13 = 0 for b.
2
Let q(k) = k**3 - k**2 + 1. Let o(x) = -x**3 + x**2 - 4*x - 3. Let u(g) = -o(g) - 2*q(g). Let h be u(-3). Solve -4*t + 6*t + 10 = 4*a, -5*t = -4*a + h for t.
-5
Let c = 16 - 14. Suppose 0 = 2*y - 4*p + 2*p - c, 3*p = -4*y + 11. Solve 4 = -2*d, y*q - 33 = -3*q + 4*d for q.
5
Suppose -5*j + 57 = -43. Let b be (-54)/(-7) + (-4)/(-14). Let m be (-12)/b*4/(-3). Solve 3*r = 7*r + 2*k + 16, 4*k + j = -m*r for r.
-2
Let q = -83 - -75. Let s be 0 + (2 - 4) + (4 - q). Solve 0*z = 2*w + 2*z - 12, s = 3*w - 5*z for w.
5
Suppose 5*f = 2*f + 33. Let g = 62 - 57. Let v = f - g. Solve 2*u = -5*z - 25, 5*u - v*z = -3*z + 15 for u.
0
Let j(l) = l + 17. Let s be j(-9). Let f = s - 5. Solve f*d + y = 10, 2*y + 18 = d + 6*y for d.
2
Suppose -3*r = 4*z - 23, -1 = -r + 3*z - 2. Suppose 7*q - r = 6*q. Solve s + 0 + 2 = c, 10 = -q*c for s.
-4
Suppose -166*o + 208*o = 756. Solve 0 = 5*a - 4*g + o, 0 = -3*a - g + 1 - 5 for a.
-2
Suppose 5*b + 35 = 5*x, -5*b + 9 + 4 = -x. Solve 5*l + 2 - x = -5*p, -4*p = l - 2 for l.
2
Suppose -16 - 8 = -3*w. Suppose 4*a - 2*z + 27 = 49, 5*z = -2*a + 5. Let l = w - a. Solve -3*h + 0 - l = -4*p, h = 3 for p.
3
Suppose -2*t + 5*t + 2*b = 16, -21 = -3*t + 3*b. Let f(z) = -t*z + 51 - 6*z - 50. Let n be f(-1). Solve 4*y - n = -3*m + 14, -4*m = 3*y - 29 for y.
3
Suppose 7 = -3*w - 5*d - 1, 2*d = -8. Let v be -8 + w - -10*1. Solve 4*f = -n + v + 13, 4*n = -4*f + 16 for f.
5
Let g(d) = -d**3 + d**2 + 3*d + 3. Let s be g(-2). Let o = s + -6. Suppose -2*z + o = -z. Solve w + 3 = z*x, 2 = -2*w - 5*x - 4 for w.
-3
Suppose -5*g + 5 = 5*w, -w + 5 = w - g. Solve l = -w*u - 2*l - 7, 14 = -3*u - l for u.
-5
Let y = 8 - 7. Let x(f) = 4*f**3 + f**2 - 2*f + 1. Let a be x(y). Suppose 0 = -27*i + 9*i + 18. Solve 4*p - 16 = -4*b, 2*p - i = a*b - 5 for b.
2
Let k be (-2)/(-4)*0/1. Let z be 2 + -1 + (k - -1). Let t = 5 - z. Solve t*o = s + 10, s + 3*o + 5 = 5*s for s.
5
Let s be 0 + 0 + -1 - -25. Let l = 27 - 22. Suppose 4*f + 3 = -3*m, -l*m - 2*f = -5 - 4. Solve 4*w = 4*d + s, -2*d - 12 = -m*w + 4 for w.
4
Let v be 38 + 1 - (-15 - -18) - -2. Suppose -v = -7*l - 10. Solve 0 = h + 3*h - 16, -3*h = -l*x - 24 for x.
-3
Let m(j) = -3*j + 15. Let i be m(5). Suppose i = -a + 2 + 2. Solve -a*d - 5*s = -15, 0 = -3*d - 5*s + 15 for d.
0
Let m = 4 + -2. Suppose 3*a - 30 = 4*i, 0 = 5*a - m*i + 5*i - 21. Let r(w) = 4*w + 31. Let v be r(-7). Solve z - v*y - 9 = 0, z + 5*y + 5 = a*z for z.
-3
Let o(r) = -3*r**2 + 13*r + 15. Let y be o(5). Solve -y*l - 20 = -5*i, 3*i + 4*l - 8 = i for i.
4
Let h = 343 + -320. Solve 2*k = -5*a, -2*a - h = -3*k + 2*a for k.
5
Let t be (-14)/18 - 6/27. Let y(c) = 2*c**2 - c. Let n be y(t). Let l(r) = 2*r + 22. Let v be l(-10). Solve 0 = q + v*f + 1, 0*q + 3*f = -2*q - n for q.
-3
Let v(h) = 2*h**2 + 2*h. Let f = 15 - 12. Suppose f*z + 6 = z. Let m be v(z). Solve -14 + 2 = 2*w + 4*l, 3*w - 4*l = m for w.
0
Let a = 545 + -531. Solve w + 2*s = 3*w - a, 11 = w - 2*s for w.
3
Let v be (4/(-2) - -3) + 57. Let h = v - 36. Suppose -g - g + 3*x + h = 0, 4*x = 2*g - 26. Solve 2*s + 3 - 18 = t, -2*s = -g*t - 35 for t.
-5
Let m = 32 - 30. Suppose -a + 31 = -5*o, -m*a - o + 2 = o. Solve -2*k = -v + a, -2*v + k = 3*k + 12 for v.
-2
Let f be 4/(-14) - (-120)/28. Let x be ((-70)/f)/(11/(-22)). Solve 0*o - 2*o = -5*m + 35, 3*m - 4*o - x = 0 for m.
5
Suppose -2*b = -o - 32, -23*b - 3*o = -25*b + 28. Let u = 6 - 2. Solve -5*p = 7*v - u*v - b, 2*v = -4*p + 14 for v.
-1
Let y be 17 - 19 - (-5 - -1). Solve y*c - 2 = 0, -3*r - c + 2 = -5 for r.
2
Let k = 619 + -619. Let i = 20 - 9. Let o = i + -6. Solve 5*d = 5*t - 2*t - o, 5*t + 5*d + 45 = k for t.
-5
Let f = 403 + -398. Solve 0 = f*s + 5*z + 5, -5*s + z = -z + 19 for s.
-3
Let l(p) = -p + 36*p**3 - 2*p**2 + 5*p**2 - 37*p**3. Let r be l(2). Solve r*f + c - 14 = -2*c, -2*c - 4 = -2*f for f.
4
Suppose 0 = -4*n + 12, -4*n - 4 = 11*m - 15*m. Solve 0 = i - v + 1, 3*i + 5*v + 11 = m*i for i.
-4
Suppose -17*f + 60 = -2*f. Solve -7 = -3*j + 5*g, f - 24 = -4*j - 4*g for j.
4
Let b be (12 - (-480)/(-45))*(-3)/(-2). Solve -4*n - b = 5*x - 0, -4*n + 10 = -x for x.
-2
Suppose 124 = 2*t + 5*b + 112, 0 = -5*t - 3*b + 11. Solve -4*p + 2*n = -2*n - 4, 2*n - t = 5*p for p.
-1
Let c(v) = -5*v - 9. Let b be c(3). Let x = 28 + b. Suppose s - x*s = 0. Solve -4*u - n - 5 + 30 = 0, s = 2*u - n - 5 for u.
5
Suppose 5*h + 2*n - 33 = 0, 2*h + 4*n = 4 + 22. Suppose 2*u - 3*u + h = 0. Solve u*p - p = a - 14, 16 = -3*p - 2*a for p.
-4
Let d = -824 + 827. Solve 3*j + 1 = 4*t + 5, -3*j + 18 = d*t for t.
2
Let z = -127 + 219. Let q be ((-6)/4)/((-6)/z). Suppose -u + 3 = 4*n, -2*u + q = u - 2*n. Solve 3*y = -3*m + 12, -m + 17 = 3*y + u for y.
3
Let q(l) = 11*l + 18. Let n be q(-5). Let g = 43 + n. Solve 2 = -2*u + m - 3*m, g = 4*u - m for u.
1
Suppose 0 = r - 2*g + 3 + 5, -3*r - 5*g = -20. Suppose r*a + 2 = a. Solve -l - 5*b = 4*l + 40, -5*b = a*l + 31 for l.
-3
Suppose -6*v + 2*v + 12 = 0. Let f be -2*1/2*-5. Let l(g) = g**3 - 4*g**2 - 5*g + 3. Let s be l(f). Solve v*h