3*a - 4*z - 6 for a.
2
Let j = -5 + 7. Let b = 29 - 49. Let a be (1*3)/((-15)/b). Solve 4*h = -f - f - 8, -a*h - 5*f = j for h.
-3
Let p be (-22)/(-5) - (-2)/(-5). Let k be (-1)/(-2) + 90/p. Solve 2*v - 4*w - k = -3, 4*v - 2*w = 16 for v.
2
Let c = -5 + 6. Solve 2*a - z + 1 = -2*z, -a + z = -c for a.
0
Let o = 7 + -5. Let s be (7 - -1)/o - -5. Solve -w + 2 = 2*k + s, 18 = 2*k - 4*w for k.
-1
Let o = 1 + -1. Suppose s = 5*s + 8. Let i = o - s. Solve 0 = i*x - 3*b + 11, -2 = -4*x - 2*b - 16 for x.
-4
Suppose -2*l - 2*v - 61 = 3*l, -l - 20 = 3*v. Let x be (-2)/3 - l/3. Solve -b - 5*a + 24 = 0, -x*b - b = 4*a - 32 for b.
4
Let o = -40 - -43. Solve v = o*l - 13, 3*v - 31 = -4*l - l for l.
5
Let g be 0/(-3 - -5 - 3). Solve 0 = y - g*p - p - 7, -2*y + 4*p = -24 for y.
2
Let k be 2/(-2) + 18/9. Solve 11 = 2*z - x, 4*z + 4*x = 17 - k for z.
5
Suppose -5 = -10*l + 25. Solve 0 = -l*k - 3*q - 9, -k = 2*k + 4*q + 14 for k.
2
Suppose -3*f - 16 = 5*y - 0*y, 5*y + 28 = f. Solve -3*s + 3*d = -f, -3*d - 12 = 3*s + 3 for s.
-2
Suppose -f = -4*f + 6. Solve -4*t + 5*s - 16 = 0, t = f*t + s + 4 for t.
-4
Let g(w) = -2*w**2 - 20*w + 5*w**2 - 2*w**2. Let y be g(10). Let a be (-2)/8 - y/16. Solve 0 = l + 4*l + 4*f + 17, 0 = -2*f - a for l.
-1
Let o be 1/(-4) + (-11)/4. Let l be 17 - -1 - (o + 6). Solve -3*y - l = -2*h + 3*h, -h = 0 for y.
-5
Let i = -145 - -150. Solve -4*m = 4*a, -m - i*a + 12 + 4 = 0 for m.
-4
Let u(q) = q**2 - q + 1. Let w(k) = k**2 + 12*k - 16. Let x(g) = 2*u(g) - w(g). Let y be x(13). Solve h + 3*m - 7 = -h, y*h + 30 = 2*m for h.
-4
Let t(a) = a + 23. Let c be t(-19). Solve -c*i - q = -2*q - 13, 0 = -i - q + 7 for i.
4
Let o = -5 - -7. Suppose 0 = 3*g + 5*c - 3*c - 5, 0 = -5*g - o*c + 11. Let r = 10 + -7. Solve -f = r*j + 17, -j = 4*f + g*j + 28 for f.
-2
Let z(g) = g**3 - 4*g**2 - g + 4. Let l be z(4). Solve -4*w - 5*q - 3 - 8 = l, -3*q = -3*w + 12 for w.
1
Suppose -j = j + 5*i - 25, -3*j + 5*i = 25. Suppose j = m - 2*m + 4. Solve 2*t - 5*t - 15 = 4*w, 1 = w - m*t for w.
-3
Let u(n) = 2*n - 4. Let v be u(3). Solve -2*c + 27 = -5*f, -f - 7 = -v*c - 0*f for c.
1
Let n be (12 + -3)/(-3) + 0. Let c be 4 - (n - (-2)/1). Solve 2*q = -2*y - 10, -c = 2*y + y - 2*q for y.
-3
Let o(u) = -u**2 - 13*u - 10. Let f be o(-12). Solve v = f*m + 4, m + 3*m + 4*v = 4 for m.
-1
Let l(q) = -q**3 + 21*q**2 - 20*q. Let d be l(20). Let j = -6 + 9. Solve 3*h - j*w = d, w = 2*w + 3 for h.
-3
Let o be (-2)/10 - (-2)/(11 - 1). Solve -5*l + 5 = -5*j, -2*l = -o*l + j - 5 for l.
2
Let s(r) = 2*r. Let c be s(-1). Let f be (21/6)/((-1)/c). Solve 2*q - 17 = 5*w - q, -3*q = w + f for w.
-4
Suppose x + x = -6. Let a be (3 + 2 - -3) + x. Let w(j) = -16*j + 1. Let l be w(-2). Solve a*k = -5*z + 4*k + 27, 0 = -5*z - 4*k + l for z.
5
Let h = -14 + 15. Suppose 4*c + 2*d - 11 = -1, -3*c + d = -10. Suppose w + 2 = 5*x, -2*w = -c*x + h - 4. Solve 5*m + 0*v = 3*v + x, v + 5 = 4*m for m.
2
Suppose -3*k + k + 8 = 3*g, 5*k - 1 = 2*g. Solve z + 2 - k = y, -2*y = 0 for z.
-1
Let b(w) = 4*w - 14. Let p be b(4). Solve 5*r = -n - 2, -3*r = -p*n + 9 - 0 for n.
3
Suppose 0 = 14*y - 8*y - 30. Solve 0*r + 11 = -3*r - 4*n, 25 = -y*n for r.
3
Let j = 29 - 24. Let r(h) = -h**2 + 5*h - 1. Let b be r(3). Solve -5*v - 5 = -3*u, 0*u + u - j*v = b for u.
0
Let x = 5 - 2. Let k = -13 - -16. Let c(h) = -3*h - 1. Let r be c(-1). Solve k*t = 4*i - 24, -r*t + 17 = -4*t + x*i for t.
-4
Suppose -5*w + 2*w - 5*b + 2 = 0, -3*b = -5*w + 26. Solve -4*l + 16 = w*v, 2*v + 1 = 3*v for l.
3
Let z be (2 - -1) + 2/1. Suppose -d - 20 = -z*d. Solve -h + 5*s - 10 = -0*h, -h + 20 = d*s for h.
5
Suppose -7*f = -3*f - 28. Let x be 9 - 1 - (0 + 0). Let n = x - 6. Solve n*t = -3*g - 4, 0*g = -t + g - f for t.
-5
Let t be (-7)/(-7)*14/1. Suppose -4*d + 2 + t = 0. Let y be 22 - (0 - (1 + 1)). Solve 2*j - d*n + 24 = 0, j - n - 4*n = -y for j.
-4
Suppose -z - 4*h - 4 = 10, -4*h - 22 = -3*z. Suppose -2*d + 2*f + 0*f = -8, -2*d - 5*f - 6 = 0. Let s = d + z. Solve 3*x + s = 2*g - 4, 5*g - 20 = 5*x for g.
4
Suppose 5*h + 15 = 0, -3*z + 0*h + h + 9 = 0. Solve -2*b = 5*c - b + 4, -z*b + 4 = -2*c for c.
-1
Suppose -2 - 3 = -5*p, 1 = 2*s - 5*p. Solve s*y + 2*u + 20 = 7*u, 9 = -y + 4*u for y.
-5
Let h = 24 - 9. Suppose -n = -7*m + 4*m + h, -5*m = -4*n - 25. Solve -m*t - 2*l + 25 = 0, -5*t + l = -0*l - 25 for t.
5
Suppose 4*s - 12 = -6*n + n, -2*n + 4*s = -16. Let j = 1 - 0. Solve a - 8 = -n*r + 3, -r - 4*a = j for r.
3
Suppose 7 = 4*u + 3. Let n = u + 3. Solve 22 = 2*c + n*h, 3*c + 0*h - 8 = -h for c.
1
Let q(c) be the third derivative of c**6/120 - c**5/12 - c**4/8 + 5*c**3/6 - c**2. Let t be q(6). Solve 1 = j + 3*k, -3*j + 8*k - t = 4*k for j.
-5
Let u = 7 - -1. Let j = -6 + u. Solve j*c = l + l - 12, 4*c + l + 4 = 0 for c.
-2
Suppose 5*z - 10 = -0. Let k = z - 3. Let t be (-2 - 3)/(k - 0). Solve 3*r + 2*r + b = 11, 1 = -t*r - 4*b for r.
3
Suppose -26 = o - 5*i, 3*o + 5*i = 8*o + 30. Let f be 0 - (o + 2 - 1). Solve -5*y = -f*y - 2*m + 19, 2*y = -m - 13 for y.
-5
Suppose 5*i - 6 = 3*i. Let j be 3*(3 - (i - -1)). Let w = j + 12. Solve m - 3*t - w = -t, -10 = 2*t for m.
-1
Let w = 78 - 74. Solve -5*r + 0*r - 25 = -w*q, 0 = -4*q for r.
-5
Suppose 2*n = 2 - 0. Solve -3*m = 3*y + 3, -4*y - 3*m - 4 = -n for y.
0
Let f be 234/57 - (-16)/(-152). Solve p - 2*r - 14 = 2*r, -4*p = -r + f for p.
-2
Let l = -28 + 15. Let g = 6 - l. Solve -2*c = -2*t + 6, 4*c - t + g = -4*t for c.
-4
Suppose -4*k + 6*k = -12. Let u be k/(1*(-12)/8). Solve -v - 5*x - 8 - 14 = 0, 4*v = x - u for v.
-2
Let k be 16/(-136) + 548/34. Solve -5*z - k = -5*l - 1, l = -z + 3 for z.
0
Let q be (4/3)/((-4)/(-6)). Let u be q/(-4)*-4 + -2. Suppose -2*b + 3*t = 9, -3*b - 2*t + 9 + 10 = 0. Solve u = -h - 4*a - 7, 2*a - a + b = 0 for h.
5
Let w be -4 - -1 - (-5)/1. Suppose -w*j + 12 = 4*p, -2*j = p - j - 1. Solve -v + i + 7 = -2*v, -23 = p*v + 2*i for v.
-3
Let d(l) = l**3 + l. Let x be d(-1). Let z be (-2 + -22)*x/4. Solve -3*a = -2*n - 3 + 4, -3*n + a + z = 0 for n.
5
Suppose 2*l = -3*q - 2*q - 10, 2*l + 2*q - 2 = 0. Solve 16 + 7 = -m + l*j, 4*j = -5*m + 1 for m.
-3
Let b(j) = -j**3 - 8*j**2 + 9*j + 4. Let i be b(-9). Let f(w) = w**3 - 4*w**2 + 2*w + 4. Let c be f(i). Solve -4*z - 1 = r + c, -r - 1 = 0 for z.
-3
Suppose -5*w + 13 = 2*l - 5, 0 = -l - w + 6. Solve 4*t = -5*a + 21, 0*t - t = -l for a.
1
Let l(t) = -t**2 + 12*t + 8. Let o be l(12). Let m = 3 + 0. Suppose -j = -m*j + o. Solve -j*h - 8 = 4*i, 0 = -2*h - 3*h - 20 for i.
2
Suppose -18*v + 2 = -17*v. Solve -4*s - v*a - 18 = -4*a, 5 = a for s.
-2
Suppose -4*k = 2*m + 24, 0 = 3*k + 2*k + 5*m + 20. Let n = -5 - k. Solve -2*i = -0*b + n*b + 8, 4*b - 5*i = 20 for b.
0
Let m be 2/(((-15)/(-24))/5). Suppose -5*f + m = -3*r, -r + f = 3*f - 13. Solve 2*i = -3*c + 3, -r*c - 1 = -5*i - 4 for i.
0
Suppose -1 = l + 2*s, -4*s + 0 = 3*l - 1. Solve v + 7 = -z, -4*v = -z - l + 11 for v.
-3
Let w(g) = g + 2. Let j be w(0). Suppose -6*n = -5*n - j. Suppose -d = -5*k + n*d, -k + 5*d = 0. Solve h + m + 4 = k, 10 = -2*h - 5*m + 2 for h.
-4
Let d = 1 - -3. Let v(p) = -p**3 - 7*p**2 - 8*p - 7. Let i be v(-6). Suppose -5*h = -i*j - 6*h + 12, -4*j + 6 = -h. Solve 3*k + 5 = 4*k, 6 = d*n - j*k for n.
4
Suppose -4*f = -k - k, 3*f - 5*k = 0. Solve n + s - 5 = f, -2*s + 10 = -2*n - 0*s for n.
0
Let s = -17 - -21. Suppose -2*w = -0 - s. Solve w*k + 30 = 5*l, -4*k + k - 5*l = -5 for k.
-5
Suppose 5*p - 17 - 43 = 0. Suppose p = -4*i, i + 0*i - 5 = -4*a. Solve -5*x - 4*f = -x + 4, 4 = -x - a*f for x.
2
Let h(v) = 3*v**3 - 1. Let z be h(1). Let a be ((-6)/4 - -2)*4. Suppose -3*q - 2*y = -9 - 2, -y + 8 = a*q. Solve -20 = z*s - q*m, -s + 4 = -0*s + m for s.
0
Suppose -u + 3*u = 16. Let m(w) = w**3 - 5*w**2. Let l be m(5). Solve -x + v + 3 = l, -u - 5 = -5*x + 4*v for x.
1
Suppose 0*s = 4*s - 44. Solve 4*k - 20 = 4*q, -s = 5*q - 0*k + 2*k for q.
-3
Let i = 1 + 0. Suppose 4*q + i = 9. Solve p = 3*m - 3*p, -q*m + 2*p = 0 for m.
0
Suppose 6*u - 24 = 126. Solve 4 = 2*n + 3*j, -3*n = -0*n - 5*j - u for n.
5
Suppose 2 = j + 1. Suppose 2*q - j + 3 = 0. Let t be q/((-1)/(-10)*-2). Solve 8 = v + 2*k - t*k, 10 = -4*v - 2*k for v.
-1
Suppose -5*d + z + 31 = -3*z, 2*d - 5*z = 9. Suppose -d = -5*r + 3. Solve 4*q + 13 - 1 = 2*h, 2*h = -r*q for h.
2
Let m be ((-16)/(-56))/((-1)/(-7