Let p be a(-3). Let h be (p + 8)*(-6)/4. Let o be (-5 + 2)/h*0. Solve -4*l = -o + 4 for l.
-1
Suppose 2*f = -0*h - 3*h + 5, h = 5*f - 21. Let l = h - -9. Solve 4*a - l = -0*a for a.
2
Let t = 14 + -14. Solve t = c - 2 for c.
2
Let p be 1 + (2 - 0) - 2. Let t be -3 + (-12)/(-3) + p. Solve 0 = t*b - 6*b + 16 for b.
4
Let k(g) = g**2 + g - 2. Let d be k(1). Solve h + 4 = -d*h for h.
-4
Suppose 0 = 4*a - 5*l - 16 - 32, -3*a + 4*l + 36 = 0. Suppose 3*n - a = n. Solve -3*s = -n + 21 for s.
-5
Let c = 75 + -72. Suppose 4*n + 18 + 2 = -4*j, 2*j = -3*n - 15. Solve j*x = -x + c for x.
3
Suppose 5*x = 8 + 17. Suppose -10 = -4*i + 2*w, 0*i - 5 = -x*i + w. Solve -m = -i*m - 1 for m.
1
Let x = 27 + -22. Solve -26 + 1 = x*z for z.
-5
Let h(d) be the third derivative of 1/20*d**5 + 0 + 0*d + 1/6*d**3 - d**2 + 1/12*d**4. Let g be h(-1). Solve 3*i + g = 5*i for i.
1
Let y = -19 - -34. Suppose -3*a = -2*h + 9, -15 = -7*h + 4*h + 3*a. Solve y = -p + h*p for p.
3
Suppose 2*n = 3*o - 46, 4*o + 0*n = -n + 65. Let y(u) = -5*u**2 + 5*u**2 + 2*u**2 + 2*u + 1. Let v be y(-1). Solve -5*r = -o + v for r.
3
Let r(k) = 4*k**2 - k + 1. Let j be r(1). Let z(g) = -g**2 - 6*g - 4. Let x be z(-3). Suppose -x*u + 4*b + 6 = -4, 2*b = u + 4. Solve u = j*d - 7*d for d.
-2
Suppose 2*d - 4*x - 6 = 30, 51 = 4*d - x. Let i = d + -7. Solve -r + i = -0*r for r.
5
Suppose 5*d + 0*d = 4*y - 28, 4*d = -y - 14. Suppose -2*w = -0*j + y*j - 4, -5*j + 5*w - 10 = 0. Suppose 4*p - 12 = p. Solve j = p*n + n for n.
0
Let a be 6 + -2 + (-2 - -2). Suppose 4*m - 5*x - 37 = -5, -4*x - 28 = -a*m. Suppose m*s - 12 = -s. Solve 0 = 2*c + s*c + 15 for c.
-3
Let p be (2 + -1)/(-1) + 1. Let j(x) = x**2 + 2*x - 5. Let a be j(-4). Suppose 5*l - a = 2*w + w, w = 2*l - 2. Solve p - w = t for t.
-4
Let y(v) = -v**2 - 7*v - 1. Let u be y(-8). Let w be ((-12)/u)/(4/6). Solve -w*s + 7 = 1 for s.
3
Let k = -95 + 103. Solve k + 7 = -5*u for u.
-3
Let r be (-20)/25*(-45)/(-2). Let h = 22 + r. Solve -y = h*y + 10 for y.
-2
Let g be -12 - (2 - 1)*2. Let z = g + 15. Solve -l + 2 = -z for l.
3
Suppose 5*f - 4 = -4. Solve f*u - 5*u = 10 for u.
-2
Suppose 3*o = 0, 5*o - 2*o - 28 = -4*q. Let n be -1 + 0/2 + q. Let l(m) = m - 1. Let x be l(1). Solve 4*j - 6 - n = x for j.
3
Let a = 63 - 61. Solve -3*c + a = -10 for c.
4
Let r be (-5 + 4)/((-1)/4) - 2. Solve 0*d = r*d - 8 for d.
4
Let o(m) = m**3 + 8*m**2 + 6*m - 7. Let h be o(-7). Let k be -3 + 2 + (h - -1). Solve k = -0*d + 2*d - 6 for d.
3
Let s(g) = 3*g - 7. Let t be s(3). Suppose -2*b = -5*y + 19, 0*y + y - b = 5. Solve t*m = -1 - y for m.
-2
Let i(r) = -r**3 - r**2 + 11. Let w be i(0). Let x = w - 11. Solve 2*d + 6 = -x*d for d.
-3
Let v be (-6)/4*24/(-9). Suppose -v*y + 31 = 7. Solve 0 = 3*x + y + 3 for x.
-3
Suppose 2*p = -3*f + 13, -2*f + 3*p = -0*p. Let d be 6/9*6 - -1. Let s be 30/2 + -5 + d. Solve -f*o = -8*o + s for o.
3
Let a = -18 + 31. Solve -5*q + a = 3 for q.
2
Let j = 4 + 5. Let z = j + -9. Solve -b - 2 - 3 = z for b.
-5
Let m be -1 - -6 - (-1)/(-1). Let f be (52/(-16))/(1/(-4)). Solve 3*g + m = f for g.
3
Let o = 0 + 2. Solve -o*w + 6 = -5*w for w.
-2
Let c = -2 - -2. Suppose 0 = 2*b + 2*b. Solve -5*o + c*o - 20 = b for o.
-4
Suppose 0 = -12*c + 10*c + 8. Let i be (28/16)/(1/c). Solve i*w - 10 = 2*w for w.
2
Suppose -4*i + 17 + 3 = 0. Let k(o) = -2*o + 11. Let g(t) = -t + 6. Let z(v) = 10*g(v) - 6*k(v). Let b be z(i). Solve b*c + c = 5 for c.
1
Let w be 1 - (2*-1)/2. Suppose w*v - 2*x = 16, -v = -x - x - 11. Let b be 6/15 - (-18)/v. Solve b*h - 2*h - 8 = 0 for h.
4
Suppose -4*p - 4 - 4 = 0, -2*p - 34 = -5*r. Solve -3*b = -b - r for b.
3
Suppose 7 = -w - 30. Let b = -23 - w. Solve 4 = 2*h + b for h.
-5
Suppose 0*g = g. Let x be (0 + 0)/3*1. Suppose o = 2*k - k + 8, o - 5*k - 4 = x. Solve 2*j - 1 - o = g for j.
5
Let k(n) = -n**2 + 20*n - 32. Let h be k(18). Suppose -2*c - 40 = -4*c. Solve b - c = -h*b for b.
4
Let w(h) = -h - 4. Let d be w(-3). Let n = -1 - d. Suppose n*z - 12 = -2*z. Solve -z = -4*c + 2*c for c.
3
Suppose 7*y = 4*y + 6. Suppose 3*u - 6 = -5*s, 0*u + y*s = -u + 2. Solve -u*h = -5*h for h.
0
Let p be 3/(1/(10/6)*1). Solve p*m = -12 - 13 for m.
-5
Let j = 11 + -13. Let q = 3 - j. Solve -q = 3*g + 4 for g.
-3
Let x(m) = 4*m**2 - 4*m**2 + 2*m**2 - m - m**2. Let d be x(1). Solve 4*n + 1 + 11 = d for n.
-3
Suppose -4*a + 2*k + 48 = 0, a + 0*k - 14 = k. Solve -a*n - 10 = -5*n for n.
-2
Let z = 15 + -15. Solve z*h = h - 2 for h.
2
Let h = 4 + -2. Solve 16 = -h*w + 6 for w.
-5
Let t(x) = x + 4. Let z be t(-4). Suppose z = -6*i + 3*i. Solve i*v = -3*v for v.
0
Let u(n) = n**3 - 20*n**2 - 21*n + 13. Let x be u(21). Solve 4*i = 3 + x for i.
4
Let o(j) = -3*j - 11. Let s(p) = 3*p + 12. Let t(y) = -2*o(y) - 3*s(y). Let x be t(-6). Solve 0 = x*g + 4 for g.
-1
Suppose -2*p + 6 = 0, 2*r - 17 = r - 4*p. Solve 1 = -v + r for v.
4
Let i(z) = -z**2 - 7*z + 4. Let g(f) = f**3 + 8*f**2 - 6. Let n be g(-8). Let h be i(n). Solve 4*u + 6 = -h for u.
-4
Suppose -5*f = -152 - 123. Suppose -3*p + f = 2*p. Let d = p + -7. Solve 5*t = d*t + 1 for t.
1
Let h(k) = -k + 13. Let x be h(11). Let u be (29 - 3)/x + -3. Solve 3*l + u = -2*l for l.
-2
Let a(k) = -8*k - 5*k**2 + 2*k**2 + 6 + 0*k + 2*k**2. Let s be a(-8). Solve l + s = 2 for l.
-4
Suppose 2*b = -3*b. Solve 5*t + 5 + 20 = b for t.
-5
Let p(s) be the first derivative of -s**4/4 - 5*s**3/3 - s**2/2 - 4*s + 1. Let z be p(-5). Solve -2*k + z + 3 = 0 for k.
2
Let a(x) = -x**3 - 21*x**2 - x - 17. Let l be a(-21). Solve -4*c = -3*c - l for c.
4
Suppose 0*o = -6*o + 48. Solve -2*z - o = -2 for z.
-3
Let g be 5*(5 + (-12)/3). Solve 0*c = g*c for c.
0
Let n(y) = 12*y**2 + 7*y**2 + y + 15 - 7*y**2 + y**3. Let r be n(-12). Solve -11 = -r*x - 2 for x.
3
Suppose 0 = -0*s - 2*s. Suppose s = b + 1 - 3. Solve -b*r + 7*r = -10 for r.
-2
Suppose 5*u = 4*q + 4 + 8, 12 = 2*q + 2*u. Solve 0 = -0*z + z + q for z.
-2
Let t = 15 + -17. Let y be (t*2)/4*-3. Solve -12 + 3 = -y*d for d.
3
Let k be 1 + -2 + 3 + 0. Solve 2*a = -6 + k for a.
-2
Let u(k) = k**2 + 2*k + 1. Let y be u(-3). Suppose 5*o + 4 = -n + 30, -4*o = 5*n - y. Solve -x - 2*x = o for x.
-2
Suppose f = -1, -2*p + 1 = -f + 6*f. Solve p*i - 12 = -0 for i.
4
Let k(j) = j**3 + 3*j**2 - 3*j + 8. Let b be k(-4). Solve s - b = -2 for s.
2
Let r be 6/18 - 4/3. Let a(y) = -4*y**3 + y**2. Let c be a(r). Solve 0 = c*m - 8 - 2 for m.
2
Suppose 7*m = 8 + 6. Solve m*g - 12 = 5*g for g.
-4
Suppose -4*o = -0 - 12. Solve 9 = 3*s - o for s.
4
Suppose 0 = 3*u + 5*h - 43, 4*h = 5*u + h - 83. Let l = u - 12. Solve -l*d = -0*d for d.
0
Suppose -4*p + 32 = -2*o + 7*o, 5*p = -4*o + 31. Let c = -1 + 2. Solve k = c - p for k.
-2
Suppose -4*v - 6 = 2*j, -5*v - 2*j = -5*j - 9. Solve 5*u + 17 + 8 = v for u.
-5
Suppose 0 = -4*a - 2 - 2. Let y be (a + -14)*1/(-3). Suppose s + 16 = y*s. Solve -s - 1 = 5*q for q.
-1
Suppose 0 = -5*a - a. Solve -b - 6 + 2 = a for b.
-4
Suppose 0 = -4*k - 0*k + 24. Let b = -1 + k. Solve 4*j = -j - b for j.
-1
Let o be -1 - (1 - 12) - 2. Suppose 2*y - 3*z + o = 6*y, 12 = -3*z. Suppose y*v - 40 = f - 6*f, v + 7 = 2*f. Solve -v*l - 9 - 6 = 0 for l.
-5
Suppose -22 = -3*k - 5*c, 5*k + 0*k = -5*c + 30. Solve m = -2 + k for m.
2
Let m be -2*(1 + (-15)/6). Suppose -m*w = -4*w. Let o be (w - -2)*(-6)/(-4). Solve -o*u + 2*u = 4 for u.
-4
Suppose 3*i - 30 = -u, 5*i + 0*i = 4*u - 35. Let a = u + -11. Solve -3*c = -a - 11 for c.
5
Let i(r) = -r**3 + 4*r**2 - r - 2. Let q be i(2). Solve 0 - q = -b for b.
4
Suppose 11*w = 30 - 8. Solve -5 = w*c + 3 for c.
-4
Let y(x) = -x + 7. Let w be y(7). Let n(r) = r**3 - r + 4. Let l be n(w). Suppose 6 = u + 3*q, -l*q - 8 = -4*u - 0*u. Solve -c - u*c = 16 for c.
-4
Suppose -4 = 5*z - 14. Solve 10 = z*j - 0*j for j.
5
Suppose 0 = 5*v - 2 - 8. Solve 8 = v*j + 2*j for j.
2
Let g be (12/8)/((-3)/(-4)). Suppose -3*o = 12, -5*j + 0*o + 48 = -g*o. Suppose r = -r + j. Solve -w - r*w + 25 = 0 for w.
5
Let c be (2 - 3/(-3)) + (-4)/2. Solve -j + c = -4 for j.
5
Let o(d) = -d**2 - 7*d + 10. Let z(q) = q. Let w(n) = -n**2 + 5*n + 6. Let v be w(7). Let u be z(v). Let p be o(u). Solve -r + p*r = -2 for r.
-2
Let t(u) = -2*u**3 - u**2 + 1. Let x be t(-1). Suppose -x*w = -4*h + 4, 0*h + 4*h = -w + 4. Solve w = -5*o - 25 - 0 for o.
-5
Let k(y) be the third derivative of y**