 = 2*h. Solve h = y + 2*f + 3, 5*f = 3*y - 0*f + 9 for y.
-3
Let q(t) = -3*t - 12. Let k be q(-5). Suppose 0 = -2*r - 3*r. Solve 4*h - p + 12 = r, -2*h - k*p + 11 = 3 for h.
-2
Suppose -3*w = -4*d - 12, 0*w + 43 = 5*w + d. Suppose 4*u - 5*c = -w, 3*c = -3*u - c + 25. Solve -i + 2 = 0, -5*p + u*i + i = 33 for p.
-5
Let h(m) = -2*m. Let d be h(-1). Suppose c + d*c - 6 = 0. Solve 0*k + c = f + k, -k = -f + 8 for f.
5
Suppose 6*g - 25 = g. Suppose -5*f + 50 = g. Let b be (-6)/f - (-5)/3. Solve 3*p - 2*h = -b, -5*h - 18 = 3*p + 11 for p.
-3
Suppose 4*z + 5*n - 1 = 2, 2*z + n = 3. Solve 2 = 3*b - z*f + 22, 4*f = -b + 12 for b.
-4
Suppose -2*s + 11 = 3. Let g(q) = 2*q + 7. Let j be g(-5). Let z = j - -5. Solve s*h + 0*l + 15 = -l, 5 = h + z*l for h.
-5
Suppose -2*r - v = -4*v - 13, 0 = -r + 2*v + 7. Let c(m) = m + 7. Let o be c(0). Solve 0 = -4*n + 3*h - 6*h - r, -4*h - o = 5*n for n.
1
Suppose 2*n = -4*f + 12, -3*f + 5*n = 1 + 3. Solve 25 = 5*a + f*y, 5*y = -4*a + a + 15 for a.
5
Let g(v) = v**2 + 3*v - 4. Let h(l) = -l**2 - 8*l - 4. Let t be h(-8). Let j be g(t). Solve j = 3*f - 2*d + 4, -3*f + 7*f = 5*d - 10 for f.
0
Let a = 16 + -8. Let n = -4 + a. Solve q + 3*r - 11 = -3*q, -n*r + 20 = 0 for q.
-1
Suppose -4*u = -5*n + 2*n - 140, -2*n - u = 75. Let p be (-2)/(-3) + n/(-12). Solve -5*h + 2*h - 4*i = -2, -p*i = -2*h - 12 for h.
-2
Suppose 24 = -0*j - 3*j. Let q be j/12 + 2/3. Suppose 4*m = p + 21, 3*m - 2 = -2*p - q*p. Solve 0 = -3*u + 5*f - 11, -4*u - m*f = u - 31 for u.
3
Let c(v) = 4*v**2. Let t(k) = 5*k**2. Let d(p) = -6*c(p) + 5*t(p). Let u be d(-2). Let x = 7 - u. Solve 0 = x*q + 3*b, -2*b - 3 = -q + 9 for q.
4
Suppose -3*v - 2 = 4*s, -16 + 2 = -5*v + 2*s. Solve 0 = v*m - 6, -3*m + 5 = -2*x + 4*x for x.
-2
Let j(i) be the first derivative of -i**4/4 + 2*i**3 + 5*i**2/2 + 6*i - 3. Let z be j(7). Let l = 10 + z. Solve -4*o + 2*b - 20 = 0, -2*b = l*b for o.
-5
Suppose 8*o - 6*o = 8. Solve -k + 14 = z + 4, 2*z = o*k - 10 for k.
5
Suppose 3*n = -p + 14, -5*n - p + 3 = -19. Solve 0*o = -o - 5*u - 6, 4 = -n*u for o.
-1
Suppose -y + 2*q + 7 = 7*q, 3*y + 4*q = 10. Let f = y + 3. Suppose 5*w - f*d - 95 = 0, -d = -5*w - 3*d + 130. Solve n - 3*t = -6, 2*n = 7*n + 3*t - w for n.
3
Suppose 36 = -5*a + 46. Solve 0 = a*x + 2*p + 2 + 10, -x + 4*p = -4 for x.
-4
Let j be (-3)/((-38)/16 + 2). Suppose b - j = -b. Suppose -7*h + 6 = -b*h. Solve 0*k - 1 = k, 0 = h*q + 5*k + 9 for q.
-2
Let i be (3 + 3)/(3/2). Let p = 7 + -3. Let q = p - 2. Solve i*y = -5*o + 24, -q*y + o - 5*o = -18 for y.
1
Let w = -1 - 1. Let m = 0 - w. Suppose -4*j - 4*n + 24 = 0, -4*j - j = 3*n - 26. Solve 4*l - 16 = j*r, -m*l + 2*r = 2*l - 6 for l.
-1
Let q be -3 - (-4 - (1 - -1)). Let u be (-3)/1*(q + -4). Solve -4*p - 20 = -v, -3*v + 17 = -u*p - 7 for p.
-4
Let v be 1/((4/34)/2). Let k(f) = f**2 - 16*f + 7. Let i be k(16). Solve -4*j = 4*m + m + v, 0 = -5*m + 4*j + i for m.
-1
Let z be -2 - 1*(-11 + (6 - 2)). Solve -z*y = -4*b - 6, y + 4*b = -21 + 3 for y.
-2
Suppose -2*j + 8 = -2. Suppose -4*h + 56 = -4*v, -6*h = -h + j. Let c be (-5)/(-3) + (-5)/v. Solve 0*m - 1 = m + c*d, -3*m - 4*d = -3 for m.
5
Let v(o) = -o**3 - 13*o**2 - 11*o + 12. Let u be v(-12). Solve -6 = -3*d + 3*t, 2*d + u*d = -t + 13 for d.
5
Let h be 0/(3/12 + (-6)/(-8)). Solve 5*q + h*q + 7 = n, -3*q = 3 for n.
2
Let a = -4 - -6. Suppose 5*c = a*o - 7*o + 35, -2*c + 3*o - 6 = 0. Suppose w = c*w. Solve r + 19 = -2*r - 2*x, 2*r - 4*x + 2 = w for r.
-5
Suppose 2*s + 2*n - 20 - 36 = 0, 4*s = 5*n + 67. Solve 0 = 3*x - 2*k - s, 0*k - 3 = -3*x - 3*k for x.
5
Let w = 39 + -21. Let l = 7 + w. Solve 3*y - 1 = -3*a - l, 0 = 2*a - 5*y - 19 for a.
-3
Let s be 4 + -1 - 10/10. Solve n = -5*k - 0 - 5, -s*n = -k + 10 for k.
0
Let v(c) = -3*c - 1 + 0*c + 0*c. Let j be v(-1). Solve -3*l = -2*x - 2, -l = 3*l - 5*x + j for l.
2
Suppose 2*k + 2*w - 14 = 6*w, 2*k - 5*w = 17. Suppose 4*a + k + 17 = b, -a = -3*b + 10. Solve -3 - 2 = -5*t + b*z, 0 = -4*t - 3*z + 4 for t.
1
Let m(i) = 4*i + 0*i - 5 - i + 4. Let j(k) = -k + 7. Let n be j(5). Let c be m(n). Solve -r - r = -4, 3*r - 16 = -c*g for g.
2
Let i(k) = -k + 10. Let y be i(7). Solve -4*l = 3*t - 14, -y*l = 3*t - 11 + 2 for t.
-2
Suppose 5*v = w + 8, -3*v - 5*w = -25 + 9. Suppose -4*d + 4 + v = 3*a, -10 = -5*a - 5*d. Solve -a*b = -u + 1, 0 = 3*u + u - 2*b + 2 for u.
-1
Suppose 0 = 5*r - 0*r - 20. Let b be (-1)/(-1) - r/(-2). Suppose 5*q + 4*w - 12 = 25, 2*q + w - 13 = 0. Solve c - 5 = -b*d, -d + 7 = -0*c - q*c for d.
2
Let u = 0 - -2. Solve 0 = 4*v + t + t - 12, -2 = v - u*t for v.
2
Let n = 94 - 94. Solve -a = -i - 1 - n, 5 = 3*i + 5*a for i.
0
Let y = 7 + -7. Let u be y + -2 + 4 + 2. Let a(x) = 2*x - 5. Let m be a(u). Solve 4*b + m*g + 0*g + 22 = 0, -2*b + 5*g = -2 for b.
-4
Suppose -2*j + 4 = 0, 3*x = 6*j - 2*j - 2. Suppose 5*k = 4*k + x. Solve k*h - 4*f - 5 = -1, -4*f = -4*h for h.
-2
Let a(b) = -b**3 + 2*b**2 + 5*b - 4. Let d be a(3). Suppose z - 4*c = -5*c - 1, -2*z + d = c. Solve -5*m - 1 = 3*r - 20, -31 = -5*m + z*r for m.
5
Let x = 0 - 0. Suppose x*a = 5*a - 15. Solve -a*y + 5*y - 6 = 0, 5*y = -2*c + 13 for c.
-1
Let x be (-2)/9 + 29/9. Suppose j - x = -0. Solve -j*r + 12 = -0*r - 2*y, 3*r = 3*y + 15 for r.
2
Let t = -17 + 24. Solve 2*a - 2 = 2*n, -2*a + t = n - 7 for n.
4
Suppose -t = 4*t - 15. Suppose 5*n = 3*s + 45, 4*n - 32 - 21 = -s. Let i = n + 0. Solve 2*x - 3*f - i = -7*f, t*x - 7 = 5*f for x.
4
Let h = 7 + -3. Suppose -18 = -4*p + 5*n + 22, 0 = p + h*n - 31. Let a = -11 + p. Solve t + 4 = -a*t - 4*z, 3 = 5*t - 3*z for t.
0
Let p be 8/(-5) + (-20)/50. Suppose -c - 6 = y, 5*y - 7 + 28 = 4*c. Let q be (-4 + y)*2/p. Solve 4*t - 3*x + 7*x + 32 = 0, q = -3*x for t.
-5
Suppose 0 = 3*o + 5*z - 1, -6*o + 2*o - 2*z - 22 = 0. Let u be o/(-3)*21/14. Solve 0 = 2*v + 3*c + 10, -4 + 6 = 3*v - u*c for v.
-2
Let c be ((-2)/4 + 1)*10. Suppose l = -5, f + 4*f + c*l - 20 = 0. Solve 5*k = -10, w + f - 1 = -5*k for w.
2
Let g = -15 - -31. Suppose -5*y + 9 = -g. Solve a - 4*v = y*a, -5*v + 10 = -5*a for a.
-1
Suppose 2*o = -b + 9, 0*o + 9 = 3*o + 3*b. Solve -2*q + o = 4*j, -5*j + 8 = 4*q + 2 for q.
-1
Suppose -y - 2 + 6 = 0. Solve -2*l + 6 = y*h, 5*l + 0*h - 15 = -h for l.
3
Let j(y) = y - 15. Let d be j(18). Solve -6 = -0*r - 2*r - d*u, 3*r - 5*u + 29 = 0 for r.
-3
Let q(g) = -g**3 - 6*g**2 + 5*g - 10. Let l = 11 - 18. Let r be q(l). Suppose -6 = -5*x + r. Solve -2*f + 8 = x*w, 2*f - 3*w - 2*w + 20 = 0 for f.
0
Suppose 3*y + 16 + 8 = 0. Let g = -5 - y. Solve -7*w + 3*w + 16 = i, -g*w = -i - 19 for i.
-4
Suppose -3*y = -7*y. Suppose c = 2*j + 1, -3*j + y + 6 = 0. Solve 6*n - 2*n = -5*f, 5*f - c*n = -45 for f.
-4
Let q = 16 - 6. Suppose -3*u + q = 2*u. Let b be (-1 - (-1 - 5))*1. Solve 4*z + 13 = -5*r, b*z + 2*r + 5 = -u*r for z.
3
Let d = -7 + 11. Let b(t) = -t - 18. Let q be b(-13). Let l(n) = n + 5. Let x be l(q). Solve w + 3*k + x*k + 5 = 0, w + d = -2*k for w.
-2
Let t be -4*1*(-12 + 3). Suppose 0*x - t = -4*x. Solve -2*i = 4*v - v + x, 4*i - 22 = 2*v for v.
-5
Suppose 3*x - 20 = -2*x. Solve -x*a - 13 = -4*q + 19, q - 20 = 4*a for q.
4
Suppose 0 = 4*r + 4, -p - p + 5*r + 11 = 0. Suppose 5*h - 4*b - 22 = 0, 2*b = p*h + 3*b - 3. Solve -3*i + 10 = -h*j, 5*i - 4*i + 3*j = -15 for i.
0
Suppose 1 = i + 2. Let d be 3*(1 + -2)*i. Suppose 0 = 2*h - 4 - 0. Solve -u + 11 - d = 3*c, 3*c - 13 = -h*u for c.
1
Let z be 0 - -1 - (-1 + 2). Let u = 21 - 11. Suppose u - 50 = -4*s. Solve 5*l + 3*x + 7 + s = z, 23 = -5*l + 3*x for l.
-4
Suppose 4*i = -4*x - 4, 2*i + 5*x = i - 5. Solve -5*f + 0*f + 4*q - 21 = i, 3*f = 5*q - 23 for f.
-1
Let s = 1 - -1. Suppose s*z - 3*p + 6*p = 12, 0 = z + 4*p - 1. Suppose 0 = -4*w + 4*t + 92, z = t - 4*t. Solve -w = -5*a - 4*f, 2*a + 2*a + 2*f - 16 = 0 for a.
4
Let x be (3/15)/(21/210). Let m be (12/10)/(3/30). Solve -14 = 5*a - 2*f, 7*a - x*a + m = f for a.
-2
Let o(q) = -q + 8. Let b be o(4). Suppose 5*z - 25 = 2*x, b*x - z = -4 - 1. Solve -2*m + 28 = m + 5*w, x = 4*m + 5*w - 29 for m.
1
Suppose 0 = -3*h, 2*h - 8 = -4*n - 3*h. Let z be ((-70)/25)/((-12)/30). Solve -4*c = -n*d + d + z, 5*c = 5*d - 5 for c.
-2
Let r(a) = 2*a**2 + 3*a + 1. Let n be r(-4). Let o be 2/3 - 8/12. Suppose o = 4*c - n - 19. Solve -2*y + 1 = 3*k, -3*y + 0*k + c = -4*k for y.
2
Let t(a) be the first deri