*w = 5*y + 45, 7 = -w - b*y for w.
5
Let k be (4 - (0 + 5))/(-1). Solve 4*u + 4*z - k = -5, -5*z - 25 = 0 for u.
4
Suppose 3*m - 2 = j - 3, 5*j = -m + 21. Solve -j*s = -h - 7, -5*s - h + 0*h + 11 = 0 for s.
2
Let x = 18 + -18. Solve -4*y - 2*g = x, -9 = -3*y - g + 4*g for y.
1
Suppose 0 = 2*m + 2*m. Suppose m*p - 5*p + 25 = 0. Solve 10 = -5*r + p*o, 0 = -0*r + 4*r + 3*o - 20 for r.
2
Let v = -32 - -38. Solve -17 = -5*y + 2*n, -4*y = v*n - 2*n - 8 for y.
3
Let m be (1 + 1)/(2/3). Suppose 0 = m*z - 5*z + 6. Let y(j) = -j**3 + 2*j**2 + 3*j + 1. Let l be y(z). Solve -2*v = c - l, 3*c + 4 = -5 for v.
2
Let v = 42 - 32. Solve -5*f - 3*w + 9 + v = 0, -3*f - 2*w = -12 for f.
2
Suppose 0 = -5*q - 0*q. Solve q = 3*r - 3*i + 2*i - 4, -4*r + 9 = -5*i for r.
1
Let r be -1*5*(0 - 1). Suppose -3*f = f - 40. Suppose -5*h = -f - 10. Solve -i + 2 = -h*m, r*m - i = -6*i - 15 for m.
-1
Suppose n - 5*n = -8. Suppose -3*v - 12 = -b, -n*b + v + 14 = -5. Solve 4 = t, 2*t = 3*a - 1 + b for a.
0
Let n be 4 + -4 + (5 - 0). Solve -3*t = -4*d + 29, -6*d = -n*t - 2*d - 35 for t.
-3
Let k = 0 + 8. Suppose 5*l = 3*l + k. Solve 0 + 20 = -2*j + l*g, 2*g = 3*j + 14 for j.
-2
Let s = 16 + -14. Solve 2*h + s*k = -10, -18 = 3*h + 5*k - 3 for h.
-5
Let f(o) = -o**3 + 5*o**2 - 2*o + 1. Let p be f(5). Let i = -7 - p. Solve -4*z = i*j, 3*z + j + 6 = -2*z for z.
-2
Suppose -2*c = -8 - 2. Let u = -12 + c. Let q(n) = n**2 + 8*n + 10. Let o be q(u). Solve 5*k = -5*s + 15 + 5, 12 = o*k + 4*s for k.
4
Let q(y) = 10*y**2 + y - 2. Let d be (-2)/4 + (-6)/4. Let r be q(d). Solve h - 20 = 4*a + 2*h, -r = 5*a + 4*h for a.
-4
Let h = 16 + -12. Solve 0 = -4*s - h*q - 12, -5*q - 6 = -3*s - s for s.
-1
Suppose 18*l = 16*l + 56. Let c = 30 - l. Solve f + 2 = -c*x + 3*f, -4*x - 13 = -f for x.
-4
Let k(p) = -10*p**3 + p. Let z be k(-1). Solve -5*m = -0*m - 3*s - 15, -3*m + z = 4*s for m.
3
Let z(s) = -s**3 - 8*s**2 - 5*s. Let c be z(-7). Let v = c - 4. Let w = -8 - v. Solve 2*b = 5*i + 25, -2*b = 2*i - 0*b + w for i.
-5
Let a = 7 + -3. Suppose o - a = -l - 1, 3*o = 0. Solve -4 = l*v - 10, -k + 3*v = 8 for k.
-2
Let x(k) = 4*k**2 - 2*k + 1. Let m be x(1). Let v = 6 - m. Suppose 0*f = -f + 5. Solve -25 = f*a, v*q + a = 7*q + 3 for q.
-2
Suppose 2*y - 2 - 4 = 0. Suppose -6*x - 3*u = -x - 102, -5*u - 52 = -4*x. Solve -i - r + x = 4*i, -5*r + 24 = y*i for i.
3
Suppose -4*f = -2*d - 40, 3*f + 0*f = d + 30. Solve 4*a = 2*z + 18, 5*a + f = -3*z - z for a.
2
Let w(b) = -b - 12. Let j be w(-14). Solve 2*q = -5*v + 5*q + j, 0 = 3*v - q + 2 for v.
-2
Let r be 15/(-35) + (-286)/(-14). Suppose -5*p + 0*p = -r. Solve 0 = 2*z + 2*h + 10, -p*z + 1 = -5*h - 15 for z.
-1
Let u(p) = 2*p - 21. Let l be u(13). Solve 2*w = 6, -2*d - w = -l*d - 15 for d.
-4
Let l = -26 + 30. Solve -l*r + 3*x = -3, -8*r + 3*r = 4*x + 35 for r.
-3
Suppose a + 2*a = -q + 2, 3*a = 0. Let y = 1 + 3. Let d = -11 - -16. Solve 10 = p + y*p, -q*t - d*p + 10 = 0 for t.
0
Suppose r = 2 + 1. Let b(l) = -4*l + 15. Let q(g) = -11*g + 44. Let p(y) = -8*b(y) + 3*q(y). Let h be p(6). Solve h = k - 5*z + 1, 5*z + 5 = -r*k for k.
0
Suppose -5*m = 4*p - 4, -14*p = -17*p - m + 14. Solve 0 = -4*j - 3*b + 2 - 0, -2*b = -2*j - p for j.
-1
Let y(d) = -d**2 - 2*d + 3. Let p be y(0). Solve 6 = -p*t, 2*l = -0*l + 2*t + 4 for l.
0
Suppose 9*n - 48 = 60. Solve -13 = -5*f - 0*f + u, 3*u = -2*f + n for f.
3
Let g = 90 + -54. Suppose 0 = 3*o - 0*o - g. Solve 4*i + 0*d + 2*d = 8, -5*i - 2*d = -o for i.
4
Let g(i) = i + 2. Suppose -x = -0*x. Let b be g(x). Solve -3*s = -3*d - b*s - 5, -4*d = -5*s + 25 for d.
0
Let w = 4 + 1. Suppose w*t - 20 = 5*p, -4*p - 6 = -t - p. Let l(x) = 4*x**3 - x. Let b be l(1). Solve 0 = -t*u + u + i - 3, -13 = 2*u - b*i for u.
1
Let w = 6 + -4. Suppose 4*k = w*k + 8. Solve 6*h - 2*h + 28 = 5*s, 2*h = -k*s + 12 for s.
4
Let x = -18 - -39. Solve -3*n = n + 5*g - x, -n - g = -4 for n.
-1
Let f = 5 + 13. Suppose -q + 5*s - 6 = 0, -2*s = 2*q + 3*s - f. Solve 2*r + w + q = 0, 5*w - 6*w = 3*r + 6 for r.
-2
Suppose 0 = -b - 4*b + 25. Let q = -2 + 17. Suppose b*y - 5 - q = 0. Solve v - 5*v = x + 16, y*x - 41 = 5*v for x.
4
Let a = -18 - -48. Suppose 4*d + 10 = a. Solve -5*m + 3*j = 5, d*m = -3*j - j - 40 for m.
-4
Let z be (48/(-56))/((-2)/14). Suppose -z*u = -3*u. Solve -5 - 1 = 3*m, p - m = u for p.
-2
Suppose -4*d = -d. Solve -r = -2*r - 2*u + 5, d = u - 2 for r.
1
Suppose -3*j = -j. Suppose -2*w + j = -2*b + 2, w + 4*b - 14 = 0. Suppose -a + w = -0. Solve 3*y = 3*x + 2*x + 28, 2*x - a*y = -12 for x.
-5
Let h(q) = 3*q + 1. Let t be h(5). Let w be (-3 - (1 - 2)) + 5. Solve -25 = w*n + 2*n, 3*f = 2*n + t for f.
2
Let z be 1*(2 + (-4)/2). Let n(b) = -2*b - 9. Let r be n(-9). Solve z*s + r = -s + 3*o, 4*o = 12 for s.
0
Let z(u) = -u**3 + u**2 - 1. Suppose f - 5*k + 14 = -3*f, 0 = 5*f + 2*k + 1. Let g be z(f). Suppose g = -2*b + 3*b. Solve 2 + b = -5*s + o, o = 4*s + 2 for s.
-1
Let k be (-2 - (6 - 9))/((-1)/(-2)). Solve -n = -k*y + 14, 0 = y - 2*n + n - 9 for y.
5
Suppose -q - 3*u + 10 = 0, -q - u + 8 = u. Let s(a) = -2*a - 1. Let d be s(-2). Solve 3*r = i - 0 - d, 3*i + q*r - 9 = 0 for i.
3
Suppose 192 = 9*c - 5*c. Suppose 4*l - 136 + c = 0. Let m be 4/(-6) - (-28)/6. Solve 3*a + n + m = -6, 5*a + 3*n + l = 0 for a.
-2
Suppose -2*r = 3*b - 27, r - 2*r + 3*b + 9 = 0. Suppose r = -2*l - l. Let a = 8 + l. Solve 0 = -4*n + 4*k - 12, -2 + 32 = -a*n - 5*k for n.
-5
Suppose -3*h = -6 - 3. Solve -m - 6*v + 3*v = -5, h*v = 9 for m.
-4
Suppose a + 0*a = 5. Suppose -4*y - c = c - 16, 4*c + 20 = a*y. Suppose -2*x = 2*x - t - 25, x + y*t = -15. Solve 2*h = 2*k, 5*h = -x*k + 1 - 21 for h.
-2
Let y(m) = -9*m**3 - 2*m**2 - 2*m. Let v be y(-1). Solve 0 = -2*r - 5*b + v, b - 3 = -2*r + 2 for r.
2
Suppose -5*c = a - 25, a + c = 4*a + 5. Solve a*o + 5*o - 13 = -h, -o - 7 = -3*h for o.
2
Let q(x) = 2*x + 43. Let s be q(-9). Solve -2*v + 2*b - 8 = 0, 9 = -v - 4*b + s for v.
0
Let d(q) = -q**2 - 5*q - 7. Let y be d(-5). Let i = 11 + y. Solve t + 5 = -4*s - 12, -14 = 2*t + i*s for t.
3
Let h(r) = r**3 - 11*r**2 - 3*r + 15. Let l be h(11). Let k be l/63 - (-32)/14. Solve 4*b - 5*y - k = -2*y, 4*b - 4*y - 4 = 0 for b.
-1
Let r be (-6)/30 + (-32)/(-10). Let c(y) = y**2 - 5*y - 9. Let p be c(7). Solve -2*g = p*u, -g + u = -r*u for g.
0
Let l(m) = m**3 + 32. Let w be l(0). Let q = -131 - -131. Solve -i + 5*i + 12 = q, -w = 4*c + 4*i for c.
-5
Let v = -77 + 92. Solve -5*b - 4*o - v = 0, -o = -b - 0*b - 3 for b.
-3
Let z = 14 - 10. Suppose 3*f - 7*f - 2*v + 10 = 0, 2*f + 2*v = 0. Solve -z*x = -2*m + 18, -x - 20 = -f*m + 4*x for m.
-1
Suppose -4*d + 30 - 6 = 4*h, 5*h - 2*d = 2. Let q be (2/(-4))/(h/(-20)). Solve -4*a - 3*m + 8*m + 7 = 0, 0 = q*a - 5*m - 5 for a.
-2
Let f be (-6)/(-10) - (-14)/35. Let n be f/(-4)*(-1 - 3). Solve -15 = -3*a, 3*a - 14 - n = 4*t for t.
0
Suppose -281 = -4*q - 81. Suppose -c = 4*c - q. Suppose 5*i + 2*k + 3*k + c = 0, -4*i = -3*k - 6. Solve i = -0*a - 2*a - 2*h + 10, 4*a - 5*h + 7 = 0 for a.
2
Suppose -11*o + 36 + 8 = 0. Solve -2*f + 12 = -4*c + 2*f, 5*c + o*f + 15 = 0 for c.
-3
Let o be ((-1)/(-5))/(4/20). Suppose 2 = 2*v, -v = -s - o + 2. Solve h = s*x - 11, -x + 3 = -3*h - 10 for h.
-3
Let k = 4 + 0. Let o(x) = -2*x**2 - 4*x + 3. Let f be o(k). Let u be ((-3)/5)/(3/f). Solve -3*z + u = 6*j - 3*j, -z + 4*j = 12 for z.
0
Let d be (6/(-10))/(1/(-5)). Suppose -5*p + 7 + 3 = 0. Let a be (-9)/(-2)*24/18. Solve a*i - 4*i + 2*r + 4 = 0, -d*r = -i + p for i.
-1
Let w(r) be the third derivative of r**4/24 - r**3/3 - r**2. Let t be w(7). Solve -2*s - 2*n - 9 = -t*s, 2*s - 4*n - 14 = 0 for s.
1
Let i(c) = c**3 - 4*c + 2. Let h be i(2). Suppose 0 = -f - 2*m + 1, h*f - 5 = m - 2*m. Solve -7*u - f*w - 11 = -2*u, 5*u = -w - 7 for u.
-1
Let w(x) = -x**3 + 7*x**2 - 6*x + 5. Let f be w(6). Suppose -f = -t - 0*t. Solve -t*n + 0 = -3*o + 19, -2*o = n + 9 for o.
-2
Let b(z) = 3*z - 7. Let t be b(5). Suppose 6*s - t = 2*s. Solve -2*q + c = 6, 4*c - 6*c = q - s for q.
-2
Let l(b) = -b**2 + b + 2. Let d be l(4). Let w be (16/5)/(d/125). Let q = -29 - w. Solve -c = -3*f + q, 2*f = -0*c - 5*c - 4 for c.
-2
Let u(r) = 3*r - 1. Suppose 0 = -0*i - i + 6. Suppose 0 = -x + 3*x + 2, -2*h + 2*x = -i. Let y be u(h). Solve -4*t = -t + 3*f, y*f + 15 = 0 for t.
3
Let k = -20 - -12. Let d = -