 (-4)/(2 - -1*(-1 - 3)). Solve 0*h = -w*h - 6 for h.
-3
Suppose -5*z + 15 = y, 12 = 2*y + 2*z - z. Suppose 0 = y*q - 22 + 7. Solve q*s + 4 = -2 for s.
-2
Suppose 4*f - 20 = -4*g, 0*g + 4*g = 5*f + 2. Suppose -2*c - 3*j + 14 = 0, 5*c - g*j - 15 + 1 = 0. Solve -c = p - 3 for p.
-1
Let n(q) = q**3 + 3*q**2 + 2. Let d(f) = -1. Let v(b) = 2*d(b) + n(b). Let z be v(-2). Suppose 0 = -3*a + 6. Solve z = u + a for u.
2
Suppose -2*u + 5 = -u. Suppose z + 5*h = u, -5*z - 4*h - h + 65 = 0. Solve -4*r + 5 = -z for r.
5
Let a(w) be the third derivative of -w**4/24 + 5*w**3/3 + 2*w**2. Let c be a(8). Solve c*h = 7 + 1 for h.
4
Let n be (-2)/(-7) - (19/(-7) + -4). Suppose -c + 0 = -u + 7, 0 = -c - 3. Solve -9 = u*f + n for f.
-4
Let x(b) = b**3 - 4*b**2 + 4*b - 1. Let h(g) = 4*g**3 - 15*g**2 + 15*g - 3. Let o(t) = -2*h(t) + 9*x(t). Let p be o(5). Solve 0 = p*f - 4*f - 6 for f.
-3
Suppose 0 = 6*q - 3*q. Let n(t) = -t**2 + 8*t + 4. Let s be n(7). Let a = s - 7. Solve q = -a*x - 1 + 9 for x.
2
Suppose 0 = 3*m - 6*b + 2*b - 20, 20 = 2*m + 4*b. Let y = -3 + m. Suppose q - f + y = 5*q, 0 = -5*q + 5*f. Solve 4*v + 5 = q for v.
-1
Suppose -3*a + 7 = -8. Let l(z) = z + 2. Let s be l(3). Solve -s = a*v + 15 for v.
-4
Let t(p) = -p**2 + 9*p - 16. Let z be t(5). Solve -5 = z*y - 17 for y.
3
Let p = 0 + 3. Let w(s) be the third derivative of s**5/60 - s**4/12 + s**3/6 + s**2 - 13. Let v be w(p). Solve -2*y = -v*y + 6 for y.
3
Let k(w) = -4*w + 0 + 2*w + 7. Let t be k(5). Let h = t - -7. Solve -h*i + 2 = -2*i for i.
1
Let o = 157 + -154. Solve 2*z - 5 = -o*z for z.
1
Suppose -u - 11 = 5*k, k + 5*u + 3 = -4. Let o be 35 - (2 + 1*k). Suppose -5*t = -2*q - o, -2*q + 7 = -0*t + t. Solve -4*h + t = -5 for h.
3
Let x = 22 - 16. Let g be 33/x - 1/2. Let j be (2/4)/(3/6). Solve -3*y - g - j = 0 for y.
-2
Let q be (0 - -1) + (-36)/(-12). Solve 0 = -q*p + 3*p - 2 for p.
-2
Suppose 0 = -4*m + 3*z + 53, -17 = -m + 5*z - 3*z. Solve 5*q - m = 4 for q.
3
Let q(h) = -h**3 + 4*h**2 + 8*h - 7. Let m be q(5). Let n = m - 5. Solve -t - 6 + n = 0 for t.
-3
Let g(v) be the third derivative of -v**5/60 + 13*v**4/24 - 7*v**3/2 + 4*v**2. Let k be g(9). Solve 7*c + k = 2*c for c.
-3
Let y(o) = o**3 - 6*o**2 + 6*o + 6. Let h be y(5). Let z = 23 - 9. Solve -h - z = -5*l for l.
5
Let a(u) = -2*u**3 - u**2 + 3*u + 1. Let f be a(-2). Suppose -f - 8 = -5*b. Solve -20 = -7*q + b*q for q.
5
Let f be 10/4*44/55 + 3. Solve -6 = f*m + 4 for m.
-2
Let x be (-17)/(-4) + (-6)/(-8). Suppose 3*s + 22 = x*s. Solve 4 = -5*k - s for k.
-3
Let r be ((-6)/(-15))/(2/20). Suppose -6*u + 2*u = -r. Suppose 0 = n + u - 10. Solve 3*m + 0 = n for m.
3
Suppose -4*a = -0*a. Suppose 0*m + m + 4*r - 24 = a, 2*r = -2*m + 30. Solve -3*p + m = -0*p for p.
4
Let y be 1/(2/(-8)) - -10. Solve h + h = -y for h.
-3
Let s = -2 + 15. Let j = s - 11. Solve 0 = -c + j*c for c.
0
Suppose -3*p = -6*p + 6. Suppose -2 = -p*m + 6. Solve -10 + 2 = -m*w for w.
2
Suppose 3*l + 0*l = -3. Let c be (4*l)/2 - -2. Solve -r - r = c for r.
0
Let l be ((-6)/10)/((-7)/35). Solve 0 = 8*d - 5*d + l for d.
-1
Let u be 1*10 + 4 + -4. Suppose -c + x = -u, -4*c + 15 = -0*x + x. Solve c*t - 4*t = 5 for t.
5
Let g = -3 - -3. Suppose g = 4*z + 3 - 11. Solve -2*v - 4 + z = 0 for v.
-1
Suppose 0 = 2*b + 2*b - 3*d - 8, 2*b - 4*d = 4. Suppose -2*a = b*a - 20. Suppose 9 = 3*w + 3*r, -a*r + 1 + 14 = -w. Solve 2*v - 3 + 7 = w for v.
-2
Let d be 3/(3/(-2)) + 18. Let w = d + -10. Solve 2*f - w = -2 for f.
2
Suppose -s = 2*s - 21. Let u(a) = 3*a - 9. Let y be u(8). Suppose s*b - y = 2*b. Solve -k - 2 + b = 0 for k.
1
Let j = 2 + 4. Solve -4*d = -d + j for d.
-2
Suppose 5*v = 3*w - 0*v + 1, -2*w - 4*v + 14 = 0. Solve 0 = w*z + z - 20 for z.
5
Let n(p) = p + 1. Let x be n(1). Suppose -2*i = -i + x. Let o = i + 4. Solve 7*q + 20 = o*q for q.
-4
Let b(t) = 2*t**3 - 2*t**2 - 1. Let c be b(2). Solve 0 = -w - c + 2 for w.
-5
Suppose -3*o + 8*o - 10 = 0. Suppose o = k - 3. Suppose 0 = k*s - 2*s - 9. Solve -2*t - 20 = s*t for t.
-4
Let q = 0 + 4. Suppose 4*v - q = -3*f + 5*f, -4*v = 5*f + 10. Let m(d) = d + 8. Let j be m(-6). Solve v*a = j*a for a.
0
Let v be -1 + (-2)/(-2) + -42. Let g be v/(-18) + (-4)/(-6). Solve m + 10 = g*m for m.
5
Let j(q) = 2*q - 6. Let i be j(4). Suppose -r = 2*s, -i*r + 8 = r + 2*s. Let h(n) = -n**3 + 3*n**2 + 6*n - 5. Let m be h(r). Solve 0 = o - 2*o + m for o.
3
Let n(u) = u**2 - 12*u + 3. Let m be n(12). Let d be ((-6)/(-4))/(m/6). Solve a = d*a - 8 for a.
4
Let z be (-4)/(-22) + (-212)/(-44). Let v(a) = a**2 - 6*a - 3. Let y be v(z). Let s be 14/21 - y/6. Solve 3*r - s*r = 0 for r.
0
Let y be (1*6 - 1)/(-5 + 6). Solve 0 = 5*k - 0 - y for k.
1
Let b = -5 + 4. Let g be b*2 - (-6 - -1). Solve -g*j = -10 - 2 for j.
4
Suppose -5*t - o = -5*o - 36, -2*t = -o - 12. Let l(i) = i**3 - 4*i**2 - i + 4. Let j be l(t). Solve j*w - w = 0 for w.
0
Suppose 3*r + 18 = -2*h, -2*r = -3*h - 18 + 4. Let n(x) = -x**3 - 7*x**2 - 6*x + 3. Let q be n(h). Suppose -q*y = -y - 8. Solve y*t - 2*t = 8 for t.
4
Let a = -71 + 71. Solve a = 2*b - 0*b for b.
0
Let j be -1 - (-2)/((-8)/4) - -5. Solve -6 = j*h - h for h.
-3
Suppose 3*z = 4*z - 3. Suppose 8*u - 20 = z*u. Let y(b) = -b**2 - 6*b + 12. Let i be y(-6). Solve u*p + i = -0 for p.
-3
Let q(k) = 12*k**2 - 6*k. Let b(r) = -3*r + r - r**2 + 4*r**2 + r**2. Let u(i) = -14*b(i) + 5*q(i). Let d be u(2). Solve 0 = 4*s - 7*s - d for s.
-4
Suppose -5*p = -4*t + 44, 2*t + 7*p + 4 = 3*p. Solve -w + t*w = 0 for w.
0
Suppose -3*p = -5*x + 6, -4*x = -x + 3*p - 18. Let m be 5 - x - (-2 - 0). Suppose b + k = 6, 0*k - 3 = -m*b + 3*k. Solve 0 = -b*l + 15 for l.
5
Let n be 0 + (-3)/3 + 6. Solve s = n - 2 for s.
3
Let k = -1 - -3. Let f(h) = 9 + 2*h**2 - 8*h - 3*h**k + 2*h**2. Let w be f(7). Solve w*x - 5*x = 3 for x.
-1
Let u(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3 + 3*m**2/2 + 3*m. Let l be u(4). Let p = -2 - l. Solve -7 - p = -2*w for w.
5
Let s(w) = w**2 - 5*w - 8. Let t be s(6). Let g(a) = -3*a + 1. Let c be g(t). Suppose -2*k + 0 = -5*b + c, 3*k - 3 = 3*b. Solve i - k*i = -3 for i.
1
Let v(p) = p**2 - 9*p. Let x be v(9). Solve -3*n = 3 - x for n.
-1
Let x(c) = -c**2 + 4*c + 5. Let m be x(5). Solve -3 + m = 3*z for z.
-1
Let z(a) = 2*a - 10. Let t be z(7). Solve t*u + 6 = 6*u for u.
3
Let n be (-2)/(1 + -1 + 2). Let r be 2/(-2) - n/1. Solve 4*j - 5 + 17 = r for j.
-3
Let t = 81 - 75. Solve -n = 2*n - t for n.
2
Let x be 14/2 - (5 - 2). Solve -21 = -x*u - 5 for u.
4
Let t be 20/3 - (-10)/(-15). Suppose 5*f - t - 4 = 0. Solve f*x + x + 12 = 0 for x.
-4
Suppose x - 5 = 24. Suppose 4*i - x = 3. Solve p + p = -i for p.
-4
Suppose 3 = 4*t + h, 0 = 2*t + 3*h - 6*h - 19. Let y be ((-24)/28)/(t/(-7)). Suppose 5*a = -15, -a = -2*m + a + 6. Solve m = -y*l - 4 + 7 for l.
1
Let w(f) = -f**3 - 5*f**2 + 5. Let v be w(-5). Suppose 3*j = -3*a - j + 25, -v*a + 3*j + 32 = 0. Solve a = -2*x - 3 for x.
-5
Suppose 0 = -2*z + 1 + 3. Suppose 5*k - 16 = k. Suppose -8 + 3 = 4*f + 5*m, -4*m = k. Solve z*s - s + 4 = f for s.
-4
Let p be (-18)/(-4)*8/6. Suppose 0 = 6*i - 7*i. Solve 0 = -2*m - i - p for m.
-3
Let d(n) be the second derivative of n**3/6 + 4*n**2 + n. Let t be d(-4). Suppose 0*q - t*q + 4 = 0. Solve 11 = 4*l - q for l.
3
Let g = 10 - 11. Let o(f) = f**3 + 4*f**2 - 6*f + 1. Let s be o(-5). Let c be ((-7)/21)/(g/s). Solve -c*p - p = 0 for p.
0
Let m(b) be the third derivative of -b**5/20 + b**4/12 + b**3/6 - b**2. Let u be m(2). Let w = 10 + u. Solve -5 = w*s + 7 for s.
-4
Let c be 301/35 - ((-12)/(-20) + 0). Solve c = -3*y - y for y.
-2
Suppose 5*u - 5*c - 30 = 0, -2*u = -c - 0*c - 13. Solve -p + 2 = u for p.
-5
Let t = 11 - 11. Let s be (-9 - -7) + t + 3. Solve 4*b - s = 3 for b.
1
Let y = -1 + 3. Let b = y + 0. Suppose -7 = -5*l - b. Solve u = -0*u + l for u.
1
Suppose -4*n + 1 - 13 = 0, -2*n = -3*u + 33. Let v be (-2)/u - (-48)/(-27). Let z = v + 4. Solve -z = -h - h for h.
1
Let a be (-5)/(-3)*(2 + 1). Suppose -19 = -a*u + 2*q, -4*u - u = -5*q - 25. Suppose 2*b = u*f + 18, -4*f - 24 = -4*b - f. Solve -b = s - 4 for s.
1
Let y be 0 + -3 - 12/(-3). Suppose -3*d - 2*n + 45 = 0, 45 = 3*d - 4*n + n. Suppose 0*h + 3*h - d = 0. Solve -9 - y = -h*m for m.
2
Let x(b) = 2*b**2 + 2. Suppose 3*w - 3 = 0, p - 5*w + 0 = -7. Let g be x(p). Solve -3*i