 2*g for g.
3
Let l = 18 + -15. Suppose b - 3*z + z = -2, l*b + 2*z = 2. Suppose 0*p + 2*p + 22 = 3*j, -2*j - 2*p - 2 = b. Solve -4*s + 2*d + 12 = -2*d, -s = -j*d - 12 for s.
0
Suppose -2*n = 4, -6*n + 2*n - 17 = -3*u. Let t be 4 + 3/((-9)/(-3)). Let o = 19 + -2. Solve 2*q + t*r - o = 0, -r + 2 = u*q - 4 for q.
1
Let r be 12/(-3) - (1 + -2). Let b be (-3)/(-5) - 16/(-40). Let m be 12/r*(-2 + b). Solve m*h - 3*a = 25, -4*a - 24 = -3*h - 0*h for h.
4
Let c(u) = u**3 - 2*u**2 + 3*u + 3. Let b be c(3). Suppose b = 9*v - 15. Solve 0*d - 3*g = -4*d + 25, -5*d - v*g = -8 for d.
4
Let v be (-4)/18 - 116/(-36). Let a be 2/6 - (-8)/v. Solve -4 = -2*q + 2*u, -3*q = u + a + 11 for q.
-3
Let p = -7 - -9. Suppose -3*c - 3 = -5*z - 0*c, -5*c + 32 = 4*z. Suppose 20 = 5*l + q, 1 = z*l - 2*q + p. Solve 5 = -j, 0 = 5*t - j - l*j - 30 for t.
2
Let d = -516 - -516. Let u(b) = -b**3 + 6*b**2 - 4*b - 1. Let t be u(5). Solve o = 1, d*y + 5*y + t*o + 16 = 0 for y.
-4
Let b = 13 + -12. Let n = b - -2. Suppose n*f - 3 = -0. Solve -f = -v - v + 3*l, 0 = -2*v + 4*l - 2 for v.
5
Let c = -441 + 449. Solve -c = 2*o, -3*x + 11 = -0*x - 2*o for x.
1
Let c be (-88)/(-16) + (-42)/12 + 2. Solve -2*z + 5*z - 23 = c*a, 5*z - 23 = -a for a.
-2
Let m(r) be the first derivative of -r**4/4 + 4*r**3/3 - r**2/2 + 2*r - 3. Let g be m(3). Solve g = 5*j - d - 2*d, 5*d = 2*j + 12 for j.
4
Let y = -14 + 18. Suppose w = -y + 7. Suppose 3*g = 2*i + 5, w*g + 3*i - 30 = -0*g. Solve g*d - 13 = -f, 5*f - d - 5 = -6*d for f.
-2
Let d(a) = 35*a + 72. Let h be d(-2). Solve h = -5*c + 3*l, -3 - 15 = -c - 4*l for c.
2
Suppose 0 = 10*v - 16*v + 24. Suppose -c + 0 = 3*b + 2, -2*b - 2 = c. Solve a + 2 = -0*h + 5*h, b = v*a - 5*h + 8 for a.
-2
Let m = 57 + -49. Suppose 0 = 2*u - m - 0. Solve 4*k + u = 2*b - 18, 10 = -5*b - 3*k for b.
1
Let o = 52 + -49. Suppose 0 = -3*n - 3*v + 15, -o*n + 6*v = v - 15. Solve u - n*k = 14, -3*u + k + 6 = -2*k for u.
-1
Suppose -11 = 2*l - 4*k + 1, 4*l - 2*k = 0. Solve -5 = 4*t - x + l*x, 4*x + 20 = 2*t for t.
0
Let u be (2 - -1) + -5 + 5. Let c(l) = -l**2 + 5*l - 4. Let z be c(u). Suppose -z*x + x = 0. Solve 3*s - 4*p = 15, -5*s - 3*p = -x*p - 25 for s.
5
Let l = -18 - -24. Suppose l*k - 9*k - 9*k = 0. Solve k*c = 2*c + 3*o + 17, 4*c + 4*o + 28 = 0 for c.
-4
Suppose -17*g - 60 = -29*g. Solve c = -4*c + 5*z + g, c = -4*z + 16 for c.
4
Let o(n) be the first derivative of 2*n**2 + 35*n - 32. Let t be o(-8). Solve t*x + 5*i = 19, 2*i = -2*x + 6*i - 24 for x.
-2
Suppose -c - 12 = -3*c + 5*f, 47 = 5*c - 4*f. Suppose -c + 15 = 2*s. Solve 3*b - 4*r + s*r = -16, 5*b + 3*r = 5 for b.
-2
Let w(t) = 2*t**2 - 8*t - 13. Let b be -3*4/(-3) - -4. Let n be w(b). Suppose 6*v = 3*v + n. Solve r + 2*d = 1 - 2, 3*r = d - v for r.
-5
Suppose -2*t = -3*t - 2*t. Solve 3*n + 5*u - 3*u - 10 = t, -4*n - 4*u + 16 = 0 for n.
2
Let w be (4 - 114/42) + 2/(-7). Solve -4*d - w = -c - 2, 0 = -2*c + 6 for d.
1
Let x(q) = 3*q + 1 + 17*q**2 - 16*q**2 - 4*q. Let m be x(0). Suppose 0 = -2*h + m + 7. Solve -2*s = -4*f + 6, f + 0*f - 6 = -h*s for s.
1
Let q(l) = 9*l - 661. Let d be q(74). Solve -x - 9 - 13 = -5*y, 3*y - 2 = -d*x for y.
4
Suppose -5*d = 5 - 30. Let l be (-8)/(-20) - (-8)/d. Let r = 11 + l. Solve -1 - 3 = -2*q + 2*z, z = -4*q + r for q.
3
Let n(k) = -k**2 - 7*k + 3. Suppose -2*l = -5*j + 3*l - 40, -j - 2 = 5*l. Let v be n(j). Solve -4*r - 5*s + 10 = -v*s, 5*s + 40 = 3*r for r.
5
Let b be ((-231)/6)/(-7) - 11/(-22). Solve 5*u = -3*n - 0*n - b, -5*n - 5*u = 10 for n.
-2
Let l(o) = -11 + 4*o**3 + 19*o - 3*o**3 - 3*o - 9*o**2 + 3*o. Let h be l(7). Solve -4*u - 9 = s, u - h = 4*s + 5*u for s.
-5
Let l(h) = h**2 - 23*h + 45. Let n be l(21). Solve 0*b = -b + z - n, -b - 6 = 2*z for b.
-4
Suppose 2 = u + u, -1 = h - u. Solve 0 = -5*c + 2*a - 28, c = -h*a - a for c.
-4
Suppose u + 4*u = 30. Let t be 4/u + 938/42. Solve 5*f = -4*j - t, -2*j = -3*f + f - 2 for j.
-2
Let f = -36 + 41. Suppose 2*a + f*t + 10 = 3*a, -2*t = 4*a - 62. Solve -3*p = -3*o + a, 0 = -2*p - 5 + 3 for o.
4
Suppose -v = -4*v + 75. Let y = v - 23. Solve 0 = 4*j - y*g + 8, 4*g - 5*g + 4 = -3*j for j.
0
Let w = 51 - 17. Suppose d = -d + w. Let y = 2 + d. Solve 2*r - 6 = -3*u, 4*u + y = 8*u - r for u.
4
Suppose 0 = 4*l - g - 2 - 15, 3*g + 6 = -3*l. Solve 5*n + 2*y = -y + 2, l*y - 18 = 3*n for n.
-2
Suppose 20 = 4*p - 4. Solve -g + 6*g - v = 8, 2*g + v - p = 0 for g.
2
Let a = -927 + 930. Solve 4*k = 2*s - a + 9, 4*k - 12 = -4*s for k.
2
Suppose -3 = 4*j - 23. Suppose -4*t - 4 = -j*t. Let l be 1/t - 176/(-64). Solve 2*y - l = -y, 0 = -v - y + 5 for v.
4
Suppose -3*d = -4*d - 3*x + 20, x = 5. Suppose 0 = -2*w + d + 1. Solve m - 8 = -w*m + 4*n, -m + 4*n = -2 for m.
2
Suppose 13 = h - 2*v - 2*v, -16 = -2*h + 3*v. Solve -t + 4*t = 2*x, -h*x = 0 for t.
0
Let v be -3 + 5 + 24/4. Solve 4*b + v = 3*f, -2*f + 3*b + 2 + 3 = 0 for f.
4
Let m = -7 - -7. Let q = m - -3. Suppose -2*a - q*a = -25. Solve -a*n - 2*y = 8, -n = -2*y - 2*y - 16 for n.
0
Let o be ((-22)/(-8))/(6/24). Let u = o + -9. Solve -2 = -u*h - 3*k, -4*h + k = -k - 4 for h.
1
Suppose -9*b + 7*b + 36 = -4*a, 3*b - 34 = -4*a. Solve -5*o + 17 = s, 0*s - b = -4*o - s for o.
3
Suppose 0 = -33*z + 28*z + 25. Solve 0 = 3*w + 5*l, 0 = -z*w + 3*w - 4*l for w.
0
Suppose -2*a + 3*v = -60 - 8, 3*a = -3*v + 117. Suppose a + 63 = 4*g. Solve -5*x - g = 3*k + 2*k, 5*x = -k - 9 for k.
-4
Let f be (1/(0 + -1)*1)/(-1). Let l be 3*f/(-4 + 5). Solve 0 = -5*y - 4*u - 16, -3*u + l = -0*u for y.
-4
Suppose -3*q - 13 = -52. Suppose -5*n + 101 - 15 = 11. Solve -w + 4*b + 1 = -n, b = -4*w + q for w.
4
Let i be 60/8*(0 - 1)*-2. Suppose -5*h + 46 = 3*w + i, -2*h = 5*w - 20. Solve 25 = w*n + n - 2*f, 5*n - 4*f - 45 = 0 for n.
5
Suppose 0*l + 5*a = -3*l - 100, -2*l = -3*a + 54. Let x = l + 32. Solve -17 = -5*f - j, 7*f - 19 = 2*f - x*j for f.
3
Let b(y) = 3*y**2 + 7*y + 11. Let v(n) = n**2 + n. Let q(z) = b(z) - 2*v(z). Let l be q(-3). Solve l*h - 2*a = 2, -4*h + 4*a = 4 - 8 for h.
0
Let w be 28/20 - 342/(-95). Solve 0 = j + j + 8, -j = w*d + 14 for d.
-2
Let w(c) = c - 6*c**2 + 2*c**2 + 14 + 8*c + 5*c**2. Let k be w(-6). Let u be -3 - ((-8)/k + -5). Solve u = -n - 4*s - 17, 0*s - 10 = 2*s for n.
3
Let u(i) = i**2 - 3*i - 8 + 3*i - 2*i**2 - 8*i. Let f be u(-7). Let h be f/1 + 3 - -10. Solve 0 = 2*b - 4*b - 2*w, 4*w = -b - h for b.
4
Let z be (-12)/(-3)*(-10)/(-8). Suppose -j - 3 = -5*j - 5*b, -5*j + z = 5*b. Solve -5*n + j*d - 4*d = 15, 5*n + 5*d + 15 = 0 for n.
-3
Let a be -6*26/(-429)*22. Solve 4*m + 15 = -3*o, 4*o = 6*o + 2*m + a for o.
-1
Let o be (-4 + 1)*((-84)/(-36) - 3). Solve -3*j + 9 = -2*f, -j + 5 = f + o for j.
3
Suppose 2*h - 87 = -h. Suppose 0 = -x + h + 11. Suppose 0 = -0*c - 4*c + x. Solve c = -5*s - 3*l, 2*l = -s - s for s.
-5
Let j(s) be the second derivative of -s**3/6 - 9*s**2/2 - 2*s. Let t be j(-8). Let p = 2 - t. Solve 5*k = 4*v + 1, -p*v - 4 = -3*k - 1 for v.
-4
Let m be ((-21)/(-14))/((-1)/2). Let g be 0/(m/1 + 2). Solve -u - 4*f + 13 = g, -5*u + u - 2 = -2*f for u.
1
Let f be 152/(-19) - 52/(-4). Solve 3*v + 2*x - f*x = 21, 0 = -5*v - 2*x + 21 for v.
5
Let c = 643 - 643. Solve c = 5*g + 3*h + 29 - 3, -3*g - 4 = -4*h for g.
-4
Let o(s) = 5*s**3 - s**2 + s. Let t be o(1). Let l = 21 - 19. Suppose 0*u + 4 = f - u, 4*f + l = -5*u. Solve 0 = -f*q - g + t, -g = -q + 3*g - 2 for q.
2
Suppose -n + 2 + 3 = r, 2*r + 3*n - 7 = 0. Solve -2*t + 21*d + 5 = 22*d, -4*t = 4*d - r for t.
3
Suppose 3*j + 2*u - 1 = 0, -j + u - 18 = -2*u. Let f be (j - -12)/3 - 1. Suppose z - f = -0. Solve -z*k - 18 = -4*k - 2*p, 5*p = 5*k + 5 for k.
4
Let s = -1690 - -1693. Solve -4*u - 18 = -s*a - 33, -25 = u + 5*a for u.
0
Let o(h) = 6*h**2 - 2*h - 4. Let v be o(-1). Suppose 3*x - 31 - v = -4*u, -3*x + 25 = 2*u. Solve 10 = -x*l - 3*f - 2*f, -6 = 3*l + f for l.
-2
Let s be (7 + -8)*12/(-3). Suppose 0*t - 24 = -s*t. Suppose 0*g + 2*g = 8. Solve -3*u = 2*w + t, -g*w - 4 = 3*u + 2 for u.
-2
Suppose 2*z + 1 = 3*s + 8, 4*z + 2*s = 6. Solve -b - z*p = -4, b + 3*p = 5*p for b.
2
Suppose 39 = 4*i - 3*b, -i - b = 57 - 58. Solve 5*d = -5*q - 15, 0 = i*q - 8*q + d + 6 for q.
1
Let r(h) = -4*h + 16. Let k be r(4). Solve 5*n = -t + 20, 2*t + 12 = 3*n - k*t for n.
4
Suppose 4*q + 7 + 17 = 2*v, 0 = -2*v - 5*q - 21. Solve 0 = -2*h - o, -5*h + v