v for v.
-3
Let z(t) = -t - 4. Let j be z(-8). Let h be 10/(-15)*(-3)/(-1). Let p = j + h. Solve p*i = -2*i for i.
0
Let u(y) = y**2 - 4*y - 1. Suppose 4*q = 4 + 24. Let k be u(q). Solve 4*f = -0*f - k for f.
-5
Let b(l) = -4*l + 3*l - 4 + 3*l. Let z be b(3). Suppose z*k - 4 = -0. Solve -2*j + 0 - k = 0 for j.
-1
Suppose 4*z - 13 = -j, -j - 1 = -z + 1. Solve 2*h = 5*h - z for h.
1
Suppose -c - 8 = -n, 2*c - n - 4 = -18. Let d = 6 + c. Solve d*r + 2*r - 10 = 0 for r.
5
Let n = 1 - -1. Let o(h) = h**2 - 4*h + 3. Let k be o(3). Solve k*i = n*i - 6 for i.
3
Let q(u) be the first derivative of 4*u**3/3 - u**2/2 + u - 4. Let y be q(1). Let n = 5 - 0. Solve y = -n*l - 1 for l.
-1
Let a(n) = n**3 - 5*n**2 - 6*n + 2. Let t be a(6). Solve 8 = 2*h - t for h.
5
Let j(q) = q**3 - 2*q - 6. Let p be j(3). Solve -s = -6*s - p for s.
-3
Suppose 13*j - 22 = 2*j. Solve j*a + 8 = -2*a for a.
-2
Let z(w) = -w**2 - 6*w - 4. Let f be z(-4). Let m be (-112)/(-18) + 10/(-45). Solve -f*k - 22 = -m for k.
-4
Let z(p) be the second derivative of p**4/12 + p**3/3 - 5*p**2/2 + 3*p. Let w be z(-4). Solve -w = r - 0*r for r.
-3
Let q(h) be the first derivative of -h**2/2 + 3*h + 3. Let c be q(-3). Suppose 0 = n + o - c, -2*n + 6*o - o = 16. Solve i - n = 3*i for i.
-1
Let y = 13 + -7. Suppose -y + 0 = -5*w + h, -5*w - h = -14. Solve -1 = -w*m + 1 for m.
1
Suppose q - 15 = -0*q + 4*k, -3*k = -2*q + 15. Solve z - q = 2 for z.
5
Let g(o) = 2*o + 2. Let j be g(1). Solve -v = -j + 2 for v.
2
Let t(o) = 27*o - 2. Let h be t(1). Solve 5*z + 0 = h for z.
5
Suppose -7*y = -3*y - 12. Let v be ((-56)/(-16))/((-1)/(-2)). Let o = v + -6. Solve y*x + o = 4 for x.
1
Suppose -4*y = 5 - 25. Solve g + 12 = y*g for g.
3
Suppose 6*o + 3*a = 2*o + 35, -3*o - 3*a + 30 = 0. Suppose 5*l + 3*j + j - 8 = 0, -3*j = 5*l - 11. Solve -l + o = b for b.
1
Let r be ((-3)/2)/((-6)/8). Suppose -3*w + r = -1. Let f be 9/w - 4/2. Solve 8 = -3*i - f for i.
-5
Let p be (0 + 2)/(3/((-30)/(-5))). Solve -2 = -3*t + p for t.
2
Let k(w) be the third derivative of -w**6/120 + w**5/20 + 5*w**4/24 + w**2. Let f be k(4). Let c be (-8)/(-10)*50/4. Solve -f*i + 10 = -c for i.
5
Suppose 3*t = t. Solve -g = -t*g - 1 for g.
1
Suppose 2*p = -3*m + 41, 0*m + 2*m - 5*p - 40 = 0. Solve -m = c - 6*c for c.
3
Let s(m) = -m + 2. Let w be s(1). Solve -3*r - 2 = w for r.
-1
Let i be (0 - (-2)/(-7))*-7. Solve -r = i - 1 for r.
-1
Let p = 18 + -13. Solve 0 = p*j - 2 + 27 for j.
-5
Let b(s) = -s**3 - 7*s**2 - 2*s - 10. Let n be b(-7). Suppose -h - n*h = 0. Solve -y - y = h for y.
0
Suppose 4 = 26*i - 25*i. Solve -i*w + 8 = -0 for w.
2
Suppose 51 - 17 = 5*c - 3*b, 4 = 2*c + 2*b. Suppose -2*h - 33 = -5*y, c*h = h - 16. Solve z - y = -0 for z.
5
Let z(y) = -5 + 2 + 0*y + 2*y. Let r be z(4). Suppose h = 2*h + 4*q - 20, 25 = r*q. Solve 3*i + i - 8 = h for i.
2
Let s = -1 + 4. Let v be 25/4 + s/(-12). Solve 2*j = v*j for j.
0
Suppose -2*b - 12 = -4*m, -3 + 9 = -3*b + 2*m. Solve -5*w + 0 + 20 = b for w.
4
Let u(v) = -3*v - 1. Let y be u(-2). Solve 3*b - y = -8 for b.
-1
Suppose -2*c = -1 + 5. Let d be ((-2)/(-6))/(c/(-18)). Solve -2*w - d*w = -10 for w.
2
Let w(o) = o**2 + 8*o + 19. Let p be w(-3). Solve -3*a - 5 = p for a.
-3
Suppose -4*a - 4*h + 3 = -3*h, -5*a + 35 = -5*h. Let f(b) = -b**2 + 3*b - 1. Let q be f(a). Solve 3 = -w + q for w.
-2
Let d be -2 - (9/(-12))/(3/24). Solve 6*i + d = 4*i for i.
-2
Let q(v) = -2*v + 3. Let u(r) = -r + 2. Let p(l) = -5*q(l) + 7*u(l). Let z be p(2). Suppose 0 = z*x - 0*x - 15. Solve -4 = -x*y - 1 for y.
1
Let u(y) = 2*y**3 - y**2 + 2*y - 1. Let d be u(1). Suppose 4*w + 5*q = -20, -5*w + 2 + d = -q. Suppose w = -o - 2*o + 3. Solve p + 2 = -o for p.
-3
Let b be (-2 - (-2 - 1))*-12. Let r be 6/4 + (-6)/b. Solve -r*g - 12 = g for g.
-4
Suppose j - 3*w - 4 = -3*j, 2*w + 8 = 4*j. Suppose 1 = -0*k - k, j*k - 24 = -4*g. Suppose g*b = 3*b. Solve x + 1 - 2 = b for x.
1
Let s be (-6)/(-27) + 133/9. Suppose 0 = 5*o + 4*p + 16, 4*p + s + 1 = -4*o. Suppose z - 3*z + 6 = o. Solve -z*a - 25 = 2*a for a.
-5
Suppose 3*s = -2*s - 4*z - 5, 2*z = s - 13. Suppose -y - 3 = -i, 2*y + s*y = -3*i + 9. Solve -i*n + 7 = -2 for n.
3
Suppose d + 8*u - 3*u + 7 = 0, 49 = 5*d - 3*u. Solve 10*n - d = 8*n for n.
4
Let b(r) = 2*r**2 + 56*r + 12. Let i be b(-28). Solve -10 = i*y - 7*y for y.
-2
Suppose 0*c - 4*c - 664 = 0. Let d be 2/(-10) - c/5. Let s = d - 17. Solve -6*z + 2*z + s = 0 for z.
4
Suppose 2*s + 0*s = -2*q + 16, 5*s - 31 = -4*q. Let a = q + -6. Solve -12 = -a*z - 0 for z.
4
Let k be 8*3/60 + 2/(-5). Solve 20 = -k*j + 4*j for j.
5
Let a(g) = -6*g - 1. Let z be a(-2). Solve 4*p + z = -1 for p.
-3
Suppose 11 = -4*v + 31. Let b = 12 + -4. Let u be b/(4/18*3). Solve -z = -v*z + u for z.
3
Suppose 4*y - 6 = 2*f, 3*y - 9 = 4*f + 3. Solve 4*a + y*a = 8 for a.
2
Suppose -25*o + 16 = -21*o. Solve 0 = f + o*f + 10 for f.
-2
Suppose -w - 42 = -4*w. Suppose -4*l = 4*u + 8, 6*l - 5*l + 2*u = -4. Let f = 4 + l. Solve -f*r = -w - 6 for r.
5
Let y be (-9)/(-27)*30/2. Solve 0 - 5 = -y*c for c.
1
Let b(m) = 6*m - 2. Suppose 2*q + 3*q - 15 = 0. Let p be b(q). Suppose l = p - 1. Solve 0*n - l = 3*n for n.
-5
Suppose -4*q = -f - 60, 5*f = 3*q - 55 + 10. Suppose t = -2*o + 24, -4*o - q = 5*t - 51. Solve o + 1 = 5*n for n.
3
Let b = -42 + 44. Solve -b*k = k for k.
0
Suppose s = 1 + 5. Suppose -4*o = -2*b + 4, 2*b - 1 + 5 = 0. Let l be o/3 - (-16)/s. Solve -i = l*i - 9 for i.
3
Suppose -2 = 2*r, 2*r = -0*q + q - 4. Solve -q*j = -j for j.
0
Let j(p) = p**2 + 5*p - 2. Let t be j(-5). Let a(h) = h**3 + 4*h**2 + h. Let g be a(t). Solve 3*x + g = x for x.
-3
Suppose 11 - 3 = 4*d. Solve -2 - d = -2*m for m.
2
Let k be (-4)/((-32)/10)*4. Solve -y = -k*y - 16 for y.
-4
Let b be (-10 - -4)/((-4)/10). Suppose 4*o - 54 = 5*c + 6, -o + b = c. Let a = o - 8. Solve -a*n + 2*n + 10 = 0 for n.
2
Suppose -4*v + 3 = -5. Solve -2*g + v = -8 for g.
5
Let u be 2/8 - 7/(-4). Suppose 0 = u*h + 3*h - 10. Let t = 11 - 11. Solve h*s = -t*s for s.
0
Suppose -2*q + 27 + 5 = 0. Solve 0 = 4*c + q + 4 for c.
-5
Suppose -12 = f - 0*f. Let y = -9 - f. Solve -2*g - 5 = -y for g.
-1
Let v(w) be the third derivative of 1/2*w**3 + 0*w + 1/24*w**4 - 1/60*w**5 - w**2 + 0. Let i be v(0). Solve 16 = i*u + u for u.
4
Let m be (-2)/4*2*-3. Solve -m*w + 2*w = -3 for w.
3
Let x = 1 - -6. Solve 4*t + x = 11 for t.
1
Suppose -6*r + 7 = -11. Suppose -r*k = -6*k + 15. Suppose -50 = -7*j + 2*j. Solve k*y + 0*y - j = 0 for y.
2
Let h(p) = p**2 + 2*p. Let k be h(-2). Suppose k = -10*z + 5*z. Solve z = 3*m + 3 - 0 for m.
-1
Suppose 0 = -u - 3*i, 2*u - 11 = -u + 2*i. Solve 1 = u*a - 2 for a.
1
Let a be (-1*3)/((-3)/4). Suppose 14*i - 90 = 11*i. Let x be 82/12 + 5/i. Solve -a*j - 9 = x for j.
-4
Let i(d) = d**3 - d**2 + 2*d + 2. Let b be i(0). Solve t + 0 = -b for t.
-2
Let l = 8 + -17. Let c(v) = 6 + v**3 + 10*v**2 + 3 + 6 - 4 + 10*v. Let g be c(l). Solve g*d + 2*d = 0 for d.
0
Let x(r) = -r**2 - 9*r - 11. Let k be x(-7). Solve -4 = k*y + 2 for y.
-2
Let f = 8 - 14. Let z = 8 + f. Suppose -3*t - 66 = -3*j, -4*j - z*t + 0*t = -112. Solve 5*o + 11 = j for o.
3
Let q(v) = -v**2 + 10*v - 23. Let r be q(5). Solve 3 = -r*t - t for t.
-1
Suppose 0 = -j + 3*j. Let h = 106 + -104. Solve p - h*p + 2 = j for p.
2
Let f(z) = -z**3 - 7*z**2 - z - 7. Let p be f(-7). Suppose p = -2*j + 3 + 1. Let x be -10*(-5)/(75/18). Solve -j*w = -6*w - x for w.
-3
Let w be -2 + (5 - 2) - 1. Solve -p = -w - 4 for p.
4
Let r be 3 - ((2 - 1)*1 + -22). Solve -5*m + 1 = -r for m.
5
Let u = 8 + -6. Suppose 2*r - 2 - u = 0. Solve r*i = -2*i for i.
0
Suppose 8 + 2 = 2*j. Let s = 5 - j. Suppose s*a = -2*a. Solve a = 3*l + 6 + 3 for l.
-3
Suppose 22*b - 40 = 17*b. Solve -3*g = -b*g + 25 for g.
5
Let z(s) = -s - 8. Let v be z(-12). Let b be ((-3)/(-3))/((-3)/(-12)). Solve -v*m = -5*m - b for m.
-4
Let j(s) be the first derivative of -s**3/3 + s**2/2 + 3*s - 2. Let l be j(0). Solve 0 = -4*n + l*n + 1 for n.
1
Let i be ((-48)/(-36))/(1/3). Solve -i = -a + 3*a for a.
-2
Suppose 11 = 5*n - 14. Suppose n*r + 0*t = -4*t + 5, -t = 0. Suppose 3*a + 4 = -4*m, 2*m + a + 8 = -2*a. Solve -3 = -m*q - r for q.
1
Suppose -2*k = 3*k + 2*p - 56, -k - 4*p = -22. Let w be (k/3)/((-2)/3). Let q be (2/5)/(w/(-25)). Solve 0 = l + q*l for l.
0
Suppose r + 0 = -2*q 