 2*l + z - 1 - 2 = h for l.
1
Suppose -18*t + 15 = -13*t. Solve 0 = 5*b + t*n - 18, b - n - 2 = -0*b for b.
3
Suppose 5*o - 3*k - 1 = 0, 0 = 5*o - 4*k - 0*k + 2. Solve 5*l = 5*c, -o*c + 4 = -c for l.
4
Let o be 1 + -10 + -12 + 23. Solve 4*r = -r - o*f + 9, r + 12 = -5*f for r.
3
Suppose -3*p = 24*p - 405. Solve -7*n - i = -9*n + p, -i = n for n.
5
Suppose 89*l = 66*l. Solve n - 5*t + l*t = -3, -n - 4*t + 6 = 0 for n.
2
Suppose -3*u + 15 = 2*f, -18*f + 3*u - 6 = -17*f. Solve 0 = -f*p - 3*k + 2*k + 15, 5*k = 15 for p.
4
Suppose -117*h + 104 = -113*h. Solve 1 = 2*r - o + 7, 5*r + h = -3*o for r.
-4
Let x be (-111)/(-2) + (-20)/40. Let z be 1/(3/2) - x/(-3). Solve n = 2*q - 1, -q = 4*n + 5 - z for q.
2
Let u be 3 + (3 + -4)*7. Let i be (8/(-18))/(u/18). Suppose a = 3, j = -2*j + 2*a. Solve -i*k - 3*z - j*z = -5, -4*z - 9 = -k for k.
5
Suppose 172 = -14*n + 57*n. Solve 0 = -n*a + 3*u - 5, 0 = 19*a - 15*a + 2*u - 10 for a.
1
Let i be (-112)/48*(-18)/21. Solve -3*q = i*n + 5 - 0, -5*n + 25 = -5*q for n.
2
Let x = 3 + 2. Let u be (-1)/(-2 - 5/(-3)). Suppose -2*h + 0*h - s = -10, -3*h = -3*s + u. Solve -5*z = x*p + 20, 0 = -h*p + 4*p - 3*z - 4 for p.
-2
Let c be 15/30 + 94/4. Suppose -c = -15*q + 7*q. Solve -4*g - 20 = 3*j, -q*g + j = -0*j + 15 for g.
-5
Let l(m) = 2*m - 8. Let i be l(6). Suppose f = -1 - i. Let c be 1 - (-3 - f)*-1. Solve c*z - 4 = -1, -g = -2*z + 1 for g.
1
Let y be (-492)/(-156) + (-2)/13. Solve 4*x + 2*m - 6 = 0, 0 = -y*x - 3*m + 2 + 1 for x.
2
Suppose -2*v + 36 = -2*u, -4*u = -4*v + 2*v + 42. Solve -20 = 3*r + r + 4*t, -5*r - 3*t = v for r.
0
Suppose 5*m + k = 4*k + 7, 2*k = 4*m - 6. Suppose m = 4*w - 14. Solve 8 = w*b - 2*p, -b + 0 = -p - 2 for b.
2
Let k(y) = -17*y + 37. Let x be k(2). Solve -n + x = 2*w - 4*w, -4*w - 13 = 5*n for n.
-1
Suppose -f = 3*f - 20. Suppose -2*i = 4*t - 220, 2*t - 124 = 4*i - 14. Let g = -29 + t. Solve 5*h + z = 23, z - g = -f*h - z for h.
4
Let q be 15*((-52)/20 - -3). Suppose 0 = -5*s + 3*b + 24, 4*b - 12 = -2*s + q*b. Let w be -13 - -13 - (-9)/(3/1). Solve -2 - 4 = s*f - w*g, 0 = -5*g + 25 for f.
3
Let o(q) = -1 - 3*q - 3 - 3 - q. Let l be o(-3). Let a(s) = 4*s - 4. Let r be a(3). Solve 2*v - 1 = 2*y - l, 3*y - 4*v = r for y.
0
Suppose -29 = -3*u + 4*o, u - 10 = -o + 9. Let f(x) = -x + 13. Let w be f(u). Let v be (-2 + (-8)/w)*1. Solve 0 = v*n - b + 6, -2*b - 4 - 19 = 3*n for n.
-5
Let z(n) = 2*n. Let i = -43 - -48. Let g be z(i). Let s be 5*((-6)/5)/(-3). Solve -s*p = -6*d + d - 19, -5*d = -5*p + g for d.
-5
Let x(g) = -5*g**2 - 21*g + 28. Let l be x(-5). Solve -l = -3*a + a - 4*u, -3*a - 5*u = -10 for a.
0
Let k(v) = 12*v**3 + 2*v**2 + 2*v + 1. Let y be k(-1). Let h = -9 - y. Suppose 0 = 5*l - h*l. Solve 3*u + 15 = 2*u + 3*j, l = 4*j - 20 for u.
0
Let y(s) = 4*s**3 - 3*s**2 + 6*s - 3. Let g be y(1). Let i = 3 + 1. Suppose k = -0*k + i. Solve -4*a = g*b + k, 5*b - 4*a = 4*b - 1 for b.
-1
Suppose c + u = 351, 0 = -u - 2*u + 9. Let z be 2/10 + c/10. Suppose -4*j + r + 3 = 0, -6*j - 5*r + z = -j. Solve 3*p - 8*y + 3*y - 2 = 0, -p + j = -3*y for p.
-1
Let q = 372 - 369. Solve -3*n + 5*i = 0, 5*i + q = -2*n - 22 for n.
-5
Let r(d) = -d**2 + 7*d - 8. Suppose -5 = -5*c + 15. Let f be r(c). Solve 0 = -4*j - f*l + 4, -3*l - 5 = -0*j - 5*j for j.
1
Let z(j) = 12*j - 381. Let n be z(32). Suppose 3*k - 20 = 2*w, -4*w + 5*w + 20 = 4*k. Solve -6*a - k = -m - a, m - n*a = 4 for m.
4
Let i be 50/(-250) + 1/5. Solve -4*o = m - 6 - i, 2*o - 8 = -3*m for m.
2
Let f be 3/(3 + (-12)/8). Suppose 0 = f*z + 4*l + l - 27, -2*z - 4*l + 24 = 0. Let c be -6*(0 + (-4)/z). Solve 4*m - 28 = -5*b + b, 0 = 4*m - 2*b - c for m.
3
Suppose -3 = -5*w + 2*i, 0 = -3*w - 2*i + 1 + 4. Suppose -5*v = -0*v. Solve -10 = -5*h + 4*z, -5*h - 2*z + w + 9 = v for h.
2
Let c = -47 - -48. Let y be (((-36)/(-3))/(-4))/(0 - c). Solve 0*f + 2 = -2*f + z, -3*z - 3 = -y*f for f.
-3
Suppose -10*n - 3*c + 18 = -7*n, 2*n + c = 10. Let m = 8 - 8. Solve -2*s + 10 = m, -2*s = 4*g - n*s + 14 for g.
-1
Let u(b) = b**3 - b**2 - b. Let x(c) = 5*c**3 + 5*c**2 + 5*c + 3. Let q(t) = 4*u(t) - x(t). Let r be q(-8). Solve -5 = -w - p, w - r*w + 18 = 2*p for w.
4
Let x = -630 - -633. Solve 16 = 2*b + 2*d, -2*b - 2*d - x*d = -25 for b.
5
Let i be (-762)/(-30) + 6/(-15). Suppose -v = -4*r + 15, -r + i = -5*v + 7. Solve 4*b = r*q - 9, 0 = 3*q - 5*q - 4*b + 6 for q.
3
Suppose 0 = 47*g - 154 + 13. Solve -g*b = 4*x - 8 + 3, -5*b - 5*x = 0 for b.
-5
Let k be (-4)/(-10) + (-36)/(-10). Suppose 4 - 16 = -4*o. Suppose k*x = 11 - o. Solve 5*p - 2 = x*f, 3*p = 4*f - 6 - 4 for f.
4
Suppose -2*x + 11 = 5*k, 4*x - 24 + 20 = -4*k. Solve 0 = -2*a + 4*y, -k*y = 3*a + a for a.
0
Let r be 10/4*42/5. Suppose 0 = 2*a + r - 31. Solve -3*m + m - 6 = a*o, -2*m - 2 = 3*o for m.
2
Let m = 291 - 287. Solve m*g - q = -10, q + 4*q = g - 7 for g.
-3
Let v(n) = -n**3 - 2*n**2 - 6*n - 25. Let l be v(-3). Solve -l*k - 5 = -5*c, -2*c + 0 - 22 = 4*k for k.
-5
Let k(v) = v**2 + 37*v + 160. Let i be k(-32). Solve -5*r + 7*r + 4*u - 8 = i, 0 = -3*r - u + 7 for r.
2
Suppose -2*o = -5*f - 3*o + 85, -2*o + 51 = 3*f. Let k(m) = -m**2 + 15*m + 38. Let c be k(f). Solve 4*d + 12 = q + 3*q, -d = -c*q for d.
-4
Let y(d) = -d**2 + 7*d + 18. Let a be y(8). Suppose -3*v + a = 1. Solve 4*x - 4*k - 11 = k, -v*k + 7 = x for x.
4
Let w be ((-10)/4)/((-15)/36). Let h be w/5*(-10)/(-3). Suppose 0 = 2*x - 4*m + 12, -2*m = 4*x + m - 20. Solve 3*d = 4*y - 13 + 5, x*d - 2*y + h = 0 for d.
0
Let z = 159 - 156. Solve z*w + 15 = 3*b - 6, -4*w = 4*b - 4 for w.
-3
Let k(i) = i**2 + 7*i - 6. Let b be k(-8). Let m be (-16)/b*(-80)/8. Suppose 2*w + 3*w = m. Solve w = -5*l - 3*c, -l - c - 3 = 1 for l.
-2
Let x be 12/(-3) + 2 - 0. Let n be x + 3 - (-6)/2. Suppose 3*p - 2*l - 16 = 0, n*p + 5*l = -5 - 12. Solve -4*s + 1 = -7*k + 2*k, 2*k = -p for s.
-1
Let j = 43 - 38. Suppose 4*a + 4*v = 8, -5 = -2*a - 3*v - 3. Suppose a*o = j*o - 4*b - 24, -4*b = 5*o. Solve -o*t = -h, -4*t - 3 = t - 2*h for t.
1
Let h = 14 + 1. Suppose 3*q = -0 + h. Solve q*g + 3*r = -8, -2 = -g - r - 4 for g.
-1
Suppose -4*k + 5 = 25, 4*j + k - 3 = 0. Solve -4*r + 6 = -j*t, -3*t - 9 = r + 3*r for t.
-3
Let t be (8/6)/((-10)/(-60)). Suppose -8 = -t*v - 0. Solve -6 = 3*h, h + v = -z - 2*h for z.
5
Suppose 0*i - 4*i + 56 = 0. Suppose -2*a - 2*g = -5*a + 16, g = -4*a + i. Solve y = -y - 5*l - 35, 0 = -2*y - a*l - 30 for y.
-5
Suppose -4*b - 12 = 4*s, -s - 5*b - 1 - 22 = 0. Solve u = -s*v, -u = -v + 4*u + 11 for v.
1
Let l(q) be the second derivative of -q**5/20 - 7*q**4/12 + 4*q**3/3 + q**2 + 36*q. Let j be l(-8). Solve 4*b - 4*z + 2*z + 22 = 0, j*z = 5*b + 27 for b.
-5
Let q(d) = -d**3 - 5*d**2 + 2*d + 7. Let j be q(-5). Let l(f) = -7*f - 2. Let i be l(j). Let t = i + -11. Solve -16 = -4*p + 5*h, -t = -2*p - 6*h + h for p.
4
Let l = -23 + 34. Let s = l - 2. Solve 3*p + t - 13 = 0, 5*p - 3*t - s - 8 = 0 for p.
4
Let n(x) = 2*x**2 + 2*x. Let k be n(-2). Suppose k + 12 = 4*j. Solve y + 2*y = 3*z + 6, 3*y = -j*z + 20 for z.
2
Suppose -3*o = -f + 15, f = 2*f - o - 11. Solve 0 = 3*j + f, -3*j = d - 5*d + 21 for d.
3
Let q be 3/7 - 1815/(-77). Solve 5*h - 3 + q = 3*k, 0 = -4*h + 5*k - 22 for h.
-3
Let u = -5 - -1. Let r be (-10 - -3)/(u/20). Let i be (-10)/r + (-46)/(-14). Solve -5*b + 4*z - 27 = 0, b = i*b + z + 3 for b.
-3
Let d(z) = -879 + 4*z + 845 + 5*z - 2*z. Let m be d(5). Solve -4*v + 3 = 2*c + m, 0 = 5*v + 10 for c.
5
Suppose -3*w = 6, -5*w - 41 = -4*u - 15. Solve 4*f - 8 = j + 2*j, -2*j = -u*f + 12 for j.
4
Suppose -4*d - 2*w = 0, 0 = -2*d - 0*d - 3*w. Suppose d = -n - 1 + 5. Solve -5*q - 3*j - n = 0, 0*j = -q - j for q.
-2
Let w be 3/(4 - 3) + 0. Suppose -b = w*b - 68. Suppose 3*t - 4*i = -2*i + b, -2*t - 4*i = -6. Solve k + 4*k + 5*y = 0, t*k = 3*y + 16 for k.
2
Let s(j) be the third derivative of j**4/24 + 3*j**3 + 19*j**2. Let o be s(-16). Solve o = -c + f, 2*f - 8 = 3*c + c for c.
-2
Let k(w) = 5*w + 84. Let s be k(0). Suppose 33*b = 26*b + s. Solve 20 = 4*j - 2*l, 3*l + 0*l + b = 0 for j.
3
Suppose -r + 15 = -2*f - 0*r, 0 = 3*f + 5*r - 10. Let n = 1 - f. Let x be 51/15 - 4/10. Solve 0*o + 8 = -h - 3*o, -x*o - n = 0 for h.
-2
Let s(c) = -c**3 + 5*c**2 + 3*c - 5. Let q be s(5). Suppose -3*z = -91 + q. Let o = z + -24. Solve -5*d + 3*l + 21 = 0, o*d - 2*l - l - 15 