4 for z.
1
Let d be (-2)/5 - ((-136)/(-20))/(-2). Suppose -r - 20 + 0 = -5*k, r - 7 = -4*k. Suppose 10 = t + 4*t. Solve k = d*m - 4*m, -b = t*m + 3 for b.
3
Suppose -5*g + 3*j + 3 = -6, -4*j + 17 = 3*g. Suppose 0 = -3*f + 7 + 23. Solve 5*u + 0*z + f = -5*z, g*u = 5*z + 2 for u.
-1
Let l = -35 + 35. Solve l = 5*h - 15, -3*h = -r - 7*h + 15 for r.
3
Let h(n) = n**2 + 4. Let l = -5 + 5. Let i be h(l). Solve -4*d = i, -5*s + 4*d = 1 - 5 for s.
0
Suppose -4*l + 8 = -8*l. Let i = -8 - l. Let z(c) = -c**3 - 5*c**2 + 6*c + 9. Let d be z(i). Solve -4*h = k - 2*h + d, 0 = -5*h - 20 for k.
-1
Let a(w) = -w**3 - 12*w**2 + w + 14. Let x be a(-12). Solve x*f = -5*r - 6, -2*r + 3*r = -4*f + 6 for r.
-2
Let m(z) = z**3 + 5*z**2 - 9*z - 18. Let x be m(-6). Solve -4*q + 3*s + 13 = 0, -q - 2*s + s - 2 = x for q.
1
Suppose -5*c + 9*c = 12. Suppose 1 = -3*m + m + 5*b, -b = -c*m + 5. Solve 3*o - n + 6 = 0, 3*o = 3*n + m*n - 6 for o.
-2
Let f(j) = j**3 - 3*j**2 - 5*j - 2. Let b be f(4). Let v(l) = l + 7. Let r be v(b). Suppose -4 - r = -x. Solve -3*u + 4*o = 3, x*u - o + 7 = -15 for u.
-5
Suppose 0*l + 4*l = -4*s + 16, -8 = -s + 3*l. Solve -5*w = -4*y - s, 4*w = 5*w + 5*y - 1 for w.
1
Suppose -f + 36 = 2*f - 3*g, 3*f - 11 = -2*g. Solve 3*i - 2*v = 3, f*v - 1 = -i + 4*v for i.
1
Let m(a) = -a**3 + 6*a**2 - 4*a + 2. Let n be m(2). Let g be n/6 + 5/15. Suppose -g*x = -5*x + 9. Solve -4*w - 3*z = -0*w - 5, 3*w = -3*z + x for w.
2
Let u be (-5)/25 - 2/(-10). Suppose u = 2*i + i - 2*k, 3*k - 3 = 3*i. Solve -5*b - 5 = 0, -3*x + b = i*x - 21 for x.
4
Let g = 41 - 29. Suppose 30 = -3*t - o, 3*t + 21 = -0*o + 2*o. Let v = g + t. Solve -v*u = 0, u = -5*r + 21 + 4 for r.
5
Let f = 26 - 10. Solve 5*k - 20 = 5*c, -3*c = -7*c + k - f for c.
-4
Let o be 3/(-6)*0/(-1). Suppose -2*y - 2*y + 12 = o. Solve 3*b - 3 = 0, -4*n + y + 2 = b for n.
1
Suppose -x - 16 = -2*x. Suppose 4*l = -x, f + 4*f - 143 = 2*l. Solve 5*j + 4*t + f = t, j = -t - 7 for j.
-3
Let g be (-4 + 3)*(0 + 2) + 5. Solve 5*i - 25 = 0, 5*d + i = -g*i + 30 for d.
2
Let h be (-1)/(2 + 1/(-1)). Let w = h + 1. Let k = 55 + -42. Solve -j + 4*j - 3*s = 15, -4*j - 3*s + k = w for j.
4
Let x = 32 - 31. Let b(i) = -i + 6. Let m be b(4). Solve 5*a - m*r = 3*a + 2, 4*r = 5*a - x for a.
-3
Suppose 0 = -2*m + 13 + 29. Let p = 23 - m. Solve 0 = -v + 5*y - p, 0 = -2*v + 3*y - 2 + 5 for v.
3
Let t = 0 + 4. Suppose 1 = 3*x - 5. Solve 0 = -t*n - y + 13, 2 + 4 = -x*y for n.
4
Let l(b) = b - 2. Let o be l(4). Solve -10 = 2*i, o*x = -i - 0*i - 11 for x.
-3
Let j be (0*2/(-4))/1. Let m be 51/(-15) + (-4)/(-10). Let t = m + 5. Solve 0 = -o + 3*u - 12, -o - t*u - 2*u + 9 = j for o.
-3
Let k = -5 - -6. Let d be k/(-3) - (-13)/3. Solve -2*c + 5*n = -0*c - 23, d*n = -2*c - 4 for c.
4
Let h(g) = g**2 + 8*g + 2. Let n be h(-8). Let z be 8/n*(-1)/(-2). Solve 4*o = 3*r - 7, 1 = -3*o - z*r - 0*r for o.
-1
Let d(f) = 2*f - 1. Let p be (-1)/(-1 + 4/6). Let g be d(p). Suppose 3*h - 8*h - 3*q = g, 5*h + 5*q = -15. Solve 4 = 4*s - 2*r, h*s - 2*r = 3*r - 14 for s.
3
Let d = -15 + 15. Solve 2*p + 2*t + t = d, -4*t - 17 = -3*p for p.
3
Suppose -11*j + 14*j = 57. Suppose 17*b = j*b - 20. Solve 3*f + 5*h = b, -5*f - 6 - 4 = 3*h for f.
-5
Let m(y) = y**2 + 4*y + 1. Let t be m(-3). Let l be t/(-4)*-2 + 4. Solve g = -3*u - 14, l*u = -4*g + 2*u - 12 for g.
-2
Suppose i - q = 3*q + 4, 2*q = 0. Let w = 3 - 1. Let z = w - -3. Solve -z*t + 4*v + 0 + 16 = 0, -i*v = 2*t - 12 for t.
4
Suppose -2*j + 3 = -0*j + a, 0 = -4*a + 20. Let t = j - 0. Let w be 4 + (0 - 1 - t). Solve h - 9*m + 28 = -w*m, h + 5*m - 22 = 0 for h.
-3
Suppose -2*u - 2*u = -20. Suppose 4 + u = 3*a. Solve a*r = -6*f + f + 17, 1 = -r for f.
4
Let t = 39 - 36. Solve 0 = -4*a + 8, a = t*i + 6*a - 1 for i.
-3
Let h = -18 - -22. Solve k - 12 = 3*q, k = h*q - 2*k + 11 for q.
-5
Let o be 17/4 + (-6)/(-8). Solve 26 = -3*h - 5*d + d, o*d = -2*h - 29 for h.
-2
Let s(k) = 2*k - 14. Let r be s(9). Solve -r*m = -3*d + 27, m - 4 = -3*d + 8 for d.
5
Let g be ((-16)/(-12))/((-2)/(-12)). Suppose 0*x - g = -2*x. Solve 13 = -4*f - 3*v, x*f - 8 = -0*f + 4*v for f.
-1
Let x = -1 - -3. Let o(g) = g**2 - 5*g + 6. Let r(k) = -k**2 + 5*k + 1. Let p be r(4). Let q be o(p). Solve x*w + 3*n = -15, 3*w + 0*w - 5*n = q for w.
-3
Let o(v) = v + 6. Let r be o(-7). Let z = 5 + r. Solve 4 = -0*a + 2*a, -2 = z*j + a for j.
-1
Let x(z) = -z**2 - 13*z - 6. Let d be x(-11). Let j = d - 14. Solve j*l - 10 = 4*f, -4*f - 3*l = -0*f - 15 for f.
0
Let x(l) = -l + 19. Let k be x(13). Let r be 2*1 - (-1 - k). Solve 5*a + 24 + r = -2*s, 2*a - s + 6 = 0 for a.
-5
Let a be (-54)/(-4) + -2*(-7)/28. Let h(k) = -k**3 - k**2 + 4. Let n be h(0). Solve -n*t - p - 23 = 4*p, a = -4*t - 2*p for t.
-2
Let u be (3 + -12)/3 + 7. Solve -5*z = r + 11, -19 = -u*r - z - 6 for r.
4
Let b(t) = t**2 + 2*t + 3. Let z be b(-1). Let o(a) = -a**2 - 5*a - 4. Let h be o(-3). Solve 3*q + 17 = 5*p - 0, h*q = -z*p + 10 for p.
4
Suppose -6*q + 5*q = -2. Solve -3*z = 4*v - 7, -16 = -q*v + 4*z + 4 for v.
4
Let k = -24 + 28. Let w(j) = j - 2. Let v be w(5). Suppose -z - 3*i - 1 = 5, 0 = 4*z + 5*i + v. Solve -3*a - 4*o = 12, k*o = -3*a + z*o - 3 for a.
0
Let u be 33 + (0 - 1) + 1*-3. Let c = -13 - -20. Solve -p - 4*o = -8 + u, 2*o - c = 3*p for p.
-5
Let o = -33 - -48. Suppose b + o = 4*b. Suppose 0 = 2*m + u - 15, 0 = 3*u - 0*u - 15. Solve -k - m = b*t + 5, 0 = 3*t - 2*k - 7 for t.
-1
Suppose -3*c + 6*c = 15. Suppose 0 = 2*i + 4*z, -4*i - 2*z = -5*z + 11. Let j be 0 + (i - 0 - -4). Solve -j*g + c*g = -5*b - 12, 8 = -2*g + 2*b for g.
-4
Suppose 45 = 8*o + o. Solve z + 4 = -l, -z = -5*l - o - 3 for z.
-2
Suppose -3*q - p = -33, 2*p = -5*q + q + 46. Let b(i) = -i**2 + 2*i + 10. Let h be b(-3). Let o = q + h. Solve 3*z - o*z - 23 = 5*c, 0 = -5*c - 5*z - 35 for c.
-3
Let p(b) = 2*b - 4. Let r be p(4). Suppose -r*y + 13 = 1. Solve y*q - 2*h + 17 = 0, -4*q = q - 4*h + 31 for q.
-3
Suppose 0 = -0*b + 2*b + 20. Let l be (-2)/b - (-28)/35. Solve 3*f = h + l, -h - 7 = 2*f - 1 for f.
-1
Let z(w) = -2*w - 1. Let h(a) = -3*a. Let j(r) = -3*h(r) + 4*z(r). Let o be j(6). Solve 22 = -4*u - o*p, -4*u + 2*p + 1 = -u for u.
-3
Let h(b) = -b + 3. Let c be h(5). Let n be 6*(-6)/8*c. Solve 0 = 2*i + 2*l - 4, n = i - 2*l + 4 for i.
3
Suppose 4*g - 2*n - 8 = 0, -n - 4 = -g - 2*g. Let w be -2 - (-2 + (1 - -2)). Let k be g + w/(3/(-5)). Solve 4*j = 3*j + k*u + 21, 2*u = 3*j - 11 for j.
1
Suppose i + 24 = 5*w, 2*i + 20 = 4*w + i. Solve 4*a + 8 = 3*m, -m - 24 = w*a - 0*m for a.
-5
Suppose 2*u = -3*h + 2*h + 2, -5*h - 16 = -3*u. Suppose 3*a + o = 46, -a + 5*o = -5*a + 76. Solve 4*q = l + a, u*q - 2*l = 2*l for q.
4
Suppose 0 = -0*y + y - 4, d - y - 5 = 0. Solve -3*l - d = j, 3*l + 2*j = 7*j - 27 for l.
-4
Let z(p) = p**2 - 11*p + 13. Let f(u) = u**3 + 5*u**2 + 3*u + 2. Let c be f(-3). Let k be z(c). Solve 2*w - 3*v - v - 16 = 0, 4*w = -v - k for w.
-2
Let l = -13 - -3. Let g be l*(1 - 12/8). Solve g*m - 2*t = 0, -3*m - 3*t - 25 = 2*m for m.
-2
Suppose -a + 5 = 5*t, -t + 6*t = 5*a + 35. Let j = a - -8. Solve 5*n - j*n = 2, -v - 3*n + 2 = 0 for v.
-1
Let j be 48/(-1 + 4) - (4 - 2). Solve r = 3*h - 10, -h - 4*r = -0*h + j for h.
2
Let x(r) = -r**2 + r + 13. Let q = -8 - -8. Let z be x(q). Solve 0 = -3*s + o + z, 0 = -3*o - 0*o + 6 for s.
5
Suppose 0*h = 4*h + 2*m, -3*m = -h. Solve 2*t + n - 2 = 0, t + 0*n - 3*n + 6 = h for t.
0
Let n(s) be the second derivative of s**3/6 + 13*s**2/2 + 7*s. Let f be n(-5). Solve -6 = -b + 2*z, -2*b + f = 3*b + z for b.
2
Suppose 3*c = -3*m, c - 3*c = -m - 15. Suppose w - 3*z = -c, 0*z + 4*z - 4 = 4*w. Let o be (w - (-39)/(-6))*-2. Solve 0*p + 5*p - o = -i, -5*i = p + 17 for p.
3
Let q be -6*6/(-8)*-2. Suppose -5*t = -t + 24. Let l be t/q + (-10)/(-3). Solve 2*v + 3*i + 2*i = -2, 4 = -l*v + 4*i for v.
-1
Let u(c) = -c**2 + 5*c + 3. Let d be u(5). Let a(b) = b**3 + 8*b**2 + 7*b. Let l be a(-7). Solve -d*p - 9 = -w, 0 = -l*w + w + p - 1 for w.
3
Suppose -m + 3*m - 4 = 0. Solve -40 = -5*a + 5*n, a - 16 = -m*a + n for a.
4
Let k = -7 - -21. Solve -4*g = q - 16, 3 - k = -2*q - g for q.
4
Let y be 28/6 + (-2)/3. Let f be (-3*y)/(5 + -7). Suppose -26 + f = -4*j. Solve -j*c - 25 = 0, c = -5*a - 3*c - 5 for a.
3
Let a = -9 - -13. Solve z + 10 = -a*z - 5*x, 5*z + 2*x + 10 = 0 for z.
-2
Su