3*w - 1 for z.
1
Suppose 16*l + l = -5236 + 5287. Solve -l*f = 4*p + 26, 28 = -9*f + 5*f - 4*p for f.
-2
Let o = 29 + 30. Let x = o - 50. Suppose x*l - 47 = -20. Solve 3*h = -4*m + 14, 5 = -l*m - h + 13 for m.
2
Suppose 3*t + t - 4 = 0. Let u(a) = a + 1. Let f be u(t). Let s = 2770 - 2749. Solve f*l = 4*r - 2*r + 18, 0 = l - 4*r - s for l.
5
Let z(v) = -v + 22. Let q(h) = -h**2 + 7*h + 16. Let t be q(8). Let d be z(t). Let j = 16 - d. Solve -j*r + 3*b - 6*b - 4 = 0, -5*r + 4*b = 10 for r.
-2
Let p be (-1)/(-1) - (-1 + 0). Suppose -8*i + 3*i - 55 = -5*n, -4*n + 39 = -3*i. Suppose n*c = 3*c + 15. Solve 0 = -p*b - 10, -13 = -3*m + c*b + 6 for m.
-2
Let z = -461 + 476. Solve 2*q - 6*q = 5*x - 20, 3*q = -3*x + z for q.
5
Let x be (-2)/5 - (18 - 3540/100). Solve -n = 5*w - w + x, 4*n = -5*w - 35 for n.
-5
Let m = 413 + -517. Let g = 108 + m. Solve -o - g = -4*k - 3*o, 0 = k + 3*o - 11 for k.
-1
Let j(r) = 22*r**2 + 899*r - 118. Let z be j(-41). Let h(d) = 10*d + 3. Let m be h(3). Solve -5*n + 33 = -4*l, l = -z*n - 10 + m for n.
5
Suppose -4*x - 5*l + 35 = 0, -12*l + 8*l = x - 17. Solve 0 = 17*y - 14*y + 3*o - 6, 2*o = -x*y + 13 for y.
3
Let r(s) = 5*s**2 + 54*s + 7. Let y be r(-11). Let x = -15 + y. Solve -4*g = -5*z - 28, -x*z - g - 18 = 2*z for z.
-4
Suppose 4*c + 3*t = -6, 0 = 4*c - 3*c - 5*t - 10. Solve i + y = c, -y + 0*y = 3*i - 4 for i.
2
Let b be ((-6)/4)/((-54)/12 - -4). Let i be (-1)/(-4)*4 - b/3. Suppose i*y + 6 = 3*y. Solve -2*q - 2*w = 6, 0*q - y*q + 2 = -2*w for q.
-1
Let y(l) = 26*l - 1. Let i be y(1). Let c = -81 + 78. Let j be c/(2 + (-104)/40). Solve 0*b = 4*q - 2*b + 10, -5*q = j*b - i for q.
0
Let x(k) = 3*k**3 + 1. Let w be x(-1). Let f be 2812/481 + w/(-13). Solve 3*p = 15 - f, -2*s = 5*p - 13 for s.
-1
Let u(f) = -6*f**2 + 120*f + 10. Let v be u(20). Suppose 5*s - 2*k - 26 = 0, -9*k = -4*k - v. Solve -4 = -z - 5, s = 4*n + 2*z for n.
2
Let u = 22533 - 22524. Solve -4*i = 3*r - u, 28*r = 24*r + 12 for i.
0
Let v = -53547 + 53556. Let m(x) = 5*x - 1. Let u be m(1). Solve -3*a - 15 = 0, v*f - u*a = 4*f - 5 for f.
-5
Let p(h) = -49*h - 222. Let o be p(5). Let q = o + 472. Solve 2*x = 4*w - q*w, -10 = -5*w for x.
-1
Let n(d) = -d**3 - 80*d**2 - 73*d + 481. Let u be n(-79). Solve 2*j - u - 4 = r, 0 = -2*j + 5*r + 15 for j.
5
Suppose -42*a = -295 + 169. Solve 5*q + 12 = -3*j, 2*q = -a*j + 5 - 17 for q.
0
Suppose 3*a - 19 - 31 = -19*h, 0 = 3*h - 6. Let t = -26 - -29. Solve -t*r = -2*n, -a*r = -7*r + 3*n for r.
0
Suppose -i - 10 = -2*h, 4*i - 789*h + 792*h = 15. Solve i = -2*a + g + 1, 0 = -3*a + g - 16 + 15 for a.
-2
Suppose q - 495 = 4*a, 16*q - 2*a = 21*q - 2519. Let k = -501 + q. Solve 5*r + 13 + 11 = 2*u, u + 6 = -k*r for u.
2
Suppose 2*i - 6*i = 32. Let n = 23 + i. Let q be (30/12)/(2/4) + -3. Solve 3*w + 4*b - n = 0, q*w + b = -b + 8 for w.
1
Let d(s) = -3*s**2 - 48*s + 27. Let k be d(-16). Let x = k - 21. Solve 3*q = -2*i - 3, -x = 3*i + 4*q - q for i.
-3
Suppose 11 = -59*z + 70. Solve 0 = 3*o + 4*c - 25, 3*o = -2*c + 4*c + z for o.
3
Suppose 70*h - 34*h - 319 = 7*h. Solve 0*g + 19 = 5*s - 2*g, 3*s - h = g for s.
3
Let j(s) = 32*s**2 + 9*s - 4. Let x be j(-3). Let k = x - 254. Solve 5*o - 4 = -5*y + 6, 3*o - k = -2*y for o.
-1
Let f be (-108 - -1) + (-2)/8*-4. Let k = -106 - f. Solve 5*j + 3*w - 9 + 0 = k, w + 5 = j for j.
3
Let q be ((9 - 104/16) + 14/(-4))*-59. Solve -5*t + 5 = -5*c, -4*c = 3*t + q - 34 for c.
-4
Let j be (-4)/6*3/12*-18. Suppose -3*h + 2*i = -25, -18 = -4*h - i - j. Solve -3*u - h*t + 6 = -2, 0 = -5*u + 2*t + 3 for u.
1
Let u = -199 - -285. Let a be 9/11 - u/(-473). Solve 5*p + 3*j = -14, 7 = 3*j + a for p.
-4
Let x(j) = -2*j**2 + 30*j - 26. Suppose -4*n + 29 + 32 = g, 2*g = -n + 24. Let r be x(n). Solve 0 = -2*l - r*a - 8, -2*a - 14 = 2*l + 3*a for l.
-2
Let z = -176 + 179. Suppose 4*k - 4 = -z*f, -2*k = 3*f + 6 - 2. Solve -4*r + 16 = k*v, r - 4 = -4*v - v for r.
4
Suppose 12 = -5*s + 13 + 84. Solve 0 = -3*c - p - 2, s*p - 12*p = -25 for c.
1
Let k be 1/3*0 - -35. Suppose 3*x = 5*f - k, 3*f - 33 = -3*x + 6*x. Let a be ((-4)/x)/(21/210). Solve 0*t + a*t = h - 22, h + 13 = -3*t for h.
2
Let m = -68 + 14. Let q be (1 - -55) + (-3 - 60/(-15)). Let n = m + q. Solve 6 = -4*c + 5*z + 15, -n*z = 15 for c.
-4
Suppose -51*l = -46*l - 40. Let v be (6 + -5)/(-1 - (-10)/l). Suppose z = v*z + z. Solve -4*w = 5*u - 7, 0 = 2*w - 2*u - z*u + 10 for w.
-2
Let j(s) = -s**3 + 10*s**2 - 7*s. Let f be j(9). Suppose 4*x - 2*b = f, -3*b = -2*x + 2*b + 5. Solve -v + 5 = -l - 1, 2*l = x*v - 18 for l.
-4
Suppose 2*a + 3*c = -9, 2*c = -2*c - 12. Suppose 11*s = 41 + 179. Suppose -s = -2*v + b, -12 = 4*b - b. Solve a = -4*u - 5*f - 16, -u - 4*f - v = -4 for u.
-4
Suppose 4*c = -5*a + 22, 0 = c - 2*a - 5 + 6. Solve 4*l = -c*d + 19, 5*l = 8*d - 7*d for l.
1
Let l = -9 + 13. Suppose -2*d + 5*c + 6 = 0, d - l*d + 9 = 4*c. Let v = -1542 + 1562. Solve 5*t = -5*u + 20, d*u - v = -5*t + 2 for u.
-1
Suppose 9*k + 38 = 2. Let a be k/(-36) + 805/45 + -2. Let v(x) = -2*x - 3. Let n be v(-3). Solve -5*s - 2*u = -3 - a, -3*u + 6 = n*s for s.
5
Let c(u) = -4*u - 20. Let w be c(0). Let s = w + 24. Solve 0 = 4*o + s, 5*k + o = 2*o - 9 for k.
-2
Let s = 11892 + -11889. Solve -26 = -4*z - s*h + 6*h, -2*h + 21 = 5*z for z.
5
Let d = 17972 - 17967. Solve -18*w + 22*w + i = -24, -5*w + 5*i - d = 0 for w.
-5
Let h(t) = 2*t**3 - 14*t**2 - 15*t + 164. Let y be h(6). Solve 4*b - 14 = y*u, -5*b = 3*u - 66 + 65 for u.
-3
Let k = -4611 - -4616. Solve -a = 28*c - 29*c + k, -3*a - 3*c + 15 = 0 for a.
0
Suppose 9*k - 562 + 517 = 0. Suppose 0 = 2*d - k*f - 22, 5*d + 3*f = -12 + 5. Solve 16 + d = -4*w - u, -3*w - u = 13 for w.
-4
Let r(w) = 2*w**2. Let n be r(6). Let x = 91 - n. Suppose -11*a - 16 = -x*a. Solve -40 = a*t + 3*t + 5*v, 0 = 3*t + 4*v + 27 for t.
-5
Let n be (-6 + 5)*(-22 + 18). Solve n*u = 3*c + 14, -23 = -3*u + 46*c - 50*c for u.
5
Let z(o) = 6*o - 1. Let j(y) = -2*y**3 - 42*y**2 + 42*y - 43. Let v be j(-22). Let n be z(v). Solve -20 = 5*r - n*k, -2*k + 5*k + 28 = -5*r for r.
-5
Let f = -15 + 23. Suppose 0 = m + 4*q - 21, -2*m - f = -5*q + 2. Solve -m*j + 0*j + b - 16 = 0, -j - 3*b = 0 for j.
-3
Suppose p + 3*v = -1, 3*p - p + 9 = v. Let o be p/10*1750/(-70). Solve -2*b = 5*f + 4 - 0, 0 = 2*b - 2*f - o for b.
3
Suppose 263*z = 222*z + 328. Solve 2*g = 5*o - 12, 2*o + 26*g + z = 30*g for o.
4
Suppose 0 = l + 5*c - c + 14, 5*c = -3*l - 14. Let d be ((-12)/3 - -2*l)/(-1). Suppose -18*w + 22*w - 12 = d. Solve -s = w*n + 8, 9*n + 36 = 4*n + 4*s for n.
-4
Let u = 188 - 183. Suppose 4*l - 5*o = 2*l, -u*o = -10. Solve 2*x - 15 = 3*b, -2*b - l*x + 4 = 14 for b.
-5
Suppose 0 = 363*u - 547 - 179. Solve z = u*n - 7, z - 11 = 6*z - 2*n for z.
-1
Let w(p) = 3 - 4*p - 6*p + 12*p + 2. Let m be w(17). Let v = 42 - m. Solve -4*l + 4 = -6*i + 2*i, l + 3*i + v = 0 for l.
0
Let w(t) = 95*t - 279. Let h be w(4). Suppose 6*z = -h + 131. Solve -p - 4*u = 1 - 4, -z*u - 3 = -p for p.
3
Let r(w) = 8*w + 209. Let i be r(-11). Let s = 124 - i. Solve 4*y = 5*c, -s*c - y = c for c.
0
Let r be 9/63 + ((-152)/(-14) - 1). Suppose -r*c = -10 - 20. Solve j = 3*x + 3, 0 = 5*x + j + c*j - 12 for x.
0
Let s = -108 - -116. Suppose -s*r + 13*r - 65 = 0. Suppose 15 = 5*z, 0 = 2*w + 5*z - r - 6. Solve 5*j + 0*d + 19 = w*d, -8 = 4*j - 4*d for j.
-5
Let q = -6683 + 6686. Solve -q*s - 4*n - 3 = 0, -5*s + 5*n = 16 + 24 for s.
-5
Suppose -2*z - 2*z = 2*u - 52, 5*z - 5 = 0. Let k = u - 9. Let c be (9/k*-1)/((-2)/10). Solve 9 = 3*m - 2*m + 4*q, -4*m = 5*q - c for m.
-3
Let z = 10154 + -10149. Solve 6 = -4*m + 7*m, h - 7 = -z*m for h.
-3
Let s = -490 - -496. Let z(y) = -y**3 + 9*y**2 - 16*y - 12. Let u be z(s). Solve 5*h + 4*r + 19 = u, 2*h + 0*h + 4*r + 10 = 0 for h.
-3
Suppose 2*l - 5*x = 36, 5*l + 26 = -3*x + 23. Solve 2*y - 5*u + l + 15 = 0, 2*y + 5*u - 2 = 0 for y.
-4
Suppose 2 + 23 = j - 4*b, -4*b = 20. Solve -3*n - 2*v = -4, j*n - 4*n = -5*v + 10 for n.
0
Let j = -6015 + 6019. Solve -5*n - 5*t - 10 = 0, 5*t + 6 = n + j*t for n.
2
Let s be (-4 - -4)*(-6)/(-18). Let g be ((-2 - s) + 2)/(-2). Solve -d + 4*n = -n - 23, -3*d - 4*n - 7 = g for d.
3
Suppose 4*g + 82*g = 0. Solve -m + 4 = -5*h, -h - 9*m + 10*m - 4 = g for h.
0
Let z = -17422 + 17422. Solve -r - 5*y - 24 = z, y = 5*r - 188 + 204 for r.