 4. Let q be v(2). Solve q = 2*i - 4*y - y - 19, 0 = i - y - 5 for i.
2
Let o be (-11 + -1 - 3) + 3. Let x = 3 - o. Solve -z + 7 = -5*f - x, 7 = f - 4*z for f.
-5
Suppose 13 = 4*w - 99. Suppose -3*q + 19 = 3*i - 11, -2*i - 4*q + w = 0. Let d = -2 + i. Solve -5*h = 4*k + 4 - 0, 3*k + d*h + 3 = 0 for k.
-1
Let c be 32/6*(-24)/(-16). Suppose 0 = 4*p - c*p + 16. Solve o - z + 3 = -4, -p*z = -8 for o.
-5
Suppose -2*m - x = -13, 0 = -m - 3*x + x + 2. Let c be 3/2*1 + 9/18. Solve -h + r - m = -4*h, -5*r = -c*h - 23 for h.
1
Suppose -3*s = -a + 1, -3*s = a + a - 2. Solve 2*r + b + s + 2 = 0, -b - 11 = 5*r for r.
-3
Let l = -90 + 106. Solve -4*b = -l, -3*w + 3*b + 2*b - 32 = 0 for w.
-4
Suppose -4*k + 7 = -5. Let b be 1 + -1*(-5 - -2). Suppose -b*c + 85 = c. Solve q = k*o + 10, 5*q = -4*o - 43 + c for o.
-4
Let z be 4/(-2)*13/(-2). Suppose o + z = 3*x, 2*x - 3*o = x + 7. Solve 3*a - 14 = -x*b, 0*a + 27 = -a + 5*b for a.
-2
Let v = 2 - 1. Let m(n) = -n**2 + 3. Let f be m(-3). Let o = f + 8. Solve -o*l + 4*p + v = -11, -4*l + 3*p + 14 = 0 for l.
2
Suppose r - 4 = 2. Let b = 11 - r. Solve 0 = 3*p - 5*v - 0 + 37, 5*p = b*v - 45 for p.
-4
Suppose 3*h - 9 = -0. Let k(z) = 0*z + 4*z - h*z + 18. Let t be k(-10). Solve -4*n = -5*u + t, -2 = u - 2*n - 0 for u.
4
Suppose -2*v = -0 - 4. Suppose -v*i - 22 = -5*c, 5*c = 6*i - i + 25. Let r be (1 + i)/(3/3). Solve 18 + 2 = 4*s, 2*p - 5*s + 31 = r for p.
-3
Let i(m) = -m**3 - 13*m**2 - 11*m + 8. Let d be i(-12). Let o be (8 + 4)/d + 10. Solve 0 = -2*b - 5*w + 9, 4*b = 5*w - 20 - o for b.
-3
Suppose -2*u - 6*u + 16 = 0. Solve u*i = 0, 5*w + 3*i - 2 + 12 = 0 for w.
-2
Let r be 24/3 - -1 - (-2 - -5). Suppose -3*c = c. Solve d - r = v, -3*v + c = 5*d - 14 for v.
-2
Let s be 30/(-12)*(-1 - 1). Solve -4*i - 5*a - 5 = 6, -s*a = -i + 16 for i.
1
Let b = 8 - 6. Suppose -n + 3 = -b. Solve -2*y - 6 = -3*f, n*f + 5*y = 19 + 16 for f.
4
Let l be 147/18 - (-3)/(-18). Let v be -1 + 1 + (-6 - -1). Let s = l + v. Solve s*t - 5*u = 8*t, -2*u + 5 = 3*t for t.
5
Suppose -5*w + 3*w + 4*h + 26 = 0, -4*w - 4*h - 8 = 0. Solve -w = f + f + v, -f - 4 = 3*v for f.
-1
Suppose -4*a + 7 = -1. Suppose a = -h - 1. Let j = 0 - h. Solve -3*c + j*i = 4*i - 9, 3*i = -9 for c.
4
Let w be (-6)/24 - 42/(-8). Solve -h = -2*q - w, -3*h + 5*q + 13 = -0*h for h.
1
Let r(x) = x**3 - 7*x**2 + 8*x - 9. Let k be r(6). Let s be ((-1)/(-2))/(4/40). Suppose 2*n - s*n + 6 = 0. Solve -n*a + 3 = -q - k*a, 4*q + 5*a = -12 for q.
-3
Let p = 1 - -2. Let m = 16 + -13. Solve 5*a + n - p*n = 26, 0 = m*a - 4*n - 24 for a.
4
Let b be 8/(-12)*-3*1. Suppose 2*n - 6 = -2*h, n - 5 + 0 = -b*h. Suppose -7*c = -h*c - 20. Solve 3*z - 2 - 7 = -2*k, z = -c*k + 13 for k.
3
Suppose -a - 18 = -4*a. Solve -p = 2*r + a, -6*p - 15 = -3*p + 3*r for p.
-4
Suppose 2*o = -u, 0*o - 4*u = o. Let q = 6 + o. Solve -y + 3*y = -2*n - q, -n + 4*y = -22 for n.
2
Suppose -13*c - 2 = -15. Solve -4*r + 2*l + 4 = 0, -5*l = r - 0 - c for r.
1
Suppose -4*n + 0*f = 4*f - 28, -n - 2*f + 11 = 0. Suppose -2*a + n = -1. Solve -a*m = -z + 9, -m - 3*m - 12 = 0 for z.
3
Suppose 3*f - 81 = -3*g - 36, 54 = 4*g - 2*f. Solve 3*o - g = 2*u, 4*o - 18 = u - 1 for u.
-1
Suppose 4*m + 14 = -2*t, t + 2 = 2*m - 1. Let o = m + 3. Solve -3*x = l - 4*l - 18, -3*l + o = 2*x for x.
4
Let g be 4 + (-6 - -4) - (2 - 2). Let w be -4 - 0 - (0 - -2). Let j(k) = -k**2 - 7*k - 3. Let i be j(w). Solve q = g*q + u, 0 = u - i for q.
-3
Let d(f) = 2 + 2 - 2*f - 10 - 3. Let r(x) = x - 12. Let i be r(6). Let z be d(i). Solve 5*m + 22 = -2*j, -z*j + 1 = -2*m + m for m.
-4
Let j(m) = m**2 + 2*m. Let k be j(-1). Let z be -1*((-3 - k) + 1). Let d be 0 + z/2*4. Solve 2*l - 2*p = -2, -3*p - d*p = -l - 5 for l.
0
Suppose 8*w = 3*w + 5. Let t be (6/10)/(w/5). Let o be ((-2)/(-2))/1 + 2. Solve 4*b + 12 = o*k, b + k + t*k - 16 = 0 for b.
0
Suppose 0 = 2*c + 3*c - 30. Let r = -5 + c. Let m(t) = 4*t**2 - t. Let y be m(r). Solve 2*z = -5*q - 14 - 13, -14 = y*q - z for q.
-5
Let g(y) = 76*y - 1. Let o be g(1). Suppose -3*w - 30 = -o. Let q be (-1)/((-3)/1 + 2). Solve -5*m - w - q = -2*c, -5*c - 3*m = 22 for c.
-2
Let q(n) = -n**3 - 5*n**2 - 6*n - 6. Let o be q(-4). Suppose -o = -t + 5. Solve -5*d - 15 = 0, t*d = 5*x + 3*d - 12 for x.
0
Let p be 1*2/((-6)/(-3)). Suppose 2*k = -2*v - 2, 5*k + 12 = -v - p. Let y = 7 + -1. Solve -v*o + 0*u - 13 = -5*u, -o = -2*u + y for o.
-4
Let z = -4 - -6. Suppose -22 = -2*w + z*l, -w - l = -6*l - 23. Solve -4*u + 2*u - 4*a = -4, -4*u = 3*a - w for u.
2
Let q(y) = 2*y**3 - 5*y**2 + 3*y - 4. Let b be q(3). Let p = b + -9. Solve 2*k + 5*v = 3, -3*v = -2 + p for k.
4
Let k = 14 - 18. Let n be -1 + 0 - (-10 - k). Solve -4*b = 4*y - n*y + 13, -4*y + 2*b = -24 for y.
5
Let y = -85 + 88. Solve 4*p - y*o - 1 + 13 = 0, -p + 2*o = 8 for p.
0
Let v be 292/18 + 12/(-54). Let u be ((-2)/4)/(4/v). Let r be (-3)/(-2*(-1)/u). Solve r*o - 5 = 2*m, -4*m + 0*o - 4*o = 0 for m.
-1
Suppose -4*m + 13 = 1. Let c(s) = s**3 + 1 + m*s - 7*s**2 - 6 - 2*s. Let t be c(7). Solve -5*o + 5 = -3*l - 2, -t*l = -3*o + 5 for l.
-4
Suppose -2*m = -5*m - 5*x + 26, -3*m - 2 = -2*x. Suppose -h - 4*t + 28 = 3*h, t = m. Suppose 0 = 2*d - 0 - 10. Solve -h*v - g + d = 0, -3*v - 3*g = 8 + 1 for v.
2
Let h(r) = r**3 - r**2 - 2*r + 1. Let g be h(2). Let x = g - -3. Suppose 0*b - x*b = 5*n - 58, -2*n - 89 = -5*b. Solve -t = -1, 4*y + 5*t = -0*y + b for y.
3
Suppose o + 0*o - 4 = 0. Let y be (1 - 2)*(4 - o). Solve -5*p + 2*f - 4*f + 18 = y, 0 = -2*p - 3*f + 5 for p.
4
Let f = 0 + 0. Suppose -4*x = -17 - 19. Solve -5*a + 16 = -x*a - 2*j, -j - 2 = f for a.
-3
Let r(t) = -2*t - 14. Let w be r(-8). Suppose -4*c + 2*c = -w. Solve -5*j = -3*f - 20, -j + 5*f = -3 - c for j.
4
Suppose 4 = 2*d + 6. Suppose -3*z + 0*z = 18. Let r be 1 + (-2 - d) - z. Solve -y - r - 7 = 4*s, 10 = -4*s + 2*y for s.
-3
Let c(h) = h**3 - 8*h**2 + 16*h - 8. Let b be c(6). Solve z + 3*d = -b + 3, 3*d = 5*z + 11 for z.
-4
Suppose -3*h = 10 + 11. Let r = h - -22. Solve -5*q = -0*x + 2*x + 11, 5*x = -r for q.
-1
Let r = 53 - 51. Solve 5*o - 1 = -q, r = -q + 2*o + 3 for q.
1
Let g be 17/(-6)*-3*2. Let c = g + -8. Solve -3*k - c = -3*n + 12, k - 2*n = -11 for k.
-3
Suppose 2 = -4*p - 6. Let k be (-1)/(-2) - 5/p. Solve 4*c - 4*l = 32, -k*c - 5*l + l + 3 = 0 for c.
5
Suppose -3*m - 6 = z - m, -3*z + m = -3. Solve -2*c + 5*j + 28 = z, -4*j - 28 = -c - 2*c for c.
4
Let l be (8/24)/(1/3). Solve -3*i + 19 = -5*g, 8 = 5*i + 4*g + l for i.
3
Suppose -3*x = d - 12, 7*x - 10 = 2*x. Solve 3*o - u - 11 = 0, 0 = 2*o - 0*u - 2*u - d for o.
4
Suppose 4 = 4*t - 0, z = -t + 5. Solve 0*b - 3*i - 12 = 3*b, 3*b + z*i + 11 = 0 for b.
-5
Suppose -5*f + a + 13 = -2*a, f - 25 = -5*a. Solve 0*q = -q + 3*h + 11, -q - f*h - 5 = 0 for q.
5
Suppose -3*r - 12 = 0, -4*w + 2*r = r - 28. Solve -a - 1 = -3*m + w, 0 = 4*m - 3*a - 16 for m.
1
Let l = -10 + 15. Suppose -2*c - 3*c = 20, 2*c = -l*m + 17. Solve -s + 2*k - 5 = -0*s, 4*k = 5*s - m for s.
5
Let b(z) = z**3 - 8*z**2 - z + 12. Let r be b(8). Solve -v - 19 = 4*t, 2*v = -t + r*t + 17 for v.
1
Let m be (-3 + 0 + -2)*-1. Suppose -z + 5*z - m*d = -2, z - 8 = -3*d. Suppose -2*v = 2*v - 100. Solve -4*x + 11 = -z*x + p, 4*x + 3*p = v for x.
4
Let n be 4*(5 + 8/(-2)). Solve 3 = -5*w + n*k + 4, 4*k - 4 = 0 for w.
1
Let f(o) = o**3 - 1 + 3*o**3 + 3*o**3. Let p be f(1). Let w be 6/(-15) - 4/(-10). Solve -5*k - b = p, -5*k - 9 = -w*k + 4*b for k.
-1
Let d(t) = -t + 1. Let b be d(-6). Let o be (-1)/b + 704/28. Solve -2*j = j + 2*l - o, 0 = -5*j - l + 30 for j.
5
Let c(h) = -2*h**3 - 8 + h**3 - 2*h + 3*h + 8*h**2. Let o be c(8). Let t = o + 0. Solve -3*q - 2 = -5, r - q + 4 = t for r.
-3
Let b(q) = -q. Let t be b(0). Let i = t + 0. Solve 2*k + 16 = -4*j, i = 5*j + k + 4*k + 20 for j.
-4
Let n = -8 - -7. Let s be 3 + 2 + -2 + n. Solve -s*w - w - o = -16, 5*w - 23 = 2*o for w.
5
Let g be 74/8 + (-1)/4. Let b = 70 - 61. Solve 2*w - 4*j - g = b, -3*w + 21 = -4*j for w.
3
Let u = 26 - 23. Solve -u*d + 3*x = -21, -d - x = d + 1 for d.
2
Let f be (-2)/4 + (-8)/(48/(-69)). Suppose d - 5*d + 28 = 0. Suppose 0 = 2*i + 2*n - 4, d*i - 3*i - 9 = -3*n. Solve 5*v = 5*h - 2*h + f, 5*h - 27 = -i*v for v.
4
Suppose 3*h + 0 = -3*o - 3, -2*o + 5*h = -19. Suppose -5*m + 6 = 2*d, m + 2*d = -2 - 0. Solve m*s = 3*r + 8, -s = 