*z - 6 + 26. Let r = -1 + -1. Let h be (r/t)/((-3)/27). Solve 2*v - 5 = -h*v for v.
1
Let u be (4 + -3)/1*(6 + -1). Solve u*o + 2 = 3*o for o.
-1
Let c be 18/4 - (-2)/(-4). Let y(v) = -2*v**2 + v - 1. Let u be y(1). Let l = u + c. Solve 2*j + l = j for j.
-2
Let f = -39 + 73. Suppose -2*y = -4*y + f. Solve -y = -5*k + 8 for k.
5
Let r(j) = j**2 + 6*j - 6. Let w be r(-6). Suppose -2*i = 0, d - 2*d = 4*i - 5. Let f be ((-15)/d)/(w/20). Solve -f = 4*n + n for n.
-2
Let l(h) = h**2 - 5*h - 2. Let g(x) = -7*x - 1. Let u be g(-1). Let w be l(u). Suppose -2*y - 3*y + 4*q = 16, -w*y - q + 4 = 0. Solve -2*z + 5*z - 15 = y for z.
5
Suppose -u - 9 = -2*u + 2*h, u + 2*h + 7 = 0. Suppose 2*l = 7 - u. Solve -3*g + l + 0 = 0 for g.
1
Let c be 0/(1 - -1) - -6. Suppose -3*u = -4*a - 12, 3*a - 4 = -u + 2*a. Suppose -3*h - 14 = -u*q, h - 5*q + 18 = -q. Solve -h*o = o - c for o.
2
Let g be 3 + 20/8 - (-6)/4. Solve g - 3 = -2*h for h.
-2
Suppose -8 = -3*k + 4. Suppose 2*v + 2*v + 4 = 0, -4 = -3*q - 5*v. Suppose q*w = k*w. Solve w*u - 2 = 2*u for u.
-1
Let m(y) = 2*y**3 - 3*y**2 + 2*y - 3. Let z be m(2). Suppose r = 2*g - 4, -20 = -4*g - r + 6*r. Solve 0 = -5*u - g - z for u.
-1
Suppose -30*x + 25*x = -30. Solve 10*v = x*v for v.
0
Suppose 0 = -5*x + 4*o + 80, 0 = -x - 2*o - 2*o - 8. Solve -u = 3*u - x for u.
3
Let j(h) be the first derivative of h**4/4 + h - 2. Let u be j(0). Suppose -2*k + u = -1. Solve k = 5*x - 4 for x.
1
Let g be (-6)/(2/(-6)*-3). Let i = -2 - g. Solve -4 = -i*d + 2*d for d.
2
Suppose -2*y - 3*y + 180 = 0. Suppose 3*l - 5*t = 2*l + 5, 4*t + y = 4*l. Solve -6*p = -4*p + l for p.
-5
Let o(n) = 14*n**2 + 4*n + 5. Let c(h) = -5*h**2 - h - 2. Let l(p) = 17*c(p) + 6*o(p). Let j be l(6). Solve j*d + 4 = 2 for d.
-1
Let n be (-18 + 0)/(18/12). Let q = -7 - n. Solve -4 - 6 = q*m for m.
-2
Suppose -4*q = -20, h = 2*h + 3*q - 30. Let p be 1 + ((-4)/(-2))/(-2). Solve -h = -p*o + 5*o for o.
-3
Let r be 2/3 + 138/9. Let w be (6 - r)/(-2 - 0). Suppose j = -3*y - y + 20, 46 = 3*j + w*y. Solve -2*o = o + j for o.
-4
Suppose -2*k = 2*k - 20. Suppose -5*q + 0*q = -4*h - 39, 3*q = -k*h - 21. Let x be 2/(1/((-9)/h)). Solve 5 = x*v - 7 for v.
4
Let n be (1/(-7) - 116/(-28))/2. Solve -n*q + 4 = -6*q for q.
-1
Suppose 0 = 4*l + 4, 2*j + 3 = 5*j + 3*l. Suppose 0 = 5*y - 26 + 1. Suppose y*i + 4*g + 5 = -0*i, 0 = -2*i + 2*g + 16. Solve j*r + i = 3*r for r.
3
Let z(i) = -i**3 + 3*i**2 + i - 3. Let r be z(3). Let q = -4 + r. Let h be 30/q*28/(-21). Solve 3*v + h = 5*v for v.
5
Let z = -31 + 31. Solve 4*v - 12 = -z*v for v.
3
Suppose -5 = -7*r + 16. Solve 4*l = -9 - r for l.
-3
Suppose 8*h = 5*h + 3. Solve b + 2 - h = 0 for b.
-1
Suppose -13 = -2*r - 3. Suppose 53 = 4*i - 11. Solve -r*x + 4 = -i for x.
4
Let h be 5/4*-2*-2. Let n = -32 - -36. Suppose 13 - 5 = n*x. Solve -x*t + h = 1 for t.
2
Suppose -2*w + 2 = -w. Let q(n) = 2*n**3 - n**3 + 3*n**2 - 1 + 0*n - n. Let m be q(-3). Solve -c = m + w for c.
-4
Suppose 0 = -3*v + 10 + 2. Solve -u + v*u = -3 for u.
-1
Let c = -3 + 3. Let t = 4 + c. Let h be t + 2 - (-2 + 3). Solve -h*l = -4 - 1 for l.
1
Let s(b) = 6*b + 33. Let l be s(-5). Solve 2*x - l = x for x.
3
Suppose 0 = 2*k + 1 + 5, 3 = 3*t + k. Let a(f) = f**3 - 2*f**2 + f. Let d be a(t). Solve -n + d*n - 3 = 0 for n.
3
Let s be (-12)/9*3/(-2). Suppose s*k - 3*h - 6 = -3*k, -h = -5*k + 2. Solve k = 4*c + 10 + 6 for c.
-4
Let w(x) = 7*x**2 + 6*x - 1. Let m be w(-2). Solve r + m = 4*r for r.
5
Let u(c) = c**2 - 8*c + 9. Let m be u(7). Solve 10 = m*f - 0*f for f.
5
Suppose -15 = -6*f + f. Suppose -o = -f*o. Solve o + 6 = 3*t for t.
2
Suppose 0 = -b + 3*b. Suppose b = -5*p + 5. Let u(w) = 3*w - 5. Let v be u(4). Solve -4*f - v = p for f.
-2
Suppose -5*s = c + 18, 28 = 4*c - 14*s + 9*s. Solve 3*q + c = 8 for q.
2
Suppose 2*d + 0*d = 18. Suppose 0 = d*i - 13*i + 16. Solve i*m + m = 0 for m.
0
Suppose 5*n - 9 = -m, -2*n + 2*m = -3*n. Let a(y) = -y**2 + 5*y - 5. Let j be a(4). Let r be 5*j/((-5)/3). Solve z + n*z + r = 0 for z.
-1
Let p = -49 - -61. Solve -g = 2*g + p for g.
-4
Suppose 3 + 2 = -5*w - d, -5*d = 3*w + 25. Solve -5*p + 4*p - 2 = w for p.
-2
Suppose 0 = -5*m + 2*r + 20, 0*m = m + 2*r + 8. Suppose -m = 3*v - 17. Solve 0 = -0*f + f + v for f.
-5
Suppose 4 = -2*z - 4*g, -5 = -4*z - 2*g - 1. Solve -7*m = -z*m + 25 for m.
-5
Let n = -5 - 1. Let p(o) = o**2 + 5*o - 8. Let l be p(n). Let j = 3 - l. Solve 3*c = j - 2 for c.
1
Suppose 6 = w + 2*w. Solve -k + w*k = 4 for k.
4
Suppose -3*u + 9 = 3. Let p be (2/(-4))/((-1)/4). Let q = p - u. Solve q = c + c - 6 for c.
3
Suppose -5*q - 4*j + 66 = 0, 3*q = -0*q - 3*j + 42. Let h = q + -6. Solve h*l - l - 12 = 0 for l.
4
Suppose -45 = -2*w - 3*w. Let p = w - 3. Let b = p + -3. Solve -b*y = -2*y + 3 for y.
-3
Let n(d) = 3*d + 1. Let q(r) = -2*r - 1. Let m(a) = 5*n(a) + 7*q(a). Let v be m(4). Solve -g + 5 = v for g.
3
Let i(y) = -y**2 - y - 1. Let p(w) = -6*w**2 - 10. Let a(q) = 5*i(q) - p(q). Let f be a(5). Suppose 4*u = 5*d, 2*u = -3*u. Solve d = f*n + 17 - 2 for n.
-3
Let r = 0 + 29. Let m = r - 21. Let b = -2 + m. Solve b = -3*v + 5*v for v.
3
Let t(y) = 2*y**2 - y**2 - 5 + 0 + 2*y - y. Let a be t(-5). Suppose 5*d - a = -6*l + l, -12 = -4*l - 5*d. Solve -g = -l*g + 8 for g.
4
Let o(a) = -2 + 2 + 8*a - 2*a. Let c be o(1). Solve 5*g = 9 + c for g.
3
Let h(z) = z**2 - z + 2. Suppose 0 = g + 3*i + 1, 0 = -5*g + 5*i + 7 + 8. Let a be h(g). Solve 0*b - a*b + 8 = 0 for b.
2
Let c = 10 + -2. Let y be (-18)/4*c/(-6). Let d = y + -3. Solve -5 = -d*b - 2*b for b.
1
Let v = 14 + -11. Suppose 2 = d - v. Suppose 0 = -a + d*a. Solve a*z + 3*z - 6 = 0 for z.
2
Let s = 74 - 49. Suppose 5*x - s = -0. Suppose 0*c - 5 = -x*u - 2*c, -u = 4*c + 17. Solve u*p - 3 = -0 for p.
1
Let h = 7 - 8. Let o = h - -3. Let y = 31 - 21. Solve -y = -o*f - 0*f for f.
5
Let r be (2 - 3)/1*-3. Solve v + r*v = -8 for v.
-2
Let m be 5*(3 - (-4)/(-2)). Suppose -3*p + m*z - 3*z = -3, -p = -4*z + 9. Solve -p*u = u for u.
0
Suppose 0 = -3*p + 11 - 2. Suppose 5*w = -3*y + y - 4, p*y - 2*w - 13 = 0. Solve 3*z = 6*z + y for z.
-1
Suppose -4*l + 5*q = -0*l - 74, -2*l + 2*q = -36. Solve 4*h - 8*h = l for h.
-4
Let h(m) be the third derivative of -m**6/120 - m**5/10 + 7*m**4/24 + 2*m**3/3 + m**2. Let y be h(-7). Let f = y + 0. Solve 0 = 3*t + f - 16 for t.
4
Suppose i - 4*a + 20 = 0, 3*a = 4*i - 0*i + 15. Suppose 4*h - h = i. Solve 8 = -4*f - h*f for f.
-2
Let j(a) = a - 1. Let t be j(2). Suppose 3*k - 13 = 20*m - 19*m, -20 = -4*k. Solve -m*r + t = -3 for r.
2
Let y(r) = 2*r - 1. Let w be y(2). Solve w*i - 6*i - 6 = 0 for i.
-2
Suppose 0 = -16*c + 36 + 60. Solve 0 = 3*v - 0 - c for v.
2
Suppose 0 = 4*c - 150 + 30. Suppose -4*m + c = -m. Solve 35 = -5*x + m for x.
-5
Suppose -3*i - 2*i = -100. Let b = -10 + 11. Let y be (-2 + 3 - b)/1. Solve y = 3*a + a - i for a.
5
Let o = -11 + 1. Let p be 3*o/6*-1. Solve p - 2 = q for q.
3
Let k(v) be the second derivative of 13/12*v**4 + 0 - 3*v + 0*v**2 + 1/6*v**3. Let h be k(-1). Solve 3*d - 6*d = h for d.
-4
Let n(h) = -7*h**3 - h**2 - 2*h + 1. Let p(z) = 20*z**3 + 3*z**2 + 5*z - 3. Let w(s) = -17*n(s) - 6*p(s). Let f be w(-3). Solve -4*x = -f*x - 9 for x.
-3
Let w be 4/(-14) + (-10)/(-35). Solve -3*x + 4*x + 5 = w for x.
-5
Let y = 17 - -9. Let x = 38 - y. Solve -7*q = -3*q + x for q.
-3
Let f(u) = u**3 + 6*u**2 + 6*u + 7. Let i = 2 + 3. Suppose 0*a + i = -a. Let b be f(a). Solve 3*z - b*z = 4 for z.
4
Let a(j) = 2*j - 3*j - 2 + 0*j. Let p be (-34)/6 + (-6)/(-9). Let r be a(p). Solve -r*d = d + 12 for d.
-3
Suppose -q = q - 6. Solve -w = 2*w + q for w.
-1
Let c be 3/15 + (-4)/20. Solve c*n = -n for n.
0
Suppose -1 = -4*v + 3, -r + 2*v = 8. Let q = r - -9. Suppose f - q*x = 11, 4*f - f - 21 = 3*x. Solve -16 = f*b - b for b.
-4
Let u(j) = -j**2 + 1. Let f(x) = -x**3 + 12*x**2 + x. Let c(h) = f(h) + u(h). Let a be c(11). Solve 3*z = -z + a for z.
3
Let o(b) = -b**3 - 3*b**2 - 3. Let r be o(-3). Let w = -2 - r. Let q = -13 + 13. Solve q = -t - w - 3 for t.
-4
Let l = -94 - -99. Solve -l*x = -11 - 9 for x.
4
Suppose -4*j - 5*h + 13 - 5 = 0, h = 0. Suppose 3*k = -2*z - j, 0 = 4*k - 9*k + 5*z + 30. Solve k*y + 2*y = 0 for y.
0
Let x(a) = -a - 1. Let u be x(-5). Suppose 3*r = -r - u. Let j be (2 - 0)*r/(-1). Solve k = -k - j for k.
-1
Let p(l)