= 5*z - 2 + c. Let r be t(z). Solve -a = 2*a + r for a.
-1
Suppose -8*v - 952 = -4*v. Let f be (-2)/(-3) - v/21. Solve 3*w = -0*w - f for w.
-4
Let z(m) = m**2 - 17*m + 24. Let n be z(16). Solve n = -8*w + 4*w for w.
-2
Let l(d) = d**3 + d**2 - 3*d - 2. Let x be l(-2). Suppose x = 2*y - 12 - 4. Suppose -y*o = -3*o - 20. Solve 4*j - o = 4 for j.
2
Let s(m) = 2*m + 19. Let p be s(-9). Solve 0*r + p = -r for r.
-1
Let z be (2/(-5))/((-3)/(-15)). Let j be (0 - z) + 0/(-4). Solve -3*i = -j - 7 for i.
3
Let d(u) = -7*u**2 + 14*u - 19. Let o(b) = -15*b**2 + 28*b - 39. Let j(h) = 13*d(h) - 6*o(h). Let p be j(13). Solve -4*y + 12 = -p*y for y.
3
Let m be ((-19)/(-3))/(13/39). Let z = m + -17. Solve 5 = j - z*j for j.
-5
Let y be 2 - 0/(2/(-2)). Suppose z = -0*f + 2*f - 8, 0 = -4*f - 5*z + 16. Solve -f*q = -y*q - 6 for q.
3
Let u(x) = -3*x**3 - x**2 - 2*x + 2. Let h(v) = 2*v**3 + v - 1. Let p(m) = 4*h(m) + 3*u(m). Let k be p(-2). Solve -6*o - 12 = -k*o for o.
-3
Let h(x) = x**3 - x**2 + 4*x + 1. Let o be h(2). Suppose -d = 4*d. Solve d = 5*j - o + 3 for j.
2
Suppose 2*i - i = 0. Suppose i*u = -u. Solve -5*m - 20 + u = 0 for m.
-4
Let b(c) be the third derivative of -c**4/24 - 7*c**3/6 + 9*c**2. Let j be b(-7). Solve -t - 2*t - 15 = j for t.
-5
Let z be 1 + 8/(-2) + 2. Let v = 3 - z. Suppose -3*c - v + 13 = 0. Solve c*o - 6 = o for o.
3
Suppose -2*p = -2*z + 6*z, -2*p - 3*z + 1 = 0. Let c = p + 0. Suppose -c*y = 3*y. Solve y*w - 2*w + 4 = 0 for w.
2
Suppose -3*j - j = -16. Solve 0 = -2*q + j for q.
2
Suppose 14 = -a + 2*x, -3*a + 2 = -6*a - 4*x. Let h = -7 + 1. Let s = a - h. Solve t - 2*t = s for t.
0
Let c = -6 - -5. Let j be (0 + -1 + -1)*c. Solve 3*i + 4 = j*i for i.
-4
Suppose -4*s + 9*s - 40 = 0. Solve 2*o = -0*o + s for o.
4
Let x(u) = 3*u + 4*u**3 - 7*u**2 + 2*u - 5*u**3 - 6. Let i be x(-8). Suppose -4*q = -3*q + 3*k + 6, 4*q - 2*k = 18. Solve 5*p + i = q for p.
-3
Let c(t) = -3*t + 1. Let r(g) = 2*g - 1. Let k(o) = 3*c(o) + 4*r(o). Let u = -1 + -3. Let x be k(u). Solve -x*q + 6*q - 12 = 0 for q.
4
Let f(q) = -q**3 + q**2 + 2. Let u be f(0). Suppose -11 = -5*y + 3*k, 5*k = 4*y + 4*k - 13. Solve -3*s + y + u = 0 for s.
2
Suppose s = -3*s. Suppose 4*l - 2*k - 6 = s, 5*k + 0 + 15 = l. Let m = l + 3. Solve 0 = -q + m for q.
3
Let y(h) = 4*h + 37. Let l be y(-8). Solve -2*n = -3*n - l for n.
-5
Suppose 5*f = -3*w + 93, -5*w = 2*f - 2*w - 39. Suppose -2*h + 3*n = 1, -3*h - 4*n = -2*n - f. Let r be 85/15 + 4/(-6). Solve r*t = 3*t + h for t.
2
Suppose d = 6*d. Suppose -2*v + d*v + 10 = 0. Solve -2*z = -v - 5 for z.
5
Suppose 58*s - 53*s - 35 = 0. Solve 3*u = s*u + 8 for u.
-2
Let y = 9 - 5. Let d = 51 - 31. Suppose -4*s + r = -s - d, 3*r + 40 = 5*s. Solve -s = y*u - 13 for u.
2
Let a be 1/((21/(-6))/(-7)). Solve 0*g = -a*g - 2 for g.
-1
Suppose -y - 3*r = -17, -r - 3 = y - 10. Let b be -4 + y - (-90)/5. Solve -b = -2*i - 6 for i.
5
Suppose -5*y = -3*x - 41, y + 4*x - 3 = 2*x. Let q = -4 + y. Suppose -5*h + 8 + 2 = 0. Solve h*t = q*t - 5 for t.
5
Suppose 0 = p + 3*p. Solve p = 2*r - 7 + 1 for r.
3
Suppose 0 = z + 3*s - 28, -2*z - 2*s + 23 + 13 = 0. Solve -1 + z = 4*v for v.
3
Let i = 77 + -73. Let k be (2 - -2)*(-1)/(-2). Solve 0*x - k*x - i = 0 for x.
-2
Suppose 5*c + 2*l - 1 = 5*l, -2*l = -c + 3. Let v be (2 + c)*7 + -3. Solve -v*w + 15 = w for w.
3
Suppose 0 + 1 = z + p, p = 4*z - 9. Solve 0*g = z*g for g.
0
Suppose 0 = 4*i + 2*v + 2, -v + 0 + 5 = 5*i. Suppose -i*h + 1 = -7. Suppose 2*d + h*k + 4 = -k, 5*k = 5*d - 25. Solve -3*n + 0*n - d = 0 for n.
-1
Suppose -4*i - o + 1 = 0, 2 + 1 = -4*i + 3*o. Solve q + 1 - 4 = i for q.
3
Let l = 31 + -11. Suppose -22 = -30*d + 38. Solve 7*k = d*k + l for k.
4
Let s be (-39)/(-9) - (-2)/(-6). Suppose h - 17 - s = 0. Let m = 6 - 2. Solve h = 5*c - m for c.
5
Let m(z) = z**2 - 13*z + 39. Let o be m(9). Solve -o*f = -0*f for f.
0
Let r be -3 + 6 + (3 - (-3)/(-1)). Solve -r*m = m - 16 for m.
4
Suppose 0 = 3*s - 4*n + 14, 3*s + 10 = 2*s + 4*n. Let w be (2 - 0/s)*6. Solve w = -0*t + 4*t for t.
3
Let q be 185/(-35) + 4/14. Let c(b) = b**2 + 2*b - 8. Let u be c(q). Solve 2*g + 3 = -u for g.
-5
Let t be 3 + (-1)/(-2 + 3). Let b = -6 - -17. Let x = -5 + b. Solve t*u + 2 = -x for u.
-4
Let a be 2/(-9) - (-60)/27. Suppose a*m - 5 = m. Solve -3*x - 8 = -m*x for x.
4
Let r = 22 - 12. Solve -j + r = 4*j for j.
2
Let s be (14 - 2)*2/3. Let d = 5 - -13. Solve 5*l = -s + d for l.
2
Suppose 0*f = f - 10. Suppose f = 4*o + 2. Solve -o = -2*l + 2 for l.
2
Let d(j) = 4*j - 28. Let m be d(12). Solve 5*w + 0*w = -m for w.
-4
Let t(k) = -2*k + 1. Let p be t(-1). Suppose 4*h + p*i - 9 = 0, -h - i + 3 = -2*h. Solve h*x = -x + 2 for x.
2
Let w = 39 + -32. Solve -3*l = 5 + w for l.
-4
Let n be (-2)/(-1 + (-9)/(-6)). Let c = n + 1. Let v = 4 + c. Solve -2 = -u + v for u.
3
Let u be 6/(-9) - (-8)/3. Suppose 0*i = 3*i + 4*r - 19, 3*r - 30 = -4*i. Solve -u*c = c - i for c.
3
Let y be 2/3 + 4/3. Let f(p) = 6*p**2 - p - 1. Let j be f(-1). Let d be (-2)/j + 1/3. Solve d = -y*b - b for b.
0
Suppose 0*h = -h - 16. Let j = -10 - h. Solve -3*x - 3 = j for x.
-3
Let v be -2 + (-5)/((-5)/2). Let l(s) = -s**2 + 5*s - 4. Let z be l(4). Solve -3*w + z + 12 = v for w.
4
Let l = 4 + 1. Suppose -l*i - 6 = -21. Solve -x - 2 = -i*x for x.
1
Let r = 24 + -24. Suppose r = 2*p - 8. Solve -4 = p*c + 16 for c.
-5
Let c be 6 - (1 - (3 - 3)). Let g(d) be the first derivative of d**3/3 - 3*d**2/2 - 5*d - 3. Let o be g(c). Solve 2*i + o = i for i.
-5
Suppose -q - l = -2*l + 24, 3*q + 4*l = -37. Let j = q - -39. Solve j = -2*h + 6*h for h.
5
Suppose -2 = 2*o, -o = 2*q - 0*o - 1. Suppose 4*h = 3*h. Solve 0 = -s + q - h for s.
1
Suppose -19*s = -13*s - 60. Solve 3*x = -s + 4 for x.
-2
Let c = -42 - -47. Solve -13 + 3 = -c*i for i.
2
Let n = -26 + 34. Solve n*s - 4*s = 8 for s.
2
Suppose -2*y = 3*d - 6, 0 = -y - 2*d - d + 6. Suppose -12 = 2*c - 7*c + 2*o, 4*c + 3*o - 5 = 0. Solve y = 3*w - c - 10 for w.
4
Let b(v) = -v**3 - 11*v**2. Suppose 2*a - 13 = 3*h + 22, -4*h - a - 43 = 0. Let y be b(h). Solve 16 + y = 4*t for t.
4
Suppose -6 = -x + 3. Suppose -3*u + 22 = 4*q, 5*u + 3*q = -x + 31. Solve u*a = 7 - 1 for a.
3
Suppose u + 1 = 2*l - 1, 2 = l - u. Suppose 4*m + 0 - 8 = l. Solve -6 = -0*g - m*g for g.
3
Let w = -5 + 7. Suppose -3*c + 10 + 26 = 0. Suppose 3 = 3*y - c. Solve -w*o + y = -3 for o.
4
Let f be 2/(-6) + 26/6. Suppose -k = -f + 2. Suppose -k*a - 6 = -5*a. Solve -a = z - 1 for z.
-1
Suppose 0*q - 6 = 3*w - 3*q, -w - 6 = -3*q. Let b be 2/(-12) + (-255)/(-18). Suppose 6 = 3*r - 0*r - 3*m, -3*r + b = 5*m. Solve x + w*x = r for x.
3
Let x be -5 + 3 - (-10)/2. Suppose -12 = p - 4*k, 0 = -0*p + 3*p + x*k - 24. Solve v + 25 = -p*v for v.
-5
Suppose 5*s - 34 = -k - 2*k, -5*k + 3*s = 0. Suppose k*a = -0*a. Let y = 33 + -28. Solve 0 = -a*o - o + y for o.
5
Let g(w) = w**3 + 13*w**2 - w - 10. Suppose 93 = -5*f + 28. Let p be g(f). Solve 0 = -q - p*q - 12 for q.
-3
Let u = -5 - -7. Suppose u*n + c - 35 = 0, -n - n - 4*c = -50. Suppose 0 = 4*o - o - n. Solve 6 = -o*a - 4 for a.
-2
Let j = 47 + -41. Solve -2 + j = -s for s.
-4
Suppose h - 8 = 2. Solve -4*i = -30 + h for i.
5
Let z = 8 + -6. Suppose 0 = z*x - c - 26, -3*x = c - 2*c - 38. Solve -3*y = -0*y - x for y.
4
Suppose 12*c - 7*c = -35. Let z = c + 7. Solve z = 2*h + h for h.
0
Suppose 2*j + 36 = 6*j. Solve 4*a = a - j for a.
-3
Let u = -160 + 164. Let q = 0 - 0. Solve q*j = u*j for j.
0
Let b(u) = -u**2 + 2*u + 4. Let v be b(3). Solve -3*o - v = -4 for o.
1
Let r(s) be the second derivative of s**4/12 - s**3/2 + s**2 + s. Let m be r(3). Let g = 0 + m. Solve -c = g*c - 15 for c.
5
Let y = -15 - -21. Let k be 0 + (-3 - 0) + y. Solve 2*z - 5 = k*z for z.
-5
Let i = -2 + 5. Let k be 4 + -1 - 0/i. Suppose 5*l - 94 = h, k*l + 23 = 3*h + 77. Solve l = 5*g + 4 for g.
3
Suppose -33 = -3*d + 42. Let p = 25 - d. Solve 4 = -p*i + 2*i for i.
2
Let c(v) = -v - 1. Let k be c(-5). Solve k*s = -s + 5 for s.
1
Suppose 2*w + 2 = -0*w, -2*w = -5*r + 7. Suppose -b + r + 3 = 0. Suppose 3*i - 30 = -3*c, -c - i + 15 = c. Solve -c*x + b = -x for x.
1
Let g = -13 - -8. Let r be 38/6 + 12/18. Let f = r + g. Solve -f*u = u + 15 for u.
-5
Suppose 20 = 5*k, -3*l - 2*k = -16 - 7. Solve -l*t - 12 = -t for t.
-3
Suppose -5 = -2*r + 1. Solve -5 = 2*u - 