-2, -4*q + h + 20 = 0. Solve 4*b - 8 = -v - b, -5 = -q*b for v.
3
Let m(c) = -6*c - 71. Let h be m(-15). Solve -2*p = 6 + 4, 0 = 2*r + 5*p + h for r.
3
Let p be (-60)/(-9)*(0 - -3). Suppose 0 = 4*f - p - 0. Solve -k - 3 = b - 5, f*b - 15 = 0 for k.
-1
Suppose 0 = -2*v + 4*v + 4*h + 2, -5*v + 11 = 2*h. Solve -c + 7 = 4*d, -v*d + 3*c = c - 19 for d.
3
Let k be 0 + 2 + 3 + -1. Let t = 2 - -1. Suppose -4*j = 2*g + j + 12, 32 = 3*g - 5*j. Solve 2*p = k*f - 6, -4*p + g*f + 9 = t*f for p.
3
Let b(m) = -5*m - 2. Let j be b(-1). Solve 0 = 4*a - w + 11, 0 = -a - 2*a + j*w + 3 for a.
-4
Let y(m) = 6*m - 17. Let t be y(3). Let v = 6 - 1. Suppose -3*i = v*x - 0*x - 33, 5*x = -4*i + 39. Solve d + i = -d - 4*k, -d = k - t for d.
5
Let n(u) = 12*u**2 + u. Let r be n(-1). Solve -5*k - 15 = -5*p, -1 = -2*k - 2*p - r for k.
-4
Suppose 7*x = 5*x + 4. Let t be x/(0 + 2/4). Solve -1 - 13 = t*o + 2*p, o - 4*p - 10 = 0 for o.
-2
Let j = 106 - 92. Solve 8 = 5*b - 4*y, -5*b + 0*y = -2*y - j for b.
4
Let f(q) = 11*q**3 + q**2 - q - 1. Let z be f(-1). Let a = -5 - z. Let v be (-3)/(-12)*-10*4/(-5). Solve -o - 5 = -v*w, -o = -a*w + 2*o + 15 for w.
0
Suppose -8 = 4*w + 8. Let i = w - -9. Let b = i + -5. Solve -4*y = -m + 14, 5*m + y + 14 = -b*y for m.
-2
Suppose 0 = 12*p - 2*p - 270. Solve -4*f = -5*w + p, -f + 6 = -3*w + 18 for w.
3
Let k = -18 + -4. Let m = 51 + k. Solve -2*q = -0*q + 5*h, -5*q + m = -2*h for q.
5
Suppose -5*m - 5*z + 44 + 21 = 0, 3*m - 3*z = 45. Let g be (-46)/(-14) - 4/m. Solve -3*n - 3*x + 9 = 0, -n + g*x + 7 + 0 = 0 for n.
4
Suppose 4*c - y + 1 = 2, c = -2*y - 2. Solve 0 = -4*j - 4*z, 4*j + z = -c*z + 3 for j.
1
Let v be 70/(-21)*6/(-4). Let f be 3*(-3)/(-15)*v. Solve 4*p = -f*g - 7, 3*p = 2*p - 5*g - 23 for p.
2
Let m be (-2)/(-8) + (-110)/(-8). Let n be ((-4)/m)/((-2)/28). Solve -16 = 2*h - n*q, 0 = -3*h + 3*q + 2*q - 21 for h.
-2
Suppose g + 5*g = 0. Solve 0 = r - 4*v + 6, g*r = -r - 5*v + 3 for r.
-2
Suppose 6*t + 2*t - 120 = 0. Solve -4*s - 5*h - 15 = -s, -5*h = t for s.
0
Let k = -157 - -159. Solve k*w + 6 = 4*m, -2*m = 2*m - 5*w - 21 for m.
-1
Let l = -3 + 2. Let v = 1 - l. Suppose -3*t + 4*w - 6 = 0, -8 + 3 = -t - w. Solve -3*k + 2*k = 3*h + 17, 3*h + v = t*k for h.
-4
Let y(r) = -3*r - 4. Let c be y(-2). Suppose -2*j = c*f + 3*j - 18, 0 = f + 4*j - 9. Solve 0*t + 5*t - f = -2*v, 5*t = 2*v + 21 for v.
-3
Let l = -11 - -11. Suppose -m - 3*m - 52 = l. Let p = -7 - m. Solve 3*u + 3*n = -0*u + p, 0 = -u - 4*n - 7 for u.
5
Let q(i) = i**2 - 15*i - 13. Let a = -8 - -24. Let f be q(a). Solve -2*u = -2*r + 12, -4*r + 8*r + f*u = 3 for r.
3
Suppose -6 - 1 = -v. Solve 2*y - y = 2*t - 3, 3*t = 2*y + v for y.
-5
Let n(a) = -a**3 - 4*a**2 + 5*a + 2. Suppose 15 = -2*t + 5*h, -4*t + 5*h - 18 - 7 = 0. Let j be n(t). Solve -4*k + 3 = o, -4*k + j + 16 = -2*o for k.
2
Let f be 2/3 - (-12)/(-18). Suppose f = -2*s - 2*s. Solve s = 5*r - u + 28, -4*u - 5 = -17 for r.
-5
Let g(s) = s**3 + 7*s**2 - 8*s - 7. Let b be g(-8). Let i = b + 14. Solve -5*f + i + 3 = -3*k, -8 = 3*f + k for f.
-1
Let r = -43 + 45. Solve -3*n - 2*n - f = -4, r*n - 2*f + 8 = 0 for n.
0
Let f be (-2200)/(-56) - 2/7. Let g = f + 3. Suppose 0 = -5*m + 112 - g. Solve 0*k + 4*k + 3*x - 20 = 0, -3*k - 2*x + m = 0 for k.
2
Let z be (-3)/(-2)*(-6 - -8). Suppose -z*i = -2*i - 4. Solve -4*y - 4 = i*d, 3*d - 5*d = 4*y + 8 for d.
2
Let y(n) be the third derivative of -2*n**2 + 0 + 1/60*n**5 + 1/2*n**3 + 0*n + 1/6*n**4. Let j be y(-4). Solve 5*r + 5*u = -4 - 16, -3*u + 6 = -j*r for r.
-3
Let u be (-26)/(-8) + (-5)/20. Let f = 13 + u. Solve k - 23 = 5*v, -3*k - 3*v - f = -v for k.
-2
Let b(m) = 2*m**2 - 10*m + 10. Let o be b(4). Solve l - o*t = 7, -2*l - 2*t - 10 = 2*t for l.
1
Let a(s) = -s**3 + 7*s**2 + 9*s - 2. Let f be a(8). Suppose -2*o - 22 = -4*z, 7*z - f*z + o = 4. Solve 0*l - 30 = -5*u - 4*l, -5*u + l + z = 0 for u.
2
Let a be (2/(-2))/(1/6). Let q = -8 + 4. Let z = q - a. Solve -5*k - 3 = 2*c + 2*c, -c - z*k = 0 for c.
-2
Let t(y) = -3*y - 7. Let b be t(-9). Let x be (-4)/b - 12/(-10). Solve a = -4*s - x - 0, -5*s + 30 = -5*a for a.
-5
Suppose -21*f + 16*f = 35. Suppose -9 = b - 2. Let k be (-2)/f - 19/b. Solve 0*h - 5*d = -2*h - 6, 0 = -h + d - k for h.
-3
Suppose 5*a = 0, 2*o + 2*a = o - 4. Let s be (-4)/4*o/2. Solve -w + y = -s, 9 + 25 = 5*w + 3*y for w.
5
Suppose 3*v - 121 - 146 = 0. Suppose -4*g - 29 = -v. Solve -2*q + 10 = 0, -3*q + g = -0*w - 2*w for w.
0
Let v(y) = 11*y - 17. Let h be v(2). Let o(d) = 3*d**3 + 2*d**2 - 1. Let g be o(1). Suppose -8*r + g*r = -12. Solve r*a - 9 = -3*m - 0, a = -h*m + 15 for m.
3
Suppose 3*g - 3*n - n = 12, -5*g - 4*n = 12. Solve g = 4*m - 2*k + 18, 3*k - 8 - 1 = 0 for m.
-3
Suppose 0 = -3*g + 4*a + 39, g - 4*a - 2 = a. Suppose 3 = s, 5*s + 2 = -m + g. Solve m = -p + 4*w - 1 + 2, 5 = -5*w for p.
-3
Let y be 93/18 + (-9)/54. Solve -2*l = 2*l + y*k - 19, 0 = 5*l + k - 8 for l.
1
Suppose -3 = 3*x - 3*h, -39 = -4*x - 4*h - 3. Solve -16 = y - 3*v, -2*y - y = x*v - 17 for y.
-1
Let u(n) = -n**3 + 5*n**2 - 5*n - 1. Let r be u(3). Solve -w - 27 = -5*f - r, 2*w + f + 6 = 0 for w.
-5
Let z = 28 + -40. Let v be z*(1 + 10/(-6)). Let a = v - 4. Solve 5*t = 4*d + 17, 0*t = 5*t + a*d - 33 for t.
5
Suppose 0 = -3*r + 5*g - 44, 4*g - g = 2*r + 31. Let p = 38 + r. Suppose 10 - 10 = 3*u. Solve 3*f - c + 5 = -f, u = 5*c + p for f.
-2
Suppose 0 = q + 3*q - 44. Let a = q - 32. Let u be (-2)/(-4) + a/(-6). Solve 0 = -0*k + 4*k - z - 5, 3*k - u*z = 20 for k.
0
Suppose -2*w = 3*w. Solve w = -p + 3*p - 5*g + 10, -g + 25 = -5*p for p.
-5
Let t = -10 - -13. Let d = -4 + 11. Solve 0 = 2*k - h - t, -2*h - 9 = 2*k - d*h for k.
3
Let w(f) = -3*f - 6. Let z be w(-5). Let g = -6 + z. Suppose n + 3 + 4 = 4*d, 0 = -5*d + n + 9. Solve r - 2 = d*r - 3*q, 4*q - 20 = -g*r for r.
4
Suppose -4*k + 44 = 2*j - 34, -3*j + 54 = 3*k. Solve -2*a + 4*q + 3 = -3*a, k = 3*a - 3*q for a.
5
Let r be (-4)/(-2)*(-9)/(-6). Suppose -f + 4*n = -6, 3*f + 2*n - 35 = -r. Solve -5*w + f = -2*u - 6, -5*w = 5*u + 5 for u.
-3
Suppose 4 = -u + 3*u. Let j be 3 + (u - 0/2). Solve 2*d - j*v = -28, 4*d + 44 = 3*v + 16 for d.
-4
Suppose 0 = 5*v - 3*c + 1, -4*v - 4 = -c + 1. Let b(s) = s**2 + s - 2. Let z be b(v). Suppose 3*j + j - 28 = z. Solve -2*g + j = 1, 2*f - 3*g + 3 = 0 for f.
3
Suppose 1 = -3*v - 4*r, 2*v = 5*r - 2*r + 22. Let u = 0 - 0. Solve 0 = -2*a - s + 8, u*s = a - v*s + 7 for a.
3
Let t(d) = d**2 - 6*d + 3. Let x be t(6). Solve 3 = 3*n, -x*z + 4*n - n = -12 for z.
5
Let b be 1*9*4/12. Suppose -2*y - 17 = -b*w, 5*y + 2*w - 7 + 2 = 0. Let p be 3*(y + (5 - 3)). Solve 0 = 2*v - v + p*d - 2, -4*v - 4*d + 16 = 0 for v.
5
Let l = -34 - -39. Solve -5*z + 10 = -3*m, -z = -l*m - 5*z + 8 for m.
0
Suppose -b - 7 = -3*d, -b + 6*b = -2*d + 50. Solve -4*p - 10 = 5*f, -2*f + 2*p + b = -6 for f.
2
Let t be -2 + (-5)/(15/(-18)). Let h be (2 + 3)/(-3 + t). Solve f - h*s = -7, 4*f + 4*s + 4 = -0*f for f.
-2
Let v be (1 - 1) + -2 + 5. Solve 2*c - v*x + 7*x = -2, -2*c = -3*x + 9 for c.
-3
Let i(s) = -s**2 + 6*s - 4. Let k be i(4). Suppose 87 = 5*o - 3*y, -4*o = o - 4*y - 86. Let f = o + k. Solve 5*u - f - 8 = -h, -u = h - 10 for u.
5
Suppose 3*p + 5*f - 114 = 0, p - 114 = -2*p + 3*f. Suppose -5*u + 133 = p. Solve -3*h + 12 + u = -4*z, 0 = 3*h + z - 11 for h.
5
Suppose -13 + 16 = 3*h. Solve -5*r = d + 15, 0 = -3*r - d - 10 + h for r.
-3
Suppose -3*u = 4*i - 97, 0 = i - 3*u - u - 10. Solve -5*x = -3*a + a - i, 4*a + 20 = 4*x for a.
-1
Let l = 8 - 6. Suppose 2*d + 33 = 4*d + 5*z, -5*d + 30 = l*z. Solve 9 = -d*u + u, -4*y + 3*u = -25 for y.
4
Let y be (2 - 30/9)*-3. Solve 2*k = -2, y = -x - k - 0 for x.
-3
Let w(r) = 3*r - 1. Let h be w(1). Let n be (15/60)/(2/40). Solve -4*q - 3*k = -h*q - 6, -n*q = 2*k - 15 for q.
3
Suppose 0 = 3*c - p - 20, 4*c + p = -0*p + 29. Suppose -4*n = -c + 3. Let w(v) = 14*v + 1. Let q be w(n). Solve -s + 15 = 3*m, -7*s - 3*m + q = -2*s for s.
0
Let n = -52 - -34. Let u = n - -21. Solve -2*l - 12 = -2*r, 0 = 3*r + l + u - 5 for r.
2
Suppose 3*z + 6*z - 45 = 0. Solve -6*n = -n - 5*a - 15, -n - z*a = 15 for n.
0
Let i = 12 + -11. Solve 0*f + 3*f + i = 5*g, -f = g - 5 for f.
3
Suppose f + 6 = 3, -3*y = 4*f + 3. Suppose -5*q - 31 = -y*p - p, 5*p + q - 17 = 0. Solve -4*g + 12 = 2*c - c, -6 = 5*g - p*c for g.
2
Le