 = 0, 5*f = -2*h + 8 + 15. Let n = -1 + f. Suppose -8 = -n*b - 2*b. Solve -b*v = 2*v for v.
0
Suppose 25 = -j - 4*j - a, -2*j = 5*a - 13. Let b = 0 - j. Let x be (1 + -1)*(-1 - (1 - 1)). Solve b + x = -2*g for g.
-3
Let y = -1 - -3. Suppose -3*z - 6 = -4*q + q, 0 = -q + y. Suppose 5*c = -z*c. Solve c = -0*u - u for u.
0
Suppose -89 = 5*p - 289. Suppose 3*x - 4*y = -2*x - 5, -4*y - p = 4*x. Let q = -1 - x. Solve 0 = 2*f - f - q for f.
4
Suppose 0 = -d + 1 + 1. Solve 2*x + d + 0 = 0 for x.
-1
Let z(d) = -d**3 + 8*d**2 + 9*d - 12. Let i be z(9). Let b be -3 + i/(-2) + 2. Solve -p = -b + 1 for p.
4
Suppose 4*l + 3*a = 5, -2*l + 0*a - 15 = 5*a. Let t = -3 + l. Solve -t*f + 4 = -2 for f.
3
Let d(o) = -o**3 + 6*o**2 - 4*o - 5. Suppose 3*l = 4*l + 3*i + 4, -9 = -3*l - 2*i. Let s be d(l). Suppose f + s*f = 6. Solve -4*b = -f + 2 for b.
1
Suppose 2*l - 14 = -m, 4*m = 2*l - 0 - 4. Solve 5*q = 4 + l for q.
2
Let d(h) = -h + 26. Let n be d(24). Solve 2 = -n*m - 8 for m.
-5
Suppose 0*v + v + 4 = 0. Let t = 7 + v. Let p be (5/2)/(1/8). Solve -t*h - h = -p for h.
5
Let b = 12 - 11. Suppose 0 = -l + b + 2. Let g(m) = 3*m**2 - 2*m. Let t be g(2). Solve -l*n - 20 = -t*n for n.
4
Let p = -9 + 9. Let c = p - -1. Solve 0*x = x + c for x.
-1
Suppose -5*k - 5*m + 13 = -4*m, -4*k - m + 11 = 0. Suppose -4*a + g + g - 6 = 0, 0 = -5*a - 2*g + 15. Suppose 2*p - 2 = 16. Solve a = -k*b - p for b.
-5
Let k(h) be the second derivative of h**4/4 + h**2/2 - 2*h. Let s be k(2). Let j = -17 + 24. Solve -s = 5*t + j for t.
-4
Let n(i) = i**3 - i**2 - i + 1. Let a be n(0). Let z be (-14)/(-28) - a/2. Solve 2*m = -z*m for m.
0
Let w be ((-4)/(-3))/(2/(-9)). Let u be (6/(-9))/((-2)/w). Let n = u - -4. Solve q + 2 = n*q for q.
2
Let g(f) = -f**3 + 4*f**2 - f - 1. Let t be g(2). Let r = 8 - t. Solve -r = 4*p + 1 for p.
-1
Let v be (-3)/(-1)*2/3. Solve v*j - 6 = -0*j for j.
3
Suppose -3*d = 2*c - 6, -c - 2 = -0*d - d. Solve d*q = 5*q for q.
0
Let k be ((-50)/(-10))/(5/6). Solve -k*f = -2*f - 12 for f.
3
Let h be (0 - -1) + (-1 - -2). Let x(t) = 2*t**2 + 2*t - 2. Let w be x(h). Let q(m) = m**3 - 10*m**2 + m - 7. Let v be q(w). Solve v*f = -0*f for f.
0
Let a(w) = w**3 + 3*w**2. Let p be a(-3). Suppose 12 + 12 = 4*q. Suppose v = q*v. Solve v*f + f = p for f.
0
Suppose 0 = -3*v + 5*v. Solve -4*r + v*r = 16 for r.
-4
Let x = 5 + -3. Suppose -x*w = -0*w - 8. Solve w = 2*j - 4*j for j.
-2
Suppose 4*j = p - 9, 0 = 2*p - 5*j - 13 - 2. Solve p*z = z + 20 for z.
5
Suppose 32 = -t + 36. Solve -t*d = -2*d - 6 for d.
3
Let i = -51 + 36. Let d be (69/i + 3)*-5. Let s = 8 + -6. Solve -s*q = 2*q + d for q.
-2
Suppose 1 = 5*t - 39. Let v = -11 + 15. Suppose 0 = -v*u + u + 75. Solve -t*f + u = -3*f for f.
5
Suppose 8 = 4*b - 12. Let a = b - -1. Solve a = d + 2*d for d.
2
Let w = -8 - -7. Let q be (0/(2 + w))/1. Solve q = x - 2 + 6 for x.
-4
Suppose g - 2*t = 2*g - 30, 3*g + 4*t = 86. Suppose 3*l - 51 + 18 = 0. Solve 5*h + l = g for h.
3
Let j(f) be the third derivative of f**4/24 - 2*f**3/3 - f**2. Let s be j(-6). Let h = s - -10. Solve h*o - 4 = 4*o for o.
-1
Suppose 0*r + 5*a - 22 = -r, -4*r + 3*a - 27 = 0. Let m(s) = -s**3 - s**2 - 3. Let x be m(r). Solve -4*l - x + 3 = 0 for l.
-3
Let n = 4 + -4. Let y = 5 + n. Solve z - y*z = 0 for z.
0
Let t be 2*(-2 - 6/(-2)). Solve -1 = t*v - 5 for v.
2
Suppose 0 = -u - 0*u + 8. Solve -u*x + 20 = -3*x for x.
4
Let h(i) = -i**2 + 12*i + 3. Let g be h(9). Suppose 5*y = -16 + 6, 3*b = -3*y + 9. Solve b*p - g = -10 for p.
4
Let m be (1 - -1)*(-9 - 1). Suppose -6*y = -3*y + 15. Let u be ((-2)/(-8))/(y/m). Solve 2*i = -u - 7 for i.
-4
Suppose 0 = -6*z + 3*z + 9. Suppose 5*h + 4*k = z*k + 5, -3*h + 2*k = -16. Solve 0*x + h*x = 0 for x.
0
Suppose -4*n + 12 = -n. Solve -k - n*k = -15 for k.
3
Let g = 74 + -39. Suppose 5*x + 51 = 3*b + 11, -2*b - 5*x = -g. Solve 4*z + z = -b for z.
-3
Let q(b) = 0 + 6*b + b - 7 - b**2. Let l be q(5). Solve -l*c = -7*c + 12 for c.
3
Suppose -5*f - 3*u = -9, -4*f - 6*u = -u - 2. Solve -2*p + f = -3 for p.
3
Suppose -5*i + 40 = -0*i + 4*w, -24 = -i - 4*w. Solve 3*v = -v - i for v.
-1
Let b(s) = s**2 - 3*s. Let r be b(4). Suppose 0*j + 4 = r*j + 4*u, 2*u - 4 = -4*j. Solve -3*m = -2 - j for m.
1
Let p be -3 - (-3)/(6/28). Solve 36 - p = 5*r for r.
5
Let k(s) be the second derivative of -s**4/12 + 13*s**3/6 - 5*s**2 + 4*s. Let w be k(12). Solve w = 2*j + 10 for j.
-4
Suppose -n + 12 = -1. Let d be n + -2 + (-2 - -4). Let y be 0/((2/(-1))/2). Solve y = 5*g + d - 3 for g.
-2
Let z(s) = s**3 + 5*s**2 + s - 5. Let w be z(-4). Suppose -12 = 3*b + 21. Let r = 14 + b. Solve -2*d - r - w = 0 for d.
-5
Let x(h) be the second derivative of h**3/6 + 5*h**2 + h. Let f be x(-7). Solve 6 = -f*l - 6 for l.
-4
Let w = 1 + 1. Let l(s) = 4*s + 1 + 1 - w*s + s**2. Let d be l(-3). Solve i - d = 6*i for i.
-1
Suppose -2*v - v - 27 = 0. Let i = 11 + v. Let u = 5 + -3. Solve 0 = i*y + u*y for y.
0
Suppose -w = -2*w + 4. Suppose 2*q - 8*s - 20 = -3*s, 3*q + w*s + 16 = 0. Suppose 4*x - 51 = 3*v - 16, 2*x - 5*v = 21. Solve q = -0*u + 4*u - x for u.
2
Let g be (-33)/(-12) + 6/(-8). Suppose -5*a - 6 = l, 16 = 5*l - 2*l - g*a. Suppose l*x - 4 = 20. Solve 5*d - x = 2*d for d.
2
Let l be -2 + 4 + 0/2. Solve 5 - l = -n for n.
-3
Suppose -2*h = 4*o - 24, -2*o = -o + 2*h - 12. Solve 0*u = 2*u + o for u.
-2
Let t be (4 + 2)*2/3. Solve t*p - 3*p - 1 = 0 for p.
1
Suppose 12 = l + 3*l. Let u = 0 + 0. Solve u = m - 1 - l for m.
4
Suppose -41 = 4*m - 9*m - i, 5*i - 5 = 0. Solve -2 = -2*h + m for h.
5
Let w be ((-17)/(-3))/(5/15). Suppose w = 5*x - 3. Solve x = 2*y - 2 for y.
3
Let s = 154 - 154. Solve s = i + i + 4 for i.
-2
Suppose 2*u = 2*v - 4*v + 24, -u + 16 = 5*v. Solve 4*w = -1 - u for w.
-3
Suppose -3*g + 20 = g. Solve g - 1 = -2*v for v.
-2
Let g(c) = c - 6. Let t be g(3). Let s be (-2 + t/(-3))*-3. Suppose 5*b - s*b - 16 = 0. Solve b = 2*l - 6*l for l.
-2
Suppose -7*t + 2*t = -30. Solve 0 = -g - g + t for g.
3
Let y be 1 - (-2 + (-8 - -1)). Suppose 2*x = 5*u - y, x = -0*x + 4*u - 5. Let q(n) = -n - 2. Let v be q(x). Solve v = -2*z + 7 for z.
2
Let l be (1 + -1)*5/10. Suppose 0 = -5*d + 1 + 9. Solve l*g = g - d for g.
2
Let a(u) = 9*u - 58. Let t be a(7). Solve -t*g + 0 = 20 for g.
-4
Let g be (-2)/(-1) - (-8)/(-4). Suppose i = 2*f - 7, -5*f = -i - 28 + 6. Solve g = a - i*a for a.
0
Let k = 51 - 52. Let q = -11 + 7. Let n be -2*k/q*-12. Solve 6*v = 3*v + n for v.
2
Let h(f) = 3*f - 5*f - 9 + 8. Let c be 2 + 1*(0 - 8). Let v be h(c). Solve 5*g + v = -4 for g.
-3
Suppose -3*x = -2*h + 32, 5*x + 3*h + 21 = -26. Let v = 10 + x. Solve 0 = -2*y - v*y for y.
0
Let y be ((-80)/6)/(4/(-6)). Let w(f) = f. Let t be w(6). Solve -t*p + p = -y for p.
4
Let t be 72/(-16)*4/(-6). Solve -4 + 1 = -t*a for a.
1
Suppose 5*m - 9 - 1 = 0. Suppose -w = m*w. Let t = w + 2. Solve q = t*q for q.
0
Suppose 8 = 2*d - 4*d + 4*n, -4*d + 28 = 3*n. Let k be (7*-1)/(d/(-8)). Let l be (-5 + 2)*k/(-6). Solve l*w - 4*w = 12 for w.
4
Suppose 3*p - 14 = -4*l, 5*l + 2 = 4*p + 2*l. Solve 2*n - p = -0 for n.
1
Let k = 6 - 6. Suppose -5*c + 4*j = k, 5*c - 5*j + 4 = -1. Solve -p + c - 1 = 0 for p.
3
Suppose 0 = -2*z + 4*t - 10, -4*z + 10 = 2*t - 10. Solve -z*y = -y + 6 for y.
-3
Let t be (-416)/(-65) + 4/(-10). Solve v - 4*v = -t for v.
2
Suppose 2*c = -0*c + 8. Suppose 0 = 4*q - 2*m + 3 - 11, c*q + 4 = -m. Solve -h + 0 - 4 = q for h.
-4
Let v(r) = r**2 + 10*r. Let a be v(-10). Solve 3*x + 7 + 5 = a for x.
-4
Suppose 4*r = -4*p + 4, -8*p - 1 = -4*p - r. Solve -5*c + 0*c + 25 = p for c.
5
Suppose -81 = 5*i + 14. Let s = i - -19. Solve 0 = m + 1 - s for m.
-1
Let w = -2 + 5. Let f be 27/w + (1 - 2). Solve -a + f = a for a.
4
Suppose 0 = -3*g + g. Let c(v) = -1 + 2 + 3*v - 2 - 2*v. Let q be c(1). Solve 4*x + g*x + 4 = q for x.
-1
Let o(z) = -z**3 - z**2 + z + 1. Let w be o(-2). Suppose -3*k = -0 - w. Solve 7 = -2*c + k for c.
-3
Let y = 68 - 68. Solve y = -v + 3*v + 8 for v.
-4
Let g be (-14)/(-21) + (-4)/6. Solve -2*r = -4 - g for r.
2
Suppose 4*i - p = 25, -2*p = -i + 2*p + 10. Suppose i*z = 2*z. Solve 2*q + z*q - 2 = 0 for q.
1
Let o = 29 + -22. Solve 5*q - o*q = -10 for q.
5
Let b = 7 + -5. Suppose -o = -b*c + 17, 4*c + 4*o + 0*o - 28 = 0. Let g be 2 + -1 + 0/2. Solve 0 = -3*k + g + c for k.
3
Let u = -8 - -12. S