for z.
2
Let i = -13 - -18. Suppose -5*k + 25 = 2*j, i*j - 5*k - 7 - 3 = 0. Solve 3*z + 2*v - 6*v = -10, -z + j*v - 18 = 0 for z.
2
Let o = -1 + 4. Suppose g = -w + 28, o*w - 5 = -5*g + 129. Solve -2*r = 5*q + 5, -4*r + 0*r - g = -5*q for q.
1
Suppose -h + 5*w = -4*w - 20, 6 = -2*h - 5*w. Solve 24 = -5*p + 3*j, 3*p + 18 = -h*j + 5*j for p.
-3
Let n be (-1*(-3 + 4))/(2/14). Suppose 5 = 2*v - 2*m - 21, 0 = 3*m + 6. Let s = v + n. Solve -s*i - 2*h = -0*h - 20, 4*i - 2*h - 20 = 0 for i.
5
Suppose m + 0 = -4*j + 3, -5*m - 33 = -4*j. Solve z + 4*o - j = 14, -4*o + 16 = -3*z for z.
0
Let l = -43 + 45. Solve -l*z - 13 + 2 = -c, -2*c - 18 = 4*z for c.
1
Let t be (1 + -4 - -6) + 0. Suppose -t*f + 8 - 2 = 0. Let s = 6 - f. Solve -4*r - 2*i + 16 = r, -s*i + 18 = 3*r for r.
2
Suppose -157*c + 3*m + 29 = -152*c, -4*c = -4*m - 28. Solve -5*j = 2*q + 20, c*j - 8 = 6*j for q.
0
Let s = -828 - -836. Solve w + 4*z = 4 + 8, 0 = 3*w + 5*z - s for w.
-4
Let o = 1245 - 1240. Solve -9*b + 8*b + 7 = -4*t, o*t = 5*b - 5 for t.
-2
Let a(p) = 7*p - 6. Let f be a(4). Suppose -44 + 24 = -2*d. Suppose i + 1 = 4*i + l, 0 = -5*i - 4*l - d. Solve 0 = 4*c - i*w + f, 5*c = -5*w + 2*w for c.
-3
Suppose 21*n - 63 = -21. Solve 23 = n*l + 2*l - 5*s, -2*s = -5*l + 16 for l.
2
Let h(g) = g**3 + 7*g**2 + 10*g + 4. Let x be h(-5). Suppose 3*c = -c + 24. Let f be (c/(-9))/(2/(-72)). Solve -t - w + 2 = -x, -5*t + w = -f for t.
5
Let r(t) = -t**3 + 9*t**2 + 2*t - 16. Let y be r(9). Let w be 10/15*-3 + 8/y. Solve -4*f = 5*g - 7, -f = w*g + 2*f for g.
3
Let u be (-10)/1*(-9)/18. Suppose -2*n + n = -u. Solve -z - 7 = -3*q, -z + 5*z + n*q - 6 = 0 for z.
-1
Let v(b) = -b**3 + 16*b**2 + 27*b - 165. Let j be v(17). Solve 4*n + m - 10 = -0*m, -5*m = -j*n for n.
2
Let u be (-23)/(-9) - (9 - 255/27). Solve -2*v = -10, 3*f = -0*f - u*v + 30 for f.
5
Let t be ((-63)/35)/(6/(-10)). Solve 0*g + 2*k = t*g, -3*k = 0 for g.
0
Let r = -35 - -37. Suppose 0*d = -d - 4*o + 8, -4*d = r*o - 18. Solve -5*q + 4 = -3*h + 7*h, q - d = 0 for h.
-4
Let t be -2 - 9 - -4 - (1 + -10). Solve -4*g = t*b - 12, 16 = g + 3*g for b.
-2
Suppose -3*l - 3*o = -3, 2*l - o - 2 = -0. Let z = -202 - -199. Let y be z + (4 - l)*2. Solve y*q = 6, -q = 2*u - 5*q + 6 for u.
1
Let y = 24 - 22. Let p be ((-2)/(-5))/(y/60). Solve 0 = -6*w + 2*w + 4*f - 8, p = 4*f for w.
1
Let j be (-9)/(-36) + 2 - 2/8. Solve l - 3*n = -2*l - 12, -j*l - 14 = 4*n for l.
-5
Suppose -24 = -11*k + 20. Solve s + 2*s - 5*z + 29 = 0, -k*s - 24 = -3*z for s.
-3
Suppose 0 = -11*v + 12 + 21. Suppose 0 = -0*o + o - v*w - 4, 0 = 4*o + 4*w - 64. Solve 2 = -m, -m + o - 35 = -5*i for i.
4
Let m be -5*4/((-40)/6). Let d be ((-20)/(-3))/(2/m). Suppose -4*o - o = -d. Solve -3*h + o*g = -11, 4*h + 2*g - 4 = 2*h for h.
3
Suppose -5*h = 149 - 174. Solve h*a - 5*z = 10, -5*z + 2 = -4*a + 7 for a.
5
Let g = 21 - 29. Let t be 6/12 + (-12)/g. Solve -4*a = 5*b + 7, -3*a = -7*b + t*b + 14 for b.
1
Suppose 8*n - 5*n - 33 = 0. Solve -i - 3*s = n, 3*s - 8*s - 10 = 0 for i.
-5
Suppose f = 5*f - 12. Let g be (0 + 6)/(6/f). Let n(a) = -a**3 + 2*a**2 + 3*a. Let p be n(g). Solve o - 1 = 0, s = -p*s - 5*o + 9 for s.
4
Suppose -36 = -38*s + 26*s. Let c be (1 - -1)*2 + -2. Let a = 2 - c. Solve 2*m + 5*y - 1 = a, 0*m - 3*y - 12 = -s*m for m.
3
Let l = -222 + 224. Solve -l*b + 2*k + 2 = -3*b, -6 = 2*b + 5*k for b.
2
Let a(g) = -g**2 + g + 2. Let o be a(-2). Let z be 115/20 + 3/o. Suppose -z*r = -5 - 10. Solve -4*s = -b - 8, -r*b - 3 + 1 = -s for b.
0
Let x be (6/(-4))/(-3) - 138/(-92). Solve c + 10 = -c + 4*u, -x*u + 15 = c for c.
5
Let u = -20 + 37. Suppose -16*p - 5 = -u*p. Solve -4*r - 8 = -4*i, -2*r + r + p*i = -6 for r.
-4
Let a be 0 + 0 + -1 + -5 + 8. Solve -3*r - 20 = -n, -a*n - 40 = -6*n + 4*r for n.
5
Suppose 14 = 114*u - 107*u. Let g(r) = -r**3 - 12*r**2 + 4. Let n be g(-12). Solve -5*j + u - 1 = -t, -4*t - 4 = -n*j for j.
0
Let l = -11 - -4. Let w be (-3)/l + 1500/28. Let b be 0 + w + (-1 - 0). Solve 12 = 3*u, -5*x = 4*u - b + 17 for x.
4
Let i(u) = u**2 + 1. Let a(t) = t**3 + t**2 + 3*t + 2. Let x(y) = a(y) + 3*i(y). Let f be x(-3). Solve f*c - 31 = 2*o - 6, -o - c = 2 for o.
-5
Suppose 2*v - 1 = -s + 60, 4*s + 108 = 3*v. Suppose 2*h + 0 - 4 = 0, -v = -3*t + 2*h. Solve -2*g - t = 2*d, 3*g = 2*d + 2 - 0 for g.
-2
Let u(p) = p**3 + 7*p**2 + 3*p - 11. Let i be u(-6). Let d be i/3 - 10/(-15). Solve -d*w - 4*r - 17 - 4 = 0, 2*w - 6 = 4*r for w.
-3
Let i(u) = 57*u + 6. Let o be i(-4). Let p be o/(-42) - (-2)/(-7). Suppose p = -a + 7. Solve -5*f = -25, 7 + 7 = d + a*f for d.
4
Suppose 4*r + 2*k - 26 = -0*k, -17 = 2*r - 5*k. Solve 3*d + 7 = n, r*n - 3 - 4 = 5*d for n.
-2
Let n be ((-48)/16)/((-6)/16). Let r be (n + -4 - 3) + 2. Solve -2*z = -4*i + 2*z, 0 = r*i - 4*z - 5 for i.
-5
Suppose -10 = -k + 2*j, -2*k - j + 0 - 5 = 0. Let b = 258 - 241. Solve -2 = 4*v + 2*n, -4*v + 2*n + 3 - b = k for v.
-2
Let t(d) = 8*d - 8*d - d**3 + 4*d + 2*d + 3*d**2 - 5. Let z be t(4). Suppose -4*y + 11 = z. Solve 3*j = -q, 4*q + y*j = 7*j - 17 for q.
-3
Let s = 89 - 197. Let b be s/(-63) - (-4)/14. Suppose 10 = 7*u - b*u. Solve 4*r = -2*x + 6, 5*x - u*x + 3*r - 12 = 0 for x.
5
Let n = -55 + 71. Suppose n*m = 13*m + 6. Suppose -4*t - 72 = -7*t. Solve -5*i = -m*k - 28, 0 = -k - 0*k + 5*i - t for k.
-4
Let a = 724 + -721. Solve -4*l + 5*n + 24 = 0, n = -a*n - 16 for l.
1
Let i = 26 - 0. Suppose -3*s - x + 24 = -4*x, -2*s + i = -4*x. Suppose -l + 2*l - 3 = 0. Solve 5*q + l*b + s = 5*b, b + 3 = -2*q for q.
-1
Let a(w) = w**2 - 38*w + 196. Let l be a(6). Solve 5*r - s - 14 = -0*s, 16 = l*r - 2*s for r.
2
Suppose -3*x - 5*m + 13 - 2 = 0, 4*x + 2*m = 24. Solve -2*c = i - x, 6*c - 17 = 2*c - 3*i for c.
2
Let d(o) = -o**3 + 3*o**2 + o + 1. Let b be d(3). Suppose 32 + b = 3*r + 3*u, -4*r - u = -39. Solve 4*y = -2*n + 4 - 10, -3*n - 2*y = r for n.
-3
Suppose 0 = 22*y + 225 - 555. Suppose -3*q + 6 + 0 = 0. Solve 2*h = -10, 3*t = -2*t - q*h + y for t.
5
Let c = 25 - 21. Solve -i + c*p - 9 = p, -10 = -2*i - p for i.
3
Let q(c) = -2*c**3 - 17*c**2 + 7*c - 15. Let f be q(-9). Solve 0 = -v + n - 4*n - 2, -16 = f*v - n for v.
-5
Let j be 1/4 - (-1529)/44. Let z = j - 20. Let p be (-26 - -2)*8/(-12). Solve 3*c - p = 4*r, 3*c = 6*c - 3*r - z for c.
4
Let r be ((530/(-60))/53)/(2/(-60)). Suppose -2*z = -a, 4*a = -a + 3*z. Suppose a + 2 = -l + f, 4*l + 4*f - 24 = 0. Solve 17 = -j - r*y, -l = y + 1 for j.
-2
Let k = -1235 + 1240. Solve 3*c + 17 = 2*u, 2*u = 2*c + k*u + 7 for c.
-5
Let n = 0 - -2. Suppose -5*f - 5*m + 465 = 0, 0 = -0*f + 2*f + 5*m - 177. Let o be 4/f*6 - (-19)/4. Solve -5*t - 20 = 5*w, 3*t + o = n for w.
-3
Let v be ((-18)/4 + 3)/((-15)/40). Solve v = 2*r + 5*q, 0 = -r - q - q + 1 for r.
-3
Suppose 20*b - 5*b = 60. Solve -3*w = h + 6, b*w = h - 0*w - 8 for h.
0
Suppose 28*n = -7*n - 2*n. Solve 4*s - z - 15 = n, 0*z + 10 = -2*s + 4*z for s.
5
Let g = -43 - 16. Let h = g - -71. Solve -c - h = -3*c + 4*f, 0 = -4*c + f + 17 for c.
4
Suppose 2*t + 3*t - 15 = 0. Suppose t*u = u. Let y(v) = v - 1. Let n be y(3). Solve -z + n*b + 14 = u, -2*z - 2*z = 4*b + 4 for z.
4
Suppose -2*j = -5*s - 16, -j - 4*s - 2 = 3. Let k be (-104)/(-24) - j/9. Solve -5*t + 17 = -k*q, -3*t + 1 = -q - 5 for q.
-3
Let r be ((-16)/(-28))/((-4)/(-14)). Suppose l - r = -1. Suppose 3*i = 5 + l. Solve -14 = -5*f + 11, 18 = -4*o + i*f for o.
-2
Let p = -56 + 60. Solve 2*v - 8 - 4 = -n, 0 = -4*v - p*n + 28 for v.
5
Let n(d) = d**2 + 4*d + 7. Let p be n(-3). Let x(q) = -q**3 + q**2 + 5*q + 3. Let j be x(-2). Solve 0 = -j*g - 3*z + 4*z - 11, p*z = 4 for g.
-2
Suppose 2 - 10 = -4*s - 5*h, -5*h = -s + 27. Solve -s*x + 3*x = -2*m - 10, -15 = 3*x + 3*m for x.
0
Suppose 20*k - 143 - 397 = 0. Solve 2*m = 7*x - 3*x - 14, -5*m = -2*x + k for m.
-5
Let m = 689 - 678. Solve -2*w + m = -5*w + 4*l, -2*w + 4*l = 10 for w.
-1
Let j(l) = -4*l**3 - 4*l**2 + l + 2. Let t be j(1). Let s be 9*(t/(-5) - 4/6). Solve -2*d + a + s = -0, -3*a - 14 = -d for d.
-1
Let y be (-2)/(-4)*0/2. Suppose 383*v - 390*v = -14. Solve y = d + 5 - 1, v*d + 28 = -4*h for h.
-5
Suppose 0 = -196*y + 206*y - 50. Solve 0 = 2*b - y*d + 3, 1 = d + 2 for b.
-4
Let u be (-14315)/(-1295) + 2/(-37). Solve 5*n - 6*c = -u*c + 10, -4*n - 13 = -3*c for n.
-1
Let b be ((-27)/(-36))/((-90)/24 - -4). Solve l + 9 = 