3*c = -z - h, -c + 1 = -3*z + 2 for c.
2
Suppose -3*f = 4*c - 0*c + 275, -3*c - 3*f - 207 = 0. Let k = -65 - c. Solve -y + 11 = -0*y - 3*t, k*t = 3*y - 15 for y.
2
Let t(r) = r**3 + r + 2. Let p be t(0). Suppose -5*u + 7 = -4*b - 1, 4*b - u - 8 = 0. Solve 0 = -p*y - b*n - 23, -n + 3 = -4*y - 8 for y.
-4
Let m(c) = -c**2 - 6*c - 6. Let k be m(-3). Solve 0 = 4*p + 3*l + k, -4*p = -2*l - 13 - 9 for p.
3
Suppose 6*y - 3*y - 6 = 0. Let c(v) be the first derivative of 2*v**3/3 + 5*v**2/2 - 2*v + 2. Let g be c(-4). Solve 2*p - g = 4*s, -s - y = -0*s - p for s.
-3
Let l = 1480 - 1455. Solve -3*i - 1 = 14, 0 = -3*y - 2*i - l for y.
-5
Let u(c) = c + 11. Let o be u(-9). Suppose 5*f - 7 = 5*p - 142, 4*p = o*f + 114. Solve 5*r + 3*w = p, 2*w - 15 = -w for r.
3
Let g(l) be the second derivative of -l**3/2 - 14*l**2 + 46*l. Let t be g(-14). Solve 0 = -2*h - 3*o + t, -4*o + 28 = 7*h - 2*h for h.
4
Let k(m) = 30*m - 7. Let y(z) = 15*z - 3. Let j(w) = 2*k(w) - 5*y(w). Let d be j(1). Let r = -12 - d. Solve r*n - 3*n - 4*h = -8, -3*n = -h - 11 for n.
4
Suppose o - 2*c = -12 + 1, c = 4. Let n be (o - (-3 - -2)) + -1 + 6. Solve -n*k - k + 3 = 3*h, k - 5*h + 5 = 0 for k.
0
Suppose -9*t + 36 = 3*t. Solve 8*f + 2*k + 17 = t*f, 2*k = 4*f + 28 for f.
-5
Suppose -8*g = 127 - 151. Solve -4*z + 4 = -g*n, -22 + 4 = 5*n - z for n.
-4
Let y(f) = -f + 13. Let x(a) = a**3 + 5*a**2 + 9. Let o be x(-5). Let d be y(o). Solve 0 = -d*q, -4*n + q - 4*q = 16 for n.
-4
Suppose 4*d = -d. Suppose -l = -z - d*z, 3*l - z = 6. Let j(i) = -5206*i - 36441. Let k be j(-7). Solve -l*f = 5*y - 2 - k, 14 = 2*y - 2*f for y.
3
Let v be ((-26)/6)/(2/6). Let w = 21 + v. Let o = w - 4. Solve 4*b + 3*d + 22 = 0, d + o*d = 3*b + 2 for b.
-4
Let n(s) = -18*s + 111. Let v be n(6). Solve 1 = 2*q + o, 5*q - v*o - 8 + 11 = 0 for q.
0
Let t = -1211 - -1211. Solve -2*v - 6 = t, 10*v - 14*v - 9 = -3*d for d.
-1
Let w(u) = 6. Let m(g) = -g. Let f = -5 + 6. Let c(z) = f*m(z) - w(z). Let r be c(-12). Solve 3*y = -o + r, 0 = -4*o + 2*y - 4 for o.
0
Let i be 0/(-7 + 0 + 3). Solve -3*a - 2*b + 5 = i, a - 3*b - 2*b = 13 for a.
3
Suppose -5*l + 314 - 149 = 0. Solve s - 2 = 2*k + 4, 2*s + 5*k = -l for s.
-4
Let f(z) = 3*z - 1. Let m be f(2). Let g = 823 - 820. Solve 0*r + p + 4 = g*r, -m*p = 4*r - 18 for r.
2
Let w(x) = 5*x**2. Let i(m) = -m**2 - 2*m + 10. Let r be i(0). Let l = -11 + r. Let d be w(l). Solve -d*b + 25 = -5*o, 2*b - 4*o - 15 = 3*b for b.
1
Suppose -x = -2*z + 2*x + 47, 5*z = 3*x + 113. Let b = z - 17. Solve -7*w + 3*w = -2*n - 6, 5*w = b*n for n.
3
Let z = 31 - 16. Suppose u = -3*d + 20, d = -d - u + z. Let i be -2*d*(-6)/15. Solve -5*s + o = 5, -4*s + 1 = o - i for s.
0
Let z(p) = p**3 + 33*p**2 + 181*p - 24. Let g be z(-26). Solve -g*m + 4*r + 12 = -m, 3*r = 3*m - 9 for m.
0
Let f = -13 - -20. Suppose 1 + f = x. Let k be -3 + 10 + -5 + 2. Solve k*q - 8 = -4*y, -q + 2*q - 5*y - x = 0 for q.
3
Let f be (2/30 + (-26)/65)*-6. Solve 2*x = -f, -h - 13*x = -8*x for h.
5
Let a(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 + 10*i - 2. Let m be a(0). Solve 0 = -3*q - 3*j - 12, -2*j - m = q - 2 for q.
0
Let n = -1 + 4. Suppose -2*o + 45 = n*o. Let s(g) = g - 6. Let x be s(o). Solve u = -5*l + l - 3, 2*l - 1 = -x*u for l.
-1
Let o = -210 - -214. Solve -3*b + m - 17 = -o*m, -3*b + 11 = 2*m for b.
1
Suppose -4*j + l = -10, 3*l = -4*j - j + 4. Solve -4*d - 8 = -j*g + 6*g, -3*d - 5*g = 16 for d.
3
Let r be (-52)/39*3/2. Let a(c) = -c + 3*c + 4*c**2 + 0*c**2 + 1. Let t be a(r). Solve 4*i = -2*o + 18, -i - 2*i = 2*o - t for i.
5
Let j(p) = p - 2. Let b be j(4). Suppose -4*m - 16 = b*y, -3*y + 21 = -5*m + 2*m. Solve 0 = 4*k + 2*c + c + 5, 0 = -4*k - y*c - 10 for k.
-5
Suppose -3*j = -15 - 159. Let p = j - 58. Let g(q) = q - 2. Let x be g(4). Solve z = p, x*v + 2*z = 3*z + 2 for v.
1
Suppose -4*z + 3*o + 9 = 12, 2*o = -3*z + 2. Solve 0 = 4*a - 16, z*a + 8 = -2*s + 4*a for s.
4
Let d = 375 + -373. Solve 4*f - f = -b + 1, 5*b = d*f + 22 for b.
4
Let u = 721 + -718. Solve 2*w = 2*q - u - 1, -5*w - 10 = q for q.
0
Let v(w) = w**2 - 11*w + 1. Let o be v(13). Suppose 15 = 5*y - i, o = y + 3*i + 8. Solve p = u + y, -p - 29 = 5*u - 3 for p.
-1
Let a be ((-12)/15)/((-2)/(-5)). Let j be 7 + (-6)/2 + a. Suppose -5*w + 3*s = -22, 2*w = j*s - 5*s + 13. Solve 2*v = 4*u, 3*v - w*u = 2*v - 3 for v.
2
Let y = -184 - -189. Solve 3*u - y = -s, -20 = u + 5*s - 3 for u.
3
Let r(f) = f**3 - 3*f**2 + 2. Let d be r(3). Suppose 7*m + 289 + 1139 = 0. Let b = -169 - m. Solve -g = 5*i - 30, 2*g - b = -d*i - 3*g for i.
5
Suppose -6*n - 18*n = -48. Solve -3*a + 5 = 2*k, -5*k = 2*a - 5*a - n for k.
1
Let k = -13 + 13. Suppose k = -6*z + 3*z. Let j be -1*z/(-1 - 3). Solve j = -5*o - 3*t - 15, 0*o - 2*o = -3*t + 6 for o.
-3
Let d be 6/10 + (-513)/(-95). Suppose -d*c = 2 - 14. Solve 2*j + 0 = 3*u - c, -4*u + j = -11 for u.
4
Suppose 54*v - 96 = 6*v. Solve d = c + 2*d + 7, 3*c = v*d - 11 for c.
-5
Let z = -581 + 586. Solve -20 = -z*j - 3*u + 2*u, 4*u + 4 = j for j.
4
Suppose 3*a + 4*u + 2 = 0, -4*a - 5*u = -0 + 2. Suppose -4*r - 6 = -p + a, -p + 5*r + 8 = 0. Solve p = 4*v - 0, 6 = q + 2*v for q.
2
Let u = 6 - 7. Let j be u*2 - (11 + 1). Let n be j/35 + 22/5. Solve -19 = n*g + x, -2*g - x - 19 = -8 for g.
-4
Let y = 280 - 277. Solve -5*j = -3*p + 7*p - 13, 0 = -p + y*j - 1 for p.
2
Let l = -11 + 33. Suppose l + 3 = 5*x. Solve 0 = -2*h + 3*h + 3*p - 1, 5*p = -x for h.
4
Let x = 14 - 10. Suppose 0 = 2*a - 5*c - 21, 3*a - 9*c - 42 = -5*c. Solve o - 4*r = -2*o - 20, r - a = x*o for o.
-4
Let g be (-6)/(-9)*(116/8 - 1). Suppose -4 = -g*n + 23. Solve -2*c - 3*l = 11, -3*c + 4*c + n = -l for c.
2
Let l be ((-52)/7 + 8)*(1 + 6). Let m be 1 + -3 + 1 + 255. Let u be 2/(-5) + m/10. Solve l*y - y = g - 19, -5*g + u = -y for g.
4
Let y(j) = 6*j**3 + 36*j**2 - 2*j - 7. Let f be y(-6). Solve u - m = -0*m - 3, 20 = f*m for u.
1
Let s be 0 + 52/24 - 1/6. Solve 3*i + 3 + 1 = -s*l, -5*l - 4*i = -4 for l.
4
Let b be 3 - (2 + 2 + -4). Let s = 60 + -105. Let i be (-5 + s)*(-1)/2. Solve 3*t + 24 = b*h, -4*h = -5*t - i - 10 for h.
5
Let l(q) = -q**3 + 8*q**2 - 4*q + 9. Let j be l(6). Let t = 120 - j. Suppose 3*r = 2*h + h - t, 27 = h - 3*r. Solve -4 = -4*c + 4, -4*y + h = 5*c for y.
2
Let p be -2*(3/(-2) - 1). Suppose -6*g = -0*g - 18. Suppose -2*j + 2*a = 0, -4*j - g*a + 24 = j. Solve -p*b - 4 = n + j*n, b = -5*n + 16 for n.
4
Let s(a) = -a**3 + 6*a**2 + 9*a + 2. Let h be s(7). Suppose -5*u = 1 - h. Suppose 15 = -5*j + 125. Solve 0 = -4*v - u*t + 50 - j, -5*v + 4*t = -4 for v.
4
Suppose 4*n - 43 = 3*l - 4*l, 0 = 4*n + 2*l - 46. Solve -4*q + 2 - n = 0, h - q = 5 for h.
3
Let v(g) = g**3 - 3*g**2 - 6*g + 10. Let m be v(4). Solve 0 = 3*c + 2*b - 17, -10 + 30 = 4*c + m*b for c.
3
Suppose -q + 7 = 5*j - 4*j, -8*j = 5*q - 50. Solve 0 = -2*d - q*d - 4*u - 28, -7 = -3*d + 4*u for d.
-3
Let j = 1 + -1. Suppose -3*w = -3*g, 4*g + 1 = -2*w + 13. Suppose -2*a - w*a = j. Solve -5*f + f = 2*o + 26, -2*o - 10 = a for f.
-4
Suppose 2*i + 5 = w + i, -22 = -4*w + 2*i. Let j = w - 7. Let n be -1 - 1*3/j. Solve -g + n*g + f = 8, -10 = -2*f for g.
3
Let v = -284 - -296. Solve 1 = -2*c + i, 7*c - 3*i = v*c - 25 for c.
2
Suppose -5*p = -3*v - 4 - 0, 5*p - 14 = -2*v. Solve -4*r = j + v*j + 4, 0 = -5*r + j - 5 for r.
-1
Let f be ((60/(-14))/(-3))/(45/126). Solve -4*i + 4*u = f, -8*u + 3*u = -3*i - 13 for i.
4
Let m = 132 + -66. Let r = m - 64. Solve -3*z = -5*j + 17, r*j + j = -2*z + 14 for z.
1
Let d = -15 - -13. Let n be -3*((-14)/6 - d). Suppose 2*a + n - 7 = 0. Solve -2*m = u - 1, a*u = -u - 3*m + 4 for u.
1
Let l = 6 + -2. Let z(q) = 85*q - 1101. Let x be z(13). Solve n - 13 = -2*p, -2*p - 28 = -x*p - l*n for p.
4
Suppose 5*g = g - 56. Let l be g + 10 + (29 - 0). Solve 4*u = 2*u + 2, 5*u - l = 4*a for a.
-5
Let t(r) = -3*r**3 - 4*r**2 - 2*r. Let b be t(-2). Let g(o) = -23*o + 71. Let u be g(3). Solve -2*y = h - 3, u*y + 4*h = y + b for y.
0
Let n(f) = 5*f - 18. Let p be n(6). Let t(m) = -2*m + 27. Let a be t(p). Solve -j - 6 = -3*g, 5*j - a = 3*g + 3 for j.
3
Suppose 3*n = 8*n. Suppose n = -3*w - 5*c + 49, 4*c - 73 = -2*w - 3*w. Solve 5*p = 3*u + w - 4, -5*u = -3*p - 1 for p.
3
Let o = -1094 - -1129. Solve -3*k + 1 = 4*c + 6, -2*k + 5*c = -o for k.
5
Suppose y - 3*j - 20 = 0, -4*j - 