*h = q - c + 2, -5*q - 6 = -4*h for h.
-1
Let k(u) = -u**2 + 12*u - 8. Let p be 3*((-132)/9)/(-4). Let z be k(p). Solve -5*v - z*h = 13, -v = h + 4*h - 15 for v.
-5
Let a(t) = t**2 + 6*t + 1. Let h be a(-7). Let y = h + -3. Let v = 3 - 0. Solve -y*o + 3 = s, -4*o - 9 = -v*s + o for s.
3
Let f(q) = -10*q - 1. Let s(l) = 11*l + 1. Let a(i) = 5*f(i) + 4*s(i). Suppose -5 = 2*k + 3*k. Let r be a(k). Solve r*z = -4*m + 1 + 31, 2*z - 17 = -3*m for z.
4
Let k = -2 - -4. Suppose 5 = -m + 4. Let w = m + 4. Solve 3*b = -k*b + w*q + 10, -5*q = 0 for b.
2
Let j(c) = -c**3 + 4*c**2 + 4*c + 10. Let n be j(5). Solve 2*g + n*h = -1, -3*h - 3 = -g + 2 for g.
2
Let m(j) = 7*j**2 - 1. Let y be m(1). Suppose 4 + 5 = 3*r. Let d = 6 - r. Solve -21 + y = -3*a + d*u, -3*a + 2*u = -13 for a.
3
Let i be (4 + 1)*72/15. Solve i = 5*k + 4*a - 16, 2*a - 10 = 0 for k.
4
Let m be (-10)/30 - 37/(-3). Solve 0 = 4*k - 3*l + l + 16, l + m = -2*k for k.
-5
Let k be (12/(-5))/(1/(-5)). Suppose 3*t - 27 = k. Let r = -10 + t. Solve 5*v = 4*h - 14, r*v - 2 + 9 = h for v.
-2
Let f(v) = v**3 + 3*v**2 + v + 3. Let y be f(-3). Suppose -2*o - 7 = -5*o + 4*b, y = -3*o + 3*b + 9. Solve 5*l + 0 = -3*t - 4, -t + o*l = 8 for t.
-3
Suppose -15 = -2*y - 3*y. Let c be (y - 4/2)*3. Let g be (-2 + (2 - 1))*-9. Solve 5*n = -w - 6, -w - c*w - g = 5*n for n.
-1
Let c be ((-6)/(-3) + -5)/(-1). Solve -c*f = o - 6 - 2, -5*f + 4*o - 15 = 0 for f.
1
Let t(x) be the second derivative of x**4/12 + x**3/2 + x**2 - 3*x. Let w be t(-3). Suppose -y = -w*y + 2. Solve -2*a - 3 = 3*g - y*g, -4*g + 20 = 0 for a.
-4
Suppose 0*t - 2*t = -4*b + 18, 3 = 3*t. Solve -5*f - 22 = o - b*o, -1 = o + 2*f for o.
3
Let m(u) be the first derivative of 3*u**4 + u**3/3 + u**2/2 - u - 1. Let f be m(1). Solve -5*a + f = -2*p, -p - a + 2*a = 5 for p.
-4
Let u(f) = f**3 - 9*f**2 + 2. Let i = 17 + -8. Let j be u(i). Suppose 2*w - 3*t = w - 4, 4*t - j = 3*w. Solve 4 = 3*v + w*l - 6, -4*v + 10 = 2*l for v.
0
Let j(s) = -s**3 - s**2 + 3*s - 2. Let a be j(2). Let q be (-42)/(-8) + 2/a. Solve -p = 3*t - 15, t = -q*p + 3 + 2 for t.
5
Let t = -24 - -15. Let g = -9 - t. Let i(x) = x**3 + x**2 + x + 4. Let s be i(g). Solve -s*n + 4 + 4 = 0, 3*n = 4*c - 14 for c.
5
Let w be (-200)/16 + 1/2. Let c = -9 - w. Solve 2*n + 4 = -3*v + 4*n, -5*v + 25 = c*n for v.
2
Suppose 0 = 5*h - 10*h + 40. Let a = h + 1. Solve -2*w + a = -w + 2*x, -6 = -w - x for w.
3
Suppose 3*u - 4*d = 7, 15 - 1 = 2*u + 2*d. Solve -5*i = -5*f - 30, -3*i + u*i = f + 8 for i.
2
Let f(a) = -a**3 - 14*a**2 + 3. Let z be f(-14). Solve 3*l - z*t = 15, l - 2 = 3*t + 3 for l.
5
Let d be -7*(-3 + 4)/(-1). Suppose 0 = 5*y + d*v - 4*v - 22, -2*y + 3*v - 8 = 0. Solve -5*z + 3*k + 2 = 0, 2*k + 0*k + 12 = -y*z for z.
-2
Let o(x) = -3 + 2*x**2 - x**3 - 2*x + 4*x**2 + 0*x**2. Let b be o(5). Suppose 0 = 2*y - 40 - b. Solve 3*k - y = -5*l, 4*k - 20 = -2*l - l for l.
4
Suppose -11*a + 10*a = -4. Solve -4*q = a*c - 8, 2*q - 5*q - 4*c = -6 for q.
2
Let y(g) = -g + 7. Let v(m) = -2*m + 14. Let k(f) = -6*v(f) + 13*y(f). Let w be k(-5). Suppose b - w = -2*b. Solve -n + b = 4*h - 0*n, 0 = -4*h + n - 4 for h.
0
Suppose -2*y = 5*r - 34, 5*r + 16 = -4*y + 64. Suppose 2*n + y*s - 3*s = -6, 5*n - 5*s = 45. Solve -n*v = -v + 2*u - 10, -2*u = -v + 10 for v.
4
Suppose d + d + 18 = l, -4*l + 5*d + 63 = 0. Suppose -49*y + 9 + 89 = 0. Solve 2*m = -q + l, -m = 5*q + y*m - 32 for q.
4
Let c(n) = n**3 - 11*n**2 - n + 14. Let z be c(11). Let v(h) = -h**3 + 2*h**2 + 5*h - 4. Let x be v(z). Solve x*a = y + 2, 20 = 4*y - 2*y + 4*a for y.
4
Suppose 0 = -2*a + 7 + 1. Suppose 2 + 2 = a*t, 4*p - t - 63 = 0. Solve -15 = -5*l - 3*c - 6, -5*c = -2*l + p for l.
3
Suppose -8 + 0 = 4*p. Let n(z) = -3*z - 1. Let b be n(p). Solve -j - b*s + 5 = 23, -2*j = 2*s + 4 for j.
2
Let d be 2/6 + (-4)/(-6). Let o be ((-36)/(-15))/(18/(-60)). Let n be (-3)/(6/o) - d. Solve 0 = 3*z + t + 3, -4*z + n*t = -2*t + 23 for z.
-2
Let w = 14 - 9. Solve 3*l + 3 = -w*c + 2, 0 = -3*l - 4*c - 2 for l.
-2
Let c be (-498)/(-30) + 2/5. Solve n = -n + u + 7, -c = -3*n - 5*u for n.
4
Let i(h) = h**2 + h. Let a be i(1). Suppose -m = -2 - a. Solve 3*u = -m*r + 15, -2*r = -4*r for u.
5
Suppose 5*o + 129 = 194. Solve -4 = -3*l - v + 2*v, 0 = -l - 2*v + o for l.
3
Let w = 4 - -2. Let d = 9 - w. Solve d*q - b = 3, 4*q - 2 = 2*q + 5*b for q.
1
Suppose -p = 4*x - 12, 2*p = -5*x - 4 + 16. Solve -5*g + x*i = -30, 2*i - 1 = -3*g - 5 for g.
2
Let n(m) = m**3 - m**2. Let s be n(1). Suppose 3 + s = h. Let x = -41 - -44. Solve 0 = -x*k - k - 5*z + 16, -h*z = -k - 13 for k.
-1
Suppose 60 - 16 = 4*y. Solve -2*u + 13 = 3*v, 0 = 5*v - u - u - y for v.
3
Suppose 0 = -3*p + 2 + 10. Suppose -o = p*j - 7*j + 4, -2*o = -3*j + 2. Solve 5*u + 4*f + 16 = 0, -j*u + 4*f = 8 + 4 for u.
-4
Suppose -2*v + 27 = 3*l - 0*l, 0 = -4*v + 2*l + 62. Let x = -13 + 19. Suppose -6 - x = -2*w. Solve 4*b + v = y - w*y, -5*y = b for b.
-5
Let z = 44 - 40. Solve l + 17 = 4*f, -5*f + z*l + 13 + 0 = 0 for f.
5
Let k(x) = 4*x - 3. Let p be k(4). Solve o = -0*i - 3*i + p, 4*o - 4*i = -28 for o.
-2
Let z be ((-4)/6)/((-2)/3). Let b be (-9)/(-4) - z/4. Suppose -23 = -3*t - 2*q, -t = 3*q - 4 - 13. Solve b*h = y + 3, t*h = -2*y + 2*h + 22 for y.
5
Suppose 2*n - 7 = t, -n + 0*t - 10 = 4*t. Let b be -3*4/(-3) - n. Let g = b + 0. Solve 2*d - 4*w = w + 5, 2*d + 2*w = -g for d.
0
Let j(g) = -g - 3. Let n be j(-6). Solve -5*v = 4*q + q + 10, q + n*v + 10 = 0 for q.
2
Suppose 5*v + 0*q - 4 = 2*q, -2*v = -3*q + 5. Suppose 48 = -5*x - v*p, 2 + 3 = 5*p. Let b = x + 14. Solve -5*o - 8 = 6*t - b*t, -t + 2*o + 5 = 0 for t.
1
Let r(x) = x + 7. Let v be r(-4). Let n be 70/15 + (-4)/6. Suppose 0 = 11*l - 3*l - 72. Solve v*b + l = w, -5*w + 0*b + 7 = n*b for w.
3
Let k be (2 - 2)/(-3 + 2). Suppose -5*y = 3*l + 4 - 3, -l - 2*y - 1 = k. Solve z + 10 = 3*s, 0*s = 2*z + l*s - 25 for z.
5
Let i(q) be the first derivative of -2 + 3*q - 2*q**2 - 1/3*q**3. Let h be i(-4). Solve -5*x = 4*s + h, -2*x - 3*s + 4*s = 9 for x.
-3
Let d = -3 - -9. Let s(x) = x**3 - 6*x**2 + x - 2. Let g be s(d). Suppose -2*t + t - 7 = 3*h, 0 = 5*t - 4*h - 22. Solve t*a - 2 - 6 = 4*m, -2*m + 6 = g*a for m.
-1
Let b = -7 + 10. Suppose 54 = 3*f - 4*z, 5*f - 2*z - 5 = 71. Let n = f + -10. Solve r - 4*k = -1, n*r - r - 12 = -b*k for r.
3
Let p(n) = -n + 1. Let k be p(1). Let a(m) = -25*m**3 - 2*m**2 + 6*m + 8. Let s be a(-1). Solve 6 + 9 = 4*y - v, y + 4*v - s = k for y.
5
Let u be (1/3)/(1/15). Suppose 3*g = 5 + 4. Suppose 0 = 3*b - r - 31, -b + 5*r = -g*b + 32. Solve -4*j = -0*j - 5*p + b, j + u*p - 16 = 0 for j.
1
Let b = -2 + 5. Let f = 0 + 4. Suppose 12 = -0*d + f*d. Solve b*q = d*o - 9, o - 3*q - 7 = 6 for o.
-2
Let a(s) = s**3 - 3*s**2 + 5*s - 12. Let j be a(3). Solve -5*h + 10 = j*b, 2*h + h + 5 = -4*b for h.
5
Let f(i) be the third derivative of -i**6/120 + 7*i**5/60 + 7*i**4/24 + 13*i**3/6 - 2*i**2. Let b be f(8). Solve -2*g - b*q = 2, 2*q + 3*q = -4*g + 6 for g.
4
Suppose 3 = i, -3*t - t + 4*i - 16 = 0. Let y be (-1)/(-1) - t - -3. Suppose -y*s = -0*s - 30. Solve -8 = 5*g - 3*g, -c = 2*g + s for c.
2
Let q(z) be the second derivative of -z**4/12 - 4*z**3/3 + 2*z**2 - 3*z. Let f be q(-8). Solve -6 = -5*x - t, f + 0 = x + 3*t for x.
1
Let h(q) = -q**2 - 16*q - 15. Let m = 23 + -38. Let z be h(m). Solve -o + 7 = -5*p, -p + 1 = o - z for o.
2
Let a(x) = 3*x - 1. Let m be a(1). Suppose -3*o + 1 = -5*u - 1, 0 = m*u + o - 8. Solve 4*v + u = 5*q + 6, -8 = 3*q - v for q.
-4
Let h be 399/27 + (-4)/(-18). Let g = -11 + h. Solve -u + 2 = 4*r - 13, 12 = g*u + 4*r for u.
-1
Let z(s) = -s - 4. Let t be z(-5). Suppose -2*g + 9 = g. Let i = g - t. Solve 0 = -v + 5*k + 28, -3*v - 3*k - 12 = -i*v for v.
3
Suppose -23*q + 19*q = 0. Solve 0*l - 2*l + 3*z + 25 = 0, q = 5*l + 3*z - 10 for l.
5
Let l be (-4)/4 - ((3 - 27) + 2). Solve -2*i - n - 3*n - 16 = 0, -l = 3*i + 5*n for i.
-2
Let v = 107 + -75. Suppose -v + 7 = -5*u. Solve -5*q = -3*x - u, q + 0*q - 1 = 5*x for q.
1
Suppose -k - 4*o = k - 8, -o = -5*k + 20. Solve -g = -2*c + 11, -13 = -k*c + g - 2*g for c.
4
Suppose 30 = 8*z - 3*z. Solve 0 = -b - 5*h - 26, -z*b + b = -h for b.
-1
Let w(d) = -d**3 + d**2 - 2 + 3 - 3*d**2. Let o be w(-1). Suppose o = -m - m + 6. Solve 3*k = -3*q, 4*q - m = -2*k + 5*q for k.
1
Let p(l) = -4*