lve 4*d - z = 3*z + 32, z = 2*d - q for d.
4
Let c be (-15)/20*(-8)/3. Let t be ((-14)/21)/(c/(-15)). Solve t + 7 = 4*g + 4*n, 0 = -5*n for g.
3
Let f(c) = c**3 + 3*c**2 - 6*c - 3. Let x be f(-4). Solve -2*a = -3*q - q + 22, 0 = -a - x*q + 24 for a.
-1
Suppose -1 = 4*p - 5. Suppose 0 = -s - 5*u + p + 21, 24 = 4*s + 4*u. Solve 0*k + s*i + 14 = 3*k, -3*k = 5*i + 14 for k.
2
Suppose 5 = -5*i - 0. Suppose -5*d + d = -4. Let z = i + d. Solve 3*k = 5*n - 2*k - 20, 2*k + 10 = z for n.
-1
Let a(n) = 4*n**2 + 4. Let t be a(-2). Solve 0*s + t = -4*s + 5*z, 0 = -4*s + 3*z - 20 for s.
-5
Let w(m) = -2*m**3 + 5*m**3 + 4*m**2 + 8 - 2*m**3. Let x be w(-4). Solve 4*k - x = h, -6*h + h - 19 = k for h.
-4
Let a = 9 + -9. Solve 0 = -5*x + 5*s - a*s - 30, -5*x - 25 = -4*s for x.
-1
Let f be 578/51 + 2/6*-1. Solve -i + 0*i - 5*w = -f, 3*i - 2*w = -18 for i.
-4
Let c be 1/(-4) + (-22)/8. Let t = c - -5. Solve -2*u = 4*l - u - 12, -2*l = t*u for l.
4
Suppose 5*c - 15 = 5*q, -q - 13 = 5*c - 4. Let t be ((-2)/4)/(c/6). Suppose -5*k - 6 + 1 = -5*y, -3 = -3*y. Solve -3*a = t*i - 6, 3*i + 0*i = k for a.
2
Let w(x) = -x**2 + 9*x - 6. Let h be w(8). Solve h*c - 5*c - 13 = 5*l, -3*l = -2*c + 4 for l.
-2
Let u = 20 + -13. Let s = u + -1. Suppose 5*i - 19 = s. Solve -i*v + 18 = -3*k, 3*k = -4*v - 0*v + 9 for v.
3
Let w(m) = m - 3. Let q(t) = t + 16. Let a = 23 + -34. Let g be q(a). Let j be w(g). Solve -5*s + 2*v = 18, j*s - v + 16 = 2*v for s.
-2
Let f = 4 - -2. Suppose 5*w - 4*p - 18 = 0, -f + 2 = -w + p. Solve w*m + 3*m + 25 = -4*t, -10 = 2*m + 5*t for m.
-5
Suppose -12 = -4*x, 0 = -4*s + 3*s - 3*x + 12. Suppose 2*u + s*r = -u + 3, -9 = 3*r. Solve 0 = -u*d + 20, -4*d = -5*k - 2 - 3 for k.
3
Let a(s) = s**3 - 2*s**2 + s + 2. Let w be a(3). Let f = w - -8. Let v(q) = q**2 + 9*q + 12. Let g be v(-8). Solve i - 5*j = -15, 3*j - 4 = g*i + f for i.
-5
Let c be (-2)/((-2)/(-10)*-1). Let r = -17 + c. Let y(m) = -m**2 - 7*m + 5. Let l be y(r). Solve -5*b = -5*x - 5, 5*x - 4*b + 0*b = -l for x.
-1
Let f(k) = 4*k - 11. Let v be f(4). Solve -t = u - 1, v*u + 0*t - t - 5 = 0 for u.
1
Let r be (-1 + -1)/(-1) + 0. Let u = r - -2. Solve 2*c - 4*x + 12 = 0, -u*c - 3*x = -x + 14 for c.
-4
Let w = 4 - 2. Suppose -i = w*i. Suppose s - 2 + 0 = i. Solve -4 = -4*x, h + 3*x - s + 4 = 0 for h.
-5
Let k = -2 - -1. Let t be k*1 + (-4)/(-4). Solve 5*i = 5*y + 30, t*i - 9 = 2*y + i for y.
-5
Let j be -3*((-4)/5)/(9/15). Solve -3*a - 20 = 4*n, -j*a + a = 3*n + 18 for n.
-2
Let f be (6/4)/(3/8). Let a = f - 0. Solve 5*p + 15 = -4*b, -a*p - 2*b = -3*b + 12 for p.
-3
Let p(n) = n + 12. Let b be p(-7). Solve -3*a + 3*m + 20 = a, b*m = 5*a - 25 for a.
5
Let w(f) = -4*f + 1. Let o be w(-1). Suppose -4*x + 5*x = -4*b + 3, o*x + 2*b - 15 = 0. Solve z - 4*a - 1 - x = 0, 4 = -3*z + 4*a for z.
-4
Let z be -1*(4/2 + -7). Solve 4*q = -a - 9, 3*q + 13 = -3*a - z for q.
-1
Let g = 15 + -11. Solve -2*i - 10 = g*p, -7*p - 29 = -3*i - 2*p for i.
3
Suppose -a + 4 - 31 = 0. Let x be 9/2*(-18)/a. Suppose x*j - 4 = 5. Solve -j*y + 2*d - 3 = 2, -y + 5 = -2*d for y.
-5
Let x(d) = 0*d + d - 4*d + d**3 + 1 + 0*d + 3*d**2. Let q be x(-3). Solve -3*z = -0*i + i - 8, 0 = 5*z - q for i.
2
Let l(j) = -2*j - 12. Let k be l(-8). Suppose -k*o + 1 = 5. Let u = 1 + o. Solve 4*a + 5*d - 23 = u, 3*d - 6 = a + 1 for a.
2
Let t(m) = 3 - 4 - 6 - 8*m + 7*m. Let o be t(-9). Solve 0*f + o = f + v, -5*f - 3*v = -14 for f.
4
Let m(a) = -a**2 + 7*a - 2. Let d be m(6). Solve k + d*u - 21 = 0, -2*k + 0*k - 13 = -3*u for k.
1
Let r be 8/4 + 6/2. Let z be (36/(-24))/(9/(-12)). Solve 2*y - 11 = r*h - z, 2*h + 2 = 0 for y.
2
Let x = -13 + 15. Suppose q - x*q = -13. Solve 3*b + q = -5*c, -2*c + 2*b = -0*c + 18 for c.
-5
Suppose -4*s - 40 + 16 = 0. Let f = -4 - s. Suppose 3*o + f = -5*u, -25 = -5*u + 2*o - 7. Solve 3*j = -3*h, 0 = h - 5*j + u*j - 16 for h.
4
Suppose -4 - 4 = -4*a. Let j(r) = r**3 + 8*r**2 - 9*r + 2. Let n be j(-9). Solve 0*t + 4 = a*z - 2*t, n = -4*z + 2*t for z.
-3
Suppose -3*i - u + 19 = 0, 0*i + u = 4*i - 23. Let l(f) = f + 17*f**2 - 2 - 18*f**2 + 8*f. Let x be l(i). Solve 0*t = -v - 4*t + x, 16 = -4*v + 4*t for v.
0
Suppose -5*j = -2*c - 87, -j = 4*c - 2*c - 27. Solve 2*g + j = 5*b, 5*g - 15 = b - 5 for g.
3
Let y be 5/2*(-36)/(-45). Solve 4*x - 14 = 2*f, -2*x - 2*x + 18 = y*f for x.
4
Suppose 5*t - 93 = -18. Let z = -15 + t. Solve -3*v - 2*g - 12 = z, -3*g = 5*v - 6*g + 1 for v.
-2
Suppose -8*p = -3*p - 5. Solve -4*z = -5*r + 14, 3*z = -r + 2*z + p for r.
2
Suppose 0 = 5*o - 2*a - 25, a = -2*o + o + 12. Solve -3*y + 3*r + 1 - o = 0, -2*r = -4 for y.
0
Let y = 9 + -5. Let u be (-143)/(-5) + 48/(-80). Solve -2*o + 0*m + 2*m = 0, 0 = -y*o - 3*m - u for o.
-4
Suppose 0 = -v + 6*v - 15. Let p be 0/(v + 0 + -5). Let m(g) = g**2 - 7*g + 5. Let d be m(7). Solve 5*t + l - 15 = p, -l + 4*l - 5 = d*t for t.
2
Let n(l) = l + 10. Let x be n(8). Solve 4*d = 2*m + x, m - 3 = -m - 3*d for m.
-3
Let b be (-4)/(-6) + 6/(-9). Suppose -3*l + 2*c + 32 = b, 2*l = -2*c - 3*c + 15. Solve x = -2*f + 1, -5*f + l = x + 4*x for f.
-1
Suppose -d + 5*v + 5 = 0, -4*v + 54 = 5*d - 0*v. Suppose -g - d = -y, -4*g + 0*g - 10 = -y. Let r = y + -7. Solve -4*k - c = 6, -2*c - 5 = -2*k + r*k for k.
-1
Suppose -3*j + 5*y = -2*j, 0 = 5*j + 3*y - 28. Solve -j*k - 7 = -4*t, -3*t - 4 = k - 14 for t.
3
Suppose 21*h - 15 = 16*h. Solve -3*p + 4 = 5*w + 33, -3*w = -3*p + h for p.
-3
Let b be 27/5 - (-6)/(-15). Suppose 3*q + q = 0. Solve 4*x - 3*i = 6 - 26, 2*x + b*i + 10 = q for x.
-5
Let z = -82 + 91. Solve -w = -2*g + 15, 3*w + 16 = 2*g - z for w.
-5
Suppose -t = 2*f - 24, f - 27 = -2*f + 3*t. Solve -m + 4*y = 2, 4*m - 3 + f = 3*y for m.
-2
Suppose -u - 2*u + 3 = 0. Let s(z) = 4*z**2. Let y be s(u). Solve -40 = y*r + 5*p - 15, 3*p + 15 = 5*r for r.
0
Let g be 3/6*(-5 + -1). Let z = g + 6. Solve 0 = -o + z*v - 10, 4*o + 2*v = 4*v - 20 for o.
-4
Let q(c) = 2*c**2 + 10*c + 23. Let g be q(-6). Solve -4*v + g = 5*d + v, 3 = 4*d - v for d.
2
Let o be -1*(-1 - (-2 - -3)). Solve 4*c - 3*i = 25, -4 = o*i + 2 for c.
4
Let y be 3*(0 + (-5)/(-3)). Suppose -3*w = -147 + 42. Let x = w + -32. Solve -y*f - 5*d - 35 = 0, -25 = f + x*d - 8 for f.
-2
Let x(d) = d**2 + 9*d + 3. Suppose -4*q - 2*k - 37 = -7, 0 = -q - 2*k - 3. Let z be x(q). Solve 0 = -6*v + z*v + 3*n, 3*n - 6 = 0 for v.
2
Suppose 4*t - 15 = t. Suppose t*h - 34 = -9. Suppose -w + 4*k + 3 = 2*w, -3*k + 34 = h*w. Solve g - 12 = -w*x, x + 4*g = -x + 12 for x.
2
Suppose -4*l + 8 = -0. Suppose -6 = -3*u + u. Suppose -3*o + 0*q = -q - 9, -3*q = -u*o + 3. Solve 8 = -l*c + 3*f, -c + o*c + 13 = 5*f for c.
-1
Suppose -10*t + t = 36. Let u(i) = 5*i - 6. Let m be u(4). Let z be t/m + (-69)/(-21). Solve -n + 3*o = -13, z*n - 29 = -2*n + 3*o for n.
4
Let m = 67 + -30. Solve -t = -5*c + 25, 0*t = 5*t - 3*c + m for t.
-5
Let o(d) = -d**2 - 10*d - 18. Let q be o(-7). Solve -y = -q*v - 8, v - 5*y = -0*v + 2 for v.
-3
Suppose 2*f + 54 = 3*o, 0*o + 3*f + 31 = 2*o. Solve -10 = 2*q + 4*y, -o = q + y + 4*y for q.
5
Let y = -14 - -16. Solve -y*r + 3*g - 5 = 0, -r - 2*r - 3*g = 15 for r.
-4
Let q = 36 + -13. Suppose -4*z = g, 9 = -3*z - 3*g - 0*g. Suppose -2*t - z = -7. Solve -5*n - 30 = 5*k, -t*k + 3*n - 7*n = q for k.
-1
Let b = -15 - -17. Solve 0*z - 8 = -z - b*c, 14 = 3*z + c for z.
4
Suppose -z - z + 10 = 0. Suppose -j + f = -3*j + 147, 0 = -2*j - 3*f + 141. Suppose 0 = 6*a - a - j. Solve -k + a = -5*m + k, 5*m - z*k = 0 for m.
-5
Suppose -4*w = o + 2 + 11, -2*o + 2*w = -14. Let n = o + -3. Solve 5*m + 15 = -5*a, n = m + 4*a - 9 + 24 for m.
1
Let y(g) = -g + 6. Let s be y(0). Suppose -s*f = -3*f. Solve -4*n + 35 = -5*c, f*c + 2 = c + n for c.
-3
Let j(f) = -f**3 - 8*f**2 + 8*f - 13. Let q be j(-9). Let d = q - -6. Let m(h) = h**2 - 1. Let a be m(-2). Solve -t + a = -d*p, 5*t + 22 = -3*p + 3*t for p.
-4
Suppose b = 6*b - 10, -2*m + 16 = 3*b. Let h be (14/(-10) + 1)/((-18)/45). Solve z - n + m = 4*z, -h = z + n for z.
3
Let i be 12/(-5) + (-2)/(-5). Let l be 34/9 - i/9. Let p = 100 + -94. Solve 5*z - p*z + 5 = 0, l*k - 4*z = -40 for k.
-5
Let f(s) = 6*s**2 + s. Let m be f(1). Solve 2*w - d - 2*d = -m, 4*w + 19 = d for w.
-5
Let d(y) = y + 2. Suppose -4*t = 3*m + 9 - 29, -5*t = -m - 6. Let s = 2 - t. Let c be d(s). Solve 4*v = -c*u + 10, 0 = 5*v + u - 