(7). Solve 3 = -5*z + b for z.
1
Let f = 0 - 0. Suppose -4*b + 15 - 7 = f. Solve -b*h = -h + 4 for h.
-4
Suppose 2*z - 2*w = -z + 17, 4*w = 5*z - 29. Let k = 20 - 14. Solve 0 = -z*u + k - 1 for u.
1
Suppose g = 4*r - 2*g + 1, 3*r + 3 = 3*g. Suppose x - r*v + 7 = -7*v, 1 = 3*x + 4*v. Solve -x*b - 2*b - 20 = 0 for b.
-4
Suppose -4*o - 3*v = -83, -3*o + o - 2*v + 44 = 0. Let r = 5 + o. Solve 5*l = -7 + r for l.
3
Suppose -u - 4*u + 5 = 0. Let j(t) = -t + 1 - 2*t + u - t**2. Let w be j(-3). Solve 2*o = 4*o + w for o.
-1
Let x(y) = -y**2 + 8*y - 4. Let m be x(7). Solve 0 = -g - m*g - 16 for g.
-4
Suppose -2*y + 6 - 2 = 0. Suppose 12*u - 11*u - 4 = 0. Solve g = y*g + u for g.
-4
Suppose 0 = -9*d + 13*d. Solve -3 = -y - d*y for y.
3
Let n = 45 + -43. Solve -n*j - 5 = -7*j for j.
1
Let l be 4/(-14) - (2/(-7) + 0). Solve -2*z - 8 + 6 = l for z.
-1
Suppose 0 = -5*f + 14 + 36. Solve -7*g + 2*g + f = 0 for g.
2
Let h be 2 - 2/(0 - 1). Solve -5*k - 6 - h = 0 for k.
-2
Suppose -3*n = n. Suppose n = -m + 3*m - 4. Solve -m*b = -7 + 1 for b.
3
Let d = 6 - 5. Solve 2*w = 5 + d for w.
3
Let w(m) = m**3 + 4*m**2 - 9*m - 33. Let i be w(-4). Solve v = -i - 1 for v.
-4
Suppose n + 5 - 15 = 0. Solve -b = -3*b - n for b.
-5
Suppose -l + 2*l + 17 = 0. Suppose 22 = 2*t - 30. Let h = l + t. Solve -4*s = -h*s + 25 for s.
5
Let c = -4 + 4. Suppose c = -0*t - t. Solve t = 2*q + q - 3 for q.
1
Let m = 31 + -31. Solve 0 = -g - m*g - 5 for g.
-5
Let p(g) = g**3 + 8*g**2 + 9*g + 15. Let u be p(-7). Solve h + 6 = u for h.
-5
Suppose 4*y - 22 = 2*p, 3*p = -6 - 9. Solve 0 = -2*l + y + 3 for l.
3
Suppose 0*d + 2*d + 22 = -k, 0 = 2*k + 4. Let j = 10 + d. Solve 8 = 2*h - j for h.
4
Suppose o = -q + 4*o - 5, -5*q + 3*o + 11 = 0. Solve -2 - 6 = q*x for x.
-2
Let u be ((-10)/3)/(1/(-12)). Let w = -67 + u. Let v be w/(-5) + (-10)/25. Solve 0*x = v*x - 20 for x.
4
Let f be (-1 - -1)/((-1)/1). Suppose f = -2*k + p - 3, -3*p + 3 + 6 = -3*k. Solve 0 = m - 2 - k for m.
2
Let w(a) = a**3 - 3*a**2 + 2*a - 1. Let i be w(2). Let u = 1 - i. Solve 0 = u*x + 1 + 1 for x.
-1
Let b be 8 - 5 - (-1 + 1). Solve -b + 1 = h for h.
-2
Let o(s) = 3*s - 4. Let z be o(4). Suppose 0 = x + x - z. Let l be 290/25 + x/10. Solve -3*q + 0 + l = 0 for q.
4
Let p(i) = i + 12. Let a(j) = 2*j + 13. Let c(w) = -w - 1. Let l(m) = a(m) + c(m). Let d(s) = 7*l(s) - 6*p(s). Let v be d(-11). Solve z = -v - 1 for z.
-2
Let o = 0 - -2. Suppose 0 = -q - 1 + o. Let x be 1 + q - (-2 + 3). Solve 4*n = 3*n - x for n.
-1
Let f(i) = 3*i**2 + 5*i + 17. Let r(b) = -b**2 + b - 1. Let y(p) = f(p) + 4*r(p). Let d be y(10). Solve -d*v - 5 = 2*v for v.
-1
Let k(g) = 2*g**2 + 3*g - 2. Let h(j) = -j**2 - 2*j + 1. Let w(n) = 3*h(n) + 2*k(n). Suppose 5*x = 17 - 2. Let m be w(x). Solve -8*q - m = -4*q for q.
-2
Let x = 9 - -1. Suppose -2*g - 4 = -x. Solve -5*f + 28 = g for f.
5
Let z = -4 - -4. Let n(l) = l - 4. Let j be n(4). Let q(r) = -r + 14. Let i be q(11). Solve z = i*f - j*f for f.
0
Let y(q) = q - 7. Let r be y(8). Solve n - 2 = -r for n.
1
Suppose 4*f = -3*h - 3, -4*f + 3*h = -0*f - 3. Let m be (2/6)/((-2)/(-12)). Let l = f + m. Solve 0*j + l*j - 8 = 0 for j.
4
Suppose 0 = 4*i - 28 - 76. Let l = -23 + i. Solve 2 + l = -5*m for m.
-1
Suppose 0 = 5*g - 4*c - 12, g - 5 = -3*c + 5. Solve g*s = 2*s for s.
0
Let h(o) = o**2 + o - 15. Let v be h(-5). Solve v = -7*b + 2*b for b.
-1
Suppose a - 3*k + 5*k = 8, 0 = 4*a - 4*k + 16. Let v(r) = r**3 - 4*r**2 + 5*r - 4. Let o be v(3). Suppose p - 3*p + o = 0. Solve a*s + p = s for s.
1
Let l = 13 + -8. Solve 0 = a + 4 - l for a.
1
Suppose 11*k - 3*k = 24. Solve -k*y + 1 = 4 for y.
-1
Suppose -3*d = -135 + 51. Solve 0 = 4*l - 8 + d for l.
-5
Let f(t) = -t**2 + 5*t + 6. Let s be f(6). Solve 5*q = -s*q + 10 for q.
2
Suppose -2*g + 5 = 3*g. Suppose -o = -6*o + 40. Solve -3*c + o = -g for c.
3
Suppose 0 = -4*r + 18 - 2. Solve 0 = -4*i - r for i.
-1
Let t(w) = 3 - 1 - w**3 - 9*w**2 + 0*w**3. Let y be t(-9). Solve -y - 7 = -3*o for o.
3
Let n be (-1 + 16 - -2) + 1. Let d be 4/(-20) + n/(-10). Let z = 5 + d. Solve z*h - 2*h = 0 for h.
0
Let r be (4/(-2))/((-1)/2). Solve 1 - r = -f for f.
3
Let x(p) = p**3 - 4*p**2 - 4*p - 1. Let f be x(5). Solve 0*r = -r - f for r.
-4
Suppose 0 = 5*m, f + 2*f - 4*m = 15. Solve -4*h = -1 + f for h.
-1
Let q(u) = -u**3 - 4. Let j be q(0). Let n be (-42)/j - (-2)/(-4). Let p(s) = -s**3 + 9*s**2 - 8*s + 2. Let z be p(8). Solve 0 = z*x - 4*x + n for x.
5
Let z = 109 - 108. Solve -5*n - 16 = -z for n.
-3
Let h be (12/10)/((-3)/15). Let i be h/(-27) - (-2)/(-9). Suppose 0 = n + 4, 5*z = -3*n - i*n - 2. Solve 2*o - o + z = 0 for o.
-2
Suppose -3*p + 7 = -7*i + 2*i, 4*p + i = 17. Solve 0*c - 4 = -p*c for c.
1
Let j(q) = q**3 - q**2 - 3*q + 2. Let g be j(0). Solve -g*t = -0*t - 4 for t.
2
Suppose 2*x - 6*x - 40 = 0. Let q = x - -15. Suppose s = q*k - 18, 18 = k - 0*k - 5*s. Solve -k = 2*h - h for h.
-3
Let x = -2 + 7. Let q = 8 + x. Solve 4*f + 7 + q = 0 for f.
-5
Suppose -3*z - 4*t + 1 = -4*z, 3*t = -z + 6. Solve 6 = -6*v + z*v for v.
-2
Let b(s) be the third derivative of -s**4/24 + s**3/2 - s**2. Let o be b(6). Let w = 1 - o. Solve 12 = -w*r - 8 for r.
-5
Suppose 5*c + 5*i - 48 + 18 = 0, -4*i + 16 = 0. Solve 3*r - 13 = c for r.
5
Let i = 36 + -36. Solve 0 = -t - i*t - 5 for t.
-5
Let l = 150 - 146. Solve 1 = -l*k - 3 for k.
-1
Let k = 3 - 1. Suppose 3*j = -k*l + 15 + 4, -11 = 3*j - 4*l. Let c(p) = p**3 - 2*p**2 - p + 3. Let m be c(j). Solve 0 = 4*u - m*u for u.
0
Let p be ((-8)/8)/(2/(-10)). Solve -1 = -4*z - p for z.
-1
Let p = 6 - 2. Solve -p*v - 17 = -5 for v.
-3
Let u be (9 - 8) + 0/(-1). Solve -u + 6 = -5*q for q.
-1
Let y be (1 - 0) + (4 - 0). Solve y*h - 20 = -0 for h.
4
Let p = 4 + -9. Let u = 1 - p. Suppose -u*o + 2*o + 13 = -3*c, 0 = 3*c + 5*o - 23. Solve -1 = -t + c for t.
2
Let a = 10 + -9. Solve -4*u - a = 3 for u.
-1
Let v(b) = b + 4. Suppose 0 = -5*q - 3*p - 11, q + 5*p - 7 = -q. Let m be v(q). Solve m = i + 2*i for i.
0
Suppose 13*x + 24 = 16*x. Solve x = h + 3*h for h.
2
Let k be (2/6)/(2/48). Let n = 13 - k. Solve -n*u - 3 - 12 = 0 for u.
-3
Let n(z) = z + 6. Let v be n(-3). Solve 6*x + 15 = v*x for x.
-5
Suppose -4*k = y + 4*y - 44, 0 = 2*y - 2*k - 32. Solve -s - 3*s - y = 0 for s.
-3
Let v(w) = w**3 - 5*w**2 - 1. Let y be v(5). Let j = y + 17. Solve -3*m + 4 - j = 0 for m.
-4
Suppose -6*m - 165 = -m. Let g be (-2)/(-7) - m/7. Solve -d = g - 0 for d.
-5
Let w = 3 + 12. Suppose -8*g + w = -5*g. Solve g*s = -6 - 9 for s.
-3
Suppose 1 = -3*j + 2*l + 14, 2*j = -l + 4. Solve -5*v = -j*v + 4 for v.
-2
Let m(u) = -u**3 + 10*u**2 - 10*u + 12. Let r be m(9). Suppose 4 = r*z - 2. Solve 0 = -3*c + 13 + z for c.
5
Let n = -4 + 6. Let o = 4 - -8. Solve -n*u = -5*u + o for u.
4
Let g(m) = 8*m**2 + 21*m + 1. Let x(y) = 3*y**2 + 7*y. Let f(q) = -4*g(q) + 11*x(q). Let u be f(7). Let o be (-3 - u)*0/2. Solve o = -2*v + 1 + 1 for v.
1
Let f(r) = r + 8. Let y be f(-7). Solve 2 = -z - y for z.
-3
Let q(f) = -3*f - 4. Let m(j) = 1. Let p(a) = -5*m(a) - q(a). Let g be p(1). Let l(d) = -d**3 - d**2 + d + 5. Let o be l(0). Solve -g*b - o = -3*b for b.
5
Let r(d) = -4*d + 5. Let p(q) = -5*q + 4. Let c(f) = -3*p(f) + 2*r(f). Let v be c(1). Solve -g = -v*g + 8 for g.
2
Let v(a) = -2*a**2 + 7*a - 4. Let p(y) = -y**2 + y - 1. Let c(d) = 3*p(d) - v(d). Let g be c(-2). Let o = g + 3. Solve o = 5*i - 2 for i.
2
Let s(z) = 12*z + 2. Let o be s(2). Let c = o + -16. Solve -5*t = -0*t - c for t.
2
Let f be 4 + (24/4 - 4). Suppose 5*m + 0*a - 4*a = 18, -4*m - 3*a + 33 = 0. Let v be 26/m - 2/f. Solve -v*y - 2 = -6 for y.
1
Let g = -1 - -2. Let p(b) = -2*b**2 + 3*b. Let l be p(2). Let r be (2/(-4))/(l/8). Solve -o - r = -g for o.
-1
Let k be (0 - 1)*(-2 - -5). Let j(s) = -2*s + 9. Let g be j(6). Let r = g - k. Solve -4*w + 4 = -r*w for w.
1
Let i(s) = 3*s**3 - 5*s. Let v(t) = 4*t**3 - t**2 - 5*t + 1. Let o(p) = 3*i(p) - 2*v(p). Let b be o(-3). Solve 4 = 4*w - b for w.
2
Let t = 22 - 22. Solve t = -6*p + p for p.
0
Let i = 67 + -47. Suppose -5*y = -0*y - i. Suppose 0 = -c + 2*s - 4, -y - 12 = -2*c - 4*s. Solve -c*r = r for r.
0
Let c be 12/2 - (-2)/1. Suppose c = 2*s + 2. Solve u + s + 0 = 0 for u.
-3
Suppose -4*v + 21 = 5*k, 5*k = 3*v - 0*v + 28. Solve 2*s = -k - 1 for s.
-3
Let h(c) = -c - 1. Let a 