b + 9, r = 3*b - 3 for s.
2
Suppose -7*n - 2 = 3*w - 2*n, 4*w - 4*n = 40. Solve 2*s = 0, -4*h = -5*s - w + 2 for h.
1
Let j = 10 - 8. Let c be 1/2*(-2 + j). Suppose -p + 3 = -c. Solve -2*f - p*i = -10, 6*i = 3*f + 4*i - 2 for f.
2
Suppose s - 4*s = 3*j + 21, -4*s + 20 = -2*j. Let x = 10 - j. Suppose 3*q = 3*t - x, q - 3*q + 8 = 3*t. Solve t*p - 4*m = 12, 3*p - 4*p = -5*m - 11 for p.
1
Suppose -4*d = -12*d + 560. Suppose 0 = 4*r - 190 + d. Solve 5*z + 5*a - r = 4*a, -z + 2*a - 5 = 0 for z.
5
Suppose -8*g = 48 - 24. Let r(i) = -2 - 4*i + 3*i - 3*i. Let o be r(g). Solve -2*a - 3*a = 25, 5*d + 3*a = o for d.
5
Let g = 15 + -24. Let n be 3 + 3/2*(-6)/g. Solve 22 = 5*o + 2*t + 3, -n*o = -4*t - 4 for o.
3
Let x = -103 + -24. Let a = -122 - x. Solve -4*n - w - 2*w + a = 0, n + w = 0 for n.
5
Let f = 14 + -9. Let m(g) = g**3 + 8*g**2 - 22*g - 173. Let v be m(-8). Solve 0 = -0*n + f*n - 2*i - 12, 0 = -4*n - 5*i + v for n.
2
Suppose 25*r - 189 = -64. Solve 0 = 2*k - 4*y + 2, 5*k + 38 = -r*y + 3 for k.
-5
Let m(j) = -5*j**2 - 51*j - 5. Let c be m(-10). Solve -c*b + 5 = -2*l, 0 = -4*l + l - 5*b + 5 for l.
0
Suppose -2*z + 39*l = 37*l, 3*l + 8 = 5*z. Solve 2*u - v - 5 = 0, z*v + 32 = u + 12 for u.
0
Let i = 18 + -13. Let q(v) = 5*v**2 - 3*v - 2. Let s be q(-1). Let z be (38/s - 3)*12. Solve -i*r + z = -3*p - p, 0 = r + 4*p + 16 for r.
4
Let n(h) be the first derivative of h**3/3 - 3*h**2/2 - h + 9. Let l be n(4). Solve 4*y + 3*b = -10, -y + 3*b + l + 2 = 0 for y.
-1
Suppose -o = 24 - 25. Let i be -4 - (-9 - (o - 2)). Solve 5*s - i*u = -23, u = 5*s + 2*u + 13 for s.
-3
Let g(h) = -11*h - 57. Let s be g(-7). Solve 5*x + s = -3*u, 2*u - 2*x = 4*u + 12 for u.
-5
Suppose -9 = -2*x - 5*u, 0 = -x - 27*u + 26*u + 3. Solve k + 11 = 2*f, 5*k + x*f + 15 + 4 = 0 for k.
-5
Let y be ((-1)/(-2))/((-3)/6). Let x be 200/15*(y - 5). Let v be x/(-15) + 6/9. Solve 0 = 4*o + 5*k + 21, o + 0*k + 2*k + v = 0 for o.
-4
Let r = 96 - 96. Suppose -25*h + 27*h - 12 = r. Solve w - 1 = 0, -2*g = -h*g - 5*w - 11 for g.
-4
Suppose 9*s = 5*s - 8. Let n be (28/(-8) - s)/(9/(-60)). Solve 2*h - m + 5 = 0, 5*h + m + n = 4*m for h.
-5
Suppose 0 = 4*h - 2 - 30. Suppose 3*d - d = h. Suppose 5*s + 10 = -2*m, d = -2*m - 2*s - 0. Solve -k = -2*k - 2*i + 1, -3*i + 6 = m for k.
-3
Let t = -16 + 15. Let p be (-7 + 0)/(t + 0). Let z = -2 + 6. Solve z*j + u - p = 2, -3*u + 15 = 0 for j.
1
Suppose -93 = -0*a + a. Let d = 3 - a. Suppose d = 12*i - 9*i. Solve -n - 3*n = -4*b + 32, 0 = -3*n + 5*b - i for n.
-4
Let z(j) be the third derivative of -j**4/4 - j**3/3 - 8*j**2 - 1. Let d be z(-1). Solve 4*r + 4 = -d*i - 4, 3*i - 26 = 5*r for r.
-4
Suppose 3*p = -12, -a - a = -2*p - 12. Suppose 0 = 2*j - 2 - a. Solve -4 - 1 = -j*u - 3*b, u + 10 = b for u.
-5
Suppose 19 = 6*k - 17. Suppose i + 12 = -18. Let o be (-6)/(-24) + i/(-8). Solve 5*b - 1 = 5*h + 9, o*b = 3*h + k for h.
-2
Suppose -3*h = -4*z + 116, -5*h + 2*z - 95 = 75. Let x = -30 - h. Solve 3*y - 2*d + 8 = -4*d, -4*y - 8 = x*d for y.
0
Let t(u) = -2*u + 1. Let m be t(-4). Let o be (-2 + 2)/1 + 9. Let v(n) = n**2 - 11*n + 18. Let f be v(o). Solve 5*x = w, x + m = -f*x + 2*w for x.
1
Let c(i) = -i**3 + 3*i**2 - 2*i + 7. Let n be c(3). Solve 4*p + 1 = -5*x, 0 = -4*x - n - 3 for p.
1
Suppose 3*n - 2*n - 23 = 0. Let t = n - 9. Solve -3*z + 9 = -q, z + 0*q = 4*q + t for z.
2
Suppose -11*b + 9*b = 3*s - 17, -4*b = 4*s - 24. Solve -h + 2*h + 4 = f, -s*h = -4*f + 18 for h.
-2
Suppose -w + 12 = 3*w. Let b(m) = 2*m + 2*m**2 + 3 - 2 - m**w - m**2. Let n be b(-2). Solve -4*o - 11 = -3*v, 0*v = v + 5*o + n for v.
1
Suppose -5*n + 5*o = 0, -3*n + o - 2 = -10. Solve 2*c + 23 = -c + 4*r, n*r - 20 = 0 for c.
-1
Let g = 1123 + -1107. Solve -1 = 2*r + 5*h + 21, -4*h - g = 0 for r.
-1
Suppose 0 = 5*c - 3*s + 134 - 5, 2*c = -4*s - 62. Let i = 41 + -11. Let q = c + i. Solve -q*u - 3*r + 4*r = 14, -4*u - 37 = -5*r for u.
-3
Suppose -69*s - 119 = -464. Solve 0*c = 4*i - 4*c + 12, -3*i = s*c - 15 for i.
0
Let m(g) = -g**2 + 45*g - 86. Let o be m(43). Solve o = -2*w - 3*q - 3, 2 + 3 = 3*w - 5*q for w.
0
Let y(o) = -o**2 + 10*o - 8. Suppose 0 = 4*p - 7*p + 9, -4*p = l - 20. Let m be y(l). Solve -4*r + 4*t + m + 8 = 0, t = 4*r - 10 for r.
2
Suppose 2*o - 4*t + 14 = 0, 3*t = -0*o - 2*o + 7. Let u be (-1374)/(-36) - o/(-6). Solve -5*v + 32 = 4*a, -15 + u = 2*v + 5*a for v.
4
Let v(g) = -g**3 + 9*g**2 - 9*g + 12. Let u be v(8). Suppose -47 = 50*c - 147. Solve 20 = f + 4*r, -r - 5 = u*f - c*r for f.
0
Suppose y - 4*y - v = -48, 4*y + 3*v = 64. Suppose -y*r + 40 = -6*r. Solve -2*t - r*k + 19 = -7*t, -t + 5*k = 8 for t.
-3
Suppose 84*o = 73*o + 22. Solve -v - o = 4*j - 15, 0 = -v + j - 7 for v.
-3
Suppose -15*n - 3 = -63. Solve 0 = -3*w + d - 17, -1 - 5 = n*w + 2*d for w.
-4
Let u be (0*3/12)/1. Solve u = -3*r + k - 6, -3*r + 2*k = -r for r.
-3
Let i(c) = -c**3 - 26. Let v be i(0). Let q = 41 + v. Let w = q - 12. Solve -w*d = -5*f + d - 41, -13 = 5*f + 3*d for f.
-5
Let l(c) = 31*c - 57. Let s be l(2). Solve -4*f = s*r - 2*r, 0 = r + f - 1 for r.
4
Let m be ((-164)/123)/(4/(-9)). Solve -2*u - 8*f = -3*f + 16, -3*f = m*u + 15 for u.
-3
Suppose -46*r - 25 = -51*r. Let z be (-2)/12 + (-50)/(-12). Suppose -4*j + z = -3*j. Solve -j*t - 16 = 0, -r*c - 6*t + 5*t + 6 = 0 for c.
2
Suppose v + 8 - 17 = -k, 5*k - 10 = 2*v. Solve 0*g = 5*c + g, -v*g = -c for c.
0
Suppose 0 = -2*o - 5 + 13. Suppose -o*i + 28 = 3*i. Solve -4*u = 5*l - 23, u + i*l - 1 - 13 = 0 for u.
2
Let j be (-4 - -3)/1 - -3. Solve 0 = -2*o + p - 6, p - 15 = 3*o + j*o for o.
-3
Let w(h) = 9*h - 77. Let d be w(9). Solve r = -4*m - 2, -d*m + 2*r + 0*r = 8 for m.
-1
Suppose -9*a + 58 = -59. Let t(s) = -s**3 + 13*s**2 + s - 3. Let d be t(a). Solve x + 20 - 2 = -5*r, -2*r = -x + d for x.
2
Let m(l) = -l**3 + l - 1. Let r be m(-2). Suppose r*o = -0*o + 20. Suppose -5*w + 12 = -8. Solve -g = 4*k - 6, -o*g - 16 = -w*k - 0*g for k.
2
Let n be (-28)/49 + 8/14. Solve n = k - 3*j + 6, -2*k + 3*k = 5*j - 10 for k.
0
Let n(q) = q**3 - q**2 + 18. Let h be n(0). Let r be 22/12 - (-3)/h. Solve 2*d + 16 = 5*c, 5*d + 0 = -r*c - 11 for d.
-3
Let q(a) = a**2 - 17*a + 33. Let j be q(15). Solve j*s - 2*t + 10 = 0, -4*t - 24 + 4 = 4*s for s.
-4
Let l be 14/5*10/4. Solve t = 0, 2*g = l*g - 3*t + 15 for g.
-3
Let l = 147 - 134. Solve -q = -2*z - l, 3*q - z = 5*q - 1 for q.
3
Let h = -228 - -230. Solve -5*d - 2*z + 6 = h, -z - 1 = d for d.
2
Let g(y) = -y**3 - 8*y**2 - 8*y + 14. Let n(j) = -j - 1. Let h(c) = g(c) + 3*n(c). Let f be h(-6). Solve 3*q = -4*i, 4*i - f*i + 9 = 3*q for q.
4
Let k(y) = y**2 + 5*y + 6 + 7*y**2 - 2*y**2 - 5*y**2. Let f be k(-4). Solve 5*l = -3*z + 6, f*l + 2*z - 4 = -0*z for l.
0
Let j(r) = -r + 15. Let l be j(10). Solve d = -0*d - l*u - 17, 2*d - 11 = 5*u for d.
-2
Suppose 0 = 5*d - 8 - 7. Suppose 3*r + r = d*m - 49, -3*r = -2*m + 31. Solve -5 - m = -3*v - 5*h, 2*v + 8 = 2*h for v.
1
Let r(f) = -24*f - 285. Let a be r(-12). Solve 5*x - o = a*o - 40, 4*x = 3*o - 31 for x.
-4
Suppose 8*t + 149 - 181 = 0. Solve -2*a - t*q + 9 = -9, 2*a + q - 9 = 0 for a.
3
Suppose -5 = d - 2*w, 0*d - 4*d = 2*w - 10. Suppose 2*b - 9 = -d. Solve 4 = -b*f - 0*f + 3*r, -5*r + 12 = -4*f for f.
2
Suppose 0 = -t + 4, -2*z + t + 2*t - 16 = 0. Let o be -2*1/(z/(-9)). Let x be 27*3*(-1)/o. Solve -x - 6 = -5*i, -l = -i + 1 for l.
2
Suppose -36*l + 33*l = -48. Solve -4*z - 4 = -2*n, 2*n = -3*z - 3*n - l for z.
-2
Suppose 94*m - 42 = 47*m + 26*m. Let n = 1 - -5. Solve -m*x = -5*c + 23 + n, -c + 5 = 0 for x.
-2
Let q(y) = -4*y - 1. Let h be -1*3*(-9)/27. Let s be q(h). Let d be (-4)/(-20) - 19/s. Solve -d*z + 5*u - 32 = 0, -z + 2*u = z + 14 for z.
-3
Let o = -17 - -17. Let q be (-2 - o)/(2/(-5)). Solve -2*h + 10 = 0, x + 3*h - q = -4*x for x.
-2
Let o(c) be the first derivative of -c**4/2 - 11*c**3/3 - 4*c**2 - 10*c - 5. Let a be o(-5). Solve 5*h - 22 = 3*u, h + 3 = -a*u - 15 for u.
-4
Let a(j) = 2*j - 28. Let p be a(18). Suppose p = 21*o - 19*o. Solve 2*m = o*m + 3*g + 2, -24 = -4*m + g for m.
5
Suppose 6*u - 2*u = 0. Solve w - 13*k + 14*k - 1 = u, 5*w + 4*k - 4 = 0 for w.
0
Let c = -2 + 7. Suppose -c*y = -13 - 7. Suppose -3*l + 2 + 9 = y*j, -5*l = -4*j - 61. Solve 10 = 2*w, -2*w - l = u - 3*w for u.
-4
Let i(a) = -a**3 + 7*a**2 + 3*a - 5. Suppose 4*v = 3*v + 7. 