Let s(g) = g + 8. Let n be s(-5). Solve 0 = n*a + 9, 2*v - 5*a = 5*v + 6 for v.
3
Suppose -18 - 7 = -5*h. Solve 2*j + 13 = 4*r + r, -3*j - 17 = -h*r for r.
1
Let w(h) = -h**2 + 8*h + 13. Let l be w(9). Suppose 4*a + 4 = -l*j, 2*a - 2 = 3*j + 6. Solve 16 = 5*f + 4*i - 19, i + a = 2*f for f.
3
Suppose -2 - 8 = -5*o. Solve 3*v - 4*w - o - 6 = 0, -5*v + 17 = -3*w for v.
4
Suppose 4*i + 94 = 102. Solve -j = 3*d + 8, 4*d - i*j + 6 = -j for d.
-2
Let h(t) be the third derivative of t**4/24 + 7*t**3/3 - 3*t**2. Let r be h(0). Let z be (2/((-2)/3))/(-1). Solve 4*w - 4*k + r = -6*k, 3 = -2*w + z*k for w.
-3
Suppose -5*u = -5*w - 15, 3*u + 10 = 7*u - 2*w. Let r be 0/u + -2 + 14. Suppose -12 = 3*o, 3*o + 8 = 2*n - r. Solve 2*d = -4*q - 30, n*d - 7 = -3*q - 42 for d.
-5
Let r(w) = -w**2 + 10*w - 4. Let d be r(4). Let a be (-6)/27 + d/9. Solve -3*p - 4*c = -16, 5*p - 18 = -0*p + a*c for p.
4
Let y(v) = -v**3 + 11*v**2 - 9*v - 6. Let s be y(10). Solve -2*g + 4*g - 6 = 2*c, -s*g + 2*c + 12 = 0 for g.
3
Let l(j) = -8*j**3 + j**2 + j. Let x be l(-1). Suppose 4*d - 2*d - x = 0. Solve 23 = 3*b - 4*h, -b + d*h = -8 - 13 for b.
1
Let m = -9 - -2. Suppose 0 = -5*l + a + 10, -l + 28 = 2*l - 5*a. Let u be l/(-2) + m/(-2). Solve n - 2 + u = 5*o, 5 = 5*o - 5*n for o.
0
Let r be (-3 - -1) + -1 - -3. Let o be -1*r/(-1 - 1). Solve 2*s = -2*c + 12, o*s + c = 5*s - 24 for s.
5
Suppose -4*i - 4*j - 4 = 0, -3*i + 4 = -2*j + 2. Suppose i = -5*w + 5*f + 20, -3*w + 2*f + 12 = 3*f. Solve w = 2*u - 7*u + 4*n, 0 = -5*u + 3*n - 8 for u.
-4
Let z be (-4 - 48/(-15))*5. Let v be (z/(-5))/(16/80). Suppose -5*a - 5 = -4*m, -m = 5*a + 3*m - 35. Solve 3*n - 4*n = -a*u - 6, 4*u + 8 = -v*n for n.
0
Let v(b) = -2*b + 11. Let q be v(3). Solve 2*g + 11 = q*r - 5, -2*r + 10 = -2*g for r.
2
Let z be ((-9)/(-12))/(3/12). Suppose -3*g - i + 32 = g, 2*g = -2*i + 10. Solve -5*p = 4*b + 31, -p + 2*p - g = z*b for b.
-4
Let d(h) = 8*h**2 - h + 1. Let r be d(1). Let a(z) = -z + 7. Let o be a(4). Solve -4 = -4*f, -o*l + r = -l + 2*f for l.
3
Suppose -2*n = -5 + 1. Suppose -s = n*s - 9. Solve -3*a + 16 = 4*k, 0 = -s*a - 4*k + k + 15 for a.
4
Suppose -3*b + 5 + 13 = 4*r, 0 = 2*b + 4*r - 16. Suppose -b - 1 = -k. Solve 0 = 6*t - k*t + 3*u - 3, -u - 2 = 2*t for t.
-3
Suppose -4*f - 38 = 5*a, 0*f + 5*f = -10. Let o(m) = -m**3 - 7*m**2 - 5*m + 6. Let k be o(a). Solve -2*d = -p + 4, 0*d - 4*d - 4*p - 20 = k for d.
-3
Let x be 4 + (-1 + 1)/(-1). Let v be (-30)/x*6/(-5). Suppose -4*s + s = -v. Solve -y = s*k + 13, 0 = 5*k - 4*y - 0*y + 16 for k.
-4
Let f = 8 + -8. Solve 0*b = x + 2*b + 1, f = 3*x - 2*b - 21 for x.
5
Let k = -7 + 7. Suppose 3*t + 1 = -2*g - 5, -2*g + 3*t + 18 = k. Solve g*m + c + 0 = -5, -4*c - 5 = -3*m for m.
-1
Let h be 3 + (-1 - 1)*-1. Let m = 13 - 9. Solve -o + m*n = -14 + 1, 5*n = -o - h for o.
5
Let u(p) = -15*p - 1. Let s be u(-1). Suppose 3*j - 8 = j. Suppose 0 = 4*q + d + 5, -4*q + 5*d = j*d - 5. Solve -2*b + s = 4*w, -5*w + q*b = 4*b - 25 for w.
1
Let f = 32 - 26. Solve f*o - 5*b = o + 15, -3*b - 25 = 5*o for o.
-2
Let i = -7 + 11. Suppose 3*q - 3*u = q - i, -q + u = 0. Solve -5*r - 19 = -2*r + 2*g, q*r - 5*g = 13 for r.
-3
Suppose 8*m - 20 = 3*m + i, -3*i = -5*m + 20. Suppose -3*a = -g - 10, 29 = 5*g + m. Suppose q + 12 = a*q. Solve -q*z + 2*t - 4 = 0, -2*z - t = 2*t - 6 for z.
0
Let x = -4 + 6. Suppose -x*f + 0*f = -10. Suppose 4*y + 7*l + 15 = 2*l, 6 = 2*y - 2*l. Solve f*s - 3*j + y*j + 18 = 0, 0 = 2*j - 2 for s.
-3
Let b be (-18)/(-5) + 10/25. Solve 3*n + 4*i + 4 = 0, i = 2*i + b for n.
4
Suppose x - 3*d + 18 = -7*d, 5*x + 4*d = -10. Solve -3*j - 16 = 5*t + 4, x*j = -4*t - 14 for j.
-5
Let v be (8/(-12))/((-1)/3). Let q be (-1)/(v*(-3)/30). Suppose -7 = -5*i - 4*l - 2, 0 = -2*i - 4*l - 10. Solve -q*d = 3*w - 12, -3*d + 6 = -i*w - 8 for d.
3
Suppose 0 = -0*j - 5*j - u + 76, -2*u = -2*j + 40. Let l(r) = -3*r. Let n be 2/(1/(-2)*4). Let s be l(n). Solve j = 4*q + s*z, -z - 5 = 4*q - 21 for q.
4
Suppose z = 5*p, -2*z = 7*p - 5*p. Solve x = a + a + 13, p = -3*a + 4*x - 32 for a.
-4
Let i = 12 - 9. Solve 3*h - 5 = -i*z + 7*h, z - 4*h = 7 for z.
-1
Let p be 2/11 - (-84)/22. Let o = p - 4. Let v = o - -3. Solve -v*c - 12 = 0, 2*q + 8 = -q - 2*c for q.
0
Suppose 5*g - 15 = 5*w, -3*w = g - 2*w - 5. Solve -u + 5 = 0, -g*a + 2*u = -0*a + 10 for a.
0
Let w = -26 + 44. Solve 0 = c - 4*t, -5*c - w = -t - t for c.
-4
Let z be 6 + -6 + 3 + 2. Suppose x = -0*x + z. Solve d - 23 = -x*q + 5, 0 = -4*d + 4*q - 8 for d.
3
Suppose 4*k - 4 - 4 = 0. Let w be (-22)/(-8) + k/8. Let y(f) = 2*f + 33. Let m be y(-15). Solve -m*o = -5*q + 27, -o - w = -5*q - 4*o for q.
3
Suppose -8 = -4*n + 16. Let s = 3 - -2. Suppose -s*w = -17 - 3. Solve -p + 4*u = 10, -w*p + n - 1 = -u for p.
2
Let k be ((-4)/10 - 0)*-5. Solve k = -2*j + 4*v + 12, 2*j - 2*v = 2 for j.
-3
Suppose -2*n = -6 - 4. Suppose 2*u - 2*p + p = -37, 3*u + 3*p = -78. Let a = u - -25. Solve -3*g - 16 = n*x, 0 = a*x + g + 9 + 1 for x.
-2
Let u(g) = -g + 9. Let y be u(6). Solve 8 = -y*w - 5*s, -4*w - s - 2 - 3 = 0 for w.
-1
Suppose 1 = -l + z, -3*l - 2 = -z - 1. Let j be l + 3*(-6)/9. Let s be j/(-1 - 2 - -1). Solve -15 = -2*p + 5*c + s, -2*c = 3*p - 5 for p.
3
Suppose 3*h + 3*c + c = 79, -28 = -h - 3*c. Suppose -7*y = -2*y - h. Solve -o + y = -d, 3*d + 20 = 2*o - d for o.
0
Suppose d - 10 = -4*d. Solve -5*f - 9 = -3*j, -d*f + 7 = -7*f + 4*j for f.
-3
Let y be 3/(-9) + (-26)/(-6). Suppose 0 = -y*k + 10 + 2. Let m(s) = -s + 6. Let o be m(4). Solve g + 9 = v - 4*v, k*v + o*g + 6 = 0 for v.
-4
Suppose -11 = 4*k - 51. Let u be (10/4)/(k/8). Solve -d + u*d + 5*r - 3 = 0, -d - 3*r + 3 = 0 for d.
3
Suppose -o - 2 + 4 = 0. Suppose l = 3*l - o. Let v be l/(-3*3/(-27)). Solve 3*y = 3*x + 12, 3*x - 4*y + 12 + v = 0 for x.
-1
Suppose -4*t + 5 = -3*t. Let h = -70 - -73. Solve h*b - 5*b + 4*y + 26 = 0, -21 = -t*b - y for b.
5
Let p = -12 + 10. Let n(u) = -2*u**3 - 4*u**2 - 2*u. Let z be n(p). Solve -24 = z*s - 5*s - 5*q, 5*q - 20 = 0 for s.
4
Let d be 1/2*(-112)/(-7). Solve -5*c - 40 = -5*q, 3*c + d = -c - 2*q for c.
-4
Let i(s) = s**3 - 5*s**2 - 2*s + 4. Let k be i(5). Let v(r) = -r**2 - 8*r - 1. Let l be v(k). Let n be (-2)/8*-2*2. Solve -q - n = 5*x, x + 2*q - l = 4*x for x.
-1
Let s = 43 + -29. Suppose -2*v - 5*l - 23 = 0, 3*v + 2*l = v - s. Let w = v - -9. Solve -w*a + z = 6*z + 20, 5*z + 10 = 0 for a.
-2
Suppose -23 = -5*b + 7. Suppose -9 - b = y. Let i be y/10*8/(-3). Solve -r + 5*t = 14, -3*r = 5*t - t + i for r.
-4
Let g = 8 - 8. Solve 0 = 4*t - g*t + 2*z + 30, 3*t = 3*z for t.
-5
Let c = 112 - 112. Solve 5*z = a - 6*a, -3*z - 2*a - 5 = c for z.
-5
Suppose 2*g = -3*l, 2*g + l = -0*g + 4. Suppose 5*r = g*r. Suppose 4*w + r = -c + 10, 3*w = -5*c - 1. Solve 0*i + w*d + 10 = 4*i, -3*i = 4*d - 20 for i.
4
Suppose 5*f - 3*b - 6 = 1, -4*f - 2*b - 12 = 0. Let k be (f*16)/(14/(-21)). Suppose 7*h - k = 3*h. Solve 3*j = 5*d - 16, 5*j + h = -0*d - 2*d for d.
2
Let i(h) = 2*h - 10. Suppose 5*g = 5*m - 40, 4*m - 24 + 7 = -g. Let v be i(m). Solve v = -3*c - 7 - 8, 1 = p - c for p.
-4
Suppose 5*u - 5 - 50 = 0. Suppose 3*n - 5*s - u = 0, -n - s = 3*s + 2. Solve 5*g - 6*k + 35 = -3*k, 5*g + n*k + 10 = 0 for g.
-4
Let l(i) = -2*i**2 + 18*i + 5. Let m be l(9). Solve 5*t + m = 0, -t - 11 = 2*k + 2*t for k.
-4
Suppose 2*w = 3*i + 10 + 3, -3*w - 3*i = 3. Solve -w*u - 8 = k, -2*k + 4*u + 22 = -k for k.
2
Let h = 27 + -15. Let v = 10 - 6. Solve -3*n - 4*m + 9 = 0, -2*m - 3*m + h = v*n for n.
3
Suppose 8*r = 7*r + 6. Suppose -r = -k - k. Solve 3*n + 9 = -4*g, 0 = 4*n - 2*n + k*g + 7 for n.
1
Suppose -3*g = -q - 15, -3*g - 3*q + 2 = -13. Solve 0 = -g*y - b - 15, 2*y + 0*y = -2*b + 2 for y.
-4
Let b(l) = -l - 1. Let a = -27 - -19. Let u be b(a). Solve -3*g + 7 = -2*k, -5*g = -2 + u for k.
-5
Suppose 2*q + 2*h = -3*q + 125, -4*q - 5*h = -100. Solve -2*m - 12 = 4*i + 16, i + 5*m + q = 0 for i.
-5
Suppose -f - 3*f + 49 = 3*z, 0 = -4*f - 5*z + 55. Suppose 3*r - r - f = 0. Solve -15 = r*n - 5*j, 0 = n + 2*j + j - 13 for n.
1
Let a(d) = d - 7. Let f be a(5). Let k = -5 + f. Let v = k - -7. Solve -2*t + 15 = 4*i - t, 5*t + 25 = v for i.
5
Suppose 3*d + 0*s + 1 = s, -5*s = -2*d + 8. Let p = d + 1. Solve p*f + f = -4*o - 5, 0 = -f - 2*o - 5 for f.
-5
Let c be (-13)/(-3) - (-2)/3. Let r = 3 - 3. Sup