 -n for z.
3
Let p = 7 - 16. Let l = 14 + p. Solve -l*a - 15 = 0, -3*a = -u + 8 - 0 for u.
-1
Let t be ((-6)/(-4))/((-13)/(-26)). Solve 0 = -t*w - 4*y + 3, 2*w - w + 3*y = 6 for w.
-3
Suppose 5*b = 3*b + 5*h + 37, 5*h = -25. Solve l + b = u + 3*u, -2*l + 2 = -u for u.
2
Suppose -28 = -17*o + 40. Solve -3*m = -o*f + 12, m + 3 = -2*m + f for m.
0
Suppose y + 9 - 28 = -5*j, -j = -3. Solve -l = -5*h + y, -5*l - 2 = -3*h - 4 for h.
1
Suppose -3*j + 0*j = -300. Suppose -f = -6*f + j. Solve -4*z = 4*b - f, 0 = 2*b + 3 - 9 for z.
2
Suppose 0 = 4*s - 7*s + 21. Suppose -3*y + 4*j + 8 = 3*j, 3*y + 2*j = -s. Let f be (y + 2)/((-3)/(-5)). Solve 3 = -4*g - 5, -f*r - 10 = 5*g for r.
0
Let l be 8/14 - (-17)/7. Let c = -12 + 65. Suppose -3*w + c = w + y, -2*w + 40 = -4*y. Solve 0 = -l*g + g + 2*a + 12, -3*g + w = -a for g.
4
Suppose 5*a - 4*l - 60 = 0, 0*a + a - 12 = -4*l. Let x = -5 + 8. Let v be 18/(-10)*(-230)/69. Solve -v*z = -3*z + 4*p + a, 3*z = x*p + 9 for z.
0
Let m(z) = 2*z. Let p be m(4). Suppose -n - n + p = 0. Solve -n*w + 5*r - 2 = 0, 5 = -2*w - 4*r + 17 for w.
2
Let y(d) = 2*d + 51. Let p be y(-8). Solve m = -0*u + u - 1, -5*m - 3*u + p = 0 for m.
4
Let t = 6 - 9. Let q be 6/9 + (-19)/t. Solve 0 = 5*p - f + q, p + 2*f + 5 = 4*f for p.
-1
Let o be 3/(-2 + 26/10). Suppose -v = -2*j - 4*v + o, -5*v = 5*j - 15. Solve 22 = -4*i - 5*z, -j*i = 3*z + 11 + 7 for i.
-3
Let j(f) = 3*f**3 - 3*f + 3. Let v be j(2). Suppose -p = 3*p. Solve -3*c = 3*m - p + v, 0 = -3*m - 6 for c.
-5
Suppose -6 = -m - 2. Let d(j) = 2*j**2 - 3*j + 2. Let s be d(2). Solve 4*c + 3*o = -m, -c - 18 = o + s*o for c.
2
Suppose 0*h + 12 = 3*f + 3*h, 0 = h - 2. Solve 5*t = 4*l + 35, t + f = -2*l - 5 for l.
-5
Suppose -3*i = 3*v + 15, 5*v + 9 = -4*i - 11. Suppose v = -s + 5*s. Solve s*b - 2*n - 6 = 2*b, n - 12 = 4*b for b.
-3
Suppose -21 = -5*v - 2*z, -v - v - 9 = -5*z. Solve -v*b = 2*j - 2 + 4, -2*b + 24 = -5*j for j.
-4
Suppose -4 = -5*s - 4*v, -3*s + 5*v - 4 - 1 = 0. Suppose 22 = 3*r + 7. Solve 5*y = -q - 25, 2*q + y + r = -s*q for q.
0
Let u(g) = g**2 - 2*g + 1. Let l be u(3). Suppose 4*m = -3*b + l*b + 20, 0 = 2*m + 2*b. Solve -t - f + m = 0, -5*t - 4*f + 15 + 3 = 0 for t.
2
Suppose 0*f = 3*f - 72. Let w = f - -3. Solve -g + 5*y + 30 = 3*g, -y - w = -5*g for g.
5
Suppose 5*q + q - 24 = 0. Solve -3*s = 4*y + 26, -s + 3*y + 17 = q for s.
-2
Let r be ((-2)/4)/((-1)/(-8)). Let t = 10 + r. Let x be (-3)/t*1*-6. Solve 0 = -2*j - w + 10, 36 - 7 = x*j + 5*w for j.
3
Let v be (-18 - -9)*2/(-6). Solve -3*a = v*x + 6, 0 = -3*x - 0*a - 5*a for x.
-5
Let f = -5 + 17. Solve c - 3*c + 3*k + f = 0, 0 = 3*c + 5*k + 20 for c.
0
Suppose 5 = -v - 4*v. Let a be 22/(-8)*(v - 3). Solve 0 = -h + 5*x + 13, x - a = -5*h + 2 for h.
3
Suppose 31 = 5*v + 11. Solve 4*r - 7*r + x - 10 = 0, -v*r + 4 = 3*x for r.
-2
Let o = -11 - -4. Let u = 11 + o. Suppose 0 = c - u + 1. Solve 0 = -c*j - 5*f - 20, 4*j = 4*f - 0*f + 16 for j.
0
Suppose 5*f = -x + 19, -7 = -4*x + 3*f - 0*f. Suppose 0 = -7*k + 54 - 19. Solve x*n - k*v + 20 = 2*n, 16 = 4*n + 4*v for n.
0
Let i(c) = -c**3 + 4*c**2 + c + 1. Let z be i(2). Suppose 0 = -5*d - 5, 2*d + 3 = -t + z. Solve 3*u = 2*s - t, -3*s + 12 = u - 4*u for s.
2
Suppose -3*t - 2*t = -t. Solve -2*v + 5*w = t, -2*v = -3*v + 3*w for v.
0
Let w be (-1 - 0) + (0 - -1). Let b = 59 - 44. Solve 4*z + z - 1 = -2*j, 3*z - 4*j + b = w for z.
-1
Suppose 2*d - 3*y = 18, 1 = -d - y - 0*y. Let k be 190/(-6) + d/(-9). Let o = 61 + k. Solve 4*z = 3*c + o, 5*z - 8 = c + 20 for z.
5
Let f be 8 - ((0 - -1) + -1). Let v be f/((-3 - -2)*-2). Suppose -28 = -3*t - v. Solve 4*w - 20 = -4*g, 1 = 2*w + g - t for w.
4
Let w(b) = -b**3 + 4*b**2 + 6*b. Let j be w(5). Solve 4*a - 1 = -4*t - 5, -a - 1 = j*t for a.
-1
Suppose 2*n - 214 = -4*q, -q - 2*q = 5*n - 563. Suppose -3*x - 43 + n = 0. Solve -6*a + 2*a - x = 2*h, -a = 5*h + 15 for a.
-5
Suppose 4*k = 7 + 13. Suppose 9 + 21 = -k*u. Let q = 11 + u. Solve 0 = -z + h, -q*z + 2*h - 2 = -14 for z.
4
Let z = -39 - -57. Solve 0 = 5*v - 2*c, -5*v + z + 17 = 5*c for v.
2
Suppose 5*c = -2*h + 23, 2 = 3*h - 5*c + 5. Let x be (h/(-3))/((-3)/(-9)). Let y = 9 + x. Solve 12 = 4*u - m - 8, -y*u + 25 = 5*m for u.
5
Suppose -3*r - 5*x = -34, -2*x = -5*r + x. Let w be 0*(1 + -2) - -3. Solve -v - w = -0*v - 2*k, 2*v - r*k + 6 = 0 for v.
-3
Suppose -4*h - 3*f = 33, 3*h - 4*f - 24 = 5*h. Let p(n) = -n**2 - 9*n - 5. Let j be p(h). Solve -3*w - j = 5*q, -q + 0*w - 5 = 3*w for q.
-2
Suppose 4*b - 38 = 2*a, -4*b + 3*a + 3 + 36 = 0. Suppose -37 = 2*o - 5. Let l be b/4*o/(-6). Solve 6 = 3*n - k, -10 = -l*n + n + 2*k for n.
2
Let x be (6/(-3) + -1)/(-1 - 0). Solve 4*c = 2*g + 20, 3*c - 4*c + x = 0 for g.
-4
Let v = 2 + 5. Let r = v + -20. Let m = r - -18. Solve -m*n + 5*s = 40, -16 = n - 0*s - 3*s for n.
-4
Let y be 12/(-66) - 422/(-22). Solve 4*m - 5*r - y = 0, -2*m + 10 = -4*m - 4*r for m.
1
Let w(q) = 3*q - 5. Let g be w(3). Solve -4*y + 24 = g*i - 0*i, 4*i = -2*y + 20 for y.
2
Suppose -3*y = -y + 5*u - 9, 0 = 4*u - 12. Let f(m) = -m + 3. Let d be f(y). Suppose 3*t - 3 = d. Solve 3*s + 9 = -p, t*p - 3*s = 13 + 8 for p.
3
Suppose 5*d - 2*z = -0*z + 17, -d + 8 = -5*z. Solve -4*a - 7 - d = 2*w, -w + 5*a = -2 for w.
-3
Suppose -4*m + 5 = m. Solve 0 - m = u + y, 3*u = y - 11 for u.
-3
Let l = -17 + 19. Solve -2*t + d = t - 4, -l*d + 7 = -t for t.
3
Suppose -5*u - 36 = -8*u. Suppose s - u = -3*s. Solve 0 = -5*v - 4*i - 6, i = s - 2 for v.
-2
Let t(i) = -i**2 + 6*i + 4. Let q be t(6). Suppose -2*v + 0*v = 3*c, v = -q*c. Solve 6 = -3*k + 2*k - 2*s, c = 5*k - 3*s - 9 for k.
0
Suppose 4 = 3*f - 2. Let a be (-1)/(-1)*1*-1. Let u = f - a. Solve 3 = -2*j + 4*m - 1, u*m - 6 = 0 for j.
2
Let z = 7 + -5. Let f(q) = -6*q + 6. Let d be f(-7). Suppose 2*g = -3*r - g + d, 27 = 3*r - 4*g. Solve k + 0*k + z*j + 4 = 0, k = -5*j - r for k.
2
Let x be (-2)/2 + 143 - 2. Suppose 6*y - x = y. Solve b - 5*z = -y, -5*b + 5*z - 33 = 7 for b.
-3
Suppose 24 = 3*j - 21. Solve -i + 1 - 6 = 2*k, 3*i + j = 5*k for k.
0
Let s be 2 + (-3 - 2) + 6. Let v(o) be the first derivative of 2*o**3/3 + o**2 - o + 3. Let w be v(-2). Solve -u - 10 = -3*u + s*i, 0 = -w*i for u.
5
Suppose -5*q = -16 - 4. Suppose 0*o + 12 = q*o. Solve -4 = 4*b + 2*r - 4*r, 5*b = o*r - 4 for b.
-2
Let v = -32 + 47. Solve 4*b - 7 = -5*c, 0 = -3*c + 4*b - 0*b - v for c.
-1
Suppose -125 = v - 6*v. Solve -2*m - 2*m - 5*z - v = 0, 2*m + 25 = -5*z for m.
0
Let x(d) = 2*d**2 + 6*d + 4. Let h be x(-5). Suppose 0 = 4*o - 6 - 2. Suppose -4*b = -b - 24. Solve c - h = 5*t, 0*t - o*t = b for c.
4
Let x be ((-8 - -2) + 0)*(-21)/42. Solve -5*b - 18 = -m + 3*m, -x*m - 8 = -2*b for b.
-2
Let n(p) = 2*p**3 - 5*p**2 + 2*p - 1. Let z be n(3). Suppose 13 = -w + z. Solve 3*h + 0 = -v - w, 4*h - v + 6 = 0 for h.
-1
Let a(v) = v + 12. Let k be a(-9). Solve 0 = k*f + 3*m + 27, 2*f + 4 = m + 1 for f.
-4
Let v(q) = 2*q**2 - 4*q + 2. Let l be v(2). Suppose -3*r + 7 = 1, 5*r - 30 = -l*j. Solve -4*a - 5*h = -45, -5*h + h + j = -2*a for a.
5
Suppose 3 + 5 = 4*r. Suppose -4*x = -q - 16, r*x = -q - 2*x + 24. Solve -9 = q*c - 7*c, -c = -4*d - 7 for d.
-1
Let m(z) = -z**2 + 2*z + 5. Let s be m(3). Solve -3*q + 16 = t, -s - 21 = -4*q - 3*t for q.
5
Let g be (6/18)/((-1)/3)*-3. Solve -15 = -4*j + 3*j - g*f, -2*f = -10 for j.
0
Let y(k) = k**2 + 4*k + 1. Let a be y(-6). Suppose -a = -5*s + 47. Let b be (-2)/8 + 51/s. Solve b*f + f + 30 = 5*i, 3*i = -f + 10 for f.
-2
Let j be 11/9 - 2/9. Let o be ((-34)/(-85))/(j/10). Solve -l - 4 = 3*x, 2*l - o*l = 5*x + 8 for x.
0
Suppose -5*t - 25 = 0, 5*d + 20 = -4*t - 0. Let w be (-28)/(2 - d) - -2. Let r = -7 - w. Solve -g = -4*v + r, 2*g + 0 + 7 = 5*v for g.
-1
Let f(j) = 4*j**2 - 9*j + 6. Let v(l) = -l**2 + l - 1. Let m(n) = -f(n) - 3*v(n). Let c be (-1)/3 + 7/3. Let g be m(c). Solve -4*r - 4 = g*q + 9, 3 = r for q.
-5
Let b = 7 + -4. Let k(t) = -t**3 + 6*t**2 + 8*t - 1. Let j be k(7). Solve b*f = -g + 2 - 0, -j = -5*f - 3*g for f.
0
Let d(z) = z**3 - 6*z**2 - 6*z + 4. Let k be d(6). Let x be (-8)/k*(-1 + 1). Solve 3*v - 9 + 2 = 5*f, f + v - 5 = x for f.
1
Suppose 2*s = 5*s - 18. Let o be s/(-4) - 13/(-2). Solve -3*p + 2*u = -u + 21, -o*u + 17 = 4*p for p.
-2
Let j = 46 - 30. Let u be (-6)/(-4)*(1 - -1). Solve u*i + j = 5*b, -b + 2 - 3 = -2*i for i.
3
Le