= -3*l - 3*b, -l = b + o*b + 13 for l.
-5
Suppose 4 + 5 = 3*b. Let y = 17 + 6. Suppose -2*k + 3*h - 3 = -8, -b*h + y = 5*k. Solve 4*m = -i - 18, -2*m - 3*m = -k*i + 12 for m.
-4
Let h be (-3)/(-15) - 339/(-5). Suppose -3*j + h = -25. Solve -w - n = 3*n + 21, 3*w + 4*n + j = 0 for w.
-5
Let i(d) = d**2 - 2*d - 3. Let h be i(-2). Let l = 9 - h. Suppose 0 = -3*x - 4*w - 10, 3*x = -3*w - l - 2. Solve 0*s - 2*s = 3*y + x, -3*y - 10 = -2*s for s.
2
Let u be (1 - 6)*(0 + -1). Suppose -b - 49 - 31 = -4*i, u*i = -2*b + 87. Suppose 3*w = 6*w - 6. Solve -2*x - 4*o - 12 = -6*x, 3*o = -w*x - i for x.
-2
Let j be 8 + (3 - (4 - -2)). Suppose 3*o - 1 = k + 1, -o = -5*k + 4. Let u = 1 + k. Solve j*z - 3*f = -4*f - 8, -5*z = 4*f + u for z.
-2
Suppose 0 = -3*y + 3 - 9. Let b be 5/y*(-8)/5. Solve 5*l - 2*r = -17, -b*l - 16 = -3*r + 2*r for l.
-5
Let h(c) = c**2 + 12*c + 7. Let l be h(-12). Solve k + 0*k - 4*n = -24, 2*k + 3*n - l = 0 for k.
-4
Suppose -2*p = 2 + 2. Let s be p/(-1)*(-35)/(-14). Solve 5 = i - 6*i + 2*z, 2*z = -5*i - s for i.
-1
Suppose j - p - 6 = 0, 5*j + 2*p + 1 - 3 = 0. Let y = 13 - 10. Solve -13 = -5*z + j*w, -y*w = -w - 2 for z.
3
Let c be (-3)/(-2)*14/21. Suppose -12 = -v + 5*t + 4, 5*v + 5*t = -10. Let o = 6 + v. Solve -3*m - f + c = -o, -5*m = -f for m.
1
Suppose 0 = -0*t + 3*t - 12. Suppose g = -3 + 4. Let v be -1*(g - (0 + t)). Solve -5*k - 3 = 3*s, 0 = -3*s - 0*s - v for k.
0
Let w(t) be the third derivative of -t**6/120 - t**5/15 + t**4/12 + 5*t**3/6 - 7*t**2. Let x be w(-5). Solve y - 5*q = x, 5*q = -0*y + 2*y - 25 for y.
5
Let z(m) = 6*m**2 + 18*m - 9. Let v(x) = 5*x**2 + 17*x - 9. Let b(c) = 7*v(c) - 6*z(c). Let g be b(9). Solve 0 = -2*r, 5*k + 3*r + 16 = -g for k.
-5
Let d(q) = q**3 - 10*q**2 + q - 7. Let l be (-40)/6*6/(-4). Let u be d(l). Let c = -1 + 1. Solve g - 5 = -t, c*g + 15 = u*t + g for t.
5
Let n(g) = -g + 9. Let r = 19 + -13. Let k be n(r). Solve 5*c - 18 = 2*y, 0 = y - c - 0*c + k for y.
1
Let c(b) = -7 + 6*b**2 + 2 - 4*b - 4*b**3 + 3*b**3. Let j be c(5). Suppose j*h + 5*h - 25 = 0. Solve 0 = 2*u + u - p - 7, 0 = 2*u + h*p - 33 for u.
4
Let m = 137 + -134. Let v be 2/(1*-2) - 0. Let z = v + m. Solve -1 = z*t + 3, -3*i + 3 = 3*t for i.
3
Let a(y) = 11*y - 13. Let w(i) = 5*i - 7. Let f(u) = 4*a(u) - 9*w(u). Let t be f(8). Solve 3 + 0 = 3*c - r, -2*c = -r - t for c.
0
Let a(h) = -h**2 - 10*h + 8. Let w be a(-10). Let q = w - 6. Solve -5*g + 3*f + 10 = 0, -q*g + 8 = -f + 3 for g.
5
Let g(m) be the third derivative of 0*m - 1/24*m**4 + 0 + 4*m**2 + 2*m**3. Let o be g(10). Solve -6 = 2*k - 3*k - u, o*k - 4*u - 6 = 0 for k.
5
Let i be ((0 + 0)/3)/(-2). Suppose -4*u = -5*b + 114, 5*u = 2*b + b - 71. Solve 4*w + i*m + 4*m - 4 = 0, 0 = -2*w + 3*m + b for w.
5
Let i be 1/1*(-1 - -1). Solve -n + 3*n = 3*b - 5, i = -2*n - 2*b for n.
-1
Let h be (-16)/(-6) - (-2)/6. Let j(w) = 4 + 0*w - 4*w + 3 + h*w. Let d be j(7). Solve d = -5*s - x + 20, 0 = -0*s + 2*s + x - 11 for s.
3
Suppose 0*u + 5 = 4*r + 5*u, 3*r = -3*u + 6. Solve 3*c - 3*m - 2 - 19 = 0, 5*c + 3*m = -r for c.
2
Suppose -2*f = 3 - 31. Solve f = 2*n - 4*u, n - 13 = 2*u + 2*u for n.
1
Suppose y = 2*b + 8 + 1, 2*b + 21 = 5*y. Let j(g) = g**2 + 3*g + 2. Let i be j(b). Solve -u + l + i = -3*u, u + 4*l + 8 = 0 for u.
0
Suppose -a + 80 = 3*a. Solve -3*c + a = 2*l, -3*l + 44 = 4*c + 16 for c.
4
Let r(u) = u - 1. Let i be r(5). Solve -5 = 5*b - 4*o + 3*o, -i*b = 3*o + 4 for b.
-1
Suppose v = -v + 8, 2*j - 5*v + 16 = 0. Solve -j*r + 7*r = 2*d - 10, -5*d + 2 = -r for r.
-2
Let j = -6 + 0. Let z = j + 9. Solve 2*g - 4*x = -2, z*x - 6*x = 4*g + 4 for g.
-1
Let z be (-7)/(-2)*(-20)/(-2). Let v = -13 + z. Suppose 0*a - 2*p + v = 5*a, -3 = -a + p. Solve -4*c - h + a = 0, -3*c + 0*c - 4*h + 3 = 0 for c.
1
Suppose -z + 12 = 2*z. Solve -h - 1 = -4*d, -z*d - 4*h - 2 = -2*h for d.
0
Let y(h) = h**3 + 5*h**2 - 14. Let z be y(-4). Solve d - 13 = -2*g, 0 = -3*g - z*d + 1 + 21 for g.
4
Suppose 0 = b - 7 - 22. Suppose 0 = -0*s - s + 5*j + b, j = 4*s - 40. Solve h + 4*d = s, 0*h = h + d - 6 for h.
5
Let j = -4 + 13. Let g = j - -1. Solve 3 = 5*p - 4*x, 3*p + p + 3*x + g = 0 for p.
-1
Suppose 0*h + 5*h = 175. Suppose 13 + h = 3*d - 3*j, -5*d + 3*j + 72 = 0. Solve 4*l + 4*c + 8 = -0, 0 = -5*l - 4*c - d for l.
-4
Let y(n) = n**2 + 6*n + 7. Let u be y(-5). Solve -u*q - 2*i + 15 = 3*i, -4*q = 5*i - 5 for q.
-5
Suppose -2*c + 2*j + 54 = 0, 5*c + 0*j = 4*j + 133. Solve 3*o + c = -5*m, -30 = m + 5*o - 3 for m.
-2
Suppose -4*n - 11 = -5*n. Suppose u - n = -5*l, 0 = 2*l + u - 5. Solve w = 5*w + l*d - 6, w = -5*d - 12 for w.
3
Let h = -20 + 23. Suppose 6*v - 4*v - 10 = -2*w, 2*v = 4. Solve h*a = 3*i, w*i - 14 = -4*a - 0*a for a.
2
Suppose 3*a - v - 3*v = -8, a + 5*v - 10 = 0. Suppose 5*c = -a + 25. Solve -5*h = n + 25, 5*n + 4 + 1 = c*h for n.
-5
Suppose 0 = -5*y - 0*y + 10. Solve -y*v + 0*v = 2*d - 6, 5*v = d - 3 for v.
0
Suppose -2*i + 5 = -4*t + 1, -6 = -3*i - 4*t. Suppose i*o = 3*c + 11, 9 = 5*c - 6. Solve -20 = 5*w - 5*x, 0*w + o = 5*w + x for w.
1
Suppose -b + 15 = 4*b. Solve o + 8 = v - 2*o, b*v - 5*o - 12 = 0 for v.
-1
Let y(f) = 4*f + 3. Let g be y(3). Let w = -8 + g. Solve -w + 2 = 2*l - b, 31 = -4*l - 5*b for l.
-4
Suppose -2*l - 20 = -2*f - 5*l, 0 = 2*f - 5*l + 12. Suppose -3*r + x + 18 = 0, 2*x = 5*r - 0*x - 31. Solve j + s - 17 = 5*j, r = -f*j + 5*s for j.
-5
Let o(h) = -h**2 - h + 22. Let s be o(0). Suppose 8*m = 3*m + 15. Solve s = -4*u + x, -7*x + 28 = -4*u - m*x for u.
-5
Suppose 0 = -a + q + 10, 3*q - 20 = -5*a - 2*q. Solve -3*t + n + a = -5, 0 = 5*n - 15 for t.
5
Suppose 3*f - 26 = -5*p + 11, -5*p + 17 = -2*f. Solve 5*q - f + 44 = -4*a, 2*a = 5*q + 10 for a.
-5
Let s be (-6)/8*-1*4. Let y(k) = -k**3 + 5*k**2 + 3*k - 4. Let j be y(s). Solve 2*b + 5*w + 23 = 0, -5*b - j = w - 0 for b.
-4
Let h be 3 + 4/(-12)*-3. Suppose 4*p = 16 + h. Solve -p*x = -4*s - 11, -s = 4*s + x - 8 for s.
1
Let i = -69 - -74. Solve 2*w = 5*t + i + 12, 4*t = w - 13 for w.
1
Suppose -4*f + 9*f = -10. Let s(d) = -d**3 + 6*d**2 - 2*d - 6. Let z be s(5). Let a = z - f. Solve y + 0 = -3, 4*i + 5*y + a = 0 for i.
1
Suppose -m = 5*t - t - 20, -3*t - 2*m + 20 = 0. Let h = t - 2. Solve -h*j - 5*f = -23, 2*j - 5*f + 6 = -1 for j.
4
Let g(x) = x**2 - 21*x - 20. Let d be g(22). Solve -z = 3*o + 1 + d, -z + o = -1 for z.
0
Let g = 21 - 13. Suppose l = 3*l - g. Let w(d) = -d**3 - 5*d**2 + 4*d + 4. Let r be w(-6). Solve -5*a - 16 = -a, t - l*a = r for t.
0
Suppose -m - 2*c + 3 = 0, 3*m + c - 15 = -2*m. Let u = -1 - -4. Suppose -2*r + 34 = -3*o, u*r - o = 4*r - 12. Solve -4*j - 4*h = h - r, -7 = m*j - 5*h for j.
1
Let v be (4/(-10))/((-15)/75). Suppose -6 = v*d - 16. Solve 0 = q - 4, -6*i = -i - d*q - 5 for i.
5
Suppose v = 4*v - 6. Let c(p) = -p**3 - 14*p**2 - 12*p + 19. Let t be c(-13). Solve 5*m = y - 7, -y - t = v*m - 3*y for m.
-1
Let m = -12 + 15. Solve m*k - n = 18, 12 = -3*n - n for k.
5
Let b(u) = u**2 + 3*u - 4. Let z be b(1). Solve 5*r + 6 = 4*w - z*r, 0 = 2*r + 4 for w.
-1
Suppose 0 = 5*x + 2*c - 95, -6*x + 2*x = -c - 89. Let k = x + -15. Suppose 3*o - k*o - v + 14 = 0, 0 = o + 5*v. Solve -5*l = -5*f, o*l + 8 = -f - 2*f for l.
-1
Let v = 4 - -5. Suppose -4 = -3*z + 5. Solve 5*k + 2*b = z*b - 22, 0 = -3*b - v for k.
-5
Suppose -h + 2*h - 7 = v, 2*h = -v - 13. Let w be (-2)/v - 68/(-18). Solve 0*x + 3*b = 5*x - 6, w = -2*b for x.
0
Let a be 1*15/(-3)*-1. Solve -5*d + a*u - u = 14, -5*u = -d - 7 for d.
-2
Let l = -3 - 2. Let o = l + 9. Solve 0 = m - o, 5*s = 4*s + 3*m - 10 for s.
2
Let i(r) be the third derivative of r**4/12 + 8*r**3/3 + 3*r**2. Let a be i(-8). Solve -3*g - g - 2*h + 4 = a, -3*g - 5*h = -17 for g.
-1
Suppose p - 12 = z, 4*z - 35 = -5*p - 2. Suppose 10 + p = w. Solve -a - 7 = -u, -2*u + u + 5*a = -w for u.
4
Suppose 4*d = 12 - 4. Let r = d + -2. Solve c + 2 = 5, 2*w + 3*c - 17 = r for w.
4
Suppose -5*p = -3*p - 26. Solve -5*w - 2*r = -r - p, w = 4*r - 10 for w.
2
Let l = -2 + 4. Suppose -c - l = -8. Solve j + 10 = -2*b, 2*b - 6*j + 3*j = c for b.
-3
Let u = 21 - 18. Suppose 5 = -2*z + 8*f - u*f, 0 = -3*z + 2*f - 2. Solve k - 2*k - c + 3 = z, -1 = -c for k.
2
Let l(d) = -d**3 - 5*d**2 - 6*d + 5. Let o be l(-3). Suppose 5*m + 0*m - 15 = 0. Let x = 6 - m. Solve x*s + 3 = g, -2*s - o = 3*s + 4*g for s.
-1
Let b