5*o**2 - o + 3. Let x be d(8). Suppose -2*s + x = 3*s. Solve 6*q - 17 = -s*l + q, 2*q + 2 = l for l.
4
Suppose -a = 2*k - 15, 3*a - 8*a - 2*k = -35. Solve -c + 4*q + 2 = -7, 27 = a*c - 2*q for c.
5
Suppose 0 = -3*h + 2*u, 0 + 2 = 4*h - 2*u. Let d be (h - (-7)/2)*2. Let w = d - 7. Solve y + 5*q - 9 = -0*q, 3*q = w*y + 10 for y.
-1
Let q(f) = -2 - 2*f + f + 0*f. Let t be q(-4). Solve -3*l = -3, 0 = -x - 4*l + t for x.
-2
Let r(x) = -x + 0*x**2 + x**2 + 4*x**2 - 4. Let o be r(3). Let v be o/10 - 3/(-15). Solve -1 = -3*y + 3*b - 13, 0 = -2*y - v*b + 10 for y.
-1
Let u be (12/5)/((-4)/(-20)). Let x = u - 9. Solve 0 = -h - x*f - 4, -h - 3*f = -f + 4 for h.
-4
Suppose -5 = -g + 1. Suppose -g*b + 23 = 5. Solve -3*r = -3*f - 0*r - 21, -f = b*r - 1 for f.
-5
Suppose 5*z - 5*k + 3*k = 36, 4*k - 12 = -4*z. Suppose -g - 2*o = 3*g - z, 0 = 4*g - o - 21. Solve 4*x = g*b, -4 = 3*b - 4*b for x.
4
Suppose 0 = -g + 5*s + 17, -s = 4*g + 2*s + 1. Let p(f) = -f**2 - 5*f + 1. Let x be p(-3). Let m = x + g. Solve 4*r = -2*q - 10, 6*r - 3*r + m = 0 for q.
1
Let k(g) = -g**3 - 28*g**2 - g - 25. Let i be k(-28). Solve -o - 31 = -5*b + o, -3*b = i*o - 6 for b.
5
Suppose -m + 1 = -5. Suppose 2*o - m = 12. Solve 5*n = 4*p + 15, 3*p + p = -3*n + o for n.
3
Let o(v) = 3*v + 1. Let l(z) = -z**2 - 3*z - 1. Let c be l(-2). Let b be o(c). Let h = -2 + 5. Solve -b*q - 4*d + h*d = 2, -4*q - 4 = 2*d for q.
0
Let s(q) = q**2 - 4*q. Let p be s(4). Suppose -4*w = -p*w. Solve 3*o - 3*m + 30 = -w*o, 5*o = -3*m - 10 for o.
-5
Let j be ((-15)/10)/((-3)/8). Let p be ((-8)/(-2) - -1)*-1. Let k = -3 - p. Solve 26 = -k*c + 4*g, 5*c - j*g = -2*g - 33 for c.
-5
Let q = 18 - 17. Let x be -1*(-3 - (10 + q)). Solve -4*j - x = -2*u - 0*u, 4*u + 20 = -4*j for u.
-1
Let c = -3 + 12. Let l = c + -4. Solve 0 = n - 5*o + 26, 4*o + 6 = -l*n + 21 for n.
-1
Suppose -2*h + 4 + 6 = 0. Let j = h - 3. Suppose 3*b = 3*k - 30, 0*k = -3*k + j*b + 25. Solve 3*v + 3 = -k*o, -v = 9*o - 4*o + 11 for v.
4
Let b(x) = -2*x + 20. Let p be b(10). Solve p*z = -4*y + 5*z, 3 = -3*y + 3*z for y.
-5
Let m(r) = r**2 + 7*r + 6. Let v be m(-7). Let a = v + -2. Solve -k - a*b = 3*k - 8, 5*b = 3*k - 6 for k.
2
Suppose -u + 5*k - 7 = 3*k, 0 = -2*u + 5*k - 18. Let q = 3 - u. Solve q*a = 3*r + r - 8, a + 7 = 5*r for r.
1
Let f be (-10)/(18/3*1/(-3)). Solve -3*d + 25 = 2*d - 5*t, 5*t = -5*d - f for d.
2
Let d = 4 + 0. Let k(t) = t**2 - 7*t + 1. Let z be k(7). Suppose -3*r - z = -7. Solve -4*v = -r*g + 14, 2*g - 4*g - v + d = 0 for g.
3
Let m(t) = -3*t + 8. Let k be m(1). Solve k*i + 27 = -y, 4*y + 0*y + 28 = -4*i for i.
-5
Let t = 47 + -44. Solve 5*g + 30 = t*v, 0 = -v + 2*v + 5*g + 10 for v.
5
Suppose -i + 18 = -y, 18 = -5*i + y + 104. Solve 0 = 4*a - 4*z + 20, -4*z + i = -2*a - 3 for a.
0
Let a be ((-14)/4)/(5/10). Let d = a + 28. Let n be 36/d - 4/(-14). Solve 2 = q - n*q + 3*j, -2*q = -4*j + 2 for q.
1
Suppose 0 = -h - 0*h - 2. Let m = h - 0. Let u be (1/m + 1)*8. Solve -b = -4*b - z - 12, -z = -u*b - 23 for b.
-5
Let f(b) = b - 2. Let s be f(2). Suppose 6*k - 3*k - 12 = s. Solve 2*g - 10 = 4*v, 0 = 3*v - 5*g + 1 - k for v.
-4
Suppose 0 = -9*x + 12*x - 9. Let b(k) = 2*k**2 - 6*k + 7. Let u be b(4). Let o = 5 + 0. Solve z + z - u = -o*n, x = n - 4*z for n.
3
Let w(k) = 3*k - 21. Let t be w(9). Solve 4 = -a + m, -2*a + 12 = -4*m + t*m for a.
1
Let u be (-8)/(-5)*(-10)/(-4). Let g be (-4)/(-2) + (-4)/(-2). Suppose -2*q + i = q - u, i = -g. Solve q = h + 2 - 0, 0 = w + 2*h for w.
4
Let n be (8/6)/((-8)/(-12)). Suppose l = -7 + n, -4*l - 28 = -4*a. Let m(d) = 4*d - 3. Let b be m(2). Solve -a*t - 12 = 4*x, -5*t = 4*x + x + b for x.
-5
Let r(v) = v**3 - 11*v**2 + 10*v + 3. Let t be r(10). Solve k - l + 0 = 1, -5*k + 9 = -t*l for k.
3
Let g be 71/3 + (-2)/(-6). Suppose 2*b - 5 = 1. Suppose a - 5*a - 12 = 0, 2*w + 1 = -b*a. Solve 0 = -5*s - 4*x + g + w, -s = -3*x + 2 for s.
4
Suppose -c = u - 4, 4*c + u - 18 = -4*u. Suppose -9 = z - c*z + 2*r, 3*z = -5*r + 5. Solve -5*i + 5*b - 5 = 0, b + 3*b - z = 5*i for i.
-1
Suppose 5*i + 6 = -2*g - 6, g + 4 = -2*i. Let p(h) be the first derivative of -2*h**2 + 7. Let s be p(i). Solve -4*f + s = 3*m, -3*f - 2*m + 4 + 8 = 0 for f.
4
Let y(h) = -h**2 + 5*h + 12. Let l be y(5). Suppose 2*f = o - l, f = 5*o - f - 28. Solve 5*a = -o*v, a + 3*v = -v for a.
0
Let a = -7 + 11. Let j = a + -3. Suppose 0 = o - j. Solve 4*s + 11 = -p, o - 2 = -s - p for s.
-4
Let v be 4 - (2 - (-8)/(-4)). Solve 30 = p - 5*x, -4*p - 2*x + 30 = -v*x for p.
5
Suppose -8*p - 12 = -14*p. Suppose 3*h = -h + 8. Solve -4*q - b - 22 = -6, -h = -p*q - 3*b for q.
-5
Let f = -43 + 71. Solve -3*n = -n - 5*q + f, -4*q = 2*n - 8 for n.
-4
Let q = -44 + 47. Solve 2*y = -3*j + 5, -19 = q*j - y - 3*y for j.
-1
Let n be (1 - 4) + 0 + 0 + 11. Solve -n*z + 5*g = -4*z + 15, 5*z + 21 = 4*g for z.
-5
Suppose 3*r - 6*r = -12, 2*a + 5*r - 26 = 0. Let l = 14 - 3. Suppose -4*z + l + 2 = k, -4*k + 30 = 5*z. Solve -2*o - a = -2*d + 7, d = k*o + 5 for d.
5
Let n(c) = -2*c - 4. Let k(v) = -v**3 - 2*v**2 + 3*v + 3. Let g be k(-2). Let t be n(g). Solve -3*m + 5*a - 9 = 0, m + t*m + 4*a = 18 for m.
2
Let l be (13/26)/((-2)/4). Let f be l + 0 - (0 + -3). Solve 0 = -k - f, 0 = 4*a - a - 3*k + 9 for a.
-5
Let c be ((-11)/(-3))/(2/12). Suppose 8 = 5*o - c. Suppose 8*s + 15 = 13*s. Solve 0 = -2*u, s*d = 5*d - 3*u + o for d.
-3
Suppose 6*k - 25 + 1 = 0. Solve 0 = o + 3*w - 11, 4 - 3 = -k*o + 3*w for o.
2
Let n(j) = j**3 + 11*j**2 + 10*j + 3. Suppose 40 = -4*i - 0*i. Let x be n(i). Solve -2*a - x*p + 2 = 0, -18 = -3*a + 4*p - p for a.
4
Let b be -15 + 40 + (1 - -1). Let v be 2/(-4) - 21/(-2). Suppose -5*x = -3*x - 10, 0 = -f + 3*x - v. Solve -5 = -2*k + 5*k + 5*z, z = f*k + b for k.
-5
Let p be (-3 - -1)*(-5)/2. Let z be (52/(-8))/(4/8). Let s = z + 16. Solve 0 = -5*g + p*j + 15, 5*g + 2 = g - s*j for g.
1
Let r(i) = i**2 - 12*i + 13. Let v be r(9). Let g be (-2)/7 + (-74)/v. Solve m + 3*c + 0 = 5, -3*m = -c + g for m.
-1
Let o be 0/(0/(-5) - 4). Solve -4*f = -5*p + 2, 0*p + 2*p - 2*f = o for p.
2
Let b = -14 + 37. Let i = b + -22. Solve 2*o + 3*d + 4 + i = 0, -4*o - 5*d - 7 = 0 for o.
2
Let v(p) = 4*p + 5. Let z(s) = 14 + 0*s + 10*s + 2*s. Let x(i) = 8*v(i) - 3*z(i). Let f be x(-5). Solve -5*b + f = 4*u, 9*b = -5*u + 4*b + 20 for u.
2
Let a(f) = 4*f - 1. Let c(y) = 20*y - 5. Let q(l) = -11*a(l) + 2*c(l). Let u be q(-1). Let t = -13 - -15. Solve -5*i = -u*n - 20, t = -4*n - 0*i - 3*i for n.
-2
Let m(y) = 2*y - 37. Let t be m(20). Suppose -3 = -x - 0*x. Suppose -5*a - 3*k - k = 2, 15 = t*a - x*k. Solve 0 = a*b + 5*s + 1 - 0, -4*s - 6 = -b for b.
2
Suppose 0 = z + z - 18. Suppose -w + 30 = a + 3*w, 4*w + 80 = 4*a. Let x = a - z. Solve 0 = 2*h - d - x, -d + 40 = 5*h - 6*d for h.
5
Let a(f) = 14 + 0*f**3 + 10*f**2 + 0 - 9*f - 2 - f**3. Let d be a(9). Solve 4*l - 1 - d = m, m = -2*l + 11 for m.
3
Let o = 3 + -1. Let j(y) = -y**2 + 0*y - 6*y + 9*y + 4. Let i be j(4). Solve -o*p - p - 13 = g, 3*g + 3 = i for p.
-4
Let m be (4 - (-3 - -7)) + 6. Solve -k - 5*t = -13 + 31, 0 = 5*k - 3*t + m for k.
-3
Let d be (-1 - (-4)/(-3))*24. Let p be 60/14 - (-16)/d. Solve 1 + 10 = 2*a - u, -4*u - p = 0 for a.
5
Suppose -2*i + 0*i + 4 = 0. Suppose -i*x + 16 = 5*o - 6*x, 0 = 2*o - 3*x - 12. Solve o = 4*p - 2*p - 4*f - 8, -p = -f for p.
-4
Suppose b - 83 = 4*f, b = -5*f - 0*f - 97. Let r = f - -22. Solve w = r*s - 11, -23 = 4*w - 0*s - s for w.
-5
Let f(d) = d + 8. Let q be f(0). Let a = -5 + q. Suppose -x = -2*x + 2. Solve 2*t + z + a = -x, 2*t - 1 = z for t.
-1
Let p(b) be the first derivative of b**3 - b**2 - b + 1. Let s be p(-1). Solve 0 = 3*u + 2*m + 2*m - 16, -s*u + m - 4 = 0 for u.
0
Suppose -3*t + 40 = 5*x, 4*x - 5*x = t - 10. Solve -4*s + 9*s - 6 = -3*d, -d + x*s - 18 = 0 for d.
-3
Suppose -3*w = 4*d - 165, 5*d - 183 = 5*w + 67. Suppose -d = -4*u + 31. Solve -3*z + s = 3*s + u, -s = 2*z + 12 for z.
-5
Suppose -a - a + 10 = 0. Let w(f) = 5 - f**3 - 4*f + 0*f**3 - a*f + 10*f**2. Let q be w(9). Solve r - 4*p = 3*r + 4, -27 = -3*r + q*p for r.
4
Let d be (12/2)/((-4)/(-10)). Suppose 6*p - d = 3*p. Let a(m) = 2*m + 5. Let j be a(p). Solve 2*x - 4*x = s + 15, -3*s = j for x.
-5
Suppose 2*k + 4*m - 39 = -11, -4*k = -3*m - 1. Solve -3*l = k*q - 23, 2*q - 6 = 5*l - 27 for q.
2
Let s = 23 +