-g for j.
4
Let o(b) = 6*b**3 - 1. Let i be o(1). Let j be 6/(64/30 + -2). Solve 2*c - 2*a - 18 = 0, -3*c + j = -i*a + 10 for c.
5
Suppose 11*y = 8*y. Solve -16 = 5*h - 4*b, h + 5*b + 9 = -y for h.
-4
Let b(m) be the first derivative of 2*m**2 + 2*m - 2. Let r be b(4). Solve 3*z - 2*i + 20 = 0, 4*i = r - 2 for z.
-4
Suppose 9*x = 11*x - 6. Suppose 0 = -4*z + 3*z + 3. Solve 5 - 2 = x*h, 0 = -z*l + 3*h for l.
1
Suppose 26*r - 31*r + 10 = 0. Solve -4*t = r*a - 7*a + 18, -5*a = 2*t - 6 for t.
-2
Let k be 13/3 + (-19)/57. Solve -3*o = -2*o + 4*m - 16, 32 = 5*o + k*m for o.
4
Let u be (-18)/(-8)*(-2 + 6). Suppose -z - 3*z + 24 = 0. Let t be 4/6*z - 0. Solve -c = 4*q - u - 0, 4*q + t*c = 12 for q.
2
Let l = 18 + -15. Solve 8 + 8 = -4*g - 3*a, l*g - 4*a + 12 = 0 for g.
-4
Suppose -2*b + 7 = t, -b + 1 = 3*t - 5*b. Let v be (10/(-15))/((-1)/t). Solve 0*l - l = 2*m + 8, v*m + 16 = -3*l for l.
-4
Suppose -43 = -w - 4*m, 0 = w + 4*m + m - 45. Solve 3*j - 5*u - 13 + 0 = 0, -5*j = 3*u + w for j.
-4
Suppose 4*r - 3 = k, -r + 3*k - 2*k = -3. Solve -5*b + 5 = 3*y, 2*b - 6 = -2*y - r*y for y.
5
Suppose -20 = -4*m - 8*f + 4*f, 0 = 4*m + 5*f - 21. Let q(n) = n. Let o be q(m). Solve 3*r = -r - o*c + 16, 0 = 4*r + 2*c - 16 for r.
4
Let a(j) = j**3 + 8*j**2 + 9*j + 16. Let y be a(-7). Solve -15 = -5*c, 0 = z + c + y*c - 4 for z.
-5
Suppose -2*p + 3 = -1. Solve 2*q - 5*q + p*h = -18, 0 = 4*q - 5*h - 31 for q.
4
Let t(m) = m**2 + 10*m + 5. Let z(w) = -2*w + 14. Let s be z(12). Let d be t(s). Solve -u = -4*a - 3, -d*a - 4 - 11 = -5*u for a.
0
Suppose 0*n + 3*b + 41 = 2*n, -n + b + 22 = 0. Solve -p + 25 = 5*s - 6*p, 5*p + n = 3*s for s.
0
Suppose d - 4*d - 4*v = -22, 16 = 4*d + 2*v. Suppose 3*m - 41 = 49. Solve -5*w + d*j - m = -j, -3*w = -5*j + 34 for w.
-3
Suppose 4*u = -1 + 49. Solve -20 = -s + 3*s + 3*b, -u = -s + 4*b for s.
-4
Let x be 5*(0/4 - -3). Let p = -15 + x. Solve -3*t - 16 = -5*t + 5*j, -2*t - 4*j - 2 = p for t.
3
Let a be -2*(8/(-2))/2. Solve 0 = -a*n + 3*m - 10, m = -3*n - 0*m - 14 for n.
-4
Suppose d + 0*d = -r + 19, 4*d - 91 = r. Let o(y) = -y**3 - 6*y**2 - 6*y - 2. Let g be o(-5). Solve 0 = -2*q - 4, 4*k - g*q = -2*q + d for k.
5
Suppose 5 = 3*g - 1. Solve 4 = -2*n, -3 = 3*x + g*n + n for x.
1
Suppose -4*t + 2*t = 2. Let v = -4 + t. Let g be (-2)/v - (-108)/30. Solve -5*r + p + 29 = 0, 2*p = g*r + 7*p for r.
5
Let f be (0 - (-2)/(-4))*-8. Solve 6 = -2*y, -4*q + 11 = -f*y - 13 for q.
3
Let j be (-20)/7*(-49)/14. Let z be ((-16)/14)/(j/(-35)). Solve 3*m + 6 - 1 = 2*l, 0 = -z*l - 2*m - 30 for l.
-5
Let o be ((-2)/(-4))/(1/4). Let t(x) = x**2 - 6*x - 6. Let w be t(7). Suppose 4*m - 13 = -w. Solve -u = o*z + 11, -z - m*u = -6*z - 11 for z.
-4
Let m = -44 + 69. Let j be 35/m + (-2)/5. Solve 5*i + 2*g - j = -19, 3*g = -2*i - 16 for i.
-2
Suppose 3*a = 12, 5*g - a + 3*a = 28. Suppose 6 - 18 = -4*j + g*k, 0 = 5*j + 2*k - 8. Let m = -83 - -98. Solve -3*z - n = 2*n - m, 0 = -4*z + 5*n + j for z.
3
Let z(h) = 9*h - 2. Let v be z(3). Suppose 3*c = -3*y - 2*y - 13, -3*y = -3*c + 27. Solve c*r + v = 3*j, 0 = -3*j - 2*r + 5*r + 21 for j.
3
Let z be 1/2 + (-4)/(-8). Let y be z/(-3) - 15/9. Let q be (-3 + 2)*(2 + y). Solve -5*c - 3*l + q*l = -1, 5*l + 23 = 4*c for c.
2
Let a be ((-40)/28)/((-2)/28). Solve a = -3*r + 4*f, 0 = -4*r + 5*f - 23 - 3 for r.
-4
Let a be 4/((2/(-4))/(-1)). Let t(r) = r**2 - 6*r + 3. Let f be t(4). Let k = f + a. Solve k*z - n = 17, -n + 3*n = 4*z - 24 for z.
5
Let i = -2 - -7. Suppose l = i*l - 12. Suppose -l*d - 2 = -j, 0*d = 3*d - 15. Solve j = h + 5*c, 4 = -5*h - 3*c + 1 for h.
-3
Let h = 2 + 0. Solve -9 = -0*n + 3*n, 14 = -5*i + h*n for i.
-4
Suppose -4*x - 1 = k, -2*x + 1 = -k - 0. Let h(d) = d + 2. Let o be h(x). Solve -a + o = 0, a = -4*p - p - 13 for p.
-3
Suppose 12 = 3*q - 3*y, 11 = 5*q + 2*y + 2*y. Solve 5*u - 5*z = -2 + 12, 0 = q*u + 5*z - 22 for u.
4
Let q be 3/4*(2 - -2). Let n(y) = y**2 - 3*y + 4. Let t be n(3). Suppose -40*a + 38 + 282 = 0. Solve -a + 22 = 5*s + t*v, -5*v - q = -4*s for s.
2
Let q be 1/((1 - 3)/(-6)). Let a be (2 - (q - -3))*-1. Solve 4 = 2*t + a*l, -3*t - t + 12 = 4*l for t.
4
Let q(s) = s + 6. Let t be q(-7). Let o be 0 + 1 + 5*1. Let j be (1/(-3))/(t/o). Solve b - j*z + 5 = 2, -4*z + 3 = -b for b.
-3
Suppose 88 = -l + 117. Solve 4*x - 4*q - 23 = x, -4*x + 5*q = -l for x.
1
Let x = 123 + -121. Solve -x*r + 6 = 2*n, 0 = -3*n + 4*r + r - 31 for n.
-2
Let l(x) = x**3 - 4*x**2 + 2*x - 3. Let a be l(4). Suppose -24 = -k - k - 4*y, -4*k - a*y + 33 = 0. Solve -4*q + 5*p = 19 + k, -4*q - 17 = -p for q.
-4
Suppose -26 = 3*u + 67. Let b = 43 + u. Solve g + 5*v + 12 = -0*g, 3*v = g - b for g.
3
Suppose m - 5*a - 6 = -m, -2*a = 2*m - 6. Suppose 1 = -m*n + 10. Solve -3*v - n*w + 30 = -6*v, 3*v = -2*w - 5 for v.
-5
Let w(d) = -d**2 - 3. Let j be w(0). Let n = 5 + j. Solve 0 = -5*s, -4*r + n*s + 22 = 2 for r.
5
Suppose -9 + 18 = 3*d. Let n be (2 - 5)*(-5)/d. Solve -n*v = l + 3*l + 6, 0 = -v - 5*l + 3 for v.
-2
Let f = -3 + 3. Let n = f - -5. Solve 4*x - 20 = -s - n, 3*s + 2*x - 15 = 0 for s.
3
Let q = -9 - -15. Let h be 5/2*(q - 0). Let n be (10/h)/((-2)/(-9)). Solve -i - 3*j = 12, n*j = -10*i + 5*i for i.
3
Let v(a) = 12*a + 4. Let u(i) = -8*i - 3. Let x(w) = 7*u(w) + 5*v(w). Let t be x(1). Solve 5*j + 13 = -0*j + 3*f, -5*f - 35 = t*j for j.
-5
Suppose -4*z - z = -25. Solve -2*x + 19 = -z*m + x, -2*m - 18 = 4*x for m.
-5
Let c = 14 - 13. Let k be c + 0 + (8 - 6). Solve 0 = -4*r + 3*v + 2*v + k, 3*r + 6 = v for r.
-3
Let u be (-3 - 0)*-1 - -5. Solve 3*g + 4*b = u, 2*b = 7*b + 5 for g.
4
Suppose 0 = -f + 5*p + 31, 3*f = -2*p - p + 21. Suppose 3*v + 7 = 4*z, 0*z + 3*v = 5*z - f. Solve -z*h - 12 = 4*n, 2*n + n = 0 for h.
-3
Let f be 0 - 10/(3 - 5). Solve 4*y = -5*w + 3*y + 10, -f*w + 25 = 4*y for w.
1
Let c(r) be the second derivative of r**3/6 + 5*r**2 + 6*r. Let i be c(-10). Solve i = -5*b + s - 25, s = -4*b + 2*s - 21 for b.
-4
Let t(j) = -10*j + j - 2 + 3*j + 2*j. Let f be t(-2). Solve 3*b + 7 = 2*v, 2*v + 1 = 5*b + f for b.
1
Suppose -3*h + 3 = 3*w, 0 = 3*w + 2*h - 7. Suppose -w*x = -5*j - 5, 5*x = 6*j - 3*j - 7. Let v = 11 + j. Solve -v*a + 3 = m, 5*m + a = 12 + 3 for m.
3
Suppose 0 = z - 3 - 12. Suppose -s + z = -4*g, 5*s - 3*g - 10 = 14. Solve h + 18 = -h - 4*l, -2*h - s*l - 15 = 0 for h.
-3
Suppose -21 + 0 = -o + 4*g, -4*o = 2*g - 12. Solve 3*u = -o*v + 10, -2*v + 3 = -2*u - 1 for u.
0
Suppose 6*i + 16 = 10*i. Solve 5*n - 11 + 1 = 5*o, 0 = i*o + n + 13 for o.
-3
Let w = 20 - 17. Solve g = -8*b + w*b + 20, 4*g = -b + 4 for b.
4
Let m = -104 + 106. Solve m*z - 4 = 0, 2*n = -0*z - 2*z for n.
-2
Let a(c) = 2*c**3 + c + 2. Let w be a(2). Solve -2*k + 0*k + 5*y + w = 0, 5 = -k - 5*y for k.
5
Let s = 13 + -8. Suppose 6 = 2*m - 2*r, -7 = -5*m - s*r + 2*r. Let j be (2 - 3 - -2) + 3. Solve p - 6 = -m*k + 3, p = j*k - 3 for p.
5
Let t = -38 - -65. Let p = -3 + 7. Let u(d) = -d + 8. Let i be u(p). Solve 0 = 5*g - n - 18, 4*g - t = -g + i*n for g.
3
Let x(o) = o**3 + 8*o**2 + 4*o + 1. Suppose -6 + 0 = b. Let l be x(b). Let f be (1 - 8)*(-42)/l. Solve 4*h + 3*n = f*n, 4*h + 5*n = 32 for h.
3
Let h be (-128)/(-24) - (-4)/(-3). Let f = 8 + -6. Suppose 4*k - i - 11 = 0, 0 = 3*i - 8 - 7. Solve h*o = -3*w + 10, 2*w + o = -f*w - k for w.
-2
Let k be (-1)/4 - (-21)/4. Suppose k*w - 20 = 135. Solve 4*x = -5*d + w, -x + 0 = -d - 1 for x.
4
Suppose 5*n = 16 - 1. Suppose n*j + f + 4*f = 0, 0 = -4*f. Solve -3*v = -2*w - j*v - 10, -4*w = -v for w.
1
Let t = 9 + -7. Suppose 0 = t*q - 9 + 3. Suppose v - 9 = -0*v - 4*n, -q*v = -n - 14. Solve 2*z + 2*l - v = 3*z, -4*z - 8 = -5*l for z.
3
Suppose 1 = q + 2*h, -q = -5*q - 3*h + 9. Suppose -q*l - 3 = 0, -5*l - 23 = b - 2*b. Solve -b = 4*y + 3*x, -2*x - 13 = y + 2*y for y.
-3
Let y be 2/(-4) + (-111)/(-74). Let o be 1/(-2)*(-1 + -21). Suppose 0 = -4*g + 5 + o. Solve 2*r = -g*i + 5*r + y, -r = 4*i - 21 for i.
4
Let l(i) = -i + 27. Let p be l(15). Solve g - 2*b - 4 = 0, 0 = 2*g + 4*b - p + 4 for g.
4
Suppose -87 = -0*w - 3*w. Let t = w + -19. Suppose -a + t = -0. Solve 0 = n - u, 5*n + 5*u + a = 50 for n.
4
Let x = -4 - -6. Solve -2*u + 2 = 0, -1 + x = 2*a - 3*u for a.
2
Let z = -18 + 20. Suppose 5*l - 4*f = 6, -3*f = z*l - 6*f - 1. Solve l*o + 6 + 15 = -5*b, 15 = -2*o - 3*b for o.
-3
Suppose -5*z = 