6 for g.
4
Let a be -4 + 7 - 1/1. Suppose -5*f = a - 17. Suppose j - f - 1 = 0. Solve r - 3*r - 16 = -4*s, r + 16 = j*s for r.
0
Suppose -5*n + 8 = -3*n. Suppose 4*t + n*y = 1 + 23, 5*t - y = 0. Solve -2*g = 4*w, -5*g + t = 5*w + 6 for g.
-2
Suppose 2*f + 7 = -1. Let g = f - -7. Solve 0 = -2*t + r + 2 + g, 2*t - 1 = -3*r for t.
2
Suppose -10 = -3*n + 17. Let z be n*(-1 + 4/3). Suppose 2*o = 4*f - 2*o - 24, f + z*o + 10 = 0. Solve -2*u - 4 + 12 = 4*i, -2 = f*i + 4*u for i.
3
Let b(t) = 2*t - 5. Let v be b(4). Let q = -1 + v. Solve -2 = q*j - 3*d + 5*d, 0 = 5*j + 4*d + 1 for j.
3
Let u(y) = -2*y - 6. Let o be u(-5). Solve 2*v = -2*i + 8, 4*i - v = o*v - 11 for i.
1
Suppose -10 + 0 = 5*t, 0 = -5*q - 2*t + 71. Solve -q = 5*h - 5*f, 3*h + f = 2*f + 1 for h.
2
Let x(r) = -2*r + 13. Let b be x(5). Solve -t + a = -b, 9 + 3 = 4*t + 4*a for t.
3
Suppose 3*t + 2*t - 10 = 4*s, -4*s = 3*t - 6. Solve -t = 4*b - 14, 2*b = 3*f + 15 for f.
-3
Let j(w) = -w**2 + 4*w - 1. Let l be j(6). Let h(m) = m**3 + 12*m**2 - 12*m + 17. Let k be h(l). Solve -p + 6*p - 5 = -5*r, 5*p + k*r = 0 for p.
-4
Let q(m) = m**3 + 17*m**2 + m + 19. Let c be q(-17). Solve -2 = c*g + 2*x + 12, -5*x - 19 = -3*g for g.
-2
Suppose 4*l - p = 3, 4*p = -2*l + 6*l. Suppose -4*r + 3*j + 0 = l, 4*r + 3*j - 17 = 0. Solve -2*f - 2*f + s = r, 2*f + s = -4 for f.
-1
Suppose 2*o = -c - 0*c + 6, 5*c - 4 = 3*o. Let u be (0 - (4 + -6))*(1 + 0). Solve -c*m = -r - u, -2*r - 12 = 3*m - 1 for m.
-1
Let s be -2*(-3)/(-6) + -6. Let u = s + 14. Solve 0 = 3*i + y - u, y = 4*i - 5*i - 1 for i.
4
Suppose 15 = -0*z + 3*z. Suppose 0 = -p + 5*y + 45, -2*p + 14 = 5*y - 1. Solve z*v - 4*f = -5, -4*v - 10 = 2*f + p for v.
-5
Let h(d) = 4 + 4*d**2 - 2*d**3 - 6*d**2 + 2*d**3 - d**3 + 4*d. Let t be h(-3). Solve 5*p - 3*v = 4, 0 = -p - 3*v - t - 9 for p.
-1
Let z = 2 + -1. Suppose 2*v + 6 - 14 = 0. Solve 3*t = 2*b + 2*b - z, 2*t + v*b = -14 for t.
-3
Suppose 3*m - 15 = -0*m. Suppose m*i - 4 = 6. Solve -3*b - 6 = -i*n, -n - 1 = -4 for b.
0
Suppose -43 = -2*f - 43. Solve 4*p - 2*c = -c + 8, f = -2*p + 5*c + 22 for p.
1
Let x(c) be the first derivative of c**3/3 + 3*c**2/2 + 3*c - 2. Let n be x(-2). Solve -4 = -2*z - j + 3, -n = -5*z + 3*j for z.
2
Suppose 4 = 3*w - c, -4*w - 3 = -3*c - 5. Solve d + 2*n = 1, -4*n - 14 = 4*d - w*n for d.
-5
Let z be 16/(-12)*(2 - 17). Solve d = 5, -7*r - d = -2*r + z for r.
-5
Suppose 0 = -4*t + 8, -5*k + 5*t - 2 = -12. Let z(j) = -j**3 + 12*j**2 - 10*j - 7. Let v be z(11). Solve -4 = -v*s - k*r - 0*r, 4 = s + 2*r for s.
-2
Let f(w) = -w**2 + 10*w - 7. Let s be f(9). Solve 0*y + 3*y + 4*d + 19 = 0, s*y = 4*d + 14 for y.
-1
Let s(o) be the second derivative of -o**5/20 + 3*o**4/4 + 3*o**3/2 + 6*o**2 - 2*o. Let c be s(10). Solve 4*k = 6*k - 5*u - 31, 2*k - c*u - 16 = 0 for k.
3
Suppose h - 2*h + 20 = 5*t, -4*h - 4*t = -32. Solve 2*v + 15 = 3*z, -5*z + 18 = -h*v - 7 for z.
5
Suppose 0 = -3*v + 7 + 17. Let h = v + -14. Let d = h + 8. Solve -3*t + 2*x = -16, -5*t - x = d - 7 for t.
2
Let q(x) = 4*x - 14. Let n be q(4). Solve 20 = -2*m - 2*y, -n*y = -y + 5 for m.
-5
Let d = -6 + 3. Let y(u) = u**3 + 4*u**2 + u - 2. Let x be y(d). Suppose -82 = -4*v - a, -34 = 2*v - 4*v - x*a. Solve l + 6 = 3*t + v, 2*l = -5*t - 14 for l.
3
Let o(l) = -l**3 + 8*l**2 - 7*l - 1. Let s be o(7). Let r be 3/s*2/(-6). Solve -2*z - 2*m + 1 = -r, 2*m + 1 = -z for z.
3
Let g be -3 + 9/18*(32 - -2). Solve 5*y - g = -t, -t - 3*y = -4*y + 4 for t.
-1
Let a(p) = 5*p + 2. Let t be a(0). Solve t*b + 4*d - 4 = 0, b - 3*d = -2*b + 15 for b.
4
Suppose n + 2*h = 0, -h + 0*h = n - 1. Let w be 66/8 + (-2)/8. Let m be (-2)/(2/w*-1). Solve -n*u + 5*z = -m, 0 = -3*u + 4*z - 2*z + 1 for u.
-1
Let k(i) = -6*i - 1. Let v be k(-1). Suppose -c + y - 6*y - 2 = 0, 4*y = 3*c + 6. Let f = 3 + c. Solve 2*g - f = 3*a + 4, 5 = -v*a for g.
1
Let o be 11 + (5 + -1)/(-2). Suppose -2*v + o = 3. Suppose 7*x = 4*x + 33. Solve v*g = -4*b + x, -4*g - 1 = 4*b - 17 for g.
5
Let h(x) = -2*x - 1. Let m be h(-2). Suppose -2 = -2*s - 3*a + 7, 4*s = 5*a + 7. Solve 15 = -m*o + w - s, -w = 3*o + 12 for o.
-5
Suppose 6 = -0*r + 2*r. Let d(b) be the first derivative of b**2/2 + 11*b - 1. Let o be d(0). Solve -3*g - o = -2*n, r*n - 2*n + 3*g - 1 = 0 for n.
4
Let c = 6 - 1. Suppose 7 = c*v - 13. Solve b + v*w = -10, w - 4 = 5*b + 4 for b.
-2
Let p(a) = 19*a**2 - a. Let t(l) = l + 4. Let g be t(-3). Let i be p(g). Suppose 0 = 5*r - 0*r + v - 14, 3*r + 3*v = i. Solve -r*j = -2*x - x, -j = 2*x for x.
0
Let o(s) = s + 7. Let b be o(-7). Suppose b*x + 16 = 3*r + 4*x, r = -x + 5. Solve r*g = -12, a - 2*a + 4*g = -17 for a.
5
Let q be (3 + -2)*1*5. Suppose 0 = 2*l - 3*x + 10, -2*x = 2*l + x - 14. Let h = l + 1. Solve -2*g = -h, -w - w = q*g - 7 for w.
1
Suppose 0 = 8*a - 3*a - 2*k, 5*a - k = 5. Solve -u - a*s + 5*s + 12 = 0, -u = -5*s - 22 for u.
-3
Suppose -6*z = -3*z - 2*m - 20, 4*z - m - 20 = 0. Suppose -4*q - 3*k - 8 = k, -z = k. Solve -3*o - 27 = 3*b, 5*b = q*o + o - 13 for b.
-5
Suppose -4*k + 4 = -4. Let c(v) = -v**3 - 8*v**2 - 2*v - 11. Let p be c(-8). Solve -d - 4*z + 9 = k*d, p*z + 3 = d for d.
3
Let g(q) = q**2 + 6*q. Let t be (8/(-10))/1*15. Let m = 6 + t. Let k be g(m). Solve u + 2*a = -k*a - 1, 5*a + 15 = 0 for u.
5
Let t = -31 + 51. Solve 0 = c - 2*f - 0 + 13, 0 = -4*f + t for c.
-3
Let k = -5 - -46. Suppose 0 = -3*g - 5 + 14. Let w = 1 + g. Solve 0 = -2*v - 10, w*c + v + k = -4*v for c.
-4
Let z = 8 + -4. Solve -21 = -z*w + 3*g - 6, -17 = -4*w + 5*g for w.
3
Let i be (-4 + -5)*(-2 - -1). Suppose 4*b - 21 = -2*h + 9*b, -5*b = 2*h + i. Solve -f - f = -h*c + 6, -4*c = f + 3 for c.
0
Let w(q) = -q**3 + 9*q**2 + 12*q + 1. Let f be w(10). Solve 3*n - 14 = 2*t + 4, 3*n - 3*t = f for n.
4
Let b be (-32)/24*6/(-4). Solve b*k = -4*m + 3*m - 2, -3*k = 3*m for k.
-2
Let l = -2 - -11. Solve -5*r - 30 = -5*w, 2*r - w - 2 = -l for r.
-1
Let l(g) = -g**2 - 8*g + 5. Let m be l(-8). Suppose -3*x = -4 - m. Solve x*s - 2*z = 3*z - 24, 5*s + 12 = -z for s.
-3
Let p be 27/5 - (-2)/(-5). Solve -8 = p*f + k - 3*k, k + 5 = -2*f for f.
-2
Let f(l) = 3*l + 5. Let q be f(7). Let y be q - 6*3/(-6). Solve 27 = -3*b + 3*z, -3*b - y = -2*b - 5*z for b.
-4
Let y(h) = 2*h**2 - 3*h - 1. Suppose 0 = -4*u + n + 11, -4*n + 3 = 2*u - 7. Let b be y(u). Let o = b - 4. Solve o*m + 12 = 5*t + 3*m, 0 = t + 4*m + 6 for t.
2
Suppose 3*y = z - 175, -2*z + 92 = -2*y - 18. Let h be y/(-50)*10/4. Solve -2*i - 2*i = -h*p + 7, 0 = -3*i + 2*p - 6 for i.
-4
Suppose 3*y = -3, -4*b + 21 = b - y. Solve o - 11 = f - 4*o, -22 = -b*f - 2*o for f.
4
Let s(z) = z**2 - 4*z - 2. Let b be s(5). Solve 2*t - b*w = -0*w + 16, -3*t - 5*w = 14 for t.
2
Suppose -2*u + 7 = -3. Suppose -x = u*s + x - 18, -4*s - 3*x = -13. Solve -s*l - 11 = -5*f - 28, -3*f = l for f.
-1
Suppose 4*a + 6*o - o = 15, -6 = 3*a - 2*o. Suppose -i - i - 4*z + 32 = a, -6 = -2*z. Solve 2*w - i = -2*k, 3*k - 5*w + 6 = -w for k.
2
Let y be (-10)/(-45) + (-110)/9. Let g be y/(-15) - (-42)/10. Solve -4*i + 3*j - 2 = -12, 0 = -g*j - 10 for i.
1
Let v(a) = -a**2 + 5*a - 2. Let t be v(4). Solve o + t = b + 4*b, -8 = 4*b - 4*o for b.
1
Let l(j) = -10*j - 46. Let b be l(-5). Solve -3*a = -m + 11, -2*m + b*a + 10 + 6 = 0 for m.
2
Let o(h) = -3*h - 9. Let c be o(7). Let b be ((-2)/(-5))/((-12)/c). Let v(j) = 5*j. Let p be v(b). Solve -p*y + f = -12, 4 = -3*y + 4*y - f for y.
2
Suppose -4*r + 1 - 5 = 0. Let l = -1 - r. Suppose 4*p + p = l. Solve -5*s - 15 = -p*s + 4*a, -3*a = -2*s + 17 for s.
1
Let v be 2/(-7) - (-1854)/21. Suppose -4*u + 7*u = 5*w + v, 2*u = 3*w + 58. Solve 5*d = -2*b - 19, 2*b - 4*d - u = -0*b for b.
3
Suppose 2*g = -2*g + 5*c + 129, 0 = -g + c + 31. Let j = g + -15. Let v be 0/2*(-1)/2. Solve 2*r + 5*l + j = 0, -2*l = -v*l + 6 for r.
2
Suppose -11 = -2*k - 1. Suppose 22*z - 13 = 75. Suppose -h + 11 = 4*u, 5*u - 2*h + 6*h - 11 = 0. Solve -j + 21 = -k*a, -z*a - u*j + 2*j - 24 = 0 for a.
-5
Let r = 23 - 13. Solve -3*j + 5*z = 25, z + r = 3*j + 3*z for j.
0
Let h be -1 + 3 - 5/(-5). Suppose 0 = r - h*r + 8. Suppose -3*y + 29 = 4*l + 2, -r*y + 36 = -l. Solve 2*x = -k - y, -k = x + 6 - 2 for k.
1
Suppose -10 - 10 = -2*r. Let h be 8/r*(-10)/(-4). Suppose 5*q + 7 - 26 = -h*i, -5*i = -2*q - 4. Solve 2*x - q*x - 5*j = 22, -5*j = 25 for x.
3
Suppose 25*x = 15*x