1. Solve w = y*s + 2*s for s.
0
Let b(y) = 5*y**2 - y + 1. Let g be b(1). Let v(a) = a**2 - a + 1. Let q = 4 - 3. Let s be v(q). Solve -g + s = -2*k for k.
2
Suppose -q - 4 = -2*q + 2*j, 0 = 4*q + 5*j - 16. Let k(h) = -h**3 + 3*h**2 + 4*h + 3. Let z be k(4). Solve -z = t - q*t for t.
1
Let c(m) = -2*m + 35. Let s be c(14). Solve 0 = j - 3 + s for j.
-4
Let p be 33/66 + ((-54)/4)/(-3). Solve 0 = -p*b - 3 - 12 for b.
-3
Let q(k) = 6*k + 7. Let r(s) = 3*s + 4. Let v(y) = 3*q(y) - 5*r(y). Let b be v(1). Let o be 1*4/10*10. Solve b*z = o + 4 for z.
2
Suppose 0 = -2*b - 6 + 26. Suppose -3*v - b = 2*v. Let a = v + 6. Solve -a*k = -k for k.
0
Suppose -1 + 4 = h. Solve 15 = -0*n + h*n for n.
5
Let i be 33 - (0 + (0 - 2)). Suppose -i = -3*y + 10. Suppose -3*k = -y - 6. Solve k = 2*r + 3 for r.
2
Let s(n) be the first derivative of 2*n**3/3 + 3*n**2/2 - 4*n - 5. Let x be s(-3). Solve 2*f + x = 3*f for f.
5
Suppose 0 = -3*h + 3. Solve -5*i = -11 + h for i.
2
Let v(y) = y**2 - y + 1. Let p be v(0). Let a = 5 + p. Suppose -24 = -5*u - 2*b, -3*u + 5*b = u - a. Solve -11 = 5*i + u for i.
-3
Let b be ((-4)/(-8))/((-1)/(-12)). Let x = b + -2. Let t = 1 + x. Solve t*l + 5 = 4*l for l.
-5
Let o = 31 - 23. Let g be (o/8)/(-1 + 2). Solve 0 = -4*a + 3 + g for a.
1
Suppose -18 = -3*b + 3*m, -5*b - 4*m = -m + 2. Solve b*p + 0*p + 4 = 0 for p.
-2
Suppose 0*l = 3*y - 2*l - 27, -l = -3*y + 30. Solve 1 = -2*w + y for w.
5
Suppose 2*u + 8 = 2*b, b - 3*u - 2*u = 16. Let k(a) = 13*a + 1. Let x be k(b). Let i be (3 - 1)/(4/x). Solve 3*o - i*o = -8 for o.
2
Let c be (24/(-8))/(0 + -1). Solve -1 = c*o - 13 for o.
4
Let d = -36 - -39. Suppose -3*k - k + 4 = 0. Solve -z + k - d = 0 for z.
-2
Let f(q) = 5*q**2 - q + 6. Suppose -3*t - 4*i = 5, -7 + 2 = -5*t - 4*i. Let x be f(t). Let h be 2/5 + x/35. Solve -h*n + 2*n - 8 = 0 for n.
-4
Suppose -t + 0*t - 5 = 0. Let f = 10 + t. Let p be 1 + 0/(-1) + -1. Solve p*r = f*r + 20 for r.
-4
Suppose g + 32 = 2*k - 3*g, -5*k - g + 91 = 0. Let p be k + 2 + 0/1. Solve -2*t - 3*t = -p for t.
4
Let o be -4 + 3 + 3 + 0. Let n be (o - 0) + 6 + -3. Solve p - 4 + n = 0 for p.
-1
Let p = -26 + 30. Solve -c = p*c for c.
0
Let z = 20 + -8. Suppose 3*c = 6 + 6, -2*l - c = -z. Solve l*y = 3*y for y.
0
Suppose 0 = -3*g + 7*g + 4*k - 20, 2*k - 10 = g. Solve g = -x - 1 - 0 for x.
-1
Let i be (25 + -8)/(2/2). Solve i = -5*q - 3 for q.
-4
Let x(g) = g - 2. Suppose -4*z - z + 5*b = 5, 5*z - 3*b = 5. Let a be x(z). Solve -3*u = a*u - 25 for u.
5
Suppose 0 = 2*m + p, 3*p - 7*p = 5*m - 3. Let u be 6*2/4 - m. Solve -20 = h + u*h for h.
-4
Let b(v) = v**3 + 8*v**2 + 6*v - 6. Let z(q) = -2*q - 7. Let t be z(-5). Let d(o) = o**2 - 5*o - 1. Let j be d(t). Let n be b(j). Solve 24 + n = -5*y for y.
-5
Suppose 2*o + 7 = -m, -3*m - 2*o + 4 - 5 = 0. Suppose m*b = -7 - 5. Let h = b + 4. Solve -4 + h = 4*s for s.
-1
Suppose -3*k = 19 - 37. Solve -a + k = a for a.
3
Let l = 16 - 27. Let j = -6 - l. Suppose 20 = j*n + 5*t, -n = 4*n - 3*t - 36. Solve 0*p = -3*p - n for p.
-2
Let y = 22 + -21. Solve -5*x - y = 4 for x.
-1
Let q(i) = i**3 + 8*i**2 + 4*i - 8. Let f = -11 - -5. Let r be q(f). Suppose p = -p + r. Solve -u + p = -6*u for u.
-4
Suppose 4*a = -a - 5*t - 140, 0 = -5*t - 10. Let u = -37 - a. Let v = u - -19. Solve 3*c - v = 7 for c.
5
Suppose -67 = -5*w + 5*d + 38, 10 = -2*d. Solve -7*q - w = -3*q for q.
-4
Let x = 18 - 40. Let y be 1/3 - x/6. Solve y*i = 2*i - 6 for i.
-3
Let n be 18/30 - (-14)/10. Solve 5 - 1 = -n*w for w.
-2
Let o(p) = p - 6. Let i be o(4). Let k(r) = -r**2 - 2*r + 2. Let q be k(i). Suppose 5*m - 35 + 5 = 0. Solve m = q*z + z for z.
2
Suppose 0 = -0*c + 2*c - 50. Suppose 0 = 3*j - 7*j - 4*s - 56, j + 5*s + 30 = 0. Let w = j + c. Solve -p - 4*p = -w for p.
3
Let u be (-4)/(-30) - 356/(-30). Let a be u/(-18) - (-4)/6. Solve 5*k = -a*k - 10 for k.
-2
Let z(x) = 2*x**3 + x**2. Let v be z(1). Let h be (-19)/(-4) - 4/(-16). Let a be (h - 3)/(1 - -1). Solve a + 11 = -v*o for o.
-4
Suppose -73*r + 70*r + 24 = 0. Solve 1 = 3*z - r for z.
3
Let r(b) = 3*b + 1. Let k be r(1). Suppose -k + 1 = -o. Solve -o*g = -4*g for g.
0
Suppose q - 2*v = -5*v - 4, 0 = 5*q - v - 12. Solve 10 + q = 3*j for j.
4
Let y(m) = -m**3 - 3*m**2 + 7*m - 9. Let v be y(-5). Solve v*z = z - 20 for z.
-4
Let f be (20/35)/(-1)*(-3 - 11). Solve 3*p - 7 - f = 0 for p.
5
Suppose 3*v = 2*v + 3. Let r = 14 + -8. Solve 0 + r = -v*h for h.
-2
Let x(g) = -g**3 + 6*g**2 + g - 2. Let j be x(6). Solve 0 = -4*r + j - 12 for r.
-2
Suppose -4*s = -20, 8 = -m + 3*s - 4. Solve 0 = -m*o - 3 - 0 for o.
-1
Suppose -36 = -7*g - 2*g. Solve g*m = 6*m for m.
0
Suppose 0*g = g - 34. Suppose s + g = 2*s. Suppose -20 = 4*c, 3*m - 4*c + 5 = s. Solve 0 = 2*w + 5 + m for w.
-4
Suppose 5*m + 4*n - 30 = 0, -2*m + 4*n = -4 - 8. Let y be 0 + 3*2/m. Suppose -55 = -5*p + 3*x, 3*p + x = 5*p - 22. Solve p = -5*v + y for v.
-2
Let k = 11 + -9. Solve -k*l + 4 = 2*l for l.
1
Let j(x) = 0*x + 7 + 4*x - 3*x. Let i be j(-3). Solve -i*d - 1 = 15 for d.
-4
Let s(n) = -3*n**2 - 57*n + 3. Let c be s(-19). Solve 0*q = c*q + 9 for q.
-3
Let y be -3 + 5 + (1 - -2). Let z = -5 + y. Solve 2*u - 9 + 1 = z for u.
4
Let t = 4 + -2. Suppose -s + 4*f = -t*s + 16, -2*s = 3*f - 17. Let x = 3 - 2. Solve -s - x = -5*w for w.
1
Suppose 0 = -h - i + 2, 0 = 4*h + 3*i + 4 - 11. Solve 0 = -5*x - h + 21 for x.
4
Let c(x) = x**3 - 9*x**2 - 7*x - 21. Suppose 0*j = 4*j - 40. Let y be c(j). Solve 3*n - y = 6 for n.
5
Let l(z) = z**2 - 5*z + 7. Suppose 4*i + a - 8 = -3*a, -3*i + 5*a + 22 = 0. Let s be l(i). Solve -s*g - 3 = -0*g for g.
-1
Suppose 0*y = 3*y - 15. Solve -7*h = -2*h + y for h.
-1
Let f(t) = -t**3 - 9*t**2 - 7*t + 10. Let r be f(-8). Suppose r*p = c + 22, -3*p = p - c - 42. Solve -4*d - 2 - p = 0 for d.
-3
Let w = -8 - -12. Suppose f = -w*f. Solve f = -3*v + 15 for v.
5
Suppose 62 = 4*w + 2*b, -2*b + 10 = w - 7*b. Solve -4*i = -7*i - w for i.
-5
Let f be 5/(20/24) + (-4)/2. Let o be 4 - (2 + (-6)/3). Suppose -20 = -o*k - 0*k. Solve -r - k = f*r for r.
-1
Suppose -2*j = 4*p - 32, -3*p + 10 = 2*p - 5*j. Let b be (p/9)/((-2)/(-42)). Let k = -2 + b. Solve 3*t - k = -0*t for t.
4
Let j = 53 - 51. Solve -3*i = -j*i + 4 for i.
-4
Let z(s) = 5*s**2 + 8*s + 6. Let d(j) = 9*j**2 + 15*j + 11. Let h(i) = 6*d(i) - 11*z(i). Let f be h(2). Solve 0 = -f*q - q + 1 for q.
1
Let j(u) = -u**2 - 3*u - 1. Let d be j(-2). Solve -5*f = d + 4 for f.
-1
Let d(r) = 7*r - 5. Let a be d(2). Solve -3*m + a = -0 for m.
3
Let a = -42 - -44. Solve 2*c - a = -12 for c.
-5
Suppose -3*x + 1 - 14 = 2*w, 0 = 4*x - 4*w + 4. Let l = -3 - x. Suppose -4 = -l*k - k. Solve k*y - 5*y = -2 for y.
2
Suppose -3*x + 0 + 3 = 0. Let l = -1 + x. Let f = 3 - l. Solve -7*r + f*r + 16 = 0 for r.
4
Let m(q) = -q**2 - 7*q - 7. Let s be m(-5). Let j(b) = 3*b**3 + b - 1. Let a be j(1). Let c be a*s/9*12. Solve 0 = -0*f + 3*f - c for f.
4
Suppose -4*y = -10 + 10. Solve y = -0*x - 4*x - 20 for x.
-5
Suppose 2*m = 2*c + 4 - 0, -4*m = 4*c. Suppose -y = -m - 3. Let r be (9/4)/((-2)/(-8)). Solve -y*d + r = -d for d.
3
Suppose 33 = -2*w + 6*w - 5*c, 5*c = 5*w - 40. Solve -w*b = -3*b - 4 for b.
1
Suppose 3*q + 36 = c + 3*c, 2*q - 36 = -4*c. Let k = -17 - -26. Let v = c - k. Solve 2 = u - v*u for u.
2
Let l be (-66)/(-10) - (-9)/(-15). Solve 0 = -2*h + l - 0 for h.
3
Let f(r) = -r**3 + 3*r**2 - r + 2. Let h be f(2). Suppose j + 0*j = 3*m - 19, 4*m - 28 = 4*j. Let n be (2/(-2))/(m + -7). Solve t - h - n = 0 for t.
5
Let c(j) = 2*j. Let u be c(1). Suppose -9 = -5*d + 1. Suppose u*v - 4*o - 3 = 1, -o = -d. Solve -v*w + 4 = -2*w for w.
1
Suppose 27 = r + 4*r + 3*v, -3*v - 3 = 0. Suppose -n - 5*t = -r*t + 3, -5*n - 2*t = 22. Let a be (-3 + 1)/n*6. Solve 0 = -2*s - s + a for s.
1
Let j(y) = y**2 - 11*y + 9. Let r be j(9). Let a = 11 + r. Solve -3*n - 10 = a for n.
-4
Suppose -4*i = -v + 5*v + 32, 0 = -i + 3*v + 8. Let w be 4/6*(10 + i). Suppose -l = -2*l + w. Solve p - 5 = -l*p for p.
1
Let b be (5/(10/(-4)))/(-2). Let o be (-3)/2*48/(-18). Solve o*f + 9 = b for f.
-2
Let j(v) = v**3 + v**2 - v + 5. Let f be j(0). Suppose -f*c - 4*d = -3, -27 = -2*c - 2*c + 5*d. Solve -p = -c*p - 4 for p.
-2
Let d(c) be the first derivative of -c**4/24 - c**3/6 + 3*c**2/2 + 2. Let q(p) be the second derivative of d(p). Let i be q(-3). 