-12). Let x = -13 - h. Solve -2*b + 4*w = 30, 0 = -b + 6*b - 4*w + x for b.
-5
Let t be 11 + -3 + -1 + -5. Solve -t*h + f = -4, 3*h + 7 = 6*h - 2*f for h.
1
Let a be ((-21)/28)/((-3)/12). Solve -3*t = -h - 8, a = -2*h + 5*h for t.
3
Let c = -669 - -671. Solve -3*f = 0, -5*s - 7 + c = 4*f for s.
-1
Suppose -8*c = -4*c - 188. Suppose 3*y + 3*t = -y - c, 0 = 4*t + 4. Let d be 245/77 - (-2)/y. Solve 5*h + 5 = -4*r - 20, -r + 15 = -d*h for h.
-5
Let z(c) = -c**3 + 6*c**2 + c - 2. Let g be z(5). Suppose -5*n + 5*q - 17 = -52, 4*n + 2*q = 4. Solve 2*p = -n*a + 4 - 5, 4*a = 4*p - g for a.
-3
Let f(c) = -c**2 + 14*c + 74. Let s be f(18). Solve 1 = -t, -q + t - 2 = -s*t for q.
-5
Let o = -9 - -7. Suppose -3*v + 18 = x, 2*x + 41 = 3*v + 2*v. Let w = v + o. Solve -4*a = -12, w*a = 3*r + r + 3 for r.
3
Let p(i) = -5*i - 5 + i - i**2 - i. Let q be p(-5). Let b be (3/(-4))/(q/20). Solve 4*w + 4 = -5*o, -2*w + b*o = -0*o - 20 for w.
4
Suppose 0 = -h - 3*f - 22, 2*f + 52 = -4*h - f. Let c be h*3*3/(-18). Solve d - 3*y + 13 = 1, -5*d - c*y = -20 for d.
0
Let l be (-312)/(-36) + (-8)/(-6). Let j be 4/(-20) - (-22)/l. Solve 5*a = -u + a, j*u = -5*a - 3 for u.
-4
Suppose p - q + 86 = 0, 5*q = p + p + 169. Let m = p - -90. Solve 4*b = -4*d, b = d - 5 - m for b.
-4
Let h(r) = r**3 + 3*r**2 - 4*r + 4. Let y be h(-4). Solve -y*n = -4*f + 28, 9*f + 2*n = 6*f + 11 for f.
5
Let v(l) = l**2 - 7*l + 6. Let k be v(5). Let u = 11 + k. Suppose 0 = 2*b - 4*o, -u*o = -3*o - 12. Solve -3*c = 5*i, -i + c - 10 = -b*i for i.
3
Let m(t) = 2*t + 2. Let h be (-2)/((-5)/(9 - 4)). Let z be m(h). Solve z - 2 = -4*w - j, 0 = 2*w + j + 4 for w.
0
Let s = 25 - 16. Let x be 1 + (-12)/10 + 640/200. Solve 3*v + 15 = -3*a, -s + 21 = -x*v for a.
-1
Let g = 514 + -510. Solve -g*w + 4*m = -12, -35 = -w + 5*m - 12 for w.
-2
Suppose 0 = -54*a + 64 + 44. Solve -h = -a, 9 = -4*o + o - 3*h for o.
-5
Let d(v) be the second derivative of -v**4/12 - 7*v**3/6 + 3*v**2/2 + 20*v. Let r be d(-7). Solve r*j + 7 = h, j + 3*h = -0*j - 9 for j.
-3
Let q be 3/(4/(80/3)). Let h be 6/8 + (-315)/20. Let u = h + q. Solve -2 + 8 = 2*v, 2*v = -u*s - 4 for s.
-2
Suppose -3*z - 2*a - 120 = -7*a, -2*z - 80 = 3*a. Let l be z/(-5) - 3/1. Solve 0 = 2*o, 0 = -l*p + 3*p - 2*o + 6 for p.
3
Suppose 35 = -u + 36. Solve -t - 5*q + 13 = 3*t, -q = -u for t.
2
Let f = -590 + 595. Solve f*w - 3*n = -3, w - 3*w - 1 = -n for w.
0
Let i(n) = -n + 12. Let w = 3 - 0. Suppose 5*j + 2*r - 64 = 0, 32 = -0*j + w*j - 2*r. Let t be i(j). Solve -5*c = -3*y + 22, 16 = -y - 3*c - t*c for y.
-1
Let z be 4 + (-15)/(-6)*32/(-20). Solve 3 = m + 4*t - 6, -5*t + 5 = z for m.
5
Let y(j) = -2*j**2 + 49*j - 19. Suppose 5*s = 8*s - 72. Let g be y(s). Solve 2*h + 2*q + 1 - 21 = 0, g*h = 2*q + 15 for h.
5
Let t be (-1)/(-2) + 135/(-18). Let x(b) = b**3 + 8*b**2 + 7*b + 16. Let z be x(t). Let u = z + -14. Solve -3*o + 8 = 2, -4*c - 16 = u*o for c.
-5
Suppose 5*f - 4*d - 31 = 0, -2*f - 7*d + 2*d = 14. Suppose 35 + f = 19*j. Solve -v - 11 = -2*w, -22 = -j*w + 2*v - 6 for w.
3
Let s be (-5)/((-60)/68)*3. Let m = -17 + s. Suppose 0 = 5*k + 5*x, 6*k - 3*k - 3*x - 24 = m. Solve -k = -2*i - 2*t - 2, 1 = -3*i - t for i.
-1
Let x be 6/(-8) + (-665)/(-76). Solve -x = 4*l, -3*o - l - 17 = -0*l for o.
-5
Let r = -205 - -209. Solve 4*t = 20, 2*v - v - r*t = -15 for v.
5
Let g = -78 + 24. Let l = g - -56. Solve 2*s + l*h = 14, -s = -3*s + 2*h + 6 for s.
5
Let y = 210 + -210. Solve 4*d = m - 13, -m + y = 5*d + 5 for m.
5
Let n(w) = 22*w**2 - 155*w + 10. Let j be n(7). Solve -6*y - 3*o = -11*y - 11, -4*y + j*o = 7 for y.
-4
Suppose 34*y - 63 = 13*y. Let i = 8 + -5. Solve i*j - 5*v = 0, 0*v = y*j - v for j.
0
Let a be ((-13)/34 + (-22)/187)*0. Solve -3*r + q - 10 = -0, a = q - 4 for r.
-2
Suppose 3*v = -3*f + 27, 2 = -2*v - 3*f + 23. Solve 0 = 3*p + 2*p + 3*t + v, -2 = t for p.
0
Suppose 5*c = -5*m + 55, 4*c - 8 = 3*m + 2*m. Solve -4*p = 5*b + c, 3*b = -4*p + 2 - 3 for b.
-3
Let p(f) = 11*f - 2. Let y(k) = 17*k - 4. Let h(v) = -8*p(v) + 5*y(v). Let t be h(-2). Solve 5*c - q = q - 6, t*c = 5*q + 6 for c.
-2
Suppose -7*t + 500 = -95. Let z = t + -81. Solve -q - z*u = 19, 4*q = -0*u + 5*u + 29 for q.
1
Let l(n) be the first derivative of -n**3/3 - 3*n**2 - 2*n - 7. Let f be l(-4). Solve -y + u + 23 = f*u, -3*u = -y - 9 for y.
3
Suppose 2*j = -2*l + 24, 3*l = -2*l - 3*j + 60. Suppose -l*x + 2 = -22. Solve x*v - 4*h + 27 = -v, -v - 3*h = -4 for v.
-5
Let d(s) = -s**3 + 4*s**2 + s - 4. Let l be d(4). Let o be 4*5*2/20. Suppose -8*v = -3*v + 10, 3*w - o*v - 19 = 0. Solve g + z + 5 = l, -3*g + z + w = g for g.
0
Suppose 2*k + 2*c = 4*k, 0 = 4*k + 4*c - 8. Let d be (k - -1)*(1 - -1). Let p be 1/(-2) - (-6)/d. Solve z = 3*n - p - 5, 3 = -4*n + 5*z for n.
3
Suppose -s - 1 = -5. Suppose 4 = -52*f + 53*f. Let h(z) = z**3 + 4*z**2 + 3. Let x be h(-4). Solve -x = -3*i, -k - s*k + 1 = -f*i for k.
1
Let h be (-2)/8*-2*8. Solve -4*w + 2*s + h = 0, -5*w + 11 = -s - 0 for w.
3
Let b be (-5)/15*(-3 + 0). Solve 3*q = -4*n - 2 - b, 3*q = -3*n - 3 for n.
0
Let z be (-16)/(-6 + 2) + 1. Let w be (6 + 4)/z - 0. Solve 15 = 3*r, w*q - 4 = -5*r + 23 for q.
1
Let c be (-4)/(-10) + (-54)/(-15). Solve c*a - v + 18 = a, -a = v + 2 for a.
-5
Let j be 1/(1*(-3)/6). Let v = 0 - j. Suppose 5*l = -15, -2*s + v*l = -3*s - 4. Solve 3*g = -s*d + 14, -2*g - 2*d + 18 = 3*g for g.
2
Let u = -12 + 15. Suppose -u*l = -2*l - 43. Suppose l = 5*f - 2. Solve -3*j = -0*j + 2*p + 8, f = -5*j + p for j.
-2
Let o(d) = 5*d**2 - 1. Let x be o(1). Suppose -4*f = x*a - 45 + 13, -2*a - 4 = -2*f. Solve -2*c + 0*c = -3*v, -f*c - 13 = -v for v.
-2
Let x(d) = -2*d - 50. Let y be x(-26). Solve 3 = y*o + 7, -3*o + 3 = 3*n for n.
3
Suppose 2*d + 20 = 7*d. Let u(t) = -t**3 + 5*t**2 - 2. Let y be u(d). Solve 4 = p + 3*z, -2*p + 2*z + 3*z - y = 0 for p.
-2
Let j(r) = r**2 + 4*r. Let m be j(-5). Let s be 35/(-25) - (189/(-35) - -6 - 6). Solve -8 = -5*i + s*f + 16, 4*i + m*f - 11 = 0 for i.
4
Suppose 10 = -40*c + 45*c. Suppose 4*m - 10 = -c*v, 0 = -m + 3*m + 4*v - 2. Solve 0 = -m*i - 2*p, 8*i + 4*p + 2 = 3*i for i.
2
Suppose 3*f - 3*l = 21, 4*f + l = 2*f - 1. Let b = 8 + -11. Let o = b - -3. Solve a + f + 3 = -s, o = s - 4*a - 10 for s.
-2
Suppose 40 = -f + 6*f. Suppose 26*y = 20*y + 18. Suppose -y*j + f = -40. Solve -5*m = o - 21, 3*o - j - 7 = -5*m for o.
1
Suppose 3*c + c = 2*n, 3*n = 3*c + 6. Suppose u + 6 = -2*p + 6*u, 2*u + 4 = n*p. Solve 2*k - 3*z = -p*k, -14 = 2*k - 5*z for k.
3
Let y(c) = -c - 17. Let x be y(-12). Let h be (0 - x/(-3))*-3. Solve -4*r + 5*p - 2*p = h, -p = -2*r - 3 for r.
-2
Let c = -262 + 268. Solve i = -2*o + 4, i - o - 2*o + c = 0 for i.
0
Let i = -5 - -15. Let z = i - 16. Let d be (-2)/z - 41/(-3). Solve -o - d = 2*u - 4*o, 0 = 3*o - 6 for u.
-4
Let u be (2 - 3)/(1/(-2)). Suppose o - u = -0. Suppose -x - o*w = -6*w - 12, 2*w - 4 = -2*x. Solve -4*a = 5*b - 2*b - 31, -x*a = b - 21 for a.
4
Let y(m) = 35*m**3 + 2*m**2 - 1. Let a be y(1). Let d be 34/10 + a/(-90). Suppose k - 4 = f, 2*k - d*f - 3 - 1 = 0. Solve h = 2*z + z + 2, -3*z + k = 4*h for h.
2
Suppose 0 = -104*d + 114*d. Solve -5*b = 3*s - d*s + 5, -5*s - 5 = 5*b for b.
-1
Let f = 5 + -5. Let a be (-2 - -10)/(f - -2). Suppose -a*v + 3 = -29. Solve -5*p + 3*r - r - 11 = 0, 4*r = -v for p.
-3
Let o(l) = -l**2 - 12*l + 28. Let c be o(-14). Solve -4*w + 3*b = c, 5*w + 0*b - 3*b = -3 for w.
-3
Let v(a) = 31*a + 7. Let y be v(3). Suppose -3*n + 8 = -7, -5*d + 4*n + y = 0. Solve 4*r = -6*t + 2*t - d, -3*r = t + 8 for r.
-1
Let g(c) = c**2 + 16*c + 4. Let v be g(-13). Let i = v - -35. Solve 23 = 2*x - 3*b, i = 3*b - 2*b + 5 for x.
4
Let h be (-24)/42 + 6/(-14). Let u be 3 - (h + (1/(-1))/(-1)). Solve 3*s - u*b + 20 = 2*b, s = -4*b + 16 for s.
0
Let j(b) = -3*b**2 + 2*b. Let h(n) = -n. Let z(t) = -3*h(t) - j(t). Let a be z(1). Solve 5*r - a*i + 5 = 0, r + 3*i + 1 = -0 for r.
-1
Suppose 2 = -z - 0, 3*z = -4*i + 14. Solve -4*y - i*m + 0*m + 10 = 0, -5*y + 2 = m for y.
0
Suppose 3*m + 3*c - 81 = 0, 0*m - 5*c - 9 = -m. Suppose 4*p + p + 3*a = m, p - a = 0. Solve -4*q = p*i - 8, 2*q + 0*q = -2 for i.
4
Let m be ((-7)/35)/(1/(-14)) - 5/(-25). Suppose -30 = -q + 5*j - 1, j = 2*q - 13. Solve d - 3*h - m = -0, 0 = -q*h - 8 for d.
-3
Suppose 4*m - 4 = -2*v, -2*m = 3*v - 3*m - 13. 