9 for z.
-3
Let m be 3/(3/7) - 2. Suppose -m*b = t - 16, -t + 0 = -5*b + 14. Suppose -2*n + 3*n = b. Solve 3*r = 4*r + n for r.
-3
Suppose -50*l + 20 = -40*l. Solve -7 + 17 = l*v for v.
5
Suppose -11*g = 26 - 48. Solve -g*d - 2 = 6 for d.
-4
Let f be 50/2*(2 + -1). Let p = -15 + f. Suppose 2*o + u - 20 = 0, 2*o = o - u + p. Solve o + 10 = -5*c for c.
-4
Let s = -266 - -266. Solve 2*g + g - 9 = s for g.
3
Let i be ((-12)/3)/(-2)*2. Suppose -i*o - 16 = 4*q, 5*o + q + 3 + 1 = 0. Solve o = -2*l - 6 + 2 for l.
-2
Suppose 2*p + 184 = 2*m, 3*m - 276 = -2*p - 2*p. Let w = m + -90. Solve 10 = 4*y - w for y.
3
Let m be (-14)/(-3) + 10/(-15). Suppose -3 - 13 = 3*s - 2*d, d - 2 = 0. Let f = s + m. Solve -4*o + o = f for o.
0
Suppose -86 = -8*s - 6. Solve s*k - 20 = 6*k for k.
5
Suppose 0 = -6*d + 10*d. Let x(z) = -z**2 + 3*z + 15. Let g be x(d). Solve 2*q = 5*q - g for q.
5
Let b = -98 - -104. Solve 3*d - 3 = b*d for d.
-1
Let m be 8 - 1 - 12/4. Solve -m = d - 3 for d.
-1
Suppose 5 - 11 = -x. Suppose x*t - 165 = -5*t. Solve -t = -0*n + 3*n for n.
-5
Suppose 4*l - 5*z = -2, -l - 2 = -6*l + 4*z. Let k be (-5)/(-7) - (-64)/224 - -3. Let g = k - l. Solve 0*s = g*s - 8 for s.
4
Let c = 16 + -10. Let w(q) = -q**3 + 13*q**2 - q + 19. Let s be w(13). Let g(r) = r - 4. Let h be g(s). Solve c - 4 = -h*k for k.
-1
Let g be (-8)/(-2 - 0) + -16 + 12. Solve g = 3*q + 14 + 1 for q.
-5
Let d(h) = -h + 19. Let n be d(-4). Solve 20 = -28*g + n*g for g.
-4
Let b(i) = -7*i + 6. Let l be b(15). Let x = l + 102. Solve -2*f + x = -3*f for f.
-3
Let y be (-22)/(-10) + (-6534)/(-330). Solve -2*w = -26 + y for w.
2
Let d(a) = 2*a + 12. Let x be d(-5). Suppose 2*s = -q - x*s - 14, 6 = q - s. Solve n = q*n for n.
0
Let k = 213 - 213. Solve c + k = -1 for c.
-1
Suppose 18*g = 27 + 9. Suppose c + 4*c - g*z = 13, -2*c + 4*z = -2. Solve 2 + c = 5*f for f.
1
Let o = 17 + -17. Suppose o = 5*k - 26 + 11. Solve k = -4*g + 3*g for g.
-3
Let b = -2846 + 2846. Let a = -1 + 7. Solve 0*v + 3*v + a = b for v.
-2
Suppose -2 + 1 = -v. Let q(f) = f + 14*f**2 + 2*f - 2*f - 15*f**2. Let j be q(v). Solve j = 5*c - 21 - 4 for c.
5
Let d be 0*(12/3)/12. Suppose -2*v = -v + 2. Let t = d - v. Solve 0 = 3*g - 5*g + t for g.
1
Let n = -12 + 0. Let g = n - -17. Suppose 5*m + 0*m + 5*w = g, 4*m - w - 14 = 0. Solve 10 = m*u - u for u.
5
Let q be 6*((-27)/18 + 3). Solve v - 11 = -q for v.
2
Let y(x) = -3*x + 21. Let q be y(7). Let r be (3/6)/(1/4). Suppose w = 2*t, 3*w = r*w - 3*t + 20. Solve q*l - w = 4*l for l.
-2
Suppose -4*h - 2*c = -30, -3*h = -2*h + 5*c - 30. Let g be (-1)/(-5) + (29/h - 1). Solve g*t = -20 + 5 for t.
-3
Suppose -4*r + 6 = 2. Suppose -88 = -0*y - 3*y - 2*w, -w - 100 = -3*y. Suppose -3*v + c + r = -y, 4*v - 2*c - 42 = 0. Solve 2*d + d + v = 0 for d.
-4
Let w(z) = -z**3 + 19*z**2 - 19*z + 20. Let l be w(18). Solve 0 = l*q + 3*q + 20 for q.
-4
Let u(d) = 5*d**2 - 2*d**3 + 13*d + 0*d**2 - 17*d + 6 + d**3. Let v be u(4). Solve -j + v*j = -5 for j.
-1
Let r(n) = -n**2 - 9*n + 4. Let q(x) = -x**3 + 4*x**2 - 3*x + 3. Let t be q(4). Let z be r(t). Solve -b + z - 8 = 0 for b.
-4
Suppose 79 - 91 = -n. Solve -3*u = -6*u + n for u.
4
Let f = -35 - -35. Suppose 2*q = -4, 5*u = -f*u - 5*q. Solve u*k - 5 - 1 = 0 for k.
3
Let x = 43 - -30. Suppose -4*o - 7*t + 2*t = -x, -3*t = -3*o + 21. Solve -5*f = o + 3 for f.
-3
Let t = 300 - 175. Suppose 5*m + 2*q + 3*q + t = 0, q - 29 = m. Let h be (-63)/m + (-1)/3. Solve -5*g + h*g + 6 = 0 for g.
2
Let b(r) = r**3 + 9*r**2 + 10. Let f be b(-9). Suppose -4*w = j - 25, w - f = j - 5*j. Let i be 4/8*-2 + 1. Solve -3*d = -i*d + w for d.
-2
Let f be (2/(-4))/((-1)/2). Let h be (0/(-55))/(-4 + 6). Solve -l + f = -h*l for l.
1
Let c = -7 + 22. Suppose 2*w + 12 = 2*x, 0 = 2*w + w + c. Let q = x + 2. Solve -q*t + 3 = -2*t for t.
3
Suppose s - 14 + 12 = -2*t, -5*t + 14 = 4*s. Solve -2 = -4*d + s for d.
2
Suppose 5*v + 260 = -f - 44, -4*f - 16 = 0. Let j = v + 62. Solve 5*o - j*o = -6 for o.
-2
Let n(s) = 0 - 12*s + 23*s + 8 - s**2 + s**3 - 7*s**2. Let j be n(6). Solve 0 = -j*i + 5*i + 15 for i.
-5
Let n(s) = -s**3 + 6*s**2 - 12*s + 133. Let q be n(7). Solve 8*u - 5*u + 3 = q for u.
-1
Let o be (-16)/(-10)*510/136. Solve o*t = 3*t - t for t.
0
Suppose z + 24 = -3*b, 4*b = 5*z + 3*b + 72. Let t be ((-40)/z)/((-2)/36). Let y be (t/(-14))/(8/28). Solve 4*l + 0 = y for l.
3
Let w(u) = -5*u**2 - 3*u + 2. Let d be w(-1). Solve d = 2*v + 2 for v.
-1
Let q = 562 + -559. Solve q*v + 14 = -4*v for v.
-2
Let j(m) = 3*m - 1. Let s(o) = -9*o + 3. Let g(n) = 17*j(n) + 6*s(n). Let w be g(-1). Let t(k) = -152*k + 153. Let b be t(1). Solve 3 = -w*a - b for a.
-1
Suppose -3*v + 29 = -5*g, 5*v - 4*g + 0*g - 44 = 0. Suppose 0 = 4*d - 9*d + 75. Suppose -4*b + 5 + d = 0. Solve -b*x = -x + v for x.
-2
Let v be -1 - (1 - 13 - 1). Suppose 12 = -2*w + 2*c, 3*c - 10 = -3*w - 4. Let f = w + 2. Solve f = -3*u + 6*u - v for u.
4
Let j(t) = -2*t. Let a be j(-3). Suppose -3*u - 96 = -a*u. Suppose 4*y - u = -0*y. Solve -2*k - y = -0*k for k.
-4
Let z(p) = 2*p**2 - 3. Suppose -2*k - 4*s = 16, 4 = k + s + 11. Let y be k/2*(-18)/(-27). Let h be z(y). Solve 3*f + 4 = -h for f.
-3
Let u be (-15)/20 - (38/(-8) + 0). Solve 7*w - u = 3 for w.
1
Let i(n) = 13*n**2 + 14*n + 1. Let u be i(-1). Solve 3*o - 9*o + 18 = u for o.
3
Let m = 10 - 8. Let l(h) = h - 5. Let p be (18/4)/(1/2). Let x be l(p). Solve m*t = -x - 0 for t.
-2
Let z(f) = -6*f**3 - 2*f**2 - 1. Let x be z(-1). Solve -1 = -y - x for y.
-2
Let t(y) = -4*y**2 - 7*y - 15. Let f(z) = -z**2 - 1. Let k(d) = 5*f(d) - t(d). Let s = -6 - -14. Let n be k(s). Solve -i + 2*i = n for i.
2
Suppose 13*l - 36 - 29 = 0. Solve -l*a + 17 = 2 for a.
3
Let p = 2125 + -2111. Solve 0 = 13*j - p*j - 5 for j.
-5
Suppose o = -5*i + 13, -4*o - 2 = -5*i - 4. Suppose 0 = -q + i*q - 4. Suppose -3*u = q*b - 14 + 4, 3*b = -5*u + 13. Solve -t + b = -0 for t.
1
Let i(f) = f + 9. Let r be i(-8). Let n be (-1 + 19)*((-78)/(-18) - 4). Solve -5*d + n*d = -r for d.
-1
Let n be ((-96)/126*-3)/(4/14). Solve -2*l - n + 4 = 0 for l.
-2
Let j be (8/16)/(2/12). Let h(z) = z**3 - 2*z**2 - 2*z - 1. Let p be h(j). Solve 2 = -p*u - 0 for u.
-1
Let r = 15 - 21. Let g = 2 - r. Let p be 4 - (2 + (1 - 3)). Solve -p*t = -2*t - g for t.
4
Let v = 747 - 734. Solve 11 = 2*u + v for u.
-1
Let w be (-4 + 9/2)*-20*-1. Suppose -3*p - 9 = -5*l + 17, -l + 3*p = -w. Solve -3*i = -l*i + 5 for i.
5
Suppose -r = 4*r - 25. Let c be ((-4)/(-16)*2)/(7/(-140)). Let z = r - c. Solve z = -5*f - 10 for f.
-5
Suppose 6*o = 12*o + 21 - 39. Suppose 5*q - 22 = -i, -3*i + 3 = 3*q - 3. Solve -q*w = o + 12 for w.
-3
Let j be (2/6)/((-354)/72 - -5). Let g = 113 + -111. Solve l - g*l = j for l.
-4
Let i be 2/8*4/1. Let g = 3 - i. Solve g*l = -l for l.
0
Let a be 5/((-10)/(-12) + 0). Suppose v - a = -3*u, -2*v + u + 0*u = -33. Solve 4*b - 5 = v for b.
5
Suppose -7*t = -475 - 225. Suppose 5*m - 4*r + 127 = 0, -4*m - 2*r - t = -6*r. Let l = 31 + m. Solve -l*w = 8 + 4 for w.
-3
Let u(j) = -2*j**2 - 60*j - 50. Let z be u(-29). Solve 2 = -2*f - z for f.
-5
Let f be (4/(0 - 4))/(2/104). Let q = -32 - f. Solve -7*d - q = -2*d for d.
-4
Let g be ((-24)/(-36))/((-2)/(-180)). Let z be g/8 - 3/6. Suppose 5*b = -3*d - 2, 1 = -2*d - z. Solve -b*p = -3*p for p.
0
Let b(y) = -4*y**3 - y**2 - 2*y. Let i(u) = 3*u**3 + u**2 + 2*u. Let h(d) = 4*b(d) + 5*i(d). Let c be h(-1). Solve o + c = 1 for o.
1
Let b(w) = w + 13. Let x be b(-10). Solve x = 7*y - 6*y for y.
3
Let k(g) = -g**3 - 15*g**2 + 17*g + 26. Let n be k(-16). Solve -n = -6*v + v for v.
2
Let l(o) = -o**2 - 3*o + 4. Suppose -16*c = -9*c. Let z be l(c). Solve 0 = -z*m - m for m.
0
Let n = 974 - 950. Solve -3*z - 21 = -n for z.
1
Suppose -40207*j - 120 = -40231*j. Let v = 17 - 11. Solve j = -p + v*p for p.
1
Suppose -3*r + 72 = -0*r. Suppose 0 = 9*u - 48 - r. Let j = -13 - -21. Solve 4*t + j = -u for t.
-4
Suppose -5*k - 11 = -2*p, -3*k + 2 - 3 = -2*p. Let t = 10 + p. Let v = t - 3. Solve v = -4*d - d - 5 for d.
-1
Suppose 7*t + 28 = 3*t - 2*b, -3*t - 2*b = 20. Let g be t/(-28) + 12/(-42). Solve z + g - 1 = 0 for z.
1
Let h(m) = 3*m + 39. Let f be h(-13). Solve f = -k + 6 - 3 for k.
3
Suppose -4 = -0*c - c. Suppose l = -5*n, n + n + c = 0. Solve 2*k = -0*k + l for k.
5
Suppose -3*v + 2*z + 20 = v