*o - 5*j + 25 for o.
4
Suppose 0 = -3*h + 2*d + 6, 2*d - 10 = -5*h - d. Let l be (-1)/3*(1 + 2). Let n = l + h. Solve -2*a + 5*q + 1 = 0, n = 3*a - q + 6 for a.
-2
Let r be -2*1 + (-2)/(-4)*12. Solve r*q - 3*o = 11, -5*o + 2*o = 4*q - 29 for q.
5
Let k be (3 - -1)/(-1) + -3. Let x(b) = -b**2 - 9*b - 12. Let z be x(k). Solve 3*q + 6 = -z*y, q + 4*y + 2 = -0 for q.
-2
Let t = 3 - 1. Solve 4*r - 2*b = -0*b + t, 0 = -b + 1 for r.
1
Let d = -19 + 23. Solve -4*o - o - 5*w + 25 = 0, -d*w + 12 = 0 for o.
2
Let t be (15/(-3))/((-4)/8). Suppose n - t = -n. Solve 5*l = -n*q - 6 - 14, l + 8 = -2*q for q.
-4
Let l = 0 - -2. Suppose -l*r = -0*r - 4. Let q = 220 - 218. Solve 0*i - 2*i + 4*y = 10, -r*y + q = -2*i for i.
3
Let i be 1 - -1 - (2 - 0). Let n = -6 + 8. Suppose -4*q - 12 = 0, -5*b + 0 = -q - 13. Solve i = n*s - 0 + 4, 2*a + 4*s = -b for a.
3
Let m be -18*(3/3)/(-3). Suppose -i + 6*i = -20. Let a = m + i. Solve 0 = f + 6*h - a*h - 5, f + h = 2 for f.
1
Suppose -4*z + 24 = 2*o, z + z - 3*o - 4 = 0. Let u be (-1)/(1 + z/(-4)). Solve 6*i - 23 = -5*p + 2*i, 22 = u*p + 5*i for p.
3
Suppose 33 = 4*r - r - 4*o, 0 = 4*r - 4*o - 44. Let b = -6 + r. Solve -3*l = -2*l + 2*x - 5, -5*x + 5 = b*l for l.
-3
Let n = 11 - 7. Suppose 0 = -y - n*d - 10, 4*y + d - 3 = y. Solve -p = 5*b - 4*b - y, 5*p = -2*b + 4 for p.
0
Let j be 3 + (1 - 1 - 0). Suppose 0 = -r + 2*r - 5. Let k be 0/(r/((-5)/(-3))). Solve -5*c - 28 = -k*c - 4*v, v = -j*c - 10 for c.
-4
Let r be -2 + (0 - -2) + 16. Solve -v + 10 = -4*c, 2*c + 2*c - 4*v = -r for c.
-2
Let j be 3/4*12/3. Suppose 0*u + j*u = 3, -3*u = -q + 2. Suppose -5*c = -31 + 6. Solve c*h + 8 = -q*l + l, 2*h + 10 = -5*l for h.
0
Suppose 2 = -4*q + 22. Suppose 16 = 5*m - m. Suppose -w + 0 = -7. Solve d - m*t + q = -t, -4*d + w = -3*t for d.
4
Let q(i) = -4*i + 9. Let t be q(-9). Solve 4*k = -5*j + t, 0 = -5*j - 3*k + 22 + 18 for j.
5
Let f be (5/3)/((-2)/(-12)). Suppose -3*l + f = -2. Solve -4 = -c - 5*m + 4*m, 2*m = 2*c + l for c.
1
Suppose -2*v + 7 + 1 = 0. Solve -3*f + 0*f + r = -v, -19 = -3*f - 2*r for f.
3
Suppose 3*o = -o + 124. Let b(w) = 0 - 5*w + 4*w + 1. Let j be b(-4). Solve 2 = -c + 7, 0 = 3*q - j*c + o for q.
-2
Let d(b) = b**3 - 24*b**2 + 23*b + 2. Let t be d(23). Solve n + 0*n = t*v - 4, 4*n - 5*v + 16 = 0 for n.
-4
Let z(u) = u**2 + u + 1. Let m be z(-2). Solve 2*x + m*w = 7, -2*x = -x + 2*w - 3 for x.
5
Let p(y) = -y**2 - 4*y - 1. Let u be p(-3). Let i(m) = -2*m + 10. Let c be i(5). Let g be (30 - 3) + -3 - c. Solve -g = -4*h + f, -2*f - 21 = -h + u*f for h.
5
Suppose 5*r - 9 = 2*n, 5*n - 3 = 4*r - 0*n. Solve -5*s + 30 = 5*z, -14 = 6*z - r*z - 5*s for z.
2
Suppose 2*u - 4*f = 18, 39 = 3*u - 5*f + 3*f. Let z be (-4)/(-10) + 54/u. Let w(r) = r**2 + r. Let d be w(1). Solve 2 = d*g - z*y, -g - 3*g = -3*y + 1 for g.
-1
Let f(u) = 4*u + 2. Let x be f(2). Suppose -4*o + 5*d = -8, -11*d + 7*d = 0. Solve -5*n - x - o = 3*r, 5*n - 16 = 4*r for r.
-4
Let b = -3 + 9. Suppose -d - 15 = -b*d. Solve o - 10 = d*w, -5*o + w = -w - 24 for o.
4
Suppose 2*g - 2 = -8. Let i be ((-1)/3)/(g/27). Solve a = i, 2*a + a - 9 = -5*m for m.
0
Let h = 83 - 79. Let q be ((-6)/(-4))/((-6)/(-20)). Solve 2*u = h*c + 12, -5*c - 34 = -q*u - 9 for u.
4
Suppose 4*u = -0*u + 48. Suppose 0 = -h + 4*y - 17 + 6, -2 = -2*y. Let o = h + u. Solve 0 = 3*i + 7 + o, -5*i = 4*f + 40 for f.
-5
Let n = -16 - -2. Let c be -1*(-2)/(-4)*n. Solve 0 = 4*g - 4, 0 = -3*x - 2*g - 20 + c for x.
-5
Let u be 5/3 + (-5)/(-15). Let s(a) = a**3 - a**2 + 1. Let d be s(u). Solve d*n = -p - 0*n - 1, -4*p - 5*n + 11 = 0 for p.
4
Let z be ((-36)/(-15))/2*5. Let g be 213/18 + 1/z. Solve 4*j - a + 0 + 6 = 0, -g = j + 5*a for j.
-2
Let b = -4 - -8. Suppose -2*v - 16 = 3*v + 3*m, 4*v = 2*m - b. Let j = 3 - v. Solve c = j*c + 16, 0 = -2*f + 4*c + 24 for f.
4
Let j = 2 - -2. Let g(m) = 2*m**3 + 4*m**3 + 0*m**3 - 5*m**3 - 4*m**2. Let t be g(j). Solve p = -3*z - 9, t = -4*p + z - 12 + 2 for p.
-3
Let d = 5 - 2. Suppose -3*p + 15 = -s + 4*s, d*s + p = 5. Solve s*v - 10 = -3*m + v, m = -3*v - 10 for m.
2
Suppose -3*l = 4*o - 34, -2*o = 3*o - 3*l - 56. Let p = -5 + o. Solve -3*t + 4*i - 3 = 0, -1 = -4*t + p*t + i for t.
-1
Let i(r) be the second derivative of -5*r**3/3 - r**2/2 - 2*r. Let x be i(-1). Let o be 2 - 1 - (-3)/1. Solve -15 = 2*b - x*p + o*p, 4*b + p + 19 = 0 for b.
-5
Suppose -39 = -3*k - 10*k. Solve 2*h + 0*d + 3*d - 2 = 0, -3*h = k*d - 3 for h.
1
Suppose 2*q + 5 = 15, 5*r + 4*q = 55. Let a(i) = -i**2 - 11*i - 11. Let z = -13 + 5. Let h be a(z). Solve 3*c - r*c = -3*d - h, -3*c + 13 = d for d.
1
Suppose 0 = 5*b - v - 4*v - 20, 9 = -3*b - 4*v. Let o(n) = n + 1. Let j be o(b). Solve 0 = -2*i - j*r - 8, 0 = -5*i + r - 2 for i.
-1
Let s = -17 + 26. Let y(a) = 5*a + 1. Let p be y(1). Let v be -1 + p - (0 - 0). Solve -v*m + 2*m - q - s = 0, 2*q = -3*m - 12 for m.
-2
Let q be 2 + (-12)/9 + 8/(-12). Solve c - n = -0 + 1, 5*n + 5 = q for c.
0
Let m = 1 + 1. Suppose 5*h + m*s + 0*s - 28 = 0, -4*s + 20 = h. Solve -7*z + 4*z + 2*p = h, 3*p = -z + 6 for z.
0
Let h(f) = -9*f**3 + 3*f**2 - 8*f - 1. Let m(l) = -4*l**3 + 2*l**2 - 4*l - 1. Let a(j) = 3*h(j) - 7*m(j). Let c be a(4). Solve x = c*p + 6*x, 5*x = 0 for p.
0
Let t be 26/3 + (-4)/6. Let b(s) = s + 2. Let a be b(t). Solve -3*w + w = 2*v + a, -3*w = 2*v + 10 for v.
-5
Let o = 1 + -1. Let p = o + -3. Let w be (-8)/p + (-2)/3. Solve 4*u + 4 = 3*j, -w*u = u + 2*j + 20 for u.
-4
Let l(b) = -b**3 - 13*b**2 + 15*b + 14. Let m be l(-14). Solve m = -4*p - 7 - 1, 2*p + 5 = i for i.
1
Let l be (-6)/(-15)*(-3 + 28). Suppose -4*g + 2*g - 5 = -3*r, 0 = g - 4*r + l. Solve -5*c - 3*a + 15 = -g*a, -3*a = -c + 19 for c.
4
Let q be (4/(-6))/(4/(-18)). Suppose d - 10 = 1. Let k = d + 1. Solve -3*x = t - k, 2*x + t = q*x for x.
3
Let a(r) be the first derivative of -r**3/3 - r**2 - r + 4. Let g be a(-1). Solve 3*l = -2*s - g*s, -3*s - 3*l = -3 for s.
3
Suppose -11 = 6*b - 5*b. Let y = -11 - b. Solve 0 = -2*u, y = -a + u + 3*u for a.
0
Let f = 0 + 1. Let a = 2 + f. Let k(b) = -15*b. Let z be k(-1). Solve 0 = 3*l - z, 0 = -h + l - a - 4 for h.
-2
Suppose 6*t + 4*m - 13 = 3*t, 4 = 4*m. Solve 0 = -4*d - t*l + 6, 4*l = -0*d + 4*d + 8 for d.
0
Let q be (-222)/(-18) - (-16)/(-12). Solve 2*t + q + 5 = -5*c, 2 = -c - t for c.
-4
Let i be (-2 - -3)*20/(-2). Let t = i - -21. Let b = -1 + 1. Solve -3*q + o - t = 0, -4*o + b = 3*q + 1 for q.
-3
Suppose 4*f = -4*j, -2 = -5*j - 5*f + f. Solve 4 = -3*k - 4*n, 1 = -5*k - 3*n - j for k.
0
Let p = 3 - 0. Suppose 0*k - 2*k + 6 = 2*t, p*t = k - 19. Solve -2*w - 4 = 0, 3*b - k*b + 8 = 2*w for b.
3
Let t = -4 + 6. Let c(m) = 3*m - 6. Let b(s) = -5*s + 11. Let r(f) = 6*b(f) + 11*c(f). Let j be r(3). Solve -t*i - j = q - 6*q, i = q - 3 for i.
-2
Let r(s) = -s**3 + 5*s**2 + 7*s - 8. Let f be r(6). Let o(m) = 9*m - 12*m + m. Let j be o(f). Solve -j*v = 5*i - 5*v - 18, 5*i + 5*v - 30 = 0 for i.
4
Let b = 8 + -8. Let x(d) = d**2 - 10*d. Let a be x(6). Let z be 2 - ((b - -1) + a). Solve 0 = 5*i + 5*s + 5, z = -4*i + 5*s - 2*s for i.
-4
Let i(o) = -3*o - 30. Let h be i(-11). Solve 4*p + 2 + 6 = h*x, -p - 13 = 2*x for p.
-5
Let v(z) = -2*z - 4. Let d be v(-5). Suppose 0 = 4*f - d*f. Let a be 10*3/6 - f. Solve 0 = 3*x - a*o + 5, -x + o = 2*x + 1 for x.
0
Suppose -v + 1 + 3 = 0. Solve -2*z - v - 12 = 4*t, -2*z - 3*t = 11 for z.
2
Let s(c) = -2*c - 2. Let x be s(-3). Suppose -x*u + 2*u = 16. Let i be 1/((-2)/u) - 1. Solve -3*r = -l - 0*r - 11, 2*r = 5*l + i for l.
1
Let f = -64 + 68. Solve -4*t - h = 2*h + 3, -2*h - 2 = -f*t for t.
0
Suppose 5*m - 18 = 22. Solve 0 = -2*r - m*x + 5*x, -2*x = -2*r for r.
0
Let u = 2 + 1. Solve t + u*o = -o + 3, 0 = -3*t - 3*o for t.
-1
Let f = -109 + 113. Solve 2 = -2*b - 2*i, -2*i + 11 - f = -b for b.
-3
Suppose -i - i = 0. Suppose 5*b = 6*b - 3*o - 12, 2*b - 3*o - 36 = i. Suppose -6*v + 2*v + b = 0. Solve 0 = -2*t + 3*n + v, -5*n - 28 = -t - 11 for t.
-3
Let y(q) be the third derivative of q**5/60 - q**4/8 + 2*q**3/3 + 3*q**2. Let k be y(3). Solve 4*h = k*p - 2*p + 6, 3*p - 4*h + 7 = 0 for p.
-1
Let w be (-1 - -2)*(-19)/(-3)*3. Solve 10 = 3*t - 5*y, -2*t = 2*t - y - w for t.
5
Suppose 0*w + 20 = 5*w. Let l be ((-3)/3 - -2)*w. Suppose l*s - s - 6 = 0. Solve 5*a = -5*d - 1 - 4, s*d + a + 2 = 0 for d.
-1
Let c be 50/