12 = 2*q. Let c be i(q). Let o be -3*c/1*-3. Solve -35 = 5*k - 2*l - l, -4*k - o = -4*l for k.
-4
Let j(n) = -n**3 - 7*n**2 + 2*n + 9. Let i be j(-7). Let p = i + 5. Let z be (1 + (p - 0))*17. Solve 5*o + c = 19, -5*o - 2*c - c = -z for o.
4
Suppose 5*v + 29 = 2*h, -h + 3*v + 6 = -11. Solve h*x = s - 10, -3*x - 16 = 2*s + 2*x for s.
2
Let n be 8*(4 + 21/(-6)). Solve 5*g + 5*d = 0, -3*d = -n*g + g + 18 for g.
3
Let a be 5*-10*(-6)/75. Suppose -15 = -2*x - 3*x. Solve 3*f + 3*o = -x, 2*f + 8 = -0*f + a*o for f.
-2
Let n be ((-4)/3)/((-6)/9). Suppose -6 = -2*o - o. Solve -18 = n*w - o*z - 2*z, 4*w - 3*z = -16 for w.
-1
Suppose 4*p - 12 = 2*t + 2, 0 = -5*p - t + 14. Solve 0 = -4*h + 2*g - 5*g, p*h - 3*g + 21 = 0 for h.
-3
Let a = -12 + 8. Let k(c) = c**2 - c + 4. Let b be k(0). Let m = b + a. Solve 3*s - 12 = -3*z - m*z, 5*s = 3*z + 20 for z.
0
Let o(g) = g**3 + 15*g**2 + 15*g + 16. Let i be o(-14). Suppose 4*p + r + 17 = 6*r, 0 = -2*p + 4*r - 16. Solve -p*k = 5*q - i*q + 1, 0 = 5*q + 3*k + 3 for q.
-3
Let k(i) = i**3 + 2*i**2 - 2*i - 2. Let o be k(-2). Suppose 4 = o*y - y. Solve 0 = 5*b - 5, b + 11 + 4 = -y*t for t.
-4
Let o(j) = 3*j - 47. Let s be o(17). Solve 5*h = 4*h - 4*x + 15, -12 = -s*x for h.
3
Suppose -5*p + 3*f + 65 = 2*f, 5*f + 37 = p. Solve 0 = -4*x - 2*s + 2, s + s + p = 3*x for x.
2
Let w(f) = 2*f - 10. Let q be w(7). Solve -4*n + 0 = q*b + 12, -3*b + n - 13 = 0 for b.
-4
Let l be (-1 + 16)*-1*2. Let o be (3/6)/((-3)/l). Suppose -o*k + 11 - 1 = 0. Solve k*z + 2*y = 0, -z - 2*y = 2*z + 1 for z.
-1
Let d be 15*6/(-27)*-3. Suppose 5 = 3*k - d. Suppose 5*y - 12 - 3 = 0. Solve -k*b = 2*u - 9, -2*b + u = y*u for b.
3
Let d = 85 - 81. Solve -3*k + 3*y = -21, -4*k + 3*y - 5*y = -d for k.
3
Let f = -13 - -15. Solve -2*u + 1 = -0*i - i, 0 = 2*i + 3*u + f for i.
-1
Let t be -1*(-5 + (-1 - 1)) - 2. Solve 9 = 3*s, i + 2*s - t = 2 for i.
1
Let z = 12 - 4. Let d = -10 + 13. Suppose 0 = 3*q - 5*q + 6. Solve -4*o - z = -j - d*j, -4*o - q*j - 22 = 0 for o.
-4
Let d be 1 + 3 + -6 + 5. Solve 5 = d*l + y, l - y + 1 = -0*y for l.
1
Let w(g) = -g**3 - 7*g**2 - 7*g - 3. Let b be w(-6). Solve -b*o = -9, 5*a - 37 = -3*o - o for a.
5
Suppose 4 = 6*c - 4*c. Let f = -7 + 10. Suppose -7 = -g - i, -4*i + 2*i + 16 = f*g. Solve 0 = s + s + c*d - 12, 0 = g*s - 4*d - 6 for s.
5
Let h(c) = 4*c**2 + 5*c + 5. Let b be h(-5). Let a = -46 + b. Solve -5*p - 39 = 3*r - 9, 0 = 5*r + 3*p + a for r.
-5
Suppose -n + 3*n + 5*b = -16, 0 = -2*n - b. Let x be 6/4 - 1/n. Solve -2*r + 5*s - x = -4*r, -4*r - s = -11 for r.
3
Let y(v) = -2*v - 6. Let c be y(-6). Suppose -3*t - 5*h + 60 = -0*h, 2*t + 5*h - 45 = 0. Let i = -12 - -23. Solve -b - 2*u = i, -u + t = -c*u for b.
-5
Let c(t) = -t**3 + 5*t**2 - 3*t. Let f be c(4). Suppose -3*s + f = i - 0, 0 = -i + 5*s - 4. Let d = 1 - i. Solve -8 = -2*n + g, -3*n - 3*g + 8*g + 19 = d for n.
3
Suppose 0 = y - 4*y. Solve 3*d + d - 16 = g, -5*g = y for d.
4
Let g = 1 - -2. Solve -2*b - 2*u = -3*b + g, 3*b = 4*u + 5 for b.
-1
Suppose 0 = 6*w + 2 - 2. Solve w = 5*u - x - 18, u = -2*u - 5*x + 22 for u.
4
Let l be 2 + 2/(5 - 4). Solve 2 - 12 = n - 2*g, 0 = l*n - 5*g + 31 for n.
-4
Suppose -3*f = -5*j + 6, -2*f + 7*j = 11*j - 18. Solve -f*g - g - 4 = 2*x, -x = -3*g + 2 for x.
-2
Let s = -2 - -4. Let n = s - -1. Let i = 7 + -5. Solve 3*t - 3*k = 18, 4*t + 1 = -n*k + i*k for t.
1
Suppose -6*a = -5*a - 5. Suppose a - 9 = -u. Solve -16 = 3*r - q, -5*r - q - u*q = 0 for r.
-4
Suppose 3 = 3*t - 2*m, -4*t + 5*m + 1 = -3*t. Let z be 1/3 - t/3. Suppose p + z = 4*j + 21, -2*j = -4*p + 28. Solve 0 = -p*a + 2*x + 15, a + 0 = -3*x + 3 for a.
3
Let o be (-22)/(-8) + 3/(-4). Let u be o - (-3)/((-6)/(-28)). Let p be (-12)/18 + u/6. Solve g - 15 = -3*z, 0 = 3*g + p*g for z.
5
Let n be ((35/(-4))/5)/((-2)/8). Solve -2*y + n = 3*i - 11, 2*y = -2*i + 14 for i.
4
Let k be (0 - 1)/((-2)/(-10)). Let p be 1/((10/(-4))/k). Suppose 3*r = -5*x - 12, 2*x = -7*r + p*r - 20. Solve g + 2 = -3*l, x*g + 4*g = -5*l - 15 for g.
-5
Suppose 5*i + 3*r - 73 = 0, 2*r + 2*r - 52 = -4*i. Let k = -10 - -14. Suppose -k*z + 12 = 4. Solve i = -5*w - 2*y, -z*y = -w + y - 17 for w.
-5
Let v(o) = 7*o**2 + o - 3. Let h be v(-2). Solve -t = -3*t + 5*w + h, -5*t - 3*w + 11 = 0 for t.
4
Let g = -32 + 37. Solve g*k + 4*d - 20 = 0, 0*k - 2*k + 3*d + 8 = 0 for k.
4
Suppose 30 = 3*l + 12. Solve 2*m + i = l*i - 11, 0 = 3*i - 9 for m.
2
Let r be ((-6)/2 - -2)*-5. Suppose -4*v = -5*m + 3, -v - 5 = -2*m - 2. Solve -r*k = -2*k - m*x, 2*k + 4*x - 18 = 0 for k.
3
Let r = 3 + 4. Let k = -4 + r. Solve -k = -5*d + 3*a, 4*d + 2 = -2*a + 22 for d.
3
Let p(x) = 5*x**3 - x**2 - x + 1. Suppose 1 = -4*t + 5. Let q be p(t). Solve -2 = q*g - 2*n, -g - 3*g + 33 = 5*n for g.
2
Let m(z) = -z**2 - 5*z - 4. Let r be m(-3). Suppose 0 = p + q + 3 - 1, 5*p = 3*q + 22. Solve i - r*g = 3, -p*g = 2*i - 5 - 7 for i.
5
Suppose 5*z - 2*s = 8 + 32, 5*z = -4*s + 10. Suppose q + q = z. Solve g - 16 = -3*n, n - 2*g - q*g = 0 for n.
5
Suppose 80 = 4*n + 60. Solve y = -n*f, -f + y + 6 = -0*f for f.
1
Let y(v) be the first derivative of -v**2 - 5*v + 1. Let w be y(-4). Solve 0 = -5*t + w*t - 4*s, t = -4*s - 4 for t.
4
Let x(s) = s**3 - 7*s**2 + 6*s - 10. Let m(q) = 7*q**3 - q + 1. Let u be m(1). Let i be x(u). Solve v + 3*v = -3*j - 3, 4*j + i = 4*v for v.
3
Suppose -3*f + 3 = 0, -3*d - 2*f + 3 = -5. Solve -d = 4*p + 3*w - 0*w, 0 = 2*w - 4 for p.
-2
Let x = -37 + 37. Suppose u = 6*u - 2*z - 79, 5*u + 4*z = 67. Suppose -5*i - 3*m = -14 - u, 2*m = 4*i - 10. Solve 11 = -3*a - t - 0, 2*a - t + i = x for a.
-3
Suppose 4*l - 19 - 6 = -3*y, 4*y - 32 = -5*l. Let t = -9 - -14. Suppose 0*o + 5*o = 20. Solve -5*g + l*w + 13 = -o*g, -4*g + t*w = -8 for g.
-3
Let c be (2/5)/(2/10). Let r(s) = s**3 - 6*s**2 + s - 6. Let a be r(6). Solve a*h = c*h - 5*y + 27, y = -4*h + 1 for h.
-1
Suppose 0 = -4*h + 10 + 10. Solve -4*a + 18 = -h*g, 5*a - 14 = 2*g - 0*g for g.
-2
Let a = -16 + 23. Suppose 5*l + a = -4*d, 2*d + 2*l = d - 4. Suppose d = b - 1. Solve 2*q + 0*y - b = -y, 0 = -2*q - 2*y + 6 for q.
0
Let g(q) = -q**3 + 4*q + 1. Let t be g(4). Let o = t - -87. Solve 5*r + o = 3*j, 6*r - r + 10 = -3*j for r.
-5
Let l(f) = f**2 + 6*f + 5. Let u be l(-6). Solve 0*p + 37 = -4*p + u*s, 2*p + 2*s = 4 for p.
-3
Let m(j) = 2*j**2 - j + 1. Let z be m(1). Solve 0 = z*o + b + b, -2*o - 4*b - 4 = 0 for o.
2
Let t(l) = -l - 13. Let g be t(-14). Solve 0*a - a - g = 3*k, a = 3*k - 7 for a.
-4
Let l = 8 + -1. Let m = l + 0. Solve -2*a + 10 = 2*h, -2*h - 5 = -m*h for a.
4
Let s = 10 + -6. Suppose -4 = s*r + 12. Let o be (6 - r)/(1*2). Solve n + 4*j - 8 = -2*n, 0 = n + o*j - 21 for n.
-4
Suppose h - 6 = -5*c + 4*h, 9 = 3*h. Solve -c*f - 12 = i - 2, -3*i = -15 for f.
-5
Let v be ((-1)/(-2))/((-5)/20) + 3. Solve -2*d - 8 = -3*m, 9 = -4*d + 3*m - v for d.
-1
Let w(p) be the third derivative of -p**4/12 + p**3/3 + p**2. Let v be w(2). Let g = v + 4. Solve 2*f - 2*z + 19 = z, 5*f = g*z - 31 for f.
-5
Suppose k - 3 + 23 = 0. Let n be -10*(-8)/k*-1. Solve -n*m = -3*j + 13, 0 = 3*j - 3*m - 8 - 1 for j.
-1
Let o(w) = w**3 - 13*w**2 + 2*w - 6. Let k be o(13). Suppose 4*l - 33 = -3*n, -4*n = 5*l - 23 - k. Solve -p - n = -2*u, 2*u - 3*p = -0*u + 1 for u.
5
Let j = -14 - -16. Let c = 1 - -1. Solve j*i + 9 = -c*i + 5*z, 5*i = -5*z for i.
-1
Let i(m) = -m. Let z be i(-3). Let t = -4 - -4. Suppose 3*j - 3 = -3*p - t, 3*j = -6. Solve -3*u - 5*x = -7, -z*u + p*x - 7 = x for u.
-1
Let d(k) = k**2 + 6*k - 4. Let n be d(-7). Solve y = n*u + 11, -4*u + 0*y - 18 = -3*y for u.
-3
Suppose -4*k = -3*k - 2. Suppose -41 = -h - 2*h + k*c, 0 = 5*h + 2*c - 95. Let f = h + -10. Solve -2*s - 3*p = 1, -5*p = -2*s - 0*s + f for s.
1
Suppose -5 = -5*l, -4*x = 4*l - 0 + 4. Let r be 5 + -2 + 1 + x. Suppose -5*o - 16 = f, o = r*o + 4. Solve -24 = -4*t - f*m, m = -6*t + t + 14 for t.
2
Let n(z) = -z + 3. Let p be n(4). Let f be (2 + -2)/(p/(-1)). Solve f = 2*d + 3*m - 3, 3*d + 2*m + 12 = 3*m for d.
-3
Let m = -14 + 16. Suppose -2*s + 15 = s + 3*o, -s - m*o + 10 = 0. Solve s = 4*j + 5*g - 2*g - 6, 10 = -5*g for j.
3
Let t be (0 - 1)*(-3 - -2). Let f be (-1 + 5)/(t + 1). Suppose 0 = -5*u - 10, 4*u + 10 = f*h. Solve 0 = 5*m - 15, 12 - h = 4*c + m for c.
2
Let a = 35 + -22. Let w(v) = 3*v. Let g be w(1). Solve 4*m + a = u, 