2*c - z, -2*c = -c + 2*u - 13. Solve 2*l = q - 11 + 2, 4*q = c*l + 27 for q.
3
Suppose -3*n = 2*n. Solve 3*l - 9 = -2*p, p + n = -l + 2 for p.
-3
Let v(g) = g**2 - 1. Let h be 6/3 + 3*1. Let n be (-36)/(-10) + 2/h. Let r be v(n). Solve -5*l + 3*o - r = -2*o, -2*o = -3*l - 4 for l.
2
Suppose -10 = -0*g - 5*g. Let h be -1*(3 + (0 - 8)). Suppose -g*w = -5 - h. Solve -3 = -4*c + 3*c, -5*a - 40 = -w*c for a.
-5
Let q = 65 + -60. Solve -5*u - 3*z - 3 = 0, 3*u = 4*u - 5*z - q for u.
0
Suppose y + 16 = 3*z, 3*z - 2 = 5*y + 18. Solve -z*f - 5 = -0*f, -3*f + 2 = 5*i for i.
1
Let v(b) be the third derivative of -b**5/60 + b**4/6 + 5*b**3/6 + b**2. Let n be v(6). Let g = 10 + n. Solve 3*o - 4 - 1 = 5*i, 7 = -g*o + 2*i for o.
-5
Suppose 0 = 2*p + s - 10, -2*p = -5*s + 14. Let n(r) = -r**2 + 5*r - 3. Let c be n(p). Solve l - c*v = -9, 3*l - 5*l = v + 4 for l.
-3
Let g(o) = 0 + 3*o - 5 + o**2 + 0. Let h be g(-5). Let t(k) = k**3 - 5*k**2 + 2*k - 7. Let c be t(h). Solve -2*i = -3*z - 6, 0 = -i + 4*z + c for i.
3
Let y = -1 - -2. Let q be -3 + y - (-1 - 3). Let l be q/2 + (-2)/(-1). Solve l*r - 2 = u, -5*r - 20 = -0*u + 3*u for r.
-1
Let h = 38 + -38. Suppose 0 = -0*c + 5*c - 10. Solve 4*b + 2*f = -2*f, h = c*b - f - 9 for b.
3
Suppose -16 - 16 = -4*g. Let j be g/20 - (-4)/(-10). Solve j = 4*q - c, -q - 17 = 2*c + 2*c for q.
-1
Let q(u) = -u**2 + 5*u + 6. Let r be q(5). Let h be (r/4)/((-6)/(-8)). Suppose 664 - 204 = 23*b. Solve h*v - b = -5*y + 9, -3 = v - y for v.
2
Suppose 20 = 5*q, 2*k + k = 4*q - 106. Let l be (k/(-25))/((-6)/(-20)). Solve 4*t - 2 = -5*w + 3, -w + 17 = l*t for w.
-3
Let v(k) = k**2 - 6*k + 9. Let d be v(5). Suppose d*r - 18 = -2*r. Solve 2*x + 2 = 2*o, x - 2*o = -r*x - 6 for x.
-2
Suppose 0 = -4*y - 5*l - 4 - 21, 0 = -y - 2*l - 10. Let i = 5 - 3. Solve -i*d - 2*n + 16 = 3*n, 2*d + n = y for d.
-2
Suppose -2*g = 2*g - 4. Let i be ((-1 - g) + -1)*-1. Solve 4*t = -i*b - 1, 2*b + 2*t = 3*t - 8 for b.
-3
Suppose -4*y = 5*r - 32, 3*y - 2*r + 1 - 2 = 0. Solve 0*k - 3*k + 3 = d, -y*d - 9 = 0 for k.
2
Suppose 0*k + 3*k - 6 = 0. Suppose k*u - 4*m - 26 = 0, -9*u + 3*m + 27 = -5*u. Solve -y = -3, -2*d = 2*y + u - 5 for d.
-2
Suppose 0 = y - 0*y + 2. Let p = y - -7. Solve -2 = h + 5*j, p*h - 9 = -j + 5 for h.
3
Let x(m) = -3*m + 6. Let k be x(4). Let i be k/18*(-5 - 1). Solve 17 = 5*w - 3*p, -2*p - 2*p + 12 = i*w for w.
4
Let m = 57 + -53. Solve -2*o - q + 3 = 0, 3*q - 14 = m*o + q for o.
-1
Suppose 5*k - 4 = 21. Solve 3*q = -4*s - 16, 20 = -k*s + q + 3*q for s.
-4
Let l be 17/((-1)/2*1). Let r be l*(18/(-4))/(-3). Let x = r - -73. Solve -3*c = q + 9, -c - 3*c = -2*q + x for c.
-4
Let d be -1 + (-1 + -60 - 0). Let v = -40 - d. Suppose -4*i = -3*u + i + 2, 0 = -5*u - i + v. Solve -u*y - 4*p = -3*y - 25, 0 = -5*y + 3*p + 10 for y.
5
Let f(a) = -a**3 - 7*a**2 - 3*a - 9. Let j be f(-7). Suppose -11 = -o + j. Solve -5*b = h - 4*h - o, -11 = -2*b + 3*h for b.
4
Suppose -5*k - 4*w = -3, -k + 3*w = -4*k. Solve -f - 4*i + 12 = -k*f, 2*i = 4*f + 12 for f.
-2
Let k be 2/(-5) - (-34)/10. Suppose 3*o + 3 = -3*l, -5*o + 4 = -k*l - l. Suppose -3*x = -o*x - 18. Solve 3*c + 6 = -3*b, -5*b - c = -x + 24 for b.
-4
Let g(a) = -a**2 - 11*a - 27. Let l be g(-6). Solve o + 3*o + 23 = -l*b, -5*b - 2*o - 29 = 0 for b.
-5
Let a(p) = 11*p - 2 + 2. Let o be a(-1). Let y = 4 - o. Solve -3*j = -4*f - y, f - 5*j = -4*f - 20 for f.
-3
Suppose 95 = s + 4*s. Suppose s = 4*u + 7. Suppose -19 = -2*b - u*x, 3*x = b + 6 + 7. Solve 5*l - 3*g - 6 = -6*g, b*l + 8 = 4*g for l.
0
Suppose -4*i + 12 = -i. Suppose -h + 4*h - i = 4*r, -26 = -3*r - 5*h. Solve b - 5 + 14 = -2*u, 5*b + 21 = r*u for u.
-2
Let a = 0 - 7. Let h = a + 14. Suppose 4*o = 4*v + 6*o - 10, 5*v + o - 17 = 0. Solve 7 = -2*l - 3*y, 4*y = -3*l + h*l + v for l.
-2
Let p be (-3 - (-11 + 0))*(-1)/(-2). Solve -2*y = 5*c - 9 - 8, 0 = p*c - 12 for y.
1
Suppose 0 = 5*w - 0*o + 5*o - 30, -5*o = -w - 12. Suppose 0*c - w*c = 0. Let z(a) = -3*a - 4. Let r be z(-3). Solve 4 = 4*f, 2*f + 3 = r*h - c for h.
1
Let b(v) = 0 - 1 - 1 + 8*v**2 - v**3 - 6*v. Let i be b(7). Suppose n + 1 - i = 0. Solve -2*h - 4*c - 7 = -h, 2*h + n*c + 10 = 0 for h.
-3
Let v(w) = -w**3 + 6*w**2 - 4*w + 2. Let c be v(5). Suppose -2*u = 3*u. Let y = u + 0. Solve -j + 5*d - c = y, 3*d + 0 = -j + 1 for j.
-2
Let q = 4 - 4. Suppose 0 = -2*v - q*l + l + 7, 2*l = 3*v - 12. Solve 5*m - 4 = 2*d, 2*d + m = 3*m + v for d.
3
Let o(h) = h**2 - 6*h + 4*h - h**3 - 6*h**2 - 3. Let y be o(-5). Solve -p + 4*w - 17 = 0, 2*w + y = p + 6*w for p.
-5
Suppose -3*g - 5*q = -4*g - 7, -4 = -2*q. Solve 0 = -t + 4*f + 7, 0 = g*t + 4*f - f - 6 for t.
3
Let h = 3 + 14. Let p = h - 1. Solve 3*m + 3*r + 24 = 0, 0*m - m + p = -5*r for m.
-4
Let k be 3/(-6)*4 + 1. Let o be (0/k)/(-1*2). Solve o = 2*b - 3*f - 20, 5*b - 4*f - 40 = f for b.
4
Let n = -16 + 16. Suppose n = 4*d + d - 5*r + 15, 3*d - 5*r + 19 = 0. Solve -d*w - 2*w - 20 = 5*f, 4 = -f for w.
0
Let w(r) = r**3 + 11*r**2 - 12*r + 4. Let u be w(-12). Solve -u*f = 5*g + 36, 3*f + 16 = -g - 0*f for g.
-4
Let i = 0 - -1. Let q be -2*1/i - -7. Let h = q - 3. Solve -5*p + 6*p + 8 = 5*a, -h*p = 4*a + 2 for p.
-3
Suppose 3*h + 5*z - 20 = 0, -h + 5*h = 2*z + 18. Suppose 11*a - 12 = 9*a. Solve -2*p + 4 = -h*v + a*v, -4 = -3*p - 2*v for p.
4
Let y(m) = -m**3 - 5*m**2 - m - 1. Let o be y(-5). Solve -x + 0 = -3*v - 10, -x = -v - o for x.
1
Let b = 16 - 11. Solve 2*w = 3*r + 13, -2*w = r - b*r - 16 for r.
-3
Let g be (-69)/(-15) - (-6)/(-10). Solve 5*f = -d - 17, -2*f = -d + 5*d - g for f.
-4
Let g(t) = t - 6. Let n be g(-12). Let r = -14 - n. Solve -r*b - 3*f = 1, 3*f = 2*b - b + 19 for b.
-4
Suppose -3*x = -2*x - 2. Let d(w) = w**3 - 7*w**2 + 6*w + 1. Let v be d(6). Let l be (-119)/(-51) - (-2)/(-6). Solve 0 = l*u + n + x, 5*u + 2*n = -2 - v for u.
1
Suppose 3*p + 10 = 5*p. Suppose p*r - 8 = 3*r. Solve 3*x + 2 = -2*b, r*x = 4*b - 7 - 9 for x.
-2
Suppose -p + 40 = -0*p. Let t be -30*(7/(-2) - -3). Solve -k = 2*q + 3*q + t, -5*q = -4*k + p for k.
5
Let w(m) = -m**3 + 6*m**2 + 6*m + 9. Let b be (-1)/4 + (-464)/(-64). Let v be w(b). Solve 5*a = 5*x, -x - 1 = -v*a - 3 for x.
-2
Suppose 8*i = -9 + 25. Solve -s = 4*q + 22, -12 = i*q - 0*s + s for q.
-5
Suppose 5*b = -27 + 2. Let h(f) = -f**3 - 5*f**2 + f + 7. Let p be h(b). Solve 4*m + m + 9 = -4*z, -7 = p*z + 3*m for z.
4
Suppose 4 = 2*t - 4*t - 5*z, 4*t + 2*z = -40. Let v be t/3*(-6)/(-8). Let j be (-8)/v + 8/(-12). Solve 3*x - 19 = 2*o, -j*o - 3*x = x - 2 for o.
-5
Let a(f) = f**2 - 8*f - 11. Let c be a(9). Let k = c + 7. Solve m + 4*z = -4*m + 24, 0 = -4*m - k*z + 21 for m.
4
Suppose -s = 5*v + 21, 4*s + 2 = 2*v + 6. Let n = v + 4. Suppose -44 = -n*t - 4*t. Solve 3*f - 18 = 5*p, p + p + t = 5*f for f.
1
Let b(z) = 5 + z + 3 + 5. Let m be b(-13). Solve -2*n + 2*f - 8 = m, -29 = -0*n - 4*n - 5*f for n.
1
Let c be (-4)/(-10) + (-32)/5. Let p be 2 + 2 + c + 2. Solve -3*i + a + 2 = -3, p = -i + 5*a - 17 for i.
3
Suppose 0 = -4*t + n - 5*n + 472, 0 = 3*t - 5*n - 378. Let o = -45 + t. Let l be o/28 - (-4)/14. Solve -c + 3*w + 14 = -0*w, 2 = -l*c - 2*w for c.
2
Suppose 0 = -3*d + 2*d. Suppose 0 = 5*t - 3*g - 0*g + 55, 5*t - g + 55 = d. Let h = -7 - t. Solve -2*w + h*i = 0, 2*w + 5*i = 7 - 25 for w.
-4
Suppose -3*t - 2*k + 2 = 0, 5*t - 5*k = 7 + 13. Suppose 2*v - 12 = -6. Suppose -v*u - 3 + 18 = 0. Solve -a + 5*b = 3, -u*b = a - t*b - 5 for a.
2
Let w = -47 - -52. Solve -w*c = 3*l, 2*c = 3*c + 3*l - 12 for c.
-3
Let r = 2 + 1. Let k(c) be the first derivative of c**2/2 - c - 1. Let m be k(r). Solve -m*t - 3*t = 0, -10 = 2*d - 4*t for d.
-5
Let r be (-10)/(-35) + 96/7. Suppose 3*x = -2*i + 9, -3 - r = -4*x - i. Solve x*n = -9 + 29, 3*n = 2*v + 22 for v.
-5
Let d(l) = -2*l + 14. Let a be d(5). Solve 3*j = -5*r + 1, r = 5*r - a*j - 20 for r.
2
Let p = -9 + 13. Solve 5*v + 12 = b, p*b + 4*v = v - 21 for b.
-3
Let t(o) = o**3 - 8*o**2 + 6*o - 4. Let q be t(6). Let l = q - -94. Suppose g - l = -2*g. Solve 0*m = -3*m - 4*j - 22, -5*j = -m + g for m.
-2
Suppose 0 = -4*d + d. Let k = -3 - -3. Let l = k + d. Solve l = 5*j + 2*u + 12, -4*u + 8*u = -2*j + 8 for j.
-4
Let f(m) be the first derivative of 4 - 3*m + 5/2*m**2 + 1/3*m**3. Let d be f(-6). Solve 5*j = -10, j = -2*t - 3*t + d for t.
1
Let z be 1/1*(-2)/(-1). Let n = 