-4*z - z = -5*f + 20 for f.
1
Suppose -2*d = 10, 4*d = -3*i + 5*d + 104. Suppose 3*c = i + 21. Solve 2*w + c = -w - q, -3*q + 1 = -2*w for w.
-5
Let k be ((-3)/(-6))/((-1)/(-10)). Solve -k*t = 2*m - 2, 0*t = -4*t + m - 1 for t.
0
Suppose 18 = 3*f + 12. Solve 2*y - f*q = -12 + 2, -2*y - 5*q = -4 for y.
-3
Let y be (-2)/((-2)/5 - 0). Suppose 37 = -5*q + 12, -4*k - 3*q + 5 = 0. Solve -y = 2*t + 3*l - 4*l, -t - 2*l = k for t.
-3
Let n be 1/((-3)/(18/(-3))). Solve -3*a - 2*a = n*j + 28, a + 8 = -j for a.
-4
Let c(l) = -3*l**3 - l**2 - 2*l - 2. Let t be c(-1). Solve t*u + 3*u + 15 = 0, -4*n + u + 3 = 0 for n.
0
Suppose -2*z + 15 - 1 = 4*c, -4*z + 12 = 0. Solve 3*a = -2*l - 13, -2*a = c*l - 5*l for l.
-2
Let s be (-324)/(-21) + 12/21. Let v be s/7 - (-6)/(-21). Solve 0 = -2*w + 4*w + 5*z - 17, v*w - 7 = -3*z for w.
-4
Suppose 4*r = 5*g + 20 - 4, -4*g + 16 = 0. Solve 3*z + 25 = -f + r, 20 = -4*z for f.
-1
Suppose 2*x - 5*x + 18 = 0. Solve -q = -3*s + x, -2 = 5*s + 3*q + 2 for s.
1
Suppose -8 = 3*i - 4*i. Let l = i + -4. Let v(p) = p**2 + 3. Let h be v(-3). Solve 0 = l*k - h, 2*k = 3*a - 2*k + 6 for a.
2
Let a be ((-4)/(-10))/((-3)/(-15)). Suppose -m - 10 = 3*r - 4, 0 = -5*m + a*r + 4. Solve 4*p + 3*d - 5 - 3 = 0, m = 2*p - 4*d - 4 for p.
2
Suppose 0 = 2*i + 3*x - x - 30, -4*i = x - 48. Suppose 2*c - g + 1 = -i, -4*g = c + 6. Let r = 8 + c. Solve 5*b = -p - p, -3*p + 11 = r*b for b.
-2
Let w be (20 - 17) + (0 - -1). Solve s - w = -2*p, -4*p = -8*p for s.
4
Suppose 0 = -7*x + 6*x. Solve c - 3*y + 0 + 1 = x, -17 = 4*c + y for c.
-4
Let v(g) = -g**2 - 12*g + 17. Let w be v(-13). Suppose z = 2*n - 168 + 16, 0 = 3*z - n + 466. Let b be z/(-7) - w/14. Solve 3*y - l + b = -y, 10 = 5*l for y.
-5
Let n(g) be the second derivative of g**5/20 + 11*g**4/12 - g**3/3 - 7*g**2 - 3*g. Let x be n(-11). Solve -2*d = 4*a - 12, -4*a + 8 = -x for d.
-2
Suppose -7*z - 42 + 56 = 0. Solve 3*x + 0*r + 4*r = 0, 0 = -2*x - 2*r - z for x.
-4
Let a(u) = -5*u + 24. Let w be a(4). Solve w*m + 3*o - 32 = 0, 4*m + o - 12 = 3*o for m.
5
Suppose 2*n + 5*t + 17 = -0*n, -5*n + 5*t + 45 = 0. Solve 2*c + 8 = 5*l, -4*l = n*c - 14 + 2 for l.
2
Let a = 12 - -7. Solve 12 + 0 = -3*r, 4*r + a = w for w.
3
Suppose -a - 5 = -2*a. Suppose 0 = -a*n + 9*n. Solve 2*b = -2*v - 8, n = 4*b - 5*v + 2*v - 12 for b.
0
Let g = -7 - -4. Let r be (-4)/(-3 + g + 4). Solve -2*j + d + 0 = -5, -r*d - 13 = -5*j for j.
3
Suppose -l = 4*l - 15. Suppose -l*q + q + 4 = 0. Solve q*n - 5*f + 16 = 6*n, f = 0 for n.
4
Let k = -10 - -15. Suppose -k*x = -2 - 3, 2*j - 3*x = 21. Solve 0 = -y - p + 5, -4*p + 10 = 5*y - j for y.
2
Let n be (-3 + -2)*(-2)/5. Suppose -14 = -3*w - w - n*y, -2*w + 3*y = -27. Suppose -24 = 2*c - w*c. Solve -l - f = c, f - 3 + 1 = l for l.
-4
Let n = 8 - 4. Suppose -2*y + 4 = -2. Let v be y/(1 - 2)*-4. Solve -n*g - g + 5*o = 20, 5*g = o - v for g.
-2
Let d = -43 - -45. Solve 4*j = d*v + 2, -7*j - 3*v - 3 = -3*j for j.
0
Let a = 3 - 0. Suppose a = m - 0. Solve -5*f - 5 = 0, -v - 3 = m*v - 5*f for v.
-2
Let c be (0 - -5)*(-90)/(-25). Solve 0 = -4*z + j - c, z - 5*j = -3*z - 26 for z.
-4
Let w be -2*(9/(-2) - -2). Let f = w - 3. Solve 0 = -4*y + f*b + 18, 9 = -y - 0*b - 4*b for y.
3
Let z = 21 - 18. Let o(v) = -v**3 - 4*v**2 - 3*v. Let h be o(-3). Solve -2*f - z*y - y + 26 = h, -3*y = -2*f - 9 for f.
3
Let m(c) = c + 6. Let k be m(-4). Suppose f - 3*z = -3, -5*f + z + 1 - k = 0. Solve -3*n + 2*i + 8 = 22, f = -5*n - 2*i - 18 for n.
-4
Let a(z) = -z**3 + z - 2. Suppose -2 = -l + 2*l. Let k be a(l). Suppose 12 = k*t - t. Solve 5*q - 2*n + 5 = -19, -3*q + t*n = 20 for q.
-4
Let s(q) = -q**2 + 14*q + 2. Let k be s(14). Solve v = 3*o, o - 7 = -k*v - 0*o for v.
3
Suppose 0*s + 2*s = -8. Let q(l) = l**2 - 4. Let f be q(s). Solve 3*n - f = -4*x, 5*n + x = 3*x + 20 for n.
4
Suppose -2*m = 3*m - 25. Suppose -2*x - 3*x = -65. Let w = x - 10. Solve -c + 6*f = m*f + 6, 0 = -w*c + 5*f - 26 for c.
-2
Let i(d) = -d**3 + 7*d**2 - 10*d + 2. Let l be i(5). Suppose n + 4*n = 10. Solve -l*o + n*j - 6 = -2*j, 0 = 5*o - j + 15 for o.
-3
Let g(q) = q**3 + 10*q**2 - 11*q - 1. Let f be g(-11). Let x = f - -1. Let m be (-12)/3*2/(-4). Solve -2*h = 6, -3*y - 9 = m*h - x*h for y.
-1
Let p be 6 + (-2)/(-1 + 3). Suppose -5*u - 10 = 3*w + 2*w, -6 = -w + u. Solve -r - w*v + 13 = 2*r, p*r - 3*v = -10 for r.
1
Let r = 7 + -29. Let q = -18 - r. Solve 0*j - 3*j + f - 5 = 0, q*f = -16 for j.
-3
Let r be (-62)/(-6) - 6/(-9). Let b = -7 - -10. Let v be b*(3 - 2) + 2. Solve -5*a - r = -4*s, 2*s = a - v*a - 14 for s.
-1
Suppose 10*o = 11*o - 9. Solve 4*p - 4*c + 16 = c, 3*p - 3*c = -o for p.
1
Let r(a) = a. Let o be r(4). Suppose -4*s + s = 5*g - 252, g = -2*s + 56. Suppose 0 = -c + o*c - g. Solve 0 = -4*i + 2*f + 8, 2*i + 9*f - 4*f - c = 0 for i.
3
Suppose 2*a - 10 + 2 = 0. Solve -2*r - r + c - 4 = 0, 2*r + 16 = a*c for r.
0
Let n be (22/(-4))/(2/4). Let f(h) = h + 11. Let z be f(n). Suppose z = 2*a - 4 - 6. Solve 0*u - u = -4, 0 = a*d + u - 4 for d.
0
Suppose x = 5*h - x - 21, -5*x = -2*h. Solve -5*t - p = -14, -h*t + 13 = p + p for t.
3
Suppose -3*i + 2*w - 2 = 0, 2*w - 4 = i + i. Solve i*l + 2 + 0 = -5*d, l = -2*d - 1 for l.
-1
Let f(n) = 2*n + 44 - 15 - 6. Let g be f(-10). Solve -g*m = -4*h - 28, -4*m + 5*h + 20 + 16 = 0 for m.
4
Let c(h) = h**3 + 12*h**2 - 14*h - 8. Let f be c(-13). Solve -f*x = -k + 7, 3*x + k + 5 = -4 for x.
-2
Let o(w) = 5*w**2 + w. Let q be o(-1). Suppose 0*t = -q*t. Let g = t - -5. Solve -4*j + 0*j + 23 = -g*n, -4*n = 5*j + 2 for j.
2
Let y(f) = 2*f**3 - 5*f**2 - 2. Let d be y(3). Solve 5*v + 4*x + 3 = d*x, 5*v + 19 = -x for v.
-3
Let q = -139 - -99. Let x = q - -68. Suppose -2*l - 16 = 4*c, 5*l + 0*c = -2*c. Solve d - 2*f + 3 = -9, x = -l*d + 5*f for d.
-4
Suppose 0 = -5*v + 4*v + 2. Let a be (-19)/(-4) + v/8. Solve a*p = 2*c - 13, p + 0*c = 4*c - 17 for p.
-1
Suppose -2*m = 4*p - p - 28, -p = 3*m. Let u be (p/15)/((-1)/(-10)). Solve 2*g + 2*g + u = 4*l, -g + 6 = 3*l for l.
2
Suppose -8 = 5*w - 33. Let y(x) = x + 5. Let b be y(-3). Suppose -3*s = -b*f - 2, -2 = s + s - 3*f. Solve -2 = 2*r + o, 7*r + w = s*r - o for r.
-1
Let r be (-12)/4 + -2 - -8. Solve r*w - 5*m = -32, 4*m = w + 4*w + 36 for w.
-4
Suppose -4*x + 36 = -4*k, 5*k = x + 5 - 2. Let s be (-19)/(-4) - (-3)/x. Suppose j + 2 = 5. Solve h + s*o + 6 = 0, -18 = -2*h - h + j*o for h.
4
Let l be -1 + 10 - (1 - -2). Let x(f) = f**3 - 2*f**2 - 2*f - 1. Let o be x(3). Suppose -o*y + 2 = -y. Solve -5*h + l + 5 = -r, -2*r = -y*h + 6 for h.
2
Let z(i) = 5*i**2 + i + 1. Let g(v) = -v**2 - 14 + 5 - 8*v + 0*v**2. Let t be g(-7). Let f be z(t). Solve c - 5 = -3*s, -7*c + 3*c = -s + f for s.
3
Let b be (-6 - -3)*2/(-2). Let l be 1 + b + (1 - -3). Solve 2*j = -l, -s + 0*s = -j for s.
-4
Let h = -11 + -4. Let s = -11 - h. Suppose 3*m + 1 = 4*m. Solve s*o + 3*f = 5, 5*o - m - 4 = -5*f for o.
2
Let t = -2 - -8. Suppose -d - d = -4. Suppose -d*b + 4 = -b. Solve 4*g = -w - t - 5, -g = -2*w - b for w.
-3
Let t(g) = -g - 14. Let k be t(-18). Solve -3*j - j + 2*m = k, 0 = j - m - 1 for j.
-3
Let b = 27 - 27. Solve 3*g + 4*u + 19 - 4 = b, 3*g = 4*u + 9 for g.
-1
Let n = 10 + -7. Solve -2*s + n*w = -4, -2*s - 12 = -w + 2*w for s.
-4
Suppose -h = 2*i + 2 + 2, -4*h - 2*i + 8 = 0. Suppose h*z - 51 = z. Solve 5*p + 3*j - 25 = 0, 0 = 3*p - 4*j - z + 2 for p.
5
Let p be ((-5)/(-25))/(2/70). Let o(y) = -y - 1. Let n be o(-5). Solve -15 = 5*f + 5*x, n*x + p = -2*f - 5 for f.
0
Suppose -3*b = -0*b + 12. Let m = 7 + b. Let f = 37 - 34. Solve -s = -2*g - 2, -2*g + f = -m*g for s.
-4
Let c be (-2)/8 - 29/(-4). Suppose -y - 2 - 3 = 0. Let h = y + c. Solve -3*x + 2*n = -12, -3*x - 7*n = -h*n - 12 for x.
4
Suppose 0 = -0*z + 2*z - 36. Suppose -2*k + z = -k. Solve 26 = -5*s - j, 2*j + 0*j = 4*s + k for s.
-5
Let j = 66 + -64. Solve -10 = -2*z - s + 2, -j*s + 8 = 0 for z.
4
Let c = -11 - -15. Suppose 2*r - 2*u = 10, 3*r + 5 = c*r + 5*u. Solve -r*q + 5*l - 2*l + 22 = 0, 12 = -3*l for q.
2
Let j be (-4)/6 + 148/6. Suppose 0 = -0*y - 3*y + j. Solve 0 = 5*l - 6*w + 2*w + y, 4*w = -3*l + 8 for l.
0
Let y = -22 + 15. Let o be (-1)/((-3)/(-9)) - y. Solve -s + 2 = 0, -o*n - 2*s + 17 = -7 for n.
5
Suppose 4*x = 8*x - 5*f - 47, 3*x - f - 38 = 0. Suppose x = -2*j + 5. Let i be 24/9 + j/6. Solve -4*o = -3*l 