z - 5*m + 30 = 0 for z.
-5
Suppose 3*s - 8*j = -4*j - 14, -4*j + 18 = -5*s. Let f be (((-6)/(-1) - 4) + -3)*s. Solve -5*o - 1 = f*b + b, o = -b + 1 for b.
3
Let w = -2 - -1. Let d be (4 + w)/((-6)/(-10)). Solve y + 2 = 4*g, -3*g = d*y + 1 + 9 for y.
-2
Let s(w) = -w**2 + 16*w - 28. Let v be s(2). Let f(a) = -a + 3. Let t be f(-4). Let u = t + -3. Solve -y - 4 = -o, v*o + u = -o - 3*y for o.
2
Suppose -13 - 11 = -2*j + 4*p, -3*p = 2*j + 4. Solve 3*i + j = i, 4*b + 2*i = -8 for b.
-1
Suppose a + 2*j = 2, -13*j + 9*j = 0. Solve 4*n = 0, l + 20 = -4*l + a*n for l.
-4
Suppose -6*u + 3*u + 36 = 0. Suppose 0 = -6*v - 0*v + u. Solve -2*k + 4*d - 4 = 0, -4*d = v*k + 2 - 22 for k.
4
Suppose 3*c = 2*c + 2, 2*k = -4*c + 26. Suppose 2*l + 13 = -8*t + 3*t, -3*t + k = 0. Let u be 7/l*2*-2. Solve 0 = u*h - 8, -4*a + a + 3*h = 15 for a.
-1
Suppose -5*t + 70 = 5*d, 0 = 4*d + 4*t - 5*t - 41. Let g be (d - 6)*(2 + (-18)/15). Solve v = -2, g + 6 = -2*x - 5*v for x.
0
Suppose -5*z - 2*z = -105. Suppose -5*g + 4*p = -z, -4*g - 5*p + 12 = -0*p. Solve g*b + u - 24 = -b, -3*u = -5*b + 13 for b.
5
Let c(v) = v + 6. Suppose -5*f + 12 = -8. Let d be c(f). Let t be 32/6 + d/(-30). Solve -t*g + 4 = q - 2*q, 0 = -5*q + 4*g + 1 for q.
1
Suppose -4*g - 4 = 2*f, 3*f - 2*g - 3 = 7. Solve -3*u = f*z + 12, 3 = 3*z - u + 10 for z.
-3
Let b = -64 - -56. Let o be (b - -2)/(4/(-2)). Solve 3*v - 4*v = o*z + 6, 2 = -2*z for v.
-3
Let c = -1739 + 1746. Let g be 3 - 2*2/(-4). Solve g*w - 5*k + 6 = -c, 5*w - 30 = -3*k for w.
3
Let i = -52 + 53. Let z = 3 - 12. Let s = z - -10. Solve -y - s = t - 6, -y - i = -t for y.
2
Suppose -5*l - 50 = -5*v, -2*v - 16*l + 12*l - 10 = 0. Solve 3*g + 2*i - 4 - 14 = 0, -v*i = 4*g - 31 for g.
4
Let h be 180/135 + 5/3. Solve 3*s + 2*c = 5, 3*s = 8*s - 2*c - h for s.
1
Let z = 6 + 6. Suppose 5*b + z = b. Let i be 55/15 - 1/b. Solve -5*y + 24 = 2*c, 0 = -2*y - 2*c + i*c + 4 for y.
4
Let q be 0 + (-1)/((3/15)/(-1)). Suppose -3*v + 84 = v. Solve 5*b = 4*l, q*l + 0*b - v = b for l.
5
Let o = -84 - -85. Solve 0 = w + f - 0*f + o, -f + 11 = -5*w for w.
-2
Let y(v) = -11*v**2 - 2*v - 11 + 14*v - 4 + v**3. Let d be y(10). Solve -l - 18 = 3*z + 2*l, 24 = z - d*l for z.
-1
Let g = -15 + 18. Solve -g*q + 3 = -2*q + m, 0 = 5*q + 2*m - 3 for q.
-1
Let z be ((-1)/2)/((-2)/12). Let g(y) = y**2 + 4*y - 1. Let h be (-3 + (-2)/4)*2. Let x be g(h). Solve z*r + 5*m - 3 = m, r - x = 5*m for r.
5
Let r(m) = -28*m - 585. Let c be r(-21). Solve -b - 11 = 3*y, c*y + 35 - 4 = -5*b for y.
-2
Suppose 4*i - 3*j = 19, 9 = 4*j + 29. Solve f + i = 3*g - 2*g, -2*f - 20 = 4*g for g.
-3
Let u be (-10)/6*(-11 + 2). Let h be ((-24)/(-9))/4*u. Solve 5*n + h = 5*b, -n = -6*b + 3*b for b.
-1
Let n = -46 - -49. Solve -n*a + 3*f = 4*f, f + 1 = -4*a for a.
-1
Let q be 2*2*(17 - -3). Let t = q - 65. Let i = 5 - 1. Solve -3*g + 41 = -5*f + 16, -t = -i*g + 3*f for g.
0
Let g = -72 + 75. Let i be (-12 - (-7 + g))/(-2). Solve j + 5*h = -5, 2*h = i*j - 2 - 0 for j.
0
Let b = -48 + -60. Let c = -88 - b. Solve -2*r = -p + 2*r + 16, c = 3*p - 5*r for p.
0
Suppose -9*z + 2 = -10*z. Let n(i) = -i**2 + 5*i + 14. Let r be n(z). Solve -2*v + 2*s - 15 = -v, 5*v + s + 20 = r for v.
-5
Let j = 1080 - 1073. Solve -3*o + o = -3*d - 1, 3*o = -4*d - j for d.
-1
Let b = -20 + 56. Let i be (-1)/((-4)/b*3). Solve -16 = -4*j - 5*d, -3*d + 12 = i*j - 2*d for j.
4
Suppose 0 = -4*i - 2*m + 24, -6*i = -3*i + 5*m - 25. Suppose 0 = -2*v - 3*z + 9 + 2, -i*v + 3*z + 17 = 0. Solve -k + n = -v*k + 9, -3*k + 4*n + 9 = 0 for k.
3
Suppose 294*l = 308*l - 42. Solve -3*r - l*k = 15, -3*r + k - 2*k - 13 = 0 for r.
-4
Suppose i + y = -3*i + 1, -i + 2*y - 11 = 0. Let k be (i - -2)/(5/65). Solve -5*u = -4*h + 2 + k, -24 = -5*h + u for h.
5
Suppose -4*v + 6 = -14. Let p(r) = -r**3 + 7*r**2 + 11*r. Let y be p(8). Suppose -2*k - y = -3*k. Solve 0 = v*a + 5*w - 20, -5*w - 2 = 3*a - k for a.
-1
Let g(k) = k**3 - 10*k**2 + 2*k - 17. Let b be (0 + -8 + -12)/(-2*1). Let q be g(b). Solve -i + 2*i + q*m - 7 = 0, 4*i = m - 24 for i.
-5
Let p(x) be the second derivative of 2*x**3/3 + x**2 - 8*x. Let a be p(-13). Let w be 0 + a/(-2) + 0. Solve 25 = 4*m + 5*h, -5*m - 5*h + w = -4*m for m.
0
Suppose 0 = d - 4*d - 24. Let h = d - -7. Let b be 17 + 1/(h - 0). Solve 2*o + a = -0*a + 12, -o - 3*a = -b for o.
4
Suppose a - 4*r = -6, -9*a = -5*a - 5*r + 2. Solve c + 0*c + a*y = 3, 2*y - 15 = -5*c for c.
3
Let y = -301 - -304. Solve -3*s + 3*v - 9 = -0*v, v - 3 = y*s for s.
0
Let y(c) = -7*c**2 - 19*c + 27. Let i(w) = -4*w**2 - 9*w + 13. Let k(o) = -5*i(o) + 3*y(o). Let p be k(-13). Solve 5*v - 2*f = 10, 3*v + p*f - 16 = 11 for v.
4
Suppose i + 3 = 8. Let m(l) = l**3 - 4*l**2 - 2*l - 7. Let y be m(i). Solve 0 = -4*z - 5*w + 36, -w + y = z - 0*w for z.
4
Let m be 7/(-105)*3 + 56/5. Let n be 8/(32/(-3)) - m/(-4). Solve 0 = n*j - 5*r, 4*j + r = -0*r + 22 for j.
5
Suppose -259 = 9*z - 295. Solve -u + 14 = z*j, u + 2 = -4*u + 4*j for u.
2
Let b(v) = -13*v + 2. Let c be b(1). Let r = c - -22. Suppose -1 = -2*h + 1. Solve r = a - t + 3*t, a = t - h for a.
3
Let f be (15 + -16)/(3 + (-10)/3). Solve l = -f*l + 20, -5*l + 22 = 3*u for u.
-1
Suppose 3*m + 5*p + 0 = 2, -4*p = -2*m + 38. Suppose 0 = r - 4*r + m. Suppose 13 = -3*o + 25. Solve -o*h + 1 - 13 = 2*w, -w - 11 = r*h for h.
-5
Let f(h) = 24*h + 293. Let c be f(-12). Solve -2*x + 3*x = c*o + 27, o = -5*x + 5 for x.
2
Suppose n + 4*x = -7 + 1, 3*x = 0. Let p be (-4)/n*312/16. Let d = -2 - -2. Solve 2*v + 5*i + p = d, -5*i + 6 = -5*v - 9 for v.
-4
Suppose 0*x - 2*x = 3*k - 5, -3*k + 30 = -3*x. Suppose 55 + k = 5*b. Suppose -6*u + b = -0*u. Solve 2*t - t + 1 = -u*c, -17 = -c - 4*t for c.
-3
Let n = -606 + 610. Solve -2*o = -n*y + 8, 5*o + 11 + 9 = y for y.
0
Suppose 2*v + 42 = 4*g, -3*v = 4*g + 2 - 19. Solve 4 = 2*f - 4, 0 = 4*u - 5*f + g for u.
3
Suppose 0 = -8*a - 33 - 15. Let c = -4 - a. Solve c*t = p - 1 - 0, p = -5*t - 13 for p.
-3
Let q(k) = 2*k + 12. Let j be (-34)/8 - 6/8. Let l be q(j). Solve -24 = -4*f + l*i, 4*f = 2*f - 2*i + 6 for f.
5
Let t = -23 + 25. Suppose -16 = -c + 38. Let l be c/10 - 4/10. Solve 2*j = -3*w - t, 8 = l*j + w - 0 for j.
2
Suppose -35 = -11*s + 9. Solve 5*o - 3*o + 4 = 0, s*f - 3*o = -2 for f.
-2
Let r be ((-2)/4)/((-2)/(-12)). Let n be r*(-10)/6 - -2. Let m be (3/n)/((-1)/(-7)). Solve -m*b + 5*y = 12, -b + 5*y - 4 = -0*b for b.
-4
Let g(y) = -y - 15. Let t be g(-19). Suppose t*b = 13 + 3. Solve 3 = -2*s + 3*i - 1, 14 = -b*s + 3*i for s.
-5
Suppose 0 = -4*t - 3 + 11. Suppose 3*w - 6 = -5*y + 2*y, t*y + w - 2 = 0. Let x be (-2 - -3)*5 + y. Solve -3*p + 5 = -5*l + 4, 0 = -2*p + x*l - 1 for p.
2
Let d be (-1)/2*(0 + 0). Let o = -570 + 573. Solve 2*z = o*l - 2*l - 10, d = 2*l - 4 for z.
-4
Let v = 521 - 516. Let i(h) = 3*h - 2. Let t be i(3). Let g = t - v. Solve -j - 1 = -g*p, -4 = 3*j + 5 for p.
-1
Let p be -2 - (18/27 + 344/6). Let c = -58 - p. Solve -3*q + c - 6 = t, -4*q - 6 = t for q.
-2
Suppose -3*n + 3*s + 24 = 0, -2*s + 85 = 5*n + 2*s. Let k = n + -8. Let r = 114 - 112. Solve -26 = -k*a - u - r*u, a - 2 = u for a.
4
Suppose -3*o + 4*q + 19 = -2*o, 0 = 3*o - 3*q - 39. Solve 3*c - o = x, 2 = 2*x - 3*x for c.
3
Let u(h) = 0*h + 2*h + 2 - 24*h**3 - 20*h**2 + 20*h**2. Let m be u(-1). Solve -4*z = 5*v + 31, 0*v + 3*z + m = -4*v for v.
-3
Suppose -4*r - 4*c + 42 = -38, -3*r + 3*c = -66. Solve -h = 6*l - r + 2, 3*h + 9 = 4*l for h.
1
Let f be 8/12*567/42. Solve 0 = 4*r - t - 3, -2*r + 7 = f*t - 4*t for r.
1
Let q = 70 + 66. Suppose 0 = 12*r - 4*r - q. Solve 4*z + 2*u - r = u, -5*u - 15 = 0 for z.
5
Let a(w) = -w - 3. Let p be a(1). Let d be (-40)/(-15) - p/(-6). Let b be (-2 + 1)*(2 - d). Solve b*r + 3*n = 5*r + 5, -n + 5 = 0 for r.
2
Let u = 24 - 16. Let l = u + 1. Let j(a) = -a**3 + 8*a**2 + 12*a - 10. Let m be j(l). Solve 4*w = -h + 16, -5*h + w + m = -0*h for h.
4
Suppose 10*y - 15*y = 0, 4 = z - 3*y. Solve -7*x - 14 = 2*o - 2*x, o - z*x - 6 = 0 for o.
-2
Let l = 27 + -7. Suppose -11 + 29 = 9*u. Suppose -29 = -5*h - 9. Solve -2*y = -2*w + y + 15, u*w - l = h*y for w.
0
Suppose 20*z + 11*z = 155. Solve -2*u - m = -z, -5*u - 3*m + 5*m - 10 = 0 for u.
0
Let x be (-192)/20 - (-6)/(-15). Let d be 2/x + 112/35. Suppose -5*m - 4*u + u + 52 = 0, m = d*u - 4. Solve 5*p = 4*w + 2, -4*w + m = p +