 -5*v for g.
4
Let n(h) = 2*h**2 - 74*h - 48. Let l(b) = b**2 - 25*b - 16. Let q(k) = -8*l(k) + 3*n(k). Let r be q(-10). Solve -v - 4 = 4*s, 0*v = 5*s + r*v - 6 for s.
-2
Suppose 5*t + 3*u = 6*u + 112, 5*u = t - 18. Solve 0 = -4*j + 2*f + f - t, 0 = -3*f + 3 for j.
-5
Let f be 0*((-5)/2 + 2). Let a be (2 - f/(-4)) + 3. Let q(v) = 24*v**3 + v. Let t be q(1). Solve -4*g + 5*b = -a*g - t, -5*b - 25 = 4*g for g.
0
Let g(s) = -6*s - 4. Let v be g(-3). Suppose -2*n + v = 5*n. Suppose 24 = w - 4*y, 0 = n*w - y + 3 - 16. Solve j = -w*x + 20, 3*x = -2*j - 0*j + 20 for j.
4
Let z be (-3 - 68/(-20))*-5. Let h = 4 + z. Suppose 2*q - 5 = 5. Solve -q = l + g, g + 11 = -2*l - h*g for l.
-4
Let i(x) = -12*x - 56. Let n be i(-6). Solve -r = 4*p - n, -3*p = 2*r - 22 + 5 for r.
4
Suppose 0*q - 4*q + 280 = 0. Let p = 70 - q. Solve 3*i + 15 = -0*n - 3*n, p = -2*n + 3*i for n.
-3
Let s be (-12)/3 - 2 - -8. Solve -s*v - v - 3 = 5*k, 3*k + 5 = -5*v for k.
0
Let o(k) = -k**2 + 17*k + 25. Let t be o(0). Solve -5*m - t = 5*d, -3*d = m + 2 + 7 for d.
-2
Suppose -4*d = -b + 10, -b = -4*b + 4*d + 14. Suppose -2*m + x = -33, b*x + 82 = -0*m + 5*m. Solve -4*j + 13 = 1, 4*h - 4*j = -m for h.
-1
Let u be ((-26)/130)/((-2)/50). Solve 0*v + 20 = 5*b + u*v, v + 8 = 5*b for b.
2
Suppose 4*d - 3*u = 51, 3*d - 50 = u - 8. Suppose 0 = -5*q - 5*a + d + 15, 3 = q - 2*a. Solve 0 = -q*t + 3*o + 2, 3*t - o - 2 = -0 for t.
1
Let a = 41 - 39. Let r be 5/a*30/25. Let h be 5 + 0 + 2/(-1). Solve r*m + m - 4*f = -12, -h*f - 9 = 3*m for m.
-3
Let o = 25 - 21. Solve -o*m = 4*j - 8, 2*m = -0*m + 10 for j.
-3
Suppose -3*n + 5*h + 55 = 0, 0 = 4*n + 4*h - 62 - 22. Solve 0 = a + 3*a - 16, 0 = -4*z + 4*a - n for z.
-1
Let y = 11 - 3. Let z(l) = l**3 - 7*l**2 - 7*l - 5. Let k be z(y). Suppose -k*t + 2*t + 5*r = -8, -7 = -3*t - 2*r. Solve 2*h - 5*w = -7, t*h - 5*w = -w for h.
4
Suppose -31 + 13 = -6*n. Suppose 4*j - 4*u - 63 = u, u + 39 = n*j. Solve y = 2*t - 10, -2*y = -4*t + 2*t + j for y.
-2
Let g be -1*3*(-20)/15. Let r be 38/57 - g/(-3). Solve 2 = -4*x - r*i, -4*i + 5 = -3*x + 8*x for x.
-3
Let b be -3 - -6 - 2/2. Let g(c) = 3*c**2 + 12*c - 18. Let x be g(-8). Suppose 7*z = 62 + x. Solve -3*a + 1 = 5*r + z, -b*r = -4*a - 8 for r.
-2
Let r be 3/(-7) - (-27)/63. Solve r = -2*q - 3*w - 11, 2*w = -6 for q.
-1
Let p = 263 + -260. Solve k + 2*f = -5, -5*f - 23 = 2*k - p*k for k.
3
Suppose t - 3*a + 7 = 2, 6*t - 30 = -2*a. Solve -15 = x - t*z - 0*z, 5*z = 2*x + 21 for x.
-3
Let r be (-40)/12*51/(-34). Let o be 4/6 + 39/9. Solve -5*w = 0, -2*w + o = -r*x - w for x.
-1
Let x(k) = 5*k**2 - 2*k - 2. Let t be x(-1). Let m = -1 + t. Solve -4*b = -4*f + 4, 2*b + 13 = f + m*b for f.
5
Let p(b) = b**2 - 24*b + 3. Let q be p(24). Solve q*h - 2 - 19 = -3*i, 0 = -5*h + 2*i + 7 for h.
3
Suppose 4*s + 14 = 3*u + 48, 5*s = -4*u + 58. Solve -2*m + s = -4*w, m + 5*w + 8 = -8 for m.
-1
Let n = -114 + 109. Let c be 12*8/12 + n. Solve -r - 2*r - 12 = 0, -5*i = c*r - 8 for i.
4
Let m(y) = y**2 + 19*y - 46. Let j be m(-22). Solve 5*d + 2*b + j = 0, -5*d + 5*b + 5 = 2*b for d.
-2
Let g(n) = n**2 - 15*n - 181. Let j be g(-8). Solve 4*f = j*k - 0*f + 14, 2*f = 2*k + 8 for k.
-2
Let o be (0 - 76/(-12))/(1/3). Let p = 15 + o. Solve -p = 5*a - 3*h, 4*a = -3*h + 4*h - 23 for a.
-5
Suppose 5*w - 4*w + 4*j = -10, 18 = -4*w - 5*j. Let t = 0 - w. Solve t*v - 4*y + 20 = 4*v, -2*y + 14 = 2*v for v.
4
Let q(v) = 2*v**2 - 12*v - 12. Let r be q(7). Suppose 0 + 8 = g - 5*u, -3*u + 3 = r*g. Solve -4*w = -g*w + 2*l - 3, l = w - 3 for w.
3
Let r(y) = y - 2. Let s be r(4). Suppose u + 4*b + 7 = 3, 1 = -4*u - b. Let d = -73 - -75. Solve d*g - 3*v + 4 = u, -2*g + 2*v + s*v - 2 = 0 for g.
-5
Let r = -6 + -7. Let y = -8 - r. Suppose -5*v + 5*m = -0*m + 5, -5*m = 2*v - y. Solve v*i = 3*i - 9, -4*d - 7 = -5*i for d.
2
Let q be 0 + -1 + 15*1. Suppose -5*n + q = -11. Let w be (0/(n + -2))/(-2). Solve 5*b + 18 = 3*o - 4, w = 2*b + o for b.
-2
Suppose 0*h + 3*h - 168 = 0. Suppose 3*l + h = 4*d + l, -69 = -5*d + 3*l. Solve 3*o - d = -4*r, r + 2*o = 5*r + 10 for r.
0
Let l(v) = v**2 - 22*v + 18. Let t be l(10). Let w = -100 - t. Solve 2*k - d - 7 = 0, -4*d = -k + w*k - 8 for k.
4
Let d = -24 - -3. Let t = d - -16. Let z = -2 - t. Solve -z*j - 6 = 0, -4*v - v - 35 = 5*j for v.
-5
Let q be -12*2/(-12)*4. Suppose -7*t = -5*t - q. Solve -t*r = -3*a - 32 + 8, -3*a + 2*r - 18 = 0 for a.
-4
Suppose u + 4*o - 16 = 3*u, 4*u - o = -4. Let y be (1 + u - 21)*4/(-16). Solve -4*s - 4*b + 0 = 8, s + y = 2*b for s.
-3
Suppose -18*r + 26 = -16*r. Let u be 3 + (-4)/8*2. Solve 6 = -4*w + 2*v, u*w + 0*w = 3*v - r for w.
1
Let a = -10 + 11. Let k be 43 - (0 + 3) - a. Suppose -k = -4*m + m. Solve -l = -5*u + m, -2*l + u = -0*u - 1 for l.
2
Let z(d) = -3*d + 2*d**2 + 5*d + 1 + 2*d**2. Let g be -4 - ((-6)/2 - 0). Let o be z(g). Solve -3 = -2*r + o*b, -2*r - 3*r + 13 = -2*b for r.
3
Let d = 25 - 9. Let o be d/(-64) + 13/4. Suppose 2*m + 3*q - 27 = -m, 3*q = -2*m + 15. Solve -m + 5 = 2*f + 3*b, -o*f + 4*b - 19 = 0 for f.
-5
Suppose 5*f = w + 5, 9*w - 4*w = -4*f + 33. Let r(b) = -b**2 + 12*b + 9. Let a be r(12). Solve -a = 3*x + v + f*v, -3*x = 2*v + 8 for x.
-2
Suppose 0 = 4*j + 3*f - 27, 0 = -5*j + 3*f. Solve j*h + 3 = 3*c - 2*c, 4*c + 5 = -5*h for h.
-1
Suppose 0 = -n - 4*g - 6, 3*n - 5 + 3 = -2*g. Let t = n + -10. Let s(a) = -a**2 - 8*a + 5. Let d be s(t). Solve d*f = 5*r, 0 = -2*f - 2*r - 2*r - 12 for f.
-2
Suppose -7*s - 14 = -14*s. Solve -s - 3 = 5*u, 0 = -2*g - 3*u - 7 for g.
-2
Let o(q) = q**3 - q**2 - q - 5. Suppose 0 = -3*b + 4*w - 12, -b = 2*b + w - 3. Let h be o(b). Let k = -4 - h. Solve t = -2*g + k, -3*t + 2*g - g + 17 = 0 for t.
5
Let y(n) = n - 1. Let j(z) = 8*z - 49. Let a(t) = -j(t) + 5*y(t). Let r be a(10). Solve 5*w - 4*v = r, 4*v + 8 = 2*w - 0*w for w.
2
Let o be (2/(-4))/((-11)/44). Let y = -6 + 10. Let b = -3 + y. Solve -q - 3*w = -b + 7, -4 = -o*q + 2*w for q.
0
Suppose 0 = s - 5*s + 40. Let u be 3 + 1 + -6 + 7. Solve j + 4*j + 5*o - s = 0, 5*j - 10 = u*o for j.
2
Let j(l) = -l**2 - l. Let x be j(0). Let u(z) = z**3 - 7*z**2 + 9*z + 9. Let s be u(5). Solve 1 = a - s*h, 5*a - 5 = 5*h - x for a.
1
Suppose l = 3*o + 2*o + 13, 5*o + 10 = 0. Let i = 14 + -6. Let g = 10 - i. Solve -2*j = -2*v - 18, 3*j = -g*v + l*v + 19 for v.
-4
Suppose -5 = 6*h - 29. Suppose -h = -3*t + 11. Solve t*q + 15 = y, -y - 2*q = 3*y + 6 for y.
0
Suppose o - 2*o = 5*r - 27, -2*o + 19 = 3*r. Solve 8*j = 5*c + r*j + 9, 3*c + 5*j + 19 = 0 for c.
-3
Let d = -218 - -220. Solve -3*y + 6 = -3*m - d*y, -4 = m - y for m.
-1
Suppose d - 5 = 0, 2*r - 6*r = -2*d + 2. Solve 3 = 3*j - r*z, 3*j + 3*z - z + 9 = 0 for j.
-1
Let o(q) = -1 - 1 + 0 - q + 11. Let s be o(9). Suppose 3*x - x = s. Solve 0 = -l + 2*z - 7, 4*l - 4*z + 24 - 4 = x for l.
-3
Suppose 10*r - 30 = 11*r. Let k be 8/10*r/(-12). Suppose 4*t - 25 = -c + 2, 11 = -2*c + 5*t. Solve k*v - v + c = -x, 0 = v + 5*x + 27 for v.
-2
Suppose -8*d + 25 = 9. Solve 0*j + d*j - 2 = -f, 5*f - 2*j + 26 = 0 for f.
-4
Let d be 4176/(-108) - ((-5)/3 - -2). Let p = -36 - d. Solve -2*q - 6 = -4*i - 0, 0 = i + p*q - 19 for i.
4
Let l(j) = j**2 + 8*j + 18. Let p be l(-5). Solve k - 1 + 4 = p*u, -12 = -4*k for u.
2
Suppose -8*h = -3*h. Suppose -k + 0*k + 2 = h. Suppose -4*d + 31 = -5*f, -7*d + k*d + 8 = 4*f. Solve 2*v - 30 = -m - d*m, 0 = 3*m - 2*v - 2 for m.
4
Let n(b) be the second derivative of -b**4/4 - 2*b**3 + 2*b**2 - 15*b. Let j be n(-4). Solve 4 = v + p + 3, v + j*p = 7 for v.
-1
Suppose 16*x - 13*x - 99 = 0. Suppose -13 = 5*f - x. Solve 5*m = -y - 5, -7*y - 1 = -f*y + m for y.
0
Let c(v) = -v**3 - 8*v**2 - 7*v - 50. Let x be c(-8). Solve 0 = 4*p + 2*o - 16, -5*p - x = -3*o - o for p.
2
Suppose 5*s = -2*l + 21, 2*s + 2*s - 14 = -3*l. Solve -2*p = -s*i - 18, 4 - 23 = -p + 5*i for p.
-1
Suppose -4*i + i = 0. Suppose -v + 4 = 12. Let c be (3 + -2)/((-4)/v). Solve 2*l - 5*w = 15, i*w - c*w = 2 for l.
5
Let y be 1/4 - (-35)/20. Let j be (-10)/(-4 - (-4 + y)). Solve -m = 5*f - j, -2*f + 6 - 2 = 0 for m.
-5
Suppose 3*h - 38 = -5*o, -2*o - 22 = -5*h - 0*o. Let u be 6 - (h/2 - 0). Solve 4*f - 27 = f - u*l, 5*f - 2*l = 17 for f.
5
Let w(l) = 4*l + 1. Let x be w(-5). Let u = -19 - x. Suppose u = -0*v - v + 5. Solve 0*f + 3 = 3*f - 3*s, v = f - 5*s for f.
0
Suppose 