olve 3*n - k = 5*z, -2*z = 2*z + 4*n - 24 for z.
2
Let t = 15 + -10. Let r(v) = -3*v + 4 + t*v + 3. Let u be r(11). Solve 3*l - u = 5*l + 5*j, 0 = -3*l - 2*j - 16 for l.
-2
Let f(s) = s**2 - 3*s + 2. Let m be f(2). Solve -h = -4*n - 15, m*n = -5*n - 3*h - 6 for n.
-3
Let f(x) = x**2 + x - 71. Let a be f(-9). Solve -v = 2*n - a, 0 = -3*n + 6 + 3 for v.
-5
Let b(q) = -q**3 + 7*q**2 + 8*q + 10. Let t be b(8). Let d = t - 6. Suppose 4 - 12 = -h. Solve -4*l + 24 = -2*x + d, -4*l = 4*x - h for x.
-2
Let g(k) = -k. Let w be g(-2). Let m be 301/3 - 2/6. Suppose 0*c - 5*c = -m. Solve 5*n = c, -2*j + 2*n + w*n - 6 = 0 for j.
5
Let r be 0/2*((-20)/(-6) - 3). Solve -3*i - 2*u + 6 = 0, 4*i - 2*u - 6 - 2 = r for i.
2
Suppose -3*r - 4 = 2. Let a = r + 3. Suppose -a = y - 6. Solve x = g - 2, -3*x - y = -2*g - 1 for x.
0
Let a(u) = -u**2 - 8*u + 9. Let y be a(-9). Suppose y*m = -2*m + 2. Let f = -7 + 10. Solve -h = 5*j + 6, f*j + m = 2*h - 0*h for j.
-1
Suppose -2*z = 5 - 9. Let j be ((-6)/z)/(-3)*5. Solve 3*f - o = o - 9, f + j*o = -20 for f.
-5
Let j = -3 - -3. Suppose -2*f + 8 = -j. Suppose -1 + 21 = f*s. Solve 6*z - 2*c = z + 15, z - 2*c = -s for z.
5
Suppose 16 = 4*f - 12. Let y be (4/f)/(5/35). Let u(c) = -c**3 + 4*c**2 - c - 2. Let t be u(3). Solve -5*z - y*q = -10, -q = -t*q for z.
2
Let y(v) = -v**3 - 4*v**2 + 4*v - 3. Let o be y(-5). Suppose 3*f - 14 = -5. Let z be 1 - (-1 + f/3). Solve -5*g - w = 26, -2*g - o*w - 13 = -z for g.
-5
Suppose 4*i = 3*i + 4. Solve -2*g + 5*o - 19 = 0, i*g - 3*o = -0*g - 17 for g.
-2
Let y(a) = 2*a - 13. Let c be y(9). Suppose -3*t + c*t = 10. Solve 3*f - 8 = -5*g + f, 5*f - 20 = t*g for g.
0
Suppose 4*v + 7 - 31 = 0. Let a be (-20)/(-30)*v/1. Solve -z - z - k = a, 0 = -4*z + 5*k + 20 for z.
0
Suppose -q = -3*q - 10. Let m(n) = n**2 + 4*n - 3. Let g be m(q). Solve -g*u = 3*a - a + 16, 2*u = 5*a + 12 for u.
-4
Suppose 3*o = -b + 14, 3*o - 19 = -4*b + 2*b. Solve -u = -b*v - 12, v = 2*u - 2*v - 10 for u.
2
Let v be (1 - (-1 + 0))*1. Let n(r) = -r**v - 4*r + 3*r + 2 - 3*r. Let i be n(-4). Solve -i*x - 5*u - 35 = 0, -u = -2*x + x for x.
-5
Suppose -3*v = -v - 8. Suppose -r - u + v = 0, -5*r + 13 + 9 = 3*u. Solve 4*f + 5*z = 5*f + 21, r*f + 5*z = 45 for f.
4
Let l be (-1)/(-4)*0 - -3. Solve 3 = l*z, -3*w - 2 = 2*z - 1 for w.
-1
Let w be (-15 - 0)/(6/(-4)). Suppose -w = -3*h + 2. Let j = 6 - h. Solve 3*o - j = -0*o - 2*i, 0 = -3*o + 5*i - 26 for o.
-2
Suppose 0 = -s - 5 + 12. Let o(w) = w**3 - 6*w**2 - 5*w - 10. Let g be o(s). Solve 5*i - g = -4*c, -2*c = 5*i - 5 - 7 for c.
-4
Suppose -4*u + 3*u + 1 = 0. Suppose -q - u = 3*p, -4*p + 1 = -4*q + 13. Solve 0 = -5*t + q*h + 2*h + 16, -4*t + 4*h = -12 for t.
4
Let n = -13 + 16. Solve 0*b - 2*s = -n*b + 13, 2*s + 16 = 4*b for b.
3
Let p = 4 + -2. Suppose 0 = -p*d + 23 + 9. Suppose -d + 4 = -4*a. Solve a*n - n = -2*f, 12 = 3*n for f.
-4
Suppose 2*h - 3 = 7. Let k = 7 - h. Solve s + 11 = 3*o, -k*o + 3 = -s - o for s.
1
Suppose 5*r = 3*r + 36. Suppose -5*i + r = m - 4, -10 = -m - 2*i. Solve 4*y - 3*y = m*t - 11, 0 = -4*y - 3*t for y.
-3
Suppose -16 = -a - 7*a. Solve a*h - 2*c - 28 = 3*c, -4*c - 20 = -h for h.
4
Let r be 5/1*-6*4/(-24). Solve 5 = 2*f + 3*n, -8 = -5*f + 2*f - r*n for f.
1
Let d = -8 - -8. Solve 2*f - 1 = -3*p, -19 = 4*f - d*f - p for f.
-4
Let w be (0 + -2)/(2/(-6)). Let i be (-2)/(4/w) + 3. Solve -t = -3*k - 1, -t + i*k = 4*k + 6 for t.
-2
Suppose -12 = -5*k + p - 3, 0 = 2*p - 2. Solve -5*w + 25 = -4*o, -k*w = 2*w - 5*o - 20 for w.
5
Let y(w) = w**2 - w - 3. Let r be y(0). Let s be (-3 + -3)/r + -2. Solve s*b = 5*o - 3*b + 2, 0 = o + 4*b + 5 for o.
-1
Let f(q) be the third derivative of -q**4/12 - 2*q**3 + q**2. Let g be f(-8). Solve -2*w - 1 = d - 0, -5*d - g*w = -1 for d.
1
Suppose d = -3*d. Let i be 1/3 - 2/6. Suppose 2*b + 0*b - 8 = i. Solve d = 5*u - b*k - 22, 3*u - 3*k - 3 - 12 = 0 for u.
2
Let h(q) = q**2 - 8*q + 2. Let j be h(8). Suppose 0 = -5*d - 0*d + 60. Solve 2*b + 0*g - j*g = d, -4*g - 14 = b for b.
2
Let r(q) = -2*q**3 - 4*q**2 - 2*q + 2. Let z be r(-2). Solve 1 = -3*s - 2*v, -3*v = s + 2*s + z for s.
3
Let d(b) = 4*b. Let p be d(4). Suppose 0 = -5*u + 2*g + 20 - 1, 5*u - 3*g - p = 0. Solve -5*q - 2*y = -0*q - 26, 0 = u*q - 3*y - 11 for q.
4
Let y(n) = 12*n**3 + 2*n**2 + 1. Let m(x) = -37*x**3 - 6*x**2 - x - 3. Let a(r) = 2*m(r) + 7*y(r). Let s be a(1). Solve d - s = 4*w, 1 = -3*d - 2 for w.
-3
Let p = 13 + -10. Suppose -1 = p*z - 25. Solve -5*r - 33 = -2*l, -3*l = -z*l + 4*r + 40 for l.
4
Let p = 1 - 4. Let f = 6 + p. Let y be (9/(-3))/f + 6. Solve l - 2*u + 15 = -2*l, -5*u = y*l for l.
-3
Let a be 0/5 + -6 + 1. Let y be (2/3)/(a/15). Let u be ((-2)/5)/(y/50). Solve -3*i - 2 - 12 = 5*h, 5*i + 5*h = -u for i.
2
Let w = 36 - 24. Suppose -z - 13 = -4*b, -3*b - w = -6*b. Solve -4*u - 2*y = 0, 4*u + z*y = 5*y - 8 for u.
-1
Let g be 3/(-6)*(-24)/2. Suppose -51 = -u - 11. Suppose -w + 28 = -5*d, w - u = -4*w + 5*d. Solve 3*r = -z + 15, -z + 15 = -g*z + w*r for z.
0
Let q(j) = -j**2 - 11*j - 6. Let t be q(-6). Let o = t + -10. Solve -3*a - 2*a = 2*u - o, 4*u = -2*a + 12 for a.
2
Suppose 25 = 5*x + 5*w, x + 4*w = 15 + 2. Let s = x + 1. Suppose -o - 1 + 3 = 0. Solve -s = -2*j - 4, 0 = 2*i - o*j - 8 for i.
3
Let p be 156/10 - 24/(-60). Let o = p - 16. Solve 4*a + 5 = z - 10, 3*z - 5*a - 17 = o for z.
-1
Let z(c) = c + 4. Suppose -10 - 6 = 5*m - 3*x, 0 = -4*m - 3*x - 2. Let l be z(m). Solve 5*d - 10 = 4*q, -q - l = d - 4 for d.
2
Let a = 11 - 7. Let m be 0/(a + 1 - 2). Solve -2*c = j, m = 4*j + 2*c + 7 + 5 for j.
-4
Let v(a) = -7*a + 6. Let i(r) = 6*r - 5. Let q(u) = 6*i(u) + 5*v(u). Let o be q(2). Let j be (-8)/(-12)*-6 - -6. Solve -g + 1 = -j*c, 2*g - 4 + o = -3*c for c.
0
Let u(y) = y**3 + 3*y**2 - 3*y - 2. Let l be u(-4). Let i = l - -11. Let a = i + 0. Solve 3*x = -3*b - 6, -3 = 4*x + 5*b + a for x.
-2
Let d = 27 - 15. Let i = 17 - d. Solve -b - i = -0*r + 3*r, -r + 1 = 3*b for r.
-2
Let h be (2/6)/((-7)/(-21)). Let i be 346/12 + h/6. Let s = i - 6. Solve -3*w - 2*f - 12 = 0, 3*w + 5*f + s = 2 for w.
-2
Let u(q) = 12*q**3 + q**2. Let c be u(1). Suppose -4*b + x = -2*x - c, -4*b - x = -17. Solve 0 = -n + r, -n - 2*n = -b*r + 1 for n.
1
Suppose -13 - 2 = -k. Solve -4*v + k = -3*u, 0*u + 15 = -3*u - 4*v for u.
-5
Suppose o - 14 = 5*k, 3*o - 7 = 3*k - 1. Let y = 0 - o. Solve -4*n = 2*b - 12, -3*n + 8 - y = 2*b for b.
-4
Let v(z) = -4*z - 5. Suppose 2*u - 2 = w - 0*u, -3*u = -3*w - 6. Let s be v(w). Solve s*d - 1 = 5*c, 8*c = 5*c - 6 for d.
-3
Let y = 149 + -142. Solve -4*n + 2*n = -3*z - y, 2*n = -4*z for z.
-1
Suppose -12 - 2 = -2*t. Solve -3*p = 6, -2*p - 5 = 5*z - t*p for z.
-3
Let m(n) = -n**2 + 33*n - 3*n - 3 - 18*n. Let w(x) = 8*x**2 + x. Let k be w(1). Let p be m(k). Solve -2*l + 5*g - 35 = 0, -g + p = -4*l - 1 for l.
-5
Let d = -54 - -56. Solve 6 = 3*a - 4*u - 18, d*a - 17 = 3*u for a.
4
Let o be 16/3 + (-1)/3. Suppose -6*a - 21 = -9*a + 3*n, 0 = -4*a + 5*n + 32. Solve -3*k + 7 = -5*m, 13 = o*k - a*m - 4 for k.
4
Let x(o) = o**3 - 4*o**2 + 4*o - 2. Suppose 5*r + 5*j - 40 = 0, 8 = 2*j - 2. Let k be x(r). Let f = 2 + k. Solve 2*z - 10 = -2*m, 13 + 2 = 2*z + f*m for z.
0
Suppose -a + 0*o + 7 = o, -4*a - o + 28 = 0. Let z(l) = -a*l - l**3 - 4 + 5*l**2 + 5 + 2*l**3. Let x be z(-6). Solve -2*m - 4*u + x = -1, 3*u = -m + 5 for m.
2
Let d = -76 - -80. Solve x = 5*t - 4, d*t - t = 3 for x.
1
Suppose 2*r = 4*r - 5*r. Solve 3*t - 5*s - 2 = -r, 0 = 3*t + s + 4 for t.
-1
Let r be 4*(-9)/(-24)*2. Solve r*a - 3*u = -a - 1, a + 3 = -2*u for a.
-1
Suppose -3 = f - 4*p - 11, 2 = -p. Solve 0 = 5*m + 2*i - 14, 4*m + f*i - 10 = -i for m.
2
Let w(k) = 3*k. Let m be w(4). Let d = m + -9. Solve -4*o = -s + 7, -d*s - 6 = 9 for o.
-3
Suppose y = -4*u + 35, -u = -2*y + y - 5. Let v = -3 - -6. Solve v - u = p - 2*t, 5*t = -4*p + 32 for p.
3
Let b be (2/(-3))/(36/(-270)). Solve 5*p + v - 29 = 0, 7*p = 2*p - b*v + 45 for p.
5
Let g = 101 - 97. Solve 3*u + n = 2*u - 2, -2*u = g*n for u.
-4
Suppose 3*z = 4*a + 54, -4*a + 5*a = 4*z - 59. Let x be (-80)/(-14) - (-4)/z. Suppose 46 = x*g - 4*g. Solve -3*h + 4*w - 11 = 0, 2*h - 7*h - g = -2*w for h.
-5
Suppose n = -3*u + 17, 5*u - n + 2*n - 25 = 0. Suppose 5*q = u*k - 6, q - 4*k = -3*k - 2. Suppose -3*r = -0*r. Solve 7 = -z + 5*a, r*z = -3*