+ 6 for v.
4
Suppose 6*j - 27 = -15. Solve -2*t + j + 6 = 0 for t.
4
Suppose -y - 40 = -3*x, 0 = 3*x - 6*x - y + 44. Let g be (-2 - 5) + (-1)/(-1). Let o = x + g. Solve f = -f - o for f.
-4
Suppose 0 = p + p. Suppose u - 5*u + 24 = 0. Let r be (0 + 1)/(2/u). Solve p*o + r = -o for o.
-3
Let h = -8 - -8. Suppose b + 0*b - 4 = h. Solve 0 = b*l + 16 + 4 for l.
-5
Let t(p) = p**3 - 3*p**2 - 4*p + 2. Let k be t(4). Solve 0 = s - k*s + 1 for s.
1
Suppose -5*a - 4*g - 20 = 0, a + a + 11 = -g. Let u be ((-4)/a)/((-2)/(-16)). Let y be 12 - (2 - (5 - 1)). Solve u - y = 5*k for k.
-2
Let x(l) = -l**3 + 4*l**2 - l - 3. Let c be x(3). Let h(r) = -2*r**3 - 2*r**2 + 5*r + 7. Let u be h(-2). Solve -u*w + 4*w - c = 0 for w.
-3
Suppose -4*k = -3*k - 3. Solve -5 = k*t - 4*t for t.
5
Let i(n) = 2*n**2 + n - 2. Let w be i(1). Solve t + 4 = -w for t.
-5
Let k(i) = i**3 + 7*i**2 + 5*i - 6. Let m be k(-6). Suppose m*h - 2*h + 6 = 0. Suppose h*l = l. Solve 5*s + 1 - 21 = l for s.
4
Let u = -1 - -3. Suppose 5*r - 26 = 2*y, -r - r - u*y = -2. Suppose -4*d + 30 = 2*f, -d + f = 3*d - 33. Solve r*w - 4 = d for w.
3
Let t(a) be the first derivative of 2*a**3/3 - 2*a**2 - 8. Let j be t(2). Solve j*d = -d for d.
0
Let l be (-240)/(-108) + 2/(-9). Solve -l*n = 3*n for n.
0
Suppose 1 + 0 = v. Let d(k) = -17*k - 3. Let l be d(-1). Solve v + l = 3*n for n.
5
Let g(c) = c**2 + 14*c + 14. Let z be (-15)/10*26/3. Let p be g(z). Solve 0 = w - 0 - p for w.
1
Let d(t) = 4*t + 4. Let g be d(4). Solve 0 = 4*r + r - g for r.
4
Suppose 2*n + 0*n - 23 = -3*j, 3*j = -4*n + 31. Solve -j*l + 7 = -3 for l.
2
Suppose 58 + 6 = 4*d. Let q = 26 + -36. Let p be (q/8)/((-4)/d). Solve 0 = -p*s + 25 for s.
5
Suppose 1 = -s, -2*n - s = -5*s + 14. Let w(l) = -10 + 3*l + 3 - 4*l. Let x be w(n). Solve -x*y - 6 = -0*y for y.
-3
Let y(q) be the first derivative of -q**3/3 + q**2 - q + 1. Let j be y(1). Solve 4*c = -j*c + 16 for c.
4
Let g(a) = -a**3 - 10*a**2 - a - 5. Let f be g(-10). Solve f*k = -0*k for k.
0
Suppose -3*o = -0*o + 15. Let b(h) = h**3 + 6*h**2 + 6*h + 5. Let z be b(o). Solve z*p = 3*p for p.
0
Let p(t) = -t**2 + 10*t + 25. Let b be p(12). Solve 0*l + l = -b for l.
-1
Let q(z) = -3*z + 111. Let y be q(35). Let u = 1 - 1. Solve 5*m - 4 - y = u for m.
2
Let m = -1 + 3. Suppose 0 = 4*t - 3*q - 33, m*q = -t - 0*q. Solve -t*w = -w + 10 for w.
-2
Let d = -9 - -16. Suppose -1 + d = y. Solve 5 = -p + y*p for p.
1
Let i(q) = q**3 + q**2 + 1. Let p be i(0). Let v be ((-3)/9)/(2/(-6)). Let t be p - (v - (0 - -2)). Solve t = -d + 4 for d.
2
Let u(h) = h**3 - 5*h**2 - 7*h + 6. Let z be u(6). Suppose z = -9*f + 6*f + 15. Solve -f*n + 14 = -11 for n.
5
Let p(d) = -d**3 - d**2 - 3*d - 6. Let m be p(-2). Solve m*o - 4 = -0 for o.
1
Let r(f) be the third derivative of f**6/40 - f**4/24 + 2*f**2. Let v be r(1). Solve c = v*c for c.
0
Let d be -2*(26/(-2) + 3). Let k = d + -11. Suppose 4*v = k*v - 30. Solve r + 2 = v for r.
4
Suppose 6 = 3*l - 0. Suppose -l*r = -3*r + 4. Solve 0 = 4*h + r for h.
-1
Let i(l) = -l + 3. Let v be i(6). Let z = 2 + v. Let w be z/4 + (-18)/(-8). Solve -g - w*g = -6 for g.
2
Let k = -15 + 7. Let x = 17 + k. Solve 16 + x = -5*v for v.
-5
Suppose 3 = 60*q - 59*q. Let h = 2 - 3. Let l = q - h. Solve l + 2 = 3*v for v.
2
Let i = -31 - -53. Let w = -17 + i. Solve 2*x + w = -3 for x.
-4
Let o(w) = w**2 + 11*w + 5. Let s be o(-4). Let v be 1/3 + 200/(-15). Let i = v - s. Solve 4*g = -g - i for g.
-2
Suppose 16 = 2*i + 2*i. Suppose -5*u = 3*k + 5 - 40, 2*u + i*k - 14 = 0. Solve 0 = 2*z - u*z + 20 for z.
4
Let c(t) = -t**2 + 16*t - 10. Let q be c(15). Let v be 0*(0 - (-2)/(-2)). Solve q*o = -v*o + 25 for o.
5
Suppose -29*b = -36*b + 56. Solve 0 = -3*n + b*n - 25 for n.
5
Let x(w) = 8*w + 1. Let q be x(1). Let u be 39/q - 2/6. Solve 0*i + 8 = -u*i for i.
-2
Let o = 24 + -22. Solve -o*s - 1 = 3 for s.
-2
Suppose -4 = -3*o + 2. Solve b + 3 = -o*b for b.
-1
Let z(w) = -w**2 - 7*w + 10. Let o be z(-8). Let j(d) = d**2 - 8*d + 12. Let k be j(8). Let f be (o/(-4))/((-2)/k). Solve -f*g = -2*g - 4 for g.
4
Suppose u + 3*u = 0. Suppose -4*h - 4*a + 20 = u, -2*h + a = -0 - 1. Suppose -y + q + h = 1, -q - 1 = y. Solve -5*v + y*v - 5 = 0 for v.
-1
Let i(p) = p**2 - 6*p + 2. Let g be i(6). Suppose -4*n = g*z - 3*n + 1, -5*n - 18 = -3*z. Solve 0 = 5*o - 4*o + z for o.
-1
Let v be (0/(3 + -6 + 2))/3. Solve 0 = -5*y - v*y + 10 for y.
2
Let d = 8 - -5. Suppose 14 = -4*z - 6. Let a = z + d. Solve -c + a = 3*c for c.
2
Let d = 142 + -139. Solve d*h + 3 = 18 for h.
5
Suppose 5*c + 3*u = -120, 2*c + u = -33 - 14. Let t = -12 - c. Solve t = 2*m + 1 for m.
4
Let m(y) = y**2 + 5*y + 3. Let t be m(-3). Let r(j) = -j**3 - 2*j**2 + 3*j + 1. Let z be r(t). Solve -z - 8 = -3*s for s.
3
Suppose 0 = x - 2*x. Suppose x*t - 4*t = -16. Solve 0 = -t*q - 25 + 9 for q.
-4
Suppose 30 = 3*b - 3*o, 2*b - 3*o - 6 = 15. Solve 0 = 3*q - b + 3 for q.
2
Suppose 4*i - 2 = 10. Solve i*n - 8*n + 25 = 0 for n.
5
Let n(t) = -t**2 - 11*t - 9. Let z be n(-9). Solve 0 = -7*j + z*j for j.
0
Let a be 26/7 + 3*(-2)/(-21). Solve 0 = -f - a for f.
-4
Suppose -8 + 12 = -y. Let f be 2/y + 18/12. Solve -2*o + 5 = -f for o.
3
Let b be (-2 - 2)*(-2)/4. Let z be 2*1 - (-3 + b). Solve -z = -m - 0 for m.
3
Suppose w = -5*z + 15, 4*w - 6 = -2*z + 7*w. Solve -d + z = 1 for d.
2
Let c(k) = k**3 + 9*k**2 - 9*k + 8. Let z be c(-10). Let o be 0/(z - (-2 + 2)). Suppose o = 3*d + 5*r + 19, 2*d - 4*r - 14 = -2*r. Solve d*n = -0 - 6 for n.
-3
Let y be 11*(-1 - (-3 - -3)). Let b be 9/6 + y/2. Let h(n) = -n**2 - 4*n + 2. Let f be h(b). Solve -u + 6 = f*u for u.
2
Suppose -3*c - 6 = f - 2, -3*f + 16 = -5*c. Solve 0*u = f*u + 8 for u.
-4
Let x(o) be the first derivative of -7/3*o**3 + 1 - 1/4*o**4 - 7*o - 1/2*o**2. Let a be x(-7). Solve -6*i + 2*i + 4 = a for i.
1
Let r be 2 + 2 + 12/(-6). Solve 2*d - 4 = -r for d.
1
Let d be 2/(1/4 - 0). Solve -10 = -d*i + 3*i for i.
2
Suppose 4*i + 16 = 4*h, 3*i + 2*i + 8 = h. Solve -h*t + 11 = 2 for t.
3
Let r(n) = n**3 + 5*n**2 - 5*n - 9. Let s be r(-5). Solve s - 1 = 5*f for f.
3
Suppose d = r + 14, d - 5*d = -3*r - 58. Let q = d + -13. Solve q*v + 15 = -0*v for v.
-5
Let m be 5*(-6)/(-15)*1. Solve m - 3 = -f for f.
1
Suppose 0*q - 18 = -3*q. Suppose -2*s + 4*s = -l + 13, 2*s - 40 = -4*l. Solve 5*t = -l - q for t.
-3
Let a(j) = -5*j - 2. Let h be a(-1). Solve 0*w - h = -3*w for w.
1
Suppose -4*c - 3*p = -6*c + 55, 4*p - 60 = -4*c. Suppose 0 = 8*b - 4*b + c. Let k be (-137)/b + (-3)/(-5). Solve 5*f - k = -3 for f.
5
Suppose -4*m = -3*j + 22, 4*m = 3*j - 4*j - 14. Let n(g) = g. Let f be n(j). Let i be 1*16/4 - 2. Solve -f*s - i = 4 for s.
-3
Let t be 3/(-6)*4 - -17. Suppose -w = -6*w + t. Solve 1 = 4*j - w for j.
1
Let r = -9 - -8. Let i be (r + -1)*(2 - 4). Solve -i = 5*c - 14 for c.
2
Suppose 0 = -4*j + 4*s + 12, 15 = 5*j + s - 3*s. Solve 3*r + 6 = j for r.
-1
Let j = 12 + -10. Solve j = r + 5 for r.
-3
Let u(s) = -s**2 + 4*s + 1. Let n be u(4). Let o be ((-6)/8)/((-5)/(-20)). Let b be (-3 - o)/(1/n). Solve b = -a - 0 + 4 for a.
4
Let r be (37 - 34)/((-1 + 0)*-1). Solve 0*j = r*j + 15 for j.
-5
Suppose 0 = 4*f - 3*f. Suppose f = -4*t + 3*t. Solve t*q + 4 = q for q.
4
Let t(p) = -p**3 - 15*p**2 - 14*p. Let h be t(-14). Solve 2*l + 3*l = h for l.
0
Let b be 11/33 - (-11)/3. Solve 5*k - b = k for k.
1
Let n = -5 + 9. Suppose 7*m = n*m. Suppose 0 = -k + 3*b - 2*b + 3, -2*k = b. Solve m = -4*x - k + 5 for x.
1
Let s = -4 - -7. Let b = s + 1. Suppose -j = t + b, -3*t - 2*j = -2*t + 9. Solve 3*w + 5 = -t for w.
-2
Let t = -3 - -5. Let j = -8 + 10. Suppose -g = -1 - j. Solve k - t = g for k.
5
Suppose 13 = 4*x - o - 10, 0 = x - 3*o - 3. Solve 2*k - x = 4 for k.
5
Let z be 1/(0 - (-4)/20). Solve 6 = z*b - 3*b for b.
3
Let z(r) = 23*r**2 - 2*r + 4. Let a be z(1). Solve -3*o + a = 10 for o.
5
Suppose 4*s - 5*s - 2 = 0. Let o be 2 + (s - (-2 + -1)). Suppose 0 = 5*c - o*c - 10. Solve -c*h = -3*h for h.
0
Suppose 4*d - 2*m = 2*d + 14, -5*m = -3*d + 23. Suppose d*t - 8 = 4*t. Suppose -2*x + 7 = -x. Solve t*b = x*b + 12 for b.
-4
Suppose -5*k = 3 - 18. Suppose v - 5 = -k. Solve -3 = -v*b + 3 for b.
3
Let z(p) = 0*p**2 - 7 - p**2 + 4*p - 12*p. Suppose 2*t - 5*f - 13 = 0, 5*t - 2*f = -4*f - 40. Let k be z(t). Solve -k*w + 25 = -0*w for w.
5
Let t b