 2*z + 12 for z.
-5
Let a be 2/(2/(-3)) + 7. Solve -a*v + 3*k + 4 = -2*v, -3 = 5*v - k for v.
-1
Suppose -b - 1 + 3 = 0. Suppose -3*a = b - 11. Solve -5*z = -w + 12, a*w = -z + w - 9 for z.
-3
Suppose 10 = 4*o - 2*q, -5*o + 1 = -4*q - 19. Suppose o = 4*w - 2*w. Suppose 0 = b + 2*b - 9. Solve b*f - 4*z + 13 = 0, w*f - z + 7 = 3*f for f.
1
Let x be -18 + 15 + 7*1. Suppose x*c - 2*c - 26 = 3*f, 4*f + 18 = c. Solve l = -g - 10, 2*l + 0*l + c = 0 for g.
-5
Let y(k) = -9*k - 5. Let v be y(-4). Let i be (-12)/(-9)*3/2. Solve -i*z + v = 5*a, -5*z + 5*a - 10 = -0*z for z.
3
Suppose -2*r + r + 6 = 4*s, 0 = 5*r + 5*s - 15. Solve -2*f + 9 = r*f + l, -l - 9 = -5*f for f.
2
Suppose 3*z - 14 = -5*h, 0 = -0*h + 2*h - 2. Let x be 1/z + 1/(-3). Let g be ((-190)/40)/(1/(-4)). Solve -11 = 4*b + 5*n, -g = -x*b + 4*b - 3*n for b.
-4
Let s(p) = 2*p - 8. Let i be s(6). Let r = 6 - i. Let k be 10*3/6 + -1. Solve r*w + 22 = 3*l, -k*w = l - 0*l + 16 for w.
-5
Let l = 60 + -35. Suppose 4*t - 16 = -3*j, 0*j - l = -5*j - 5*t. Solve 0 = -0*x + 3*x + 2*h - 6, 2*x = 3*h + j for x.
2
Let x = -8 + 20. Suppose 4*k = 5*d - 25, 0*k - 5*k + d - 5 = 0. Suppose k = n + 5*q + x, -32 = 4*n - 6*n + 4*q. Solve -n = -3*o + 4, 5*v - 4*o = -36 for v.
-4
Let n be (4/8)/((-2)/(-20)). Solve -2*i - i = 3*h - 15, -25 = -n*h for i.
0
Let t(o) = 4*o + 10 + 9*o + o**2 - 5*o + 1. Let k be t(-7). Solve k*l - 3 = -3*p - 2*p, p = l - 3 for l.
2
Suppose 2*f - 6 = -2*z - 0, 2*f + 4*z - 6 = 0. Let v(b) = b**2 + 6*b - 10. Let p be v(-9). Suppose y + 0 = 1. Solve 4*r + p = 3*t - r, f*t - r - y = 0 for t.
-1
Suppose -42 = -3*o - 0*o. Suppose 2*j - 5*h = 25, 3 = 4*j + h - o. Suppose 4*a + 12 = 4*q, a = 5*q - a - 12. Solve 2*s - b = -q*s - 3, -3*s + 2 = -j*b for s.
-1
Let v = 6 + -13. Let j be (-2)/(-4) - v/2. Suppose -j*c + 9 = -51. Solve -10 = 2*m - 4*r, -3*m + 5 = r - c for m.
5
Let n(c) = c**3 + 4*c**2 - 2*c - 4. Let f be n(-4). Suppose 0 = 3*j - 6*j + 4*q + 3, 5*q = 0. Solve -j - 5 = 2*w - 4*z, 0 = -3*w + z - f for w.
-1
Suppose -205 + 70 = 5*i. Let l be i/(-5) + (-4)/10. Suppose -4*g + 4*t = -4, -g = -3*g - l*t + 16. Solve -2*h - 14 = 3*f, -g*f + 19 = -7*f - 3*h for f.
-4
Let o(v) = -v**2 + 5*v - 6. Let p be o(6). Let k = p - -5. Let a(b) = -b**2 - 10*b - 2. Let u be a(k). Solve -f + 0*f = -3, 4*n = -f + u for n.
4
Suppose c + 2*c = -18. Let j be c/(-9)*(0 + 9). Solve g + 2 = 1, 5*g + j = p for p.
1
Let n be 0 - 2/(-1 - 0). Suppose -4*w + 5 + 15 = 0. Let d = w + -2. Solve 0 = n*b - 10, 3*b + d = 2*v + 20 for v.
-1
Let p be 9 - (7 + -11)*2/4. Solve 10*m + 27 = 5*m + 3*t, 3*m - p = -5*t for m.
-3
Suppose -5*f - 35 = -4*c, 0 = -c - 5*f + 4 - 14. Let g be 0 + 0 + 30/c. Solve -3*n + g*n + 4*z = 19, 2*n = -z + 11 for n.
5
Let c be 2/(2*1/4). Suppose 0*b - 5*b = 0. Let v = b - -5. Solve 0 = -4*y + c*m + 8, 2*y - 3*m + v = 12 for y.
-1
Let r be (2 + 6/(-3))/(2/1). Solve -2*s + m + m = r, -8 = 3*s + 5*m for s.
-1
Let c be (12/7)/((-2)/(-14)). Suppose -k - c = -3*k. Let q be (2 - 2) + (k - 4). Solve -1 = 5*y + q*z + 5, -3*y = -5*z + 16 for y.
-2
Let w = 9 - 5. Suppose -3*q = w*r - 2*q - 2, 0 = 4*r - 4*q + 8. Solve -5*d = -r*l - 2*l - 4, -5*d = l + 2 for d.
0
Let i be 1/4 + 6/(-24). Suppose i = 3*n + 2*r - 41, -5*n + r + 79 = -r. Solve 5*v + n = -q - 8, -3*v + 3 = -5*q for v.
-4
Let k = -43 - -73. Let j = k - 20. Solve 0 = -4*a - o - 0*o - j, 2*a - 4 = -5*o for a.
-3
Suppose 0 = -5*z - 0*t + 2*t + 23, -z - 2*t - 5 = 0. Suppose -10*m = -6*m. Solve -2*r - k = m, r + 4*k - 2*k - z = 0 for r.
-1
Let r(w) = -w**3 + 6*w**2 + 2*w. Suppose 2*h + 1 = 13. Let t be r(h). Solve -3*m = 4*s - 24, t = 2*m + 4 for s.
3
Let c(x) = -x**3 + 5*x**2 + 6*x + 5. Let l be c(6). Solve 3*s + 2 - 1 = -u, 5*u = s - l for u.
-1
Suppose 0 = 2*g + 3 - 9. Suppose -5*n - 15 = 5. Let z = 16 + n. Solve g*l = 5*x - 27, -x - z - 5 = 5*l for x.
3
Let j be (-2)/(-8)*-4*(0 - 5). Solve -3*p + 14 = j*r - 10, 0 = -2*p + 2*r for p.
3
Suppose -y - 7 = 5*q - 19, -2*y = 4*q - 12. Let x be (-2)/8 - 1/(-4). Let m be (1 - x)/(-1 + 2). Solve -5*o - 10 = -q*a, 2*o + 2 = a - m for o.
-4
Let m(l) = l**3 + 7*l**2 + l - 27. Let g be m(-6). Let a(r) = 3*r - 1. Let n be a(1). Suppose 16 = n*p - 26. Solve 4*h = -y + p + 4, -g*y + 35 = 4*h for h.
5
Let i be (8/2)/(-2)*1. Let u be -5*(i - 48/(-15)). Let r be 4/u*36/(-8). Solve h + r*g - 8*g - 7 = 0, -h + 3*g = -5 for h.
2
Suppose 5*o - 19 = 56. Solve -m + 2*t = -0*t + 7, 5*t - o = 5*m for m.
1
Suppose 0*y + 5*r = -2*y + 25, -17 = -2*y + 3*r. Let l be ((-4)/10)/((-2)/y). Solve 0 = -g - 2*g + 3*j + 27, 0 = l*g + j - 6 for g.
5
Suppose 0 = n - s - 16, 4*n + 3*s - 70 = s. Let g = n - 16. Solve -3*i - 2*d - 2 = 0, 2*d - g - 1 = -5*i for i.
2
Suppose 3*b - 2 = 4*y + b, 3*b - 9 = 3*y. Suppose 3*d - 111 = 3*f, 74 = 2*d - 6*f + y*f. Solve 2*g + 3*x = 9, 0*g - d = 4*g - 5*x for g.
-3
Let v = 5 + -8. Let r be (0 - v)/(-1)*-1. Solve t - 15 = -5*q, 3*q + 0*q = -r*t + 21 for q.
2
Let u = 11 + -9. Suppose -u*o = o - 4*i - 26, -o = i - 4. Solve -3*n = -4*d - 18, 3*n - 6*n - 4*d - o = 0 for n.
2
Let i(r) = r + 14. Let f be i(-10). Suppose -f*a = -2*d + 8, -3*a - 4*d + 5 + 11 = 0. Solve 4*t + 4 = -4*k, -3*t - 4*k - 1 - 2 = a for t.
-1
Suppose -9*m - m + 20 = 0. Solve 4 = -w - 5*s - m, -5*w = -4*s + 1 for w.
-1
Let k(d) = -2*d - 10. Let l be k(-6). Suppose 0 = l*x - 3*x + 5. Solve 0 = -v - 2*c - 10, x*v - 2*c = -14 for v.
-4
Let l be (2/5)/((-1)/(-25)). Let y be (36/(-30))/((-4)/l). Solve -y*t - 2 = -8, -1 = 5*j + 2*t for j.
-1
Let o = -14 - -15. Let t be o + 64/4 - 2. Solve 5 = -z, 5*z = -0*l + 5*l - t for l.
-2
Let o(z) be the second derivative of z**3/6 - z. Let p be o(-2). Let b be -1*2*(1 + p). Solve -b*m = l - 9, 5*l - 27 = -3*m + 2*m for l.
5
Let s = -4 + 5. Let y be 2/(s - (1 + -1)). Let a be ((-8)/6)/((-3)/9). Solve y*n - 1 = 4*w + 9, n + a*w = -19 for n.
-3
Let a(b) = -b**2 - 14*b - 40. Let u be a(-10). Solve u = 4*i - 5*p + 10, -i + 6 = 4*p - 2 for i.
0
Suppose 4*y = -0*d + 2*d + 2, 2*y = 5*d - 11. Let p(a) = 6*a - 4. Let t be p(d). Suppose -t - 1 = -3*f. Solve -2*g = -f*r - 2, -r - 5*g + 5 = -2*r for r.
0
Let q be 69/9 + (-4)/6. Suppose -4*o = -5*d + 14, -5*o - 2 = 5*d - q. Solve -4*x = x + d*v - 5, -v = -x + 8 for x.
3
Let h(m) = 3*m**2 + m + 1. Let f be (0 + 3/(-6))*2. Let o be h(f). Suppose o*i - 25 = 2*i. Solve -3*g - i = 2*g, -25 = -2*t + 3*g for t.
5
Let t = -9 + 9. Solve -4*v + t*v - 8 = 4*g, 2*v + 7 = -3*g for g.
-3
Suppose -3*h + 9 = -9. Suppose h = -5*o + 31. Solve -3*c + 4*z = -7, 5*z - 2*z = -o*c - 27 for c.
-3
Let k(t) be the second derivative of t**4/3 - t**3/6 + t**2/2 + t. Let d be k(1). Let r be 2/3*30/d. Solve -4*m + 12 = x, 3*m - m - 28 = r*x for x.
-4
Let l(s) be the third derivative of -s**6/120 - s**5/10 - 7*s**4/24 - 7*s**3/6 + 4*s**2. Let u be l(-5). Solve 5*z + 28 = -u*i, 2*i = -3 + 1 for z.
-5
Let b be 76/18 + 4/(-18). Suppose y - 8 = b. Solve 24 = -a - 5*q, a - 3*a - q - y = 0 for a.
-4
Suppose 5 = 3*f - 2*f. Solve 0 = f*i - 5*h - 5 - 0, -3*i - 5*h + 3 = 0 for i.
1
Suppose -16*h = -12*h - 12. Solve 3*o - h*b + 4*b = 1, -b = -4*o + 13 for o.
2
Suppose -3*q = -4*q. Let u be q + 0 - (-1 - -1). Let b be (-2)/(-4)*u/2. Solve 2*n - 4*n + 5*s = 21, b = -2*n - 5*s + 29 for n.
2
Let k = -35 - -40. Solve -x - 2*x + 34 = k*r, -8 = -r - x for r.
5
Suppose -49*c = -47*c - 4. Solve -5*f = -2*p + 6 - 3, 0 = -2*f - c for p.
-1
Suppose 0*k - 2*k = 0. Solve 3*p + 2*r + k = 20, 0 = p - r for p.
4
Suppose -69 = -4*s - 9. Solve -2*u - 3*y - 1 = -0, y + s = 3*u for u.
4
Suppose 28 = 5*y - v, 2*y - 5*v + 5 = -10*v. Solve y*h - 30 = -5*k, 4*k - 17 = -3*h + 4 for k.
3
Suppose -3*r + 7*r - 40 = 0. Let u be ((-12)/(-8))/(6/(-8)). Let t be u/(-4) + 1/(-2). Solve 4*h + 5*l + r - 31 = t, -4*h = -3*l - 13 for h.
4
Let l be (24/78)/(2/13). Solve 3*t + 5 = -5*i, -3*i - t + l*t = -11 for i.
2
Let j = -3 + 6. Suppose -2*h = -12 + 2. Solve 3*i + 8 = -x, -h*x = -j*i + 2*i + 24 for x.
-5
Let v be ((-16)/28)/(8/(-28)). Let h(s) = -s**2 + 3*s. Let i be h(3). Let k = i + v. Solve q + 9 = 4*j - 4*q, q = -k*j + 1 for j.
1
Let b(p) = -p**3 - 4*p**2 - 4*p. Let o be ((-3)/(-6) - -1)*-2. Let c be b(o). Let n = -3 - -7. Solve 6 = c*k + 2*l - 5, 1 = -k + n*l for k.
3
Let o be 1/(-1 + 2)*2. Suppose 2 = o*p - 8. Suppose 0 = p*z + 8 - 18. Solve -5*k =