 Solve 2*f + 0 + h = 0 for f.
-1
Let f(z) = -z**3 + 7*z**2 - 9*z + 7. Suppose u + 5*d - 41 + 11 = 0, 0 = u - d. Let i be f(u). Solve -i + 3 = -3*k for k.
3
Suppose 0 = 13*w - 3 - 23. Solve 0 = w*o + 2*o + 4 for o.
-1
Let b = -12 + 19. Let n = 0 - 2. Let u = n + b. Solve -1 = 3*o + u for o.
-2
Suppose 0 = -4*s - h - 2, s + 3*h = -s - 6. Suppose s = 4*j + j - 10. Suppose 6*i - 2*i = 8. Solve 0 = i*k - j - 2 for k.
2
Suppose 3*h - 9 = 3*p, p + 2*p = -4*h + 26. Let w be (8/6)/(3/9). Suppose z = 3 + 11. Solve z - p = -w*s for s.
-3
Suppose n - 5 = 2*s, -5 = -5*n + 3*s + 27. Suppose 28 = r - 2*u, 5*r + 4*u = -n + 91. Solve 0*f - r = -5*f for f.
4
Let p = -8 + 5. Let n = 5 + p. Suppose -20 = 4*b - 0*b - 5*r, -2*b + n*r - 8 = 0. Solve -y + 4 = -b for y.
4
Let n be (-18)/(-5) + (-12)/(-30). Suppose 0 = -4*g - n, -5*g - 6 - 2 = -q. Solve -2*y - q + 9 = 0 for y.
3
Let g(f) = -f + 2. Let w(u) = -u + 1. Let y(r) = 5*g(r) - 4*w(r). Let z be y(4). Solve z*c = -3*c for c.
0
Suppose 34 = 5*x + 4. Suppose x = -v + 10. Solve 0 = 3*a - v - 8 for a.
4
Let x(a) = -12*a + 8. Let i(r) = r - 1. Let u(d) = -8*i(d) - x(d). Let b be u(5). Suppose 3*k + b = 8*k. Solve -9 = k*h + 3 for h.
-3
Suppose 2*u = 40 - 12. Suppose 2*m + 2*z = -z + u, 10 = 2*m + 2*z. Let k = 1 - m. Solve k = -0*c + c for c.
0
Suppose -5*x = 5*g - 15, -4*g + 14 = 4*x - 2*g. Solve -t - x = -2*t for t.
4
Suppose 0 = -2*k + 5*s + 10, 0*k + 2*s = -k + 5. Suppose -k*w = -14 - 6. Let m(h) = 2*h**2 - 3*h + 2. Let y be m(2). Solve w*n + y = 20 for n.
4
Let n be 0 - 1 - ((-4)/(-2) - 6). Solve -n = 4*q - q for q.
-1
Suppose 0 = -3*d - 1 + 10. Solve 0 = 2*l + 3 + d for l.
-3
Suppose -5*o + o + 8 = 0. Let m be 5/o*12/(-10). Let g = -2 - m. Solve -g = -t + 1 for t.
2
Let j(c) = -2*c - 9. Let v be j(-6). Suppose 0 = 3*i - 0 - v. Solve -5 = 3*f + i for f.
-2
Let q(c) = c**2 - 5*c + 6. Let b be q(4). Let p(z) = -2*z**2 + z - 1. Let m be p(b). Let i(j) = j + 12. Let h be i(m). Solve -4*n + h*n + 5 = 0 for n.
-5
Let x(q) = -q**3 + 7*q**2 - 5*q - 3. Let h be x(6). Suppose h*t = -t. Solve -3*k + t*k = 0 for k.
0
Suppose -2*l = -2*y + 3*y - 21, -4*l + 3*y = -17. Let m(s) = s**3 + s + 2. Let n be m(4). Let q = n + -42. Solve q - l = 5*p for p.
4
Suppose 9 = y + 2*a - 4, 4*y + a - 45 = 0. Let d = -9 + y. Solve d*x + 3 = 9 for x.
3
Let g(k) be the second derivative of k**4/12 - k**3/3 + k**2/2 + 2*k. Let n be g(2). Solve 0 + n = -v for v.
-1
Let x(f) = 2 + 2 - 5 + 0 - f. Let a be x(4). Let h(k) = -2*k - 5. Let q be h(a). Solve -q*z = -4*z for z.
0
Suppose -b + 2 = -0. Suppose -2*h + 0*h = n - 32, b*h = -4. Suppose 3*u + 3*x = x + 26, 0 = -4*u - 3*x + n. Solve 2*z = 2 + u for z.
4
Suppose -f + 2*o - 4 = 0, -4*o + 47 = 3*f + 9. Let y be (4/f + 0)*3. Suppose -y*a + a + 4 = 0, 4*n = -4*a + 40. Solve -4 = -2*m + n for m.
5
Let z = 79 + -72. Solve -3*n - z - 5 = 0 for n.
-4
Suppose 2 + 10 = 4*j. Suppose 3 = -j*r + 21. Let f be -1 + 2*3/r. Solve 5*z + f = 15 for z.
3
Let u be ((-5)/2)/(45/(-36)). Solve -4 = -3*n + u for n.
2
Suppose -5*a + 18 = a. Let y = 6 - 3. Suppose -2*c + 1 = -y. Solve -c = -a*q - 11 for q.
-3
Let k = 9 + -7. Let p(i) = i**3 - 2*i**2 + 2*i. Let o be p(k). Solve -3*b = -b - o for b.
2
Let p(g) be the first derivative of g**2/2 - 6*g - 4. Let o be p(7). Solve -3*r = o + 8 for r.
-3
Suppose 3*r = -4*q, -q + r = -3*q + 2. Let k be 0/(q*4/6). Solve k = 3*n - 2*n for n.
0
Let g be 10/4*32/40. Solve g + 2 = -q for q.
-4
Let o be 17/4 - 3/12. Suppose t + 3*n - 15 = -0, n = o. Let c = 28 - 16. Solve 0*k = -t*k + c for k.
4
Let r = 19 - 15. Solve 11*j - 7*j - r = 0 for j.
1
Suppose -4*g = -4*v, -g = 4*g - 15. Solve -3 - v = 2*y for y.
-3
Suppose 0*x = -4*d - 4*x + 4, -1 = -x. Suppose -5*g + 31 = -2*f, 4 - 2 = -2*g - 4*f. Suppose 0 = -3*c + 66 - 3. Solve -g*t + 1 - c = d for t.
-4
Let n be 0/(1 - 0 - 3). Solve -2*w + 6 = -n for w.
3
Suppose p - 8 = 5*p, -3*b + 2*p = -31. Let f(r) = -2*r + 18. Let z(l) = l - 9. Let u(x) = 4*f(x) + 7*z(x). Let k be u(b). Solve -j - 1 = -k for j.
-1
Let j(p) be the first derivative of -p**5/120 + 5*p**4/12 - 2*p**3/3 + 3. Let m(h) be the third derivative of j(h). Let k be m(8). Solve d + 2 = k*d for d.
2
Suppose 0 = -3*g - 0*g + 27. Let r = -1 + g. Solve 2*l + r = -0*l for l.
-4
Let n = 5 - -2. Let k = n + -3. Solve 20 = f + k*f for f.
4
Let y be (-3)/(-12) + (-87)/(-4). Let i = y - 14. Solve -s = 3*s - i for s.
2
Suppose -9*r + 4*r + 100 = 0. Solve -4*w + r = w for w.
4
Suppose 4*h = 5 + 15. Suppose -2*v + 4*q = -q + 8, -4*q + h = -3*v. Let n = v - -1. Solve n*r = -3*r + 10 for r.
2
Let d(i) be the first derivative of -i**4/4 + 2*i**3 + 9*i**2/2 + 10*i + 1. Let n be d(7). Suppose 0 = -2*o - 2*o + n. Solve -k + o = 2 for k.
4
Suppose 2*j - 3 = -2*q - j, -3*q + 4*j = -47. Let d be q/27 + (-28)/(-6). Solve d - 2 = -3*f for f.
-1
Let z be (0 + 4)/((-3)/(-6)). Let q be (z/2)/(2/(-9)). Let t be (-58)/(-18) - (-4)/q. Solve -t = -0*x - x for x.
3
Suppose -322*t = -319*t - 12. Solve u = -t*u + 20 for u.
4
Suppose -q - 4*q = -10. Let n = 7 + -5. Let v = n + -2. Solve 2*w - q = -v for w.
1
Let q be 2/3 - (-66)/(-99). Solve 2*w - w + 2 = q for w.
-2
Let z be 561/13 + 12/(-78). Solve 5*q - 18 = -z for q.
-5
Let k(s) = -30*s - 1. Let y be k(-1). Let t be 42/12 + 1/2. Suppose -t*w + w + 5*o + y = 0, 3 = -3*w - 3*o. Solve w*p - 4 = -p for p.
1
Suppose -4*a = 4*w - 2*w - 12, -a - 8 = -5*w. Solve -3*b = w*b + 15 for b.
-3
Let j(f) = 4*f**2 - 2 + f**3 + 4*f**2 - 4*f**2 + 2*f - 2. Let w be j(-3). Let u be (-1)/(-1) - -4 - w. Solve 3*d - u = -0 for d.
2
Suppose 0*b - 5*b + 15 = -r, 2*b + 3*r + 11 = 0. Let u = -2 - b. Let z be u/(-14) + (-120)/(-21). Solve 3*p + 9 = z*p for p.
3
Let u be (6/(-5))/(8/(-20)). Suppose 4*g + 5*t - 7 = 4*t, 4*g - 16 = -4*t. Let x be (-1 + g)/(1 + 0). Solve -y + u - 4 = x for y.
-1
Suppose 0 = -3*h + 12 - 0. Solve h = v + 2 for v.
2
Let y = -2 + 1. Let q(v) be the second derivative of 19*v**4/12 - v**3/3 - v**2/2 - 3*v. Let u be q(y). Solve -5*t + u + 0 = 0 for t.
4
Let n(m) = m**2 - 22*m + 27. Let k be n(21). Solve -8 = -k*s + 4*s for s.
4
Let m(h) = -h**3 + 6*h**2 + 5*h + 9. Let d be m(7). Let u = 13 + d. Suppose -5*t + 12 = -u. Solve 0 = t*v + v - 15 for v.
3
Let o be 14/6 - 4/(-6). Let j(z) = -z**2 - 5*z + 4. Let w be j(-5). Solve -o*v - w = -v for v.
-2
Let c be (3 - 0)*(-8)/6. Let s be 10/4*(-6 - c). Let v = 5 + s. Solve v = 3*i + i - 4 for i.
1
Let q(v) = -v**3 + 9*v**2 - 7*v - 3. Let h be q(8). Suppose h*k - d - 26 = -2*d, 38 = 3*k - 5*d. Solve 0 = -2*w + k*w + 16 for w.
-4
Let a(x) = -x**3 - 3*x**2 + 3. Let d be a(-4). Let f = -7 + d. Let o = 2 + 1. Solve 0 = j + o*j - f for j.
3
Let h = -11 - -28. Suppose 63 = 5*o - h. Let z be 68/7 - o/(-56). Solve -3*c + c - z = 0 for c.
-5
Let c = 2 - -3. Let y(s) = s - 4. Let x be y(c). Solve 5 = -2*l + x for l.
-2
Suppose 0 = -u + 2*q - 13, 3*q - 7*q = -5*u - 35. Let d = u - -3. Solve d*n = -n + 3 for n.
3
Suppose -5*v + 21 = -s, -2 = v - 4*s - 10. Solve -v = l - 3 for l.
-1
Let y(i) = -i**2 + 7*i - 1. Let x be y(5). Let m be 3/x*39/1. Suppose -2*c - p + m = 0, 0*p = 5*c - 3*p - 5. Solve -k = -c*k - 12 for k.
-4
Suppose 5*q - 2*y - 17 = 0, -5*q - y = -11 - 3. Solve 20 = q*n + 2*n for n.
4
Let z(h) = h**2 - 5*h + 1. Let k be z(4). Let d be k/(-1)*6/18. Solve d - 11 = 5*w for w.
-2
Suppose 0*g + b - 6 = g, -5*g - 30 = b. Let i(t) = -3*t - 6 - 8*t**2 + 9*t**2 + 3*t + 5*t. Let f be i(g). Solve -v = -f*v for v.
0
Suppose -3*c + 46 = 2*k, -32 = -4*k - 12. Solve -3*g = -c - 3 for g.
5
Let x = -3 + 4. Suppose 2*s - 4*s + 2 = 4*t, 0 = -5*t + 3*s + 19. Solve q + x = t*q for q.
1
Let k(b) be the third derivative of b**2 - 1/3*b**3 - 1/12*b**4 + 0*b + 1/60*b**5 + 0. Let s be k(4). Solve -4*r - s = 14 for r.
-5
Let k be 4 + -2 + 1 + 0. Suppose 2*l + 5 = g, k*l = -4*g + 47 - 16. Let r = -9 + 17. Solve g = -3*i - r for i.
-5
Let j be 18/(-12) - (-3)/2. Suppose j = -5*t - 4*n + 20, -t - n = n - 10. Solve -5*y = -t*y for y.
0
Suppose -2*f = 2*f. Suppose x + f*x - 104 = 4*l, 5*x = l + 26. Let m = 38 + l. Solve -5*o = -o - m for o.
3
Let u be (-6*(-6)/45)/((-4)/(-50)). Solve i = -i - u for i.
-5
Suppose 0*s + 24 = 6*s. Solve 3*a - s*a = 1 for a.
-1
Let s be 3 + 0/(12/(-2 - 2)). Solve -s*m - 3 = -2*m for m.
-3
Suppose 12*l = -0*l + 48. Solve -l*m - 