+ 6 = 0, g = 4*n + 6 + 6. Solve m*h - g = -4*h for h.
1
Let g(i) = -i**2 + 8*i. Let u be g(6). Suppose 2*v + v + 6 = 0. Let c be ((-1)/v)/(2/u). Solve 5 = c*y - 4 for y.
3
Let h be ((-2)/3)/(2/(-15)). Suppose 10 = h*y - 5. Suppose -y = 3*r - 6, -2*u = -4*r. Solve -u*v = 1 + 1 for v.
-1
Let s = -12 + 15. Solve 0*z = s*z for z.
0
Suppose 2*a - 3 = 11. Let h(q) = 4*q + 1. Let i be h(-1). Let d(f) = -f - 3. Let r be d(i). Solve -a*b + 3*b + 4 = r for b.
1
Let k = -22 - -31. Let c = k + -9. Let r = 0 + c. Solve g + 3 = -r*g for g.
-3
Let i = 5 - 14. Let x be ((-2)/6)/((-1)/i). Let p be (20/x)/((-2)/6). Solve s = -3*s - p for s.
-5
Let v = -9 + 12. Let m be 12/9 + (-10)/(-15). Solve -m*c = -5 - v for c.
4
Suppose -2*u + 0*u + 88 = 0. Suppose 36 = 5*d - u. Suppose d = 6*v - 4*v. Solve 2*h = 4*h - v for h.
4
Let r(t) = -t**3 - 2*t**2 + 8*t + 1. Let b be r(-4). Solve b = -2*x - 1 for x.
-1
Suppose -g = -3*g + 4. Let j(w) = -3*w + 4*w + w**3 - 3*w**2 + w. Let x be j(2). Solve g*b - 5*b = x for b.
0
Let d be ((-3)/(-6))/1*2. Let a be 4 + (-1 - 0)*d. Solve a*w = -w + 8 for w.
2
Suppose -2*v - 3*q = -8, -6*v = -v - 2*q - 39. Solve -5*g - 3 = v for g.
-2
Suppose -y = -3*v - 6, 6*v - v = 5*y - 10. Let i = 5 + y. Solve i*u + 3 = -17 for u.
-4
Let i be (4 + -1)/(3/(-4)). Let n = 4 + i. Solve s + 2 = -n for s.
-2
Suppose -5*f = -10*f - 4*i - 16, -4*i - 16 = f. Solve f = p - 0*p - 3 for p.
3
Let v(s) = s + 4. Let d be v(-1). Solve d*n + 0*n + 15 = 0 for n.
-5
Let t be (2 + 55)*(-4)/(-6). Suppose -5*x - 5*w - 3 = -t, 0 = 2*x - 2*w + 2. Suppose -4*h + 14 = -x*f, 0 = 2*h - 0 - 10. Solve -j - f*j - 6 = 0 for j.
-2
Suppose -2*c - 16 = -4*l, 0 = 4*c + 3*l + 10 - 0. Let t = c - -8. Solve -8 + 4 = t*z for z.
-1
Let t = -11 - -19. Suppose -t = -2*h - 2*h. Solve 6 = 2*q - h for q.
4
Let n be 3*(-11*3/9 - -4). Solve -n = x + 4 for x.
-5
Suppose -j + 3*j = 6. Suppose -j*d + 9 = -3. Solve w - 2*w = -d for w.
4
Let f(p) = p**2 - p - 1. Let w be f(2). Suppose -5*g = 4*h + 4, -2*g = 9 - w. Suppose -3*l = -3*b - 59 - 10, h*l = -3*b + 71. Solve r + 3*r + l = 0 for r.
-5
Suppose w + 3 = 7. Suppose -v + 2 = -3*s + w*s, s = 2*v - 4. Solve 0 = r - v*r for r.
0
Let q(j) = j - 1. Let h be 225/10 + 1/(-2). Suppose -5*k = -2*r + h, -2*r - 2*k = -5*r + 11. Let c be q(r). Solve 3*u + u + 4 = c for u.
-1
Suppose -2*u = -3*c - 0*u + 6, -8 = -4*c - 2*u. Solve -3*b - c*b = -20 for b.
4
Let v be (0 - -1)*8 - 4/1. Solve -v*l - 5 = -9 for l.
1
Let m = -7 + -18. Let w be (m/(-15))/(2/6). Solve w - 10 = -v for v.
5
Suppose -6*s - a + 10 = -5*s, 0 = -s - 2*a + 10. Solve 4*p + s = 9*p for p.
2
Suppose -3*b = 4*y - 16, 2*y + 2*y = 5*b - 48. Solve s + b = -3*s for s.
-2
Let q be ((-10)/(-9))/(22/99). Solve -4*d + q*d = 2 for d.
2
Let f be 0 + 1 + (1 - -1). Let a(y) = -2*y + 64. Let x be a(22). Solve -f*v + x = -8*v for v.
-4
Let m(k) = k**3 + 17*k**2 + 30*k + 1. Let v be m(-15). Suppose -6*g = -4*g - 2*h - 6, g - 3 = 4*h. Solve 0 = 2*q + g - v for q.
-1
Let j(q) be the second derivative of q**5/20 + q**4/4 - 7*q**3/6 - 3*q**2 - q. Let h be j(-4). Suppose 4*i - 2 = g, -g + 3 = -5*i + h. Solve 9 = g*d - 1 for d.
5
Let l be 25/(-4)*-1 + (-8)/32. Solve 0 = -2*c + l for c.
3
Let q(p) = -p**2 - 3*p + 12. Let j be q(-4). Solve j = s + s for s.
4
Let n be ((-54)/(-24) + -2)*0. Let g be ((-6)/(-9))/((-2)/(-3)). Let h be ((-10)/3)/(g/(-3)). Solve -5*o + h = -n for o.
2
Let n be (9/(-4))/3*4. Let m(q) = -15*q**2 - q - 2. Let i(l) = -8*l**2 - l - 1. Let y(r) = n*m(r) + 5*i(r). Let x be y(1). Solve -w = x*w - 20 for w.
4
Let r(z) = -z**3 - 2*z**2 - z. Let f be r(-2). Suppose 0 = -3*l + l - f*g, 4 = -4*g. Suppose 4*y - 4*p - 20 = 0, -5*y - 2*p = l - 5. Solve y*d - 3*d = -4 for d.
4
Let w = -1 + 4. Let k(c) = 0*c + c**w + 6*c - 3*c - 7 - 8*c**2. Let a be k(8). Solve a = 5*m - 8 for m.
5
Suppose 2*k + 25 = 5*c - 3*k, -k = c - 1. Suppose -4*u + 2 = -c*u. Solve u = -t - 1 for t.
-3
Let l = 4 - 0. Let i(p) = 2*p. Let d(v) = v. Let w(u) = -10*d(u) + 4*i(u). Let y be w(-1). Solve y*f + l = 3*f for f.
4
Suppose -5*t = -4*h, 0*t + t + 5*h - 29 = 0. Solve -t = 5*i + 1 for i.
-1
Let a be (-168)/(-32) - (-2)/(-8). Solve 7 = -a*u - 3 for u.
-2
Suppose -5*s = 4*v - 0*v - 18, -3*s = -5*v + 4. Suppose -v*l = 2 - 8. Solve 2*u + l*u - 25 = 0 for u.
5
Let k(a) = -a**3 + 4*a**2 + 5*a + 5. Suppose -4*m = m - 15. Let y = 8 - m. Let h be k(y). Solve h*g + 0 = -10 for g.
-2
Suppose 6*r - 16 = 2*r. Suppose 0 = -4*h + r + 12. Let y = 4 - h. Solve y = 3*q + 9 - 3 for q.
-2
Let c(d) = 9*d - 6. Let v be c(4). Let b = v + -18. Solve x - 5*x + b = 0 for x.
3
Suppose a - 30 = -4*w, -5*a + 55 = 4*w - 31. Solve 2 = 4*n - a for n.
4
Let f be 1 - 3*(-4 - -3). Solve -f*a + 0 = 4 for a.
-1
Suppose -2*n = 0, 4*s - s - 12 = -n. Suppose 180 = 4*a - 52. Suppose -a + 13 = -3*k. Solve -u + s*u + k = 0 for u.
-5
Let b = 82 + -78. Solve 0 = 2*h - h - b for h.
4
Suppose 5*u + 1 = 6. Solve t + u = -4 for t.
-5
Let h(c) = 3*c**3 - 3*c**2 + c + 1. Let s be h(2). Solve s = 2*j + j for j.
5
Suppose 4*y - 8 = 0, -4*m + 298 = m - y. Suppose -6*n = -n + m. Let j be n/(-10)*(-40)/(-6). Solve -5*a + j = -7 for a.
3
Suppose -p = -3*n - 7, 20 = -p + 5*p - 4*n. Solve 0 = -g + p - 3 for g.
1
Let a be 5/(-2)*(-4)/5. Let u be 130/14 - -2 - 16/56. Let h = -4 + 7. Solve u - a = -h*x for x.
-3
Let w(l) = -12*l + 20. Let d(g) = -4*g + 7. Let q(x) = 17*d(x) - 6*w(x). Let i be q(1). Solve -i*c = 2*c for c.
0
Suppose 7*h - 2*h = -5*o + 10, o = -5*h + 14. Suppose 3*w - v = 2, -v + 2 = h*w - 4*w. Solve -5*j + w*j = 0 for j.
0
Let n = 18 + -13. Suppose 0 = -2*o + 2 - 0. Let d = -1 + o. Solve d = -2*g + 1 + n for g.
3
Suppose 0 = 3*y - 8 + 2. Suppose y*g = g. Suppose j = -g*j. Solve -w - 2*w - 15 = j for w.
-5
Suppose -44*v = -42*v. Solve 0 = -2*w - v*w + 6 for w.
3
Suppose 3*t + c - 12 = 0, -3*t + c - 6*c + 24 = 0. Solve m + 20 = -t*m for m.
-5
Let p(h) = -2*h - 40. Let x be p(-21). Solve x = -0*b - 2*b for b.
-1
Let y be ((-110)/33)/((-4)/6). Solve 0 = -i - y for i.
-5
Suppose -3 = 3*i - 4*i. Suppose -5 + i = -x. Solve -x*w = -0*w + 2 for w.
-1
Let x be 5 - (2 - 2)/2. Suppose 2*l - 85 = x*d - 32, 0 = -5*l + 3*d + 104. Suppose 3*j - 7*j + l = 3*c, -4*j = 5*c - 21. Solve 10 = -3*q + c for q.
-3
Suppose z - 3 = -3*g, -3*z + 0 = -4*g + 4. Let c(n) = n**3 + 5*n**2 - 6*n + 1. Let m be c(-6). Let o be (1 - g) + (1 - m). Solve o = i - 3*i for i.
0
Let k(h) = h**3 - 3*h**2 - 5*h + 4. Let w be k(4). Suppose 5*a - 27 = -4*c, -a + c + 0*c = w. Solve a*d = 2 + 10 for d.
4
Let w(s) = -3*s**2 + s + 1. Suppose 0 = l - 1 + 2. Let u be w(l). Let o be 1 + -2*(u + 2). Solve -h + o = 7 for h.
-4
Suppose -z + 0*z = -40. Suppose i = 5*m + 2, -4*i = -m - 3*m - z. Let u be (0/(-3))/((-4)/4). Solve u*d - 3*d = -i for d.
4
Let s be 2/4 + (-82)/(-4). Let o = 29 - s. Suppose i - o = 5. Solve -4*q = -i - 3 for q.
4
Suppose -x - 3*w = -2, -4*w - 26 = -5*x - 3*w. Solve x*o + 5 = -0 for o.
-1
Suppose 4*l + 14 = 5*u, u + l - 6*l = 7. Suppose 1 = 2*m - 1. Solve -u = y + m for y.
-3
Suppose -8*o + 3*o = 5*o. Solve -3*y + o = -3 for y.
1
Suppose s + 0 = 4. Let k = 7 - s. Suppose v = -3*l - 9, -v - 3*l - 5 = -l. Solve -k = v*b - 0 for b.
-1
Let s = -15 + 15. Suppose -2*d - 5*u + 12 + 4 = s, 0 = 3*d - u - 7. Solve -d*f - 3 = -0 for f.
-1
Suppose 8*x = 5*x + 6. Let a(s) = -s + 1. Let r be a(1). Solve r*w + x*w = 0 for w.
0
Suppose j - 8*j = -7. Solve 3 - j = o for o.
2
Let l(k) = 4*k - 2*k**2 + 3*k**2 + 2 - 5*k - 4. Let r be l(2). Let d be 4 + 0 + 6/(-3). Solve r*x - 4 = -d*x for x.
2
Let g(a) = -3*a. Let m(r) = -r + 1. Let d(b) = -g(b) + 5*m(b). Let q be d(0). Solve 2 = -q*x - 23 for x.
-5
Suppose -3*m + 0*c - 6 = -c, 0 = -4*m - 3*c - 8. Let o = m + 12. Solve -5*s = -o*s - 25 for s.
-5
Suppose 0*t = 4*i - t, 0 = 4*i + 4*t. Solve 4 = o - i*o for o.
4
Suppose 2*p - 16 = -2*r, 0 = -4*r + 3*p - 1 - 2. Solve -r*x - 5 = -2*x for x.
-5
Let v(f) = 3*f**2 - f - 4. Let s be v(2). Solve -s*j + 2*j = -16 for j.
4
Let v = 13 - 8. Let o = -3 + v. Suppose -o - 2 = -2*c. Solve 3*q + c = q for q.
-1
Let c(j) be the second derivative of -j**4/12 - 5*j**3/3 - 5*j**2 - j. Let u be c(-8). Solve 4*l - u = l for l.
2
Let u = 12 - 13. Let k(v) = -3*v - 22*v - 5 + 5. Let s be k(u). Solve 10*b - s = 5*b for b.
5
Let q(g) be the third derivative 