ative of g**5/20 + g**2/2 + 3*g. Let x be u(0). Solve -4*t + 3*t - x = 0 for t.
-1
Suppose -4*r = -2*f + 76, -3*f - r = -3*r - 98. Suppose -f = -4*v + 2*x, -v = v + 4*x - 40. Solve -2*g + 4*g = v for g.
5
Let t = -22 + 27. Solve 2*d + t = 3 for d.
-1
Let c(q) = q + 8. Let h be c(-7). Solve 13 = -3*w + h for w.
-4
Let y(c) = c**2 + 4*c + 6. Let v = 19 - 23. Let k be y(v). Solve r = -r + k for r.
3
Suppose 4*r + 20 = 5*r. Let p = -6 - -9. Solve p*c - r = -c for c.
5
Let p be 1 + 12 - 3 - 2. Suppose 0 = -m - m + p. Solve 0*v - 20 = m*v for v.
-5
Suppose -5*w - 2*j - 4 = 0, w - 5*j - 8 = 2. Let h = w + 3. Solve -h*g - 5 = 2*g for g.
-1
Let z(u) = -u**3 + 7*u**2 - 6*u + 7. Let c be z(5). Suppose c = 2*g + g. Suppose 0 = -5*v + 2*v + g. Solve -v*l + 12 = -7*l for l.
-3
Suppose 5*h + 16 + 279 = 5*z, 3*h = -15. Suppose 0*u + z = 2*u. Solve -2 + u = 5*g for g.
5
Suppose s + 2*x - 21 = -3*x, -15 = 5*s - 5*x. Let g be -3 + (10 - s) + -2. Solve -3*t + g*t = 4 for t.
4
Let i(m) be the third derivative of -m**5/60 - 3*m**4/8 - 7*m**3/6 + m**2. Let g be i(-7). Solve -j + 3 = g for j.
-4
Let t be 5*(-5)/((-25)/3). Solve 2*q - t - 3 = 0 for q.
3
Suppose 3*s - 5*r = 44, -21 = -5*s + 2*r + 27. Suppose 28 = 4*z + s. Suppose -z*f = 4*b - 35, 0 = -0*f + 3*f - 3*b + 6. Solve 0 = p - f*p for p.
0
Suppose 3*y = -4*y + 133. Solve 4 = -3*l + y for l.
5
Let m(l) = -2*l + 2. Let q be m(1). Solve q = 3*d - 7 - 5 for d.
4
Let j be (-1)/(-3)*3 - -2. Suppose 0 = 5*b - 5, -f + 3 = j*b - 3. Solve -w + f*w = 10 for w.
5
Let m = 1 + 1. Solve -m = l + l for l.
-1
Let x(t) = t**2 + 3. Let o = 3 - 3. Suppose o = -2*c + c. Let p be x(c). Solve 4*m - p = 1 for m.
1
Let i = 17 + -12. Solve -i*j - 11 = 14 for j.
-5
Let i = 3 - 0. Suppose -2*t + i = -5. Suppose 18 = -2*j + t*j. Solve 3*x - j = -3 for x.
2
Suppose -9*t = -11*t + 6. Solve -t = 2*k - 1 for k.
-1
Let b be (-3)/(54/(-32)) - 10/(-45). Solve b*c + 2 = -2 for c.
-2
Suppose -4*c + 5*c + 5*a = -6, -3*a - 52 = 5*c. Let u = c - -21. Let m = 8 - 5. Solve -m*v + u = 2*v for v.
2
Let g(n) = -2*n + 6. Let f be g(-3). Solve z + f = -3*z for z.
-3
Let j(g) be the third derivative of -g**5/60 + g**4/3 + 2*g**3 + 5*g**2. Let w be j(9). Let d = 1 - 1. Solve -w*h - 6 = -d*h for h.
-2
Suppose 5*j + 17 = -18. Let l(c) = -c - 4. Let d be l(j). Solve -d*x - 20 = x for x.
-5
Let w = -22 - -16. Let k = -4 - w. Suppose -4*x + 1 + 11 = 0. Solve -i + x = k for i.
1
Let g be (-1)/(-3) - (-20)/3. Suppose 0*v + v = -2*z + 20, 0 = 2*z - 5*v + 4. Solve 3*y - g*y = z for y.
-2
Let g = -49 - -50. Let m = -3 - -2. Let o = m + g. Solve -q + 1 = -o*q for q.
1
Let c = 181 + -173. Solve c = -2*g - 2 for g.
-5
Suppose 3*v - v + 2*r - 4 = 0, 11 = 3*v - 2*r. Solve 8 = q + v*q for q.
2
Let m be (-12 + 17)/(2 - 1). Solve -m*a = -25 - 0 for a.
5
Let x(z) = 4*z - 30. Let l be x(9). Solve 0 = v - l + 1 for v.
5
Suppose 8 = 2*p, 2*f - 20 = -2*f + 2*p. Solve -f*y = -2*y + 25 for y.
-5
Suppose -42 = -5*u - 2*y - 9, 5 = 5*u - 5*y. Solve u*b - 16 + 1 = 0 for b.
3
Suppose -5*k = -2*d + 27, -k + 1 = -0*k. Suppose 5*r + 7 + 11 = -s, -s = r + 2. Suppose -4*z + s*h + d = 4*h, 2*z + 4 = 2*h. Solve u + z + 1 = 0 for u.
-3
Suppose 0 = o + 4*o - 20. Let q be -32*o/(-1*8). Solve 2*w = -2*w + q for w.
4
Let k be 6/30 + (-9)/(-5). Suppose -6*b = -k*b. Solve -2*h - 2 - 4 = b for h.
-3
Suppose 33 = -2*k + 13. Let n(l) = -l**2 - 13*l - 10. Let s be n(k). Suppose -4*i + s = 4*m, -7*m = -3*m + 3*i - 18. Solve -2*b - 2 = -m*b for b.
2
Let t = -13 - -15. Suppose -k + t*k - 2 = 0. Solve 0*r = k*r - 2 for r.
1
Let j(s) = 6*s**2 - 2*s + 1. Let q be j(1). Suppose -q = t - 6*t. Solve 4*b + t + 3 = 0 for b.
-1
Let g(u) = -u**3 - 7*u**2 + 8*u + 5. Suppose 2*h - 8 = 3*h. Let d be g(h). Solve -4*k + d = -15 for k.
5
Let d(l) = l**3 + 5*l**2 - 6*l + 5. Let u be d(-6). Solve -p - 4*p = -u for p.
1
Let z be 0*((-2)/(-5) + 54/(-60)). Solve -3*n = -z*n for n.
0
Let f(d) = 4*d**2 + 13*d + 5. Let b be f(-3). Suppose -1 - 8 = -3*m, -2*m - 6 = -4*k. Solve -b = -k*g + 1 for g.
1
Suppose 38 = 4*u + q, 0*q + 3*q = -u + 15. Solve 0 = -2*w + 1 + u for w.
5
Suppose -2*j - r + 8 = r, 5*j - 5*r = 60. Solve j = q + q for q.
4
Suppose i - 2*i + 42 = -4*u, -2*u + 3*i - 26 = 0. Let s(d) = -d**2 - 10*d + 5. Let r be s(u). Let c be (5 + -1)/(1 + 0). Solve 0 = -c*k + r - 1 for k.
1
Let s(n) = n**2 - 5*n - 1. Let b be s(6). Suppose 12 = 5*m + 2. Solve -3*t = -m + b for t.
-1
Let w(i) = -i**2 - 9*i - 8. Let z be w(-6). Let j be 2/3*(-15)/z. Let h(v) = -3*v**3 - v. Let s be h(j). Solve m + s = -m for m.
-2
Let b(h) = h**3 + 5*h**2 - 5*h - 2. Let y be b(-6). Let p = y + -1. Let n = p + 16. Solve -13 = -4*s + n for s.
5
Suppose 2*n + 3*l = -28, 0 = -0*n - 4*n + 4*l - 76. Let r = n - -27. Solve -y + r = -3*y for y.
-5
Suppose z - 42 = -2*k - 10, -k = 4*z - 23. Let a(w) = 3*w - 3. Let n be a(2). Suppose 1 = u + 6, n*u + k = -5*x. Solve -v + 3 = -x*v for v.
3
Let a(b) = b**2 + 4*b. Let r be a(-5). Suppose -v = 3*k + 3*v + 17, 4*k + 6 = 3*v. Let z = k + r. Solve -t + z*t = 1 for t.
1
Let p = 22 + -18. Solve 0 = p*n - 3*n for n.
0
Suppose -5*u + 6 - 31 = -5*l, -u + 3*l = 15. Suppose 5*w - 4*d + u*d = 45, -2*w + d = -15. Let s = 2 + -1. Solve -h + s = w for h.
-4
Let w(z) = -z**2 + 7*z + 10. Let h = -6 + 14. Let a be w(h). Suppose 0 = y - b - 9 + 4, -4*y = 2*b - 26. Solve -a*j + y*j = -8 for j.
-2
Suppose 3*h = -4*w + 2 + 2, w + 4*h = -12. Solve 3*o = 2*o - w for o.
-4
Suppose d = 12 - 0. Solve d = -3*j - j for j.
-3
Let q = -81 + 40. Let d = -25 - q. Let j(g) = -g**3 - 6*g**2 + g + 9. Let l be j(-6). Solve -l*o + d = o for o.
4
Suppose -4*b + 2*b + 13 = -5*s, -4*b - 7 = s. Let l be ((-8)/s)/((-3)/(-9)). Solve -y + 5 - l = 0 for y.
-3
Suppose 0 = -c + 2*c. Solve c = -3*d - 0 + 6 for d.
2
Suppose 2*q = 5 + 1. Let r be (2/q)/((-4)/(-24)). Solve 0 = -y + r*y - 6 for y.
2
Suppose -x = -0*w - 3*w + 2, 4*x = -3*w - 8. Let k(c) = 11*c - 2. Let n be k(2). Solve w*q = -4*q - n for q.
-5
Suppose 5*i - 1 = 3*t, 0*t = -t + 3. Solve -4 = -2*c + i for c.
3
Suppose y = 2*y - 2. Suppose -2*x - 2*x - 20 = -5*s, 10 = 4*s - y*x. Suppose 2*v - 6*v + 12 = s. Solve -2*t = t - v for t.
1
Suppose -25*z - 5 = -30*z. Solve z = -2*f + 3 for f.
1
Let k be 51/9*(1 + -4). Let g = k + 29. Suppose 5*f = 3*c + 10 + 10, 5*f + c = 40. Solve f*s - 4*s = g for s.
4
Let u(h) = -9*h + 29. Let q be u(3). Solve q*r - 1 = 9 for r.
5
Let l = 10 - 7. Suppose l*c - 32 = -c. Solve c = w + w for w.
4
Suppose -4 = -4*z, -5*s - 45 = -z + 6*z. Let v = s + 20. Solve -4*c = -2*c + v for c.
-5
Suppose -1 = -2*a + 23. Let z = a - 10. Solve 0*i = z*i + 6 for i.
-3
Let b be ((-60)/18)/((-4)/6). Let o be 3/2*(7 + (1 - 4)). Solve 0 = -b*n - o - 4 for n.
-2
Suppose -4*t - 1 = 3*y, 5 = -7*y + 4*y - 5*t. Suppose 0*q - 15 = -y*q. Solve -2*v - q*v = 10 for v.
-2
Suppose 0 = 8*h - 10*h. Let m = h + 0. Solve 4*k - 12 = -m*k for k.
3
Let t = 0 + 20. Let i = t + -15. Solve 9 + 11 = i*q for q.
4
Let p(w) = -w**3 + w**2 + 2. Let i be 0/(-1 - (1 - 3)). Let h be p(i). Suppose -q = h*q - 15. Solve -q + 11 = 2*d for d.
3
Suppose 4*l - 39 = 33. Let t = -13 + l. Let h(p) = p**2 - 4*p + 3. Let i be h(3). Solve 0 = -u - i - t for u.
-5
Let p(m) be the second derivative of -m**5/20 + m**4/2 + m**3/3 + m**2/2 + 3*m. Let t be p(6). Solve -5 + t = -2*a for a.
-4
Let n = -13 + 16. Suppose -2*h = -5*k + 15, -h - k + 7 + 3 = 0. Suppose -20 = 4*p, h*w + 4*p = -0 - 10. Solve n*j = -w*j - 15 for j.
-3
Let x be (-3 - -2 - 1) + -17. Let d = x - -29. Suppose 4 = -13*u + 15*u. Solve -2*f - u + d = 0 for f.
4
Let j = -165 - -190. Solve 5*v + 0*v = -j for v.
-5
Suppose 0 = 3*o + c - 5, 2*o - 4*c = 22. Suppose 0 = -o*k - 1 + 7. Solve k*d = d - 5 for d.
-5
Suppose 2*z + 5*q - 17 = 0, -5*z + 5*q = 11 - 36. Solve 4*i - z = 2*i for i.
3
Let a be 1 - (4/(-4) - -24). Let k = -12 - a. Solve -3*f = -8*f + k for f.
2
Suppose 0 = s - 2*s - c + 6, 2*s - 4 = 2*c. Let v = 5 + -3. Let u be -10*(3/2 - v). Solve 3*r + s = -u for r.
-3
Let j = -10 - -15. Let w be (j/(-10))/(2/(-136)). Let r be 4/18 + w/9. Solve -4*v - r - 4 = 0 for v.
-2
Suppose 0 = -b + 7 - 3. Suppose -10 = -x - x. Suppose i - 3*o = -6, -x*i - o = o - 21. Solve s + b = i for s.
-1
Suppose 0 = -q - 0*q. Let a be (2/(-5))/(2/(-10)). Suppose c - t + 2 = 0, 2*c + t = -a*t + 6. 