 q*s, -s - 23 = 5*w - 6 for w.
-4
Let c = 47 - 43. Solve 15 = -c*b - 7*f + 2*f, 0 = -5*b + 2*f - 27 for b.
-5
Let c(b) = -b**2 - 3*b + 2. Let w be c(-2). Suppose 0 = -3*k + 3, g - w*k + 3 = k. Solve -4*h + 0*j - 18 = -g*j, 5*h + 2*j = -9 for h.
-3
Let l = -24 - -34. Let o = l - 6. Let g(p) = p**3 - 6*p**2 + 2. Let a be g(6). Solve o*w - c + a*c + 1 = 0, w + 14 = -3*c for w.
1
Let o = 7 - -7. Solve 2*g - 4*q - 6 = 0, -2 = -4*g + 2*q - o for g.
-5
Suppose -4*y - 50 = -2*n, -3*n + 2*y + 3*y = -76. Suppose 4*f - n = f. Solve t - f = -3*l + 5, l - 4*t = -17 for l.
3
Suppose -y - 2*j + 23 = 5, 3*y + 5*j = 53. Solve 0 = 4*t + 5*g + 4, -2*t + t - y = 5*g for t.
4
Suppose 3*h = -1 + 22. Suppose -3*o = -h*o + 12. Solve -4*p + 0*n - o*n = -7, -4*n = -3*p + 24 for p.
4
Suppose 0 = 39*u - 35*u - 12. Solve r - 2*r = 2*q - 11, 3*q - 3 = u*r for r.
3
Let c(l) = -4*l**3 - 8*l**2 - 5*l - 5. Let q be c(-2). Solve 0 = 2*r - 3*z + 8, -q*r + 4 - 24 = 2*z for r.
-4
Suppose 30 = 4*h - 2*h. Suppose -3*m + h = 0, -5*n = -10*n - 2*m + 30. Solve -u - n*r = 0, 4*r - r + 5 = -2*u for u.
-4
Let v be 14*(1/(-2) + 1). Solve 2*w + 3*s = -2, 0 = v*s - 2*s for w.
-1
Let u be -5*-4*7/10. Suppose -2*c = -o - 9, 5*c - 23 = o + o. Solve 0 = 4*p - c*p + 5, h + 3*p - u = 0 for h.
-1
Suppose 4*u + 2*s = s + 15, 3*u + 3*s - 9 = 0. Solve -u*h = -3*z - 31, -1 = 3*z + 2*h + 6 for z.
-5
Suppose z = -5*t - 3*z + 17, -5*z = t + 5. Solve -2*j - f - 24 = -5*f, -5*j = -t*f + 40 for j.
-4
Let z(b) = b**2 + 3*b - 4. Let t(u) = -u - 17. Let o be t(-10). Let a = -11 - o. Let v be z(a). Solve -p - 3 = 4*g, 4*p = 2*g - v*g - 12 for g.
0
Let g be -3 - (0 + -2 - 46). Solve 4*z - 5*l + g = 0, 0 + 5 = 4*z + 5*l for z.
-5
Suppose -3*t = 3*u - 30, 0*u + 5*u - 53 = -4*t. Suppose -5*q = -3*x - u, -3*x - x = 4. Solve -z + 4*y - 16 = z, -14 = 4*z - q*y for z.
-2
Let x(y) = -y**3 - 3*y**2 - y. Let r be x(-3). Solve d - 10 = -4*j - 4*d, r*d = -6 for j.
5
Let o be -1*(-1 - -1) + 0. Suppose 0 = -4*y + 5*y - 4. Let t = y + o. Solve 10 = 2*d, 0*d = 5*c + t*d for c.
-4
Suppose x - 5*f = 0, -3 = -3*f - 0*f. Let t be 9/(-6)*(-4)/3. Suppose 5*p - 143 - t = 0. Solve x*j + p = -3*n, -4*j = -j + 3*n + 21 for j.
-4
Let s be 4/(-10) + 4/10. Solve -u - 5*h - 16 = s, -u + 3*h + 8 = -2*u for u.
4
Let z(j) = -j**3 + 2*j**2 + 5*j - 4. Let p be z(3). Let c(n) = 2*n**2 + 4*n + 3. Let m be c(-2). Solve 0*d + 2*d - 4*k - 2 = 0, -m*d = -p*k - 11 for d.
5
Suppose -5*i - 44 = -14. Let w be (5/4)/(i/(-24)). Solve -4*z + 16 = o - 5*o, -w*z + 12 = -o for z.
2
Suppose -3*w + 0 = -2*r + 5, -3*r = -2*w - 10. Let n be r*(-52)/(-8) + 1. Solve h - 5*p = 15, -2*h - h - n = 3*p for h.
-5
Suppose 3*j - j + 4*g + 12 = 0, 0 = -5*j - 5*g - 10. Solve t = 4*k - 18, -k + 4*t + j = 5 for k.
5
Suppose 2*s + 6 = 5*s. Suppose -4*z - 3*f = -8 - 20, 0 = -2*f. Suppose -l + 4*l - 7 = -2*a, 5*a - z = -4*l. Solve 12 = -t - l*o, s*o - 26 = -2*t + 6*o for t.
3
Suppose -t + 6 = y, 10 - 2 = 4*t. Solve 3*h + 0 = 5*o - 5, 2*h = 3*o - y for h.
-5
Let x be (-1)/1*8/(-2). Suppose -3*s + 3 = -2*s. Suppose -10 = 4*m - 26, -f + 4*m = -4. Solve -w + f = x*w + 5*q, -q + 6 = s*w for w.
1
Suppose 0*q = 4*q - 2*c - 26, -5*c = 3*q. Solve w - 15 = -2*w, -3*w - q = 4*y for y.
-5
Let f = 5 - 2. Suppose 0 = f*g - 8*g + 5. Solve -u + g = z, 0 = 3*u - z + 16 + 1 for u.
-4
Let b be (-4)/(-18) + (-187)/(-9). Suppose 0*g = -3*g + b. Solve n - g*p - 7 = -2*p, -n = -3*p - 5 for n.
2
Let w(i) be the first derivative of i**3/3 + 7*i**2/2 + i + 7. Let z be w(-9). Solve -u - 4 = -2*a + 3*u, 4*a + 3*u - z = 0 for a.
4
Suppose 7*p - 4*a - 6 = 2*p, 5*p + 2*a = 12. Solve -p*k = q + 1 + 3, q = 3*k + 6 for k.
-2
Let d be (-2)/4*-2*5. Suppose d*g = 5 + 5. Let u be (-32)/4*(1 - g). Solve 5*y = -r - 10, 4*y + u*r = 3*r - 8 for y.
-2
Suppose -2*g = -2*n - 30, 0 = g + 5*n - 3*n. Suppose -g = -5*v, 0*v + 26 = 4*t - 3*v. Let h = t - 6. Solve -5*o = 5*x - 15, h*o + 2 = -0*o for x.
4
Suppose 4*z = 3*p - 37, z + 0*z = 2*p - 23. Let v be (6/15)/((-76)/40 - -2). Solve 2*i + 7 = -r, 2*r + v*i = 3*r - p for r.
-1
Let b = 190 - 186. Solve 0 = -l + b*i - 5, 0 = 4*l - l + 5*i - 2 for l.
-1
Let y be (-2)/(-2) + 2/1. Suppose 8*u - 23 = y*u - l, u - 1 = -2*l. Let z be -3 + (-20)/(0 - 1). Solve -4*o - z = u*a, -2*o - 11 = 6*a - a for a.
-1
Let h be (-1)/(6/(-8) + 1). Let l be (3 + (h - -3))*1. Solve -2*s + l = -4*x - 8, -2*x - 3 = -3*s for x.
-3
Let l(u) = u**3 - 3*u**2 + 2*u - 4. Suppose 6 = 4*t - 3*v, -4*t + 2*v + 4 = -4. Let p be l(t). Solve -27 = -p*q - 5*n - 9, 4*q - 12 = 2*n for q.
4
Suppose 3*a = 6*l - 2*l + 8, -4 = 5*a + 2*l. Solve a*n + 2*n + 8 = -2*t, 0 = 5*t + 2*n + 11 for t.
-1
Suppose -3*m + 3 = -9. Suppose -q = m*q - 25. Suppose 2*n - q = -j, j + 10 = 3*j - 2*n. Solve j = -b + 3*z - 7, -9 = 2*b - 3*z for b.
3
Suppose 0 = 5*p + 2*w - 18, p + w - 7 = -p. Solve p*u = -4*x - 20, -x + 0*x = 0 for u.
-5
Let d be -5*((-24)/(-10))/(-1). Let f be -3 + (8 - 3) - 0. Suppose f*u - 5 = 4*u + 3*y, 0 = u + 4*y + 10. Solve 2*n + u*l - 1 = 3*l, -5*l - d = -3*n for n.
-1
Let w be (1/(-3))/(4/(-60)). Suppose 0*n = -w*n + 20. Solve s = -n*g + 20, s - 7 = -g + 1 for g.
4
Let r(h) be the first derivative of h**4/4 + 5*h**3/3 + 3*h**2/2 - 1. Let d be r(-4). Solve 2*i = d*c - 2*c - 12, 0 = -4*c - 2*i for c.
2
Suppose 4*k = -36 + 100. Suppose -i = -5*t + i + k, -22 = -3*t - 5*i. Solve -5*c = -5*j + 35, -2*j - c + 4 = -t for j.
5
Let k = -26 + 37. Solve -w + 6*b - 2*b + 17 = 0, 0 = -4*w - 3*b + k for w.
5
Let d be 1 - 1 - (-2 - -3). Let t be (3 - -19)*d/(-2). Solve p - 5 = 3*l, l - 5*l - 3*p - t = 0 for l.
-2
Let q be 0*((-45)/(-10) - 5). Solve -6 + 1 = 5*b + s, 5*s = q for b.
-1
Suppose 14 - 154 = 4*x - 4*h, 4*x + h + 120 = 0. Let y = 51 + x. Let q be 1/((-2)/(-12)*3). Solve 0 = q*w - 3*m - y, 2*w + 4*m - 4 = -3*w for w.
4
Let i be ((-48)/(-40))/((-6)/(-20)). Solve 0 = -4*j - 0*j + 2*w + 16, 5*j + i*w = -6 for j.
2
Let y = 5 + 0. Suppose 0 = -2*h, y*m + 0*h = -2*h + 25. Suppose 3*t = 4*s - 14, 3*t = -m*s + 5*t + 14. Solve -s*d - 2 = 4*p, -3*p - 3 = -2*p + d for p.
2
Suppose 2*v + 4*r = -2, -4*r = 3*v + v - 4. Suppose 2*g - v = -2*n + 17, -2*n + 4*g = 10. Solve 0 = -n*f + 3*l - 7*l - 15, f + 2*l + 3 = 0 for f.
-3
Suppose -2*k + 1 + 5 = 0. Suppose -k*y + 15 = 3. Solve -5 = 2*d + 3*b, d + 3*b = y*d for d.
-1
Let s be ((-3)/(-2))/((-21)/(-28)). Let i be -1*s*(-1 - 4). Solve 4*p + 7 = -k, -2*p = -2*k + 2*p + i for k.
1
Let z(p) = -p + 8. Let v be z(5). Solve -3 = 2*h + 3*j, v*h + 4*j + 6 = h for h.
3
Suppose 42 = -4*u + u. Let k be u/(-8) - 3/4. Solve r = 3*o + 7, 0*o - o = k for r.
4
Suppose 0 = -v - 1 + 4. Solve 0 = -3*n - 2*i + 10, -v*n + 8*n + 3*i = 17 for n.
4
Let z(t) = t**2 + 3*t. Let j be z(-4). Let k = 11 + -5. Let g be ((-3)/k)/((-1)/2). Solve j*f = -3*y - 6 + g, 2*f + 10 = -4*y for f.
1
Let s(b) = -b**2 - 15*b + 2. Let x be s(-15). Solve -4*u = 3*y - 2, x*u + 4 = u - 3*y for u.
2
Let h be 115/10 + (-2)/4. Suppose 0 = 5*c - 3*x - 9, 5*c - 4*x - 12 = -0. Solve 5*a + h = -k - c*k, -2*k = -a - 11 for k.
4
Suppose 3 - 1 = m. Let y = -42 - -45. Solve 4*f - f - 17 = q, -q + y = m*f for q.
-5
Suppose 3*j - 10 = 2*z, -3*j + 6 = z - 7. Let p(u) = -u - 1. Let n be p(-1). Solve 3*x - 2*m = -8, 0 = x - 4*m - n*m - j for x.
-4
Suppose 10 = -4*a + 26. Solve 0 = -a*f - 16, -f = 5*x - 6*f - 20 for x.
0
Suppose -5*x = -x + 28. Let z = 8 - x. Suppose 3*o - 19 = -4*v, 3*v = 6*v + 2*o - z. Solve 5*l - 5*m = -v*m + 12, -l = -2*m - 12 for l.
4
Suppose -v + 4*m = 8, -4*m + 8 = -6*v + 7*v. Solve 3*t = -4*j - 10, v*j + 5*t + 10 = -5*j for j.
-4
Let y be (2 + -3)/(3/48). Let v = y + 20. Solve -2*w = v*o - w + 13, 3*o + 10 = -w for o.
-3
Suppose n - 20 = 3*n. Let p be (-8 - -3)*(-4)/n. Let b = p - -5. Solve -2*k + b = 4*z - 5, -2*k + 2*z = 16 for k.
-4
Let s(u) = -u**3 - u**2 + u - 1. Let r be s(1). Let k be 1/r - 30/(-4). Solve 3*l + 1 = i + 2, -5*l + k = -3*i for i.
-4
Let n be 454/30 - 8/60. Solve 5*i + 5*r - n = 0, 2*i = 6*i - 3*r - 12 for i.
3
Suppose 0 = 3*x - 5 - 10. Let c = -5 + 8. Solve -25 = -x*j + c*z - 0*z, -z = 0 for j.
5
Suppose 0 = -3*n + 2*f + 2, 0 = -4*n + 7*f - 2*f - 2. Solve -2*w = -n*s - 6, 2*s = -3*s + 2*w - 6 for s.
0
Suppose 0 = 2*q - 4*t - 4 - 4, 3*t - 57 = -3*q. Let y(b) = b**3 - 15*b**2 + 16*b - 18. Let x be y(q). Solve -18 =