 = o for c.
-3
Suppose 2*z - 1 = 3*a - 3, -5*a = -5*z. Let j(c) = 1 + 4*c**2 - 5*c - 3*c**a - 5 + 2. Let o be j(6). Solve 0 = 3*h + 4*b, 0*h = 2*h - o*b - 20 for h.
4
Let n be 2/5 - 138/(-30). Solve a + 11 = -3*s, -s + n*s + a = -14 for s.
-3
Suppose -5*b = -3 - 17. Suppose -18 = -b*u - 2. Solve 4*y + 0*y = 3*d + 15, u*y - 12 = 0 for d.
-1
Suppose 4 = 5*l - 2*c + 2, -c - 6 = -5*l. Suppose -28 = -3*a + 4*s, -2*s - l*s - 16 = 0. Solve 3*g + x - 3 = -0*g, -12 = -2*g - a*x for g.
0
Let v(y) = -y**2 - 7*y - 9. Let u be v(-6). Let f = u - -5. Let n = -6 - -10. Solve -n*k - 6 = -f*k, k = 4*d - 15 for d.
3
Let g(h) be the first derivative of -h**2/2 + 24*h + 3. Let w be g(15). Solve 23 = 5*x - z, 0*x + 3*x = -z + w for x.
4
Let v be ((-6)/(-4))/(9/12). Let w be ((-2)/(-1) - v)*1. Suppose -2*m - 3*u + 10 = 0, 3*m + 6 = m + 5*u. Solve -m*y + 6*o - o + 30 = w, -3*o + 8 = 4*y for y.
5
Suppose 0 = -2*i - 2*z + 10, 0 = -4*i + 6*z - z - 7. Solve -i = -4*k + 2*v + 12, 2*k - 1 = -v for k.
2
Let w = 34 - 49. Let i = -10 - w. Let t = i + -3. Solve -f - 2*f + 4*u = -20, -t = u for f.
4
Suppose 7*b - 1 = 41. Solve u = 3*u + 4*c - 6, u = c + b for u.
5
Suppose -2*w = w. Suppose w*v + v = 3. Solve 0 = 2*p + v*b - 3, -p - 4 = -3*p - 2*b for p.
3
Suppose 0 = -o + 2 - 8. Let f = -6 - o. Solve f = d - 4*b + b + 17, b = 5 for d.
-2
Suppose -3*o + 24 = 2*k - o, 20 = -5*o. Solve 4*p + 0*p + k = 0, -b + 15 = -5*p for b.
-5
Let f be 22/10 - (-3)/(-15). Solve -2*v - q = -5*q - 20, -2 = -f*v - 2*q for v.
4
Suppose -4 - 17 = -7*w. Solve s + w = l, l + s - 2 + 3 = 0 for l.
1
Let c(x) = -2 - x**2 + x**2 + 6*x**2 - x**3 + 5 + x. Let g be c(6). Solve -4*z = -q - g, 3*z - 11 = 3*q + 7*z for q.
-5
Let f(s) = -s**3 + 7*s**2 + 2. Let g(q) = q + 14. Let u be g(-7). Let d be f(u). Solve 8*z + 36 = 4*l + 3*z, d*l = 3*z + 20 for l.
4
Suppose 0 = -5*y - 0*y. Suppose 0 = i - 4*i + 12. Suppose y + i = u. Solve -4*t + u*d - d + 8 = 0, 3*t + 4*d = 6 for t.
2
Let r = -33 - -53. Suppose 0 = 2*b - 9*o + 4*o - r, -2*b - 4*o + 2 = 0. Solve 0 = 4*a + 4*m, -m + b*m + 45 = 5*a for a.
5
Let q(s) = s**3 - 9*s**2 + 8*s + 7. Let c be q(8). Suppose 2*u = -11 - c. Let p = u - -18. Solve 1 = -5*y + 5*t - p, -t + 4 = -3*y for y.
-1
Let r(c) = -c**2 + 11*c + 5. Let j be r(10). Suppose z = -2*z + j. Solve z*v - 3*u = -2*u, 0 = -4*v + 3*u for v.
0
Suppose -2 = -3*t - 5. Let s be -1 - (t*3 + -1). Let f(b) = b + 1. Let h be f(s). Solve -j - 3*m + 12 = -6*j, 5*j = -h*m + 16 for j.
0
Suppose 5 = 3*s - 1. Suppose -a + 5*a - 12 = 0. Solve 20 = 4*y, -s*y = -l - a*y + 6 for l.
1
Let i = 94 + -46. Let q be 3/(-15) - i/(-15). Solve 3*o = q*g - o + 11, 2*g - 3*o + 9 = 0 for g.
3
Let n(d) = d + 1. Let u be n(4). Solve 2*m = -l + 3, 0 = -u*l + 2*m + 3 for l.
1
Let s(b) = -b - 2 - 1 - 2. Let l be s(-7). Solve 0*t - 2*t = 6, 0 = -l*q - 2*t - 12 for q.
-3
Let g = 2 - 0. Solve -2*s + 2*z = 6 + 2, g*s + 2*z = 0 for s.
-2
Let r be 1/2 + 108/72. Solve 3*q + 4*x = -2*q + 6, 6 = r*q - 2*x for q.
2
Let n = -57 - -65. Solve -3*r = 5*k - n*r + 15, 3*r - 12 = 0 for k.
1
Suppose 0 = -7*x + 4*x + 6. Suppose -2*n - n + 12 = 0, 0 = 4*y - 5*n + 20. Suppose y = -6*t + 7*t - 4. Solve -5*c - 9 = -x*k + 5, -t*k + 2 = 3*c for k.
2
Suppose -4*z + 2*u + u - 6 = 0, 0 = -3*z - u - 11. Let x be z*4/(-12) + 28. Solve 0 = -2*w + 5*b + x, -2*w - 3*w - 5 = 3*b for w.
2
Let z = -6 - -5. Let q be (z/1 + 0)*-2. Suppose q*x + 4 = 2*c - 5*c, -4*c - 7 = 3*x. Solve c*a - a - 4*g = -11, -3*a - 11 = -g for a.
-3
Suppose -5*o - 34 = -j, 0 = -0*o - 2*o + 4*j - 28. Let z be (0*3/o)/2. Solve 0 = -3*x - 5*v + 11, -2*x - x + v - 13 = z for x.
-3
Let t be (36/(-21))/((-2)/14). Let q = t + -27. Let p be (2/3)/((-2)/q). Solve p*i + 4 = i - 2*f, -i + 5*f = 12 for i.
-2
Suppose -3*r + 3*y = 3, 4 = -3*y + 5*y. Let c be 3 - 0 - 1/r. Let i be 1/(0 - c/(-4)). Solve -2*u = -4, 0*l = -i*l - 3*u + 2 for l.
-2
Let g = -27 + 39. Let l = -46 + 60. Solve -3*o + l = -2*u, 0 = 3*u - 3*o + g + 6 for u.
-4
Suppose 3*f + 5*u - 6 = 18, 4*u = 0. Let t = -3 + f. Solve -7*g + 2*g = -t, -4*g = -n for n.
4
Let b(y) = 3*y**2 + 2*y - 1. Let w be b(-2). Let i = 22 + -16. Let d be (-9)/(-2) + 3/i. Solve 10 = d*f - 2*c, -3*f + w = -3*c + 1 for f.
2
Let a(b) = -b**2 + 15*b - 14. Let j be a(14). Suppose j = -4*f + f. Suppose 5*s - 43 - 17 = 0. Solve -3*u = s, k - 4*u + f*u - 19 = 0 for k.
3
Let j be 3/(-2)*32/(-12). Let g = j + -1. Solve 5*b - 22 = -q - 4, -q = -g for b.
3
Let y(o) = -o**3 - 2*o**2 - o. Let m = -9 - -7. Let z be y(m). Solve -u - 20 = -6*u + d, 0 = z*u + 4*d + 14 for u.
3
Let a be (-8)/28*-7*1. Suppose a*i - 2*t = 18, -2*t = -4*i - t + 30. Solve 2*n = -5*m + i, 0*n + 7 = 2*m + 5*n for m.
1
Let s(x) = x**2 - 3*x - 2. Let d be s(4). Suppose -10 + 2 = -d*f. Solve h = -4*i + 14, -2*i + 29 = -f*h + 13 for i.
4
Let c = 3 - 1. Suppose h - 1 = c*b, 3*b - 2*h = -2*b. Solve 4*p + 8 = -4*z, -3*z - b*p = -p + 10 for z.
-4
Let m(h) = -3*h**3 - h**2 + h + 1. Let j = 10 - 10. Suppose -2*w + o + 4*o = 2, j = 3*w + o + 3. Let q be m(w). Solve -5*s + 6*s = y, 12 = 5*y - q*s for y.
4
Let u(b) = -b**3 - 21*b**2 + 22*b + 3. Let j be u(-22). Solve -3*z + 8 + 27 = 5*f, -2*f = -z - j for z.
5
Let u be (5 + 2)*1 - 3. Solve 2*r = -u*f - r - 1, -3*f + 3 = 3*r for f.
-4
Let k be 0*(4/(-12))/1. Solve 8 = v + 3*o - o, 3*o - 6 = k for v.
4
Let a be (-78)/(-21) + (-4)/(-14). Suppose 0 = -3*g + 2 + a. Solve -q + 3*q - 5*r = -15, -g*q = 2*r + 8 for q.
-5
Let c be 2/(-8) - 94/8. Let m be (-18)/27 + 116/(-6). Let g = c - m. Solve 5 = -5*j + 4*p, -4*j + 5*p + g = 21 for j.
3
Suppose -2*i + 35 = 3*i. Let g = -4 + i. Solve 0 = -n + 2*n + g, 3*x = -3*n - 12 for x.
-1
Let u(z) = -z**2 - 6*z + 8. Let s be u(-6). Suppose 7 = 5*v - s. Solve -v*w + d = -7*w - 10, 5*d + 10 = 0 for w.
-2
Let u(q) = q**3 - 14*q**2 + q - 9. Let t be u(14). Let r(n) = -n. Let s be r(-4). Solve -s*j + 1 = -j + v, -19 = 3*j + t*v for j.
2
Let n = -12 - -32. Solve -2*q - 10 = 2*z, -4 = -4*q - n for z.
-1
Let i be (20/(-12))/((-10)/36). Suppose 2*z - 4 = i. Solve 4*q = z*v - 25, 2*v + 3*q + 2*q = 10 for v.
5
Suppose 4*r = 5*z + 6*r, -4*z + 5*r - 33 = 0. Let d be 6 + (z - 2/2). Solve -2*k + 8 = -4*k - o, -3*k = -d*o + 21 for k.
-5
Let a = -4 - -21. Let f = 22 - a. Solve 0*q - 3*h = f*q - 26, -q = -2*h for q.
4
Let k = -12 + 16. Suppose -3*s + 4*u + 2 = -s, 5*s + 3*u = 18. Suppose 0 = s*y + 2*y - 140. Solve -z = -4*d - 6*z - 8, 4*z = k*d - y for d.
3
Suppose -2*m + 3*o - 13 = -m, 5*o = 3*m + 35. Let a be (m/6)/(3/(-9)). Solve 3*y + 9 = -w - a, -3*y - 5*w = 10 for y.
-5
Let c(o) = -o**3 + 7*o**2 + 10*o - 11. Suppose 5*h - 3*t - 43 = -0*t, -2*h + 11 = 5*t. Let s be c(h). Solve z + 2 = s*d + 7, -5*d = -4*z + 5 for d.
-1
Let g = 52 + -22. Let i = g + -22. Solve 2*h + i = 0, -5 = 2*t - t + 2*h for t.
3
Suppose 4*j = 2*j + 10. Solve i - 20 = j*l, -6*l - 5 = -3*i - 2*l for i.
-5
Let h be 2*2/(-4) + 4. Solve -12 = -3*z + 3*y, 3*z - 5*y - 13 = -h for z.
5
Let m(a) = 2*a + 16. Let l be m(-7). Solve -v + p = 3*p - 8, 0 = -v + l*p - 8 for v.
0
Let o(g) = g - 4. Let m be o(7). Solve -m*w = 2*w - s + 25, -4*w - 5*s + 9 = 0 for w.
-4
Suppose m - j - 4*j = -3, 7 = 5*m - 3*j. Solve -3*l - 5 = c, -3*c - 13 = m*l - 5 for l.
-1
Let s = 20 - 35. Suppose 4*b = 4*a + 84, 3*a - 5*b + 59 = -b. Let q = s - a. Solve -q = -3*u - x + 4, x + 1 = 0 for u.
5
Let g be 36/24*(-8)/(-6). Solve c + 7 = 4*q, g = -q + c + 6 for q.
1
Let z(x) = -x**3 + 6*x**2 + 10*x + 3. Let l = -6 - -13. Let r be z(l). Solve -3*k = -2*c - 4 - 4, -4*k + r = 4*c for c.
2
Let t(b) = b**3 - 2*b**2 - 4*b + 3. Let v(z) = -3*z. Let d be v(-1). Let s be t(d). Let j = s + 4. Solve j*h = -2*f - 14, 0 = -2*f - f - 5*h - 20 for f.
-5
Let x be 5/(-15) + (-34)/(-3). Suppose -6*g = -x*g + 75. Solve -3*i + 4*f = g, 5*i - 4*f - f = -25 for i.
-5
Let n(u) = u**2 - 13. Let g be n(0). Let c = g - -22. Suppose 4*h - c = h. Solve h*y + 5*d - 17 = -0*y, 4*y - 19 = -3*d for y.
4
Let x = -26 + 21. Let d be 834/30 + (-1)/x. Solve 5*s - d = 2*w, w + 2*w + 4*s = 4 for w.
-4
Suppose -5*w + 14 = -3*r, -2*w - 2*r = r - 14. Solve -o = w, -5*p + 5*o + 22 = -13 for p.
3
Let z(h) = h**2 + 5*h + 2. Suppose -4*q = q + 25. Let c be z(q). Solve -5*a = -2*v, -5*a + 5 = -v - c*v for v.
-5
Let f = 1 - -3. Let x = 7 - f. Let d be -6*3/x*-1. Solve -2*l +