 -x*c = -q - 3*c - 2, -2*q + 4*c = -26 for q.
3
Let x = 83 - 80. Solve -s = -2*s - x*d - 6, -2*s + 6 = -3*d for s.
0
Let g = -14 + 4. Let x = g - -15. Let s(y) = y - 3. Let p be s(x). Solve -2*w - i - 1 = -0, -26 = p*w - 4*i for w.
-3
Suppose -4*b = -3*b - 12. Let f be 8/b*(5 + 1). Solve -3*u - f*s = -26, 3*u - u + 6 = 2*s for u.
2
Let o(s) = -s**3 + 9*s**2 + 1. Let t be o(9). Suppose -2*j - t = -9. Solve -8 = -v + 3*q, -q = -4*v + j*q + 18 for v.
2
Suppose 0*d + 11 = 5*d + 3*v, d = 5*v + 19. Solve -2*y + d = y + 2*o, 5*o = -5 for y.
2
Suppose -d - 2 = -5*v, -8 = -5*v - 4*d + 9. Let q be 1 + (28/4)/v. Solve 2*g - 2*a = -q, 0*g + 3*g - 3 = -2*a for g.
-1
Let a be 12/36 - 28/(-6). Solve 0 = 5*p - 5*j + 15, p + 3*j - a = 2*p for p.
-2
Suppose -4*a + 3*c + 22 = -2*a, 3*c + 12 = 0. Solve -a*y = 3*z - 17, -2*y + 4*y - 5 = -3*z for y.
4
Suppose 5*c - 2*l - 22 = 2*l, 0 = -2*l + 4. Solve c = 3*b - g, 0 = -3*b - 0*g + 5*g + 6 for b.
2
Let l(y) = -y + 13. Let x be l(7). Solve 3 = -g - 4*z, -g - 4*z + 15 = -x*g for g.
-3
Let g = -38 + 43. Solve -g*j + 35 = -3*o - 0*o, 3*o + 15 = 0 for j.
4
Suppose -4*y = -3*y + 6. Let l be (y/4)/((-3)/10). Solve -3*u = l*r - 4*r + 17, 0 = u - 2*r - 6 for u.
-4
Let a be 8/(-1) - (6 + -4). Let n be (-2)/a - 38/(-10). Solve -n*t = -2*b - 2*b, -4*b + 5*t = -5 for b.
-5
Let m(s) = -s - 3. Let v be m(-8). Solve 5*d - 4*l + l + 32 = 0, 0 = -v*d - l - 16 for d.
-4
Suppose -2*t + 6*k - 4*k = 0, 0 = -4*t - 3*k + 28. Solve 0 = 3*x - 2*z - 13, -5*x - t*z = -4 + 19 for x.
1
Suppose 4*i - 3*i = 2. Suppose 5*s - 40 = b, -4*b = -i*s + 14 + 20. Solve 5 = 2*h - 0*h - z, 0 = -2*h + 5*z - s for h.
4
Let x = 41 + -36. Solve -4*u = -2*k - 4, 3*u + 6 = x*k + u for k.
2
Let j(g) = -1 + 2*g - 6*g + g. Suppose 3*k + 4 = -k. Let u be j(k). Solve -2*t = 3*h - 14, h + 10 = u*t + 4 for t.
4
Suppose 5*r + 6 = -4. Let w be (-1)/(r - (-15)/6). Let v = 0 - w. Solve 0*b + 3*c = -v*b - 9, 5*c + 17 = -4*b for b.
-3
Suppose -3*c = 5*r, -r - 5*c = 2*r. Solve -4*m - 6 = -0*x + 2*x, r = 4*x + 4 for m.
-1
Let j be (-62)/(-5) - (-10)/(-25). Let v = j - 11. Solve -w + 2*b - 9 - v = 0, -4*w - 3*b + 15 = 0 for w.
0
Let s = -14 - -17. Solve 5*t - s - 14 = -2*v, t = -5*v - 15 for v.
-4
Suppose 4*d - 3*d - 6*d = 0. Solve -5*h = d, -5*g = 5*h + 21 - 6 for g.
-3
Suppose -2*c - 25 = -7*c. Suppose -4*l = c*s - 17, 4*l - 4*s = s + 7. Solve -z = -l*z - 2, 2*z = -u + 3 for u.
5
Suppose 6 = -14*r + 17*r. Solve -2*h + 0*h + r*k + 12 = 0, 0 = -k - 1 for h.
5
Let g = 7 + -4. Let f be (10/g)/(2/3). Let u(s) = s**2 + 5*s - 1. Let o be u(-6). Solve -5*z = -o*p + 20, f*p = -z - 1 + 15 for z.
-1
Suppose -o = -3*q - 8, 36 = 3*o - 0*q + 3*q. Solve 19 = 5*f + 3*w + 1, 3*f + 2*w - o = 0 for f.
3
Suppose 2*p + 2*p + 2*c = 44, -4*p = -5*c - 16. Let f = p - 4. Suppose -3 = -f*u + 12. Solve -2*z = -3*j - j - 6, 0 = -u*z - 5*j - 2 for z.
1
Let c be (0 + 7)/1 - 1. Let h(d) = -d**2. Let u(a) = -3*a**2 + 5*a + 2. Let k(l) = 2*h(l) - u(l). Let r be k(c). Solve -1 = -f + 3*g + 3, 4*f + 8 = r*g for f.
-5
Let k(w) = w**2 - w - 20. Let a be k(-4). Solve a = 3*t - 5*i - 26, 3*i = -5*t - 1 - 1 for t.
2
Let r(d) = -4 + 2*d - 6*d + 3*d + 0*d. Let a be r(-6). Solve -a*y + 33 = -5*t, -5*t - 10 = -3*t for y.
4
Let o(b) be the first derivative of 9*b**2/2 + b - 2. Let z be o(2). Solve -z = -2*m + 4*n - 3, n + 4 = -4*m for m.
0
Let u be 144/3 - (1 - 1). Let x(s) = 3*s. Let q be x(1). Suppose -u = -q*m - m. Solve 0 = 2*y + p + 6, 4*y + 3*p + p = -m for y.
-3
Let q be (0 + 2)/(1/(-3)). Let k = -4 - q. Suppose 0 = -k*r - 0 + 6. Solve 0 = o + 3*s - 8, -4*o + 0*s + 2 = -r*s for o.
2
Let c = 3 + 7. Suppose -11*q = -c*q - 12. Solve -n - q = -2*k + n, 4*n + 28 = 5*k for k.
4
Suppose -4 = -5*q + q. Let a be (0/q)/((-24)/(-8)). Solve -z + 4 + 11 = 3*u, -z = a for u.
5
Let j(b) = 2*b**2 - 3 + 1 - 1 - 3 + 8*b. Let a be j(-5). Let p = -5 + 8. Solve 0*z = a*z + 4*h - 20, 0 = p*h for z.
5
Let m(r) = -r + 3. Let v be m(-12). Solve 0 = g + 3*s + 14, -3*g = 3*s + 3 + v for g.
-2
Suppose 6*k - 3*k - 2*u = 8, 5*k - 10 = 5*u. Suppose n + 10 + 12 = -5*s, -10 = -5*n - s. Solve 4*f - v - 2*v = 0, k*f + n*v = 0 for f.
0
Suppose 8*n = 3*n. Solve n = -3*c - 2*m - 1, -4*m + 1 = -2*c - 5 for c.
-1
Suppose -4*f + 5*k + 17 + 6 = 0, 3*f = 5*k + 21. Solve -3*i - 2*p - f - 5 = 0, -5*i + 4*p + 25 = 0 for i.
1
Let a = 2 - 0. Suppose 7 = x - a*x - 5*y, -2 = y. Let i be (1/(-3))/(2/(-30)). Solve -5*q - 2*v + 1 = 0, -5 = -x*q + i*q - v for q.
-1
Suppose 5*c + 5*b + 1 - 66 = 0, 3*c - 4*b - 4 = 0. Suppose c = 2*d - 0. Let u be ((-2)/3)/(1/(-6)). Solve -3*w + 0*x + 4*x = 23, d*w + u*x = 16 for w.
-1
Suppose -2*j = 2 - 10. Solve j*p + h - 4 = -3*h, -5*p + 5*h = 25 for p.
-2
Let q(p) = -p - 6. Suppose u + 16 = -3*u. Let k be q(u). Let r = 5 + k. Solve -14 = -b - r*h, 0*h = -5*b + 3*h + 16 for b.
5
Let y be -10*((-48)/20 + 2). Solve y*q = q - b + 15, 0 = 4*b for q.
5
Suppose -13 = -3*p + 2*r, -18 - 3 = -5*p + 4*r. Suppose -3 = -5*n + 7. Let u = 1 + n. Solve 2*b = f + b - 7, -11 = -p*f - u*b for f.
4
Suppose 5*v = -4*g, 0 = -2*g - 0*v - v + 6. Solve 2*z = 2*m, g*m = 3*z - 0*m - 4 for z.
-2
Let w = 5 - 7. Let z = 4 + w. Solve 4*u - 24 = 5*f, 0*f - z*f - 4*u = 4 for f.
-4
Let u = -3 + 7. Let b = u - 4. Solve -v + b*v - 5*r - 3 = 0, 0 = 2*v + 3*r + 6 for v.
-3
Let b = -52 + 32. Let c = 50 + b. Solve -3*w + 15 = 0, 2*w = -2*u - 2*w + c for u.
5
Let j be (4 + 2)/((-18)/(-12)). Let r = 4 - 2. Solve -d = r*s - 11, -j*s + 2*s = -5*d - 5 for d.
1
Let g(a) = -a**2 + 6*a - 5. Let d be g(4). Suppose 4*z - 16 = 52. Suppose s - 5*n - 1 = -2, 3*s = -5*n + z. Solve -s*m - 4 = 4*x, -d*m = -5*m - x - 5 for m.
-4
Let c(r) = 4*r**2 + 3*r - 2. Let m be c(1). Suppose -5*j + 25 = m*h, 6*h - 3*h = -2*j + 17. Solve h = -5*x + 2*p, p = -4*x - 2*p - 1 for x.
-1
Suppose 5*k = 3*i, -i - 3*i + 20 = 0. Let w(p) = -p**2 - 6*p - 2. Let c be w(-5). Solve -2*m = -2*r + m - 16, -k*r + c*m = 18 for r.
-2
Let p be 1/(-2)*(3 - 3). Suppose 3*t - 21 = 3*c, 3*c + 29 = 4*t - 0*c. Let s be ((-3)/(-2))/(1/t). Solve 0 = -r - 3, p = -5*f + 4*r + s for f.
0
Let q(m) = -m**2 + 15*m + 20. Let b be q(16). Solve r - 2*t = -14, b*r + 26 = 2*t - 0 for r.
-4
Let n(a) = -2*a - 6. Let v = -9 - -5. Let p be n(v). Suppose k = m - 7 - 0, -26 = -2*m - p*k. Solve -3*x + 22 = -4*i, 2*x + 3*i = x - m for x.
2
Let r be ((-9)/(-27))/((-2)/30). Let o = -2 - r. Solve -3*i + i = -3*q - 20, o*q + 8 = -i for q.
-4
Let h(g) = 2*g**2 - 2*g - 2. Let w be h(2). Let m be (0/(2 - -1))/w. Suppose 6*d - d - 120 = m. Solve 4*j = f - d, -2*j - 5*f + 30 = -4*j for j.
-5
Suppose 0 = -3*r + 2*w - 7, -r = r + w + 14. Let y = r - -9. Solve -3*l = -y*f - 1, -2*l = -3*l - 2*f - 13 for l.
-5
Let s = 41 + -37. Solve 0 = 4*l - 20, -3*v = -0*l - l - s for v.
3
Suppose 0 = -u + 5 - 15. Let g be 4/u + (-37)/(-5). Let j be (-4)/(-14) + (-2)/g. Solve -2*o + 30 = -5*w + 11, j = 5*o + w - 7 for o.
2
Let g be (-126)/(-8) - 6/(-24). Solve -5*z + z = -g, 0 = 5*w + z + 6 for w.
-2
Suppose -2*g + 95 = 3*g + 5*o, g + 5*o - 3 = 0. Solve z + g = 4*x, z + 3*x = 10 + 2 for z.
-3
Let v(d) be the third derivative of -d**5/60 + 5*d**4/12 + 5*d**3/2 - d**2. Let j be v(11). Solve -20 = 5*z + 4*i - 0*i, -j*z = -5*i + 16 for z.
-4
Suppose -y - 2 = -2*y. Suppose -g + 3 = -y. Let n be 2*2*30/8. Solve 0 = -g*t - n, 2 + 3 = -q - 3*t for q.
4
Suppose 0 = 4*f - 4, -2*f - 2*f = 5*l - 29. Solve l*b - 2*m - 3 = 10, -5 = -b + m for b.
1
Suppose 2*y - 2*h = 58, 2*y + 3*y = h + 149. Solve 4*a = -2*n + y, n - 6*n + 35 = 2*a for a.
5
Suppose -55 = -3*q - 4*y, -3*y - 85 = -5*q - 8*y. Suppose 5*f + 11 = -4. Let v be -3 - f - (-2 - 3). Solve -v*x + 3*n = 29, 2*n - 31 = 3*x - q for x.
-4
Suppose j + 3*l = 4*l + 3, -7 = -2*j + l. Solve -3*i = -3*g + 3, -j*i - g = 3*g - 12 for i.
1
Suppose 7 = 4*v - 9. Suppose 0 = -v*u - 2 - 22. Let z be 6*(10/u + 2). Solve 3*i - 10 = -2*y + i, 4*y = z*i + 8 for y.
3
Let w = 3 - 3. Suppose w = b + b. Solve -8 = -2*y - p, 0 = -4*y + p - b*p + 4 for y.
2
Let h(q) = 0*q + 6*q**3 - 5*q**3 + 4*q + 3*q**2 + 4 - 8*q**2. Let x be h(4). Suppose -5*y = -0*y - 10. Solve -5*k = 2*m + 9, x*k + 4 = -m - y for k.
-1
Let p(l) = 7*l + 8. Let m be p(-5). Let c = -8 - m. Solve 3*b + 3 = 2*x, 4*x + 4*b = -x + c for x.
3
Suppose y - 10 = -4*o, -2*o + 15 = 4*y + 3. Let z 