4). Suppose m = -c*z + 12, -4 + 16 = x*z - m. Solve -q + 10 = -5*l, -q + z = -2*l - 3 for q.
5
Let g = -10 - 0. Let w be 25/g - 1/2. Let c(m) = -m**2 - 4*m + 1. Let i be c(w). Solve i*f - 5*u = 25, -2*u = -5*f + 23 + 4 for f.
5
Suppose 2*j + 1 = 5. Suppose -j*r - 2 = -4*r. Solve 3*x - o + 12 = -r, 3*x + 3*o = -21 for x.
-5
Suppose i + 0 = -w + 7, -4*i + 4*w - 12 = 0. Solve -i*a - 3*b = -0*b + 5, -a - 5*b = 13 for a.
2
Let b be 24*((-5)/2)/5. Let s be (b/10)/((-6)/20). Solve -4 = u + u + 3*d, -2*u + 5*d = s for u.
-2
Let y = 23 + -16. Solve -3*i - 9 = 3*j, 0 = -4*i + j - 0*j - y for i.
-2
Let t = -19 + 28. Suppose -z - 2*z + t = 0. Let b = 2 + 0. Solve z*d = b*p - 11 + 1, 0 = 3*p - 5*d - 17 for p.
-1
Let k(w) = 9*w**2 + w - 1. Suppose 4 = -5*f + 9. Let j be k(f). Solve -3*c - 11 = -v, -4 - j = -2*v + 3*c for v.
2
Let g(y) = -y**3 - 5*y**2 - 5*y + 3. Let h be g(-4). Let k = h - 6. Let x be (k + -2)*0 - -3. Solve 0 = -d - 5*b + 2*b - 1, -x*b = 0 for d.
-1
Let f be 10/(-15)*(-3)/1. Solve i - 3*g = -4, 3*i + f*g - 2 = 8 for i.
2
Let a be 2/5 - 16/(-10). Suppose a*p + p - 12 = 0. Solve -2*n + 28 = -4*d + 6, p*n = -4*d - 16 for n.
1
Let t = 7 + -3. Suppose 2*u - t*q - 54 = 0, -4*u + 85 = 3*q - 1. Solve -3*m + 2*a + 7 = 0, 2*m = a + 4*a + u for m.
-1
Suppose -5*n + 9 = -11. Solve -3 = -4*p - 5*j, 6 = p + p + n*j for p.
-3
Let z be 0 - (-4)/8*8. Solve -z*p + 4*t = -8, -p = 4*p - t - 2 for p.
0
Suppose 3*v - 6 + 1 = m, -m + 16 = 4*v. Suppose 0*j + 54 = v*j + 5*f, -j + 2*f = -18. Solve -2*q = 3*a - 2*a - 8, j = 2*q - 4*a for q.
5
Let s(a) be the first derivative of a**4 - 1 + 1/2*a**2 - 1/3*a**3 - a. Let p be s(1). Solve 0 = -q - 5*r + 4, -p*r = 4*q - 0*r + 1 for q.
-1
Let d be ((-16)/10)/(12/(-30)). Solve k = j - 2 + 6, -2*k + d*j = -8 for k.
4
Let d = -3 - -5. Let c be (2/4)/(1/2). Suppose -3*x + 1 = 5*b + 4, 5*b + x + c = 0. Solve b = k + d*k - 15, -a - 21 = -4*k for a.
-1
Suppose 3*z + 45 = 7*z - 5*l, -5*z = 5*l. Let h(s) = -s**3 + 2*s**2 - 1. Let c be h(1). Solve c = -2*x - 3*d - 3, -4*x - 4 = -d + z*d for x.
0
Let v(r) = r + 2. Let c be v(0). Suppose -5*b = c*y - 13, b - 4*b + 15 = 3*y. Solve -s + 0*s - y*o - 20 = 0, o = -5 for s.
0
Let m(j) = 6*j**3 + 2*j - 2. Let o be m(1). Solve -3*r + o = 3*v, -7*v + 3*v = -3*r - 29 for r.
-3
Suppose 4*x = 16, 0 = 3*v + 3*x - 28 + 10. Solve 4 - 2 = 2*t + 3*c, t - 2 = -v*c for t.
-2
Let m(h) = h**3 + 3*h**2 + h + 2. Let g be m(-2). Suppose 0 = -0*r - r - g. Let b = r - -7. Solve -2*p = -b*i - 5 + 2, i + 5*p = -18 for i.
-3
Let n(b) = -b + 14. Let m be n(14). Solve 5*w - 5*s - 20 = 0, m*w = -2*w + 4*s + 6 for w.
5
Let o(l) = -2*l + 4. Suppose 5*t - 8 - 7 = 0. Let y be o(t). Let a be y/2*(-1 + -25). Solve 5*d - 5*k + k = a, -d = 2*k + 6 for d.
2
Suppose -c + 3*u - 6*u - 10 = 0, 2*u = -4*c + 10. Suppose -3*g + 4*g + 10 = 2*z, 0 = c*g. Solve -r - 21 = 5*l, -r + 4*l + 10 = -z for r.
-1
Suppose 0 = -4*i - 0*i + 4. Let n = 4 - i. Let m = n + 1. Solve -m*s = -3*y + 2, 4*y = -2*s + 3*y + 4 for s.
1
Suppose 2*c = 2*n + 5*c - 5, 3*n - 9 = -3*c. Suppose 0 = -4*s + 2*k + 6, -3*s = -3*k. Let v be s*(-1)/(-1) + 45. Solve -12 = n*i, 5*m + 4*i - 16 = -v for m.
-4
Let q be (-64)/(-12) - (-1 + 4/3). Solve -5*z + q = -2*u, -5*u - 4 = -z - 3*z for u.
0
Let a = 29 - -90. Let q be (-14)/a + (-140)/(-34). Solve q*g + 4*r + 16 = 0, -4*r - 1 = -g - 0 for g.
-3
Let g(a) = a**3 + 9*a**2 - 10*a + 12. Let p be g(-10). Let z be 18/63 + p/7. Solve z*o + 35 = 7*o + 2*w, -5*w = -5*o for o.
5
Suppose 4*s - s - 3*c - 84 = 0, 0 = -5*s - c + 110. Let h = s - 22. Solve -t - 8 = 2*y, -h = 4*y + 3*t + 13 for y.
-5
Let x(u) = u + 5*u**2 + 9*u - 3*u**3 + 4*u**3 - 2*u**3 - 9. Let a be x(6). Solve 9 = t - 2*t + 5*c, 0 = 5*t + 5*c - a for t.
1
Suppose -32 + 160 = 4*n. Solve -4*p = 4*l + p + n, 0 = -2*p - 8 for l.
-3
Let a = 46 - 24. Let z be (2 - -4 - 0) + -1. Solve -5*r - 2*h = -0*h - a, -5*h - 15 = -z*r for r.
4
Let f = 4 - 0. Suppose f - 24 = -4*y. Solve -y*o = 5*n + 25, -5*n - 22 = o + o for o.
-1
Let o(q) = 13 + 6*q**2 - 3*q**3 - 10 - 6*q + 2*q**3. Let v be o(4). Solve 2*m - 5*h - 3 = -v, -3*m + 13 = 5*h for m.
1
Let o be 8/18 + 285/27. Solve 5*q = -5*f + 3 + 7, -3*f + 2*q = -o for f.
3
Let b(l) = 5*l + 2. Let k be b(-3). Let c = -9 - k. Suppose 0 = -2*h - h. Solve 2*f + 14 = 4*z + 2, f + c*z - 24 = h for f.
4
Let k(j) = -2*j - 14. Let r be k(-9). Solve 3*o = 2*o + 2*w + 13, 2*o + r*w + 14 = 0 for o.
3
Let v(u) = -u**3 - 6*u**2 + 5*u - 12. Let i = 0 - 7. Let r be v(i). Solve -4*d = -4*x - 24, r*x = 2*d + 3*d - 21 for d.
3
Suppose -2*d = a - 17 - 9, d + 4*a - 27 = 0. Suppose 2*s + d - 15 = 0. Solve 0*r + 1 = -4*n - r, -n - 9 = s*r for n.
1
Suppose 120 = 35*s - 31*s. Solve 3 = -t + 5*j - 17, -2*t + s = 4*j for t.
5
Let z be 9 + (-3 - 0 - 1). Solve -1 = -j, -z*s + j = 4*j + 22 for s.
-5
Suppose 11*l - 108 = -20. Solve -2*p + 6 = 2*c, 2*c + 4*p - p - l = 0 for c.
1
Suppose 8 = 6*k - 2*k. Solve k*g - 19 = -3*g - w, 4*g - w - 17 = 0 for g.
4
Let b(w) = -w**2 + 3*w + 2. Let p be b(3). Solve 5*t - 10 = -p*n, -3*t + 0*t = 5*n - 25 for t.
0
Let l = 10 + -18. Let b = -4 - l. Let f = 14 - b. Solve 16 = -n - 5*u, 8*n - f = 3*n + 5*u for n.
-1
Suppose -2*v + 3*v = 4. Solve 4*t + 2*p = -0*p + 8, 20 = v*t - p for t.
4
Suppose -6*i + 2*i + 4*j + 36 = 0, 3*j + 22 = 2*i. Let y = 0 + 2. Solve -y*q + 3*f = 8*f + 23, -i*f = 3*q + 27 for q.
-4
Let z(k) = k**3 + 4*k**2 - 9*k - 5. Let v be z(-5). Solve 5*q + 0 - v = -5*m, q + 2 = 4*m for m.
1
Let l(c) = -5*c - 50. Let s be l(-11). Solve 5*w + 2*y = 16, -14 = -w + y - s*y for w.
2
Let k(t) = t**2 + 10*t - 5. Let f be k(-10). Let h be (5/(-2))/((-1)/6). Let r be f/(-2)*24/h. Solve c = r*i, -5*c - 4*i - 8 = -32 for c.
4
Let k(h) = h**2 - 7*h - 8. Let g be k(8). Suppose 2*j = 5*j - 45. Let w = 22 - j. Solve g*p - 5*x - 15 = -5*p, p + x = w for p.
5
Let m(u) = -u**3 + 6*u**2 + u - 3. Let a be m(6). Let c be (48/30)/(9/(-15) - -1). Solve 4*l + a = -c*p + 15, 4*l = 4*p + 12 for p.
0
Suppose 0*s - 3*s = 4*g, -g = 3. Let t be (-4)/16 - (-83)/(-4). Let v = 29 + t. Solve -6*h = 3*k - s*h - v, -5*k + 4*h + 28 = 0 for k.
4
Suppose 2*d - 2*f - 10 = -0, -2*d + 4*f = -20. Let t = -3 + 13. Solve d*j + 5*j - t = -5*o, -4*o = j - 2 for o.
0
Let i(b) = 2*b - 15. Let y(s) = s - 7. Let c(j) = -3*i(j) + 7*y(j). Let k be c(7). Solve w = -2*t + 14, 2*w + k*t = 18 + 5 for w.
4
Let m = -4 - -9. Suppose -3*g - 5*k = -2*k - 12, 0 = -4*k + 4. Suppose -g = m*n - 33. Solve -4*u + 1 + 11 = -o, -n = 5*o - 2*u for o.
0
Suppose 3*a = a + 4. Suppose 3 = 3*x - 42. Suppose v + a*v - x = 0. Solve -v*j - 2*u = -3, 2*j - 9 = 4*u - 3 for j.
1
Let s = -53 - -76. Let n = 0 + 4. Suppose 5*x = -n*q + 4 + 6, -4*q + 24 = -2*x. Solve -4*r = q*j - 15, 3*r - 3*j = -r + s for r.
5
Suppose -t + 2 = 3*m - 7*m, 4 = 2*t - m. Suppose -3*d - 5 = 4*l, 2*l = -3*d - t*d + 15. Solve 6*j = 5*x + j - d, -2*j = 2 for x.
0
Let h = 20 - 15. Solve 5*r - 2 = -3*a, h*a = 3*r - r - 7 for r.
1
Let v be 5 + ((-1)/1 - 1). Let f = 147 + -95. Suppose -i + f = v*i + 4*m, 3*i - 5*m + 1 = 0. Solve 0 = -5*t - d + 5*d + 8, 4*d + i = -4*t for t.
0
Suppose 13 = -3*g - 23. Let y be -1*16*(-3)/2. Let z be (-2)/g - (-92)/y. Solve 0 = 5*i, 4 = z*r + 4*i + 16 for r.
-3
Suppose 0 = -4*j - 125 - 51. Let q be 93/33 + (-8)/j. Let d(f) = f**2 - 7*f + 5. Let l be d(7). Solve -2*v - 5 - 1 = 5*b, l*v + 15 = -q*b for b.
0
Let m(t) = t**2 - 3*t + 1. Let s be m(4). Solve -q - v = -2, -s - 1 = 3*q - v for q.
-1
Suppose -3*c = 3, 0 = 2*j - c - c - 6. Solve 2*a - j*l = 0, -10 = a + 4*l + 15 for a.
-5
Let t(y) = 2*y**2 - 2*y - 7. Let l(g) = g**3 + 4*g**2 + 4*g + 3. Let d be l(-2). Let w be t(d). Solve -3*h + 4*h + 28 = 5*n, 5*n - 10 = -w*h for n.
5
Suppose 5*d = -5*z + 110, 5*d - 118 = -2*z - 23. Solve -h = 4*u - d, 2*h = 5*u - h - 17 for u.
4
Let f = 37 - 17. Suppose -f = -5*s, -2*b - s = -b - 14. Solve t - 3*t + 4 = 2*y, -y = -3*t + b for t.
3
Let z(y) = 3*y - 3. Let v be z(4). Solve -v = -3*b + 2*p + 9, 2*b + 2*p - 2 = 0 for b.
4
Let j be 4/12 + 46/6. Suppose -3*c = -j*c. Suppose -2*s - 2*s = c. Solve s*n = 2*v + 5*n - 9, n = v - 1 for v.
2
Suppose 3*a + 5*w = 61, 3*a + w - 18 = 23. Solve 2*g = 3*f - 2, 7*g - 2*g + a = 4*f for g.
-4
Let r(n) = 2*n + 21. Let p be r(-9). Solve -l = 2*h - p - 1, 5*l = 5*h + 5 for l.
2
Let t