e -4*v = -0*v - 16. Solve a = -5*c + 18, 0*c - v*c + 15 = a for c.
3
Suppose -2*a + 0*q = -4*q + 2, -4*q = -5*a + 13. Let x be (2 + 1)/(3/a). Solve 0 = -3*f - 12, 3*w - x*f - 10 = 8*w for w.
2
Let a = 0 - -4. Suppose a*l = -l - 3*t - 6, -6 = 3*t. Suppose 3*x - 4*b + 7*b = 12, l = -x - 3*b + 6. Solve 8 = -4*j - x*m, -4*j + 3*m + 9 = -7 for j.
1
Let d(w) = 5*w - 1. Let c be d(1). Solve -8 = 2*k - j, 2*k + 14 + c = -4*j for k.
-5
Suppose o - 8 + 3 = 0. Suppose o*q - 20 = -0*q. Solve -c + q*p - 13 = 3, 0 = c + 4*p - 8 for c.
-4
Let q(b) = -b**3 + 3*b**2 - 4*b + 3. Let y be q(2). Let f be -6 + 3 + 13 + y. Solve -2*t - f + 1 = -2*x, 3*x - 5*t = 20 for x.
0
Suppose 2*p - 36 = -p - 2*a, 5*p - 4*a - 38 = 0. Suppose -4*v + 2*v = -p. Solve 4*h = v*o - 0*o + 25, 0 = -4*h + 20 for o.
-1
Let l = 4 - -1. Solve 2*h + l*c + 6 = 5*h, -4*c = 0 for h.
2
Let v(t) = -t**3 + 3*t**2 - 2*t + 4. Let a be v(2). Solve 4*z + 5 + 3 = 4*r, 0 = -a*r - 12 for z.
-5
Let s be (0 + 2)*(-20)/8. Let z = s - -21. Suppose 2*o + 2*o - 20 = 0. Solve 5*n = 4*p - z, -o*n - 3*p - 23 = -0*p for n.
-4
Let s be ((-3)/(-2))/(2/4). Let z be 1/(-3) - (-42)/18. Solve -z*g = 2*y + 4, s*y + 5*g + 10 = -6 for y.
3
Let l(f) = -f**3 + 10*f**2 + 12*f - 10. Let y be l(11). Suppose -2*c + 7 - y = 0. Solve -3*i + c*t = 7*t - 23, -i = 3*t - 16 for i.
1
Let m = 0 + 11. Let f(r) = -r**3 + 12*r**2 - 9*r - 16. Let k be f(m). Solve -d - k = 2*t, -2*d - 2 = -4*t - 6 for d.
-2
Let d(m) = -1 - 3 - 3 + 2*m**2 + 6 - m. Let q be d(-1). Suppose q = 2*j - 4. Solve j*c = 2 - 8, -3*x = -2*c - 7 for x.
1
Let t be 1/((-20)/(-32))*-5. Let k be t/(-16)*(0 + 0). Solve -1 = 2*l - d + 6, 5*d - 5 = k for l.
-3
Let a = 29 + -21. Suppose -4*j - a = -0. Let g be 84/(-3)*1/j. Solve -5*z - g + 1 = -2*k, 2*k - 6 = -2*z for z.
-1
Let u = 46 - 46. Solve -20 = 5*m - 3*f, 3*f - 4 = m - u*f for m.
-4
Let g be -2*2/(-3)*3. Solve 0 = -2*m - 8, -6*y + y - g = m for y.
0
Suppose 2*t = 5*t - 12. Let o be (5 + 5)*2/t. Solve 6*v - 4*g + 9 = 3*v, -3*g = -o*v - 15 for v.
-3
Let t(p) = p**3 + 8*p**2 - 2*p - 11. Let k be t(-8). Suppose 5 + k = o. Suppose 6*j - j - o = 0. Solve -l + 4 = 0, 0 = -4*s + 3*l - 30 - j for s.
-5
Let u be ((72/(-2))/(-3))/(-1). Let t = -7 - u. Suppose -v - 4 = -t. Solve -1 = 5*m + 3*p + v, 0 = 3*m + 5*p + 14 for m.
2
Let t = -5 - -9. Suppose -u + 5*p - 6 = -16, p = -4*u - 2. Solve 0 = t*h - 3*f - 4, -h + u*h + 1 = -f for h.
1
Let q be 4/2 - 4*2. Let v(h) = 3*h - h**3 - 8 + 2*h**3 - 5*h**3 - 5*h**2 + 3*h**3. Let f be v(q). Solve -2*a + 0 - f = d, 3*d + 15 = -3*a for a.
-5
Let m(h) = h - 10. Let k be m(6). Let y be (-207)/(-6)*k/(-6). Let r(q) = -q**2 + 6*q. Let b be r(5). Solve -b*w - 4*x + 21 = 0, 5*x + y = 4*w + 2*x for w.
5
Let m be ((-8)/6)/(4/(-48)). Let s = m - 0. Suppose 2*k - s = -2*k. Solve 2*f - 2*b + 8 = 0, k*f - 4*b + 11 = f for f.
-5
Suppose -4*r - 4*j = -68, 8*j + 25 = 3*j. Solve 0*f - 4*f - r = 2*z, 5*z + 23 = -2*f for z.
-3
Let l be 4/12*6 - (1 + -2). Solve -s + 1 - 9 = 5*g, -2*s - 3 = -l*g for g.
-1
Let g = -310 + 315. Let n(i) = -i**2 + 4*i + 2. Let r be n(4). Solve h = -r, -g*h = -0*t + 4*t + 18 for t.
-2
Let b = -49 + 54. Solve 2*t + 33 = -5*u, -5*t + b*u = -3*t - 17 for t.
-4
Suppose 5*r - 55 = 55. Solve 4*v - 7 - 5 = 5*y, -5*v - r = 3*y for v.
-2
Let y(w) = 2*w**2 - 5*w + 8. Let l(u) = 1. Let r(m) = -6*l(m) + y(m). Let z be r(3). Solve 9 = -4*h - 0*x + 5*x, -3*x - 5 = -z*h for h.
4
Suppose 4*x = m + 20, 0 = x - 4*m + 5*m. Suppose -3*i - 6 = -6*i, 3*f = 4*i + 13. Solve x*l - f = 3*a + 3*l, 4*a + 5 = -3*l for a.
-2
Let f be (4/(-3))/(4/(-6)). Suppose 0 = f*n + 5 - 23. Suppose -4*c - 12 = -2*v - 0*c, -5*c = -v + n. Solve 0 = -v*b + 2*a + a + 22, -3*a - 6 = 0 for b.
4
Suppose -5*c = -0*g - 4*g - 7, c = -3*g - 10. Let a be (g/6)/(3/(-12)). Let h = a + 1. Solve 5*n - 5*o = -15, 4*n - h*o + 6 + 1 = 0 for n.
2
Suppose -5*s + 0*d + 3 = 3*d, -3*s - 3*d - 3 = 0. Suppose 2*j - 3 - 3 = 0. Suppose 0 = -0*q + j*q. Solve q = -5*r + s*i + 6, 5*r - i - 1 = 11 for r.
3
Suppose -i = i - 20. Let d = i - 7. Suppose 2*q + d*q - 95 = 0. Solve 5*s - q = 4*f - 0*s, -s + 2 = f for f.
-1
Suppose 0 = -4*l + 41 + 39. Suppose l = 5*n - n. Solve -3*y - n*s - 9 = -0*y, y = -s - 1 for y.
2
Let r(a) = -3*a - 8. Let v be r(-4). Suppose -3*b = -9 - 0. Solve -m = b*c + 1, -4*c = 4*m - 0*m - v for c.
-1
Let x be (-1 - -1)*3/(-9). Suppose 4*h - 5*g - 15 = x, h + g - 5 = 1. Let q be (-1)/1*(0 - 1). Solve 15 = 5*a + t, -h*a - 3*t + 4 = -q for a.
4
Suppose -8*h + 3*g + 56 = -4*h, 5*h = 2*g + 77. Let i(p) = p**3 - 8*p**2 - 9*p + 2. Let t be i(9). Solve -2*c + 23 = -5*l, -t*c - 5*l = -2*l + h for c.
-1
Let s = 103 - 99. Solve s = -4*u - 4*v, -u + 0*v + 5 = -5*v for u.
0
Suppose -72 = -5*q - 3*q. Solve -2*b = 3*g + q, -2 = -3*b - 2*g - 13 for b.
-3
Let v = 12 - 7. Solve -v*t + 4*u - 31 = 0, 3*t + 8*u = 3*u + 11 for t.
-3
Let l = 264 + -165. Let h be -2 - (2 - -61 - -4). Let a = h + l. Solve 5*x - a = m - 5*m, -3*x = -5*m + 19 for m.
5
Suppose 5*b - 1 = 4. Let i be (-42)/(-14) - (b + 0). Solve -3*n + 0*v = -v - 5, -n + 4*v - i = 0 for n.
2
Let j(b) = b - 1. Let w be j(5). Suppose w*n = 0, c + 3*n - n = 3. Solve 4*u = -5*x + 5 + 9, 0 = -u - x + c for u.
1
Suppose -3*g - 11 = 2*x, 3*x + 2 - 3 = -g. Solve o + 13 = -3*l, l + x + 0 = 2*o for o.
-1
Let q(u) = 1 - 4*u - 3*u + 6*u. Let h be q(-4). Solve -h*s - 2*o - 2*o = -22, -3*s = -4*o + 6 for s.
2
Suppose -3*u = -3*g + 6, -6*u - g = -4*u - 11. Solve -z + u*h - 4 + 0 = 0, -5*h - 10 = -5*z for z.
5
Let q(m) = -m + 8. Let b be q(0). Let s be (-7)/21 + 32/6. Suppose 2*v + 2*v - 14 = -3*n, 3*v + n = 8. Solve 0 = -5*y - s*w - b - v, y + 4*w + 5 = 0 for y.
-1
Suppose 0 = -3*r + 13 - 1. Suppose -r*c = -c - 15. Solve 0 = 2*t - 5*i + 20 + 15, -t = 2*i - c for t.
-5
Suppose -3*l - 2*l = 30. Let h = l - -8. Let m = -1 - -3. Solve 2 = -h*f + j - 2, 4 = f - m*j for f.
-4
Suppose 6*h - 3*h = -j + 5, 5*h + 3*j = 7. Solve h*f + 2*t - 12 = 0, 2*t - t = 3 for f.
3
Suppose -d + 3*d - 4 = 0. Suppose 3*l = -4*u, 3*u + 2*l = 4*u - 11. Suppose s = -3*v + 7, u*v + 2 = 4*s + 4. Solve x + 16 = -4*n + 5, -d*n - 4 = v*x for x.
1
Let n = 22 + -8. Suppose -z = 3*y + 3*z + 7, 3*z - 3 = -5*y. Solve -3*w - i = 3*i - n, -8 = -y*w - i for w.
2
Let p(g) = -g**3 - 11*g**2 + 8. Let c be p(-11). Suppose 3*w + 5*t - 1 + 9 = 0, -w + t + c = 0. Solve -3*m = w*s - 17, -s = m - 2 - 3 for s.
2
Let z be 1 + -2*38/(-4). Suppose -2*y + 2*q = -z, 5*y - 44 = y + 3*q. Let a be (-24)/(-16)*1*2. Solve a*w - y = -0*w + 4*o, -3*o = 15 for w.
-2
Let m(o) = -o**2 + 5*o - 7. Let b be m(5). Let a = 10 + b. Solve y + 3*y - 28 = 3*c, -y + 16 = -a*c for c.
-4
Let d be (-2 - (-2)/(-3))*21/(-28). Solve 3*y = -3*k + 24, d*y + 6 = -y + 3*k for y.
3
Let b = 24 + -6. Let z be (-21)/(-9) + 12/b. Solve 6*f - 4*c = z*f, 3*f - 5*c = -3 for f.
4
Let i(b) = -b**3 + 6*b**2 - 3. Let o be i(6). Let a be (-21)/(-9) - (-1)/o. Solve a = -2*z + 10, r + 2*z = 11 for r.
3
Let a be 0 + 2 + -1 + 2. Solve 2*c + 18 = -5*n, -c - a*n - 26 = 4*c for c.
-4
Let c = -5 - -8. Suppose f = -5*p, 0 = 5*p - f - c*f - 25. Solve d + 10 = -5*m, -d = 3*m + 9 - p for d.
-5
Let s be (-2 - -3) + 1 - -6. Suppose s = -g + 2. Let u be (2/6)/((-1)/g). Solve -3*c = n + c - 24, -u*n = 4*c - 28 for n.
4
Let x be (3/6*-8)/(-2). Solve 3*t - w + 14 = 0, 4*w = x*t + t + 11 for t.
-5
Let d be (-14 - -18) + 16/2. Solve 3*j + 3*i + d = -j, j - 16 = 4*i for j.
0
Let d(y) = 6*y - 3*y + 1 + 0*y. Let w = 10 + -7. Let h be d(w). Solve 4*j + h = 2*a, 0 = -2*a - j + 4*j + 6 for a.
-3
Suppose 2*p = s - 5, -35 = -4*s - 4*p + 45. Solve -2*u - 3*l = -5, 5*u = -l - 5 - s for u.
-5
Suppose 0*x + 5*x - 415 = -3*v, 10 = 2*x. Suppose -5*f + v = -4*y - 33, -4*f - 3*y = -149. Let g = -9 + 15. Solve -o = -5*u + 15, -u = -3*o - g*u + f for o.
5
Suppose 0*l + 3*j = 5*l - 31, -2*l + 2*j = -14. Solve i - l*n + 0 = -1, 2*i + 3*n = 11 for i.
4
Suppose 0*q = -3*q + 18. Let t be ((-3)/q)/(1/(-12)). Suppose -3*l + 45 = -o + t*o, 3*l = 2*o + 3. Solve 2*x + o = 2*n, -2*n + 6 = 8*x - 4*x for n.
3
Let p be 2 - (2/1 + -6). Let c = -1 + p. Let b be 1 - 24/20 - (-26)/5. Solve -b*z - 4*f - c = 0, 3*z + 3*f + 40 = 8*f for z.
-5
Let v(u) = -4 - 3*u + u**2 - u + 5*u. Let i be v(-3). Solve -20 = 2*h - 4*o, 5*h - 4*o = -i*o - 18 for h.
-2
Let z(i) = -i**3