2*s = y - 8. Solve 2*x - 17 = -3*l, l = -s*x - l + 14 for x.
4
Let t = 2 - 2. Suppose o = 5*o + 4, 0 = 3*f + 3*o - 9. Let r(q) = 2*q - 9. Let p be r(6). Solve t = -5*a - 10, 0 = -p*w - w + 4*a - f for w.
-3
Let i(q) = -5*q**3 - 6*q**2 + 3*q - 4. Let j(k) = -k**3 + k. Let c(z) = i(z) - 4*j(z). Let u be c(-6). Solve s = m + 3*m + 21, -2*s - 3*m - u = 0 for s.
5
Let c = 6 + -2. Suppose -5*i = c*b - 58, i + 2*b = b + 12. Solve x + 3*o = -7, 20 = 2*x - 5*o - i for x.
5
Let b = -18 - -29. Let x = -6 + b. Suppose 3*w = 8 + 34. Solve y = 4, 3*v - x*y + w = v for v.
3
Let l(r) = r**2 + 8*r - 6. Let d be l(-9). Solve -3*v = w - 6, d*w = w - 2*v for w.
-3
Let y = -6 - -7. Let n = y + 1. Solve -2*s - 3 = h, 13 = -n*h - h - 2*s for h.
-5
Let w be 15/(-6)*12/(-10). Solve -4*r - w*v + 8 = 0, 0 = 5*r + 2*v - 4 - 13 for r.
5
Let q(l) = l**2 + 8*l - 1. Let y be q(-7). Let a be (-4 - -1)/(6/y). Suppose 0 = a*f - f. Solve b + 1 = f, x + 0*x + 7 = -3*b for x.
-4
Let s = 10 - 8. Suppose -s*o = -5*o + 9. Solve -n + 11 = l + o*l, -5*n = -5*l + 45 for n.
-5
Let z be 1*1/(-1)*(-5 - -3). Solve d - 4 + 1 = z*c, -3*c + 4*d = 7 for c.
-1
Let f(n) = n**2 - 5*n + 2. Let i be f(7). Suppose 0 = 8*y - 4*y - i. Solve -2*c - 11 + 3 = -h, y*c = 3*h - 18 for c.
-3
Suppose -4*c + 5*c = 0. Solve c*a + 3*b = 4*a + 4, 0 = 3*a + 2*b - 14 for a.
2
Suppose 0 = 32*o - 27*o - 10. Solve -y + w - 17 = o*y, 0 = y - 2*w + 14 for y.
-4
Suppose 3 - 35 = -4*v. Let l be 55/20 - (-2)/v. Solve -2*a + 20 = -5*q + l, -4*q = 12 for a.
1
Suppose -y + 4 + 1 = 0. Let c be 0*(1/(-1))/(-2). Suppose 3*m + 2*m + 4*n - 70 = c, -4*n = -2*m. Solve 5*h + 4*v - 10 = 0, y*h - m = -v - 0*v for h.
2
Let f(v) = 15*v - 1. Let l(u) = 2*u**3 + 1. Let o be l(1). Let g be f(o). Let y = g - 24. Solve y = -4*j, -2*x - 2*j - 33 = -13 for x.
-5
Suppose 9*g = 6*g + 45. Solve -3*s = 2*s + u + g, -2*u = -10 for s.
-4
Suppose h + 8 = 4*c + 3, -h + 19 = 2*c. Let o = h + -8. Solve o*j = 2*y - 3, -3*y + 4*j + 4 = -0*y for y.
0
Let t be (-18)/(-8) + 3/4. Solve -t*q - 14 = s, -2*q + 3*s = q - 6 for q.
-3
Let h be 1*(3 + -1 + 2). Solve 0*t + 6 = 4*t + 3*g, 0 = h*t - 5*g + 10 for t.
0
Suppose 5*g - 13 = -0*t + 3*t, -26 = -4*t - 2*g. Suppose t*n = -n + 40. Let j be n/6*(-15)/(-5). Solve -j*k + 11 = -4*s - 13, -7 = -k + 2*s for k.
5
Let x(b) = 3*b - 36. Let g be x(13). Solve 0 = -4*p + p + 6, -4*d + g*p - 14 = 0 for d.
-2
Let i be (-4)/((-1 + 0 - -3)/(-2)). Suppose y = -d - 4, -3*y - 16 = -y + 4*d. Solve i*m - 5*g = y, 3*m + 2*m - 45 = -5*g for m.
5
Let x(t) = -2 + t + 0 + 2 + 1. Let h be x(1). Let j be 1/3 + (-1)/3. Solve 16 = -3*i - 3*u + 5*u, -h*i + u - 9 = j for i.
-2
Suppose -2*m + 2 = -20. Solve 4*k + b = m, -9 = 5*k - 5*b - 4 for k.
2
Suppose -3 = u - 5. Solve -u*a - a + 4*c - 17 = 0, -5*a + 10 = c for a.
1
Let y be 8/6*(-6)/(-4). Solve 3*t = -j - 3, 3*j + 1 - 3 = y*t for t.
-1
Suppose 6*l - 4*i = 2*l, -4*l = -2*i - 10. Suppose 3*k + l*f - 9 = 25, 0 = -k + 4*f - 17. Solve -o = -4*w + 2, -k*o + 5 = -o + w for o.
2
Suppose -2*t + 20 = t - 5*b, -b = 4*t - 19. Solve 0*v = 2*q - v + 13, 0 = -t*q + 3*v - 35 for q.
-4
Let k = -139 + 145. Solve -3*r + k = 0, 5*r + 2 + 8 = 4*f for f.
5
Let j = -1 + 3. Let v(h) = 26*h + 2. Let n be v(j). Suppose 0 = 5*d - 3*d - n. Solve -o + 5*o = -4*b + 4, -3*b - d = -3*o for o.
5
Suppose 2*d = 4*y + d - 12, 10 = -y - 3*d. Let z = 1 - 4. Let c = z - -5. Solve o + 8 + 2 = -4*t, 0 = -4*o - y*t + c for o.
2
Suppose a = 2*v + 7, 3*a + 5*v + 6 = 2*v. Let j be ((-20)/25)/(a/(-5)). Solve 2*o = -4*y + 5*o + 7, 5*y + j*o = 32 for y.
4
Suppose 3*t - 15 = 39. Solve 0 = 3*h - 3*w - 0*w - t, -w - 10 = -5*h for h.
1
Let k(h) = 4 + 0 + 1 + h + 0*h. Let l be k(-5). Solve -3*p + l*q + 2 = -q, -4 = -p + q for p.
-1
Let a(h) = -h**2 - 6*h - 3. Let w be a(-7). Let l be (w/(-15))/((-1)/(-30)). Solve 2*j = 4*r - 0*j + l, 3*r = 2*j - 16 for r.
-4
Let i(o) = -o**3 + 13*o**2 - 12*o + 15. Let n be i(12). Solve n = -5*b + 5*m, -4*b - 4*m + 19 = -1 for b.
1
Suppose 0*u - 38 = 2*u. Let f = 23 + u. Solve -5 = -4*h - k - 22, -f*h + 8 = -4*k for h.
-3
Suppose 0 = i + 4*i - 15, 0 = -4*g + i + 9. Let q be -40 + 0/g + -1. Let w = q + 61. Solve -5*f + w = 5*l - f, -4*l - 5*f = -16 for l.
4
Let z = -15 - -38. Solve a + f - 4 = 0, 4*f - z = 2*a + a for a.
-1
Suppose 2 = 2*b - 3*b + 2*u, -4*u + 2 = -3*b. Let f(h) = h**2 - 3*h + 1. Let z be f(b). Let a = z + 4. Solve -c + o = -a, -5*c + 3*c - 5*o + 6 = 0 for c.
3
Let z(o) be the third derivative of o**5/60 + o**4/4 - o**3/2 - 2*o**2. Let n be z(-7). Solve n*v + 3*a = 3, 2*a + 6 = 4*v - 12 for v.
3
Let h(y) = y**2 - 11*y + 11. Let w be h(10). Let z be (8 + -8)/(-3*w). Solve z*j - 5*j - 2*b + 27 = 0, -8 = -2*j + 2*b for j.
5
Let g(a) = a**3 + 5*a**2 + 2*a - 2. Let f be g(-4). Suppose 4*v = 3*v, 2*v = 3*s - f. Solve s = -z - 0, 5*o + 15 = 5*z for o.
-5
Suppose -3*o - k + 9 = 0, -k - 3*k = 3*o - 18. Solve 4*l + 1 = -j, j - 9 = -o*j for l.
-1
Let m(r) = 2*r**3 + r**2 + 2. Let d = -1 - 1. Let b be m(d). Let i be 4/b - 24/(-10). Solve 3*y = -2*n + i, 2*y + 2*n - 2 = y for y.
0
Let o be (34 + -33)/(4/(-6) - -1). Solve -o*g = -5*c + 32, 3*c + 3*g = -2*c + 8 for c.
4
Let p be ((-1)/1)/((-2)/10). Solve -p*k - 25 = 4*i - 0, 0 = -5*i for k.
-5
Let l = 16 + -4. Let o be (15/(-9))/((-4)/l). Solve -4*n - 3*c + 6 = 0, 6*c = -o*n + c + 5 for n.
3
Let d(k) = -5 - 7*k + k**3 + 4*k**2 + k**2 + 4 - 3. Let l be d(-6). Solve 3*w - 6 - 4 = -2*j, l*j + w - 6 = 0 for j.
2
Let g(x) = 3*x**2 - x. Suppose 5*d = 3*z - 10 - 7, -2*z - 3*d - 14 = 0. Let w be g(z). Solve -21 = -2*j + 3*l - 10, -12 = -w*j + 4*l for j.
-2
Suppose 0 = 3*h - 0*v - 4*v + 9, 4*h - 16 = -4*v. Solve 5*x - h = 3*g + 2, g = 3*x - 5 for g.
4
Let a be -2 + -1 + (1 - -2). Let h be (-4)/10 + (-127)/(-5). Solve h = -o - 5*v, v + a = -5 for o.
0
Suppose 2*v - 14 = -0*v. Let a be (-9)/(-7) + (-2)/v. Suppose -4*d + 9 = a. Solve -d*x = -2*l + 3*l - 2, x + 13 = -4*l for x.
3
Let l(t) = -t + 1. Let u be l(-3). Suppose -i - 5*h + 3*h = -2, -u*h = 3*i - 6. Solve -8 = v + 3*o, 7*v - 5*o = i*v for v.
-2
Let r(s) = -s**2 + 9*s + 24. Let v be r(11). Suppose -3*l - 2*j + 3 = 5, -4 = j. Solve -2*h - t + 3 = v, h = l*t - 12 for h.
-2
Let z(w) = w**2 - 6*w - 2. Let d(i) = -i**3 + 9*i**2 + 11*i - 3. Let t be d(10). Let b be z(t). Solve -3*g + 10 = b*q, -4*g + 7*g - 2*q + 25 = 0 for g.
-5
Let r(q) = -2*q**3 + 2*q**2 + q. Let s be r(-1). Suppose -11 = -s*k + 1. Solve 9 = 4*j - k*l + l, 3*l + 9 = 5*j for j.
0
Suppose 5*d - 12 = 13. Suppose -d*b - 5 = -25. Solve 7*g + 4*k = 2*g + 30, b*g + 4*k = 28 for g.
2
Let s = 7 + -2. Solve -2*b + s*w - 10 = b, -3*b - 2*w = 17 for b.
-5
Let j(l) be the second derivative of l**3/6 + 5*l**2 + 2*l. Let k be j(-7). Solve 20 = 4*t - 4*b, t + 4*b = 3*b - k for t.
1
Let i = -11 - -14. Suppose -i*u - 7 = -13. Solve -u*j = a + 1, 0 = -3*a + 2 - 17 for j.
2
Let p = 15 - -6. Solve -5*n + p = -h - h, -5*n - 3*h = -31 for n.
5
Suppose -2*b = 2*b - 52. Suppose -b = 2*y - 3*y. Solve g + 4 = -2*h + y, -4*h + 3*g + 3 = 0 for h.
3
Let x(d) = d**2 - d - 1. Let p be x(-1). Suppose 5*v - 4 = -5*f + p, -4*f - 16 = 0. Solve v*k = -c + 22, 5*c + 5*k - 4*k = 14 for c.
2
Suppose -8*s + 3*s + 30 = 0. Suppose -4*d + s + 46 = 0. Let g = d - 8. Solve -f - g*u = 12, f - 4*u + 0*u - 6 = 0 for f.
-2
Let x be (-1 + 1 + -6)*2. Let z be (x + 11)*-1*2. Solve 3 = z*t - 3*q, 4*t - 5*q = 4 + 1 for t.
0
Let k be (5 + -3)/(-2) + 16. Suppose k + 7 = z - 4*h, -4*z = -2*h - 18. Solve 0 = -6*m + 3*m - 2*v - 9, -z*v - 7 = m for m.
-1
Let p = -33 - -36. Suppose -n - 2*n + 18 = 0. Solve -p*y + 4*g + 4 - 18 = 0, 0 = 5*y + 2*g + n for y.
-2
Let g(c) be the first derivative of 2*c**2 - c - 1. Let b be g(-2). Let z = b - -18. Solve 4*y + 4*v + 12 = 0, 0*y - y + z = -3*v for y.
0
Suppose -11*d + 4 = -9*d. Solve 35 = -3*z - 4*x + 10, d*x = -4*z - 20 for z.
-3
Let r = -1 - -1. Suppose -3*w - 23 = -5*s, -4*s = -r*s + 5*w - 11. Solve -2*g = s*c + 26, c - 12 = 4*c for g.
-5
Suppose 4*s + 4 = 5*a - 17, 2 = 2*s. Let i(b) = -b - 3. Let q be i(-4). Let x = a - q. Solve -x*l = -0*g + 2*g, 0 = 5*g + 2*l for g.
0
Let r(v) = -2*v. Let a be r(-6). Let u(b) = b**2 - 11*b - 7. Let z be u(a). Solve -5*c + 2 = 5*q - 2*c, z*q + c - 4 = 0 for q.
1
Suppose m + 4*y + 10 = 3*m, 4*m + 2*y = 60. Solve 0 = 3*n + o - 2 -