
Let t be 2/9 + 75/27. Solve d = -h - 7, -t*d - 5*h - 25 = -0*d for d.
-5
Suppose 4*x = -x + 40. Let u = 6 + -2. Suppose 2*j + b - 9 = -u, 5*j - 4*b - 32 = 0. Solve h - j*r = -2*r + 13, h - x = r for h.
3
Let y(x) = x + 12. Let p be y(-9). Suppose -p*i + 7*i = 16. Suppose 3*w + 2*w = -b, 4*w + 3*b = 0. Solve -5*n + 5 = -5, w = i*j + n + 10 for j.
-3
Suppose -5*h - 5 = 20. Let c be 6/h*10/(-3). Solve 0 = 4*k + 5*w + 17, 0 = 2*k - w + c*w + 11 for k.
2
Let h be ((-1)/(-3))/((-1)/(-6)). Suppose 2*m + 0 = 6. Suppose 0 = -7*o + 2*o - m*c + 8, 4*c + 8 = -2*o. Solve 2*k - 10 = -h*r, 3*r - 20 = 2*r - o*k for r.
0
Suppose 2*g + 2*g = 16. Suppose -5*f + 19 = g. Solve 0 = 2*a - 2*m + 4, -4*m - 8 = f*a + 5 for a.
-3
Suppose -3*v - 2 = 2*h - v, 3*v - 3 = -5*h. Solve -6*o - 5*l = -3*o, -h*l = 0 for o.
0
Suppose 7*d - 4*d = 15. Solve 2*o = 4*o - i - 6, -9 = -d*o + i for o.
1
Let y be 3*1*2/3. Let g = 457 - 452. Suppose 3*q - q - 2*r - 24 = 0, 3*q + 5*r = 68. Solve 2*s - 8 = y*h, s = -g*h + h - q for h.
-4
Let c = 8 + -2. Let a = c + -2. Solve 0 = -5*l - 4*b - 14, a*l + 6*b = 3*b - 11 for l.
-2
Let y be -3*4/6*-2. Suppose -y = -v - 0. Solve -d = -j + v*d - 16, 0 = j + 3*d - 16 for j.
4
Let b = 6 + -4. Suppose -b - 7 = -3*k. Solve -5*n = -5*p, k*n + 0*p + 3*p = -24 for n.
-4
Suppose 0 = 9*b - 5*b - 8. Solve 5*r = -b*i, -9 - 3 = -4*i - 4*r for i.
5
Suppose -2*u - v + 6 = u, -4*v + 10 = 5*u. Solve 4*t + 4*r + 37 = -t, -u*t = 2*r + 16 for t.
-5
Let p(j) = 3 - 3 + 16 - 4*j + 5*j. Let k be p(-14). Solve -4*v = -k*q - 10, -v - 10 = 2*q - 0*q for q.
-5
Let g(k) = k**2 - 6*k + 13. Let j be g(7). Solve j = -5*m + 4*d, 15 = 5*m - 3*m + 3*d for m.
0
Let a(f) = -f**3 - f**2 + 2*f. Let x be a(1). Solve 5*d + 20 = x, 0*k = -k + 4*d + 12 for k.
-4
Suppose -11*b - 4*b + 225 = 0. Solve 2*c - 5*p = 15 + 7, 0 = -3*c + 3*p + b for c.
1
Suppose y = k, -k - 5*y = 4*k - 20. Solve 4*h - 2*z + 0*z + 12 = 0, k*h - 2 = 5*z for h.
-4
Suppose -j + 6*j + 3*u + 9 = 0, 0 = -4*j + 5*u - 22. Let g = j - -6. Solve 0 = -g*v + 3*b + 12, v + 5*b = -2*v + 4 for v.
3
Let p = 1 - -6. Let o(j) = -2*j**3 - 4*j**2 - 4*j - 3. Let k be o(-2). Let r = p - k. Solve 2*y - 2*c = -r, -2*c + 1 = y - 4 for y.
1
Suppose 0 + 3 = x. Solve u + 0 = -3*v - x, -u = -3 for v.
-2
Let n = 4 - 3. Let g be n - (2 + -2*3). Solve 0 = -5*w + g, -5*r - 5*w + 2 = -3 for r.
0
Let q(o) = o**2 - 5*o - 9. Let u be q(7). Suppose -u*z - 11 = 4. Let m be 1 + 1 + z + 5. Solve -m*v - f + 4 = -1, -4 = 4*v + 4*f for v.
2
Let w = 6 + -3. Suppose -4*y - 2 - 2 = 4*j, 0 = -4*y - 16. Suppose j*a + 19 = 5*o, -3*a - 25 = -5*o + 2*a. Solve -o*n + 3*h = -0*h - w, 2*h + 4 = 2*n for n.
3
Suppose 0 = c + 3*c - 104. Solve 4*t - 5*b - c = 0, -b - 6 = -3*t - 4*b for t.
4
Let g(x) = x + 12. Let l be g(-7). Suppose l*p = -13 + 33. Solve 0 = -c - 5*u + 4, -p*u = -0*u - 4 for c.
-1
Let o be 4/42 - 2745/(-945). Suppose -8 = -3*q + 1. Solve -5*t = -4*z + o*z, q*z + 17 = -2*t for z.
-5
Let p = -4 + 4. Solve 2*a + p = -2, 0 = -w + 2*a + 3 for w.
1
Let v = -21 - -26. Solve b + b - 3 = -3*m, v*b + 12 = -m for b.
-3
Suppose -18 = -2*l - 4*s, l = -0*l - 3*s + 11. Solve -3*p = 10 + l, 30 = 5*v - 4*p for v.
2
Let r(x) = x**3 + 3*x**2 - x + 1. Let b be r(-3). Suppose 0*a - 16 = -b*a. Let w be 0/((-6)/(-3) - 3). Solve d - 4*v + 2 = w, -1 + 4 = a*d - 5*v for d.
2
Suppose 5*y - 4 = s, -5*y + 24 + 24 = 3*s. Solve 3*r - c + 3*c = -13, 3*c + s = 4*r for r.
-1
Let h(w) = 3*w + 14. Let y be h(-4). Solve -i - 4*x + 21 = 0, -y*i = -i + 5*x - 26 for i.
1
Suppose 0 = -0*f - 3*f. Suppose f = -6*n + 2*n + 24. Solve 4*x - n = 3*r + 1, -5*r + 7 = -2*x for r.
3
Let u be (-3)/3 + 3 + 0. Suppose -5*b = -u*b - 12. Solve -p - 4 = 0, 3*i + b*p + 24 = i for i.
-4
Suppose 0 = 3*c - 5*c + 10. Suppose -c*b = a - 14 + 1, -3*a = -5*b + 1. Solve 3 = -f, -n - 5 - 7 = a*f for n.
-3
Let s be 1/(-3) + 70/30. Suppose s*k = 7 - 1. Solve 0 = -5*f - b + 6*b + 20, -k*f = -b - 2 for f.
-1
Suppose -4*i + 40 = 2*x, 69 = 5*x - 2*i - 19. Let u be (x/(-15))/((-6)/20). Suppose 0 + u = 2*r. Solve -r = -2*v + 5*n, -4*n + 2 = 4*v - 2*v for v.
1
Let m be (-63)/13 + 2/(-13). Let x(r) = -r**3 - 5*r**2 - 1. Let o be x(m). Let q be (-2)/o + 0 - -2. Solve 17 = -q*h - 5*j, -3*h - 4 = 4*j + 10 for h.
2
Suppose -6*m - 3*z - 1 = -11*m, -3*m + 4*z - 6 = 0. Solve 0 = m*b - 5*d - 15, -2*d - 13 = 5*b + 22 for b.
-5
Let n = 43 + -40. Solve -r + 5*r + n = 3*a, 5*a + r = -18 for a.
-3
Let u(q) be the third derivative of -q**4/12 - q**3/6 + 4*q**2. Let x be u(-2). Solve -y = x*w + 6, -y - 3 + 0 = 0 for w.
-1
Let n = -26 + 28. Solve 0*s + s - d + n = 0, -s - 1 = -2*d for s.
-3
Let g be (4/2)/(2 - 15/9). Solve 0 = -2*z - 3*t - 8, -g*z + t = -z + 3 for z.
-1
Let d be (6/4)/((-12)/(-56)). Solve 2*b + 22 = -d*k + 2*k, -5*k - 23 = 3*b for k.
-4
Let q(s) be the first derivative of -s**4/4 + 5*s**3/3 + 4*s**2 + 2*s + 1. Let t be (2 + -1)/(2/12). Let z be q(t). Solve 5*v + 14 = -1, 4*u - 2*v = -z for u.
-5
Suppose a - 58 = 3*m, -3*m + 8*m = -4*a + 181. Suppose 2*v - a = -19. Solve -5*o - v - 7 = -2*w, -2*o = -w + 9 for o.
-4
Suppose -u - 2 = -h - 0, -32 = -4*h - 4*u. Solve k - 1 = -5*x - 23, x = h*k - 20 for x.
-5
Let r be -1 + 15/17 - 8/(-68). Solve 4*w + r*z = -2*z + 2, 9 = 3*z for w.
-1
Suppose 0 = g + 2*g + 6, -4*v - 4*g = -12. Let x = v + -3. Solve -5*m = -3*o - x*m - 3, 4*m = -o + 19 for o.
3
Let p(z) = 2*z**3 - 3*z**2 + z - 2. Let r be p(2). Suppose -2*i - r = -3*i. Let s be (-2)/4 + 2/i. Solve s = d + 5*g, 2*d - 2*g = -3 - 9 for d.
-5
Let x(i) = i**2 - 9*i - 13. Let m be x(10). Let s be (m + 1)*3/(-6). Let r be (-10)/s*8/(-10). Solve u = t - 6*t - 1, r = u - 4*t for u.
4
Let t(a) = 5*a + 4. Let h be t(-6). Let j = -38 - h. Let r be (-57)/j + (-9)/12. Solve 4*l - c + r = -4, -4*l = 4*c + 28 for l.
-3
Let z(s) = s**3 - 7*s**2 + 7*s + 2. Let d be z(6). Let q be (-2)/d - 39/(-12). Solve 0*i - 3*i - 5*h + 20 = 0, -q*h + 12 = -3*i for i.
0
Let h = -131 - -135. Let i(u) = -u**3 + 5*u**2 + 6*u + 3. Let j be i(6). Let k(n) = n + 1. Let v be k(j). Solve -h*z + a - 10 = -2*a, -v = -2*a for z.
-1
Suppose 0*w = -5*w + 30. Let l(r) = r + 5. Let z be l(0). Suppose -9 = -z*h - 2*m + 5, -3*h = -4*m + 2. Solve -c - w = -b, b - 5*b - h*c + 6 = 0 for b.
3
Suppose 2*j = -n - 12, j + 4*n + 0*n = 1. Let i = j + 9. Solve -3*q - 10 = -i*d, -d = 5*q + 7 + 1 for d.
2
Let d(i) = 2*i + 9. Let m be d(6). Let c = 0 - -4. Suppose 3*s = -3*v + s + 17, -c*v - 4*s + 24 = 0. Solve -m = -4*t - v*r, 2*t + 4*r = 4*t + 22 for t.
-1
Suppose -2*v = -x - 2 - 9, -16 = -4*v. Let p be x*(-3)/(-9) + 9. Solve 5*z + 3 + 2 = i, -2*i = -z + p for i.
-5
Let u(x) = -x**2 + 8*x + 37. Let o be u(11). Solve o*h = -2*q + 6, 5*h + 2*q - 5 = -3*q for h.
2
Let f = 48 - 21. Solve 2*m = 5*j - f, -j = -5*m + 2*m - 8 for j.
5
Suppose -2*n = -5*r + 4, r + 8 = -3*r. Let w be -5 + 3 + -2 + 15. Let b = w + n. Solve 5*y - 2*l = -l - 19, -b*y + 4*l - 28 = 0 for y.
-3
Suppose 2*m + 2*m = -2*n + 40, 2*m = -2*n + 24. Let g(o) = o**2 - 8*o + 6. Let u be g(m). Solve 2*l + v = 14, -3*l - 3*v + 21 = -u for l.
5
Let u(p) = 13*p**3 - 2*p**2 + p + 1. Let m be u(1). Solve i = -5*w + 5, -5*w - 7 = -4*i + m for i.
5
Suppose -3*i = -7*i + 16, i = 2*r + 2. Let t be (r*-6)/(14 + -15). Solve -4*z = 4*w, -4*z + 4*w = -6*z - t for z.
3
Let a be ((-6)/(-4))/(-5 - (-83)/16). Solve 0 = f + 7*p - 3*p + a, -f + 4*p = 0 for f.
-4
Let p = -13 - -17. Suppose 0*z - p*z = 0. Solve z = -t + 2*m + 1 - 5, -4*t - 2*m + 4 = 0 for t.
0
Let m = -24 + 38. Solve -5*i + i - m = -s, 3*s - 18 = 4*i for s.
2
Let r be (3 - -1)*(-8 + 9). Solve 2*f + 2*c = -8, -2*c = 5*f - r*c + 20 for f.
-4
Let g = -11 - -10. Let s be g*5*5/(-5). Solve 18 = -j - 5*c, s*j - 2*j - c = 10 for j.
2
Suppose -96 = -4*c + 4*b, 2*c + 51 = 4*c - b. Let q be 2*4/(8/3). Solve -q = 3*d, 0*d = 5*k - 2*d - c for k.
5
Suppose 75 = -2*y + 27*y. Solve -2*j - 2*j + 3*k - 3 = 0, y*j = -4*k + 4 for j.
0
Suppose -5*t = -5*s, 1 = 2*s - t - 0. Let u = s - 6. Let o = 23 + u. Solve 0 = -5*m - 4*g - 11, -4*g + 5 - o = 3*m for m.
1
Suppose -6 = -5*k + 9. Solve -21 = -5*r - 4*j, k*r - 4*j + 0*j + 13 = 0 for r.
1
Suppose 7*y = -5*t + 3*y + 4, 0 = -t - y. Suppose -2*r + 3*r - q = -2, 4*r = -t*q + 32. Solve 2*u + 0*u = 3*k + 15, -r*k = 2*u + 3 for k.
-3
Suppose -4*j - 3 = y - 6, -6 = -3*j