olve 0 = t*o + o - c for o.
5
Let w(k) = k - 3. Let i be w(11). Solve -2*c - 2*c - i = 0 for c.
-2
Suppose n + 6 = 4*n. Solve 5*p + 3 = -n for p.
-1
Suppose 5*x - 2*c - 34 = -6, 32 = 5*x - 3*c. Solve x*v - 6 = 14 for v.
5
Let a(y) = -y + 10. Let l be a(9). Let d be l - -2 - (-3 + 13). Let z(o) = -o - 5. Let n be z(d). Solve -n = -4*v - 10 for v.
-2
Suppose 0 = -y - 0 + 1. Let u(o) = 0*o + 2 - y - 2*o. Let k be u(-1). Solve 0 = 4*j - k + 15 for j.
-3
Let u(h) = h**2 + 6*h + 5. Let d(g) = -g**2 + 1. Let q be d(1). Suppose m - 6*m - 25 = q. Let y be u(m). Solve 3*c + 2*c + 15 = y for c.
-3
Let m(r) = 5*r**3 - r**2. Let p be m(1). Let h be p/(-22) - 92/(-22). Suppose -o = t, 3*t + 10 = 4*t - h*o. Solve -6 = 4*a + t for a.
-2
Let v(n) = n**3 + 6*n**2 - n - 1. Let h be v(-6). Let m = h + 5. Solve -3*w + m = -2 for w.
4
Let q(u) be the second derivative of -u**5/10 - u**4/4 + u**3/6 + u**2 - 2*u. Let f be q(-2). Solve f*c = -c for c.
0
Suppose 2*t = -6, 2*z - 2*t + 6 - 18 = 0. Let l(j) = 0 - j**2 + 5*j + 0*j**2 - 2 + 3. Let g be l(5). Solve -g + 4 = -z*x for x.
-1
Let o(w) = w**3 - 17*w**2 + 15*w + 23. Let d be o(16). Solve 4*k + d - 27 = 0 for k.
5
Suppose h = 5 + 2. Let j be 42/h + (-6)/2. Solve 0 = j*z - 0*z - 6 for z.
2
Let r(f) = -2*f - 15. Let l(a) = -3*a - 29. Let v(h) = -4*l(h) + 7*r(h). Let q be v(5). Solve -7 + q = 3*s for s.
-2
Let n be ((1 - 3)/(-4))/(22/660). Solve 0 = 5*h - n for h.
3
Let j be 1/(-5) - 26/(-5). Solve j*l = -0*l for l.
0
Suppose 3*d + d - 3*o - 88 = 0, 5*d + 3*o - 137 = 0. Solve -3*v + d = 2*v for v.
5
Let d(p) = -4*p - 2. Let k be d(-2). Let u be ((0 - 0)/((-4)/(-2)))/1. Solve k*y - y = u for y.
0
Let f be 12*5/10*1. Solve -x + f = 2 for x.
4
Suppose -3*v = -v - 8. Suppose v*w = 5*o - 3, 5*o = -w + 22 - 4. Solve -25 = 2*a + o*a for a.
-5
Let f = -7 - -9. Let s be (f/4)/(1/30). Let n be (-26)/(-10) + (-9)/s. Solve n = h + h for h.
1
Let r be 3 + (0/(-3) - 2). Solve -1 - r = 2*a for a.
-1
Let g(j) = -j**3 - j**2 - j + 3. Let b be g(0). Let l(m) = m**3 + 5*m**2 - 7*m + 14. Let c be l(-6). Solve -2*w = b*w - c for w.
4
Let l(p) = -p**3 + 4*p**2 + 5*p - 2. Let x(s) = -s**3 + s + 1. Let z(t) = -l(t) + 2*x(t). Let v be z(-3). Solve v*y - 18 = 2 for y.
5
Let p = -9 - -29. Solve 5*m - p = -0*m for m.
4
Let p(c) = c**2 + 2*c + 2. Let a be p(-2). Solve -a*w + 3 - 1 = 0 for w.
1
Let p = -77 + 80. Suppose 2*d - 5*d = 2*m - 7, d = -5*m + 11. Solve i - p = m for i.
5
Let l = -3 + 6. Let a be 20 - (-12)/(2 - 5). Solve -z - a = l*z for z.
-4
Let v be (-456)/(-10) + 2/5. Let o = -26 + v. Suppose 0 = 3*r - 0*r. Solve 3*d - 7*d - o = r for d.
-5
Let x(s) = 3*s**2 - 1. Suppose 3 = t + 2*t. Let a be x(t). Suppose a = i - p, 4*i + 0*p - 15 = -3*p. Solve 4*n = 3*n - i for n.
-3
Let x(u) = u**2 + 10*u - 16. Let m be x(-12). Suppose 3*g - m*g + 20 = 0. Solve -q - g = 1 for q.
-5
Let d = 11 + -9. Let l = -8 - -11. Solve 0 = 5*c + d + l for c.
-1
Let d be -2*(2 + 2 + -5). Let q be 3/d*32/12. Solve -q*l = -0 - 20 for l.
5
Let u(l) = l**3 + 3 + l + 0 + 3*l + 7*l**2. Let o be u(-6). Solve 4*s + o = -1 for s.
-4
Suppose -3*j - 2*o = -15, j + 3*o - 2*o - 6 = 0. Let w(p) = -p**3 + p**2 + 2*p + 2. Let u be w(-1). Solve -h + j = u for h.
1
Suppose l = -2*a, 2*l + 3*a - a + 6 = 0. Let w = l - -11. Suppose 3*z = w*j + 4, -2 = -j - 1. Solve z*r = r for r.
0
Let h(x) = -x - 9. Let c be h(-13). Suppose 0 = c*z + z + g - 5, -3*g - 15 = 0. Solve 0 = 7*l - z*l - 20 for l.
4
Let u be ((-4)/3)/(4/(-6)). Suppose 0 = -u*y - 10, 3*m - m + 21 = -5*y. Suppose 0 = -m*i + b + 7, 6*b + 12 = 4*i + 2*b. Solve 16 - 4 = -i*n for n.
-3
Suppose -3*u + 12 = 3. Solve b - u = 1 for b.
4
Let j(k) = -4*k**2 + 1. Let z be j(-1). Let a(o) = o**3 + 3*o**2 - 2*o. Let c be a(z). Solve -c + 16 = -2*v for v.
-5
Let u(w) = -w**3 - 3*w**2 - 2*w - 4. Suppose 2 = r + 5. Let j be u(r). Solve -5*m + 4*m - j = 0 for m.
-2
Let c(p) = -p**2 + 7*p - 6. Let r be c(5). Let o(k) = -k + 6. Let h be o(r). Solve 7*v = h*v - 25 for v.
-5
Let y(a) be the first derivative of a**2 - 4*a + 1. Suppose -4*z = -d - 13, -5*d + 3*z = 4*z - 19. Let l be y(d). Solve l*v = -v - 6 for v.
-2
Suppose 5*x - 14 = -3*t, 3*t - 2*t - 2*x = 23. Let g = -7 + t. Solve -3*y + 0*y - g = 0 for y.
-2
Suppose t + 80 = 3*t - 3*z, -5*t + 222 = -2*z. Suppose -6 + t = 5*b. Solve 0 = 4*i + 4 + b for i.
-3
Suppose 0 = 2*b - 6 + 2. Suppose -6 = b*p - 4*p. Solve p*o + 4 = o for o.
-2
Suppose 0*m = 2*m - 12. Suppose g - 5*o = -m, 2*g - 2*o + 12 = 4*g. Suppose g*d = 20, 13 = 4*z - 5*d + 6*d. Solve 0 = -z*v + 3*v - 1 for v.
1
Let m(x) = x - 5. Let g be m(5). Suppose -h + 3 = h - 5*r, g = -2*r + 2. Solve 4*l - 5*l - h = 0 for l.
-4
Let l = -14 + 16. Let z be 1/(-1)*(4 - 2). Let i = z - -5. Solve -l*d + 11 = i for d.
4
Suppose 22 = 2*v + r, 5*v - 34 = -5*r + 16. Solve -n + 9 = v for n.
-3
Let m = 10 + -18. Let o = m - -8. Solve -q - 1 - 1 = o for q.
-2
Let y be 2*(3 - 4) - -2. Solve y = 3*t + t - 8 for t.
2
Let d(o) = -3*o - 12. Let a be d(-4). Solve a*w = 2*w + 4 for w.
-2
Suppose b = -b - 12. Let l be (-4 + -2)*1/b. Solve -l = x + 1 for x.
-2
Let c(d) be the third derivative of d**6/120 + d**5/12 - d**4/12 - 2*d**3/3 - 2*d**2. Let s be c(-4). Solve s = 7*z - 3*z for z.
5
Suppose -1 - 1 = i + 4*r, r + 5 = 2*i. Solve 7 - 3 = -i*q for q.
-2
Let l(y) = 3*y + 4. Let t be l(-4). Let h = t - -13. Solve -5*s = -h - 0 for s.
1
Let z(r) = -r**3 - r + 12. Let u be z(0). Suppose -f + 4 = -t - 4*t, -t = 3*f - u. Solve -2*g + 6*g + 12 = t for g.
-3
Suppose -m + 0*m = -5. Solve 5 + m = -2*k for k.
-5
Let x(h) = h**2 - h - 3. Suppose -12 = 4*g, 7 = j + j + g. Suppose -j*u = -15, -2*u = -5*o + 14 - 5. Let c be x(o). Solve 2*t + c = 3*t for t.
3
Let a be 0 + 1 + (42 - 3). Suppose l = 3*l - a. Solve -8*r - l = -3*r for r.
-4
Suppose 0 = 7*k - 2*k, -2*k = 5*s - 20. Solve s*v - 16 = -0 for v.
4
Let p = -25 - -29. Solve 0 = p*l - 3*l + 4 for l.
-4
Let a be (-86)/(-18) + 4/18. Let l be -1*(2 - 1) + a. Solve l = -2*h + 4*h for h.
2
Let u be (-1 + 3)*(-1)/(-2). Suppose -6 = -l - 2*y, l - 3*y = y - 6. Suppose 0 = -l*r + 38. Solve 4*s = -r - u for s.
-5
Let u be 0/((-2)/(-1) + -3). Let b(x) = 17 + 4*x + 1 - 14*x + x**2 - 7*x. Let n be b(16). Solve m = -u - n for m.
-2
Let w(u) = u**3 + 12*u**2 - u - 10. Let m be w(-12). Suppose 4*o - 3*p - 48 = -7*p, 4*o + m*p = 46. Solve -2*i + 1 = o for i.
-5
Suppose -2*h = -3*r - 26 + 5, -2*r = 6. Suppose 3*d = 95 + 91. Suppose -4*o = -d - 42. Solve -4*j = o - h for j.
-5
Let k(w) = w**2 + 1. Let h be k(-1). Suppose -5*b = -4*z - 45, h*z - 3 = -3*b + 2. Let g = z + 10. Solve r - 20 = g*r for r.
-5
Let b(h) = h**3 + h**2 - h + 2. Let c be 4/3 + (-18)/(-27). Let r be b(c). Solve 0*j - r = 3*j for j.
-4
Let k(j) = j**3 + 6*j**2 - 8*j - 8. Let h be k(-7). Let d(t) = -2*t - 1. Let y be d(h). Solve 3 = -4*g - y for g.
-1
Suppose 3*z - 6 = -0. Suppose z*m = 4*m - 22. Solve -5*l - m + 1 = 0 for l.
-2
Let k be ((-2)/4)/((-11)/132). Solve -4*s + 2 = -k for s.
2
Suppose -7*o + 0*o + 21 = 0. Solve -o*k = 2*k for k.
0
Let m(g) = -g - 7. Let p be m(-7). Let z = 2 + p. Suppose -f + 3 - z = 0. Solve -a = -6 + f for a.
5
Let d(q) = q**2 - q. Let n be d(1). Suppose 4*v + 2*l = -n*v + 4, -5*l = -3*v + 3. Solve 3 = b - v for b.
4
Suppose -5*x = 2*o - 23, 4 = -x - 4*o + 23. Let v be (x - 5)/(1/(-4)). Solve -2 - v = -5*k for k.
2
Suppose -4 = 5*d - 19. Let k be (2 - 10/4)*0. Suppose 0 = -k*m + 2*m - 38. Solve -4*b = -m + d for b.
4
Let o(z) = -z**3 + 7*z**2 - 4*z + 2. Let y be o(6). Suppose -5*r = d - y, -3*d + r = -2*r - 6. Solve -d*g = -2*g for g.
0
Suppose 3*u = -2*u. Solve u = -4*g - 4 - 4 for g.
-2
Let t = 2 - 4. Let v = t + -1. Let b = 5 + v. Solve -6 = -4*q + b for q.
2
Suppose 3*d - 1 = -s, 6*s - 5*d = s + 65. Suppose 0 = -4*f - 5*q + 1 + 6, 3*f = 3*q + 39. Suppose 3*z + s = f*z. Solve 0 = -0*h - z*h + 8 for h.
4
Let m be 10/(-15) - 16/(-6). Let g = 2 - m. Solve z = -g*z - 2 for z.
-2
Let c = 7 + -6. Suppose -7*d = -3*d - 44. Suppose -4*g + 2*o + 10 = -0*o, -3*g + 5*o = -4. Solve -d - c = -g*r for r.
4
Suppose -2*u - 6*c = -c - 15, -3*u - 5*c = -15. Suppose -2*a + 5*o + u = -14, -5*a = -4*o - 18. Solve 0 = -d + 3 + a for d.
5
Let s be 1/2 + 60/8. Solve -2*c = -0*c + s for c.
-4
Suppose -3*p + 4*a = -41, -3*a = -1 - 2. Let b = 17 - -8. Suppose w