**3/3 - 4*v**2. Let d be m(0). Solve d = 3*x + 5 for x.
-1
Let c(y) = -y**3 + 6*y**2 + 6*y + 2. Let f be c(7). Let w = 10 + f. Solve w*o - 10 = 10 for o.
4
Suppose -4*w + 60 = -0. Let r = w + -10. Solve -3 - 22 = -r*p for p.
5
Suppose -4*i - i + 4*n + 13 = 0, -5*n + 15 = 0. Suppose -i*t - 4*d = -15, t = -0*t + 2*d + 3. Solve 0 = -4*z + z + t for z.
1
Suppose -7*t + 33 + 2 = 0. Solve t = x - 6*x for x.
-1
Let a be 660/54 + (-4)/18. Suppose 5*q + 2*z - 70 = 7*z, -2*q = 2*z - a. Solve 0 = 5*n - 3*n - q for n.
5
Suppose 2*f = f. Let b be 9 - (2/3 + (-20)/12). Solve 2*y = -f*y - b for y.
-5
Let x(j) = j**2 + 3*j - 1. Let w be x(-6). Let h = 4 - 2. Suppose -4*d + 10 = -h*d. Solve 0 = -d*z - w - 8 for z.
-5
Let p(b) = -2*b + 21. Let o be p(9). Suppose -4*l + 4 = w + 12, -o*l = -4*w + 6. Solve -2*q - 3*q = w for q.
0
Suppose 4*h - 13 = 3*h. Solve -5*o - 3 = -h for o.
2
Let d(i) = -i**2 - 7*i + 2. Let b be d(-7). Solve 0 = b*w - 0*w for w.
0
Let x be 3/2*104/39. Suppose -23 = -s + 5*k + 2, -3*s - x*k = 20. Solve s = u + 4 for u.
-4
Suppose 4*c + 3*p = -15, 0*c = 2*c - 4*p - 20. Let r(h) = 2*h**2 + 4*h + 2. Let y be r(-2). Solve -y*d + 2 = -c*d for d.
1
Let v be (9/(-2))/(24/(-64)). Solve -4*h - v = -4 for h.
-2
Let b be 7/(-28) - 17/(-4). Suppose 0 = -2*i - 3*i - 10. Let y be 3/((-2)/(i*1)). Solve -b*l + 4 = -y*l for l.
4
Let v(n) = -n**3 + 7*n**2 - 3*n - 14. Let x be v(6). Solve x - 2 = -2*s for s.
-1
Suppose -5*w + 4 = -4*a - 22, w + 3*a = -10. Suppose 5*t - w*n = -20 + 49, -5*n - 15 = -t. Solve o = t*o + 8 for o.
-2
Let y be 1043/42 - (-2)/12. Let g be 10/y - 2/5. Solve 0*s + 4*s + 4 = g for s.
-1
Let g(n) = 2*n - 5. Let a be g(5). Suppose -a*m + 10 + 15 = 0, -4*o + 28 = -4*m. Solve -6*q + o = -3*q for q.
4
Let h = -8 + 3. Let f(u) = u + 4. Let c be f(h). Let w be -6 + 7 - 1*c. Solve 0 = 3*x + w*x - 10 for x.
2
Let d(s) = -s + 4. Let j be d(0). Let q = 16 - 6. Suppose -2*h = -3*c + 5, 5*c = -2*h + 4*c + 7. Solve j*f + q = h*f for f.
-5
Let d = 4 + 11. Suppose 4*q + 5*x + 15 = 0, -4*q - x + 6*x + d = 0. Solve -3*p - 6 + q = 0 for p.
-2
Suppose 12 = 2*g + 2*b, 0*g - 4*g + 51 = -5*b. Let l be (g - 4)/((-1)/(-3)). Solve -l = -0*z - 5*z for z.
3
Let h(w) = -w + 8. Let c(m) = m - 9. Let r(g) = 2*c(g) + 3*h(g). Let k be r(5). Solve -z - k = 2 for z.
-3
Let m(u) = 3*u - 2. Let s be m(2). Let b = -1 + s. Suppose i = -0*i + b*l + 20, 0 = i - 4*l - 25. Solve i*j = j - 12 for j.
-3
Let m(i) = i + 12. Let s be m(-10). Suppose -2*d - 31 = -3*v, -3*v - 4*d = 2*v - 15. Suppose 3*f = 4*a - 11, a = 4*f - v*f + 14. Solve -3*u - a = -s for u.
-1
Suppose 0 = -3*f + 6 - 0, z - 15 = -5*f. Suppose x - 4*v + 6 = -x, 4*x - 18 = -2*v. Solve z = x*r - 4*r for r.
-5
Let a = 15 + -10. Solve -a*f + f + 12 = 0 for f.
3
Let t = 20 + -9. Let n = t + -8. Solve 0 = n*s - 4 + 1 for s.
1
Suppose -3*u - 5*q + 45 = u, 0 = -2*u + q + 5. Solve 2 - 7 = u*g for g.
-1
Let y be (-4)/(-2 + 0/(-3)). Suppose -v = -y*v. Solve -2*x - 4 = -v*x for x.
-2
Suppose 0 = 5*p - 5*u - 5, 0 + 3 = 3*p - 4*u. Solve -2*y + 3*y - p = 0 for y.
1
Let h(f) = -f**3 + 2*f**2 + 2*f. Suppose -2*p = -2 - 4. Let v be h(p). Let y(m) = -2*m - 2. Let z be y(v). Solve 9*d - 5*d = -z for d.
-1
Suppose 0*k - 8 = -4*k. Suppose 0 = 2*t + 2*t. Suppose t*p = k*p - 2. Solve 3*x = 5 + p for x.
2
Let v(s) = -s**2 - 4*s. Let d be v(-4). Let t be (-6 + 3 + d)/(-1). Solve 5*p - 10 = t*p for p.
5
Suppose 5*o = -3 - 7. Let j be 0/o - -1*6. Solve 0 = -5*k - j + 1 for k.
-1
Let w(c) = c**3 - 3*c**2 - c + 5. Let k be w(3). Let j be k/(-2)*(-5)/5. Solve -3*a + j = -11 for a.
4
Let q = 32 - 27. Solve -3*r + 4 = -q*r for r.
-2
Let g be ((-2 + 2)/3)/1. Suppose -3*k + 9 + 0 = g. Solve k*s + 10 + 2 = 0 for s.
-4
Let c = 55 + -53. Solve -2*s - 2 - c = 0 for s.
-2
Let u(r) = r**3 + 7*r**2 + 8*r + 3. Let c be u(-6). Let z be c*(2 + (-28)/12). Solve z*n - 18 = -6 for n.
4
Let f(k) = -k + 1. Let j be f(0). Suppose -d - 5 = -j. Let c = 6 + d. Solve 2*l + c*l = 0 for l.
0
Let p be (-32)/112 + (-44)/(-7). Solve 3*d - p = 6 for d.
4
Let y = -1 + 16. Suppose 7*l = 3*l. Let h = 8 + -5. Solve l*x = -h*x + y for x.
5
Suppose -3*k + 10 = -2*k. Solve 6*g = 4*g + k for g.
5
Let j = 46 - 46. Solve 2*x + j = -4 for x.
-2
Let g be 2/4 + 17/(-2). Let y(v) = -v**3 - 9*v**2 - 10*v - 4. Let l be y(g). Solve -2*p - p + l = 0 for p.
4
Let x be 1 + -5*(1 + 0). Let i be x/8 + 2/4. Suppose 5*l + 4*p = -4, 3*l = -0*l - 3*p - 3. Solve l = q + 1 - i for q.
-1
Suppose -10 = -2*j - 4. Solve -j*f + 5*f - 2 = 0 for f.
1
Let c be (2 - (-8)/(-3))*-15. Solve -3*a + a = -c for a.
5
Suppose 0 = r + 3*u - 8, -2*u + 8 = 2*r - 0*u. Let s = 2 - -4. Solve -a + s = r*a for a.
2
Let l = 3 - 4. Let f = 2 + -1. Let g be 1*(f/l + 1). Solve 3*v + 15 = -g*v for v.
-5
Let z = 9 + -4. Let k(x) = 10*x**3 + x**2 + x - 1. Let i be k(1). Suppose -5*d - i = -36, 11 = -v + 3*d. Solve z*b - b = v for b.
1
Let f(m) be the third derivative of -m**5/60 + 4*m**3/3 + 2*m**2. Let z be f(0). Let k = z - 3. Solve k*y + 11 + 4 = 0 for y.
-3
Suppose 3*t = 16 + 8. Let f = t + 8. Suppose -8 = -3*k + 2*c, -5*c + 2 = 3*k - 5*k. Solve f = -k*p + 4 for p.
-3
Let q(u) = -u**2 - u + 15. Let j be q(-4). Solve j*n + 3 = -6 for n.
-3
Let x = -55 - -80. Let j(y) = y**3 + 5. Let k be j(0). Suppose 2 = k*i + 7, -4*m = 4*i - 20. Solve -m*t + t = x for t.
-5
Let i(u) = 2*u**2 + 8*u + 1. Let r be i(-4). Suppose 3*v = 6*v - 3. Suppose -w - 5*t = -v + 6, -5*t = 5. Solve 0 = -w*c + c + r for c.
-1
Let a = -16 + 22. Let u = 0 + a. Let w be 6/(-5)*(-20)/u. Solve -6*n + w = -2*n for n.
1
Let v(q) = q**3 - 1. Let d be v(-1). Let u = d - -7. Suppose -u = -2*z - 3*h, 2*h - 2 - 5 = -5*z. Solve -s - 5 + z = 0 for s.
-4
Let c = -12 + 17. Solve -c*w + 9 - 24 = 0 for w.
-3
Let g be (-2)/(-3) - (-20)/6. Let f be ((-126)/(-24))/7*4. Suppose -4*b + 12 = 3*u, b - 2 - 10 = -3*u. Solve b = f*y - 2 - g for y.
2
Suppose 0 = z - 0 + 2. Let h be z/9 + 40/18. Let t(l) = l**3 + l**2 - 2*l + 2. Let y be t(h). Solve w + y = 3*w for w.
5
Suppose 4*o - 2*l = l + 4, -3*l = 0. Solve o = 5*a - 9 for a.
2
Let i(x) = 2*x - 3. Let n be i(5). Let r = n - 7. Solve v + 4 = -r for v.
-4
Let s be ((-6)/4 + 2)*0. Suppose -2*h + 5*g = -0*h - 37, s = -5*h - 5*g + 5. Solve -21 = -5*v - h for v.
3
Let s(d) = d + 4. Let f be s(12). Let v = -5 + f. Suppose -2*j - 5*k + 27 = 0, j = -0*j - 2*k + v. Solve j - 16 = 3*h for h.
-5
Suppose 5*z - 3 = 12. Let x(q) = -3*q + 3 - q**2 - 2*q - z. Let j be x(-5). Solve j = 2*k - 3*k - 2 for k.
-2
Suppose 2*a + 0*a + 16 = -4*r, 19 = -2*a - 5*r. Let w be 1 - (0 - (-4)/a). Suppose -w*t = t - 8. Solve l + t*l + 6 = 0 for l.
-2
Let g(r) = -5 + r**2 + 0*r**2 + 5*r + 1. Let s be g(-7). Let c(p) = p**2 - 11*p + 14. Let x be c(s). Solve 0 = -2*t + 4 + x for t.
4
Let m(d) = -d - 1. Let r be (-12)/(-10)*(-40)/16. Let u be m(r). Solve 12 - 2 = -u*s for s.
-5
Suppose 3*d - 4 = q, 5*q - 65 = -5*d + 3*d. Let f = q - 6. Solve -f*m + 2 = 7 for m.
-1
Let n(o) = 2*o + 9. Let g be n(-7). Let x(a) = -a - 7. Let s be x(g). Let l = 1 - s. Solve 2 = -l*t + 4*t for t.
2
Let w(q) = q**3 + q. Let t be w(1). Suppose -t*g = -3*l - 11, -2*l + 9 = 2*g + 3. Let u = g + 1. Solve -u*p - 11 - 14 = 0 for p.
-5
Suppose -3*d + 2*l + 6 = 0, -2 = 2*d - 2*l - 4. Suppose -d*g + 10 = g. Solve -2 = 4*s + g for s.
-1
Suppose -4*y + 20 = -4*q + 6*q, -4*y + 3*q + 20 = 0. Solve 2*d - y = -3*d for d.
1
Let n(k) = k**3 + k**2 - 2*k - 2. Let p be n(-2). Let x = p - -2. Suppose -r + x = -10. Solve 0 = 5*h - 0*h - r for h.
2
Let b be -2 - (16/1)/(-2). Suppose p = -0 + b. Let x = p - 2. Solve t = -t - x for t.
-2
Let i be (-6)/(-10) - (-4)/10. Let h = 83 - 82. Solve -j = i + h for j.
-2
Let x = 21 - 13. Suppose 5*v - x*v = -9. Solve 0 = 5*y + 18 - v for y.
-3
Let y = -27 - -61. Solve 5*g - y = -9 for g.
5
Suppose -2*w = -4*w + 8. Suppose w*z = -5*a - 13, 5*a + 19 = -3*z + 3. Solve 3*r + z + 3 = 0 for r.
-2
Let h be ((-12)/(-9))/((-1)/(-3)). Solve h*m = 2*m - 4 for m.
-2
Suppose -i + 5*i = 3*s - 15, 20 = 4*i + 4*s. Solve 2*r - 4 = -i for r.
2
Suppose -4*u = 1 - 9. Suppose 0 = -7*n + 32 - 18. Solve u*s + n = -0*s for s.
-1
Let x(t) = -t + 1. Let g be x(-3). Solve -2*k = -0 + g for k.
-2
Suppose 4*n + 7 + 13 = 0. Let l = n - -5. Suppose 4*y - 1 - 7 = 0. Solve l*j + y*j - 6 = 0 for j.
3
Let s(x) b