f, 3*o = -f - 14 for f.
-2
Let d = 31 - 22. Solve 5*t + 28 = 4*q, 2*q - 3 - d = 2*t for q.
2
Suppose -4*h = 2*d + 11 - 1, 0 = -3*d - h. Solve -3*u - 4*r + d = -27, 4*u - 12 = r for u.
4
Let j = 25 + -13. Solve -8 = -3*x - 2*w, 3*x - 2*w = 4 + j for x.
4
Let y = 5 + -1. Suppose 3*u - y*l = -l + 18, 4*u + 2*l - 12 = 0. Solve -u*v + 3*x = 14, 0 = -2*v - 2*v + x - 10 for v.
-2
Let t(h) = -h**3 + 5*h**2 + 4*h + 6. Let p be t(6). Let y = p + 9. Let v = -29 + 33. Solve y*g = 5*a + 12, v*g + g = -2*a - 11 for a.
-3
Let w be 40/6 + 7/21. Solve 2*r = f + 3*r + w, 14 = 3*f - 4*r for f.
-2
Suppose -6 = -12*a - 6. Solve a = -r - m + 1, -m + 2 + 14 = 4*r for r.
5
Suppose -4*t + 2*x = 4 - 2, -3*t - 2*x = -2. Let z = 4 + -1. Solve t = -z*w + 4*m, -w + m - 1 = -0 for w.
-4
Suppose -9 = -2*z - z. Let b be (z + -2)/1 - -3. Solve 4*x + 11 = c + x, 0 = -2*x - b for c.
5
Let s(v) = 10*v - 58. Let h be s(6). Solve -5*t - 4*x + 5 = 0, 2*t + x = -h*t + 4 for t.
1
Let n(o) = -o**2 - 8*o. Let h be n(-8). Solve h = -5*x - 5*v + 25, -2*v + 12 = v for x.
1
Let j(f) be the second derivative of -f**3/2 + f**2/2 - 2*f. Let q be j(-2). Solve -3 = -5*u - 5*m + q, -4*m + 20 = 0 for u.
-3
Suppose 2*h - 4 = 4. Suppose 2*t + 32 = 6*b - 3*b, -b = 4*t - 6. Suppose 11*v - 6*v - 2*x = b, -v = -3*x - 2. Solve -p + 2*p = -5*s + 8, -h*s + v = 3*p for p.
-2
Let f(y) = 2*y - 10. Let s be f(7). Suppose 1 - 81 = -s*m. Suppose 0 = 4*u + u - m. Solve -2*g = u*x + 21 - 7, 0 = 5*x + 10 for g.
-3
Suppose -11*f = -10*f - 13. Solve l + 14 = 3*b, -4*l - f = 4*b + l for b.
3
Let d = -7 + 12. Solve -10 = 2*c, -d*y + 0*y = -4*c for y.
-4
Suppose -c + 2 = -4. Let n(d) = d**3 - 7*d**2 + 5*d + 8. Let a be n(c). Solve -2*m = a*x + 2, -3*x + 11 - 5 = 0 for m.
-3
Suppose y + 3 = -2. Let j(f) = f**2 + 6*f + 5. Let b be j(y). Let n be 24/20*1*5. Solve 0 = -o - 4*v - 17, -v - n + b = 2*o for o.
-1
Let v be (-1 - 2)/(3/(-8)). Let l = -2 - -5. Let f = v - l. Solve -f*m + 5*g + 45 = 0, -4*m - 3*g = -4*g - 21 for m.
4
Let f(v) = -v**3 - 2*v**2 + v + 3. Let i be f(0). Solve 5*o = 2*o + m - 11, -3*m - i = 0 for o.
-4
Suppose -4*f = -f. Suppose 0 = -5*u + 15, f*u + 21 = 4*s + 3*u. Solve 0 = 2*r - 2*h + 14, -2*r + 3*r + s*h = 13 for r.
-2
Suppose 0*a = 3*a - 3. Solve -2*r - 3*y = a, -r + 3 = -0*y + 5*y for r.
-2
Suppose 0 = -2*s - 3*s - 75. Let m be -2 - 1/(3/s). Solve 3*f = -m*l - 0*f, -4*f + 1 = 3*l for l.
-1
Suppose 0 = -2*j - 2*g - 0 + 6, 0 = -4*j + 3*g - 16. Let h = j - -3. Solve -5*d + 11 = p, -h*d + 1 = -p - d for p.
1
Suppose 0 = 2*j - f - 5, 0*j + 2*f = -4*j + 6. Let v = 20 - 10. Solve j = w, 4*z + 4*w + 2 = -v for z.
-5
Suppose -10 + 6 = -l. Solve 0 = u + l*k + 22, -2*k = 6 + 4 for u.
-2
Suppose -5*w + 25 = -30. Solve 3*t + 6*l = 2*l - w, -4*l = 5*t + 21 for t.
-5
Suppose -3*w + 2*u + 3 + 2 = 0, 3*w + 4*u - 17 = 0. Suppose -w = -5*z + 7. Solve 3*s = -6, 2*p - z*s - 8 = 3*s for p.
-1
Suppose -4*d + s + 45 = -18, 3*d - 33 = -4*s. Suppose -k + d = 4*k. Solve -2*g + 4*j = j + 9, k*j - 15 = 0 for g.
3
Suppose 8*i - 21 = 5*i. Solve 9*x = 4*x + r - i, -3*x - 18 = 4*r for x.
-2
Let d be (-105)/(-10)*(-8)/3. Let r = d - -39. Let j = -9 + r. Solve -2*o = 3*f - 7, -2*o - 4*f + 8 = j*o for o.
-1
Suppose 11*q + 2*q = 4*q. Solve 0 = n - q*h + 5*h + 22, -4*n - 28 = 5*h for n.
-2
Let d(p) = -p**2 + 21*p + 3. Let g be d(21). Solve -1 = -f + 2*b, -g*b - 4 + 8 = 4*f for f.
1
Let r(u) = -2*u. Let b be r(-3). Let l = 3 - b. Let i be (-3)/l + 1 - -1. Solve 1 = p, 2*h + 2*p - 3*p = i for h.
2
Suppose 3*f = -2*f. Suppose -c = 5*p - 0 - 9, f = 4*p - 3*c - 11. Solve -4*y = -4, 0 = 2*d - 6*d - p*y + 6 for d.
1
Let v(f) = f**3 + 11*f**2 + 10*f + 6. Let z be v(-10). Solve -2*l + 6 = -2*m, -m + 3*l = z + 7 for m.
2
Let c = 7 + -1. Let x be (c/(-10))/((-6)/30). Solve -2*n = 5*g - 16, -n - x*g = -g - 7 for n.
3
Let x(l) = 4*l**2 - l - 1. Let i be x(2). Let m = -7 + i. Suppose j + 3 = m. Solve -2*n + 4*v = 14, 2*n + j*v - 13 = -2*v for n.
-1
Suppose 11*u + u = 24. Solve 5*t + 40 = -3*p, -3*p + 10 = -3*t - u*p for t.
-5
Suppose -2*j + 0*j = 0. Suppose 12 = 4*y - j*y. Solve y*d - 31 = 5*c, 0*d + 4*d + 3*c = -7 for d.
2
Let q(h) = -12*h - 8. Let w be q(-1). Solve -1 + 12 = w*b - 3*l, 7 = 3*b - 2*l for b.
-1
Let n = 26 - 21. Solve -n = -d, 2*d = 2*a + 6*d - 12 for a.
-4
Suppose 0 = -4*l - 1 + 21. Let g = l - 4. Solve 4*j - 2*h - 5 = 5, 2*j = 5*h + g for j.
3
Let t = -6 + 10. Suppose t*h = h. Solve h = -5*j - 25, 4*y - 2*j + 0*j - 26 = 0 for y.
4
Let f be (-2)/(-15) + (-399)/(-45). Suppose 5*g - f = -0*b - 3*b, 0 = 4*g. Solve b*n + 5*d - 7 - 5 = 0, -6 = -3*n - 3*d for n.
-1
Let k be (2/6)/((-5)/(-120)). Solve t = 2*t + b + 2, -k = 4*t + b for t.
-2
Suppose 0 = -2*j + 4*s - 8, -2*j - s + 7 = -0*s. Let f be 31 + -2 + j + 1. Let q = f - 18. Solve q = -2*k - 2*o, -2*k + 3 = -4*o - 7 for k.
-3
Let q = 2 - 2. Suppose -l + 3 + 2 = q. Solve -s = l*k, 3*s = k + 8 + 8 for s.
5
Let u(q) = -q**2 - 14*q - 6. Let v be u(-13). Let g(x) = 3 + 4 + x**2 - 4*x - 4*x. Let a be g(v). Solve -5*p + 18 = 4*s - 3, s + 5*p - 9 = a for s.
4
Suppose x = r - 2, 6*r - 4*r = 5*x + 1. Suppose 36 = p - 3*n, 5*n = 5*p - 200 + 70. Solve -p = -3*v - 4*w, 3*v + 2*w - x = 14 for v.
3
Let n(i) = -i**2 + 3. Let w be n(-3). Let o be 9/w*(-4)/2. Let u be (-1 - -2) + 1 - 0. Solve -u*z + 11 = 3*t, -t - 10 = -o*t for z.
-2
Let q(s) = -s**2 + 4*s - 2. Let t be q(2). Let p = t - -2. Suppose 0 = -p*o + 44 - 16. Solve -3*l - o = w - 3*w, -2 = -w + l for w.
-1
Let h = 68 - 64. Solve -n = 3, n = -2*d - h - 5 for d.
-3
Suppose 7 = 3*w - 5*j, 6 = -j + 4. Let t(l) = -5*l**3 - l. Let b be t(w). Let d = b - 4. Solve 0 = -4*u + k + 5, 4*k = 2*u + d*u - 20 for u.
0
Let d be ((-57)/4)/((-3)/8). Let z = d - 13. Solve 0 = 3*y + 5*o, o - z = 2*y - 4*o for y.
-5
Let w(b) = -6*b - 59. Let s be w(-10). Solve 2*t + 4 = h, t = -s - 1 for h.
0
Let b(l) = l**3 - 2*l**2 - l - 1. Let v be b(3). Suppose 0 = x - 0 - v. Let c = -1 - -10. Solve s + 3 = 0, x*s = -r - 10 - c for r.
-4
Suppose -3*u = -2 - 28. Let j be (-1)/5 + 62/u. Solve 3*p + 5*v - 12 = 0, 3*p - 6*p = -v + j for p.
-1
Let h be (-48)/36 - 13/(-3). Solve 14 - 1 = -2*y - h*n, -3*n - 20 = -5*y for y.
1
Let x = 6 + -5. Let w be -4*x/(1 - 2). Suppose w*b - 2 = 2*t, 4*b - 2 = 4*t + 2. Solve 0 = -4*i - 2*a + 10, -2*i - 4*a + 0*a - 10 = b for i.
5
Let g = -39 - -41. Solve 6 = -3*q, 5*q = -0*u + g*u - 8 for u.
-1
Let t(m) = m + 1. Let z be t(2). Let a be 6/4*((-28)/(-12) + -3). Let b = z - a. Solve 2*l + 7*f + 19 = 2*f, 3*f = b*l - 1 for l.
-2
Let b(q) = -15*q - 43. Let i be b(-3). Solve i*h = h - 2*v - 12, -h = -5*v - 23 for h.
-2
Let q(d) = d**2 + 4*d + 3. Let f = -6 + 8. Let v be (0 - 1) + (-6)/f. Let x be q(v). Solve 3*c + x*t - 6 = 0, -2*t + 6 = -0*c + c for c.
-2
Suppose -5*d + 16 = 4*n, 2*n - 15 = -5*d + 3. Let w = 0 + d. Solve -3*h = -4*a + h + 32, -w*a = 3*h - 11 for a.
5
Let a be (-1)/(1*1/(-3)). Suppose -8 = -a*m - m. Solve m*y - s = 4*s + 2, -4*s = -2*y for y.
-4
Suppose -2*a + 1 = -3. Solve -5*v = -5*h + 7 + 13, a*v = -h + 4 for v.
0
Let m = 2 - 2. Let g = m - 0. Solve 0 = -3*f + 3*y + 2*y, 3*f + 5*y = g for f.
0
Let y be (-40)/(-2)*(-2)/(-8). Solve 0 = w - 3*g - 2 + 14, y*w + 3*g = -6 for w.
-3
Suppose -3*g + 24 = 12. Solve -g*b = -3*b - 3, 5*s + 4*b - 37 = 0 for s.
5
Let l(f) = f**2 + 3*f. Let j be l(-4). Suppose -j = -m - 0*m. Solve -4*w = -m*z, 4*z + z = -2*w + 28 for z.
4
Suppose 0*z - 20 = -4*z. Let f be (-106)/(-34) + ((-16)/(-68))/(-2). Solve -4*u - z*v - 19 = 22, f*u = 5*v + 13 for u.
-4
Let i be -1 + 2 + 3 + -1. Suppose -2*w + 12 = 4*w. Suppose -t + 25 = -4*t - 5*m, -25 = -t + 5*m. Solve t*v - 6 = -v - i*a, w*a = 3*v + 15 for v.
-3
Let r be (-28)/(-15) + (-6)/(-45). Solve 3 = -3*w + z - 4, r*z - 10 = 2*w for w.
-1
Let k be 1/(3 - (-141)/(-48)). Suppose -2*s = -2*v - 10, -5*v = -2*s - 0*s + k. Solve 0 = -4*o - 2*w - 18, -w - 6 = 2*o + s*w for o.
-5
Let r = 44 + -41. Solve -8 = -3*y + 4*u, 5*u - r*u = -5*y - 30 for y.
-4
Suppose 21*g - 10*g - 44 = 0. Solve -g + 0 = z, 5*q - 2*z = 23 for q.
3
Suppose 0*t + i - 20 = -4*t, -4*t + 5*i - 4 = 0. Solve -2*j = -0*j + t*r - 18, 0 = r - 5 for j.
-1
Let l(m) be the first derivative of -2*m**2 - 2*m - 2. Let q be l(-2). Solve 0 = -3*h - q*f + 2*f - 3, -h + 3*f = -12 for h.
3
Let y(u) be the second der