 for z.
-5
Let f(y) = -y**3 - 7*y**2 + y + 9. Let j = -7 + 0. Let m be f(j). Solve m*k - 16 = 6*k for k.
-4
Let a be 30/(-180) - 43/(-6). Solve 0 = 3*f - a + 16 for f.
-3
Suppose 3 = 4*y + z, -6*z + 12 = 2*y - 2*z. Solve -v + 2 + 3 = y for v.
5
Let m be 6 + (-8)/4*2. Solve -3*x - 5 = m*x for x.
-1
Let g be (3 - (-5 - -5)) + -1. Solve -g*v = v - 12 for v.
4
Let o = -1 + 2. Suppose -4*v + 4*l + l - 5 = 0, 4*v - 4 = -4*l. Let s = v + 4. Solve s = h + o for h.
3
Let w(a) = a**2 - 4*a - 8. Let i be w(6). Suppose -4*t + 5 + 10 = -m, 12 = 4*t - i*m. Suppose f = t*p + 21, 0 = 2*f + 5*p - 3*p + 8. Solve b - 3 = -f for b.
2
Let v(h) = h**3 + 5*h**2 - 4*h + 8. Let k be v(-6). Let t be 1 + k + 62 + 1. Suppose -x = -4*l + 3*x + t, x + 5 = 0. Solve l + 5 = -3*f for f.
-5
Suppose 0*n = -n + 4*y - 2, 5*n + y = -73. Let z = 33 + n. Solve -6 = -5*h + z for h.
5
Let l be ((-2)/((-4)/18))/3. Solve -l*i = -2*i - 1 for i.
1
Let b(y) = y**2 - 11*y + 4. Let w be b(11). Suppose 4*k - 2 = q, 5*q - 16 = -2*k - w. Solve k = p - 0*p for p.
1
Suppose -j + 2 = -2*y, -6*y + y - 2 = -j. Solve -4*a + 10 + 2 = y for a.
3
Suppose 4*n - 3*w - 227 = 0, -2*n = n + w - 154. Suppose -4*r = -161 + n. Let b be ((-2)/(-6))/(3/r). Solve -f + b*f = -8 for f.
-4
Suppose -3*v = -0*v - 12. Solve -g = v*g + 20 for g.
-4
Let o be (-24)/156 - 28/(-13). Solve -3*d - o*d = -5 for d.
1
Suppose 2*f + 0*f = -5*z + 29, 0 = 2*f + 2*z - 14. Solve c - 5 = f*c for c.
-5
Suppose -2*q - 5 + 15 = 0. Solve q*n - 17 = -42 for n.
-5
Suppose -n = 2*m - 1, -4*n - 11 = -7*n + 2*m. Suppose -9 = -2*p + 5. Let o = 1 + p. Solve c = -n*c + o for c.
2
Suppose 4*i = 6 + 18. Solve 3*r - i = 6 for r.
4
Let j = 63 - 57. Solve -5*r + 3 = -j*r for r.
-3
Suppose t + 2 - 4 = -i, -3*i + 6 = 2*t. Let v(a) = -a + 6. Let s be v(2). Solve t*m + s = m for m.
4
Let i be (1 - (-3)/(-9))*-111. Let t = i - -111. Suppose 3*c - t - 17 = 0. Solve 0 = 5*d - 3 + c for d.
-3
Let r = 9 - 6. Let i(n) = 2*n**2 - 4*n + 1. Let p be i(r). Solve 0 = -5*m + p*m for m.
0
Let u(k) = -k**2 + 7*k - 1. Let h be u(6). Solve 13 + 7 = -h*y for y.
-4
Let m(i) = -4*i - 2. Let r be m(-2). Solve 2*u = 5*u + r for u.
-2
Let o(l) = l**3 - 4*l**2 + l - 7. Let d be o(5). Suppose -s + 17 = 3*g, 5*s - d - 6 = -g. Let h = 8 - g. Solve -k + 10 = h*k for k.
2
Suppose -3*s = -2*j + 9, 4*j - s = 2*s + 9. Solve -h = -j*h + 5 for h.
-5
Let d(o) = o**3 + 11*o**2 + 15*o + 1. Let b be d(-10). Let z be 14/b - 23/(-7). Solve -z = -2*i + i for i.
3
Let b = -30 - -31. Solve m + 3 = b for m.
-2
Suppose -1 = -2*m + m. Let o be (2 + -5)*m - -10. Solve -o*s + 3*s = 20 for s.
-5
Let a = 39 - 31. Solve 5*z + 7 + a = 0 for z.
-3
Let y be (11 - 0)*1/(-1). Let v = y + 7. Let o be (-6)/v + 2/4. Solve -3*c + o*c + 4 = 0 for c.
4
Let v = 8 - 5. Solve -v*z + 2*z = -4 for z.
4
Let k(c) = -c + 3. Let n be k(5). Let h = 7 + n. Solve -h*p - 10 - 5 = 0 for p.
-3
Let t be 6/(-4) + (-60)/(-8). Suppose t + 6 = 4*v. Suppose 1 = -v*j + 4*j. Solve -r + 3 = j for r.
2
Let l be (-3)/12*3*-4. Suppose 8*k = 3*g + l*k - 58, g + 3*k + 4 = 0. Let d = g + -9. Solve -5*v = -d*v - 6 for v.
2
Suppose 3*h = -3*h + 18. Solve h = 4*x - 1 for x.
1
Let m(i) = -i**2 + 6*i + 9. Let w be (-2 + 11 - 3) + 1. Let l be m(w). Solve 0 = -l*h - 0*h + 10 for h.
5
Suppose -20 = -4*z + 2*v, -5*z = -2*z + 2*v - 15. Suppose b = z*b - 16. Suppose h - 7 = -2*d, 0*d - 4*h + 24 = b*d. Solve -2*j + 1 = -d for j.
1
Let q(y) = -y**2 - 11*y - 14. Let p be q(-9). Solve 0 = -5*m + p*m - 4 for m.
-4
Let o(p) = p**3 + 13*p**2 + 6. Let t be o(-13). Solve 4*b - 2 + t = 0 for b.
-1
Let m = -5 + 5. Let j(t) = 4 + m*t + 0*t - t. Let z be j(0). Solve a + z = -a for a.
-2
Let x be (-8)/44 - (-2)/11. Suppose 6*r = r + 10, x = -5*f - 3*r + 6. Solve -1 = -q - f for q.
1
Suppose 3*c + 21 = 7*c - 3*v, -6 = 3*c + 5*v. Let f = 0 - c. Let g be (-9)/(-2)*(-1 - f). Solve -3*t = -g + 3 for t.
2
Let c(f) = -f**2 - 2*f - 1. Let y be c(-2). Let i be (-3)/(y - 3/6). Solve 1 + 1 = i*w for w.
1
Let y = -10 - -8. Let u = -3 - y. Let d be u/((-1)/(-2)) + 6. Solve -2*q = 2*q + d for q.
-1
Suppose 0 = -2*w + s - 2*s - 2, 3*w - 2 = s. Solve w = -x + 4*x for x.
0
Let n = -7 - -17. Solve 3*y - n = 8*y for y.
-2
Let o be 0 - 1/(3/(-6)). Let d be (-2)/(-8) + 285/12. Suppose 3*b = -4*i + 35, 0*b + 3*i - d = -2*b. Solve j + o*j = -b for j.
-3
Suppose 0 = -5*u + 25, y = -3*u + 9 + 5. Let r(c) = -60*c. Let a be r(y). Suppose -8 = -2*i, -5*i - a = -2*v - 10*i. Solve -4*g - v + 4 = 0 for g.
-4
Let o = 32 - 29. Solve -o*v + v = -8 for v.
4
Suppose -5*r + 9 = -2*r. Suppose -2*s - 5*l = -60, 2*l + r = -3*s + 71. Solve -s = -8*k + 3*k for k.
4
Suppose y = -134 + 137. Solve -y = 5*w + 7 for w.
-2
Suppose -n + 2 = 3*n - 2*q, 5*q = -5*n + 10. Suppose -c = 3*s - 5 - 9, 2*c + 2*s = 12. Suppose -b + c = -n. Solve 7 + b = -5*w for w.
-2
Suppose -8*k + 3*k + 45 = 0. Suppose -2*g + k = -3*g + 2*h, 0 = 4*g - 2*h + 6. Solve 4*y = -g - 3 for y.
-1
Let d(r) = r**3 - 12*r**2 - 8. Let g be d(12). Let m be (g - -2)*(-4)/8. Solve -m*j + j + 6 = 0 for j.
3
Let s(c) = -2*c**3 - 19*c**2 + 9*c - 29. Let k(v) = v**3 + 10*v**2 - 4*v + 14. Let l(h) = 9*k(h) + 4*s(h). Let a be l(-14). Solve -w = -3*w - a for w.
-5
Let q be 8/6*(-99)/(-2). Suppose 0 = -2*b + c + 42, 0*b + 3*c + q = 3*b. Suppose 0*r - 5*r + b = 0. Solve -r*v + 8 + 0 = 0 for v.
2
Suppose -2*x + 5 = -h, -x - 3*x = -3*h - 9. Solve x = 3*s - 0 for s.
1
Let b(f) = -2*f. Suppose 2*d = -4 - 2. Let l be b(d). Suppose -5*z - 4*h + 9 = -l*z, -3 = -2*z + h. Solve -12 = z*n - 6*n for n.
4
Let g be (-1 - 0)*-1*2. Suppose -23 = -g*u + 17. Let o = -168 - -170. Solve -o*y - u = 2*y for y.
-5
Let o be 2 + 2*(1 - 2). Let p(b) = b**3 + 5*b**2 + 3*b - 2. Let v be p(-4). Solve -v*h + o*h = -2 for h.
1
Let z be -1*2 + (-2)/(-1). Solve z*q - 2 = 2*q for q.
-1
Let u(r) = 4*r**2 - 2*r - 3. Let d be u(-2). Suppose 5*l = -4*f + 35, 5 - d = -4*l. Suppose f*j - 5 = 30. Solve j*x = 2*x for x.
0
Let t be 1 - (-2 - 2 - -1). Solve -3*a + 1 = t for a.
-1
Let x be ((-2)/7)/(7/(-49)). Solve 0 = 3*z - x*z - 1 for z.
1
Let i(s) = -2*s + s + 2*s. Let v be i(4). Solve -v*z = -2 + 10 for z.
-2
Let l be 0/2 + 0/1. Let a(o) = o**3 + 3. Let m be a(l). Solve 2*y = -y + m for y.
1
Let l(b) = -b + 9. Let a be l(7). Suppose -5*m = -a - 3. Solve -5*s + m + 24 = 0 for s.
5
Suppose -24 = -2*w - 5*c, -5*w - c + 4 + 10 = 0. Solve 0 = -w*k - 1 + 5 for k.
2
Let n(d) = d**3 - d**2 + 1. Let y be n(2). Let b = -5 - -16. Suppose y*g = 4 + b. Solve -3*a = -15 + g for a.
4
Suppose -s = -2*s + 2*s. Solve s = 9*f - 8*f + 5 for f.
-5
Suppose 10*q - 15 = 25. Solve 2 = -q*j - 2 for j.
-1
Suppose 8 = -4*x + 4*f, -4*x + 2*f + 38 = -9*x. Let t = x + 7. Solve 1 = -i - t for i.
-2
Suppose 48 = r + 3*r + 4*f, 0 = 2*r + 4*f - 30. Let h be (-2)/r - 94/(-18). Suppose 0 = 3*a - 24 - 6. Solve -a = 3*d + h for d.
-5
Suppose -5 = 3*c - 14. Solve -c - 1 = 2*x for x.
-2
Let u be (-28)/(-70) + (-26)/(-10). Solve 0 = c - u*c + 4 for c.
2
Suppose 4*x - 20 = 3*b + b, -2*x = 5*b + 4. Let h(j) = j**2 + 5*j + 4. Let m be h(-4). Let u = x + m. Solve -r - 12 = u*r for r.
-3
Suppose 7 = 5*l + 37. Let v be ((-2)/l)/(6/162). Solve v = -4*z + z for z.
-3
Suppose -12 = -3*t - t. Solve -1 + 4 = t*l for l.
1
Let q be (2/3)/((-1)/24). Let y be (-56)/q*8/14. Solve -y*i - 3 = 5 for i.
-4
Let p = 8 - 5. Let f(h) = 2*h - 4. Let a be f(p). Solve -a = -4*u + 3*u for u.
2
Let r be 20/6*12/10. Suppose 4*j - 103 = -5*q, -4*q = -j + 4 + 6. Let y = j - 12. Solve -r*w = w + y for w.
-2
Let g(t) = -t**3 + 3*t**2 - 2*t + 2. Let w be g(2). Solve -4*i = -w*i + 4 for i.
-2
Suppose 4*o + 4 = 6*o. Suppose -3*h + 34 = o*w, 2*h - 1 = -5*w + 18. Solve -h + 0 = -4*p for p.
3
Suppose 18*n = 20*n - 18. Solve 2*m - n = -m for m.
3
Suppose -47 + 35 = -4*r. Solve r*v = -9 - 6 for v.
-5
Let j be 4*(3 - (-1 + 3)). Let b be 12/j - (-1 - -3). Solve -v = b - 4 for v.
3
Let m = -53 - -56. Solve m*f - 7 = 2 for f.
3
Let m(d) = 3*d - 1. Let q be m(2). Solve 0 = q*l + 5 - 0 for l.
-1
Let c be 4/(-4)*((-1 - 6) + 4). Solve m = c*m for m.
0
Let i = 7 + -4. Let x be (5/4)/5 - 165/(-60). Solve x*b - 6*b = -i for b.
1
Let a be (-1 - (0 + -7))*1. Solve -a*p = -p + 5 for p.
-1
Let z = -2 - 3. Let p be (-1)/5 + 19/z. Let x = p - -12. Solve -4*v - x = -0 for v.
-2
Let u be (1 + -1)/(4 +