olve z + 5*i - c = 0, 0*i = 4*i - 12 for z.
-4
Suppose -10 = -6*u + u. Solve 2*f - 2 = -u*p, -12 = -6*p + 2*p - 2*f for p.
5
Suppose 2*g + g + 15 = 0, w - g = 17. Let y(z) = z**2 - 13*z + 14. Let t be y(w). Solve -t*f + 20 = 5*n - f, n = -3*f + 18 for n.
3
Suppose 5*s + 4*n = 19, 0 = -s + 2*s + n - 4. Let g(j) = -4 + j**2 - 5 + 6*j - 2. Let p be g(-8). Solve s*t + 2*x - 3 = -x, 0 = p*t - 2*x + 2 for t.
0
Suppose d + 7 = 2*d. Suppose 0 = -26*j - 4*j + 630. Suppose 4*b + 3 - d = -4*z, 5*z + b = j. Solve 3*u - 30 = 3*l, -4*l = 3*u - 0 + z for u.
5
Let q(o) = -5*o**3 + 2*o**2 + 4*o + 1. Let s = 52 - 53. Let j be q(s). Let h = -14 - -40. Solve j*t + 11 = -m - 2*m, -4*t + 2*m = h for t.
-5
Let g(q) = -16*q - 170. Let y be g(-11). Solve 2*s + 0*s = 5*m + y, 2*s + 6 = -m for m.
-2
Let v(n) = -n**2 + 4*n + 13. Let y be v(7). Let r = y + 21. Solve 3*i + 2*c + 13 = 4*c, r = -5*i - c for i.
-3
Suppose 17*y - 395 = 12*y. Let p = y - 75. Solve 3*c = -4*j - 19, -p*c + 7 = -2*j - 5*c for j.
-1
Suppose -o = 4*o - 10. Suppose 6*g + 32 = 2*g. Let q = g - -11. Solve d + 1 = -4*d + q*i, -5*d - 16 = o*i for d.
-2
Let t(f) = f**3 - 4*f**2 - 6*f - 6. Let p be t(6). Let x be (6 + -6)/(26/26). Solve -r - 1 = 4*z, x = -5*z + 3*r + 2*r + p for z.
1
Suppose -p + 4*p - 9 = 0. Suppose -p*i + 8 = -4*i + 3*k, -3*i - 37 = 4*k. Let a = -8 - i. Solve a*y = b + 13, b + y = -2*b - 9 for b.
-4
Let i(f) = 3*f - 8. Suppose -3*p + 37 - 28 = 0. Let t be i(p). Solve 0 = 4*m - t - 15, 3*w + 3*m - 18 = 0 for w.
2
Suppose 2 - 17 = -5*f. Suppose -3*q + 5*q - 6 = 0. Suppose -5*w = -l - 0*w + 31, 3*w = -2*l - q. Solve 8 = 4*g - f*j, 3*g - 6*j = -2*j + l for g.
2
Let n = -569 + 570. Let x(p) = -p**3 - p**2 + p + 13. Let w be x(0). Solve -n = b + 3*u + 1, 3*u - w = 2*b for b.
-5
Let j(i) = -4*i**2 - 2*i - 1. Let v be j(-1). Let g be 20*v/5*-1. Let d be g/10*50/15. Solve 0 = 5*a - 5 - 20, -4*b - d = -4*a for b.
4
Let o(t) = -t**3 - 9*t**2 + 2. Let r be o(-9). Suppose -2*s = -4*f + 8, 50*f + 20 = 52*f + 3*s. Let k = 0 + 0. Solve -f*v + c = 0, r*c = -k*c for v.
0
Let v = 1535 - 1531. Solve 4 = -3*l + v*d + 19, -3*l + 5*d = -15 for l.
5
Let s be -4 - (-2 + 7 + -15). Solve 14 = 3*b - 3*a - 1, 2*b + s = -2*a for b.
1
Let j = -30 + 34. Suppose n + 4*n = -j*g + 79, -n - g = -16. Solve 5*c + f = n, 4 = -c - 2*f + 7 for c.
3
Suppose 5*u - 1 = -2*p + 5, -5*u + p = 3. Suppose u*m = -5*m + 20. Suppose -4*w + 36 = 2*g, -4*g + 3*w = -3*g + 2. Solve 0 = 2*z - k, -z - z + g = m*k for z.
1
Suppose -3*n + 75 = 3*k + 54, -4*n = -3*k. Solve 0*r + 15 = -n*c - r, -3*c + 4*r = 15 for c.
-5
Let l(f) = f**3 + 2*f**2 - 4*f - 6. Let h be l(-2). Solve 0 = -z + h*z + 2*m, 1 = -m for z.
2
Let u be 6/(410/50 - 7). Solve 5*j = 2*g + 11, -u*j + g + 3*g + 7 = 0 for j.
3
Let z be (-7)/(-21) + (-170)/(-30). Solve 6 = d + 3*x, -2*d + 4*x = -z*d + 8 for d.
0
Suppose r - 6*r + 10 = -2*h, h + 8 = 4*r. Solve -2*g - 3*j + 11 = -g, -r*j + 2 = -2*g for g.
2
Suppose -20 = -5*d + 5*q, 5*q - 7*q = d + 8. Solve 0 = 4*t - 2*c + 6*c, 2*t - 5*c - 28 = d for t.
4
Let c be ((-7)/21)/((-2)/222). Suppose -o = -0*o - c. Suppose -4*y + o = 1. Solve 4*f = 4*g + 24, y = -3*g + 3 for f.
4
Let a be 770/(-15) - 2/(-6). Let y = a - -16. Let w be (y/21)/((-1)/3). Solve -2*b + 1 = 5*r + 3, -3*r - 5*b - w = 0 for r.
0
Suppose 0 = 29*g - 12*g - 34. Let a be 5/20 + 94/8. Suppose -k = 3*k - a. Solve -g*r - k = -5*r, 4*r + 2 = 2*b for b.
3
Suppose 4*p - g = 2*p + 2, -10 = 3*p + 5*g. Suppose -15*k + 10*k = p. Solve 2*y + 25 = 5*l + 7*y, k = 5*y - 15 for l.
2
Let q = -1 + 1. Suppose m + m = q. Let t(i) = 9*i**2 + 4*i - 2. Let r be t(1). Solve a - 2 = -5*c - r, 4*c - 5*a + 13 = m for c.
-2
Suppose -n = k - 2, -n - 5*k - 6 + 0 = 0. Suppose -5*c - 49 = -64, -5*b - 3*c = -24. Solve -3*t + 8*t - n*x - 35 = 0, b*x = t - 18 for t.
3
Let n(i) = i**3 + 5*i**2 - 7*i - 1. Let b be n(-6). Suppose 10*d = 6*d. Suppose p - b = -d*p. Solve -x + 0*x = p*a + 23, -2*a - 16 = -3*x for x.
2
Suppose 243*t - 238*t - 110 = 0. Let l(k) = -k**3 - k**2 - k + 2. Let i be l(0). Solve -3*g = -2*r + 2*g + 26, -i*r = -4*g - t for r.
3
Suppose -2*h + 5*h = 147. Suppose -q = 6*q - h. Suppose 2*i - q*i + 80 = 0. Solve 2*z + 2*z = -4*x - i, -6 = -2*z + 5*x for z.
-2
Let i be 11/((-33)/2) - 22/(-6). Solve 4*t - 6 = -2*r - 4, -4*r - i*t = 11 for r.
-5
Let j(r) = -r**2 + 16*r - 25. Let b be j(14). Suppose -5*z - b = -13. Solve -5*k = -i - 25, -3 = i + z*k - 6 for i.
-5
Let t(v) = v**2 + 33*v + 164. Let u be t(-6). Solve a - 3*n - n + 19 = 0, 0 = 2*a + u*n - 12 for a.
1
Let o be (-56)/(-21) - (-1)/3. Solve 2*b + 10 = -4*t, 2*t = o*b - 0*t + 15 for b.
-5
Let a = -19 + 24. Suppose -t - 24 = -a*y, 0*y + 32 = 4*y - 4*t. Solve 3*l = -2*q - 8, -3*l - q + y = -2*q for l.
0
Let r = -214 - -229. Solve 7*s - y = 3*s - r, -s + 3*y = -10 for s.
-5
Let n(p) = -6*p - 26. Let v be n(-11). Let h = v - 22. Solve -4*i - 20 = -2*d, 6*i = i - d - h for i.
-4
Suppose 4*l + 3*h + 3 = 4*h, 2*h - 6 = l. Let x = 5 + -12. Let r be (-183)/(-21) - 2/x. Solve -2*k - k + 4*p = -r, l = p + 3 for k.
-1
Let a = -20 - -26. Suppose -a - 8 = -7*y. Suppose -t = t. Solve t = -2*v + 3*n - y*n + 2, 0 = 2*n + 8 for v.
-1
Suppose -4*v + 1 = 5*n, -2*v + 7 = n + 2. Suppose -v*w + 9 = -11. Solve 2*p + p - 5*d = -24, -2*p + w*d = 21 for p.
-3
Suppose -3*w = -q - 7, 4*w - 2*w = 3*q. Suppose 0 = -2*y + 6*y - k - 19, 3*y = -k + 9. Suppose y = -4*a + 20. Solve -4*x = 4*h, a*x + w = -0*x - 3*h for x.
-3
Let s(p) = -111*p - 544. Let n be s(-5). Solve 3*c = -n + 14, 5*g - 3*c + 13 = 0 for g.
-2
Let s(t) = -t**3 + 10*t**2 - 8*t - 3. Let y be s(9). Suppose 0 = 3*n, 5*n - 12 + y = -2*h. Solve r - 5*m = -25, 2*r - h*m + 15 = -r for r.
0
Let x(n) be the second derivative of n**3/6 + n**2/2 + 4*n. Let p be x(-1). Let u be (-3)/(-1) - (p + -2). Solve u*a = 4*f - 25, f - 4*a - 7 = -2*a for f.
5
Let v(m) = -m**3 + 3*m + 1. Let z be v(-2). Suppose -z + 3 = 3*i. Solve -2*s - 1 = h + 5, i = 3*s - h + 9 for s.
-3
Suppose 3*o + 17 = 5*q, -4*q + 11 = -5*o - 0*q. Suppose 2*k = 4*y - 14, -2*k = 2*y + 3*k - o. Solve -y*m = m + 2*w - 18, 4*m = -5*w + 27 for m.
3
Suppose 20 = 3*y - 1. Let c = y - 2. Suppose c*r - 10 - 5 = 4*a, -3*a + 6 = 2*r. Solve 1 = r*o + 5*h, -2*o = -3*o - 5*h - 3 for o.
2
Let x(d) = d**2 + 22*d - 94. Let l be x(4). Solve 0*z = m - z + 2, -4*m = -3*z + l for m.
-4
Suppose -11 = l - 16. Solve 0 = -3*b + 2*t - 5, 2*t - t - 20 = l*b for b.
-5
Suppose 0 = 274*n - 275*n + 5. Solve -5*c - n = 5*g, -5*g = 5 + 10 for c.
2
Let p = -332 - -333. Solve -4*h - 4*s = -12, -4*h - s + 2 = -p for h.
0
Let z(q) = q + 3. Let k be z(8). Let v = k - 7. Suppose -11 + 3 = -v*t, 4*c = 2*t + 20. Solve -g = -3*j - 7, 0 = -g + c*j - 2*j + 10 for g.
-2
Let u = 155 - 183. Let o be (-104)/u - -3*6/63. Solve o*q - q = 5*k + 12, 20 = 5*q for k.
0
Let m = -12 + -22. Let y = -30 - m. Solve u - 2*a = 0, -5*u - y*a = -a for u.
0
Suppose 0*s - 2*s = -j + 9, 4 = 2*j + 3*s. Suppose 0 = 4*f - l - 41, f + 38*l = 34*l - 11. Solve -3*p + f = 0, -p + 31 = j*g + p for g.
5
Let u(j) = -5*j + 7. Let t be u(-7). Suppose -3*l - t = -3*k, k - 3*l = 8 + 14. Let w be (-10)/25 + 4/k. Solve 0*x - 2*x = -4*a + 2, w = -5*x + 2*a - 13 for x.
-3
Let x = -139 + 147. Solve x*w - 3*w = 4*o + 25, 0 = -5*o for w.
5
Suppose g - m - 57 + 47 = 0, 2*g + m = 29. Solve -5*j + 0*j - 2*r - g = 0, -3*j = -4*r - 13 for j.
-1
Let c = -6 - -7. Suppose 0 = -3*i - c - 47. Let u be (i/4)/(-4)*3. Solve 0 = -u*y + 2*z - 3, -y - 2 - 7 = 2*z for y.
-3
Suppose 0 = -d - 2*d - 21. Suppose -172 = -10*u - 62. Let p = d + u. Solve k = a - p, -5*k = 5*a - 2*a + 20 for a.
0
Let k(m) = -m**2 + 2*m + 3. Let b be (-3)/(-6) - (-15)/6. Let f be k(b). Solve -4*n - 6 = -5*h, -3*h + f*n = -3*n - 3 for h.
2
Let x(r) = 24*r + 553. Let d be x(-21). Suppose 70 = -5*j - 35. Let v = d + j. Solve 2*k - 3*h = -2*k - v, -5*h + 4 = 4*k for k.
-4
Let a(z) = -2*z**2 + z. Let l be a(-1). Let u be (-140)/15 - 1/l. Let c = 13 + u. Solve -c*i + 2*i - 7 = x, -5*x = 4*i + 5 for i.
-5
Suppose 0*w + 3*w - 18 = 0. Let g = -33 - -35. Suppose -10 = -g*k - 3*k. Solve -3*p - 3*m + 9 = -0*p, 0 = 5*p - k*m + w for p.
0
Let x(d) = -2*d - 9. Let p be x(-7). Let r(l) = -l**2 - 27*l - 47. Let z be r(-25). Solve h + j = -z*h - 10, -3*j - 16 = p*h for h.
-2
Suppose 5*o - 52 - 8 =