olve o + 13 = -b*y, 3*y + 0*o + 2*o = -6 for y.
-4
Let h(s) = 7*s**2 - s + 0 + 1 + 3*s. Let l(n) = -n**3 - 5*n**2 - 7*n - 4. Let v be l(-3). Let w be h(v). Solve -3*g - 8 = 2*g + z, -w = 5*g + 2*z for g.
-2
Let l(k) = 3*k. Let j be l(1). Suppose 12 = -3*z, -5 = -j*s - 4*z + 9. Suppose s - 2 = 2*c. Solve -2*i + 6*h - 12 = 2*h, c*h = 4*i + 16 for i.
-2
Let q = 27 + -22. Solve 2*n = r + 1, 2*n - q*r + 5 = -6 for n.
2
Suppose 6*i + 25 = 11*i. Solve -5 = 2*y + i, -2*r = -5*y - 21 for r.
-2
Suppose -5*y = -p - 107, 3*p = -3*y - 0*p + 57. Let s(b) = -b**3 - 19*b**2 - 35*b - 12. Let z be s(-17). Solve 0 = 3*u - 2*g, -4*u + 2 = z*g - y for u.
2
Let u(s) = s**3 - 5*s**2 - 4*s - 7. Let l be u(6). Let f(z) = 2*z**3 - 4*z**2 + 2*z + 1. Let g be f(2). Solve 0 = 4*w + 2*k - 8, -g*w + l = 2*k - 6 for w.
3
Let s be (-2)/3 + 4/6. Let o be s*(-1)/3 + 1. Solve d - 5*w + o = -1, 3*d + 4*w + 6 = 0 for d.
-2
Suppose -4*h + 20 = 3*a, 7 + 15 = 3*h + 4*a. Suppose -h*n + 4*x = 4, -2 = n - 4*x + 4. Solve 11 = -g + n*t, -2*t + 8 = 2*g - 0*t for g.
-1
Suppose 15*m - 18*m = -6. Solve -v - 3*x = -6*x + 2, -v + 4*x = m for v.
-2
Let f(o) = -3*o - 4. Let g be f(-3). Suppose -5*c = -20 + 85. Let a = c - -23. Solve 2*y - 10 = 0, g*j + 20 = 4*y - a for j.
-2
Let j(y) = -y + 3. Suppose -2*c - 3*k + 33 = 0, 2*c = c + 2*k - 1. Let a be j(c). Let g = -6 - a. Solve g = -4*l + o + 23 - 7, -3*l - 1 = -4*o for l.
5
Suppose -r = -2*w, 0*r - 4 = -4*r + 4*w. Solve 2*m = -r*m + 2*y, 0 = m - 4*y - 7 for m.
-1
Suppose -3*n + 9 = -2*n - 3*v, -n = v - 29. Solve 2*l = -4*p + n, 0 = 5*l + 3*p - 26 - 6 for l.
4
Let n be 34/8 + (-3)/12. Solve z + 11 = -3*d, -20 = -2*z - 2*z + n*d for z.
1
Suppose -6*b = 7 - 19. Solve -i + 3*r + 20 = 0, -i - b*r = 3*i - 10 for i.
5
Let w(o) = 3*o - 7. Let p be w(5). Let q = 11 - p. Solve 4*b = 16, 12 = -4*m + q*b + 4 for m.
1
Let c = 52 - 45. Solve -2*w = 5*n - 4*w - c, -4*n + 2 = 2*w for n.
1
Let w(h) = -h**3 + 2. Let q be w(0). Suppose -q*p + 8 = 4*s, 5*s + 0*p - 12 = -2*p. Solve -a - 15 = 3*i, 13 - 5 = i - s*a for i.
-4
Suppose 3 = w - 3*k, 11*k + 7 = 2*w + 6*k. Let q = w - -9. Solve q = -h + 2*j, 4*j = h - 2*h + 15 for h.
-5
Suppose -5*l = -5*h - 27 - 3, -2*l - h = 3. Suppose 24 = 4*o + 4. Solve 5*q = -c + 18, -q - l = -o for c.
-2
Let u(v) = -v - 3*v + v - 3 - 6*v - v**2. Let b be u(-10). Let i = b + 18. Solve -2*m + 4*l + i + 5 = 0, 4*l + 7 = m for m.
3
Let a(z) = 12*z + 4. Let f be a(0). Solve 0 = y + y + 5*d - 28, -f*d = -4*y for y.
4
Suppose -8 = -2*d - 0. Solve 1 + 3 = -2*w, -j = 3*w + d for j.
2
Suppose 60 = 4*a + a. Suppose 3*z = 74 - 29. Solve c + 4*f + 0 = a, -c = 5*f - z for c.
0
Let w = 1 - -7. Suppose 2*c - w = 0, i - 2*c + 6*c = 48. Suppose 6 - 2 = a. Solve -a*m = 3*n + 28, -3*n = 7*m - 2*m + i for n.
-4
Let f = 29 - 20. Suppose -5*q + f = -6. Solve 4*k = 4*b + 4, -b - q = 2 for k.
-4
Suppose 2*v = y + 5, 4*y + 10 = -4*v + 26. Solve 5*o = 4*x - 0*o + 14, -3*x - 2*o + y = 0 for x.
-1
Let s = -11 + 11. Solve -3*z - m + 13 = s, -5*m + 3 = -2*m for z.
4
Suppose 3*j + 3*l = 5*j - 2, l = 4*j - 14. Solve -j*u - 13 = -4*t + 11, 3 = -u for t.
3
Suppose -i + 5 = 2*c, 2 = -4*i - 10. Let k(z) = -11*z + 5. Let f be k(-5). Suppose -c*t + f = t. Solve 5*m = 3*j - t, 5 + 3 = -m + 2*j for m.
0
Suppose 0 = 4*h + 3*n - 14, 3*h - 3*n - 2 = -h. Let b be (h/6)/((-3)/(-18)). Suppose -d = b*f - 21, 0 = d - 0 - 3. Solve 3*y - 2*p = 2 - f, -p - 9 = y for y.
-5
Let l(y) = -y**2 - 5*y - 1. Let q be l(-3). Solve 0 = -b - 2*z + 5*z + 8, -2*b + 15 = -q*z for b.
5
Let s be (-2)/4*12/3. Let v be s/1 + 5 - 0. Solve -6*n + 3*n = 3*k - 3, 0 = k + 5*n + v for k.
2
Let n be (36/(-30))/(4/(-10)). Let b be -2*((-3)/(-2))/n. Let s be 2*b/(-2 + 1). Solve 2*d - 3*d + s*v + 7 = 0, 0 = -5*d + 3*v for d.
-3
Let g be (2/(-2))/(1/(-2)). Let k = g - -2. Suppose 3*j - 15 = -2*n, -5*n - k*j + 5*j = -12. Solve -z + 5*c - 6 = 0, -8 = -n*z - 0*c + 2*c for z.
4
Let u be ((-4)/1 - 1)*-1. Let z(y) = -y + 4*y**2 + y**2 + u*y**3 - 3*y**2. Let k be z(1). Solve 5*d - k + 16 = 5*r, 0 = -3*r - 5*d - 2 for r.
1
Suppose -2*i = -4*i + 16. Suppose -n - i = 4*d, 4*d - 8 = -6*n + 3*n. Let j = n + -4. Solve 3*w - 4*w + 24 = 5*t, -3*t + j*w = 4 for t.
4
Let x be (1 - 1)*3/9. Let a(h) = h**2 + 1. Let o be a(-3). Let n = o + -5. Solve -n*j + x = -3*v - 4, 0 = -3*j + 4*v + 9 for j.
-1
Let u be 154/(-8) + (-4)/(-16). Let b = u + 27. Suppose p + b = 3*p. Solve v + p = c + c, v - c = -1 for v.
2
Let s(p) = 3*p**2 - 2*p**2 + 0*p + 5*p. Let w be s(-4). Let q = -1 - w. Solve 2*d + y = 5, -q*d - 5*y + 4 = -0*d for d.
3
Suppose -2*w - 5 = -3*w. Let q be 10/3*(-3)/(-2). Solve x + q = -5*k, x - 5*k - w = -x for x.
0
Let b = 10 + -8. Solve -5*j - 3*v - b = -4*v, 5*v + 20 = -5*j for j.
-1
Let y = -23 + 26. Let w = 5 + -1. Let j be (1 + -3)*(-10)/w. Solve -5 = -5*f - j*k, y*f + 4*k + 3 - 10 = 0 for f.
-3
Let w be (0/(-2))/(1*2). Let a(l) be the first derivative of -3*l**2/2 - 3*l + 1. Let m be a(-2). Solve w = -2*d + m*f + 10, 0*f - f = 0 for d.
5
Suppose 5 = 2*a - 5. Suppose 97 = a*d - 28. Solve -3*u - 2*u = -3*o + d, u = 3*o - 5 for u.
-5
Suppose -2*w = w. Let p(h) = -5*h + 42. Let v be p(8). Let d be (-16)/6*(-30)/8. Solve -i - 11 = -3*s, v*i + w*i + d = 0 for s.
2
Let p = 8 + -5. Suppose 3*u - 15 = -t, -20 = -0*t - p*t - 4*u. Let j = 5 + 9. Solve t = -d + 3*n, -3*n - 2*n = 3*d - j for d.
3
Let x(d) = d + 8 - 1 + 1 + 0*d. Let t be x(-5). Solve -2*h = t*b + 21, -h + 18 = -4*b + 1 for b.
-5
Suppose -2*m - 5*k = -0*k + 5, -2*k = 10. Let l be 1/(-3) - (-3)/9. Suppose 2*b = 2*u - 0 + 2, -5*b + 3*u + 13 = 0. Solve l = -t + r + b, 5*t + 2*r = -m for t.
0
Suppose -4*l + 2*l + 10 = 0. Suppose 3*y - 5*y + l*m = 20, 0 = -2*y - m - 8. Let a be (-2)/y - (-4)/(-10). Solve 2*n + n + 5*o - 2 = a, -2*n = 4*o for n.
4
Suppose 59*u = 64*u - 35. Solve u = l + 2*m, 5*l - 5*m + 3 = -22 for l.
-1
Let r(d) = d**2 + 2*d + 1. Let h be -3*((-5)/3 - -3). Let x be r(h). Solve -j = 2*a + a - 1, 0 = -2*a + j + x for a.
2
Suppose 0 = -5*a + a + 20. Let i(t) be the second derivative of t**3/6 - 2*t**2 - t. Let l be i(a). Solve 4*d - l = -d + 4*b, 3*d + 2*b + 17 = 0 for d.
-3
Suppose -u - 1 = -3. Suppose -5*a = -u*a. Suppose 18 - 6 = 2*x. Solve 3*m = -x*i + 2*i - 14, a = 4*i - 3*m + 26 for i.
-5
Suppose -4*b + 28 = 4*j, 0 = 5*j - b - 20 - 9. Let w be (-11)/(-9) + j/(-27). Let c = 3 - w. Solve 4*d + q + 15 = 0, -d + 0*q = c*q + 2 for d.
-4
Suppose -4*u + 6 = 2*y, y - 2*u = 3*y - 16. Solve -3*q = 5*b - 3 + y, 4*q - 3*b = 35 for q.
5
Let d(u) = -1 + 2*u**2 - 3*u - 2 + 5. Let j be d(2). Suppose 0 = 2*r, -2*y + 5*r = -0*y. Solve j*s - 2*h = -26, y = -3*s + 7*s + 5*h + 5 for s.
-5
Let b = 8 + -11. Let p(f) = -2*f - 2. Let o be p(b). Let j(x) = -x**2 + 32. Let u be j(0). Solve 3*w + 9 = 2*k, -k + 5*k + o*w + u = 0 for k.
-3
Let z = 41 - 38. Solve 0 = z*h - 7*h - p - 7, 3*h = -4*p - 2 for h.
-2
Let l(v) = 8*v - 44. Let t be l(6). Solve -4*h - 8 = 0, c = t*c + h - 1 for c.
1
Suppose 5*u = 17 - 62. Let g = 11 + u. Suppose 30 = 2*i + 3*y, 0 = -4*y + 6 - 14. Solve -3*x = -0*l + 3*l, -g*l - i = -4*x for l.
-3
Suppose 7*g - 4*g - 29 = -2*c, c + 8 = g. Let v(t) = 10*t**2 + 7 - 3 + 10*t + t**3 + g. Let k be v(-9). Solve 2*h - k*y - 10 = 0, 2*y + 0*y + 1 = -3*h for h.
1
Suppose 0*p - 3*b = -3*p + 6, 2 = -3*p - 5*b. Let y = p - 3. Let a be 60/18 - y/(-6). Solve -a*m + 5*h + 17 = 0, 3*m - 2*h + 5*h = 9 for m.
4
Let n(p) = -p**2 + 5*p + 4. Let f be n(5). Suppose 0 = -f*h + 5*w + 10, -4*w = -h - 4*h + 17. Solve h*c + 5 = -o + 4*c, o - c + 1 = 0 for o.
-3
Let r(g) = 3*g**2 - 2*g - 5. Let h be r(2). Solve 0*l - h*c = -2*l + 23, 20 = -4*c for l.
4
Let z(q) = -2*q**3 - 2*q**2 + q - 1. Let i be 2/11 - (-35)/(-11). Let j = -5 - i. Let m be z(j). Solve -3*d + m = 4*a, 3*d + 7*a - 10 = 2*a for d.
-5
Let b be (-1 - (-5)/3)/(16/24). Solve -5*f + 1 = 3*d - 11, 2*d - b = -f for f.
3
Let v = 13 - 8. Solve b = 1 - 0, 4*w - v*b - 3 = 0 for w.
2
Suppose 8*x - 112 = 4*x. Solve 4*k - 7 = s, k - x = -3*s - 2*s for s.
5
Suppose -2*o + 54 = -2*l + 10, o + 5*l = 28. Let p(i) = -i - 7. Let k be (10/3)/(1/(-3)). Let w be p(k). Solve -5*n = -w*m + 29, -o = -2*m + 3*n - 5 for m.
3
Let i be 1/(-2)*(-5 - -1). Let h(v) = 5*v**3 + 6*v**2 - 3*v**i - 2*v**2 - 3*v**2 + 1. Let u be h(1). Solve 2*r = 4*r - q - u, 0