5. Solve a = z - 2 for z.
4
Suppose -5*a + 5*k + 93 = 23, 43 = 2*a + 3*k. Let g = 17 - a. Solve 0 = -4*o - 4 - g for o.
-1
Let b = 13 - 3. Let a = b + -5. Suppose -o = a*d - 10, -5*o + 4*o = d - 2. Solve d = -r - 2 for r.
-4
Suppose -2*m - 2 = -2*r - 0*r, -5*m = -15. Solve 2*j + 2 = -r for j.
-3
Let y be (-2 + (-78)/(-9))*(-30)/(-25). Solve -3*p = -y*p + 20 for p.
4
Let a = -57 - -69. Solve -8 = 4*o + a for o.
-5
Suppose -2*q - 15 = q. Let l be q/(-25) + 268/10. Suppose l = 5*c + 4*t, -4*c + 0*c - 5*t = -27. Solve 4*s + c + 1 = 0 for s.
-1
Let r be (-26)/(-143) + 2/(-11). Suppose 0 = -m - m + 2. Solve -o + m + 1 = r for o.
2
Suppose -4*v = -5*s + 11, -v + 8 = 5*s - 8. Let u = 2 - v. Let a be (-2)/(((-1)/2)/u). Solve -a*q + 5 = -3*q for q.
5
Suppose 2*q = -2*q + 20. Let z = 3 - -2. Suppose -q*j + 70 = 5*u, 0*u + z*u - 25 = 0. Solve j - 1 = 4*i for i.
2
Let x be (-72)/(-15) + 2/10. Let g = 4 - x. Let m be (0 + g)*(-2 + 1). Solve n + m = -0 for n.
-1
Let y(x) = -x. Let k be y(0). Let h = -38 - -40. Solve -3*a + h*a = k for a.
0
Suppose 0 = p - 3*g - 5, -p + 2*g + 5 = -0. Suppose l - 2*l = 0. Solve l*r = -p*r + 15 for r.
3
Let o = -78 - -84. Solve -v = 2*v - o for v.
2
Let v = -98 - -103. Solve -2*j + v*j = -12 for j.
-4
Let h be ((-8)/(-3))/(4/6). Let o = 8 - h. Suppose 1 = -2*i + 7. Solve i*d - o = d for d.
2
Suppose 6 = 3*j + 30. Let a be (-6)/9 + j/(-3). Solve a*l + 9 = -l for l.
-3
Suppose -5*p = -4*n + 16, -2*n + 8 = -0*n + 3*p. Suppose n*v - 7 = -3. Solve -2*s - 9 = -v for s.
-4
Let q(f) = 4*f + 1. Let n be q(1). Suppose 0*z - n*m + 5 = z, -4*z + 5 = 5*m. Let k be (z + 2)/(2/4). Solve k*y = -18 + 6 for y.
-3
Suppose -2*t = -0*t - 14. Let k = -7 + t. Let p(x) = -x - 1. Let b be p(-4). Solve b = -3*u - k for u.
-1
Let g = 116 + -112. Solve -d - 6 = -g*d for d.
2
Let k be (1 - 1) + (-2 - -4). Suppose -18*r + 15 = -14*r - m, 3*r - 3*m - 18 = 0. Let a be (-62)/(-12) + 1/(-6). Solve -k*t = -a*t + r for t.
1
Suppose 3*v + 10 = 5*v. Suppose d + z - v = 0, -3*z - 16 = -5*d + z. Solve 4*i + 16 = d for i.
-3
Suppose 0 = 4*c - 18 + 6. Suppose 2*a = 3 + c. Solve -b + 2*b = -a for b.
-3
Let c be (15/10)/(3/10). Let g be -1 - c/((-10)/4). Let w be 0*g/(1 - 0). Solve -5*j = -w*j - 5 for j.
1
Suppose -z = -1 - 1. Suppose 3*j - 3*d + 11 = z*d, -4*j - 5*d - 3 = 0. Let q be (56/21)/(j/(-3)). Solve p = -3*p + q for p.
1
Let d(y) = 8*y + 5 - 4*y**2 + 3*y**2 + 7. Let x be d(9). Let j be (-1)/(-1) + x + -2. Solve -4*f - j = 2 for f.
-1
Let y = 10 - 5. Suppose 3*u - 2*c = 0, 4*c - 3*c = u. Solve u*g + y*g = 0 for g.
0
Let m(y) = y**2 - 5*y - 21. Let r be m(-3). Solve -t = 2*t + r for t.
-1
Suppose 112 = 3*f + f. Solve -f + 8 = -5*c for c.
4
Suppose 2*c = -4*m - 2*c + 32, -4*m - c + 17 = 0. Suppose -111 - 1 = -28*q. Solve m*z + 11 = -q for z.
-5
Let t(o) = -o**2 + 14*o + 17. Let m be t(15). Solve 5*g - m*g = 12 for g.
4
Let k(v) = -2*v - 10. Let m be k(-5). Suppose 0*t + t - 2 = m. Solve 2 = 3*j - t*j for j.
2
Let y = -37 + 39. Solve 0*g = 2*g - y for g.
1
Let z be ((-4)/3)/((-3)/27). Let n = -12 + z. Solve n*d + 4 = 2*d for d.
2
Let s(m) = m**3 - 10*m**2 + 14*m - 31. Let p be s(9). Solve -17*c + p*c = 0 for c.
0
Let r = -8 - -17. Suppose -2*n - 3*n = 3*z - 18, 3*n = -r. Solve 3*j = -2 + z for j.
3
Let i = -455 + 457. Suppose z + 3*h - 21 = -z, 2*h = -2*z + 18. Solve -i*b - z = b for b.
-2
Let i(v) = v**2 + 12*v - 25. Let y be i(-15). Solve 0 = 6*r - r + y for r.
-4
Suppose 52 = -f + 53. Solve -j + 0*j - f = 0 for j.
-1
Suppose -v + 30 = -3*f, v + 5*f + 10 = -0*f. Suppose -4*s + v = s. Let u = 7 - 4. Solve -u*m - s = -6 for m.
1
Suppose 5*o - 22 = 8. Let j be 165/20 - 2/8. Let f = j - o. Solve 5*a = -27 + f for a.
-5
Let j be ((-5)/(-10))/(2/64). Solve 3*f = 7*f + j for f.
-4
Let n(x) = x**2 - 3*x - 7. Let v be n(5). Suppose v*h = -0*h. Let r(m) = -33*m**3 + 2*m**2 + 2*m + 1. Let l be r(-1). Solve h = -5*d + l - 9 for d.
5
Suppose -2*z + 10 = 4*g, -g + 3*g - z = 7. Let s = 14 + -7. Let j = s - g. Solve -i = j*i for i.
0
Let v = -7 + 13. Solve 0 = -5*a - 31 + v for a.
-5
Let i = -4 + 4. Suppose 10 = 3*n + 4. Solve -n*p + i = 2 for p.
-1
Suppose 0 = -2*n - 2 - 12. Let i(l) = l**2 + 6*l - 1. Let m be i(n). Let j be (-16)/m*(-6)/4. Solve -3*y + 2*y = -j for y.
4
Let p(d) = -8*d + 90. Let g be p(11). Solve -g*u = -7*u for u.
0
Let j(l) = -l - 5. Let x be j(-3). Let z be (-2)/(-5) + x/5. Suppose z = -5*m + 11 + 19. Solve 4 = k + m for k.
-2
Let v(m) = -m**3 - 4*m**2 - 5*m. Let u be v(-4). Solve -2*b = 2*b - u for b.
5
Suppose 4*a + 14 = 26. Solve a = -4*w + 19 for w.
4
Let l(b) = -26*b**3 - 5*b**2 + 3*b - 1. Let y(h) = 77*h**3 + 14*h**2 - 8*h + 3. Let z(g) = -11*l(g) - 4*y(g). Let k be z(-1). Solve 4*f = -k + 9 for f.
-3
Suppose 3*c + 5*w - 120 - 106 = 0, -5*w - 42 = -c. Suppose 8 = -4*z, -2*x + 4*z - c = -7*x. Solve 8*p + x = 3*p for p.
-3
Let x(k) = k**2 - 6*k + 5. Let b be x(6). Suppose -2 = 2*c + 6, 0 = 5*s + b*c - 80. Let y be (-4)/s - 72/(-10). Solve y = 5*t + 2 for t.
1
Let y(t) = -t. Let k be y(-6). Let s be 4/(k/189*3). Let z be ((-6)/9)/((-4)/s). Solve -25 = -z*o + 2*o for o.
5
Let c(r) = 21*r**2 - 1. Let y be c(1). Solve -3*n - y = n for n.
-5
Let j = 2 + -2. Suppose w + 2*w - 16 = -2*n, -w - 4*n + 12 = j. Solve -w = -2*q + 2 for q.
3
Let x be (-2 - -1) + (0 - (-8 + 5)). Solve 6 + x = 2*u for u.
4
Let w(s) = -s**2 + 6*s - 3. Let h be w(4). Solve 0*a - 20 = -h*a for a.
4
Suppose 5*o + 156 = n, -5*n + 352 = 4*o - 341. Suppose -n = -4*k - 3*g, -2*k + 0*g = 5*g - 67. Let j be (-42)/9*k/(-14). Solve 3*z = 7*z + j for z.
-3
Let z = 17 + -14. Suppose 3 = 3*k - z. Solve r - k + 3 = 0 for r.
-1
Let q be (4/(-6))/((-6)/9). Solve 4*i = 15 + q for i.
4
Suppose -3*z = 2*c - 2, -6*z + 3*z - 5 = -5*c. Solve 0 = -2*a - c - 5 for a.
-3
Let d(b) = b**2 - 6*b - 6. Let v be d(6). Let y be (1 + v/15)*15. Solve 5*w + y + 11 = 0 for w.
-4
Suppose -1 = 2*b + 3*h + 1, -5*b = -5*h + 30. Let s = -3 - b. Let w = s - -3. Solve 0 = 8*f - w*f for f.
0
Suppose -36 = -4*l - 8. Let h = l - 7. Solve 2*s + 2 = -h*s for s.
-1
Let b(l) = -l**2. Let q be b(-3). Let r = q - -12. Solve 1 = -4*n - r for n.
-1
Suppose -12 = 4*x, -2*w + 0*x + x + 13 = 0. Let b = -10 + 18. Solve -b = -w*q - 3 for q.
1
Suppose 4*y + 0*y + 32 = 0. Let b be y*(15/(-6))/5. Solve -3 = -b*t + 5 for t.
2
Suppose -44*h + 45*h = 0. Solve 0 = 5*y - h*y for y.
0
Suppose 0*v - 2*s - 13 = -v, -4*v + 34 = -2*s. Solve -v*i + 4*i + 9 = 0 for i.
3
Let w(j) = -2*j. Let g be w(0). Solve g*r - 6 = -2*r for r.
3
Suppose 4*z - 2*z = 4. Suppose -4*o = -z - 10. Suppose -3*t + p = -3, p - 7 = t - 2*p. Solve -t*w - o = w for w.
-1
Let i(x) = x**2 + 5*x + 6. Let m be i(-4). Let u = 4 - m. Suppose -15*r = -2*r - 39. Solve r*c - u = 7 for c.
3
Let x = -3 - -4. Suppose -2*a = -11 - x. Solve a*n + 8 = 2*n for n.
-2
Suppose 0*n + 4 = n. Let h = -3 + 4. Suppose 0 + h = f. Solve -n*y = 3 + f for y.
-1
Suppose -9*b + 8*b = -20. Solve -f + b = -5*f for f.
-5
Suppose 18*m + 45 = 13*m. Let y = m - -11. Solve -4*l + y = -6 for l.
2
Let p = 11 - 2. Suppose 0 = -3*d + p. Solve -5*l - 13 = -d for l.
-2
Let z(b) = 3*b**2 + 9*b - 1. Let f(q) = 2*q**2 + 5*q. Let o(w) = 5*f(w) - 3*z(w). Let r = 8 - 6. Let g be o(r). Solve -9 = -3*l + g for l.
4
Let y(r) = r**2 + 3*r + 1. Let g be y(-4). Suppose 0*j - 115 = -g*j. Solve -4*b - 7 = -j for b.
4
Let g(j) = j**2 - 9*j + 2. Suppose -3*k = -2 - 10. Suppose -k*x = -0*x - 36. Let n be g(x). Solve n*r + 3*r + 25 = 0 for r.
-5
Let d be 0 + (0 - -4)/2. Suppose 0 = -d*n - n. Solve n = 2*o - 5*o for o.
0
Let a(n) = 2*n**2 - n - 1. Let l = 3 - 4. Let p be a(l). Suppose -p*s + 16 = 2*s. Solve 0*d = s*d for d.
0
Suppose -25 = 20*n - 25*n. Solve -4 - n = -3*l for l.
3
Let o be -4*((-4)/(-2) + -1). Let m = o - -6. Let c = -10 + 22. Solve m*h + c = 2 for h.
-5
Let s be (-1 - (0 + 0)/(-2))*-3. Solve -o + 4 = -s*o for o.
-2
Let c be (5 + -1)*5/10. Let w be (4/(-6))/(c/(-60)). Let h = -14 + w. Solve h*k + 16 = 2*k for k.
-4
Let u be 3*2/12*22. Let o = -8 + u. Let k(c) = -c**2 + 5*c - 4. Let y be k(o). Solve -9 = h + y*h for h.
-3
Let t(r) = 2*r - 1 + 3 - 4*r + r. Let c be t(0). Solve c*k = k for k.
0
Suppose 0*p = 2*z + 4*p + 6, -4*z = -5*p + 12. Let s(q) = q**3 + 2*q**2 - 3*q + 2. Let a be s(z). Let h be (-8 + 0)*(6 - 7). Solve 0*g = 