4. Suppose -o = -2, -3*z + z + 8 = -o. Suppose -z*v + 2*v = -9. Solve -2*i = p*h - 15, v*i - i - 12 = -2*h for i.
3
Suppose 4*k + 39 = -9. Let x = -9 - k. Solve -5*w = 4*r - 32, 0 = x*r + 2*r - 2*w - 7 for r.
3
Let d(x) = -x**2 + 22*x + 8. Let i be d(22). Solve 0 = r - 0*c - 4*c - i, 4*c = -5*r + 16 for r.
4
Suppose -3*n + n - 5*s = -39, -2*n + s = -21. Solve 5*j - 2 = -5*x - n, -8 = 3*j + x for j.
-3
Let j be (60/(-105))/((-1)/((-7)/(-2))). Solve 0 = o - 5*q, 3*o = -o + j*q for o.
0
Suppose 3*w - 4 = 8. Suppose 4*g + 5*t = -g + 25, 3*g - w*t - 22 = 0. Solve 3*n = 5*m + 3, g = -n - m - 1 for n.
-4
Suppose -b + 99 = -0*b. Let r be 2/(-8) - b/36. Let s = 8 + r. Solve -5*p - w - 4*w + 10 = 0, -10 = -4*p - s*w for p.
0
Suppose -4*z + 21 = m, 3*m = 3*z - 0*z + 3. Solve -m*f = -v + 10, -5*f + 10 + 10 = 5*v for f.
-1
Suppose -5*m = -2*u + 24, -5*m = -5*u - m + 60. Let j be u/9*(-6)/(-4). Suppose j*z - 19 - 17 = 0. Solve -r - 8 = 4*k - 0*r, -5*r = -2*k + z for k.
-1
Suppose -13 = -3*x + 29. Solve 3*h = 2*j + 2, -3*j + x + 2 = 5*h for h.
2
Let g = 8 - 5. Solve -g*z = 3*o, -4*z + 7*z = -9 for o.
3
Let s(f) = -5 + f**3 + f**2 + 10*f - 6*f**2 - 8*f + f**2. Let c be s(4). Solve -7*p + 2*p = 3*a - 20, 0 = -c*p + 12 for a.
0
Let t be (3/2)/((-15)/(-20)). Solve 0 = -5*i, -18 = -5*f + 2*i + t for f.
4
Suppose 0 = -r + 6*r + 30. Let g be r/(-15) - (-46)/10. Solve 5*z - 9 = -4*l, 0 = l - 0*z + g*z - 6 for l.
1
Let q(k) = 3*k + 1. Let h be q(1). Suppose j + 6 = h*j. Let u(o) = -2*o**3 - 3*o**2 - 2*o - 3. Let l be u(-2). Solve -4*w = d + 13, -j*w + l*d = 26 - 3 for w.
-4
Suppose -3*l - 24 = -4*n + 9, 21 = 3*n - l. Suppose -3*f + 9 + n = 0. Solve z = -h + 2, z + 2*z = -f*h + 2 for z.
4
Suppose -6*z + 14 = z. Solve 2*h = -3*h + z*l - 25, 2*l = -2*h + 4 for h.
-3
Suppose -4*k - 15 = -5*m - 7, -4*k - 8 = 5*m. Solve m = b - 4*x - 9, -2*b = 2*b - x + 9 for b.
-3
Let p be 9/(-2) + 9/(-6). Let c = p - -10. Solve 2 = 2*r + 5*o, 0 - c = -4*r - 2*o for r.
1
Suppose -5*u + 5*u = -3*u. Solve -3*b + 4*m = -u*b - 35, 2*b + 15 = -5*m for b.
5
Suppose 4*p = -3*a + 16, 3*a + 37 = 4*a - 5*p. Solve 2*m = -d - 3*m - 8, 5*d + a = 3*m for d.
-3
Suppose -6*g + 20 = -2*g. Solve -3*h = -3*k + 15, k = -g*h - 20 + 7 for k.
2
Let z(k) = k**3 + 19*k**2 + 17*k - 16. Let g be z(-18). Solve 4*i - g*l = -12, -5*i + l - 12 = 6 for i.
-4
Let v = 7 + -5. Let y = -26 - -6. Let u = -15 - y. Solve -2*k + v*r = -0*r + 10, 0 = u*r - 10 for k.
-3
Suppose -h = 2 - 5. Suppose -h*v + 48 = 2*o, 5*o - o - 2*v = 128. Suppose w - 6*w + o = 0. Solve 0 = -2*s + w, -2*t + 0*t - 9 = -5*s for t.
3
Let v(m) = m**2 + 3*m + 2. Let s be v(-3). Solve 0 = -5*n + 5*p + 45, s*n + 18 - 6 = -4*p for n.
4
Suppose -k = 3*k - 4*j - 80, -k + 26 = j. Let i = -5 + k. Solve 4*p + i = 4*y + 2, 4*y = 2*p + 8 for y.
0
Suppose -u - 2*x = -14, -21 = -5*u + 2*u + x. Solve -3*l - 6 = 4*m, u = -3*m + 4*l - 9 for m.
-3
Let u be ((-4)/(-3))/(8/12). Let c be 1/u + (-15)/(-6). Solve 0 = s - 2*a + 2, a - 3 = 3*s + c for s.
-2
Let w = 64 - 59. Solve -3*i = 4*m - 1, 6 - w = -i - 2*m for i.
3
Suppose -h + 25 = 5*d + 1, 0 = 5*h + 3*d - 32. Let z = 13 - 11. Solve 3*n - z*i + 25 - 4 = 0, 4*i - 32 = h*n for n.
-5
Let h(l) = -8*l - 13. Let q be h(-4). Solve -4*v - d = q, -d = -5*v + d - 27 for v.
-5
Suppose -3*q + 6*q = -18. Let y be 44/12 - 2/q. Suppose 4*o - y*l = 24, -l - 12 = 4*o + 4*l. Solve -s = 2*d + o, -3*d + d = -3*s + 18 for d.
-3
Suppose -3*g - 2*i = 7, g + 0*i - 2*i - 11 = 0. Let r(y) = y. Let f be r(g). Let d be -1*(f/(-1) + -2). Solve 0 = 2*v + o + 1, v = d*v + 2*o + 6 for v.
2
Let t be (12/(-15))/((-4)/70). Let q = -3 - -6. Suppose -2*o - 4*h = -t, -q*o + 4*h + 1 = -10. Solve -w + 19 = -o*j, -j - 4 + 1 = 0 for w.
4
Let k be (-1)/5 - (-31)/5. Suppose -2*s = -o - 2, 2*o - k = -5*s + 8. Solve o*t + 4*i = 16, 5*i = 2*t + t + 31 for t.
-2
Let k = 31 + -6. Suppose -v - 7 = -3*s, -s = -6*s - v + k. Suppose -o = -b + s, b = 2*o + 5 + 1. Solve -b*z + 5*g = -11, -4*z + 2*g - 20 = 6*g for z.
-2
Let v(s) = -s**3 - 2*s**2 - s + 1. Let l be v(-2). Suppose -4*u + 25 = u, -l*a = -4*u + 14. Solve r + 7 = -3*t - a, t - 13 = 5*r for t.
-2
Let m(h) = -h**3 + 10*h**2 + 12*h - 7. Let c be m(11). Suppose 4*q = 2*l + 3 - 7, -c*l + 8 = -4*q. Solve 0 = 2*z + l*z + 5*t + 8, 5*z = 2*t + 23 for z.
3
Let t = 0 - 0. Suppose 3*u - l = l - 16, 0 = 5*l + 20. Let f(x) = -x**2 - 9*x - 4. Let p be f(u). Solve -q + m = 0, p*q + m + 0*m + 10 = t for q.
-2
Let u = -40 + 44. Solve -4*c - 2*r - 12 = 0, -2*c - c + u*r + 2 = 0 for c.
-2
Suppose -4*o - 11 = -59. Suppose -3*s - r = -o + 2, -5*s - r + 18 = 0. Suppose -5*z = -10, -3 = -b + s*z - 7. Solve -p + 3*t = -6, t - b*t - 12 = p for p.
-3
Let g = 14 - 11. Solve -3*o + 15 = -2*o + 2*x, 10 = 5*o - g*x for o.
5
Suppose 5*t = -2*b + 46, 2*b + 10 + 14 = 2*t. Solve -20 = -t*j + 5*j, 3*j = -4*x - 8 for x.
-5
Let f be ((-49)/(-14) + -5)/((-6)/8). Solve 4*r + 14 = -j, -4*r - 5*j + f*j - 10 = 0 for r.
-4
Let w(b) = -4*b - 1. Let l(q) = -1. Let m(k) = 2*l(k) - w(k). Suppose -6*c + 4 = -2*c. Let t be m(c). Solve 4*n + 18 = -u + 2, u - 5 = t*n for n.
-3
Let n be (0 + (6 - 6))/(2 + -1). Let a be -1*(-1)/(1/2). Let x = 2 + a. Solve x*l = -2*m - 22, 3*l + n*l + 3 = 3*m for m.
-3
Let b = 3 - 14. Let n = b - -18. Solve 4*j - 8 = 5*x, 3*x - 1 = 2*j - n for x.
-4
Suppose -2*q + 11 = -3*q. Let r = q - -17. Suppose 0 = 2*a - r*a. Solve -5*x + 2*f - 15 = a, 4*f + 5 = -5*x - 10 for x.
-3
Let x = 2 - 5. Let t be x/(-6)*12 + -2. Solve -5*n - t*w + 20 = 0, 6*n - 2*n - 16 = 3*w for n.
4
Let r(l) = -l**2 + 6*l - 4. Let m be r(5). Solve 3*g + m = 2*k, -5 = 2*g + 2*g + k for g.
-1
Let t be 2/(-13) + 144/(-78). Let j be 0/5*t/4. Solve -2*q = 2*q + 3*v, -2*q + 2*v = j for q.
0
Suppose 4*q - 20 = -0*y - 5*y, 0 = -y + 3*q - 15. Suppose -v - 61 = -4*k, y = -k - k - 2*v + 28. Solve -5*j = -5*u - k, 2*j - 5*j = -u - 9 for u.
0
Let w be 5/(-1)*8/20. Let o(n) = 2 + 11*n**2 - 3*n + 3*n. Let h be o(w). Solve 37 = 5*j + 4*x, 3*j + 5*x - h = -16 for j.
5
Let b be 22/33 + 68/6. Solve -b = -5*n - 3*h, -n + 2*h = 2*n - 11 for n.
3
Suppose k - 18 = 2*k - 2*n, -k - 14 = -n. Let h = k - -16. Suppose l + 20 = h*l, -4*l - 24 = -2*d. Solve 4*p + 5*z = -5, p - 5*z = 2*p + d for p.
5
Let b be (-2)/6*0/2. Let z = b + 0. Suppose -3*l + 0*l + 6 = z. Solve l = -2*q + 5*g + 1, 5*q + 20 = -5*g for q.
-3
Let f = -118 - -391. Suppose -4*v = -7*v + f. Suppose -20 = -a + 2*u, -4*a + u = a - v. Solve -m = 5*b + 12, -3*b - a = -5*m + 6 for m.
3
Suppose 25 = -5*o, -5*p + 2*o + 25 = -0*o. Solve p*n - n + 2 = 2*a, -2*a + 5*n + 8 = 0 for a.
-1
Let k be 3/(2 + -1)*1. Suppose -16 = b + 3*b, 8 = 2*q - 2*b. Solve -8 = -4*f - 4*l, -4*f + 7 = k*l - q*l for f.
1
Let a = -45 - -21. Suppose 819 + 171 = 3*t. Let c be 3/(-4) - t/a. Solve -c = 4*p + s - 0*s, -2*p + 3*s + 11 = 0 for p.
-2
Let z be 1 + ((-5)/(-10))/((-3)/(-18)). Solve 2*i = -o + 2, i - 4*i + z*o = -14 for i.
2
Let z(k) = 3*k**2 + k. Let b be z(1). Suppose 2*l - 5 = -2*l - 5*a, -2*a = 6. Let m = -3 + l. Solve n = -2*t, -n - b*t + m = -t for n.
-4
Let w be ((-63)/42)/(2/(-4)). Solve 2*n - 10 = 0, -w*z + 0*z - 3*n + 21 = 0 for z.
2
Let x be (-3 - -2)/((-5)/10). Solve 7 + 2 = -i + x*l, -2*l + 7 = i for i.
-1
Let t = -3 - -5. Suppose 16 = t*k + 2*k. Let v be 0*1*(-2)/k. Solve -6 = 2*s, 3*u - 2*s = -v*s - 9 for u.
-5
Suppose 4 = -o + 6. Solve 3*g = -2*h - 9, 0 = 3*g - o*h + h + 18 for g.
-5
Suppose c - 3*c + 4 = 0. Solve 0*o = o + 5*j + 22, 2*o = c*j + 16 for o.
3
Let b be (-4)/12 - (-1)/3. Solve -3*u - 2 = 4*j, -3*j - 14 = -4*u - b*u for j.
-2
Suppose -5*o + 8 = -o. Suppose 9*q = 10*q - 4. Solve -n - 2*n + w + 3 = 0, -5*n + o*w + q = 0 for n.
2
Let x(a) = a + 13. Suppose -d - 20 = d. Let t be x(d). Suppose 4 = 8*i - 4*i + 4*j, t*i = 3*j + 27. Solve 2*u + 1 = -h + 3, -4*u = -i*h - 4 for h.
0
Suppose 0 = 4*q - 5*q + 5*x + 27, -16 = 2*q + 4*x. Solve 30 = 5*r + 2*d + 2*d, -3*d = -q*r - 11 for r.
2
Let x be 195/60 + (-6)/(-8). Suppose -25 = -5*f, -5*m + 10*m = 5*f. Solve x*s = m*s - 5*z - 11, -6 = 2*z for s.
-4
Let x be (-2)/(-3)*63/14. Suppose -u - 7 = -2*j, -j = -2*j - x*u. Solve 3*c - j*m + 18 = 0, -c + 15 = 4*m - 4 for c.
-1
Suppose -9*n - 16 = -13*n. Solve 2*l + 3*l = n*v + 26, 2*l = -2*v - 4 for v.
-4
Let d be ((-5)/(-10))/((-2)/(-12)). Solve 5*i