*z + 2 = 10 for z.
-4
Suppose -3*s = -0*s - 6. Suppose 4*z - 8 = -5*r - s, -26 = -5*z + 3*r. Solve 0*t - 20 = z*t for t.
-5
Let g be (1/3)/(3/18). Solve -3*q = g*q + 5 for q.
-1
Let p = 10 + -6. Let n = 0 - -4. Suppose 18 = n*x + 2. Solve -x*b + 8 = -p for b.
3
Let d(k) = k**2 + k + 14. Let h be d(0). Let p = -7 + h. Solve 0 = 3*x - p*x for x.
0
Let u(o) = 7*o + 5. Let k(w) = -6*w - 6. Let b(c) = 6*k(c) + 7*u(c). Let f(i) = i**2 + 11*i + 11. Let a be f(-10). Let d be b(a). Solve d = -0*t + 4*t for t.
3
Let h = 14 + -17. Let s = 0 - h. Solve 1 = u + s for u.
-2
Suppose 2*k + 44 - 58 = 0. Solve -20 = -12*t + k*t for t.
4
Let a(b) = 3*b**3 + b**2 + b - 1. Let o be a(1). Solve 0 = -y + o for y.
4
Let a = -2 - -5. Suppose 2 = 2*t + o + 3, 4*t = -a*o - 7. Suppose -2*d = 3*i + t*d - 14, -d = 4*i - 10. Solve 0 = -u - i*u - 12 for u.
-4
Let b(v) = v + 1. Let r = 7 + -10. Let w = 6 + r. Let o be b(w). Solve o = 4*x - 8 for x.
3
Let j(u) = u**3 + 5*u**2 - u - 1. Let y be j(-5). Let o be y/6*(1 - -5). Suppose o*q - 2*q = 8. Solve -w = q*w for w.
0
Let c be (2/5)/(3/15). Suppose 5*j + 2 = -2*k, 0 = c*k + 5*j - 4*j - 6. Solve -k*x + 16 = -0 for x.
4
Suppose -3 = -2*x + 3. Let h be (1 + 1)*(x - 2). Solve -4 - 6 = -h*r for r.
5
Suppose -9 = -3*m - 2*h + 3*h, 4*h + 16 = 2*m. Suppose -6 = 4*l - 5*g + 3*g, l + 6 = m*g. Suppose -4*d = 5*u - 47, d + 2*d - 9 = l. Solve 5 = 3*z - u for z.
4
Suppose 4*l - 32 = 8. Suppose l = -d + 2*q + 2*q, d + 3*q = 11. Solve d*z + 8 = 4 for z.
-2
Let y(v) = 3*v - 10. Let i(g) = g + 4. Let f be i(0). Let r be y(f). Solve -2 = r*z - 0*z for z.
-1
Suppose -d - 2 = -4*y + d, 3*y = 5*d + 5. Let w be (-1 + y)*(-1 - 2). Suppose -2 - 46 = -w*c. Solve -3*b = -7*b + c for b.
4
Let h(j) = -13*j - 9*j**2 + 2 - 12 + 0*j**3 - j**3 - 4*j**2. Let d be h(-12). Solve q + d - 4 = 0 for q.
2
Let v be (-3)/1 - -2 - 6. Let p = v + 11. Suppose 0 = -2*s + p*s - 5*n - 9, -3*s - 2*n + 4 = 0. Solve s = -t + 3*t for t.
1
Let i(m) = m**3 + m**2. Let p be i(1). Suppose 2*a - 18 = -a. Solve -2 = p*l - a for l.
2
Suppose -2*v - 9 = -5*p, 2*v - p + 6 = 3*v. Suppose 2 = 5*m - v. Let x = 6 - m. Solve x = -4*y + 1 for y.
-1
Suppose -3*x + 30 = -3*k, 0 = 4*x - x - k - 24. Solve 5*j + 8 = x*j for j.
4
Let a = -23 + 34. Solve 5*j + 1 = a for j.
2
Let m(u) be the third derivative of 7*u**5/30 - u**4/24 - u**3/6 - 3*u**2. Let k be m(-1). Solve 2*d = -k + 4 for d.
-5
Suppose 3*i = 4*j - 101, -4*i - 135 = -5*j - 9*i. Suppose 0 = -4*f + 5*p + j, 5*p + 10 = -0. Let z(c) = 2*c - 6. Let r be z(f). Solve -q + 4 - r = 0 for q.
2
Suppose 19*v - 80 = -23. Solve z + 2 = v*z for z.
1
Let v be (-10 + 9)/(2/(-4)). Let n = 4 - v. Solve a + n*a = 0 for a.
0
Suppose -4*q - 18 = -c - 2*c, -4*c + 14 = -2*q. Suppose -c*d = -5*z + 125, -4*d = -5*d. Let y be 424/88 - 4/(-22). Solve -z = y*n - 0*n for n.
-5
Suppose 3*z + 22 = f, z + 0*z + 2 = -f. Let t(i) = i + 7. Let o be t(z). Let d be 2 + (0 - o) - -2. Solve 0 = -3*h + 2*h - d for h.
-3
Suppose z = -3*z. Suppose 0 = 3*l + l + t + 15, z = 2*t - 2. Let a be 0 - -1 - 12/l. Solve -a*c = -c + 15 for c.
-5
Let x(q) = q + 4. Let j be x(4). Solve -j = -l + 5*l for l.
-2
Let x = 25 + -15. Let b = x + -7. Suppose 22 = b*k + 2*t, 0 = -0*t + t - 5. Solve 2*v = 3*v + k for v.
-4
Suppose 4*w + 3*z + 6 = 0, -3*w = -z - 2 - 0. Solve w*t = -t - 2 for t.
-2
Let q = 97 + -93. Solve -5*c + c = q for c.
-1
Suppose -z - 3*z = -56. Suppose x = 5 + z. Let c(y) = -y**3 + y**2 + y. Let n be c(-1). Solve -n = 5*a + x for a.
-4
Let d be (5/(5/(-3)))/(-3). Let g be (2 - 1) + d + -2. Solve g*m = 4*m for m.
0
Let s(k) be the second derivative of k**5/20 - k**2 - k. Let d be s(2). Solve y - d = -y for y.
3
Let d(g) = -g**3 - 8*g**2 - 2*g - 13. Let z be d(-8). Solve z*x + 8 + 1 = 0 for x.
-3
Let f be (-3)/9*8*18/(-12). Solve -f*h + 6*h = 6 for h.
3
Let t(n) = n - 5. Let h be t(0). Let j = h - -6. Solve -w - 5 + j = 0 for w.
-4
Let s = 1 - 1. Let b be s/4 + 0/(-1). Let r(m) = -m**2 - m + 3. Let q be r(b). Solve 8 = q*a - a for a.
4
Let i(m) = -m**3 - 4*m**2 + 2. Let t be i(-4). Let h be (4 - 3)/((-1)/(-4)). Suppose -4*x + 4 = t*a - 9*x, 0 = h*x. Solve -j + 2*j + a = 0 for j.
-2
Let x = 20 + -3. Solve 0 = 5*b - 2 + x for b.
-3
Suppose 4*i = i. Let s = 3 - 5. Let u(v) = -v**3 + v - 1. Let h be u(s). Solve -h*p + 5 + 20 = i for p.
5
Suppose -3*i + i = 5*z - 28, 19 = i + 5*z. Let n = i - 4. Suppose -5*q - 5 = -v, -5*q + 10 = 6*v - 4*v. Solve 5*l = -n - v for l.
-2
Let t(d) = d**2 - 2*d - 5. Let p be t(4). Suppose -9 = -3*u - p*z, 0 = 4*u + 2*z + 3*z - 12. Solve -u*w = -0*w - 3 for w.
1
Suppose 0 = 5*g - 3*a - 31, -3*a = 3*g - 0*a - 9. Solve -x + g*x = 4 for x.
1
Let s be (-40)/(-16)*(-4)/(-5). Suppose -7 = s*p + 1, 0 = -2*w - p + 2. Solve -w*g = -16 + 4 for g.
4
Let a(s) = -s**3 - 2*s**2 - 4*s - 4. Let d be a(-3). Let q = d - 16. Solve q + 19 = -5*b for b.
-4
Let h = -9 + 4. Let w = h - -1. Let t be (0/2)/(7 + w). Solve t = 3*b - b - 2 for b.
1
Let u be (24 - 6)*1/2. Let d(w) = -w**3 + 10*w**2 - 10*w + 13. Let g be d(u). Solve z = -g*z + 15 for z.
3
Let i be -2 - 1 - 10/(-5). Let q be (-4 + i + 1)*-5. Let s be ((-3)/9)/(2/(-18)). Solve -q = s*o + o for o.
-5
Let u(l) = l**2 + l. Let t be u(1). Solve -t*v - 8 = -4 for v.
-2
Let f be (-5)/((-10)/(-6)) + 43. Suppose 5*w = 85 + f. Solve 3*a + w = -2*a for a.
-5
Let a = 20 + -20. Suppose a = -0*n + 2*n - 42. Solve 5*q = -4 - n for q.
-5
Suppose 2*c + 18 + 27 = -u, 5*u + 105 = -5*c. Let q be 8/14 + c/(-7). Solve -q*z = -9*z - 15 for z.
-3
Let j be (9 + 1)*1/(-2). Let c be (21/j)/(3/(-15)). Solve 0 = 4*z + 9 - c for z.
3
Suppose -16*w = -12*w - 52. Solve -w = -5*y + 2 for y.
3
Let u(g) = g**2 + 4*g + 2. Suppose 0*p = -o + 5*p - 24, -o - 4*p + 12 = 0. Let m be u(o). Solve -m*h = -13 + 5 for h.
4
Let a(p) = -5*p**2 + 5*p + 2. Let v(f) = -14*f**2 + 15*f + 5. Let c(q) = 17*a(q) - 6*v(q). Let g be c(-5). Solve 0 = -3*d + g*d for d.
0
Suppose -5*b - 2*t = -2, 5*b + 3*t + 4 = b. Let d = 19 - 17. Solve -d*a = b*a + 16 for a.
-4
Suppose 5*x = 4 + 6. Solve -f + x*f = 0 for f.
0
Suppose -5*h + 1 = 2*i - 6, 5*i - h = 4. Let d(c) = c**2 + c - 1. Let t be d(i). Solve 2*v + t = 7 for v.
3
Let h(b) = -b - 2. Let z be h(-3). Let n = z + 2. Solve -15 + n = 4*y for y.
-3
Suppose 3*r - 10 = -g - 0*g, 2*g + 10 = 0. Solve 0 = -5*k - r + 15 for k.
2
Suppose 0 = -0*d + 4*d + i - 16, 0 = 5*i + 20. Suppose 5*h - 5*a = 60, 18 = 2*h - 4*a - 16. Suppose -x = -4*m, -m + 3*x - h = x. Solve m = j + d for j.
-4
Let j(p) = p**3 - 6*p**2 - 5*p - 2. Let b be j(7). Solve -3*v = -0*v + b for v.
-4
Let o be (-1)/(-9)*-3 + (-28)/(-12). Solve -2*w - o = -4*w for w.
1
Let t(f) = -f**3 + 9*f**2 + 12*f - 13. Let y be t(10). Let k = 3 + -1. Suppose -k*x + 14 = 2*a - 0*x, 3*a - 5 = 5*x. Solve -y - a = -4*m for m.
3
Let w = 43 - 41. Solve -3*d + w = -2*d for d.
2
Let q = -3 - -7. Suppose -n = -0 - q. Suppose 2*t + 3*o = 9 + 1, 4*t - o = 34. Solve -t = n*x - 4 for x.
-1
Suppose 0 = -2*d - d. Suppose w + w - 5*b - 20 = d, 6 = 2*w + 2*b. Solve 15 = -0*x + w*x for x.
3
Suppose -4*w + 13 = 3*l - 3, 4*l + 3*w = 19. Solve l = z - 2*z for z.
-4
Suppose -5*q - 16 - 4 = 0. Let r be (2/q)/(6/(-36)). Let x = 1 - 1. Solve x = r*m - 2*m - 3 for m.
3
Suppose 1 = o - 1. Solve -l + o*l = 4 for l.
4
Let t(w) = -4*w - 1. Let y be t(-1). Suppose 2*z - 5*z = y*g - 9, -z + 2*g = -6. Let h(c) = -c - 8. Let u be h(-10). Solve -2*v - u = z for v.
-3
Let a = 1 + -1. Suppose 5*g + 35 = 3*z, -3 + 9 = 2*z + g. Solve -z*k - 10 = -a*k for k.
-2
Let z(f) = 2*f + 4. Let p(k) = -k - 4. Let n(i) = 3*p(i) + 2*z(i). Let j be n(5). Let d = 1 + j. Solve -5*l + 13 = -d for l.
3
Let k(s) = 3*s**2 + 2*s + 2. Let f be k(-1). Solve -15 = -f*m - 2*m for m.
3
Let b(t) = -t**3 + t**2 - t + 3. Let p be b(0). Let g = 26 + 15. Let z = g + -29. Solve -p*y = -0 - z for y.
4
Let f(t) = t + 32. Let o be f(-10). Solve -2 + o = 4*u for u.
5
Suppose 5*g = -n + 18, -2*g = 3*n - 5*n. Solve -g - 17 = 5*m for m.
-4
Suppose -25 = 4*t - 9*t. Solve -3*j + t*j - 8 = 0 for j.
4
Let q(m) = -m**3 - 6*m**2 - 7*m - 5. Let k be q(-5). Solve -6 + 1 = k*u for u.
-1
Suppose -4*k - 12 = -7*k. Suppose -2*i = 3*i - 3*c, -4*c = -k*i. Solve -3*y - 3 + i = 0 for y.
-1
Let v = -12 + 14. Solve -v*d = d - 3 for d.
1
Suppose 0 = -f - 2*f. Let v = f - 0. Suppo