r = -v*w - 5, 4*r + r + 5*w + 45 = 0 for r.
-4
Suppose -26 = 3*g + 2*c + 11, -5*g = -5*c + 45. Let q be g/(-4) - 1/(-4). Let t be (0 - 0)/((-6)/(-3)). Solve 9 = -q*m + 3*p, 3*m - m + 4*p = t for m.
-2
Let n(l) = l**3 - 6*l**2 + 5*l. Let i be n(5). Suppose -5*o + 3*k + i*k = -51, 48 = 5*o - 4*k. Solve -4*q + 12 = j - 8, o = 3*j for q.
4
Let t = 42 - 22. Let h be (t + -2)/((-3)/(-2)). Solve 0 = q + j, 2*j = 3*q + 13 + h for q.
-5
Suppose 2*f + n = -0*f + 3, 0 = -2*f - 2*n + 2. Solve -3*y = -f*h - 2, -4*h = 2*y + 8 + 12 for h.
-4
Let j = -7 - -12. Suppose -5*b - 20 = j*v, -v + 6*b = 4*b - 8. Solve v = -0*c - 3*c + 3*f - 6, 0 = -2*c + f + 1 for c.
3
Let o = 25 + -14. Let v = o - 6. Solve 5*p + 2*j - 12 = 6*j, -j = v*p - 22 for p.
4
Suppose -3*p = -0*p - 15. Suppose -y = -f + 1 - 0, -f - p = -3*y. Solve -2*d - 14 = -3*d - 2*i, -y*d - 5*i = -37 for d.
4
Let q(x) = 8*x - 4 + 5 - 4 - x**2 - 4. Let r be q(6). Solve 0 = -5*t + r*j + 45, 2*t - 7*t + 3*j = -35 for t.
4
Suppose 0 = -y + 4 - 2. Solve -5*l - 15 = 0, q = y*q + l + 4 for q.
-1
Let l be (10 - 10)/(1*-3). Solve -5*r - 3*j = -l*j + 14, 3*r + 2*j + 8 = 0 for r.
-4
Let z(i) = -i - 2. Suppose 4*f + 10 + 18 = 0. Let a be z(f). Solve 2*m + 15 = 3*d - m, 2*d = -a*m + 3 for d.
4
Suppose -3*k = -0*k - 12, 2*y - 3*k = -2. Solve -5*d + c = -18, -y*d - 5*c = -0*d for d.
3
Let f(y) = -2*y + 1. Let k be f(0). Solve 5*b = -n + 13, -11 = 5*n - k for b.
3
Let o be 14*(6/4 - 2). Let w be 2/(-3*(-4)/(-66)). Let a = o - w. Solve 3*c - f = -3*f + 7, -a*c + 3*f - 19 = 0 for c.
-1
Let n(s) = s**2 + 7*s + 9. Let m be n(-6). Solve 4*t = t + 6, -5*i + m*t - 11 = 0 for i.
-1
Suppose -5*h - 4*p + 50 = 0, 5*p - 16 = -3*h + 27. Let t = -4 + h. Let j be 714/66 + t/11. Solve 3*a + 5*f = 21, -2*a + 3*f = -3*a + j for a.
2
Let i be 1 + (-1 - -3) + -3. Suppose -4*f = 3*v - 2*v + 1, 1 = -v - 3*f. Let p be v*(-2)/4*i. Solve b + 4*d - 3 = p, 7 + 8 = 5*b + d for b.
3
Suppose -b + 44 = 2*h, 2*b = -2*b + 4*h + 152. Suppose -q + 38 = -b. Suppose 8*i - q = 5*i. Solve 2*j = 5*x + 10 - i, -3 = j for x.
2
Suppose -k - 2 = w, 2*k = k - 5*w - 10. Solve k = -5*x - 4*s - 4, 4*s = -x + 3*s - 1 for x.
0
Let x(n) = -17*n - 1. Suppose -3*f = f + 8. Let v be x(f). Solve 5*l + 20 = -2*b, -5*b = 5*l - l + v for b.
-5
Let r be (-6 + 0)/((-3)/2). Suppose 0 = -0*f - f + r. Solve -c + 5*k + 0*k = 12, f*c = 5*k - 18 for c.
-2
Let r be ((-1 - -2) + 1)*2. Solve 20 = -2*f + r*t, 3*f = 7*t - 2*t - 27 for f.
-4
Let j be (4 - 0 - 1)/1. Solve 4*n - 25 = -j*h, n - 2*n + h + 1 = 0 for n.
4
Let g = -7 + 10. Solve 0 = 3*p - 4*j - 7, -g*p - 3*j = -5*j + 1 for p.
-3
Let v(l) = -l**2 + 2*l + 6. Suppose -u - 4*x - 35 = -6*u, -2*x = 4*u - 2. Let d be v(u). Solve -4 = -3*r + 2*g - 17, 2*g = -d*r - 5 for r.
-3
Let w = 39 + -39. Solve 0 = -y - g - 9, -5*y + 3*g - 1 - 4 = w for y.
-4
Suppose -8*d = -3*d - 125. Let m = 3 + 8. Let p = 11 - m. Solve d = 5*l, 4*l + p*l = 4*u + 24 for u.
-1
Let q be -1 + -3 + 162/18. Solve 2*b - q*j + 21 = 0, -6 + 0 = -3*b - 5*j for b.
-3
Let h = 5 + -2. Let t be -1 - (1 + -10) - h. Solve 5*i - 4*u = -20, -5*i - t*u + 0*u = -25 for i.
0
Let b(p) = 2*p**2 + 1. Let q be b(-1). Let l be -17*1 - 0 - 1. Let j = -12 - l. Solve -q*y + j*y + 12 = n, n = y + 4 for n.
0
Suppose 2 = -2*y - 6, -35 = -3*f + 5*y. Solve -2*v = -j + f*j, 6 = -3*v for j.
1
Let z(w) = -w**3 + 5*w**2 + 6. Let y be z(5). Let k(f) = -f**2 + 3*f - 1. Let r be k(3). Let c be -6 + 3 - 7*r. Solve s = -2*s - c*b + 17, -3*b + y = 0 for s.
3
Suppose 0 = 6*t - t + 5*g - 10, -5*t + 16 = 2*g. Solve 3*y - 11 = -t*o, 0 = 4*y + 3*o + 2 - 5 for y.
-3
Let u(c) = 2*c**2 + 13*c + 1. Let h be u(-7). Solve -h = 4*i, 0*i + i + 17 = -5*j for j.
-3
Suppose 0 = -3*u + 17 + 31. Let z = u + -10. Solve a + 4*f = 14, -3*a + z = 4*f - 12 for a.
2
Let q be ((-5)/(-1) - -1) + -2. Solve -4*o + 6 = -p, 0 = -2*o + 5*o - q*p + 2 for o.
2
Suppose -4*v + 12 = -0*v. Suppose 2*d = -4*y + 12, 3*y = -v*d - 0*d + 12. Solve 24 = -3*q - d*s - 2*s, s = 4*q + 13 for q.
-4
Let d(h) = h - 6. Let m(c) = c**2 - 2. Let i be m(2). Suppose v + i*s = 6, -4*v + s = -2*s - 35. Let p be d(v). Solve -p*w = z + 1 + 6, 3*w - 3 = 3*z for z.
-3
Let t be 252/48 - 1/4. Solve 3*d + a + 14 = -0*a, 37 = -4*d - t*a for d.
-3
Suppose -2 = 5*w - 12. Solve -y = 2*x + y + 10, w*y + 16 = -4*x for x.
-3
Let h be 23/5 - 6/(-15). Suppose 3*f - h*f = -8. Solve -24 = 4*c - 4*w, -w - f*w + 26 = -3*c for c.
-2
Suppose 0 = 5*x + 4 - 14. Let t(k) = -k + 2*k + k**3 - 2 - 2*k. Let h be t(x). Solve -4*n + h*s + 4 = 0, -3*n + 12 = 2*n + 2*s for n.
2
Let j = 9 + -7. Suppose 5*p + 3*b = -j*b + 50, -4*p + 4*b = 0. Suppose f - p - 17 = 0. Solve 4*d - f = -2*x - 0*x, 3 = -4*d + 3*x for d.
3
Let i(k) be the second derivative of 0 + 3*k - 1/6*k**3 - 1/2*k**2. Let n be i(-6). Solve -n*l + v + 21 = 0, 5*l - 5*v = -12 + 37 for l.
4
Let i = 3 + -3. Let d be -1 - 0 - -1 - -4. Suppose -24 + d = -5*w. Solve -2*u = -3*m + 5, m + w*u + i*u = -3 for m.
1
Let r = -10 + 16. Solve 0 = 3*a - k + 4, a + k = r*a + 4 for a.
0
Let d(j) = 4*j - j + 5*j - 3 - j + j**2. Let i be d(-8). Let r(b) = 3*b + 4. Let h be r(4). Solve 4*c + 0*c + i*p = -18, -4*p - h = 4*c for c.
-2
Let m(t) = -t - 4. Let n be m(-8). Let p = -3 + n. Let d be p + (-2 + 8)/3. Solve -d*x - 9 = -5*a + 4*a, -5*a - 31 = 4*x for x.
-4
Suppose -x + 5*x - 3 = -3*u, -4*u + 4 = -2*x. Suppose -g = -o + 1, 0*g + 4 = 4*g. Let z be o/u + -1 + 2. Solve 0 = -y - 2, 2*n - z*y = n + 2 for n.
-4
Let u = -3 - -8. Suppose -5*q + u = -10. Solve -4*i - i - 28 = 3*l, -5*i + q*l - 22 = 0 for i.
-5
Suppose 4 + 1 = 5*l. Suppose -o - 4 = 3*p, -11 = -2*o + 4*p + l. Suppose -v + o*v = 0. Solve -5*j + 0*z = z + 23, -5*z + 10 = v for j.
-5
Let y(d) = d - 2. Let s be y(6). Suppose p = u - 3, -3*u - 5*p + 37 = -p. Suppose s*z = u + 9. Solve 3*n - 5*w = -1, -z*w = 2*n - 3*n + 2 for n.
-2
Let i(b) = -5*b**2 - 8*b**3 - 9 + 12*b**2 + 7*b**3 + 11*b - 2. Let z be i(8). Let y = z + -8. Solve y*w + 0*d - 32 = -4*d, -5*w - 2*d + 26 = 0 for w.
4
Let l be (9 + -4)*(0 + 1). Let s(v) = -v**2 + 7*v - 7. Let m be s(l). Solve 0 = -c - 2*h + 8, -m*h + 11 = 2*c for c.
-2
Let r(m) = m**3 + 9*m**2 - 12*m - 3. Let t be r(-10). Suppose 3 = -4*n + 5*q, -n + 5*q - 24 = -4*n. Solve -c + 2*v - t = -n*v, -4*v + 22 = -5*c for c.
-2
Let g = 12 - 5. Let p = 8 + -3. Suppose -g = -4*x - p*i + 10, -3 = -3*i. Solve -x*z = -2*o + 3, 2*z - 11 = -0*o - 3*o for o.
3
Let s be 1/1 + 3 + -4. Solve -4*o + 4*v + 28 = s, -v - 16 = 3*v for o.
3
Let c = 47 - 45. Solve 0 = 5*k, -c*f - 2*f + 3*k = 12 for f.
-3
Suppose -2*l - 36 = l. Let p be (l/(-9))/((-1)/(-3)). Suppose s - 6 = -3*n + 6, 4*s = -p*n + 8. Solve n*z + 2*g - 4 = -27, -2 = 2*z - g for z.
-3
Let v be (-16)/(-28) - 31/(-7). Solve -v*g - 18 = -2*t - 2, -2 = 4*g + 2*t for g.
-2
Let j(z) = 6*z**2 - z. Let x be j(1). Solve 5*p + 2*r + 1 = 2, -r = -2*p - x for p.
-1
Suppose -6*t + 15 = -t + 5*y, -3*t - 5*y + 11 = 0. Solve -t*f - 8 = -2*u, u - 4 = 3*f + f for f.
0
Let y(l) = l**2 + 6*l - 14. Let m be y(-8). Suppose 0 = -5*h + m*i + 8, 2 = -h + 5*i - 1. Solve 2*x + 3*s + h = -0, x + 5*s = 6 for x.
-4
Let z = 39 - 28. Solve -r + 5*a = 3*r + z, 5*a = r + 14 for r.
1
Let t = -4 + -1. Let l be 2/t + (-6)/(-15). Solve -8 - 2 = 2*m, 5*z - 5*m - 35 = l for z.
2
Let o be (-80)/20 + 4 + 0. Solve -4*c + 3*t + 11 = o, 3*c + 3*t = 6*c - 9 for c.
2
Suppose 0 = -2*z + 4*z - 10. Suppose 4*w - d - 26 = 0, 2*w = 2*d - 1 + 17. Solve 3*l - z*m + 0 = -w, -5*l + 24 = 3*m for l.
3
Let d = 56 + -54. Solve 0 = v - 1 - 0, -z = -d*v + 3 for z.
-1
Suppose 5*f = 3*v + 47, -2*v + 6*v = -5*f + 54. Suppose 3*r = -2*r + 25. Suppose -i + r*i = 32. Solve 3*m + 6*a + i = 2*a, -2*m = -5*a - f for m.
0
Let a(f) = -f + 9. Let z be a(7). Solve -3*n - 3*l = 12, n - 3 = -2*n + z*l for n.
-1
Let d(g) = -g**2 + 8*g + 12. Let r be 70/8 - (-11)/44. Let s be d(r). Solve -3*x + s*m = -4*x + 10, -4*x - 3*m = -13 for x.
1
Let s = -1 - 2. Let u(p) = -4*p - 4. Let g be u(s). Let x = -7 + g. Solve -d = 1, 0 = 3*c - 4*c - 3*d + x for c.
4
Let h(z) = 13*z - 62. Let y be h(5). Solve -5*j - g + 16 = -y*g, -8 = -4*j + 4*g for j.
4
Suppose -5*u - 60 = -u. Let x = u + 25. Suppose 2*s - x + 2 = 0. Solve 2*h - 16 = -s*a, -a - h + 3 = -0*a for a.
5
Suppose -39 = -5*r + 3*u - 14, 3*r - 2*u - 15 = 0. Solve 