. Let f be m(-4). Solve o - 5*j = 14, 4*o - 14 = -f*j - 4 for o.
4
Let n(m) = 4*m**2 - 1. Let o be n(-1). Suppose j = o*f - 3, -4*f - 1 = -j - 5. Suppose 2 + j = i. Solve 0 = -5*t + i*z - 3*z + 11, 2*t = 4*z + 22 for t.
3
Let t(i) = 3*i**2 - 5*i + 4. Let c be t(3). Suppose 5*z + 4*u + c = 0, z - 2*u = -0*z + 8. Solve 6*g - 6 = -2*k + 2*g, z = -2*k - g for k.
-1
Let k(i) = i**3 - 4*i**2 + 3. Let f be k(4). Suppose 2*s + 20 = 5*h, -f*s = -8*s. Solve -11 = -4*c - h*z - 3, 0 = -c - 4*z - 4 for c.
4
Suppose 0 = -3*g + 3, -5*b = 3*g - 45 + 12. Solve -3*a + b = 2*t - 3*t, -5*a + 17 = -4*t for t.
-3
Suppose 0 = -2*v + j - 3, -2*v + j - 12 = -3*j. Suppose v = -2*h + 4. Solve -24 = -5*s + h*u, -u - 3 = 4*s - 17 for s.
4
Suppose d - 4*d - 5*w + 29 = 0, 3*d + 4*w = 25. Let t(q) = q**3 - 2*q**2 + q + 4. Let x be t(d). Solve 0 = 3*l - 5*n + x, 0*l - 12 = l - 5*n for l.
-2
Let f(a) = -4*a + 8 + 0*a**2 + a**2 - 1 - 4. Let l be f(3). Solve 3*m + 5*x - x - 16 = l, -2*x + 8 = 0 for m.
0
Let h be (3 + -2 - -1) + 1. Let r be (0 - -3)/h + 3. Solve l + 10 = -5*g + 6*l, 3*g - r*l + 8 = 0 for g.
0
Suppose -2*n + c = 12, -3*n - 9 = c - 1. Let b = n + 2. Let t = b + 2. Solve o + 4*o + 35 = 5*h, 5*h - 3*o - 25 = t for h.
2
Suppose 0 = -q - 6*q + 21. Let f = -10 + 7. Let u = f + 7. Solve -4*j + 5*p + 23 = 0, -q = 3*j - p + u*p for j.
2
Let c = 12 - 20. Let m = c - -5. Let k be (0 - m)*(-20)/(-6). Solve -2*g + 3*w = -k, 2*w - 1 + 5 = 0 for g.
2
Let z be (-1 - 0)*(-17 - -11). Suppose -2*p - 6 = 0, 0 = 5*q - z*p + 4*p - 36. Solve -i = y + 7, y - q*y = -2*i + 14 for i.
-3
Let s(x) = 5*x - 1. Let c be s(1). Let t = 7 - c. Solve 2*m + u = t*m - 3, 2*u + 12 = -m for m.
-2
Let b(t) = 4*t + 1. Let m be b(3). Suppose 0 = -15*u + m*u. Solve -j - j - 2 = 4*h, u = -5*j - 2*h - 21 for j.
-5
Suppose 0 = 4*q - 52 - 48. Solve -m + 2*d + 2 - 13 = 0, -4*d = -5*m - q for m.
-1
Let a(d) = -d**3 - 9*d**2 - 7*d + 10. Let c be a(-8). Solve f - c = 5*w, 5*w + 0*w = -5 for f.
-3
Let i be (-22)/6 - (-4)/6. Let a = i + 4. Suppose 4*o = 3*o + a. Solve o = 4*m + 3*j - 4*j, -7 = -3*m + 2*j for m.
-1
Let y(i) = -i - 1. Let v(w) = w**3 - 5*w**2 - 3*w - 7. Let z(c) = v(c) + y(c). Let d be z(6). Solve l + 0 = d, -5*s - 4*l = -21 for s.
1
Suppose -b - 15 = -4*p, 3*p + b + 18 = 8*p. Solve 0 = -2*y + 5 - 1, p*u + 2*y + 2 = 0 for u.
-2
Let c = -4 - -9. Solve -c*m + 10 = 5*i, 4*m = 4*i - m + 28 for i.
-2
Suppose 0 = 5*z - 4*z. Suppose 5*q - 5*h = 20, q - 2*h = 6*q - 27. Solve 4*y - 20 = -z*y - 4*x, 3*y = -q*x + 17 for y.
4
Let d = 4 - 0. Let b be (-28)/(-7)*2/4. Suppose b*l - 4*k = -k - 7, 2*k = 3*l - 2. Solve d + 6 = 5*f, -14 = -l*s - f for s.
3
Let w = 50 - 18. Suppose -3*q = -12, 0*q + 3*q = -4*f + w. Let b be (0 - 5)*(-2)/2. Solve m - 3 = -m + 3*i, -f = m + b*i for m.
0
Suppose 2*f + 2*f = 2*l + 24, -l + 3 = f. Let t be 6/l*2/(-3). Solve 0 = 4*m - t*q + 2 + 6, -5*q + 9 = m for m.
-1
Let t = 6 + 3. Suppose d + t = -d - 5*a, -6 = d + 3*a. Solve -4*n - 5*s - 7 = -0*s, d*s = -2*n - 5 for n.
2
Let i(j) = -j**3 + j**2 - j - 2. Let k be i(2). Let t = k - -12. Let o be (6/(-4))/(9/(-30)). Solve 0 = -5*s - 0*s - 5*l + 40, t*s = 5*l + o for s.
5
Let c(o) = 2*o - 5. Let r be c(4). Solve 4*k = -4*l + 4, -k = -r*l + 2*k - 9 for l.
-1
Suppose 4*q + 4 = 24. Solve 5*l = -5, 3*h - 2*l - 1 = -q for h.
-2
Let v(l) = -l**2 - 8*l - 2. Let r be v(-8). Let s be r/(-6) - (-16)/6. Suppose 5*p - 14 + 4 = 0. Solve -5*w - 23 = -s*b + 11, p*w = 4*b - 22 for b.
3
Let c = -37 - -40. Solve -20 = -o - 4*l, c = -o + 5*l - 13 for o.
4
Let i be 3/9 - (-137)/3. Suppose -16 = 5*h - i. Solve 4*x + v = -0*v + 10, -3*v + h = 0 for x.
2
Let p = 8 + -5. Suppose -p*r + 8 = -2*j, -4*r - j - j + 34 = 0. Solve g = l - r, g = -l - 0 + 4 for g.
-1
Let v = 12 + -7. Let b be (0 + v)*(0 - -1). Solve -2*p = -4*p - 3*m + 22, -b*p + 17 = -2*m for p.
5
Let q(v) = v**3 + v + 16. Let u be q(0). Let a = u - 11. Solve 3*k + a*s = -22, 3*s + 1 = 3*k - 17 for k.
1
Let n(c) = 14*c**2 - 15*c. Let t(b) = -5*b**2 + 5*b. Let u(a) = 4*n(a) + 11*t(a). Let f be u(5). Solve 0 = 2*d + 4*k - 22, 5*d + f*d - 15 = -2*k for d.
1
Let m(f) = f**3 - 11*f**2 + 11*f - 12. Let c be m(10). Let q(x) = -2*x. Let s be q(c). Let b = 0 + 0. Solve -5*u + b = k + s, 2 = 4*k + 2*u for k.
1
Suppose v + 12 = 4*v. Solve 5 = -v*o + 5*q, 2*o - 4*q - 1 = -5 for o.
0
Let i = -22 + 27. Solve 0 = 3*z - 2*j - 3*j + 25, -3*z = -j + i for z.
0
Suppose 3*n + 0*n = -3*k + 6, 0 = 2*n. Solve i + 1 = -y, 8*y + 26 = k*i + 3*y for i.
3
Suppose 16 = 26*v - 25*v. Solve -2*z = -2*b - v, -4*b + b + 2*z = 20 for b.
-4
Let r(z) = z + 9. Let o be r(-9). Suppose 6 + o = y. Solve j + 6 = -2*n, 2*j - n - 4*n - y = 0 for j.
-2
Suppose -140 = -2*m - 3*m. Solve 2 = t + 4*u + 23, -2*u - m = 4*t for t.
-5
Suppose t - 67 + 17 = 0. Suppose 2*w + t = 5*a + 6*w, -5*a + 3*w + 50 = 0. Suppose 3*l + 2*l = a. Solve -o - 5*y + 17 = 0, -2*o + 23 = l*o + 5*y for o.
2
Let l = -16 - -8. Let p be ((-315)/(-36))/((-2)/l). Solve 0 = 5*u - o - 18, 3*u = 4*o + p - 14 for u.
3
Suppose v = 6 - 1. Suppose -5*o + v = -10. Suppose 0 = o*w + 32 - 101. Solve a + 5*c - 4 = w, -a + 12 = 2*c for a.
2
Let n(g) = g**2 + 13*g + 2. Let o be n(-13). Solve h - a + o = 9, -9 = -h + 2*a for h.
5
Let v(f) = f**3 + 11*f**2 + 8*f - 14. Let r be v(-10). Solve i - 2*i - 8 = 5*w, 3*i = 3*w - r for i.
-3
Let o(m) = -11*m - 52. Let f be o(-5). Solve -f*v - s = -v + 2, 0 = -s - 4 for v.
1
Let s be (-3)/2*10/(-3). Let u(n) = n**2 - 5*n. Let p be u(s). Suppose p = k - 2*k + 5. Solve 5*l = k*t - 20 - 0, -3*t + 5*l = -20 for t.
0
Let b(j) be the third derivative of j**4/8 + 2*j**3/3 - j**2. Let h = 12 + -9. Let k be b(h). Solve -5*y = 2*q - 2, -q + 3*y = k - 3 for q.
-4
Suppose b + 8 = 17. Solve 20 = -4*y + 4*j - b*j, -4*j = -2*y - 10 for y.
-5
Let r be 16/(-6) + 2/(-6). Let g be r/(-2)*4/(-6). Let p = g + 19. Solve -p = -5*f + 3*u + 9, -4*u - 16 = 0 for f.
3
Suppose -16*p = -9*p. Solve 0 = -h + s - 5, 2*h + h + 2*s = p for h.
-2
Let l be 3/(-2)*(-4)/(-6). Let z = 24 - 17. Let h = l + z. Solve -h = -2*i - 2*y, -3*i + 6*i + y = 1 for i.
-1
Suppose -4*q + 13 = 1. Let g(w) = 2*w**2 - 8*w - 4. Let v be 8 - 5/((-5)/(-2)). Let m be g(v). Solve q*p + p - 4*a = -m, -5*a = 0 for p.
-5
Let y(g) = g**2 - 3*g - 6. Let l be y(5). Let k = -2 + l. Let x be (-3)/(9/(-6)) + k. Solve -2*c + x*z = -7 - 5, -19 = c + 3*z for c.
-4
Suppose 3*u + 2*d + 3*d + 9 = 0, -2*d = -u - 14. Let h = 10 + u. Solve 4*s + 45 = 5*i - 0*i, 0 = -h*s + i - 15 for s.
-5
Let m(r) = -r**3 - 14*r**2 - r + 2. Let b be m(-14). Solve 0 = 4*d - 3*k - 0*k - b, 5*d + 5*k = 20 for d.
4
Suppose -3*d - 2*y + 24 - 5 = 0, 4*d + 3*y - 27 = 0. Solve 2*j = -j - 4*u - 12, 0 = 4*j - u - d for j.
0
Suppose 0 = -15*v + 11*v + 12. Solve -5*y + 36 = -4*t - y, t - 7 = -v*y for t.
-5
Let j = -2 - 8. Let o be ((-5)/j)/(2/20). Solve -o*u = 3*t - 5, -u + 4*t - 18 = -2*u for u.
-2
Let g = 17 + -8. Solve 3*u = -j + 1, 0*u + g = -3*j + 3*u for j.
-2
Let t(h) = h**3 + 9*h**2 - h - 7. Let y be t(-9). Solve y = -j - 2*c + 6*c, 0 = -3*j - 3*c + 9 for j.
2
Let l be 3*-1*(0 + -1). Let r = 13 - -9. Let g be (r/8)/(4/32). Solve -2*n - l*z - 19 = -0*z, n + g = -4*z for n.
-2
Let i(f) = -4*f**3 + 2*f**2 + f. Let r be i(-1). Solve 7 = -n + 3*n - 3*s, -2*n - 17 = r*s for n.
-1
Let s be ((-8)/(-2) - -3) + -2. Suppose -8*i + 28 = -4*i. Solve s*a + 13 = -8*d + 5*d, -2*a = 3*d + i for d.
-1
Let n(g) = -3*g - 7. Suppose -2*i = -y - 3*i - 2, 5*y + 3*i + 16 = 0. Let p be n(y). Solve 0 = 4*o + 16, -d = -p*o + 3*o - 23 for d.
3
Suppose -5*m = 20, 2*q = 4*q - 5*m - 8. Let b = -3 - q. Suppose -b*h - h = -20. Solve -h*i - 10 = -4*r - 0, 4*i + 8 = -r for i.
-2
Suppose 0*y - 16 = -4*y. Solve 2*r - r = y, 3*r = 4*j for j.
3
Suppose 0 = -5*n + 6 + 14. Solve z + 1 = o, 2*o - 3*z - n = z for o.
0
Suppose -2*t - 4*m = -26, 0 = t - 5*t + 3*m + 8. Solve 0 = -t*y - 20, -2*x + 8 = -0*x - 3*y for x.
-2
Let u be ((-3)/(2 - 1))/(-1). Suppose -2*w = -3*n + 8, 3*n = -5*w - 0*n + 1. Let l = w + u. Solve -5*c + 7 = -4*h, l*h - 2*c = -2*h + 2 for h.
2
Suppose 0*i - 4*z - 1466 = -5*i, -3*i + 886 = 4*z. Let l be 2/(-10) + i/70. Solve -j - 3*m - 15 = 0, -4*j + l*m + 4 = -0 for j.
-3
Suppose -4*i = -6 - 2. Solve i*b - 4 + 5 = k, -5*k = -b + 22 for k.
-5
Let c = 15 - -38. Suppose 12 = -f + c