 5*u = -12. Solve 3*y - 3*k = 3, u*y + 0*k + 20 = -2*k for y.
-3
Suppose -46 = 4*g - 2*g + 3*y, -3*g - 2*y = 74. Let z be -1*((-3)/(-1) + g). Solve a = 5*k, 2*k - 5*a - z = -0*k for k.
-1
Let z be ((-36)/27)/(4/(-57)). Solve -4*l - 2 = -5*i + 28, -2*i = -3*l - z for l.
-5
Suppose -2*q - d + 25 = 2*q, 5*q + 5*d = 50. Solve 4*n + 5 = -q*o + 38, -3*n + 2*o = 4 for n.
2
Let k(p) = 11*p + 8. Let q(w) = 5*w + 4. Let f(d) = 6*k(d) - 13*q(d). Let u be f(4). Solve 2*a - 2*v = 2, 3*a + u*v - 5*v = 13 for a.
-4
Let s(i) = i**2 + 4*i + 2. Let t be s(-3). Let x = -1 - t. Solve 2*d = 3*n - 5 + 4, n - 1 = x for d.
1
Let a be 27/(-1)*1/(-3). Let c = -5 + a. Solve -c*n - p + 1 = -23, -16 = -4*p for n.
5
Let c be ((-24)/(-16))/(3*(-2)/(-12)). Solve 31 = -q - 3*q - c*f, 5*q = 4*f for q.
-4
Suppose 103 = 8*b + 15. Solve -u = 2*y - 12, b = 4*y - 2*u - 5 for y.
5
Let t(o) = -5*o - 1. Let g be t(-2). Suppose 5*l + 4*v = -5 - 0, 5*v + 13 = -4*l. Suppose -4*i = -l - g. Solve -i = 5*k + b, -5*k + 4*b = -2*k + 11 for k.
-1
Suppose 0 = 5*z - 2 + 7. Let y be 4/4*z - -4. Solve 0 = -4*v - 4, 5*c - y*v - 1 = 2 for c.
0
Let o(p) = p**2 + 10*p + 32. Let h be o(-6). Solve -3*b = 5*r + 3, 5*r = -5*b - h + 3 for b.
-1
Suppose -3*j + 10 = 2*r, r - 2 = -0. Solve 0 = -4*c + c + 5*v - 12, -3*c + j*v - 3 = 0 for c.
1
Suppose -4*p + 5*p + 2*c = 7, 10 = 2*p + 2*c. Solve -p*d + 6 = -4*w + 26, w - 5 = -d for d.
0
Let d be ((20/6)/5)/(2/9). Solve k + 2*i - d = 3, -4*k - i = -3 for k.
0
Suppose -5*z - 2*g = 6, 4*z - 2 = -g - 5. Suppose z*v + v = 0. Solve v = -5*o + 5*s, -4*o + 2*s = -0*o - 2 for o.
1
Suppose 8 = -3*y + 14. Solve y*l = 5*u - 12 + 1, 4*u - 4 = 4*l for u.
3
Let d be 1*2/2 - 0. Suppose 3*a - 7*a = 0. Solve -g + 0 = -2*f + d, a = -f - 4*g - 22 for f.
-2
Suppose 20*d - 9 = 17*d. Solve -7*i = w - 2*i + 14, d*i + 14 = 5*w for w.
1
Suppose -2*b = -7*b + 35. Solve w + b = x, -4*w + 0*w - 18 = -2*x for w.
-2
Let i be 2/(-7) + (-406)/(-49). Let g be 82/i + (-3)/12. Solve -2*d = 10, -4*y - d - d = g for y.
0
Suppose -32 + 8 = -2*v. Suppose 0 = -2*t - t + v. Solve -2*p = 2*f + t, f + 6 = 5*p - 2*f for p.
0
Let z = -16 - -9. Let t(r) = r + 9. Let d be t(z). Solve 5*y + d = -5*v + 22, y = 5*v - 14 for v.
3
Suppose -c + 5*c = -c. Suppose 5*z = 5*k + 100, 5*z + 4*k - k = 132. Solve c*j - 5*j = -a + z, -4*j - 20 = -a for j.
-4
Let l(i) = i**3 - 6*i**2 - 11*i - 5. Let y be l(8). Let z = -21 + y. Solve z = w - 3*p, -4*w = w - 5*p - 40 for w.
5
Suppose -5*j = -4*h - 9 + 77, 5*j = 0. Let o = -12 + h. Let z(l) = l**2 - 9*l + 5. Let f be z(10). Solve 0*d - d = -3*u - f, 3*d + 25 = -o*u for u.
-5
Let w = 4 + 5. Suppose 4*r - 7 = w. Solve 3*a = 5*a + r*g - 26, 2*a + 5*g = 30 for a.
5
Let v = 9 - 7. Solve 2 = -v*a - t, 0 = a + 3*t - 0*t + 6 for a.
0
Let x be (-1)/(-3) - (-340)/15. Suppose -8 = 3*n - x. Solve n*o + 2 = -3, -4 = z + o for z.
-3
Suppose -2*h + 27 = 1. Let d = -29 + 30. Suppose -d = 3*z - h. Solve 2*i = -z*u + 5*u, 0 = 3*i + 3*u + 9 for i.
-1
Suppose 2*j = -5*c - 15, -5*j = -2*c - 20 - 15. Suppose -y = -j*y. Let f = y - -2. Solve 21 = -g + 4*p, 0*p - p + 3 = f*g for g.
-1
Let u(z) = -z + 7. Let n be u(7). Suppose 0 = 2*d + 2, -w + 54 = w - 4*d. Suppose -12 + 32 = -4*s, 4*r - s - w = 0. Solve -4*l = n, -p - 2*l = -r*p + 4 for p.
1
Let m(g) = -9*g + 84. Let n be m(9). Solve 14 = 3*r + d + 3*d, 2*r + n*d - 10 = 0 for r.
2
Let m(t) = t. Let n be (1 + 7/(-3))*3. Let x be m(n). Let u(i) = i + 7. Let j be u(x). Solve l + 22 = 4*g, 0*l = j*g - 5*l - 25 for g.
5
Let m = 11 + 4. Let l = 19 - m. Solve 8 = b - 3*w, 0*b + b - l = 2*w for b.
-4
Let r(t) = t - 1. Let g be r(-5). Let b be g*(-4 + 38/12). Solve 6 = -s + 2*k, b*s - k + 0 = -3 for s.
0
Let u(b) = -b**2 + b + 2. Let d be u(2). Let t = d + 3. Solve 18 = g + t*k, 5 = 4*g + k - 12 for g.
3
Let t(w) be the first derivative of w**4/4 - 2*w**3/3 - 3*w**2/2 + 6*w - 6. Let f be t(3). Solve r + 5*g = -15, r = 3*g - g + f for r.
0
Let x = 1 + 1. Solve a - 4*y + 2 = 0, a + 3 - x = 3*y for a.
2
Suppose -5*z = 4*l - 40, 2*z + l - 19 = -0*l. Suppose 13*t - z*t = 3. Solve 3*p + t*u - 15 = 0, 3*u = -4*p + 8 + 7 for p.
0
Let i be (-4)/6 + (-16)/(-6). Let u be (-2 + i)/(-4 - -6). Solve 5 = -4*k - 3*f, 5*f = 3*k - u*k + 11 for k.
-2
Suppose 15 = 4*y + 7. Suppose 0 = t - 2 - 3. Solve -t*b - 3*j = 22, y*b + 6 = -3*j - 1 for b.
-5
Let o be (-6)/(-4)*(-16)/(-6). Suppose -9 = t - o*t. Solve -5*q = 5*c + 26 - 1, -t*c + 2*q = 5 for c.
-3
Let k(j) = -j**2 - 12*j + 7. Let q be k(-12). Let y be 6/9*(q - 1). Solve 0*s + 3*s = 3*f - 6, s = -f - y for s.
-3
Suppose 10 = -2*j + j. Let l be (-3 - 12)*12/j. Solve -2*d + 4*p + l = -0*p, -5*d + 2*p + 5 = 0 for d.
-1
Suppose 0 = 3*r - 5*r + 8. Suppose -2 - 10 = -r*v. Solve k + 6 = -v*z + 2*k, 4*k = 0 for z.
-2
Suppose 3*v + i = -i + 8, 2*v - 3*i - 14 = 0. Solve 0 = v*f - 2*y + 14, -5*f + 8*y = 3*y + 20 for f.
-3
Suppose 7*s - 92 = 5*s. Suppose 4*h - s = 2. Solve 0 = 4*t + h - 0, o - 2*t - 7 = 0 for o.
1
Let a(v) be the first derivative of -v**3/3 - 6*v**2 - 5*v - 1. Let j be a(-6). Solve -2*u - j = 2*u + 5*y, u = -4*y - 16 for u.
-4
Let v(b) = -b**3 + 6*b**2 + 9*b - 9. Let c be v(7). Suppose 7 + c = 3*j. Solve 3*d - 8 = 3*r + 7, j*d + 10 = -2*r for r.
-5
Let t(p) = 2*p**2 - p - 4. Let o be t(3). Let a(u) = u**2 + 8*u - 20. Let k be a(-10). Solve k = 3*s - 6*s + 4*r - o, 4*s - 4*r = -16 for s.
-5
Let t be (-4)/10 + (-34)/(-10). Let f(d) = 2 - 8*d**2 - 3 + 11*d**2. Let a be f(1). Solve 2*o - t*v + 7*v + a = 0, 0 = 4*v + 8 for o.
3
Suppose 35 = 5*s - 4*i, -2*s + 7 = -i - 7. Suppose -s*f + 0*f + 28 = 0. Solve 4*t - 4 = f*c, -5*c + 3*t + t - 7 = 0 for c.
-3
Let d be 8/6 - 3/9. Suppose -x - d = 6. Let p = -2 - x. Solve 2*z + 20 = -z - 4*f, p*f = -10 for z.
-4
Suppose -m + 2*m = 3. Let b be m/(-1 - 10/(-4)). Solve -3*k - 8 = -5*c, k - b*c - 3 = 6*k for k.
-1
Let o = -12 - -15. Let p be 9/(-3)*(-6 - -5). Solve z - 5*r + p = 0, -r = z + r + o for z.
-3
Suppose -6 = -5*c - 21. Let y be 1/c*(0 - 6). Suppose -d - 3*k = 5, -2*d + y = 3*k + 3. Solve 0 = -4*v + 12, 4*z + d*v - 25 = v for z.
4
Let i = -1 - -7. Let o = -1 + i. Let q = -11 + 23. Solve 4*z + 4 = 2*l, 5*l + q + 8 = -o*z for z.
-2
Let s(c) = c**3 + 3*c**2 + 6*c + 4. Let v be s(-1). Solve v = w + 4*t - 5, 2*t - 1 = -5*w + 6 for w.
1
Let o be 4/((-8)/6) - (-96)/16. Solve 2*j = -o*d + 3*j - 8, -4*d - 4 = 2*j for d.
-2
Suppose -1 = 5*x - 5*l - 16, -x = 2*l + 12. Let h be 6*x*1/(-3). Solve 0 = c + 4*c + 2*s - 12, h = 4*s for c.
2
Let y = -22 - -22. Solve 2*n - 3*t + 7*t + 8 = 0, y = -3*n + 2*t + 12 for n.
2
Suppose -3*l = 2*l - 3*v - 13, -3*v = -2*l - 2. Suppose -t = -l*t. Solve 2*w - p + 5 = 0, -2 = -4*w - 2*p - t*p for w.
-1
Suppose 0 = 2*d - 0*d - 6, 0 = 3*k + 2*d - 12. Suppose -k*v = -4 - 4. Suppose v*w - 51 = -3. Solve 4*p = 5*p + c - 3, 4*p - w = 3*c for p.
3
Suppose -o = -7 + 3. Solve o*d - 13 = -2*g + g, 4*g = -3*d + 26 for d.
2
Let z(f) = f**2 - f - 2. Let h be z(-2). Let i be 2/h - 21/(-6). Let l = -2 + i. Solve -3*a - 19 = -2*b, b - 10 = 5*a + l*b for a.
-3
Let f = 7 - 5. Suppose -100 = -3*p - f*p. Solve 2*i - 27 = -5*x, -x - 4*x = -5*i - p for x.
5
Suppose -3*f - 22*f = -75. Suppose 10 = -4*s - 5*d, 0 = 4*s + d - 6*d - 10. Solve s = 3*m + 5*k - 1, f*m - k = 2*m + 3 for m.
2
Let t = -31 - -45. Let o be (t/(-35))/(2/(-5)). Solve -3*j - 4*u = o, -j = -2*u + 2 - 5 for j.
1
Let d = 13 - 5. Let v = -48 + 51. Solve -4*a = -2*f + d, -2*a + v*a + 1 = 0 for f.
2
Let g be (-2)/((-3)/2 - -1). Let v(c) = 6*c**2 - c**3 + 5*c - 2*c**2 + 0*c**3. Let r be v(4). Solve -3*y - 2*y - 25 = 2*u, g*u = -r for y.
-3
Suppose q + 0*q = -5*i + 23, 3*q - i - 5 = 0. Solve -x - r = -0*r - 7, -5 = -q*x + 5*r for x.
5
Let p = -20 - -22. Let t = -8 - -24. Solve -4*s + 3*g = -4, -t = -p*s + g - 3*g for s.
4
Suppose -75 = -3*w - 2*w. Let k = w + -13. Solve -p = 2*g + 8, -2*p - k*p + 2*g - 2 = 0 for p.
-2
Suppose -3*w = w + 3*z - 3, -5*w = 5*z - 5. Solve 3*o - 4*q - 21 = 0, w = -2*o + 7*o - 3*q - 24 for o.
3
Suppose -2*i + 5 = -1. Solve -2*w + w = -i*j + 9, 3*w + 15 = 5*j for w.
0
Suppose 87 = 5*t + 12. Suppose 4*k + 3*z = 62, -5*k = -z - 102 + t. Solve -a = -2*m - 15 + 4, a + k = -5*m for a.
3
Let g = -16 - -9. Let p(r) = -r - 16. Let j be p(g). Let n be (-2)/(-6) + (-87)/j. Solve 4*q - 2*w = -0*w - n, 2*q