+ (-4)/14. Solve -c*k + 25 = k for k.
5
Let s(x) = -x**2 + 9*x - 8. Let p be s(5). Solve -2*c = -5*c + p for c.
4
Let i(n) = 2*n - 7. Let v be i(-6). Let s = -10 - v. Let r(a) = a**2 - 10*a + 11. Let f be r(s). Solve 2 + f = -y for y.
-4
Suppose -1 - 7 = -4*i. Let n be (i - 0) + 3 + 0. Solve 3 = -n*g + 8 for g.
1
Suppose -1 - 11 = -6*q. Solve q*x = -3 - 3 for x.
-3
Let q(t) = t**2 + 5*t - 3. Let h(x) = 6*x. Let l be (2 + -4)*(-1)/(-2). Let u be h(l). Let p be q(u). Solve -p*z + 6 = 15 for z.
-3
Suppose -7*h = -3*h - 8. Suppose -4*y = -2*v + 22, -5*v + 39 = -h*y - 0*y. Solve 4*k + 19 - v = 0 for k.
-3
Suppose 0 = -4*i + x - 7, 2*x + 4 = -4*i + 3*i. Let n be i/3 + 16/24. Solve n = -7*l + 4*l - 15 for l.
-5
Suppose -2*b - 3*b = -4*h - 28, 14 = h + 4*b. Let p = 7 + h. Suppose -2*c + 6*c = -g - 3, 0 = -g - p*c - 5. Solve -5 = -g*n + 20 for n.
5
Let j(v) = -v**2 + 6*v + 16. Let n be j(7). Solve 4*l - l = n for l.
3
Suppose -m + 243 = 4*y + 4*m, 5*y + m - 288 = 0. Suppose -4*j + 157 = y. Solve -2*k - 3*k = -j for k.
5
Let m(s) = -s**3 - 4*s**2. Let v be m(-4). Let z(g) = -3*g - 2. Let k be z(-4). Solve -q - q + k = v for q.
5
Let r = 0 + 2. Let z(g) = 2*g**2 - 4*g + 2. Let d be z(r). Solve -d*j = j for j.
0
Let q(v) be the third derivative of 1/8*v**4 + 0 - 2*v**2 - 1/2*v**3 + 0*v. Let u be q(2). Solve -u = p + 2*p for p.
-1
Let y be 5/(-25)*0*1. Solve -2*m + 2 = -y for m.
1
Let r be (-77)/(-14) + 1/(-2). Solve 5*z - r + 0 = 0 for z.
1
Let w(k) = -4*k - 1. Let c be w(-3). Let d(v) = -v**3 + 10*v**2 + 7*v - 9. Let b be d(9). Suppose 0*a - 5*a = -b. Solve 0 = 4*y + c - a for y.
4
Let x = 17 + -12. Solve 0 = -r + x for r.
5
Suppose -5*p + 47 = 2*c, -3*p - 46 = -2*c - 7. Solve -5*t + c = 6 for t.
3
Let m(x) = 4*x - 3. Let n(b) = -7*b + 6. Let l(p) = -11*m(p) - 6*n(p). Suppose -2*v - 15 = o - 5*v, 3*o + 5 = -v. Let s be l(o). Solve -4*i - s = 1 for i.
-1
Let j(c) = 2*c - 7. Let q be j(6). Suppose -5*v + q*f + 0 = 5, -5*f + 17 = -v. Solve 2 = u + v for u.
-1
Let m be (1 + -4)*8/(-6). Let r be -1 + 1 + 1 + m. Solve -8 = r*q - q for q.
-2
Suppose 0 = -2*o, -8*o = 5*z - 4*o - 55. Solve 4*q - 5 = z for q.
4
Let k(f) = -f**2 + 9. Let m be k(-3). Solve m = 2*x - x - 1 for x.
1
Let n be ((-3)/(-4))/((-2)/(-16)). Suppose g = -y + 5, 3*g + 2*y = 4 + n. Solve 2*q + 0*q + 10 = g for q.
-5
Suppose 0 = 3*b - 3*l + 6*l - 18, l - 2 = 0. Let p be (-132)/(-21) - b/14. Solve 2*r - 4 = p for r.
5
Let p be 12 + -3 - 3 - 2. Let u(v) = v - 1. Let x = 4 - -1. Let z be u(x). Solve -2*o - z - p = 0 for o.
-4
Let y(r) = 5*r - 3. Let j be y(1). Solve j = -f - 1 for f.
-3
Let t(n) = 2*n - 8. Let p be t(6). Suppose 3*v = 5*q - 12, -3*v = -2*v - 2*q + p. Let u(g) = -g**3 - 5*g**2 - 5*g + 2. Let k be u(v). Solve -d = d - k for d.
3
Let r(t) = -t**3 - 11*t**2 + 13*t + 16. Let x be r(-12). Suppose -26 = -5*l - 3*c + 1, -x*c = l - 19. Solve 5*w + 13 - l = 0 for w.
-2
Suppose -3*u + 2*v - 8 = -1, 0 = 2*u - 2*v + 8. Suppose 4*r - f - 35 = 0, -4*r = -2*r - 2*f - 16. Solve r + u = -5*w for w.
-2
Let o be ((-9)/(-9))/((-3 + 4)/1). Solve u = -o - 2 for u.
-3
Suppose -51 = 4*r - 51. Solve r*f + 4 = -f for f.
-4
Suppose 2*v + 17 = 31. Let d = 1 + 2. Solve -j = v - d for j.
-4
Let h be (-22)/(-10) + (-1 - 5)/30. Solve -i - h*i = 12 for i.
-4
Let r(p) = -p**2 + 4*p - 2. Let z be r(2). Suppose 0 = -n, n - 1 - 14 = -5*b. Solve -s - z = b for s.
-5
Suppose -4*i + 20 = 2*p, 0*i - 3*i = -2*p + 6. Solve p*j = j + 15 for j.
3
Let v(j) = -j**2 - 10*j - 7. Let l be v(-7). Suppose 5*n = -l + 4. Let b be 3 - n/4*-2. Solve 0 = b*q + 2*q + 20 for q.
-5
Let u(x) = -x**2 + 8*x + 5. Let j(p) = p + 7. Let c be j(0). Let k be u(c). Solve -2*h = h - k for h.
4
Let d(s) = -2*s**2 + 26*s + 8. Let g be d(13). Solve -g + 13 = -5*w for w.
-1
Let v be 0/2 + (-12)/(-3). Let a be ((-4)/v - 0)*-20. Suppose 2*y = 9 + 5. Solve 2*q - y*q = a for q.
-4
Let i(r) = -12*r + 3. Let v be i(5). Let m be v/(-3) - 0/(-1). Suppose 2*s = 4*o, 4*s = o - 5 + m. Solve 3*p = -o*p for p.
0
Suppose -5*p - 3*n = -6, 3*p - 6 = n - 2*n. Suppose 2*k + p = -k. Let t(i) = -2*i. Let m be t(k). Solve 0*v - m = -v for v.
2
Suppose 0 = v + 2, -2*v - 6 = h + 2*v. Solve -h*o = 2*o for o.
0
Suppose -f + 0 = -3. Suppose 18*w - 15*w - f = 0. Solve g = -2 - w for g.
-3
Suppose -17*g = -22*g + 15. Let k = 3 - -17. Solve -c + k = g*c for c.
5
Let s be (1 - -1)/6*9. Suppose 0 = p - 2*m - 4, 0 = -4*p - s*m + 8*m + 10. Solve n + 4*n = p for n.
0
Let d = -11 - -14. Solve 0 = 3*p - 3 - d for p.
2
Let o(c) = c**2 + 3*c. Let g be o(-3). Solve g*k = -4*k for k.
0
Suppose -2*g - h = -1, 5*g - 5 = h + 15. Let n = -5 + 9. Suppose 30 = s + n*s. Solve -g*j - s = -j for j.
-3
Let d(m) = m**3 - 6*m**2 + 5*m + 3. Let g be d(5). Solve 12 = 7*j - g*j for j.
3
Let k be (2/((-2)/1))/1. Let p be (1/(-3))/(k/6). Let w(a) = -a**3 + 6*a**2 + 2*a - 5. Let o be w(6). Solve -p - o = 3*x for x.
-3
Let k(u) = -u**3 + 5*u**2 - 7*u + 5. Let q be k(3). Solve 0*o = q*o + 8 for o.
-4
Let b(g) = g**2 - 1. Let s be b(-1). Solve -z + 0*z + 2 = s for z.
2
Let b(x) = -x**2 + 10*x - 11. Let q be b(9). Let t be (2/(-4))/(q/4). Solve -t = -4*r - 5 for r.
-1
Let c be 7/(14/(-12))*(-130)/39. Solve 5*j - c = -0*j for j.
4
Let r(h) be the first derivative of -h**2/2 + 12*h - 2. Let n be r(9). Solve 2*j - n = j for j.
3
Suppose -4*p - 14 = -t + 4*t, 3*t - 3*p - 21 = 0. Let z be 8/6*(-3)/(-2). Suppose 4 = z*r + j - t*j, 4*r = j + 10. Solve -r*n + 6 = -3 for n.
3
Suppose 3*h = -b + 13, -7*h + 4*h + 3*b + 21 = 0. Suppose -h*c = r + 2*r - 55, -3*r = c - 35. Solve 15 = -5*n - r for n.
-5
Let v(l) be the third derivative of l**6/120 - l**5/6 + 11*l**4/24 - 13*l**3/6 + 3*l**2. Let d be v(9). Solve 0 = 5*f + d for f.
-1
Suppose -15*r = -6*r - 108. Solve 3*m - r = -m for m.
3
Suppose -5*z - 3*r - 2*r + 85 = 0, 0 = -2*z + 3*r + 24. Solve -n + 4*n = -z for n.
-5
Suppose -2*j = -7*j. Solve 2*k + k = j for k.
0
Let m = 6 - -7. Solve -4*t - m = 3 for t.
-4
Let s(k) = 2*k**2 + 2*k - 4. Let b be s(-3). Let a = b - 3. Suppose -a*w + 2 = -4*i + 3, 14 = 5*i - 2*w. Solve r = -i + 5 for r.
1
Suppose -3*f = -5*f + 14. Suppose 0 = -z + f. Suppose 3*h = 4 + 8. Solve -h*v + 1 + z = 0 for v.
2
Let z be ((-10)/(-5))/(6/9). Suppose -5*y - b + 20 = -50, 2*y + b = 25. Solve z*a = -2*a + y for a.
3
Let b(j) = -j**2 + j + 2. Let d be b(2). Suppose 3*u + 4*o - 76 = -u, d = -3*u + o + 41. Solve 3*p = -2*p - u for p.
-3
Let r(o) = 26*o. Let x = 0 + -1. Let a be r(x). Let v be 18/27*(1 - a). Solve 3*p + 3 - v = 0 for p.
5
Suppose -r + 4*n = -19, 3*n = -5*r - 0 + 3. Let x be (-404)/(-44) + 4/(-22). Suppose -k + 3*g - g = -x, -r*k - 2*g = -3. Solve k*t + 0 = -3 for t.
-1
Suppose 0 = 3*t - 7*t + 2*p + 24, 2*t = -p + 4. Solve t*h = h + 9 for h.
3
Suppose 13*x - 8*x = 0. Solve x*c = -c for c.
0
Let h be 18/5 + 4/10. Solve o = -h*o + 20 for o.
4
Let y(q) = q**2 + 6*q + 2. Let k be y(-5). Let p = 3 + k. Suppose 0 = -p*i - 3*i + 60. Solve i = -o + 6*o for o.
4
Let g(q) = 3*q + 21. Let o be g(-4). Suppose c = s - 3*c - 12, 0 = -4*s + c + 18. Let a = s - 1. Solve 0*r = -a*r - o for r.
-3
Suppose 0 = -4*m - m + 15. Suppose -3*r + 6 = -0. Suppose 3*h - 64 = -4. Solve m*u - h = -r*u for u.
4
Let m(n) = 2*n - 7. Let v = 16 - 11. Let j be m(v). Let s be (-16)/5*(-15)/j. Solve s = -u + 5*u for u.
4
Suppose 0 = 4*q - 5*g + 50, -4*q + 4*g = 5 + 47. Let t be 5*(12/q - 0). Let u = t + 6. Solve -u*o = 2*o + 8 for o.
-2
Let o(z) = 5*z - 7*z**2 - 6*z + 9*z - 1 - 8 + z**3. Let s be o(6). Solve -7*j = -s*j + 4 for j.
-1
Suppose 3*b - 5 = 4. Let q(p) = -p + 1. Let w(v) = -3*v + 9. Let r(g) = -2*q(g) + w(g). Let d be r(7). Solve 3 = -d*o + b*o for o.
1
Suppose -3*a + 8 = a, 4*d - 24 = 2*a. Suppose -u = 3 + 12. Let o = u + 21. Solve l = o - d for l.
-1
Let j(p) = p**3 + 5*p**2. Let b be (-1)/(-1 + (-6)/(-5)). Let d be j(b). Solve d = -5*v - 3 + 13 for v.
2
Suppose b + v = -2*b + 30, -4*b + 4*v + 40 = 0. Solve 4*z - b = 2*z for z.
5
Let x(f) = f**3 + 5*f**2 + 4*f - 1. Let v be x(-4). Let c = v - -8. Solve -5 - c = -4*b for b.
3
Suppose -3 = -5*p + 3*y, 5*p - y + 5 = -6*y. Solve -4*j + 9*j + 20 = p for j.
-4
Suppose -2*d = -3*d + 7. Solve -3*b = d + 2 for b.
-3
Let v = 5 + -6. Let x = 6 + v. Solve x = -3*u + 2*u for u.
-5
Let u(t) = 2*t**3 - 10*t**2 + 5. Let v be u(5). 