5 = 5*t. Solve 6*c + 19 = t for c.
-3
Let h be (7/2 - 3)*8. Solve -h*j = j + 10 for j.
-2
Suppose -y + 2*y - 2 = 0. Let a(u) = u**3 - 8*u**2 - 7*u - 16. Let x be a(9). Solve -8 = y*h + x*h for h.
-2
Let f = 2 + -3. Let i(z) = -z**3 + 2*z**2 + z. Let x be i(f). Solve x*o - o = 5 for o.
5
Let x(z) = -z**2 + 12*z - 11. Let k be x(11). Suppose k = -3*h + 5 + 1. Solve -b - 3 = -h*b for b.
3
Let d = 2 + -5. Let p = 7 + d. Solve -b = p*b + 20 for b.
-4
Suppose 3 = 3*t - 2*t. Solve 5*f - t*f = -8 for f.
-4
Suppose -2*y + 4 + 10 = 0. Suppose f + 2*r = -y, 4*f - 2*f - 1 = -r. Solve -8 - 7 = f*d for d.
-5
Let l(h) = -h**3 + 2*h**2 + 4*h. Let b(z) = 3*z - 3. Suppose -k - 2 + 4 = 0. Let v be b(k). Let r be l(v). Solve r*f + 0 = 3 for f.
1
Suppose 16 = 2*t - 0*j + 3*j, -4*t - j = -22. Solve t*p = 3*p for p.
0
Let a(d) = d**2 - 7*d. Let o be a(7). Suppose 0 = 5*n - o*n - 20. Solve n*h - 2*h = 8 for h.
4
Let t(i) = -i**3 + 3*i**2 + 5*i + 2. Let h be t(-2). Solve 0*p = 3*p + h for p.
-4
Suppose -3*x + n + 33 = 0, 0*n + 45 = 3*x + 3*n. Suppose -x - 3 = -3*b. Let i be (-18)/(-10) - (-1)/b. Solve i*t = -6 - 2 for t.
-4
Suppose 5*q - q - 16 = -2*m, 0 = -3*m - 4*q + 26. Let s be (12/m)/((-6)/(-20)). Solve -s = -0*f - 2*f for f.
2
Let f be (0 - 3) + 22 - -1. Let i be ((-2)/5)/((-2)/f). Let h = i + -1. Solve t - 4 = h*t for t.
-2
Suppose 2*k - 12 = -k. Suppose -5*y + 11 + 14 = -k*f, -5*f + 25 = 5*y. Solve 10*l = y*l - 15 for l.
-3
Let f(b) = -b - 2. Let o(t) = 4*t + 7. Let n(j) = 7*f(j) + 2*o(j). Let p be n(2). Suppose -p*g - k + 18 = 0, -5*k + 1 + 35 = 4*g. Solve 4*d - g = 11 for d.
5
Suppose 2*f - 16 = -5*z, 0*z = 2*z + 4*f. Suppose i - z*i + 6 = 0. Solve i*k = -0*k - 8 for k.
-4
Let p(y) = 0*y**2 + y**2 + 6*y + 8 + y. Let t be p(-6). Solve -s = -t - 3 for s.
5
Let m = 37 - 29. Let j be (0 - -1) + 2/1. Suppose j*r = 6*r - 12. Solve -r*t + m*t = 16 for t.
4
Suppose -5 = 6*l - 5. Solve -3*n + 2 + 1 = l for n.
1
Let k = -47 + 56. Solve 0 = -4*b - 7 - k for b.
-4
Let n be (-1 + 3)/2 + -2. Let d = n + 1. Solve -3*f - f + 20 = d for f.
5
Let m(w) = 2*w + 31. Let h be m(-14). Solve 2 + h = -v for v.
-5
Suppose -o - 4 = -5*z + 21, -3*z - 3*o - 3 = 0. Suppose z*a + 5 - 13 = 0. Solve -c = a - 1 for c.
-1
Let q = 5 - 2. Suppose k = -s + 7, -3 = k + q*s - 16. Suppose k*y - 2 = 3*y. Solve y*f = 2 + 6 for f.
4
Suppose 0 = -2*w - m - m + 8, -1 = -4*w - m. Let d be (-3 - -1)*w - -3. Solve 2*k = k + d for k.
5
Let v(f) = -2*f - 8 + f**3 - 9 + 5 + 9*f**2. Let c be v(-9). Solve -c*t + 11*t = -5 for t.
-1
Suppose 0 = -5*y - 10 - 0. Let f be (-2)/y + 15/5. Suppose 20 = 5*w - i, -f*w + 3*i - 1 + 17 = 0. Solve 8 = -w*r + 2*r for r.
-4
Suppose 0 = t - 4*t. Solve t*c = -4*c - 4 for c.
-1
Let u(k) = -k + 60. Suppose 0 = -0*i - i. Let a be u(i). Suppose 8*f - 4*f = a. Solve f = -3*r - 2*r for r.
-3
Let w be 1/2*(-3 + 3). Solve n = -w*n for n.
0
Let n be (0/3*1)/1. Let c(x) = -x**3 + 6. Let p be c(n). Let f(g) = -g**2 + 7*g - 6. Let l be f(p). Solve l*z + 2 = -2*z for z.
-1
Suppose -4*w = -4*y, 5*w - 4*y - 4 = -2. Suppose 2*r = 0, -w*r = -2*i - 7*r. Solve i*l = -2*l - 4 for l.
-2
Let n be 6 + (-1 - 3/3). Suppose 1 = n*s - 7. Let t(f) = -f**3 + 2*f**2 + 1. Let w be t(s). Solve w = -4*h + 5 for h.
1
Let f be ((-9)/(-6))/(-3)*-8. Suppose f*q - 4*w = 8, q + 3 = 6*q + 2*w. Solve -3 - q = s for s.
-4
Suppose -7*l = -3*l. Suppose l = -o + 8 - 1. Solve 2*u + o = -3 for u.
-5
Suppose t = 5*o + 4*t - 64, 5*o - 2*t - 74 = 0. Suppose 5*l = o + 1. Suppose 0 = 2*w + 4*y - 16, 3*w - l = 6*w - 3*y. Solve x - 6 = -w for x.
4
Let o(m) = -m**3 - 12*m**2 - m + 6. Let j be o(-12). Suppose -4*x + 8 = -0*x. Suppose 2*w - j = -2*i - 2, -w + i = -x. Solve 2*p = 3*p + w for p.
-5
Let s = 115 - 60. Suppose -3*r + 5*l + s = 0, 68 = 4*r - 2*l - 2*l. Solve -3*u - 6 = -r for u.
3
Let g be ((-8)/5)/((-4)/10). Let t = g + -1. Suppose 3*l - t = 3. Solve l*o - 1 = o for o.
1
Let j(o) = 3*o - 3. Let l be j(4). Let u = 11 - l. Let t be ((1 + -1)/(-2))/u. Solve 2*i = -t*i for i.
0
Suppose -6 = -2*x + 2. Solve -2*i + i = -x for i.
4
Suppose -5*l + 70 = x + 4*x, -x = 4. Let d be 3/(-2)*(-60)/l. Solve 4*b = 25 - d for b.
5
Suppose -2*w - v + 9 + 2 = 0, 4*v + 8 = 5*w. Solve q = -w*q + 15 for q.
3
Suppose -21 = -5*k - 4*s, 0 = -7*s + 4*s + 12. Solve 3 = -y - k for y.
-4
Let w be 2/4 + (-35)/(-14). Suppose 5*d + y = 47, 2*y + w + 13 = d. Let q = 4 + -3. Solve 3*f = d - q for f.
3
Let x(z) = -2*z**2. Let m be x(-2). Let j be 2/m - 9/(-4). Let y(n) = -n - 3. Let o be y(-7). Solve -2*p = j*p - o for p.
1
Let a be (3/(-2))/(24/(-32)). Suppose -a*j = -0*j - 10. Solve 2*q - j = 1 for q.
3
Let c = 63 + -60. Solve c*m + 0*m - 6 = 0 for m.
2
Suppose 10*c - 9*c - 22 = 0. Solve -4*m - c = -2 for m.
-5
Let i(y) = -y**3 - 5*y**2 - 4*y - 16. Let f be i(-5). Solve -f*h + 3*h = -1 for h.
1
Suppose 0*g = g. Solve g*q = q for q.
0
Let g(y) = y**3 + 4*y**2 - y - 5. Let h be g(-4). Let w be (7 + h)/((-3)/(-4)). Suppose 5*f - 2 - w = 0. Solve 5 = m + f for m.
3
Let m = 115 + -109. Solve -4*c = -m*c for c.
0
Let i be (21/(-14))/((-1)/6). Solve 4*o - i = -1 for o.
2
Let m be (2*(-1 - 0))/2. Let c be (-1)/(m + (-2)/(-4)). Suppose 15 = -b + 5*l, 0*b + 2*b + c = 3*l. Solve 4*k = b*k for k.
0
Let h = -9 - -14. Suppose -h*d + 16 + 15 = 3*y, y = -d + 7. Solve 3*c + 15 = -y*c for c.
-3
Suppose 5*b - 68 = 12. Suppose 4*u = 0, -j - 4*u + b = 3*j. Solve -5*y = -j*y for y.
0
Suppose -4*x - 5*q + 28 = 0, -q - q = -4*x. Let r = 5 - 8. Let f(j) = 3*j**2 + 2*j - 1. Let k be f(r). Solve -2*i - k = x*i for i.
-5
Let c = 135 - 131. Solve c*w + 0*w + 20 = 0 for w.
-5
Let t = 19 - 6. Let p(y) = y**2 - 13*y + 3. Let d be p(t). Solve 5*b + 2 = -d for b.
-1
Let o(z) = -z**2 + 11*z - 5. Let v be o(9). Suppose k - 2*k = -4*y + v, -3*y + 6 = 3*k. Let u be y - (-1 + (-6)/(-3)). Solve -5*t = -3*t - u for t.
1
Suppose 4*p - 4 = 0, p + 5 = -5*s + 2*s. Let i(z) = -3*z - 2. Let x be i(s). Let g = 0 - -2. Solve x = -2*v - g*v for v.
-1
Let d be (-2 - -2)*2/6. Suppose -f + 2 + 2 = d. Solve 5 = f*s - 7 for s.
3
Suppose -24 = 5*z - 9. Let s be 6/(-2) + -3 + 4. Let q = s - z. Solve -4*n - q = 19 for n.
-5
Suppose -2*m - z = 0, 2*m + 3*m - 22 = 3*z. Let y be ((21 + -1)/(-4))/(-1). Suppose 2*f - 5*b = 60, y*f - 96 = -0*f - b. Solve f = -m*i - 2*i for i.
-5
Let x(n) = -16*n**3 - 2*n**2 - 2*n - 1. Let c be x(-1). Suppose -m - 8 - 2 = -2*v, -m - c = -3*v. Solve -v = 2*d + 5 for d.
-5
Suppose -a = -2*v - 9, -4*v - 16 - 17 = -5*a. Let p be v - 7/(14/(-12)). Solve y = -p*y for y.
0
Let g(k) = -k**2 - 4*k - 6. Let j(o) = -o**2 - 4*o - 5. Let x(v) = -5*g(v) + 6*j(v). Let p be x(-3). Solve -2 = f - p for f.
1
Let q be (8/(-10))/((-12)/120). Solve -q = b + b for b.
-4
Suppose 5*w = 4*s + 18, -3*s + 0*s - 10 = -2*w. Solve w*v - 5*v = -9 for v.
3
Let v = -44 + 63. Let i = v - 10. Solve -i = 3*q + 3 for q.
-4
Suppose d + 0*d = 7. Let l(n) = n + 7. Let w be l(d). Let t be (21/w)/(1/2). Solve -i = -t - 0 for i.
3
Let m = 11 + -18. Let g(d) be the first derivative of d**4/4 + 2*d**3 - 3*d**2 + 7*d + 9. Let a be g(m). Solve a = -0*v + 3*v for v.
0
Let o(j) = -j**2 + 30*j - 25. Let n be o(29). Solve -n*u + 13 - 1 = 0 for u.
3
Suppose 3*n - 75 = 63. Let c be (-6)/(-15) - n/(-10). Suppose o + 3*s - 5 = -0, c*o = s + 9. Solve -17 = 5*g - o for g.
-3
Suppose 2*g + 8 = 6*g. Suppose -4*z + 0 = 2*c - 12, 3*c - 5*z + 4 = 0. Suppose -5*h + 2*r - 2 = 0, c = h + r + r. Solve g*t + 0*t = h for t.
0
Let c(g) = g**3 + 2*g**2 - 5*g - 2. Let m be c(-3). Let q(b) = b - 2. Let n be q(5). Suppose -3*p + 3 = -n. Solve m = i - p*i for i.
-4
Let s be 21/6 - 2/(-4). Suppose -3*h + 0*w + 22 = -4*w, -s*h = 4*w - 20. Let r be (-3)/(3/(-2))*h. Solve 4*d + r = d for d.
-4
Let f(r) = r**3 + 9*r**2 + 10*r + 4. Let d be f(-8). Let v be (8/d)/((-2)/9). Solve -3 = 2*i - v*i for i.
3
Let c(a) = -a**3 + 9*a**2 - 6*a - 11. Let r be c(8). Suppose 27 = 2*n - 5*s, -s = -r*n + s + 15. Solve -3*q = n + 11 for q.
-4
Suppose 3*p = -p. Let v be (-2)/6 - 3/(-9). Solve p = -v*c - 4*c - 16 for c.
-4
Let z be (8/6)/(4/6). Suppose 2*h + 4*c = 10, 0 = c - 0 - z. Solve h = 2*f - f for f.
1
Let o be (60/(-35))/((-1)/7). Suppose -2*i - 4*j + o = 0, 3*i = 2*j + 2 - 0. Suppose -3*n - 3*x = i*x - 15, -x = n - 5. Solve -2 = -z - n for z.
-3
Let f(g) = g**2 - 2*g - 