*s - 25. Solve -f = 4*u + 6 for u.
-5
Let h(f) be the second derivative of 5*f**4/12 - 3*f. Let x be h(-1). Let k = -3 + x. Solve -d = -k*d + 4 for d.
4
Suppose p - 3*p = -30. Suppose 3*n + 2*n = p. Solve 0 = -n*f + 4*f - 4 for f.
4
Suppose -2*m = -10 - 2. Let q(t) = t**2 - 8*t + 13. Let z be q(7). Solve 3*a = m*a - z for a.
2
Let j be -2*-5*6/12. Solve -l + 7 = j for l.
2
Let q = -9 - -11. Solve g - q*g = 2 for g.
-2
Suppose -2*c + 6 + 24 = 0. Solve 3*r - 3 = -c for r.
-4
Suppose o + 7 - 13 = 0. Solve 10 = f - o*f for f.
-2
Suppose -5*k = -h - 2*k - 5, -5*h + 2*k = -14. Suppose -2 = f - h. Solve 2*d - f = d for d.
2
Suppose -9*w = -7*w. Solve w = -y - 0*y - 5 for y.
-5
Let b(o) = -o**2 - 3*o. Let f be b(-3). Solve 5*v = -f*v - 20 for v.
-4
Let a = 10 - 9. Solve 4*q + a = 17 for q.
4
Let m = 22 - 20. Suppose 2*z = 4*q - 28, 0*q + 2*z + 33 = 5*q. Let w = 11 - 4. Solve -q*d - w = -m for d.
-1
Let x = -4 - 14. Let p be (1/3)/(6/x). Let r be (2 + -2)/(1*p). Solve 5*f - 10 = -r*f for f.
2
Suppose 0 = -2*k - 1 + 3. Suppose 2*b - 77 = -k. Suppose 5*q + 2*r - b = -r, 2*q = -5*r. Solve -p - p = -q for p.
5
Let q be 2/(-2 - -1) + 6. Suppose q = 4*y - 4. Solve 0*t - t = y for t.
-2
Suppose 0 = 4*h + 20, h - 5 + 2 = -4*l. Let k be (4*-5)/(-5) + -2. Suppose k*b + l*b - 8 = 0. Solve -s = -b - 0 for s.
2
Suppose -3 = -y - 2. Suppose 5*t - 104 + 94 = 0. Solve -b - t = y for b.
-3
Suppose 3*q - 5*q + 2*k = -8, -4*k = 3*q + 23. Let i = 4 + q. Solve 2 + i = -5*j for j.
-1
Suppose 3 + 17 = 2*d. Let u = -47 - -51. Solve u*h = 2*h + d for h.
5
Let k = 10 - 11. Let z be (k/(-2))/(3/24). Suppose 2*f = 3*f - z. Solve 0 = -f*c + 6 + 6 for c.
3
Suppose -4*w + g + 21 = 0, -5*w - 2*g + g + 33 = 0. Suppose 3*y + 2*s + 2 = -0, -2*s - w = y. Solve 1 - 9 = -y*r for r.
4
Let u be ((-6)/(-4))/((-3)/(-4)). Suppose -2*p - v = -9, -4*v - 14 = -u*p - 0*v. Solve -4*j + p = j for j.
1
Suppose x - 1 = -5*v, -5*v + 3*x = 2 + 1. Solve -2*k - 6 + v = 0 for k.
-3
Let s(v) = -2*v**2 + 4. Let l be s(0). Solve n = l*n for n.
0
Let i be (0 - -1)*2 - 23. Let u = i - -24. Solve -2*k - 3 - u = 0 for k.
-3
Let y = 3 - 1. Let r be (0 + y)*(0 + 1). Solve 4 = 2*q + r*q for q.
1
Let x(g) = 3*g**2 - 2*g - 2. Let a be x(2). Solve -o = 2*o + a for o.
-2
Suppose 9 + 23 = 4*z. Solve -z*a + 4*a = -12 for a.
3
Let w = -35 + 1. Let f be w/(-9) + (-8)/(-36). Solve h = f*h for h.
0
Let m = -15 + 18. Let v = m - -2. Solve a - v*a + 8 = 0 for a.
2
Suppose 2 = -5*d + c, 3*d - 4*d - 5*c = -10. Solve -2*f + 0 - 2 = d for f.
-1
Let r(i) = -2*i**2 - 20*i - 13. Let a be r(-9). Solve 0*u = a*u for u.
0
Let f = 21 - 6. Solve 2*p = 7*p + f for p.
-3
Let q(y) = y + 2. Suppose 5*t + 4 = 14. Let u be q(t). Suppose 1 = -l + u. Solve -2*b + l*b = 0 for b.
0
Let h = -7 + 10. Let c(v) = 2*v**2 + 3*v - 3. Let w be c(-3). Solve -h*j - 3 = -w*j for j.
1
Suppose -2*q + 2 = 2*a, 0 = -a - 3*a + 4. Solve 9 = -3*d - q for d.
-3
Let o = 6 - 3. Suppose 1 - 3 = -q. Suppose -2*g + g + q = 0. Solve -j = g*j + o for j.
-1
Let j(v) = 8*v + 2. Let x be j(3). Suppose -u + 28 = -5*n, 0*n - 4*n - x = -2*u. Solve -u*k = -2*k for k.
0
Let q = -19 + 19. Suppose 3*d - 2*d = q. Solve -u = -d*u + 5 for u.
-5
Let j = 9 + -6. Solve j = 4*z - 5 for z.
2
Suppose 0 = z - 10 + 2. Let d(t) be the second derivative of t**3/6 + 5*t**2 + t. Let r be d(-7). Solve -z*j = -r*j for j.
0
Suppose -3*v = 5*x - 33, -5*x + 31 = v - 0. Suppose -f + x + 1 = 0. Let r be f - 2 - 2 - -1. Solve r*m + 8 + 8 = 0 for m.
-4
Let q be ((-2)/4)/(2/16). Let v = q - -4. Suppose f - 5*f = v. Solve f*c - c - 4 = 0 for c.
-4
Suppose -m = m - 4. Suppose -4*r = 5*d + 1 + 1, m*d + r - 1 = 0. Solve -g + d = -2*g for g.
-2
Suppose -3*t - r + 15 - 1 = 0, 4*t + 4*r - 32 = 0. Solve -t*p + p = 4 for p.
-2
Let b be (28/10 - -3) + 8/(-10). Solve -4*z + b = 1 for z.
1
Suppose 0 = -4*j + 21 - 1. Solve 6 = -j*i + 2*i for i.
-2
Suppose -7 = -y - s + 2, -2*y - 12 = -4*s. Solve 0 = y*h - 10 + 2 for h.
2
Let j(p) = 10*p**3 + p. Let g(v) = -v**3 + 8*v**2 - 9*v + 7. Let o be g(7). Let l be o/(-9) + (-4)/(-18). Let x be j(l). Solve -x - 9 = -4*d for d.
5
Let j be 0 - (-2)/(-13) - (-6)/39. Solve 3*b + b = j for b.
0
Let x(i) = 2*i + 8. Let p be x(-6). Suppose -2*d - 3*d - 3*a + 92 = 0, 4*d + 3*a - 73 = 0. Let r be (d/(-2))/(2/p). Solve -3*h + 4 = r for h.
-5
Let a(z) = -3*z - 3. Let w(b) = 2*b + 4. Let o(k) = 3*a(k) + 2*w(k). Let f be o(-1). Solve f*x = -x + 10 for x.
2
Let p(k) = -2*k**2 + k. Let y be p(2). Let a be 16/y*6/(-4). Suppose d + 44 = a*x + 6*d, 4*x + d - 60 = 0. Solve -7*h = -3*h - x for h.
4
Let i = 39 - 36. Solve -4*n = -n + i for n.
-1
Let z be (12/7)/((-16)/(-7) - 2). Solve z*i - 5 = i for i.
1
Suppose -5*v + 0*v + 35 = 5*l, -4*v + 19 = l. Solve -6*p = -v*p + 6 for p.
-3
Let x be 1/((-1)/(-3)) + 1. Solve 0 = x*r - 8 - 8 for r.
4
Let a(h) be the third derivative of h**4/6 - 5*h**3/6 + 3*h**2. Let k be a(2). Solve 4 + 2 = k*n for n.
2
Let b be (-1 + 3)/2 + 4. Suppose -5*r + 0*s = -2*s + 6, -4*r + 15 = b*s. Suppose 0 = -r*h + 3*h. Solve n + h = 4 for n.
4
Suppose 4*i - i + q = 43, -i = -2*q - 5. Let s be 2 + i - (2 + 2). Solve -1 - s = 3*a for a.
-4
Suppose 0*j + 3*j = 21. Let w(s) = -j*s**2 + 8*s**2 + 0*s + 2*s. Let q be w(-2). Solve q*b = -5*b - 10 for b.
-2
Let t(d) = -d**2 - 6*d + 1. Let g be t(-5). Let m = -4 + g. Suppose 5*a = -5*v + 25, -10 = -2*v - 0*v. Solve -2*j + m + 6 = a for j.
4
Suppose 5*c + m - 4 = 4*c, 0 = 3*c - m - 16. Solve 0*v = -c*v for v.
0
Let c be -10 + -4 + 10 - (1 - 10). Let o(s) = s**2 - 3*s - 5. Let k be o(5). Solve -c*i = k - 0 for i.
-1
Let g be (3/(-2))/(3/6). Suppose 9 = 2*l + l. Let c be l*3*g/(-9). Solve r = -1 - c for r.
-4
Suppose -2*g - 4*o + 12 = 0, -3*o = 5*g - 2*o - 3. Suppose g = -4*h - h + 25. Solve -16 = -h*w + w for w.
4
Let v be 3*-2*(2 - 3). Suppose 0*i - 5 = -2*l + i, 2*i + v = 3*l. Solve -3*t + l*t - 4 = 0 for t.
4
Let a = -3 - -8. Suppose 0*w = -a*w + 5*m, w + 4*m = 25. Solve -2*v - w = -7*v for v.
1
Let f(t) = 3*t**3 + t**2 - 3*t + 2. Let o be f(1). Solve -16 = -h - o*h for h.
4
Let c = 55 + -53. Solve -c*r = -13 + 3 for r.
5
Let q be (-1 - -1) + 0 + 2. Let i be (q - 0)*(-2 + 6). Solve 5*j - 2 = i for j.
2
Let i = -36 + 39. Solve 2*j - 15 = -i*j for j.
3
Suppose 8*u + 4*u - 240 = 0. Solve -8 = 4*a - u for a.
3
Let i be (-83)/(-12) + (-6)/(-72). Solve -3*t - 16 = -i for t.
-3
Let w(m) = 8*m**2 - 2*m + 1. Let j be w(1). Let c = -18 - -26. Solve 5*b = -j - c for b.
-3
Let n(m) = -2*m**2 + 10*m + 4. Let u be n(5). Solve u*h + 6 = 14 for h.
2
Let v = -34 - -14. Let s = v + 23. Solve 3*c - s = 4*c for c.
-3
Let o(f) = -2*f - 4. Let l be o(0). Let p = 3 + -7. Let z = p - l. Solve 2*h + z*h = 2 for h.
1
Let d be 2 + (2 - 2 - 0). Let j be 1 + (-1)/(-1 - 1/(-2)). Solve 0 = -j*w + d*w - 2 for w.
-2
Suppose 0 = -3*y + 8*y - s - 15, 25 = -5*s. Suppose 23 = 4*w + v + y*v, -13 = -4*w - v. Let h be 0/((0 + -1)*w). Solve -4*k - 1 + 9 = h for k.
2
Let n be 4/(-20) - 361/(-5). Let k be n/12*2/3. Solve -k = -2*d - 2 for d.
1
Suppose 0 = -5*r - 46 - 39. Let n = r + 17. Solve n*a - 5 = a for a.
-5
Let d be 36/10*30/12. Let f = -8 + d. Solve -4*l + 9 = f for l.
2
Suppose -5*v + 28 = 8. Solve 3*g = v*g for g.
0
Let w = 8 - 5. Suppose 0 = 3*o - w*n - 21, -n + 7 = 2*o - 4. Solve v = 4*v + o for v.
-2
Suppose -3 = -3*i + 3. Suppose -3*h = h - 4. Let l = 2 + h. Solve -1 + l = -i*y for y.
-1
Let p(v) = -34*v - 204. Let b be p(-6). Let n be (-1*4)/(-1)*2. Let c = -3 + n. Solve x - c + 3 = b for x.
2
Let d(b) = b. Let x be d(5). Suppose 2*h + x*c = 26, 5*h - 3*c - 3 = -0. Solve 2*g = -h*g for g.
0
Let t be (-10)/(-4) + 1/2. Solve 7*a - t*a = 0 for a.
0
Let a(c) = c**2 - 4*c. Let u be a(5). Let s be ((-1040)/(-64))/((-1)/(-4)). Suppose -5*x - u = -s. Solve -2*m - x = -5*m for m.
4
Suppose -3*k - 8 = 4. Let x(w) = 5*w**2 - 7*w + 3. Let c(h) = h**2 - 2*h + 1. Let q(m) = 9*c(m) - 2*x(m). Let f be q(k). Solve 0 = f*y - y for y.
0
Suppose 0 = 2*y - 7*y + 20. Solve -y*q + 15 = -1 for q.
4
Let i be (1 - (0 - 0)) + 1. Suppose -22*t + 32 + 34 = 0. Solve r - t = i*r for r.
-3
Let l = 3 + -1. Let w be 3 + 6/(-3) + l. Suppose 2*c - i = -w*i + 48, 0 = 3*c + i - 64. Solve c = y - 6*y for y.
-4
Suppose 16 = -3*i - 2*p, 0*p = i - 2*p. Let a(t) = t**2 + 4*t + 2. Let u be a(i). Suppose u = 3