 = -5*a for x.
3
Let o be (-3)/(3*(-1)/(-15)). Let m be 2/2 - (o + 11). Solve 19 = m*h + 4*g, 0 = 4*h + 4*g + 5 - 21 for h.
3
Let d(s) be the first derivative of -2 - 1/2*s**2 + 9*s. Let q be d(6). Solve -a - i - 4 = i, 2*a = q*i - 8 for a.
-4
Let o(r) be the second derivative of -r**3/6 - r**2/2 + r. Suppose -7 = y - 2. Let z be o(y). Solve 4*x - 4*c - 12 = 0, -15 = 5*x + z*c + c for x.
0
Let t = 4 + -4. Let h(y) = y**3 - y + 9. Let q be h(t). Suppose q*l - 4*l - 50 = 0. Solve 0 = 2*u + c + l, -3*u - c - 4 = -5*c for u.
-4
Let u(x) = -5*x - 1. Let y be u(-1). Solve -5*s + 13 = -2*l, -2*l - s = -y*s + 11 for l.
-4
Let g(r) = r**3 - r**2 + r + 19. Let s be g(0). Solve 2*k + 5*m = s, -m + 2 = k - 0 for k.
-3
Let o be (8/3)/4*3 + 1. Solve q - 2*q + o*s + 8 = 0, -2*s + 8 = -4*q for q.
-4
Let b = -9 - -11. Suppose -3*f - 3*d = 12, -2*f - f - b*d = 8. Solve 16 = -3*j - 0*c - 4*c, -j + c - 3 = f for j.
-4
Let f be (25 + 1 + -4)*(-2)/(-4). Solve 5*c - 5 = 0, 0 = -3*y + c - 0*c + f for y.
4
Let x(l) = -4*l**2 - 1. Let a be x(1). Let g be 8/(-2)*(-20)/8. Let r = a + g. Solve v - f + 11 = -r*f, -3*v - f = 0 for v.
1
Suppose 2*w = 3*g + 12, 2*g - 3*w = -g - 12. Let h be 0/(-1 - g - 2). Suppose -l + 3*l = h. Solve 5*z + 4*n - 30 = 3*n, -2*z - 3*n + 25 = l for z.
5
Let o = 2 + 1. Let y = -11 + 16. Solve 6 = -p + o*p, -y*v + 3*p = -11 for v.
4
Let l = -138 + 145. Solve 3*p = 3*n - 12, 3*p + n - 16 = l*p for p.
-4
Let t = 7 + -3. Suppose -87 - 25 = -8*x. Suppose 5*v + t = x. Solve a + v*a + 6 = 5*l, 0 = -4*l + 4*a for l.
3
Suppose 3*z - 8 = -4*y + z, -2*y + z + 4 = 0. Let f be 8 + 0/(y + 0). Solve -m + q = -4*q + f, 3*q = m + 6 for m.
-3
Let g = -40 + 42. Solve 14 = -g*v + 4*s, -5*s + 19 = -4*v - 0*s for v.
-1
Let v(c) = -c**3 - 3*c**2 - 5*c. Let j be v(-3). Suppose -5*q + 0*q = -10. Suppose -r + q = -0*r. Solve w = 4*s + j, -s + r*s = 4*w for s.
-4
Let j be (-6)/(-2) - (1 + 0). Let h be (2*-3)/(-1) - j. Solve -7 = -h*o + 5*b - 2, -4*b = -2*o + 4 for o.
0
Let r be ((-10)/(-6))/((-2)/(-6)). Suppose 15 = r*g - 2*g. Solve -2*b + 5*z - 2 + 4 = 0, 3*b - 3 = g*z for b.
1
Suppose 0 = 2*q + 2*q + 8. Let y = q + 4. Suppose 0*r - 9 = -3*r - 3*h, -4*r = y*h - 10. Solve -4*u - 8 = -r*n, 3*u + 0*u + 3*n + 6 = 0 for u.
-2
Let g(b) be the second derivative of 7*b**4/3 + b**3/3 + b**2/2 - b. Let s be g(-1). Solve -3*f + 3*c = s, 0 = -3*f + 2*f - 2*c + 3 for f.
-5
Let s = -28 + 29. Solve -f = 4*t + 7, -s = t + 1 for f.
1
Suppose -3*p + 7 = 2*t - 13, 5*t = -2*p + 28. Solve p*u - u = x - 2, x = 5 for u.
1
Suppose 0 = d + 5*d - 30. Suppose -3*s = 4*z - 28, -5*z + 0*s + 2*s + 12 = 0. Solve 4*n = -z*r + 4, 3*r + d*n = -0*n + 1 for r.
2
Let q(b) = 2*b + 12. Let s be q(-4). Let u = -3 - -5. Solve 11*o = 6*o - s*p + 21, 3 = -5*o + u*p for o.
1
Suppose -85 = 6*u - 11*u. Solve 0 = 2*x + 3*a - 9, 0*x + x - u = -4*a for x.
-3
Let p = 19 + -14. Solve -o = -p*g + 3*o - 11, -4*g - 7 = -5*o for g.
-3
Let c(t) = t**3 + 3*t**2 - 6*t - 5. Let i be c(-4). Let g = -12 - -16. Solve i*b = -b - o, -g*o - 12 = 4*b for b.
1
Suppose 0 = 5*h + 4*i - 29, -i - 15 = -5*h + 9. Let c(x) = 2*x - 3. Let g be c(-4). Let y be (g/4)/((-4)/16). Solve 0*a = 5*u - 4*a - y, -25 = h*u + 5*a for u.
-1
Let q(j) = -2*j - 10. Let y be q(-7). Let o(n) = -2*n + 0 + n + 2*n**2 - 2. Let z be o(2). Solve 0 = 3*c - y*b - b + 17, c = -z*b + 17 for c.
1
Suppose 5 = 5*i - h, 4*i - 2*h - 2*h + 12 = 0. Let g(n) = 6 + 17*n**3 - 4 - i*n - 1. Let b be g(1). Solve -4*a = b, -a = 3*l - 3*a - 2 for l.
-2
Suppose -3*k + 258 = 3*k. Let f be (-6)/(-8)*(k - 15). Solve -x + 4*x + 5*y - f = 0, 0 = -3*x + 3*y - 3 for x.
2
Let j be 452/9 + 2/(-9). Suppose 4*s = -s + j. Solve -2*r - s = 4*q, -5*q + 4*r = -1 + 7 for q.
-2
Suppose c = -0 + 2. Let a be 1/2*14 - 1. Suppose 2*t - a = -2. Solve 0 = -4*g - c*u - 4, -7 = -0*g + 5*g + t*u for g.
-3
Suppose 5*u - 6 = 4. Solve g + 10 = 5*p, p + u*g = 3*p - 12 for p.
1
Let s be (-3)/(-6) - (-27)/6. Suppose s*m = -5*v + 40, 0 - 18 = -v - 3*m. Solve 5*a = -3*j + 17, j - v*j + 2*a + 6 = 0 for j.
4
Let u(n) = n**3 - 4*n**2 - 7*n + 6. Let k be u(5). Let j = -3 - k. Suppose 0*r - 3*r + 36 = 0. Solve 0 = c - 3*h - 14, -2*c + 3*h = -j - r for c.
-1
Let h be 10*(-2)/(-4) - 1. Solve -30 = 5*y - h*u, y - u = -y - 9 for y.
-2
Let c = 11 - -15. Let f be c/7 - 16/(-56). Solve -16 = -2*t + f*r, -2*r - 1 = 4*t - 13 for t.
4
Let p(v) = v**2 - 3*v - 8. Let d be p(5). Solve 1 = k, 2 + 0 = b - d*k for b.
4
Let y(v) = -4*v - 3. Let h be y(-2). Solve 4*j = -h*w + 12, -5*j - 1 = 5*w - 16 for w.
0
Suppose 0 = -5*p - 3*z - 26 - 47, -5*p = -z + 89. Let t = -9 - p. Solve -20 - t = -4*g - 4*f, 4*g = 3*f - 7 for g.
2
Let j be (2 - (3 + -1))/(-2). Suppose -5*h = j, q - 5*h + 16 = 5*q. Solve 0 = -4*i + q*d, 0 = -0*i - 2*i + 4*d + 8 for i.
-4
Suppose 2*u = -2*d + 48, -u + 3*u = d - 36. Let k be (-9)/27 + d/(-6). Let p = k + 5. Solve p = 5*r + y - 12, 5*r - y = 18 for r.
3
Let t(f) = f**3 - 9*f**2 - 12*f + 23. Let b be t(10). Solve 3*k = b*s - 15 - 0, 5*s - 2*k = 22 for s.
4
Suppose -q + 0*q + 11 = 0. Suppose 3*a = -12, 5*c - q - 7 = 2*a. Solve -3*p - c = -2*v - 1, -5*v = p + 6 for v.
-1
Suppose 51*l - 55*l = -20. Let q = -2 + 7. Solve 0 = -2*i + 2*w - 14, -q*i - 3 = l*w + 2 for i.
-4
Let l(r) = 0*r + 4 - 5*r**2 + r**3 - 8 + 5*r. Let i be l(4). Solve -5*a = q - 2*a - 10, i = 4*q + 2*a + 10 for q.
-5
Let p(k) = -2*k - k - 9 + k. Let u be p(-6). Solve 2*x - c - 7 = 0, -2*x - 3*c = -2*c + u for x.
1
Let s be -1*(6 - 4/(-2)). Let m(d) be the second derivative of d**4/12 + 4*d**3/3 + d**2 - d. Let w be m(s). Solve w*z - 3*u = 7*z, -u = -4*z + 17 for z.
3
Let j = -1 + -5. Let l(r) = -r**3 + 3*r**2 + 3*r - 1. Let p be l(2). Let o = p + j. Solve -o*i + 1 = -t, t - 2*t = 4 for i.
-1
Let c(p) = p**2 + 2*p - 4. Let h be c(-4). Suppose b - 6*b = -h*v - 26, -12 = -4*b + v. Solve b = 2*z + 3*o, z - 8 = -3*o - 2*o for z.
-2
Let x = 26 + -11. Suppose -2*k + x = 3*k. Solve -k*d - 6 = -d - 4*j, 2*d = -4*j - 6 for d.
-3
Let n(s) = 2*s - 19. Let v be n(13). Suppose 0 = y - v + 2. Solve 2*c + 6 + 6 = -f, -y*f = -4*c + 4 for f.
-4
Let a = -11 + 5. Let z = 6 + a. Solve -5*x = -20, z*x + 2 = 2*g + 2*x for g.
-3
Let z = -5 + 5. Let a = z - -1. Let l = a - -9. Solve 5*v - 15 = -5*b, 0*v = -4*v - 3*b + l for v.
1
Let p be (-6)/21 - (-6)/21. Solve l + 6 = g - p*g, g = -l - 4 for l.
-5
Let h(i) = -12*i + 1. Let m be h(1). Let d = m - -14. Solve x + 2*x - 5*r - 17 = 0, d*x - 15 = 3*r for x.
4
Let h(n) = n**3 - 6*n + n**2 + 0*n**3 + 5 + 3*n**2. Let v be h(-5). Suppose 0 = 5*c - 11 - 4. Solve 0*k - v = k + 2*b, 3*k - c = 5*b for k.
-4
Let p be -5 + (-5 - -3) + 1. Let v be 0/p + -2 + 4. Solve 0 = -2*k, 0 = v*s - s - 4*k + 2 for s.
-2
Let s(c) = -c**3 - 6*c**2 + 5. Let a(h) = -h + 3. Let l be a(9). Let j be s(l). Let t(k) = -k + 2. Let p be t(-3). Solve -j*g = -5 - 0, g = -p*o + 11 for o.
2
Let i(d) = 7*d + 7. Let a(t) = 8*t + 7. Let h(j) = -6*a(j) + 7*i(j). Let p be h(-3). Solve -p*g + 25 = -5*l, 0*l = -4*g - 2*l - 10 for g.
0
Suppose 0 = -3*v + 4 + 8. Solve 20 = v*b, 5*b - 3*b = -f + 14 for f.
4
Let f(v) = -v**3 - 2*v**2 + 4*v + 4. Let u be f(-3). Let b be u/(1*(2 - 1)). Solve -l - a - b = 0, -2*l + 1 = -a - 0*a for l.
0
Let k be 39 + -5 - 0/(-1). Suppose -5*l + k = 9. Solve y - 16 = 4*q - 0*y, l*q = 4*y - 20 for q.
-4
Let a(w) be the third derivative of 5*w**4/24 - w**3/6 - 3*w**2. Suppose 0 = -2*x + 6*x - 4. Let f be a(x). Solve -3*k - 5*y - 16 = 0, 4 + f = -4*y for k.
-2
Let l be 15/(-10) - 1/2. Let g be (-1)/(2/16*l). Suppose -44 = -4*h + 4*s, -h + 4*h - 34 = g*s. Solve -2*a = 2*r + h, -3*r + 0*r - 5*a - 25 = 0 for r.
0
Suppose -3*c - c = 4, -5*w + 25 = -5*c. Solve -2*t = -h - 6, -3*h - 2*h - 24 = -w*t for t.
1
Let u be (1 - (-1 - -1))*24. Suppose 0*k - 3*k + u = 0. Let l be (-2)/k + 17/4. Solve 5*t + 3*r - 12 = 2*t, 9 = l*t - 3*r for t.
3
Let a(b) = b. Let r be (-10)/15 + (-2)/(-3). Let y be a(r). Solve -4*g - 5*j = y, 5 = g - j - 4 for g.
5
Let r = -96 - -99. Solve 9 = r*g - 3*s, -2*g + g + 4*s + 6 = 0 for g.
2
Let b be 2/(-8) + 187/44. Solve 0 = 2*s + k + 3, -5*k + b*k = -3 for s.
-3
Let d(a) = -a - 13. Let q(j) = 3*j + 38. Let b(k) = 11*d(k) + 4*q(k). Let x be b(0). Suppose 3 - 7 = -2*u. Solve 0*z + x = -3*r - 3*z, 5*r + 22 = u*z for r.
-4
Suppose 3*q = 4*z - 