 4 - 1 = 0, -2*b + q*j = -10 for b.
2
Let z = -1 - -4. Suppose -4*a + 5*h = 1, 5*a - z + 1 = 3*h. Let l = -1 + a. Solve 5 = 7*c - 3*c + 5*g, l = c + 4*g - 15 for c.
-5
Let n(d) = -2*d**2 + 11*d + 10. Let g be n(6). Solve g = 3*z - 2*h, -3*z + 19 = h + 3 for z.
4
Let z be (-105)/10*4/(-3). Solve 3*t = 4*n - z, -5*n + 2*t + 2 + 19 = 0 for n.
5
Let b(a) be the second derivative of -a**4/12 + a**3/6 - 5*a. Let y be b(1). Solve 0 = x + 3*i + 4 + 5, 2*x - 4*i - 12 = y for x.
0
Suppose 0 = -5*q - y + 20, 0*q = 2*q - 2*y - 8. Solve -4*a = -5*k - 17, q*k - a + 13 = 2*a for k.
-1
Suppose 2*h = -2*q + 24, -5*q - 2*h + 32 = -25. Let k = -13 + 16. Solve q = 2*z - y, y - 2*y - 14 = -k*z for z.
3
Let u(d) = -d**2 - 32*d + 2. Let r be u(-32). Suppose 0 = 3*x - h + 5 - 34, x - 3*h - 7 = 0. Solve 0*n + 5*l + x = 5*n, 0 = r*l for n.
2
Suppose -4*u = -3*r + 7*r - 24, -2*r = -4. Let p be ((-1)/1 - u)*-1. Suppose g - 5*s = -0*g - p, -3*g + 5*s = 5. Solve 5*y + 10 = g, 6*y + 11 = t + y for t.
1
Suppose 3*p = -0*p + 9. Suppose 2*d = -j + p + 3, 2*j = -2*d + 2. Solve u + 4*b = -u - 8, 0 = -3*u - d*b - 12 for u.
-4
Let i be ((-42)/(-28))/(1/10). Let q = -12 + i. Solve 5*w - l + 7 = 0, 4*w - 1 = q*l - 0 for w.
-2
Suppose -17*a - 8 = -21*a. Let j = 10 - 5. Suppose -5 = -a*i + j. Solve 5*r = 3*w - 5, i*w - 2 = r - 1 for r.
-1
Let d = -85 + 101. Solve 5*k + d + 11 = -3*h, 4*h = 5*k - 1 for h.
-4
Let r(b) = b**2 + 6*b - 2. Let s be r(-5). Let j = 0 - s. Solve 4*z + q - j = 0, -2*q + 8 = 5*z - 0*z for z.
2
Suppose -5*s = n + 3, -5*s = -s. Let b = 1 - n. Solve x + b*o - 1 = 0, 0*o = o for x.
1
Let j = -4 + -3. Let b = j - -10. Let k = -61 + 73. Solve -2*q = 2*u + k, b*u + 3 = -q - 13 for u.
-5
Let l(a) = -a**3 - a**2. Suppose 2*y = -y. Let i be l(y). Solve i*d = 2*d - 5*u + 6, -3*u - 9 = 3*d for d.
-3
Let q(t) = t + 1. Let b be q(1). Suppose -4*r + 3*o - b*o = -55, -3*r - 4*o = -46. Suppose r = 3*k - 4. Solve k = 2*j - 4*c, -4*c - 9 = j - 2*c for j.
-3
Let s = -8 + -5. Let x(o) = -o**2 - 13*o + 4. Let n be x(s). Solve 4*a = f + a, 0 = -n*a + 4 for f.
3
Let z(j) = -j**2 - 3*j + 6. Let r be z(-5). Let b = r + 7. Solve -3*k + b = 5*a - 5, 4*a + k - 5 = 0 for a.
1
Let y = 61 + -38. Solve 5*i = 2*q - y, 5*i = -3*q - 18 - 10 for i.
-5
Let r(f) = -f**3 + 6*f**2 - 4. Let a be r(6). Let y = a - -9. Solve 4*w + 3*l + 3 = 0, -5 = -w - 3*w + y*l for w.
0
Let b(p) be the third derivative of -p**4/12 - 2*p**3/3 - 6*p**2. Let q be b(-4). Solve q*t - 16 = -3*z, -7 = -2*t + 3*t - 2*z for t.
1
Suppose -6*h = -17 + 17. Solve 2*b + 2*b + 20 = h, -15 = 5*o + 5*b for o.
2
Suppose 11 = 5*n - 14. Solve 0 = -d + n*h - 16, -d + 6*h = 3*h + 10 for d.
-1
Let m(r) = r + 7. Let u be m(-5). Suppose u*g = -3*g + 60. Solve o - 5*i + 15 = 0, -2*o - i + 2*i = g for o.
-5
Suppose -3*a - 7*a = 0. Solve 2*r + 3*p - 15 = a, 5*r = 4*p - 3*p + 12 for r.
3
Let l(o) be the second derivative of 2*o**3/3 + o**2/2 - 2*o. Let z be l(4). Solve -3*d + 5 = 5*a - 3*a, -d + 4*a = z for d.
-1
Let v(y) = -y**2 + 8*y - 9. Let f be v(6). Let k(o) = o**2 - 4*o + 2. Let r be k(f). Let p be r/((6/(-8))/3). Solve g - 4*s + s = 0, -2 = 2*g - p*s for g.
-3
Let o = 6 + -2. Suppose o*f - 10 = 22. Solve -z - 8 = -4*h + 6, -f = -h - 2*z for h.
4
Let k(n) = -n**3 - 11*n**2 - 11*n + 4. Let y be k(-10). Suppose -2 = 3*d - y. Solve 5 = 4*o - b, d*o + 3*b = b + 2 for o.
1
Let v = 21 + -8. Solve 4*w + 30 - v = a, -3*a + 11 = -2*w for w.
-4
Suppose 1 = o - 8. Suppose r = -2*r - o. Let c = r - -5. Solve -u = 4*w - 11, u = c*w - 0*w - 13 for w.
4
Let o be 17 - 16 - (1 + 2)*-1. Solve -3*t + o*r = -13, 10 = -3*t - 4*r - 9 for t.
-1
Let v = -2 - 4. Let m(o) = o**2 + 6*o + 5. Let j be m(v). Suppose 4*x + 4*c = 72, -j*x + c + 3*c = -81. Solve -5*k + 4*f - 2*f = x, -k - 1 = -f for k.
-5
Suppose -7 - 17 = -6*q. Solve -5*v + 2*w = 0, v - q = 4*v - 2*w for v.
2
Suppose 0 = i - 26 + 23. Solve -k = -i*s - 3*k + 11, 0 = -2*k + 2 for s.
3
Let s be 20/35 - (-186)/42. Solve s*w + 4*h - 18 = 0, -w - 4*h = h - 12 for w.
2
Let z = 6 - 6. Solve z*k + 3*k + 2*n + 11 = 0, -5*n = 5*k + 25 for k.
-1
Let r = 73 + -73. Solve 3 = 2*w - r*w - p, w - 15 = 5*p for w.
0
Let l(s) = -s**3 - 2*s**2 + 8*s + 2. Let p be l(-4). Solve t - 1 = -p*d, -5*d = 5*t - 3 + 8 for t.
-3
Let o = 47 + -45. Solve -4*u = 8, -o*u - 4 = -0*r - r for r.
0
Suppose -3*i + 4 = -5. Solve -v + i*f = 14, -v = -4*v - 3*f - 6 for v.
-5
Let o(p) = 6*p - 2*p**2 + 1 - 5*p**2 + p**3 + 0*p. Let n be o(6). Let k be (-2)/6 - (-16)/3. Solve n + 24 = 5*b, -10 = k*w + b for w.
-3
Suppose s - 306 = -301. Solve 4*k + 4*y - 2 - 10 = 0, -s*k = -3*y + 1 for k.
1
Suppose 5*b = 5*k - 90, -3*k + 25 + 29 = 5*b. Solve -5*j - h + k = 0, 5*h = -j + 7 + 11 for j.
3
Suppose 0 = 6*r - r + 20. Let z = r + 7. Solve 4*l - 2 = 5*m + 2, -4*l - 4 = -z*m for m.
-4
Let d = -13 - -5. Let w be -2 + 2/(-2) - d. Solve -4*a = n - w*n - 4, -4*n - 7 = -5*a for a.
3
Let s(g) = g**3 + 7*g**2 + 5. Let i be s(-7). Suppose -i*h + 33 = 8. Let r be (12/(-10))/(10/(-25)). Solve -r*w - 5 = -8*w, -4*m - 15 = h*w for m.
-5
Let g(w) = -w - 2. Let l be g(-4). Solve 0 = 4*s + 4*o + l - 6, 8 = -4*s - o for s.
-3
Suppose -5*q = -5*c - 50, 5*q + c - 38 = 3*c. Solve 4*z - 25 = 3*w - q, 5*z = -2*w - 5 for z.
1
Let c be 0/((-6)/(-15) + 7/(-5)). Solve 5*d = -c*h - h - 5, 0 = 4*h for d.
-1
Suppose 0 = 2*o - 1 + 3. Let m = 5 + o. Suppose m*u + 1 - 21 = 0. Solve -3*x + k + 0*k - 3 = 0, 2*k - u = 5*x for x.
-1
Let r be ((-296)/(-12))/(3/(-9)). Let c be 6/(-21) - r/14. Solve 0 = 4*m - y + 9, -5*m - c = -3*y + 8 for m.
-2
Let a = -14 - -17. Let u(v) be the third derivative of -v**4/24 + 7*v**3/6 - v**2. Let p be u(4). Solve 7*x = p*x - 2*m, 2*m = a*x - 14 for x.
2
Let s(h) = -h**3 + 7*h**2 + 8*h. Let m be s(8). Solve m = 3*n + 2*z - 1, n = z - 2*z + 1 for n.
-1
Let v = -43 - -47. Solve -45 = 4*r - z - v*z, -5*r - 2*z = 15 for r.
-5
Let g(m) = m**3 + 7*m**2 + 5*m - 1. Let y be g(-6). Let n(i) = i + 4. Let c be n(-4). Solve -d = c, -j - 2 = y*d - 1 for j.
-1
Let j be 18/45 - 1*23/(-5). Solve 3*d + 2*w = 19 - j, w - 5 = -d for d.
4
Let f be (0 - -6)/((-3)/(-4)). Suppose 0 = -2*d - i + f, 10 = i + 4*i. Solve 2*u + 2*x - d*x = -2, 4*u = -5*x - 32 for u.
-3
Let u(o) = 9*o**3 - 2*o + 1. Let x be u(1). Suppose d - 6 = -0*d. Solve -d*q - 5*f - 25 = -q, 3*q = 4*f - x for q.
-4
Let d(w) = w**2 - 15*w + 19. Let g be d(14). Solve 2*c + 5*f + 0 = -g, 0 = -c + 3*f + 3 for c.
0
Let p = -6 - -12. Let c be (22/3)/(p/9). Solve -3*y + 19 = -4*l, 4*y - c = l + 2*y for l.
-1
Let x(i) = -i + 20. Let v be x(15). Let p(b) = b + 3. Let h be p(0). Solve h = 4*z - 3*f + 9, v*f = -z - 13 for z.
-3
Let i be (68/20 - 3)*10. Solve z - 4 = -i*f + 7, -3*z - 2*f + 13 = 0 for z.
3
Suppose -7*a + 10 = -2*a. Solve -a*p - 2*o - 9 = -p, 0 = -p - 3*o - 13 for p.
-1
Let o(n) = n + 1. Let l be o(4). Suppose 2*q - 11 = -2*j + 1, 0 = 2*j - 2*q. Suppose -6*r + 25 = -r. Solve -l*z + c - j*c = -22, 3*c + r = 2*z for z.
4
Let s = -3 - -7. Solve 2*c - 7*c + 6 = -s*l, c + 3*l = -14 for c.
-2
Suppose -43 = -6*o - 7. Solve 0 = -2*c - 2*u - o, -1 + 0 = -u for c.
-4
Let g(r) = -r + 1. Let f be g(1). Let z = 15 + -8. Solve -n + u = 2*u + 8, -2*n + u - z = f for n.
-5
Suppose 28 = c + c - 5*w, -c + w = -8. Solve -3*l + 6*l + 5*u - 3 = 0, 12 = c*u for l.
-4
Let i = -41 + 44. Solve 3*h = i*l - 9, 4*l - 4 = -4*h - 0*h for l.
2
Let x be (-40)/(-440) + (-64)/(-22). Solve -4*u - p = -5*u + x, 16 = 4*u - 5*p for u.
-1
Suppose -4*i - 3*o + 29 = 0, 2*i - 49 = 2*o - 17. Let m = -6 + 12. Suppose -m = 2*q - 3*g, q - 4*g + i + 2 = 0. Solve q*a - 5*h = -16, 26 = 2*a + h + 3*h for a.
3
Suppose 4*z + 2 = 2*s + 5*z, -s + 3*z + 8 = 0. Suppose s*r + 4 = 6*r. Let o be 1 - (1 + (-2 - r)). Solve 4*f - 10 - 6 = -o*u, 0 = -2*u for f.
4
Let w(b) = 9*b**2 - 2*b - 1. Let t be w(-1). Solve -3*x + 5*s + 10 = 0, 25 + t = -2*x - 5*s for x.
-5
Let l(u) = -u**2 - 4*u - 4. Let f be l(-4). Let t(b) = -b**2 - 5*b - 1. Let o be t(f). Solve -2*g - o*g + 1 = 2*m, -g + 4*m = -9 for g.
1
Let f be 37/7 + (-10)/35. Let d(b) = -b + 18. Let s be d(18). Solve 0 = 5*o + f*r - 20, o - 4*o - 2*r + 12 = s for o.
4
Let f(d) = 3*d - 1. Let m be f(2). Suppose 6 = -a + 3*a, 4*a - 4 = 4*g. Solve -m*x = -3*l + 2 + 5, 3*l = -g*x + 14 for x.
1
Suppose -5*r = -h, 3*h - 10 = 7*r - 2*r.