(-1)/1). Let c(n) = -n + 3. Let i be c(3). Let z = i + k. Solve -z = 2*h - 5 for h.
2
Let d(l) be the first derivative of l**4/4 + l**3/3 - l**2/2 + 2*l - 3. Let m be d(0). Solve -m = f - 4 for f.
2
Let m be (-10)/(-2) - 2*(-9)/(-6). Solve 3*z = -m*z - 5 for z.
-1
Suppose c - 2*s + 2 = 4, 5*s = 5. Solve k + 3*k = c for k.
1
Suppose 2*d - 26 = -5*r + 5*d, 4*d + 28 = 5*r. Suppose v = -r*v + 30. Solve s + 2*s = v for s.
2
Let r = 78 + -111. Let y be r/(-5) - 12/(-30). Solve y*f = 3*f - 12 for f.
-3
Let y(j) = 2*j**2 + j - 2. Suppose 5 = -4*k - 3. Let q be y(k). Solve 1 = q*g - 7 for g.
2
Let b(h) = -h. Let l be b(0). Suppose 4*f + f = l. Let u = f + 0. Solve u = -0*n - 3*n + 15 for n.
5
Let z(n) = -2*n - 10. Suppose 3*w + 28 = -w. Let r be z(w). Solve -3*d - r = -d for d.
-2
Let k = 5 + -3. Let h = k + -5. Let d = h - -5. Solve -d*m - 3 = 3 for m.
-3
Let z = -12 - -21. Suppose 0*s + z = 3*s. Solve s*d = d + 10 for d.
5
Let b = 1 - 1. Let q be (14 + 1)/(-5)*-1. Solve 0*s + q*s = b for s.
0
Let o = -26 - -31. Solve x + 2 = o for x.
3
Suppose 12 = 4*f, 2*m - 2*f = -2*m - 10. Let p = m - -1. Solve -n - n - 8 = p for n.
-4
Let j be (-4)/8 - 6/(-4). Let s(o) = -5 + 2*o + j - 7. Let a be s(8). Solve -a = r - 1 for r.
-4
Let g = 42 - 23. Suppose 0 = -5*b + 5*y - 0*y + 40, -5*y - g = 2*b. Solve -b*a + 1 = 10 for a.
-3
Let g be (-6)/(1 - 3) - -2. Solve g*f = -15 - 5 for f.
-4
Let x be (2 - (1 + 1))/(-2). Solve x = t + 3*t + 20 for t.
-5
Let p(w) = w - 10. Let f be p(10). Let q(b) = b**2 + 3*b - 4*b + f*b**2 + 6. Let l be q(0). Solve -l = -4*a + 10 for a.
4
Suppose 2*b + 2*b - 16 = 0. Suppose j = b*j - 9. Solve j*k = 6*k - 15 for k.
5
Let k = -16 + 8. Let n be 4/(k/4)*-2. Solve n = -3*o - 2 for o.
-2
Let s = 7 - 5. Suppose 0*i = i - 2. Suppose t + 13 + 1 = 3*f, 5*f + i*t = 5. Solve -f*a - 1 = -s*a for a.
-1
Let t = -2 + 3. Let x be (0 + 4)*28/16. Suppose 1 = -3*u + x. Solve j - u*j = t for j.
-1
Suppose 0 = -3*c - 3*l - 3, 8*c - 3*c + l = 15. Solve 0 = -c*v + v - 12 for v.
-4
Suppose -3*g = -d - 6, 0*d = -5*g + d + 12. Solve -g*w = w for w.
0
Suppose 2*d + 0 = -10, 2*o - 67 = -3*d. Suppose -o = -4*z - 5. Let h(a) = a**2 + 10*a + 11. Let j be h(-9). Solve -l - z = j*l for l.
-3
Let t be -3 + 6 - (-2 + 3). Solve 3*m - 4 = t for m.
2
Suppose 3*b - 4*q - q = 3, 27 = 2*b + 5*q. Suppose 4*n = -5*t + 33, 2*t - n - 2 = b. Suppose -4*m + 4 = 4*c, t*m - 3*m - c = -1. Solve m*h = 3*h - 6 for h.
2
Suppose 5 = -d, -3*y + 5*y - d = 51. Let f = 23 - y. Solve f = 2*t - 0*t for t.
0
Let c = -19 - -23. Suppose -2*u - c = 0, 5*j + 7*u - 2*u = 20. Solve j = f + 1 for f.
5
Suppose 10*i - 12*i + 2 = 0. Let s = 2 + i. Let o(u) = -u + 10. Let x be o(6). Solve x = s*h - 2*h for h.
4
Let u be 276/27 + (-2)/9. Suppose 5 = 3*a - u. Suppose -2*y - 2*v = 6, -10 - 13 = -3*y + a*v. Solve 5*k + 24 = -y for k.
-5
Let q(n) = -n**2 - 7*n + 1. Let h be q(-5). Let b = -6 + h. Suppose -b*o = -4*z - 62, 0*z + 41 = 5*o + 3*z. Solve t - o = 6*t for t.
-2
Let s(k) = -k**3 + 4*k**2 - k. Let c be s(4). Let l be (-122)/(-8) + 1/c. Solve 0*h - l = 3*h for h.
-5
Let r be (-63)/(-12) - (-4)/(-16). Solve r - 17 = -4*q for q.
3
Suppose 5*g - 2*j - 45 = 2*j, j = -g. Let x(c) = 6*c - 6*c + 4*c - c**2 + 7. Let s be x(g). Solve s*k = -k for k.
0
Suppose -21 + 66 = -5*l. Suppose 0 = 4*w + 8 + 16. Let g = w - l. Solve 0 = -5*q + 2 + g for q.
1
Let y be 6/4 - 9/6. Solve 0 = -2*x - y*x + 8 for x.
4
Let w(i) = 6*i**2 - 7 + 4*i**2 - i**3 + 2*i**3 + 5*i - 2*i**2. Let z be w(-7). Solve 8 + z = -3*b for b.
-5
Suppose 11 = 4*z - 5. Suppose z = 2*h + 2. Solve -2*f + 9 = h for f.
4
Suppose -12*j + 70 = 2*j. Solve -2*k + k = j for k.
-5
Let m be (-9)/(-2) + 3/(-2). Solve 2 = 2*f - m*f for f.
-2
Suppose -10 = -4*j - 2. Let r = 5 - j. Solve -r + 6 = -v for v.
-3
Suppose 0 = c + 5*b, 0 = -4*c - 2*b + 31 - 13. Solve 0 = -c*v + 3*v for v.
0
Let k(i) = -i + 17. Let d be k(17). Let q(c) be the third derivative of c**5/60 - 5*c**4/24 - c**3/2 + c**2. Let m be q(6). Solve 3*j = -d*j - m for j.
-1
Let b(v) = -v**2 + 6*v - 1. Let y be b(5). Suppose 0 = -4*i + 4*a + 6 - 2, -2*i = -y*a + 6. Solve l = -0*l - i for l.
-5
Let u be 1 - 7/(7/(-3)). Solve -b = b - u for b.
2
Let z(o) = 3*o - 12. Let j be z(5). Solve -j = -2*t - 1 for t.
1
Suppose 0*g + 4 = 2*g. Suppose 5*a - 3*z - 15 = 0, 7 = 5*a - g*z - 3. Solve 4*x + a*x = 0 for x.
0
Let s(u) be the third derivative of u**5/60 + u**4/3 - u**3 - u**2. Let d be s(-9). Let b(r) = -r**3 - 2*r**2 - 3*r. Let y be b(-2). Solve -d*z = -0 + y for z.
-2
Let o = -15 - -18. Solve -i = o*i + 8 for i.
-2
Let x be 3/5 - (-24)/10. Let c = 3 - x. Solve c = 2*k + k + 6 for k.
-2
Let v = 14 - 32. Let c be 3*10/v*-3. Suppose 2*s = c*s. Solve s = -q + 4*q - 12 for q.
4
Let h be (0 + 1)/((-2)/(-10)). Let w(d) = d**2 - 4*d - 2. Let a be w(h). Solve -1 - a = 2*o for o.
-2
Let p be (-2)/(-1) + (-9)/(-1). Suppose 4 = -3*a - h + 6*h, -4 = -3*a + h. Solve a*f - p = -1 for f.
5
Let d(o) = -2*o. Let z be d(-1). Suppose q = -4*k - 9, -2*q = -2*k + 3 - 25. Let w be 66/14 + 2/q. Solve z - w = p for p.
-3
Let g(y) = 3*y**2 + 2*y + 1. Let a be g(-1). Let b be 4/(2 + -2 + a). Let h = b + -2. Solve 0*u - u = h for u.
0
Let y(q) be the third derivative of q**5/60 + q**4/24 + 2*q**3/3 + q**2. Let x be y(0). Solve x*d - 2 = -22 for d.
-5
Let z(d) = -d**3 - 11*d**2 - 10*d + 9. Let w be z(-10). Let x(l) = l**3 - 10*l**2 + 8*l + 11. Let c be x(w). Solve -c*q + 12 = -5*q for q.
-4
Suppose -25 = -4*c - 5*w + 6, -5*w + 7 = -2*c. Solve 2*r + 2*r = c for r.
1
Let i(c) = -c**2 + 5*c + 2. Let b be i(3). Solve 2*u - 6*u + b = 0 for u.
2
Suppose 2*m = 3*o - 3 - 1, 4*m + 2*o = 8. Let z be -2 + 2 + m + -1. Suppose z = -3*f + f + 4. Solve 0 = 2*x - 8 - f for x.
5
Let r be (-32)/20*(-5)/1. Let p be r/(-10)*(-15)/(-2). Let q be (8/p)/(4/(-6)). Solve q*n - 12 = -n for n.
4
Let b(w) = 3*w**2. Let c be b(1). Solve 5 = 2*g + c*g for g.
1
Let n(p) = -9*p**2 + 0 - 1 + 6*p**2 - p**3 + 7*p**2 - 2*p. Let a be n(3). Solve 0 = -k + 2 + a for k.
4
Let x be (1 + -2 + 18)*1. Suppose b = -t + 1, 0*t = -2*t + b + x. Let v be ((-4)/3)/((-2)/3). Solve -2*l = -v + t for l.
-2
Let u(y) = y + 11. Let x be u(-9). Solve 14 - x = 4*h for h.
3
Let f = 51 + -26. Suppose 0 = 2*w + w - 36. Let d be (-14)/(-3) - 8/w. Solve -d*c - f = -9*c for c.
5
Let z(k) = 2*k. Let n be z(1). Let h = 66 - 34. Suppose -3*v = v - h. Solve 0*g = n*g + v for g.
-4
Let t be 6/(-21) + (-288)/(-28). Let y(a) = -a + 14. Let z be y(t). Solve -4*q - 16 - z = 0 for q.
-5
Let l be ((-174)/24)/(3/(-12)). Solve 4*w - 9 = -l for w.
-5
Suppose -3 = -0*z + 2*z + 3*a, -3*z - 5*a - 5 = 0. Let o(g) = -4*g - 2. Let w be o(-1). Solve z = -s - w - 0 for s.
-2
Let k(q) = q**3 - 4*q**2 - q + 3. Let o be k(4). Let u = o + 4. Suppose 0 = -3*w + 2*w. Solve w*a - 3*a = u for a.
-1
Suppose 10 = 2*j, -4*g - 27 = -5*j - 10. Solve 23 = 5*r - g for r.
5
Let b(k) = 2*k**2 - 17*k + 14. Let r(u) = u**2 - 9*u + 7. Let a(o) = 3*b(o) - 5*r(o). Let m = -6 - -12. Let t be a(m). Solve -4*x + t*x - 6 = 0 for x.
2
Let q = 162 + -66. Let p = -63 + q. Suppose -3*t + 5*x = 3 - p, -4*t + 26 = -2*x. Solve 2*y = -3*y - t for y.
-1
Suppose 0 = -x - 3*u + 21 - 4, -5 = -5*x + u. Let c be (-2)/4*0/(-6). Solve 0 = -o - c*o + x for o.
2
Let q(c) = -c**2 - c + 5. Let p be q(0). Suppose 5*w - 10 = p. Let l be -2 - (-4 - -1) - -2. Solve w*s + l = 18 for s.
5
Let i be 2/(-3)*30/(-4). Solve -3 = i*g - 23 for g.
4
Let z(q) = 4*q - 2. Let r(l) = l**2 + 3*l + 4. Let j be r(-3). Suppose 4*h - 16 = -j. Let v be z(h). Solve 0 = 2*n + v for n.
-5
Suppose 0 = 4*w - 21 + 5. Let t = -20 + 20. Solve t*s + w = -s for s.
-4
Suppose 0 = -r + 3*n + 17, 5*r - 29 + 4 = 3*n. Let j be -1 + r/((-2)/(-7)). Let h(q) = 5*q - 27. Let t be h(6). Solve -j - t = -3*p for p.
3
Suppose -3*l + 30 = 2*l. Let x(n) = -n**2 - n - 2*n - 2 + 9*n + n. Let k be x(l). Solve -k*q + 16 = -4 for q.
5
Suppose -y = -5*n - 12, -3*y - 4*n + 0*n - 2 = 0. Solve 1 = -3*q + y*q for q.
-1
Let z(a) = a**2 - 4*a - 3. Let x be z(5). Suppose 2*s - 24 = -2*s. Let o be (-1)/(-4) - s/24. Solve o = -3*v + 4*v - x for v.
2
Let b(n) = -3*n - 5. Let d be (-22)/8 + (-6)/24. Let i be b(d). Solve 0*w = 4*w + i for w.
-1
Suppose 2*h + 5 = -3. Let s be (2/(-6))/(h/60). Solve -n = 4*n + s for n.
-1
Let h be (-36