z.
-1
Let i = 4 + -1. Suppose -i*z + 2 = -2*z. Let c be (-1 - (-1 + 1))*0. Solve z*t - 3*v + 15 = c, -5*t = 3*v - 2 - 13 for t.
0
Suppose -4 = -3*a + a. Suppose -a*n = -11 + 1. Solve -n*v = 2*t - 30, -5*t + 13 = -5*v + 2*v for v.
4
Let z(v) = v + 8. Suppose 7 = 4*q + 23. Let p be z(q). Let h = 6 - p. Solve 5*c - 4*s = -h, 0*c + 13 = 5*c + s for c.
2
Let c(o) be the first derivative of -2*o**2 - 2*o - 3. Let j be c(2). Let g be 4/j + (-189)/(-35). Solve -l + 1 = -2*p, 4*p + 8*l - g*l - 23 = 0 for p.
2
Suppose -2*p - 3*p = 0. Let f be p/(-1) + (2 - -13). Suppose -m + f = 2*m. Solve -2*z = 5*g - 26 + 6, 2*z = m*g for z.
5
Let s = -6 - -4. Let c be (-2)/3*3/s. Solve 5*o = -5*n - 10, 2*o + c = -n - 1 for o.
0
Suppose 0 = -2*s - l + 19, 9*l - 32 = -3*s + 4*l. Let t = s + -6. Let r(m) = -m + 3. Let j be r(t). Solve j = -x - 4*o, 5 = -9*o + 4*o for x.
4
Suppose 0 = -7*d + 16*d - 27. Solve 0 = -d*o + 5*j + 9 - 3, 2*j - 8 = -4*o for o.
2
Let p be (0 + 3)/(3/5). Let d(l) = l**3 - 4*l**2 - 3*l - 7. Let b be d(p). Solve -5*j - 25 = -b*f, -5 = -f + j - 0*j for f.
0
Let z be -2 - 0 - (0 + -4). Solve 4*o - 1 = -z*a + 1, a = -5*o - 2 for o.
-1
Let z = 33 - 32. Solve -i = 2*t + 5, -5*i - t - z = 3*t for i.
3
Let j be (5/15)/((-1)/(-12)). Suppose -j*c = -2*y - 8*c - 12, -5*y + 14 = -c. Solve v = -2*w - 6, 2*w + 24 = -y*w - 5*v for w.
-1
Let u = 4 + 0. Let k(m) = 2*m**2 + 5*m + 6. Let l be k(-2). Suppose l = t - 0. Solve -c = 4*f + 15, c + 35 = -u*f + t*c for f.
-5
Let f be ((-2)/(-4))/(4/24 + 0). Solve 4*q - 3*n = 20, -5 = -q - f*n + n for q.
5
Let m(p) = p. Let u(d) = 6*d - 7. Let n(r) = -2*m(r) + u(r). Let z be n(3). Solve 5*a - 5*q = 0, 0*a = 2*a - z*q + 15 for a.
5
Let z = 2 + -2. Let y be z/(-2*(3 + -2)). Solve -2*r = -v - 9, v - 3 = -r - y for v.
-1
Suppose 4*a + 2*k = -a - 5, 5*k + 3 = -3*a. Let n(o) = o**2 - 8. Let h be n(0). Let j be a/(-2) - 4/h. Solve f = 2*i + j, -2*f - 2*i = 3*f - 17 for f.
3
Let n(b) = b**2 - 2*b - 3. Let v be n(4). Suppose 5*j = 5*c + 30, -v*c - 6 = -j + 4. Solve -q + p + 1 = 4*q, -3*p - 3 = -j*q for q.
0
Suppose 0*l - 4*d = -l - 14, -6 = 5*l - 4*d. Suppose -l*o - 4 = -14. Solve 0 = h - o + 10, 3*c + 22 = -5*h for c.
1
Let n = 2 - -1. Suppose -4 - 4 = -2*w. Suppose -5*g - w*b + 9*b = -15, 3*b + 1 = g. Solve 4*y - f = y + 20, -g*y + 5 = n*f for y.
5
Let t(k) = -k**3 + 3*k**2 + 2*k - 2. Let v be t(2). Solve -5*n + v + 4 = 0, -2*n - 16 = -5*o for o.
4
Let g be (3 + 23/(-5))*5. Let s = g + 28. Solve -4*z = 2*k + s, 5 = -5*k + z + 10 for k.
0
Let f = -16 - -17. Solve -5*x - 29 = -0*n + n, -x = -n + f for x.
-5
Suppose 10 = -4*u - 14. Let o be 3/u*6 - -7. Solve 21 = -o*v + 3*n, -2*v - 5 = -5*n + 16 for v.
-3
Let l be (-8)/6*(-3)/(-2). Let t = l + 1. Let y be (3 - t)/((-2)/(-1)). Solve y*p = w + 4*w - 4, 4*p - 16 = -2*w for p.
3
Let w = 48 - 48. Solve w = -j - o - 8, 2*o - 9 = 5*j + 10 for j.
-5
Let j = 3 - 0. Suppose -j*x + 5*r - 3*r = -19, -x - 4*r = 17. Solve -5*l - 29 = -x*d, l + 6 - 2 = 0 for d.
3
Let x(y) = 3*y**2 - 1. Let i be x(1). Let d(b) = -19*b**2 + 0 + 20*b**2 - 2. Let h be d(i). Solve h = -2*v + 3*l, -v - 16 = v + 4*l for v.
-4
Let m be (-20)/(-15) + 2/3. Let i be (-1 + 1)/(0 - m). Suppose i*u - 6 = -u. Solve -4*l - 4 - 8 = 2*a, 3*a + 2*l = -u for a.
0
Let l(y) = 5*y**2 - y**3 + 0*y**2 + 3*y**2 + 2*y. Let p be l(8). Solve 3*u + 14 = -5*f, -p = 3*f - 0*u - 2*u for f.
-4
Let v(h) = h**2 - 4*h - 6. Let i be 4/(2 + -3 + 0). Let n be v(i). Solve 0 = -4*w + 3*k - n, 6*k = w + k + 15 for w.
-5
Suppose 16 - 1 = 5*g. Solve w + w = -3*o - 2, -g*w - 2 = 5*o for w.
-4
Let h be 32/(-80)*(-1 - 0)*10. Solve -2*l - h = 2*l - 4*f, 5*f + 20 = 0 for l.
-5
Suppose s - 100 = -h - 3*h, -4*h + 4*s + 100 = 0. Solve -5*q + 5*y = -h, -q + 3*y = 7 - 18 for q.
2
Let u be (1 - -5)*4/2. Suppose 3*s + u = 7*s. Solve -y = -4*d + 4, 0*y = -s*y for d.
1
Let c be (-3)/(-6)*10 - 1. Suppose u = 2*s + 18, -c*u - u + s = -63. Let n be ((-1)/3)/((-2)/u). Solve 0*o - n*g = o - 15, -5 = -3*o + 2*g for o.
5
Suppose o = -7 + 26. Let k = -16 + o. Solve -1 = 4*n + k*x, 9 = -3*n + 2*n + x for n.
-4
Let s = 7 + -5. Suppose -2*n = 5*a - 18, -3*n - s*n = -3*a - 14. Suppose -19 = -4*c + 3*c. Solve 0 = n*z - 0*u + 4*u + 8, -c = -4*z + 5*u for z.
1
Let g be 37 - 2/((-7)/((-14)/4)). Solve 4*t = m - 16, 3*m + m + 4*t = -g for m.
-4
Let r be (-46)/(-8) + 1/4. Let s = r + -4. Suppose -17 = -2*w - w - 5*y, -3*w - s*y = -14. Solve i + q + 10 = -w*q, i + 9 = -4*q for i.
-5
Suppose -6 = -5*f - 2*v, 5*f + v + 9 = 4*v. Suppose -2*b - 7*j + 29 = -2*j, 4*b - 3*j = 71. Solve 0 = -5*h - 4*g - 1, h + 5*g = -f - b for h.
3
Let v be (0/4 - 0)/2. Solve u + 3 = -0, -5*f + 3*u - 1 = v for f.
-2
Let m = -34 - -34. Solve m = -3*p - 15, -6 = -3*q - p - 2 for q.
3
Suppose 0 = -3*c - 29 - 25. Let j = c + 11. Let s = j + 15. Solve -28 = -h - h - 5*r, s = 3*h - r for h.
4
Let b be 4*(2 + 1)/3. Suppose -i = -b*i + 24. Solve -3*q + 5*j = 4*j + 8, -5*q + 3*j - i = 0 for q.
-4
Let o = 80 - 48. Let t(x) = 4*x + 1. Let i(s) = -s**2 - s + 1. Let q be i(0). Let b be t(q). Solve -2*n + a + b = 0, a = -5*n - 3*a + o for n.
4
Let o(x) = -2*x. Let i be o(6). Let j = 6 - -3. Let l be -3*i/j - 1. Solve -v = -2*h + 6, 1 = l*h - 5 for v.
-2
Let q = 16 + -15. Let b be (-36)/(-9) + 1/q. Solve 0 = 3*l - 4*y - 0*y - 11, 10 = 5*l - b*y for l.
-3
Let h be 1/(-2) + 1/2. Suppose h = -2*x + 16 - 6. Solve -x*f + 24 = -t, 3*t + 7 = f + f for t.
1
Let t = -7 + 5. Let c be t - 3 - (3 - 2). Let w = c + 9. Solve 2*a - w = 1, 4*o = -5*a - 10 for o.
-5
Let p be (3/(-9))/((-1)/9). Let b(d) = d**2 - 2*d. Let l be b(p). Solve -k + 3 = -l*s + s, 0 = -s + 3*k - 9 for s.
0
Suppose 2*v + 4*f = 3 + 9, -4*f = -5*v - 26. Let l be 0/(-1*(v - 0)). Solve 4*p + 4*n + 0 - 4 = 0, l = 2*p - 2*n - 10 for p.
3
Let g(s) = 1 - 2 - 6 - s. Let a be g(-11). Solve 5*k - 3*j = -29, -a*k + 3*j - 19 = 2*j for k.
-4
Let z = 5 - 3. Suppose 3 = -2*h - 3, 0 = 3*y + z*h + 216. Let s be (-2)/(-2) + y/(-7). Solve 0 = -5*o - 15, -x + o + s = x for x.
4
Let s(n) = n**2 - 4*n + 5. Let z be s(4). Let w(v) = -v**2 + v + 4. Let q be w(2). Solve -z*k = 4*x - 20, q*x + 7*k = 4*k + 10 for x.
5
Suppose 0 = 8*j - 6*j. Suppose 8 = 5*q - 4*w, 4*w = -q - j*q + 16. Solve q*f - 24 = -0*z - z, f - 9 = -z for f.
5
Let c(j) = -j + 4. Let f be c(2). Let w = 2 + f. Solve 3*l = 2*l - w*z + 17, 2*l - 5*z = -18 for l.
1
Suppose -5*x = -w - 18 + 2, -3*w + 5*x = -2. Suppose 0 = 5*m - 11 - w. Solve 0 = -m*t - 3*u - 10, 2*t = 2*u - u for t.
-1
Let c = -6 + 9. Let f = -1 - -1. Solve c*l - 5*a - 1 - 22 = 0, f = -l - 3*a - 11 for l.
1
Suppose 2*v + 2*d + 10 = 4*v, v - 3*d - 7 = 0. Suppose 4*y + v = 0, j + 3*j = y + 9. Suppose -j*k + 40 = 3*k. Solve 8 = -3*g + w, 0 - k = -4*w for g.
-2
Let v(n) = 2*n - 12. Let p be v(8). Suppose -3*t = t - p. Solve -2*f - 14 = 2*g, 4*f = -0*f + 5*g - t for f.
-4
Suppose -5*m + 5*s - 15 = 0, -m - 5*s - 5 = -20. Let t = 2 + m. Solve r - b + t = 0, -4*r + 3*b + 2 = b for r.
3
Suppose 0 = 3*s + 4 - 46. Solve 5*b - 2*d + s = 0, -2*b + 4*d - 6 = 3*d for b.
-2
Let w be (-2 - -7 - 1) + -1. Suppose 0 = w*l - 34 + 1. Let u be -1 - 2*(-1 - l). Solve 0 = -3*r - 3*i + 21, 2*i - u = -4*r - r for r.
3
Let o(r) = r**2 + 6*r + 10. Let q be o(-5). Solve -q*y + 0*y = -4*f - 8, 0 = -2*f - 5*y + 26 for f.
3
Suppose -6*u + 3*u = 6. Let x be (-88)/(-4) - (-6)/u. Solve -2*a - 2*r = 3*a + x, -5*r + 20 = -a for a.
-5
Suppose -2*y + 2*j = 1 + 1, 4*y - 5 = -5*j. Let h(s) = 2*s + 21. Let z be h(y). Solve a - 5 = -5*c + 6*a, z = -4*c - a for c.
-4
Suppose -2*a = 4*s - 7*a - 3, 3*a = 3*s. Let u = 6 + s. Solve 5*d = p + 3, -u*p - 11 = d - 2 for d.
0
Let g(y) = -y + 1. Let u be g(0). Let x be 1*(u*-21)/(-3). Solve -5*m + 5*t = -13 - x, -m = 4*t - 9 for m.
5
Let q = -10 + 6. Let x = q - -6. Solve -x*w = 4*n - 0*n + 24, -20 = 2*n + 5*w for n.
-5
Let w(s) = -s**3 - 4*s + 1 + 2*s**2 - 4*s**2 - 2*s**2. Let a be w(-3). Suppose -11 = -4*r + 9, -4*r + 4 = -a*n. Solve l = -3, 3*b - 9 = 5*l - n*l for b.
2
Let p(q) = q + 9. Let n be p(-6). Solve n*x = 4*g + 23, -x - 2*g = g + 14 for x.
1
Suppose -2 - 13 = -3*l. Suppose 0 = -v + 1 + 1. Let g = v - 0. Solve 0 = -3*s + l*f - 5, 3*f - g = 2*s for s.
5
Let g = 3 + -1. Suppose 3*p = 7*p + 16. Let a = p - -4. Solve 0 = 5*w + 15, -3*b + 3 = g*w - a*w for b.
3
Let