*v - b, -4*b = 5*v - 36 for v.
4
Let v(b) = -b**3 + 4*b**2 + 6*b. Let l be v(5). Solve 0 = l*g, 0*g - 4 = 2*c - g for c.
-2
Let p be (-5)/((-5)/7) + -4. Solve 0 = -5*h + p*r - 5 - 3, -4*r - 16 = 0 for h.
-4
Let z(x) be the first derivative of -x**4/4 - x**3/3 + x**2 + 3*x + 3. Let k be z(-2). Solve -6*i = -3*i + p - 2, 6 = -k*i + 3*p for i.
0
Suppose -18 = -12*g + 6*g. Solve -o + 4 = -g*j, 0*o = 5*j - 2*o + 6 for j.
-2
Suppose 11*i + 1 - 23 = 0. Solve -i*o + 4 = 0, 3*o + 2*o - 25 = -3*v for v.
5
Let m = -2 - -20. Suppose 0*k = -3*k + m. Solve d + 6 = -5*o, -k*d + o - 4 = -d for d.
-1
Let k be ((-9)/12)/((-1)/24). Let b be ((-4)/6)/((-4)/k). Let r(m) = -m**3 + 4*m + 3. Let u be r(-2). Solve -u = -f + 5*c + b, -4*f + 8 = -4*c for f.
1
Let c = -9 - -11. Let r be 8 - (0/(-2))/c. Let m be (1/(-2))/(2/(-44)). Solve -6*a + m*a + 3*l - r = 0, 4*l = -5*a + 4 for a.
4
Suppose l + 3*l - 16 = 0. Suppose 0*u = -3*u + 4*a + 3, -l*u - a = -23. Solve b + 5*v = 1, 2*v - u*v - 4 = -4*b for b.
1
Suppose -5*n = d + 4, 0 = -3*n + 5*n - 5*d - 20. Suppose n = 2*q - 3*f - 23, -2*f - 14 = q - 2*q. Solve -3*v + 0*v - 4*o = q, -3*o - 3 = 3*v for v.
0
Suppose 3*m - 5*u - 24 = 0, 3*m - 24 = -0*u - 2*u. Let s(j) = -j**2 + 9*j. Let t be s(m). Solve 4*z = -t, h + z = -h - 6 for h.
-2
Let n(h) = h - 2. Let q be n(4). Let a be 6*1*q/4. Let x be (3 - -2) + 3 + -3. Solve 0 = 5*s - 10, 3*k - a*s + s - x = 0 for k.
3
Let a = 37 + -33. Solve -z - 3*q - a = -7, 3*q - 6 = 0 for z.
-3
Suppose 3*y = -d + 63, -1 = -y - d + 18. Suppose 2*z + 3*l = -2*z + y, -2*z = -4*l. Solve -4*u = z, -t + u = -u - 1 for t.
-1
Suppose 2*i + 3*i - 8 = -4*t, -2*i = -4*t + 8. Solve 5*s = -15, -a - 10 = a + t*s for a.
-2
Let h(c) = -2*c + 8. Let s be h(10). Let p = s + 12. Solve p = 3*d + 4*a + 15, -5*d - 42 + 17 = a for d.
-5
Suppose -3*s - 15 = -6*s. Let n(l) = l**2 + 4*l - 8. Let k = -10 - -4. Let a be n(k). Solve 5*j = s*o, -j + a*o + 1 = 4 for j.
1
Suppose 0 = -3*f - 0 + 6. Solve -f*q + 6 = -u, 3*q - 5*u = 10 + 13 for q.
1
Suppose 5*y = -2*m + 19, y - 3 = 3*m + 11. Let s(o) = o**3 + 9*o**2 + 7*o - 1. Let z be s(-8). Suppose 2*c + 10 = z*c. Solve 3*u = q - 5*q, y*u = -c*q for u.
0
Suppose -5*q + 25 = -2*d, -2*q - 3*q = 2*d - 25. Solve 8 = -2*a - 2*a - 4*f, 0 = -q*f - 10 for a.
0
Suppose 20 = h + 4*h - 5*s, -3*h + s = -12. Solve -4*b + 2*z + 12 = -2*z, 5*b + h*z + 30 = 0 for b.
-2
Let z be (-1)/(-4 - -2)*-4. Let j be 20/8 - 3/z. Solve -2*v - j = 0, -4*v - v - 22 = -3*m for m.
4
Suppose 0*b - 3*b = 3*n, 0 = b - n - 4. Suppose b*u + u - 15 = 0. Solve 3*l - 18 = 2*c, -5*l + 0*l + u*c + 35 = 0 for l.
4
Suppose -2*y = -5*i - 0 + 15, 0 = 3*y. Suppose 10*m - 3*m = 91. Solve 4*a = i*b + 1 + 1, 4*b = -5*a - m for a.
-1
Let h be (4 - 3) + 16/4. Suppose -5 - 5 = -2*r. Solve h*n - r*t = -5, 0 = t + 1 for n.
-2
Let g(r) = 4*r**3 - 13*r**2 + 3*r**2 - 9 - 3*r**3 + 10*r. Let b be g(9). Solve -2*l + 10 = b, 2*o = -2*o + 5*l - 29 for o.
-1
Let z = 3 + -3. Let k be (5 + z)*(-4)/(-10). Solve w - 2*c = -5, -k*c + 5 = -w - 3*c for w.
-5
Let n(y) = -y - 6. Suppose -s - 3*g = -7, -5*s + 4*g + 10 = 70. Let l be n(s). Let q = -7 - -12. Solve r - q = -l*x + 7, -r = 4*x - 22 for x.
5
Let a(c) = 2*c - 10*c**2 + 0*c**3 + 2 + 9*c**2 + c**3. Let l be a(3). Solve -5*x = -4*s - 9, -4*s + l = x + x for s.
4
Suppose 7*m - 5*m = 0. Solve 5*o + 5 = -4*f, m = 5*f - o + 5*o + 4 for f.
0
Let m(f) = 6 + 2*f**3 - 3*f**3 + f**2 + 7*f**2 - 2*f. Let t be m(8). Let r = t - -14. Solve -4*a = -r*c + a + 35, -4*c = 5*a - 5 for c.
5
Let c(t) = 3*t. Let d be c(-1). Suppose -34 + 0 = -2*o - 3*l, -24 = -o - 5*l. Let u = d + o. Solve 0 = -3*r - q - 11, 4*r + 0*q = -5*q - u for r.
-4
Suppose -2*w = i - 3 + 6, 3*w = 4*i - 10. Solve -2 = j, 27 = -5*v - 4*j - i for v.
-4
Let l be -29 - (1/(-1) + 2). Let t be l/4*(-6)/9. Let p(f) = 3*f**2 + f + 1. Let o be p(-1). Solve 2*q + a = -a + 2, -a = o*q - t for q.
2
Suppose 2*i - 10 = -2, 0 = l - 3*i + 8. Let w = l + -1. Solve 0 = 5*t + 5, w*t + 2 = 3*b + 8 for b.
-3
Suppose -3*z + 2*z + 4*u + 36 = 0, 5*z - 3*u - 112 = 0. Let n = 8 + -4. Solve -m + 5*l - z = m, 0 = -3*m - l + n for m.
0
Let v(t) = t**2 - 9*t - 10. Let u be v(11). Solve k - 3*m = -u, -3*k + 0*k - 2*m + 8 = 0 for k.
0
Suppose 21 = -3*f + 3. Let y = f - -17. Suppose -4*w + 10 = -9*w, -5*t - 2*w + y = 0. Solve 3*i + 29 = -5*h, -3*i + t*h + 27 = -8*i for i.
-3
Let j(p) = -p + 9. Let g be j(6). Let h = 11 + -7. Solve -d - 2 = g*s - 5, -h*d = -12 for s.
0
Suppose -9*b = -7*b - 6. Let c be 0*3*b/18. Solve c*t - 2*j + 9 = -3*t, t = -2*j + 5 for t.
-1
Let b be 8/(-2)*3/(-4). Solve 3*f = 2*f + b*c, 2*f + 4*c + 10 = 0 for f.
-3
Let m(x) = x**3 - 3*x**2 + 3*x + 5. Let t be m(4). Suppose -2*q = 3*r - 9, -2*q = -3*r - 2*r - t. Solve -3 + 18 = -3*i + 4*b, q = 3*i + 4*b for i.
-1
Let g(b) = b**2 + 0*b**2 + 2 + 0*b**2 - 3*b. Let s be g(4). Solve 3*r - 3*l + 3 - s = 0, 2*r - 4*l + 6 = 0 for r.
5
Suppose -3*h + 3*g - 5*g + 37 = 0, 5*h - 40 = g. Suppose -h = -w + 6. Solve -o + 7 = -3*y - 0, -w = -y - 4*o for y.
-1
Suppose -4*v - 57 = 99. Let d be 3/4 - v/12. Solve 3*g = -d*s - 28, g + 5*s + 33 = 9 for g.
-4
Let j = 9 - 6. Suppose -2*a + j + 5 = 0. Solve 10 = 3*v + 5*l, a*v + 5*l - 2*l = 6 for v.
0
Let m = 9 + -2. Suppose -f + 6*f = 15. Suppose -5*v + 2*t = -156, -3*t = -v - 4*t + 34. Solve 2*b = -f*l - 18, 4*b + m*l - 2*l = -v for b.
-3
Suppose 2*d - 4 = n, -5*n - 10 = 3*d + 10. Suppose -5*c - 10 = -5*w, 0*w - 2*w = -3*c - 8. Let f = n - c. Solve 5*a = 3*r + 34, 23 = 4*a - r - f*r for a.
5
Let r = -6 + 11. Suppose -r*v + 12 = -8. Solve -24 = 2*z - 5*m, 12 = 3*z - z + v*m for z.
-2
Suppose t - 1 = 3. Suppose -t*i + 5*i = 2. Suppose -5*v - 7 = 4*p - i*p, 2*v - 14 = -5*p. Solve 4*r + p = 4*d, -r + 7 = 5*d - 10 for r.
2
Let h be 6/(-4)*(-12 + 10). Let g = -3 + 5. Suppose -l = g*l + 3*w - 9, 0 = -w. Solve 2 = -l*i - v, h*i + 12 = -4*v + v for i.
1
Let z(w) = -w + 28. Let h be z(11). Solve 3*x + j - 9 = 5, 3*x = 2*j + h for x.
5
Suppose -3*z - 21 = -5*z + x, 0 = -4*z - x + 27. Solve 4*t = -3*l - z, 3*t + l + l = -6 for t.
-2
Suppose -8*i + 60 = -3*i. Let c = i - 7. Let g(m) = 4*m**3 + m. Let h be g(1). Solve -x + 3 = -2*a, 3*a - c*a + h*x = -1 for a.
-2
Suppose -t + 2*t = -i + 1, -5*t = i - 25. Suppose -2*c = -6 - t. Let b be 1 - (-1)/(2/4). Solve -3*y - 9 = b*u, -c*u + y - 3 = -u for u.
-1
Let j(a) = -a**2 + a + 21. Let g be j(0). Suppose 12 = -4*o - 4*w, 4*o - 11 = o + 2*w. Suppose 5*m + o = g. Solve -q = -1 + 6, -f + 19 = -m*q for f.
-1
Let d(p) = p. Let r be d(4). Let l(x) = x**3 - 3*x**2 - 3*x - 3. Let g be l(r). Let v = 4 + -2. Solve a + 5*f + g = -12, -2*f = -2*a - v for a.
-3
Let d be -7*((-3)/7 - 1). Solve 0 = -v + 4, -k + 0*v - d = -2*v for k.
-2
Suppose -2*x + x + 5 = 0. Solve 16 = -6*t + t - w, -2*w = t + x for t.
-3
Let j be 1*2/(5 - 3). Suppose 75 + j = 2*l. Let h be l/8 + 2/8. Solve -4*g + h = g, 2*v = 5*g - 5 for v.
0
Let f = -10 + 15. Solve -5*a - f = 2*v + 16, -4*a = 4*v + 12 for a.
-5
Suppose 0*k - 2*k - 3*x + 25 = 0, 0 = -k - 5*x + 30. Suppose k*w = 5*i - 20, -2*i + 3*w = -4*i + 33. Solve n + 0*s = -s - 8, 2*s - i = 3*n for n.
-5
Let n(q) = -9*q**2 + 11*q + 7. Let f(i) = -5*i**2 + 6*i + 4. Let w(c) = 11*f(c) - 6*n(c). Let j be w(0). Solve j*k - 8 = -2*k - v, -5*k + 10 = 2*v for k.
2
Let q be 28/2 - 3/(-1). Let r = q + -14. Solve -5*g = -r*c - 6, 4*g = 3*c + 2*g + 6 for c.
-2
Let z = 2 - -2. Let i(x) = x**2 - 6*x + 2. Let a be i(5). Let o be -3 + (a - -6) + 5. Solve -o*c - z = 3*m - 44, c - 5 = 0 for m.
5
Suppose 2*c + 3 = 3*c. Solve 2*i = 5*d - 35, -c*d + 2*i = d - 30 for d.
5
Let j(w) = w**3 + 5*w**2 + w - 3. Let d be j(-5). Let l(c) = -c**2 - 10*c - 4. Let v be l(d). Solve g = -5*k - v, -3*g + g = 4 for k.
-2
Let n be (-1*(2 - 7))/1. Solve n*h - 11 = g + 3, -3*g + 5*h - 22 = 0 for g.
-4
Suppose -5 = -3*m + p, 4*p - 10 = -4*m + m. Suppose -z + 0*z + m*x + 38 = 0, 0 = -4*z + 2*x + 128. Solve -k + 20 = 5*w, 10*w - 5*w - z = k for k.
-5
Let q = 49 + -9. Suppose q = 5*i - 10. Solve -m = -2*p - i - 0, 4*m + 15 = -3*p for p.
-5
Let v = -6 - -8. Suppose 0 = 4*l - 2*y - 3*y, 0 = -3*l - v*y. Solve w + 1 = 0, l*t + 4*t + 2*w + 22 = 0 for t.
-5
Let v(f) = 4*f - 5. Let y be v(2). Solve -3*o - 6 = y*k, 2*k - 11 = -2*o + 3*o for k.
3
Suppose 0 = -4*v + 5 + 7. Let m(p) 