*h = h + 12. Let i be q(h). Solve u*n = -2*l - 3*n + 2, 5*l - 2*n + i = 0 for l.
-5
Let r(o) = -o**2 - 5*o - 3. Let a be r(-4). Suppose -h = -a - 1. Let v = -1 + 4. Solve -5*z = -i + 12, 4*z = h*i + v*z - 6 for i.
2
Let g(s) = -s**2 - 3*s + 5. Let i be g(0). Suppose 0 = -0*y - y + 4. Solve -7 = -7*f + 2*f + m, -7 = y*f - i*m for f.
2
Let h(x) = 25 - x**2 - 2 - x**3 - 5. Let v be h(0). Suppose -n + 2*g - 4*g = 0, 3*g = 3*n - v. Solve -n*d - 3*s - 2*s + 16 = 0, s = -5*d - 1 for d.
-1
Suppose -4*m + o + 0*o = 5, 5*m = 5*o - 25. Solve 0 = -4*g + 4, 9 = c + 4*g - m*g for c.
5
Suppose -8*x + 3*x + 40 = 0. Let y = x + -3. Solve -5*u = z - 20, 3*z - 16 = -2*u + y for z.
5
Let u(x) be the third derivative of x**5/60 - 3*x**4/8 + x**3/3 + 4*x**2. Let o be u(9). Solve 6*p = 3*p + l - 19, o*p + 26 = 4*l for p.
-5
Let m(s) = -s**2 - 8*s - 2. Suppose -16 = 3*b + 29. Let t be 110/b + 2/6. Let u be m(t). Solve 0 = k - u*a - 11, k = 6*k + 4*a + 3 for k.
1
Let t = -13 + 24. Suppose 0 = 5*v - 3*d - 18, 5*v + 2*d = -2*d + t. Solve v*b = y - 13, -3*y + 4*b + 13 = -11 for y.
4
Suppose 0*d - 3*d + 6 = 0. Let c = -16 - -31. Let n = 6 - 2. Solve n*u = -4*k - 24, c = d*k - 5*k for u.
-1
Let w be 9 + -2 + -2 - -1. Let g = 14 + w. Solve 2*j = -0*j + 8, 4*j - g = -q for q.
4
Let z be (-474)/(-54) + 6/27. Solve -5*y = -4*o + z, 3*o - 4*o + 3*y = -11 for o.
-4
Let t = 42 + -39. Solve 2*m - t*w = -w - 16, -2*w = 4*m + 8 for m.
-4
Suppose q - 9 = -2*q. Solve 2*s + 28 = 5*l, -4*l - s + q*s + 24 = 0 for l.
4
Suppose q - 5*q + 8 = 0. Let l be q/(-9) + (-664)/(-72). Solve 5*w = 4*h + l, 0*w = -2*w + 5*h - 10 for w.
5
Let m(d) = d**2 - 3*d + 3. Let x be m(4). Solve -5*l = 2*g - x, 0*g = -2*g + l - 11 for g.
-4
Suppose -3*r + 16 = -74. Suppose 3*h + r = 5*h. Solve p - 2*o - 3*o + h = 0, -p + 9 = o for p.
5
Suppose 0 = i - 5*i + 40. Suppose 5*q + i = -0*q. Let n be (-40)/12*3/q. Solve 0 = -b + 2*b + 3*a + 1, 16 = -n*b - 4*a for b.
-4
Suppose 0 = 9*w - 5*w - 8. Solve b + 3*v - w = 2, 3*b + 3*v - 12 = 0 for b.
4
Suppose 11 + 1 = 3*r. Let i = -1 + 5. Suppose -17 + 1 = -i*w. Solve 2*u - r*a = 0, -2 - 2 = w*u - 4*a for u.
-2
Let s be -2 - (-5)/(-2)*-2. Suppose 0 = -2*g - 2*b - 16, 0 = g - 4*b - s + 1. Let q(x) = x**2 + 4*x - 8. Let f be q(g). Solve z = u, 4*z + u = 4*u - f for z.
-4
Let i = -15 - -10. Suppose 5*j = -5 + 55. Let m = j + i. Solve 3*x + b - m = 6*x, -5*b - 15 = 5*x for x.
-2
Let q be (-260)/50*5/(-2). Let f be (-5)/2*(2 + 0). Let l = q + f. Solve l = -2*w - 4*c + 2, 0 = w + 5*c for w.
-5
Suppose d + 2 = 6, -3*d = 3*i - 9. Let w be 1*(0 + (-2)/i). Suppose j - 3*j + l = -5, l = -j + 7. Solve 8 = -2*m - 3*f - f, 4 = -j*m - w*f for m.
0
Suppose -2*l = -5*b, 5*b - l - 3*l = 0. Suppose 2*p + 2 - 6 = b. Solve -p*n - 4*k + 11 = -3*n, 3*n + k = 6 for n.
1
Let c be (-2)/(-13) - (-988)/169. Solve -20 = -5*n + o, 2*o - 2 + c = n for n.
4
Let n(p) = p**2 + 3*p + 4. Suppose 17 = -0*v - 3*v - a, 2*a - 14 = 2*v. Let w be n(v). Solve 0 = -2*i - 0*i - 2*f - 12, 5*f = -i - w for i.
-2
Let k(x) = -7 - 5*x + x**2 + 2*x - 1. Let o be k(7). Solve -5*m = 5*i + o - 5, 0 = m + 5 for i.
2
Let s be 14/70 + (-18)/(-10). Suppose -m + 3*g = -g - 4, -s*m - 2*g - 2 = 0. Solve 0 = -5*b + 5*a + 20, 5*b + a = -m*a - 10 for b.
-1
Suppose -z = 4*h - 22, 7*z + 12 = 3*z + 4*h. Suppose -n = -28 + 8. Solve n = 2*d - 2*o, z*d - 5*d - 5*o = 10 for d.
5
Let m(d) be the third derivative of -d**6/60 - 7*d**5/60 - d**4/4 - 2*d**2. Let b be m(-4). Solve 5*z - c - 20 = 0, 0 = -4*z - 8*c + 4*c + b for z.
5
Let s(i) = 2*i - 6. Let l be s(5). Let d be 8/32 - (-159)/l. Suppose 0 = 4*o + o + 5*q - d, -5*q + 12 = -2*o. Solve -a + 5*z = 2*a - 8, 2*z - 2 = -o*a for a.
1
Let q(t) = 2*t - 14. Let v be q(8). Suppose 0 = g - 2*r + 3*r + 2, r + v = g. Solve -3*z + 1 + 9 = -b, -5*b + 10 = g for z.
4
Let r be (18/(-4))/(4/112). Let d be (-2)/8 + r/(-24). Solve -d*x = 4*q + 2, -x - 3*x = -5*q + 18 for x.
-2
Let l be (-4)/(-18) - 140/(-18). Let a be ((-10)/l)/(8/(-32)). Suppose 5*u - 5*h = 10, 2*u = -0*u - a*h + 11. Solve -4*r + 3 = y, -r - y + u + 0 = 0 for r.
0
Let h = 88 - 88. Solve 2*i = -7*s + 4*s - 7, h = -5*i + s + 25 for i.
4
Let o = -1 - -3. Solve 0 = 5*k - 5*x, -o*x + 4*x = 4*k - 10 for k.
5
Let u be (-10)/(-15) - ((-335)/3)/5. Solve 6 - 19 = -a + 5*h, -5*a + u = -4*h for a.
3
Suppose -3*g = 12, 4*g + 4 + 2 = -5*y. Solve z - 1 = y*a - 0*z, -3*z - 3 = 0 for a.
-1
Suppose -2*c + 6 = -3*q, -c + 3*q + 12 = 3*c. Solve 2*v - 4*r - c = -v, -5*v + r = -5 for v.
1
Let l be (-12)/12 + (-3)/(-3). Solve 2 = -l*z - z + 5*s, 5*s = -2*z - 4 for z.
-2
Suppose 5*u = 21 + 19. Solve -2*a + 0*z = 2*z, 0 = -2*z + u for a.
-4
Suppose 31 - 81 = 5*o. Let n = -2 - o. Suppose 4*w - n = 2*w. Solve -2 = -5*k - 4*z + 2, -4*z + w = -3*k for k.
0
Let u = -5 - -11. Solve -a = -x - u - 2, a = -x - 2 for x.
-5
Suppose -3*n + 4*s + 42 = s, -32 = -3*n + s. Let f be (0 - 1) + n + -5. Suppose -f*j = -6*j + 12. Solve -j*v + 11 = 3*d, -d - 7 = -2*v - 2*v for v.
2
Let o(r) = r**2 - 10*r + 4. Suppose -4*h + 37 = s, h - 5*s - 1 = 24. Let q be o(h). Solve q*w = -4*c - 16, -2*w + 4 = 5*c - 3*w for c.
0
Suppose 5*g + 2*p = -3, 0*g - 4*g = -2*p - 12. Solve -2*s = -2*c - 1 + 5, 0 = -2*s + c + g for s.
3
Let w be (-8)/(12/3) + 5. Solve -i = -w*v - 14, -3*v - 1 + 2 = 2*i for i.
5
Let m(p) be the second derivative of p**3/6 - p**2/2 + 3*p. Let n be m(1). Solve -j + n*j - 5*l + 23 = 0, 12 = 3*l for j.
3
Suppose -i + 800 = 5*v, 0*i - 2*i + 480 = 3*v. Suppose 2*u + v = -3*u. Let f be (-1)/4 - 8/u. Solve -2*x + 2*a = -2 - f, a = 4 for x.
5
Let n(r) = r + 5. Let x be n(-12). Let d = x + 11. Solve 2*k = 2*a + 6, 0 = -d*k - 0*a + 2*a + 4 for k.
-1
Let w(u) be the first derivative of -u**3/3 - 3*u**2 - 2*u - 4. Let s = 4 + -9. Let z be w(s). Solve -18 = z*i - 5*n + 2*n, -n = -4 for i.
-2
Let o = 2 + -2. Suppose o = -4*v - v + 20. Solve 0 = -2*s - v*a + 24, -2*s - 4*a = a - 28 for s.
4
Suppose 0*k - 2*k = -12. Solve -2*u - 3 = -3*o, -4*u + 4*o - k*o = -18 for u.
3
Let g be (1 - (2 - 3)) + (-1 - -3). Solve m - j - 9 = j, -5*j + 10 = g*m for m.
5
Suppose -3 = -2*w + 1. Suppose -c + 6 = w*c. Suppose -2*h = b - 2*b, 3*b = c*h. Solve b = 4*g + 3*f + 1, 3*g + 2*g + 2 = -4*f for g.
2
Let q be (-2 + 1)/((-8)/40). Solve 0 = -4*f + q*i - 17 + 3, -5*i = 3*f - 7 for f.
-1
Let z(l) = l. Let y(m) = 3*m - 2. Let x(f) = -y(f) + z(f). Let g be x(-7). Solve 3*i + g = -5*n, 6*n + 8 = -4*i + 2*n for i.
3
Let u(o) = 3*o**3 + o**2 - o. Let a be u(1). Solve -2*h = a*g + 13, 4*g + h + 9 + 10 = 0 for g.
-5
Let n(c) = c**2 - 10*c + 10. Let x be n(13). Suppose 6*r = x + 23. Solve -3*b - r = g - 8*b, -3*g - b + 12 = 0 for g.
3
Suppose 0 = 5*i + 5*p - 30, -3 - 3 = -3*p. Let k = -2 - -6. Let x = k + -4. Solve x = 3*a - j + i, 2*a + 3*j + 18 = a for a.
-3
Let t be (-20)/(-6)*18/15. Solve -8 = 4*w, -a = t*a - 5*w - 25 for a.
3
Let o be 2*3/(-2)*1. Let t be o*1/(6/(-20)). Suppose -t = -b + 5*y - 1, 45 = 5*b + y. Solve -x - 3*x = 5*u + b, -u + 5*x = -4 for u.
-1
Suppose -8 = 4*c - 8. Solve c*s + 40 = -5*s - 4*r, -5 = r for s.
-4
Let g(z) be the third derivative of 0 + 1/3*z**3 - 1/24*z**4 - z**2 + 0*z. Let q be g(-3). Solve q*b + 5 = 3*v - 1, 0 = 2*v + 4*b + 18 for v.
-3
Suppose g - 2*f = 2, -4*g + 17 = -f + 2. Let l be (-12)/g + 1*3. Suppose l*q + 2 = q. Solve 5 = i - t, q*t - 4 = -2*i - 2*t for i.
4
Suppose 12 = -0*f + 3*f. Suppose q - 3*q + f = 0. Solve 6*r - r = -q*n, 5*n + 23 = -r for r.
2
Let b be (-1)/((-1)/((-11)/(-1))). Let z = -6 + b. Solve 0 = -2*w + z*n - 14, -4*w - 8 = -5*n for w.
3
Let g = 19 + -16. Solve g*r - 3 = 3*j, -2 = r - 5*j + 1 for r.
2
Let w = 7 + -9. Let v = w + 8. Solve 2*u = -4*o, o - v*o = 2*u + 1 for u.
2
Let g = 7 + -3. Let t be 2/g*(-10)/(-5). Let k = 4 - t. Solve -l + 7 = k*c, c + 3*c = l for l.
4
Let i = -13 - -26. Let w = i + -6. Suppose -5*d + 3*d + 6 = 2*l, -d + w = -3*l. Solve 3*z + 6 = 3*f, d*f + 2*z + 4 - 24 = 0 for f.
4
Suppose -2*p + 8 = -0. Let w(y) = y**2 - y - 19. Let j be w(0). Let i = 42 + j. Solve -2*t - 2*l = 14, l + i = t - p*l for t.
-2
Let o = -5 + 5. Let w(y) = -y. Let f be w(o). Solve -3*q + 14 = -2*q + 5*p, -5*q + 3*p - 14 = f for q.
-1
Suppose l + 4*i + i - 5 = 0, 0 = -3*l - 2*i + 15. Suppose 4*z + 0 = -d - 5, 5 = l*z - d. Solve -4*w + 5*c = z, -3*c - 26 = -2*w -