o**4/4 + o**3 - o**2/2 + 2*o + 1. Let z be q(2). Solve -r = z*n, 2*n = -2*u + n + 6 for u.
5
Let a = 7 - 4. Suppose 0*r - 5*v - 19 = a*r, 3*r + v = 1. Let q be -1 + -1 + -3 + 5. Solve -21 = -5*b + 4*b - 4*n, q = -r*b + 3*n - 13 for b.
1
Let n = 6 - 2. Let x be n + -2 + -2 + 25. Solve -5*t - x = -m - m, -3*t - 15 = -m for m.
0
Suppose -4*z - 4*r - 8 + 0 = 0, -2*r - 16 = -4*z. Suppose -o + 75 = 5*h, h - 3*o - o = 36. Solve h = -5*j - w + 2, j - z = w for j.
-2
Suppose 7*m - 36 = 6. Let f = m + 3. Solve 3*z = 0, 0 = -5*q + z + 6 + f for q.
3
Let y(u) = -u**2 + 9*u - 9. Let l be y(7). Suppose -n + 13 = -2*q, -3*n - l*q = -0*q - 28. Solve -j - 9 - 4 = 5*p, -4*j + n = -p for p.
-3
Suppose -2*m - 10 = -4*m. Suppose m*h - 4*i = -2, -2*h + h - 10 = -4*i. Solve 3*r + 5*b + 22 = 0, -b - h*b = 4*r + 11 for r.
1
Suppose l + 3*r + 0 = 6, -2*l + 12 = -2*r. Let w be l + (3/3 - 4). Solve b + 6 = c, b + w = -2*c + 6 for b.
-3
Let u be (-140)/(-65) + (-4)/26. Solve 0 = -3*r - y - y - 13, 2*r = -u*y - 12 for r.
-1
Suppose -8 = r - i, 0*i - 2*i = r - 7. Let a = r + 9. Solve -2*d - 4*k + 16 = 0, a*d + 8 = 4*d + 2*k for d.
0
Let b = -21 + 23. Solve -4*n + 26 = b*h, 3*h + 4*n = 34 - 5 for h.
3
Let a(i) = -2*i + 21. Let c be a(10). Solve 6*o + 4*r = o - c, -r = o for o.
-1
Suppose 12 = -0*c + 4*c. Let f be (4/c)/((-3)/9). Let r = 6 + f. Solve i - 2 = -0*j + r*j, 0 = -3*j for i.
2
Let h(i) = -i**2 + i + 9. Let r be h(3). Let l = 16 + -6. Let d = -7 + l. Solve 5*k - 22 = -d*a, k + r*a - 16 = -k for k.
2
Let y be 6/(((-6)/8)/(-1)). Let f = -11 + 16. Let k be 0 + f/1 - 1. Solve -y = 5*q - 4*j, k = -5*q + 3*j - j for q.
0
Let f = 5 - -1. Suppose 3*g = f*g - 12. Let q be 10/((-1 + g)/3). Solve -2*k - 16 = 4*r, -2*r - k = k + q for r.
-3
Let s(x) = x**2 + x + 2. Let v be s(0). Let o = -255 + 258. Solve o*f - 24 = -2*k - 9, -v*k - 9 = -5*f for k.
3
Let w be 1/5*(14 + -9). Solve 2*j = -0*j + 5*p + w, -3 = 4*j - 5*p for j.
-2
Let l = 1 - -4. Solve 0 = -l*k - 3*t, -5*k - t - 7 = -k for k.
-3
Let d be (-6)/4*(-14)/(-3). Let g = 7 + d. Suppose g = 5*p - 0*p. Solve -2*h + 5*y = -0*y - 14, 5*h - 4*y - 18 = p for h.
2
Let j be 4/((-2)/(-1) - 1). Let t = 19 - 15. Suppose 0*r = 3*r + 3*k, -k + 6 = 4*r. Solve -j*n + t*b = -r*n + 20, 3*n - 4*b = -20 for n.
0
Let r = -16 + 16. Let j be r - (1 + (0 - 1)). Solve 2*a - 16 = -2*q, 3*q + j*a + 2*a = 19 for q.
3
Suppose -7 = o - b + 3*b, -4*o + 5*b + 24 = 0. Let i(w) = -2*w. Let u be i(o). Let a be (-4)/(-6)*(-9)/u. Solve -2*x = -4*m, 3*m + x - 2 = a for m.
1
Suppose 0 = -5*u + 25 + 10. Solve r + 3*x = 4*x + u, -x = 3 for r.
4
Let r = 1 - -4. Suppose -2*x = 1 - r. Solve 1 + 7 = -5*v - x*g, 2*v = g + 4 for v.
0
Let g be (-8)/(-10) + (-32)/40. Solve u + g*v + 2 = v, -3*u - 5*v + 26 = 0 for u.
2
Suppose 1 + 11 = -2*y - 4*m, -2*m = -2*y + 12. Suppose 5 - 71 = -y*h + 4*p, -4*h - p = -96. Let s = 39 - h. Solve -4*d + s + 5 = 5*q, d = 4*q - 11 for d.
1
Let s = -1 + 3. Suppose c - s = 1. Solve -4*w + 13 = 3*q, -4*q - 24 + 8 = -c*w for q.
-1
Suppose -16 + 0 = -4*g. Let a = 3 + g. Let y = -1 - -5. Solve 13 = y*x + 4*z - a, -3*z + 19 = 4*x for x.
4
Let w be 3 + (-4 - -1) + 4. Let s be (-9)/(-6)*8*1. Let m = s - 8. Solve 0 = -2*v - 2*c - w, c + m = 5*v - c for v.
0
Let r be 403/26 - (-1)/2. Suppose -r = 6*b - 46. Solve 0 = 5*z - 4*p - 4, 2*z - b*z + 4*p + 4 = 0 for z.
0
Let g(w) = 2*w - 9. Let a be g(7). Solve -15 = -3*x, a*p - 10 = -x - x for p.
0
Let c(k) = 3*k - 19. Let w be c(8). Solve w = m + 4*x - 4, 5*x = -4*m + 3 for m.
-3
Let d(l) = l + 5. Let i be d(-3). Solve -4*g = 12, i*n + g = -4 - 1 for n.
-1
Let p be (0 - -1)/(3/33). Let n = p - 6. Solve -3*k + 4*k + 10 = 4*r, -8 = -k - n*r for k.
-2
Let j = -163 + 166. Solve -j*i = -12, 4*w - 3*i - 2 = 6 for w.
5
Suppose 4*b + b = -40. Let i = b - -13. Solve -4*t - i*s = -t + 7, -t + s = 5 for t.
-4
Suppose 60 = -5*d - 4*f, d + 5*f = 2 - 35. Let u = d - -16. Let v be ((-15)/(-5))/(6/u). Solve 4*x + v = 0, -c + 2*x + 7 = -2*c for c.
-5
Suppose 0*f + 23 = f. Let m = f - 20. Solve -5*d + 3*d + 18 = 3*z, -m*d - z = -13 for d.
3
Suppose 5*o = -15, 5*s - 23 = -o - 1. Solve 0 = -s*j - 3*l + 10, 4 = -j + 4*l - 17 for j.
-1
Suppose 3*l - 4*v - 62 = 0, 3*l - v = -l + 74. Suppose -3*q = 3 - l. Let w be 18/8 + (-1)/4. Solve 3*a - q = w*n, 5*n = 3*a + 7 + 3 for a.
5
Let a = 59 + -48. Solve -j - 2*w - 6 = -3*j, 2*j = 3*w + a for j.
-2
Let o be ((-46)/4)/((-1)/2). Suppose -o = -3*q + 2*s - 70, -4*s - 11 = q. Let f = q - -50. Solve f = -3*y - 5*a, 2*y + 24 = -2*y - a for y.
-5
Suppose -x = 6*x. Solve -b + z - 2*z = x, -3*b + 4*z + 14 = 0 for b.
2
Let v be 0/((-6)/3 + 1). Solve 0 = -2*h + z + 3, h + 0*z - 3*z + 6 = v for h.
3
Suppose -3*i - 6 = -4*i. Solve -i = 2*r - 4*z, 14 = 3*r + z - 5 for r.
5
Let t = -22 - -32. Solve -4*i + t = 2*n, -n = 2*i - 2*n - 15 for i.
5
Let i be (-99)/(-21) + (-2)/(-7). Suppose 5 = -0*t + i*t. Let q be (-18)/(-3) - (t - 2). Solve 5*m - 18 = 3*x, -3*x + q = 3*m - x for m.
3
Suppose 15 = 3*t, -2*t + 18 = -2*r + 4*r. Solve 3*g - r*u - 23 = 0, 9*u - 4*u + 30 = 4*g for g.
5
Let c be (-6)/(-2)*(-1 - 1). Let t = c + 21. Suppose 0 = -3*a - 0*a + t. Solve a*w - 5*i + 7 = 4*w, -4*w = -3*i - 6 for w.
3
Let a(o) be the second derivative of 11*o**4/6 - o. Let r be a(1). Solve 4*q = -m - 23, 2*q - 4*q = 4*m + r for m.
-3
Let x(p) = -1 - p**2 + 4*p - 4*p + 7*p. Let i be x(6). Solve -i*d - 30 = 5*f, 2*d + 7*f - 3*f = -22 for d.
-1
Let r be 0*(8/6)/(-4). Solve -6*o + o = -3*s + 1, s + o + 5 = r for s.
-3
Let b(r) = r - 10. Let v be b(12). Suppose 3 - 11 = 4*x, -3056 = 4*q - v*x. Let t be q/(-33) - (-2)/(-11). Solve -d + t = -5*j, -j - 21 = 2*j - 3*d for j.
-4
Let t = -2 + 21. Solve -5*o - 4*l - 29 = 0, -4*o - 4*l + 5*l = t for o.
-5
Let r be 49/3 + 2/3. Let v be (-4 + 0)*(-2)/4. Suppose 2*w = -v*t + 8, -2*t - r = -4*w - 1. Solve -w*b + k - 10 - 6 = 0, -2*b - 2*k = -2 for b.
-3
Let x = -58 + 69. Solve 2*a - 8 = -2*f, -4*a + x = -5*f + 4*f for a.
3
Let v = 14 - 12. Solve -1 = -v*w + 4*z + 5, 0 = 2*w - 2*z - 2 for w.
-1
Let w be (16/(-6))/(((-3)/1)/9). Let j(o) = o**2 + 2*o - 3. Let d be j(-4). Suppose d*f - w = 3*f. Solve g = -4*z - 4, -3*z - f*g + 0*g - 16 = 0 for z.
0
Suppose 0 = -w + 3*b + 12, 3*w + b = -2*b. Suppose w*d - 20 = -d. Solve 5*y = 5, 19 = -d*m + 3*y + 1 for m.
-3
Let q(p) = p**2 + 10 + 6*p - 2*p**2 - p**2 + p**2. Let r be q(7). Solve -5*l - 3*a + a = -23, -r*l + 5*a + 20 = 0 for l.
5
Let y(z) = -z**3 - 4*z**2 + 6*z + 5. Let r be 4/22 - (-114)/(-22). Let d be y(r). Solve d = 4*o - 5 + 1, -16 = -5*t + 4*o for t.
4
Let o(g) = g + 15. Let k be o(-5). Suppose a = 2*c, -6 = 5*c - 2*a - 2*a. Solve -2*t + 2*u + 28 = c*t, 0 = 2*t + 5*u + k for t.
5
Suppose -2*t + 6*b - b = -16, -2*t + 16 = -b. Solve -2*r + t + 7 = 5*k, -5*k = 3*r - 10 for k.
5
Let m = -28 - -30. Let p(w) = 4*w**2 - 2*w - 1. Let n be p(-1). Solve -4*s = 2*g - 16, -m*g = -3*g + n*s - 6 for g.
4
Let b = 11 - 11. Suppose b = -5*d + d + 12. Solve -2*f = -8, 4 = -d*c - f - f for c.
-4
Let p = -6 - -6. Suppose p = -5*j + 3 + 12. Suppose -4*w - 11 = -k, 3*k - 5 = 4*w + 12. Solve 0 = -i + 1 + k, j*l + 29 = 5*i for l.
-3
Let i(v) = 2*v - 1 + 2 - 3*v**2 + v**3 + 1. Suppose -2 = -3*k + 4. Let n be i(k). Solve 16 = 2*a + 5*w, a + 0*w = -w + n for a.
-2
Let s be (-68)/(-11) - 8/44. Let i be 3/s*(1 - -9). Solve i*w + 40 = 5*f, -5*f + 3*w = 6 - 36 for f.
3
Suppose z = -4*z + 10. Solve 3*s = 15, -z*g - 2 = -3*s + s for g.
4
Suppose 0 = 3*v + 2*x - 0 - 15, v = -2*x + 9. Solve -2*p - v*l = -8, 0 = 4*p - l + 2 - 4 for p.
1
Let y(s) be the first derivative of s**3/3 + s**2 - s - 1. Let g be y(1). Suppose -x - g*x = -51. Solve -l - 4*t = -x, -2*l + 5*t = l for l.
5
Suppose -5*r = -4*f + 46, 3*f + 4*r - 14 = 5. Let i = f + -4. Suppose k = -2*v + 6, 2 = -k - 2. Solve 0 = 2*s - i*s + 5*j, -3*s - v*j - 30 = 0 for s.
-5
Let f = -8 - -11. Suppose 2*n = 5 + f. Solve n = -p + 7, 5*p - 15 = -4*y for y.
0
Suppose 0 = -3*r - 4*x + 5, 1 = -4*r - x - 1. Let l be 2 + (r - 1) - -1. Suppose 0 = 3*o - l - 5. Solve d - 22 = -4*f, d - o*f - 3*f = -23 for d.
2
Suppose 3*w + 0*a - 2*a + 2 = 0, w + 5 = 5*a. Solve 0 = -4*x - 3*t - t, w = 4*t + 20 for x.
5
Let w = -1 - -1. Suppose y - 3*c + 7 = w, 4*y - 2*c + c - 5 = 0. Let l be -2 - (y + -2) - -7. Solve l*h + 12 = -k - 0, -3*k 