 for z.
-3
Let p(g) = 2*g - 3*g - g**3 - 3 - 2*g**2 + 3*g. Let t be p(-3). Solve t - 2 = -r for r.
2
Let v be (-184)/(-20) + (-6)/30. Solve 4*g - v = 11 for g.
5
Let w(t) be the third derivative of t**5/30 - t**4/24 + 2*t**2. Let c be w(-1). Suppose b - c*l = -11, -l = b - 9 - 0. Solve -b*f - 13 = 7 for f.
-5
Let g be (-4)/((-7)/(-3) + -3). Suppose 24 = d + 4*q, -4*d - 2*q + 46 = g. Suppose -v + 1 = -7. Solve d + v = -4*p for p.
-4
Suppose 0 = v - 8 - 12. Suppose 5*x - 20 = v. Solve -6*w = -2*w - x for w.
2
Let s(t) = -t**2 + 7*t + 13. Let l be s(8). Solve -l*f - 16 = -f for f.
-4
Let w(c) be the second derivative of c**6/360 - 3*c**5/40 + c**4/12 - 3*c. Let g(a) be the third derivative of w(a). Let f be g(6). Solve -2 = m + f for m.
-5
Let y(w) be the second derivative of -1/6*w**3 + w**2 - 1/20*w**5 - 2*w + 0 - 1/6*w**4. Let j be y(-3). Solve -3*h - j = 1 for h.
-5
Let d = 6 + -1. Suppose 0*k + 15 = d*k. Solve k = -v - 2 for v.
-5
Let s(z) = 2*z - 4 - 5*z + 3. Let a be s(-1). Suppose h - 15 = -5*p, -3*h + 4*p + 9 = 21. Solve a*d - 3*d = h for d.
0
Suppose -c - 3 = -2*k, -5*k + 11 = -2*c + 3. Solve -k*o = -3*o - 2 for o.
-2
Let c be 42/(-12)*(-24)/21. Solve 0 = -5*g - 1 - c for g.
-1
Suppose -3 = 3*j - 2*j, -5*j - 12 = r. Solve -2*u + r = 5 for u.
-1
Let g be (-8)/(-44) - (-27)/33. Let u = g + 9. Solve 5*r - u = 10 for r.
4
Suppose 3*w - 7*w + 16 = -4*n, -n - 4 = 0. Solve 3*j = -w*j + 3 for j.
1
Let z(f) = f**3 + 3*f**2 - 5*f - 4. Let w be (-9)/6*8/3. Let g be z(w). Let u be 27/45*(10 + g). Solve 3*t - 3 = u*t for t.
-1
Suppose 0 = -m + 4. Suppose -2*z + 3*z = n + m, z - 7 = 4*n. Solve -6 = -z*k - 0*k for k.
2
Let g = 0 + 2. Let z = 19 + -13. Suppose z = j - 1. Solve 15 = -j*v + g*v for v.
-3
Suppose -4*c = -5*k - 31, -c + 13 = -0*c - 3*k. Solve -y = -c + 1 for y.
3
Let n(s) = -2*s - 2. Let g be n(-3). Solve -g = 2*j - 0*j for j.
-2
Suppose -x = x + 8, -8 = -3*w + 2*x. Solve 2*h - 2 = -w for h.
1
Let f be -1 + (-5)/(5/(-3)). Solve 0*d - f*d = 0 for d.
0
Let f be 3 - (2 - 2/(-2)). Solve f = -4*z - 6 - 2 for z.
-2
Let y = -14 + 16. Solve -p - y*p - 3 = 0 for p.
-1
Let s be (-6)/9 - 8/(-3). Suppose 0 = s*n - 3 - 5. Suppose x - 4*x + 8 = n*t, 3*t + 11 = 2*x. Solve -4*j + x + 4 = 0 for j.
2
Suppose -r - 2*r = 0. Suppose t - 6 + 19 = r. Let x = 19 + t. Solve v = x*v - 10 for v.
2
Let k = 7 - 3. Suppose k*j - 6 - 2 = 0. Suppose j*i - 75 = -3*i. Solve -3*o + 0*o = i for o.
-5
Suppose -35*g = -36*g + 8. Solve 0 = -g*x + 3*x - 15 for x.
-3
Let v be 4/14 - 2/7. Solve 2*j + v = -4 for j.
-2
Let z(w) = -2*w + 5. Let o be z(-4). Let b = 2 + o. Suppose 0 = -5*h - 3*n + 19 - 3, 5*h + n - 12 = 0. Solve h*j + b = -j for j.
-5
Suppose -5*h = -4*s - 96 + 13, -4*h = -5*s - 70. Suppose -4 - h = -2*z + 3*d, d = -2*z - 1. Solve -4*y + 2 + z = 0 for y.
1
Let k(l) = l**2 - 7*l - 8. Let o be k(8). Solve -5*r = -o*r + 25 for r.
-5
Let x(n) = n**3 - 3*n**2 + 4*n - 4. Let p be x(2). Solve p = s + 1 for s.
-1
Suppose 0 = 5*w + 4*f - 19, 4*w - 2*f - 3 = 7. Suppose n + 2*d + 10 = 2, 0 = 4*n + d - w. Let x = -105 + 114. Solve -5*r - x = -n*r for r.
-3
Suppose 11 = 6*q - 13. Solve 3*g = q*g for g.
0
Let v = 16 + 15. Suppose -c - c + 10 = 0, -y + v = 5*c. Solve -3*p - 3 = -y*p for p.
1
Suppose -3*q + 12 = q. Solve q = a + 4 for a.
-1
Suppose 11 = -i + 37. Let s be 178/i - (-4)/26. Let o = 4 - 2. Solve s*f = o*f for f.
0
Suppose -3*s - 53 = -4*f, -4*f - 6*s = -2*s - 88. Let n = f - 15. Solve -2*p + 8 + n = 0 for p.
5
Suppose 0*v - 4*v = -84. Suppose 0 = v*b - 18*b - 6. Solve -5*t - b = -3*t for t.
-1
Suppose -a + 9 + 7 = 0. Let k = a - 4. Let x be ((-4)/(-3))/(4/k). Solve -x*d + 6 = -d for d.
2
Let s = 18 - 28. Let c = -6 - s. Solve -24 = c*b - 4 for b.
-5
Let x(g) be the third derivative of g**5/40 - 3*g**4/8 + g**3/2 + 3*g**2. Let q(z) be the first derivative of x(z). Let h be q(7). Solve 0 = p + 3*p + h for p.
-3
Let t(i) = -i - 5. Let m be t(-10). Let r = -4 + 7. Suppose -r = -m*l + 2. Solve -2*w - l = -w for w.
-1
Suppose a - 17 = -0*m - 3*m, 0 = -m - 2*a + 4. Let r(u) = -2*u - 5. Let y be r(-4). Let i = m - y. Solve 2*h = i*h - 2 for h.
2
Let m = -2 - -5. Suppose 3*a + a = 12. Solve -6 = -a*r + m for r.
3
Let d = 2 + 1. Suppose 3*w = -3*x - 6, -x + d*w + 18 = 2*x. Solve -x = p - 2*p for p.
2
Let n(o) = o**2 - 4*o + 4. Let p be n(4). Suppose -4*m = -2 - 18. Let g be (-70)/(-5)*6/4. Solve g = -m*x - p for x.
-5
Suppose y - 26 = -0*y. Suppose z + 3*z - 3 = p, -3*z + y = 4*p. Solve -3*b = -p*b for b.
0
Let f(y) = -y**3 - 16*y**2 + 15*y - 19. Let v be f(-17). Solve 0*k + v = 5*k for k.
3
Let z = 4 - 1. Suppose 0 = -c - c + 8. Solve 1 = -z*j + c for j.
1
Suppose -4*s = -s. Solve 4*n - 2 + 6 = s for n.
-1
Let w = 3 + -2. Let u(v) = 3*v**2 - v + 1. Suppose -5 = -4*x + r - 2*r, x - 3 = -2*r. Let m be u(x). Solve w = 2*o - m for o.
2
Suppose -4*v + 28 = 4. Let f be -2 - 0 - 12/3. Let h = v + f. Solve h = -3*d - 1 - 5 for d.
-2
Let u be -6*(-2)/8*(-16)/(-6). Solve -5*l = -u*l for l.
0
Let c(s) be the second derivative of -s**4/12 - s**3 - 3*s**2 - s. Let h = 0 + -4. Let r be c(h). Solve -3*n = -r*n for n.
0
Let f = -4 - 1. Let k(n) = n**3 + 4*n**2 - 5*n - 1. Let l be k(-5). Let v be 6*l/2 - f. Solve 0*h = -v*h - 10 for h.
-5
Suppose 0*r + 3*r = 0. Suppose 0 = -5*m - 25, 4*s - 60 = s + 3*m. Solve r*t - 5*t = s for t.
-3
Let p be -4*3/(-6)*1. Solve -p*j - 8 = 2*j for j.
-2
Suppose -w = -5*h + 4 + 11, 5*w - 9 = 4*h. Suppose f - h = -2*b + 4, 21 = 3*b - 3*f. Suppose 2*g - 15 = 2*t - g, -5*t = -b*g + 25. Solve t = 2*o - o for o.
0
Let c(n) = -n + 7. Let y be c(5). Let o be y/6 - (-1)/(-3). Solve o = -2*a - a for a.
0
Suppose -9 = 4*y + 3. Let h be (y + 1)*40/(-16). Solve h*v = 32 - 7 for v.
5
Let m(a) = -a**3 - 9*a**2 - 8*a + 8. Let w be m(-8). Suppose n = -2*j + w, 4*n = 3*j - 0*j - 23. Let g = 4 + n. Solve y = -g*y + 15 for y.
5
Let v(x) = x**3 + 3*x**2 + 2*x + 3. Let l be v(-2). Solve 3*o = 2*o + l for o.
3
Let n be 18 + -3 + 0/1. Suppose c - 8*c + 14 = 0. Solve -n = -j - c*j for j.
5
Let n(u) = -5*u + 8. Let b(j) be the second derivative of j**3 - 9*j**2/2 + j. Let v(g) = 4*b(g) + 5*n(g). Let p be v(4). Solve p*i = 3*i + 3 for i.
-1
Suppose 5*p - 100 = -5*u, 5*p + 3*u - 110 = -0*u. Suppose 3*j = -h + 2*h - p, -3*j + 125 = 5*h. Solve -4*y = y + h for y.
-5
Let u = -96 + 178. Suppose l + 4 = 0, -l + 14 + u = 5*h. Solve -h = -4*j - j for j.
4
Suppose -r - q = -4*q + 12, -q + 5 = 0. Solve 2*z - r = z for z.
3
Suppose -50*g + 47*g = 0. Solve g = b - 4 for b.
4
Let d(s) = 4*s - 33. Let v be d(9). Solve 0 = -x - 5 + v for x.
-2
Suppose -2*w = -2*j + 2, j - w = 3*w + 4. Suppose j = 2*a - 12 - 12. Suppose 0 = -4*v - 5*u + a, -4*v - 4*u = -13 + 1. Solve 0 = -2*c + v*c for c.
0
Let u be -1 + 2/(-2 - -3). Let q = 18 - u. Let f = q + -9. Solve f = -4*b + 2*b for b.
-4
Let x(m) be the first derivative of -3*m**4 + m**2 + m - 3. Let c be x(-1). Suppose -4*k = -c - 21. Solve -2*p = -6*p - k for p.
-2
Let o(w) = 3*w - 18. Let p be o(7). Solve -p*x + 10 = -x for x.
5
Suppose -r + t - 6*t = -3, 6 = 2*r - 2*t. Let c be 2/6*(-3 + r). Solve c = 5*k - 0 - 5 for k.
1
Suppose 0 = y - 2*m + 3*m - 8, -5*m = 3*y - 32. Suppose 0 = -5*q + 5*u + 30, -5*q - 5*u = -y*q + 6. Solve -q = -3*h + 8 for h.
4
Let c be (34/(-3))/((-4)/(-6)). Let a = c - -29. Let j be (-5 + 0 + 1)/(-2). Solve 5*t - j*t = -a for t.
-4
Let z(l) = -l**2 - 8*l - 4. Let x be z(-6). Let i = -10 - -13. Solve q - x = i*q for q.
-4
Suppose 0 = 4*v - 5 - 11. Suppose 0 = -5*l + v*k - 6, 2*l - k - 2 = -l. Solve -l = 4*j - 6 for j.
1
Let t(r) = -r**3 - 3*r**2 - 2*r - 1. Let p be t(-2). Let a be (-22)/8 - p/(-4). Let s be 1*(6 - (-1 - a)). Solve 5*b = s*b for b.
0
Suppose t - 2*r + 1 = 0, 4*t - 4*r - 4 = -0*r. Solve 0 = t*z - z - 2 for z.
1
Let w(y) = y**3 - 20*y**2 + 2*y - 30. Let l be w(20). Solve 0 = -l*c + 9*c for c.
0
Let s(i) = i**3 + 3*i**2 + 2. Let q be s(-3). Suppose q = t - 1. Solve 16 = -p - t*p for p.
-4
Suppose -4*m + 0 + 20 = 0. Solve 6 + 9 = -m*i for i.
-3
Let y = 13 - -27. Suppose x + u = 1, -2*u + 0*u = -5*x + y. Suppose -x + 2 = -4*w. Solve w = 2*v + 5 for v.
-2
Let o(u) = 8*u - 1. Let q be o(-1). Let t = q + 14. Solve -t*m + 4*m + 5 = 0 for m.
5
Let r be 24/30 + 1/5. Solve -l - r = 2 for l.
-3
Let m(z) = 5*z - 4. Let d be m(3). Solv