, -z - 1 = -n for z.
4
Let o(k) = -k**3 - k**2 + 1. Let i be o(-1). Let r = 15 + i. Solve 0*g + g = -3*q - 13, -g - r = 4*q for g.
-4
Let b(u) = u**3 + 2*u**2 + 2*u + 1. Let p(t) = t. Let s be p(-2). Let f be b(s). Let m = f + 5. Solve j + 7 = m*g, -3*j - 2*g - 18 = j for j.
-5
Let b be 22/8 + 1/4. Suppose -b*q = q - 16. Suppose -2*i + 4 = -q. Solve 4*y + 2*v + v + 1 = 0, 9 = -i*y + 5*v for y.
-1
Suppose 0*x = -x. Solve 5*q + 16 = c, 3*c - c - q + 4 = x for c.
-4
Let g(i) = -3*i**3 - 2*i**2 - 2*i - 2. Let z be g(-2). Solve -2*t - 2*y = -z, -5*y + 2*y = -5*t + 13 for t.
5
Let j(l) be the second derivative of l**5/20 - l**4/3 + 3*l**2/2 - l. Let w be j(4). Let y be w/(-2) - 18/(-4). Solve 5*t + 3 = 3*r + 2, y*t = -r + 5 for r.
2
Let w(r) = r**2 + 3*r - 4. Let k be w(-4). Let i(g) = -g + 1. Let y be i(8). Let q = 2 - y. Solve -7*p + 2*p + 4*v = k, v + q = -p for p.
-4
Let g(f) = f**3 + 21*f**2 + 20*f + 5. Let m be g(-20). Solve -m*k - 5*j + 10 = 0, -4*k - 2*j - 17 = -3*j for k.
-3
Let z = 2 - 1. Solve 4*d - z = -0*q - q, -5*q = 2*d + 13 for d.
1
Let l(w) = w**3 + 9*w**2 + 9*w + 10. Let j be l(-8). Suppose -j*i - k - 4*k = -28, i - 5*k + 16 = 0. Solve i*u = 4*b - 28, 2 = -4*b - u + 10 for b.
3
Let n(y) = y**2 - 3*y - y + 3 + 0*y**2. Let c be n(6). Suppose 9*i = 4*i + c. Solve -i*r - 5*f = 12, 4*f = 4*r - f + 16 for r.
-4
Let l(d) be the third derivative of -d**5/60 + 7*d**4/24 - d**3 + d**2. Let w be l(5). Solve -2*n - m = 4 - 5, 2*n = w*m + 16 for n.
2
Let f be (-23)/(-5) + (-4)/(-10). Let r(b) = -b**3 - 8*b**2 + 8*b + 10. Let m be r(-9). Solve -3*h + 11 = c - f*c, 3*h = -4*c + m for h.
5
Suppose -j + 3*n = n - 25, -5*n - 25 = 0. Suppose -5*d - 5*i - j = 0, 4*i + 21 = -2*d - i. Solve -5*m - a - 4 = -1, 6 = -d*a for m.
0
Suppose -3*u = -4*a + 16, a = -4*u + u - 11. Let v = a - -1. Solve 4*l = -5*y + 2*y - 11, -4*y = 2*l - v for l.
-5
Suppose -4 = 4*k, 2*f - 3*k - 9 = 2*k. Let c be (f/5)/((-3)/(-150)). Solve 6*g + 4*u = 2*g + 8, -u + c = -5*g for g.
-3
Let k(i) = i**2 + 11*i + 3. Let o be k(-11). Solve -2*d - 2 = -2*m, -o*d = -0*d - 3 for m.
2
Let u(d) = -d**3 - 7*d**2 - 5*d + 5. Suppose -5*l + 2 - 32 = 0. Let n be u(l). Let w be -15*n/6*2. Solve 2*v = -2*v - 5*a - w, -5*v + 2*a = 31 for v.
-5
Suppose s + s = 4. Suppose -4*x - 32 = 4*z, z - 4*x - 20 = s*z. Let w = z - -8. Solve -3*g - 3*a + 22 = w, 5*g = -a + 26 for g.
5
Suppose 4*u - 1 - 19 = 0. Suppose 2*q = 3 + 3. Let v = u - q. Solve 3*p + v*o + 25 = 0, 0*o - 5*o = 25 for p.
-5
Suppose 3*t - 5*r = 1 - 0, 4*r = 4. Solve 3*w - 4*j - 3 + 14 = 0, 0 = t*w + j - 11 for w.
3
Let t = 1 - -2. Let v(f) = f**2 - 3*f + 3. Let j be v(t). Solve -6*n + n + 6 = 3*z, -3*z = j*n for n.
3
Let m be 4/(-14) - (-58)/7. Suppose 3*n - 28 - 32 = 0. Suppose -5*y + n = -2*a, 0 = -y - 4*a + 5 - 23. Solve 0 = -4*u - y*t - m, -3*u - 4 = t + 1 for u.
-1
Suppose 6*z = 2*z. Solve z = -b + 3*d + 14, -4 = 4*b - 4*d - 28 for b.
2
Let l(v) = -5*v**3 - 4*v**2 + v + 1. Let b(z) = 4*z**3 + 4*z**2 - 2. Let c(j) = -6*b(j) - 5*l(j). Let y be c(5). Solve 4*t - 17 = 3*m, 5*m + y = 5*t - 13 for m.
1
Let k = -2 + 2. Let j = k + 0. Solve 9*m - 4*m = o - 5, -3*o + 4*m + 15 = j for o.
5
Suppose -2*y + 4 = 2*i - y, 4*i - 2*y = 8. Suppose 2 = i*r + 2*h, 4*r - 3*h + 1 = 5. Solve c = 1, -3*p + c + r = -c for p.
1
Suppose -3*p + 8 = -p. Let m be 2/8 - (-348)/16. Solve h + r - 8 = 0, 2*r - 2 = -p*h + m for h.
4
Suppose 2*a - 2 = -i + 3*a, -3*i = 5*a - 22. Solve 4*p - i*c = 6 - 18, 4*p = -c - 22 for p.
-5
Let f(o) = 4*o - 6. Let a be f(2). Solve 10 = a*j - 4*w, 5*j - 2*w = -6*w - 45 for j.
-5
Suppose -2 + 5 = g. Solve -4 = g*c - j, -2*c + 0*j = 2*j + 16 for c.
-3
Let w be 0 - ((-1)/2)/((-4)/(-24)). Solve 0 = 3*q + 2*t - 9, 0*t = w*t for q.
3
Let x be (-3 - -3)*(-2)/(-2). Suppose q - t = 8, 0 = 5*q + 8*t - 3*t - 20. Let s(a) = a. Let h be s(q). Solve -3*d - n - h = -3, x = d + 2*n + 1 for d.
-1
Let f be 36/21 - (-2)/7. Let z(i) = -i + 1. Suppose -2*r + r = 5. Let k be z(r). Solve 4*d + 32 = j + 8, -k = f*d + j for d.
-5
Suppose -g = -3*g + 6. Let n be g/(-18)*4*-3. Solve -5*m + 4*c = -0*c + 45, -n*c = -5*m - 35 for m.
-5
Let v = 3 - 4. Let n(b) = -5*b - 1. Let f be n(v). Let t(x) = -x**2 - 5*x - 2. Let j be t(-4). Solve 13 = 5*w + 5*y + 3, -j*w + 10 = f*y for w.
-1
Suppose 5*d - r - 62 = 2*d, 2*d + r = 38. Let c = d - 20. Solve -v + 4 - 7 = k, 5*k - 5 = c for v.
-4
Let n = 156 - 151. Solve -20 = -p + n*p - 4*y, -3*p = -5*y + 19 for p.
-3
Let m be -2 - -1*(-1 + 6). Let s(r) = -r + 4. Let q be s(3). Suppose p = -q + m. Solve b + 9 = -5*l + 1, p*l - 4*b - 10 = 0 for l.
-1
Let y = 10 - 8. Suppose 0 = y*w + 3*l - 22, 17 = -0*w + 5*w - 2*l. Solve 2*o + 3*v - 9 = 0, -5*o - w*v + 7 + 3 = 0 for o.
-3
Suppose -w = w + 5*v + 21, 3*v = -3*w - 9. Suppose r - w*t - 5 = 0, -5*r + 2*r + t + 10 = 0. Solve r*u = -k + 11, 0 = -u - 2*k + 7 - 0 for u.
3
Suppose 0*n = -n - 2*n. Solve -2*j = -3*z + 11, -j - 3 + n = -z for j.
2
Let n be 2*3/9*36. Suppose 4*w + 0 = -4*c + n, -c - 10 = -3*w. Let r = -1 + 5. Solve 2*v + w*q = -4 + 2, 3*v + r*q = 3 for v.
5
Let t(l) = 10*l - 3. Let q be t(6). Suppose -443 - q = -5*f. Suppose 0*c + f = 4*c. Solve -3*k - 2*j = -c, 0 = 5*k + 5*j - 25 - 25 for k.
5
Suppose 5*k = 5*r - 25, 5*r - 24 - 1 = k. Solve r*s = -2*p + 5*p + 32, -5*p - 2*s = 12 for p.
-4
Let w = -6 - -9. Suppose -3*g = -w - 6. Solve c - 4*j = 9, -2*c + g = -2*j - 3 for c.
1
Suppose 2*y + 2*j - 16 = 0, 2*y - 4*j - 1 = 45. Solve -2*f + 4*z + 13 = -5, 2*z + y = 5*f for f.
1
Let x = -25 - -29. Solve j = -4*c + 5*c - 6, 0 = -3*c - x*j - 17 for c.
1
Let g be (1 + 12/(-3))*-1. Solve -5*d + g*d + p - 1 = 0, p - 1 = -d for d.
0
Let q(h) = h**3 + 6*h**2 + 3. Let s be q(-6). Let p(f) = -5*f**3 - f**2 - f - 1. Let k be p(-1). Solve s*m = 5*v + 34, v = k*v + 15 for m.
3
Suppose l - 2*l + 6 = 2*g, 4*l = 5*g - 28. Let t be 2/l + -4 + 3. Let m = t - -2. Solve 4*j = 3*u - 6, m*j + j - 2 = -u for u.
2
Let m = 1 + -4. Let y be (-1)/m + (-11)/(-3). Suppose 2*s - 14 = -y*p, 2*p + 38 + 0 = 4*s. Solve 2*o + 1 - s = 5*n, -3*o + 7 = -5*n for n.
-2
Suppose 4*x = 2*x + 4. Suppose -5*s + 2 = -5*i + x*i, -5*i + 4*s = -1. Solve -3*a + i = -d - 1, -4*d + 3*a = -1 for d.
1
Let w be 5/(-1) + 2 + 9. Solve y = 0, 6 = 4*u - 4*y - w for u.
3
Let p(j) = -j**3 - 9*j**2 - 8*j. Let a be p(-8). Solve -5*y + 20 = -y - 2*z, a = 3*z for y.
5
Suppose 0 = -2*f - f + 6. Solve -3*y + f*j + 5 = 0, 1 = 3*j + 4 for y.
1
Let p be (-1)/(-2)*(0 - 0/(-1)). Solve 2*v - f - 3 + 15 = p, -4*f = -3*v - 28 for v.
-4
Suppose 9*n - 23 = -5. Solve n*t + 2*f + 1 = 3*f, 5*t - 5*f = 5 for t.
-2
Suppose 5*p - 38 - 2 = 0. Suppose 2*a + p = 6*a. Let s = 10 + -4. Solve -2*b - s*d = -a*d + 30, 5*d = -b - 30 for b.
-5
Let s = -31 - -33. Solve -2*m - x = -5 + s, 0 = -4*m + x - 3 for m.
0
Let q be -3*3*1*-1. Let s(c) be the third derivative of -c**6/24 - c**3/6 + c**2. Let u be s(-1). Solve 4*l - 5*b = -q, -4*b + 2 = u*l - 2*l for l.
-1
Let i(b) = b**2 + 3*b + 4. Let n be i(-7). Suppose -k = 4 - n. Solve k - 9 = -2*u - 5*a, 5*u + 25 = -5*a for u.
-2
Let k(y) = y - 2. Let s be k(2). Solve 5*j + s*m = m - 5, 27 = -j - 5*m for j.
-2
Let s = -11 - -15. Solve -s*j + 4*r - 9 = 7, 5*j = r for j.
1
Suppose 4*a + 2*c = 10, 4*a + a - c = 16. Let u be (-7)/(-21)*0 - -3. Solve -5*h - 4*g - 1 = -u, -a*h - 3*g = 0 for h.
2
Let l be ((-4)/(-3))/(2/3). Let o = -4 - -11. Let c = o + -2. Solve p + l*t - 1 = 0, -t - 3*t + 17 = c*p for p.
5
Suppose 20 = b - 2*d, -3*d = 4*b - 20 - 16. Suppose 0 = -x + 4*x - b. Solve -5*m = -10, -x*m + 10 = -2*h + m for h.
0
Suppose -4*a + 8 = v - 10, 0 = -2*v - 5*a + 24. Suppose 40 + 24 = 4*s. Solve 2*w = d + 10, s - 6 = 2*d + v*w for d.
0
Suppose 0 = 3*q - 5*f + 51, 7*f = 4*f - 9. Let g = q + 41. Solve -5*b = -3*w + 7*w - 33, -2*w - 3*b + g = 0 for w.
2
Let w(s) = s - 3. Let v be w(5). Suppose -2*o - 2*a = -7*o + 77, -25 = -v*o - 5*a. Solve 0 = -m + 2*m - 2*l + 9, 3*l = 2*m + o for m.
-3
Suppose 0 = -5*b + 5 + 15. Let i be 352/80 + (-2)/5. Solve 0 = 3*c + 3*y, i*y = -12 - b for c.
4
Let v(r) = r + 2. Let z be v(-1). Suppose 4*f = -0*f + 12. Solve -4*u = -f*a + 18, 0*a = -a - u - z for a.
2
Let z be ((-4)/(-2))/(14/133). Solve 0 = -r + 2*r - 5*p + z, p - 2 = 2*r for r.
1
Let m = 17 - 15. Solve 5*j + 5*c - 20 = 0, -5*j + 10 = -j - m*c