7. Solve -s*o + 12 = 0, 5*i = -4*o + 16 + 10 for i.
2
Suppose -6 + 0 = -3*q. Let l be (25/10)/((-2)/(-4)). Suppose 3*t - l*y = -y - 10, 3*y = 3*t + 6. Solve -t*b - 19 = -5*w, -2 = q*w - 5*b - 18 for w.
3
Let k be (-4)/10*(-24 - -4). Solve -t - 5*g = -3*t - 11, -3*t - g = k for t.
-3
Let w = -17 - -17. Let s be w/(-3)*(-5 + 4). Solve -4*b = -8*b - n - 25, 3*b - 5*n - 10 = s for b.
-5
Let w be (1 - 1/1) + 2. Let m = 81 + -75. Solve 4*t - 2*o + w = -m, 2*t - 3*o = -8 for t.
-1
Let s = 23 + -18. Let l be (-1)/2 + 1/2. Suppose s*n + 0*n - 30 = l. Solve 4*a - n = -5*t, t - a - 3 = -0*t for t.
2
Suppose -b = -2*b - 27. Let v = -23 - b. Solve 3*m - 5*h = -0 - 25, -v*m = 2*h - 10 for m.
0
Suppose 3*s + 3*i + 6 = 0, 3*s + 0*i - 19 = 2*i. Solve 5*d = -10, 3*a = 2*a - s*d - 3 for a.
3
Suppose 5*y - 3 = 4*y. Solve -5*r - 1 = z - 12, -2*r - 6 = y*z for r.
3
Let f be (-1)/(-2 - -3) - -6. Solve -l - 16 = -4*x, x + 5*l = f*x for x.
5
Suppose h - o + 2 - 1 = 0, -2*h - 2 = -3*o. Let c be (-9)/(18/(-4)) - h. Solve 17 = 2*j - c*l, 2*j + l + 3 = -0*j for j.
1
Suppose -3*b = -8*b + 15. Solve k = b*x + 4*k + 3, 5*x + 2*k = -8 for x.
-2
Let u be (-44)/(-8) + 2/(-4). Let f be 4/(-10) + 44/10. Solve f*q - 20 = 0, u*v + 7 = 5*q - 33 for v.
-3
Let y(z) = -z**2 - 6*z - 1. Let w be y(-5). Solve -w*n = n + 2*j - 6, 0 = 2*n + 2*j for n.
2
Let a = 1 - 0. Let u = 4 - a. Let f be (10/1)/(u + -2). Solve -3*w + 5*c = f, 4*c + c = 25 for w.
5
Suppose 0 = -12*r + 7*r + 25. Let g = 6 - 4. Solve x + 10 = r*u, 6*u - g*u = -4*x + 8 for u.
2
Suppose 2*w - 5 = -c, -5*c - 1 - 2 = 3*w. Let v = c - -23. Suppose 5*h = -3*d + 7*d - 25, -2*d = -4*h - v. Solve -q = 5*l - 0*l + 7, 3*q - 5*l + 1 = d for q.
-2
Suppose 3*r - x + 3 = 8, 5*x = -5*r + 35. Suppose 24 = 2*m + 3*b, 9 + 8 = r*m - 5*b. Solve c = -2*l + 5, l + 3*c + m = -1 for l.
5
Let c = -29 - -30. Let w = 12 - 6. Let d be 0/(w/2 - c). Solve -4*s - 2 = 6, d = -5*i - 5*s - 20 for i.
-2
Let r = -6 - -11. Suppose 4 + 1 = r*y. Let i be 4 + (0 - y - -2). Solve -2*a - 14 = x, -4*a - i + 1 = -4*x for x.
-4
Let x = 4 + 0. Suppose -2*s - x = -14. Solve -t - 2*y + 3 = -0*y, -3*t = -s*y + 2 for t.
1
Let r = -2 - -8. Solve 0 = -4*d - 5*x - 3, 5*d - 3*x + 7 = -r for d.
-2
Suppose r - 4*r + 5*d + 51 = 0, 5*d = -3*r + 51. Suppose 4*o - r = -5. Let p(w) = -w**2 - w + 2. Let q be p(0). Solve -4*a + 2*f = -q*f, -3 = 4*a - o*f for a.
-3
Suppose -2*q = -0*q + 2. Let y be (-3 - q)*(-2)/1. Solve -3*w - 6 = 3*h, h - y*w = -9*w - 22 for h.
3
Let l(y) = -y**3 + 16*y**2 + 15*y + 38. Let f be l(17). Solve -w = w - f*d - 4, w = 4*d + 6 for w.
-2
Suppose -46*s - 126 = -53*s. Solve -5*b - 29 = 3*j, 3*b + 0*j = -2*j - s for b.
-4
Let k(l) = l**3 - 6*l**2 + 6*l + 4. Let n be k(5). Let h be (3 - 1)/((-2)/(-4)). Suppose -h*o + n + 19 = 0. Solve 9 = 3*x + 3*a, o = 3*x + 4*a - 4 for x.
1
Let h = 0 + 3. Suppose 2*k = -q + 52, h*k - 91 = 6*q - q. Solve 0 = 3*s + 4*n + k, 0 = -2*s + 3*n - 4 + 3 for s.
-5
Let n(k) = -k - 14. Let u be n(12). Let a = 38 + u. Solve 4*y + 5*f - a = f, 3*y + 12 = 4*f for y.
0
Let p(f) = -f + 5. Let q be p(6). Let h be (-6 - -7)*(-19)/q. Suppose i = 4*d + h, 0 = 5*d + 5 + 15. Solve 5*t - 6*t = 3*y + 1, -3*t - 2*y - i = 0 for t.
-1
Suppose 0 = -5*y - 5, -3*u - 2*y + 12 = -5*y. Suppose -5*c - 14 - 1 = 0, 2*c + 6 = -u*t. Solve -4*d = -4*j - t + 28, 0 = d + 4 for j.
3
Suppose 5*o - 26 = -4*b, -2*b - 1 = -o - 7. Solve m - 5*d + 15 = 0, -m - 8*d + 21 = -b*d for m.
5
Suppose 0*b - 16 = -4*b. Suppose -b*v + 6 + 6 = 0. Solve -v*k = -w - w + 7, -5*w = -2*k - 1 for w.
-1
Let o(w) = w - 1. Let p be 2/6 + 85/15. Let a be o(p). Suppose 0 = -r - a*q + 12, -r - q + 4 = -0*q. Solve -2*m = -2*k - 10, -r = -4*k - m + 3 for k.
0
Suppose -5*r + 40 = 5*z, 2*z = -2 - 6. Suppose 0 = -6*l + 12 + r. Suppose 2*f - 20 = -3*f. Solve 4*t = 5*y - 25, -f*t + 5 = -l*y + 25 for y.
5
Let z = -18 - -32. Suppose 0*h - h = z. Let t = 24 + h. Solve 4*j - j - g = t, 5*g + 14 = -3*j for j.
2
Let m be 1 - (-2)/(-2) - 3. Let n = m - -5. Solve 0 = -3*s + n*v - 0*v + 10, 4*s - 14 = 2*v for s.
4
Let y(n) = n**3 + 4*n**2 - 5*n + 4. Let z be y(-5). Let b be ((-2)/3)/(z/(-30)). Suppose 0 = -b*j - 0*j + 70. Solve -4*m = 5*f - 7, -4*m - j = -0*f - 2*f for f.
3
Let n be (-57)/(-6) + (-1)/2. Suppose 2*r = 15 + n. Solve -j = -3 + 2, 4*o - 4*j = r for o.
4
Let r = 48 - 45. Let c(y) = -y + 4. Let a be c(4). Solve 0 = -a*l + l + 5*h + 6, -l + 10 = -r*h for l.
4
Let k(j) = -j**2 + 5*j + 1. Let n = -13 - -8. Let p = -1 - n. Let l be k(p). Solve l*q = w - 0*w + 15, 0 = 2*q - 6 for w.
0
Let p(b) = b**3 - 7*b**2 + 2. Let c be p(7). Solve -c*w - g = 8, 0*w - 3*g = -w + 10 for w.
-2
Let r = -17 + 13. Suppose 4*j + o + o = -34, 3*j + 3*o + 33 = 0. Let s = r - j. Solve -5*z + p = 3*p + 15, -5*z = -s*p + 35 for z.
-5
Let z be (-2)/(-4)*(4 - -2). Suppose 3*r - z - 2 = 2*k, -k + 5*r + 1 = 0. Let p = 14 + k. Solve -2*l - y - p = 2*y, 2*y + 7 = -l for l.
1
Suppose -5*b = -3*b - 4. Solve -b*p - 5*c = 19, 5*p - 2*c - 27 = -2 for p.
3
Let l be 0/6 + (1 - 3 - -4). Solve l*n - 2*x = -10, x - 4 = -2*n - 8 for n.
-3
Suppose -8*p + 3*p = 5. Let l = 18 - p. Suppose -3*j = -7*j - 3*k + 20, 2*j = 3*k - 8. Solve 3*z + l = 4*y, j*z + 0*y = 2*y - 12 for z.
-5
Let x be ((-13)/(-2))/((-2)/(-4)). Let n(q) = 2*q - 15. Let o be n(x). Solve -2*g + 4*i - 3 - o = 0, g + 4*i - 23 = 0 for g.
3
Let z(t) = t**2 + 7*t + 9. Let f be z(-6). Let h be (-2 - (-5)/f)*-93. Let o = -22 + h. Solve 2*k - o = b + 2*b, b - 2*k = 1 for b.
-5
Let j = -5 - -12. Suppose -3*k = -j*k. Solve -3*z - 4*n + n + 3 = k, 3*z + 5 = -n for z.
-3
Suppose 0 = -4*n + 1 + 15. Solve -21 = 5*h + p, 4*h + 2*p = n*p - 14 for h.
-4
Let h = 76 - 72. Solve 4*f - 2*q - 2 = -h*q, -3*q - 13 = -2*f for f.
2
Let h be (-10)/20 + (-6)/(-4). Let v = -4 - -9. Solve f - 3*y = h, -25 = -v*f - 4*y - y for f.
4
Let b = 34 + 10. Suppose 2*x + 2*i + 8 = -0*i, -5*i = -5*x. Let h be 2/4*(b + x). Solve 0 = 5*l - 4*d - 30, 2*d = 2*l + 7*d + h for l.
2
Suppose -2*f + 4*f = 8. Solve 5*p + 25 = -f*t + 2*t, 5 = -p - 2*t for p.
-5
Suppose 5*x + 47 + 3 = 5*y, 4*x = 2*y - 28. Suppose 2*k = y*k - 20. Solve -3 = f + 2*z, 0 = 4*f + z + k for f.
-1
Let m be (-3 + 23)*4/5. Solve -v + 8 = 3*h, 4*h + 0*v = 4*v - m for h.
1
Suppose 4*p - p = 3. Suppose 2*d - 4 = 8. Let z be (3 - 2) + d/3. Solve z*m = 4*i + 22, -5*m + i + p = -13 for m.
2
Suppose 3*m + 4*m - 7 = 0. Solve -12 = 3*r, -9 - m = 3*k + 4*r for k.
2
Suppose 2*k + 4*y + 27 = 5*k, 4*k + 2*y - 36 = 0. Solve -3*n + k = 5*d, 3*n + 2*n - 15 = -3*d for d.
0
Let c = -13 - -16. Suppose -27 = -2*s + 3. Let d = 4 + -1. Solve 4*z - 7 = -c*k, 4*k + d*z = 5*k + s for k.
-3
Let z(w) = -14*w + 1. Let b be z(-2). Let p = -1 - -5. Solve -r - 5*u - b = 0, 0 = 2*r + p*u + 9 + 19 for r.
-4
Let u be 5/(-20) - (-36)/16. Suppose 7 = -4*v - 5*k, 0*v - 3*k = -3*v + 15. Let f(n) = n. Let q be f(v). Solve 3*r - 11 = -u*b, q*b - 5*b + 9 = -3*r for b.
4
Let r(x) = -x**2 - 3*x + 5. Let a be r(-5). Let m = 0 - a. Solve 0 = m*g - 2*b - 6 + 1, 3*g + 8 = -b for g.
-1
Let q(k) = 6*k + 4*k**2 - k**3 + 6 - k - 8*k**2. Let i be (10/3)/((-2)/3). Let m be q(i). Solve -b = 4*b + 2*s - 14, -4*b + s + m = 0 for b.
2
Let z(w) = -5*w - 4. Let t be z(-2). Solve 0 = -0*p + 2*p + 4*c + t, 0 = -3*p + 4*c + 11 for p.
1
Suppose -4*q = -5 + 21. Let v = -1 - q. Suppose 0 = u + 3*u + v*n - 10, -5*u + 24 = -2*n. Solve -u*w - 2*c + 2 = 0, -w - 3*c - 7 = -c for w.
3
Let x(f) = f**2 + 5*f + 5. Let k be x(-5). Solve -3*w - 1 + 0 = -5*m, m + 13 = k*w for w.
3
Let j(y) = -y - 1. Let h be j(1). Let c = h - -14. Suppose 6*n - c = 3*n. Solve 4*g = 3*x + 10, -n*x + 7*x = -5*g + 26 for g.
4
Suppose 4*a - 8 = -4*m + 12, 0 = -4*a - 20. Suppose 0*k - 2*k = -m. Solve -k*t + 4*u = -6, -5*u + 1 + 8 = 2*t for t.
2
Let n(s) = -s**2 + 4*s + 5. Let y be n(5). Suppose 4*k - 19 = -0*l + l, -2*k - 5*l = 7. Solve -i = -2*h - 7, y*i - 4*i + k*h = -20 for i.
3
Suppose 139 - 12 = -4*k + 5*s, 70 = -2*k - 4*s. Let o = k + 56. Solve -5*h = -r + o, -2*h + 0*h + 2*r - 14 = 0 for h.
-4
Let u(t) = t**3 + 17*t**2 + 16*t + 14. Let g be u(-16). Solve 4*c + 2*v + g = 0, 2 = -c + 4*v + 3 for c.
-3
Suppose 4*i - 18 = 2*x, 2 = -2*i - 3*x - 1. Solve -y = -v, i*v - 5*y = 4*v for v.
0
Suppose -7*c + 12 + 9 = 0. Solve -24 = -4*p + 2*n, 6*p + c*n - 4 = 4*