p*s + m = -s + 8, 5*m = 25 for s.
3
Suppose 4*p + 21 = 29. Solve g = 3*t + p*t - 20, 0 = -3*g - 15 for t.
3
Suppose 5*i + 16 = 5*b - 9, 5*i - 3*b = -15. Solve 2 = d - p, 5*p + 4 + 1 = i for d.
1
Let z(u) = u**3 + 17*u**2 + 14*u - 16. Let k be z(-16). Solve -2*q - 3*q - 28 = 2*r, -r + 5*q + k = 0 for r.
-4
Suppose -n + 7 = 5. Solve 2*j - 2 - n = f, -5*j = -5*f - 5 for f.
2
Let x be (6/9)/((-2)/15). Let t(b) = b**2 + 5*b + 5. Let q be t(x). Suppose -9 = q*u + 3*d, 0*d = -3*u - 5*d - 15. Solve 2*f - 4 = u, -3*p - f - 2*f = 0 for p.
-2
Let j be (-1)/((-10)/(-4))*10. Let c(d) = -d - 4. Let o be c(j). Let z = -7 + 9. Solve 2*g - 2*h - 14 = 0, -z*h - 18 = -3*g - o*h for g.
4
Suppose 4*k = -5*s + 2*s - 68, -4*s + 4*k = 44. Let h = 24 + s. Solve 7 + h = 3*w, w = q + 10 for q.
-5
Let i = 2 - 0. Suppose -4*n + 14 = -n + 4*x, i*n + x - 11 = 0. Solve 3*t - 3*j + 24 = 3, 0 = -3*j + n for t.
-5
Let k = 18 + -16. Solve -12 = -4*f - k*x, -14 = 5*x - 4 for f.
4
Let y(s) = -s - 5. Let q be y(-7). Let c = q - 2. Solve 2*d + 2*t + 16 = 0, -3*d + t - 13 + 5 = c for d.
-4
Let m(w) = w**3 + 4*w**2 + w + 14. Let o(n) = n + 1. Let d(y) = m(y) - 5*o(y). Let s be d(-5). Solve -s*f - 12 = q, 3*q + 22 = f - 6*f for f.
-2
Suppose 0 = -5*m + 29 - 104. Let r = 16 + m. Solve 3*p + 0*p = d - r, -1 = -d - 3*p for d.
1
Suppose -n + 0*n - 4 = -s, 4*s + 12 = -3*n. Solve -3*t + 9 = 3*d, t - d + s*d = -1 for t.
1
Suppose -2*a + 8 + 0 = 0. Solve 0 = a*u + 5*z - 10, -2*u - 4*z + z = -6 for u.
0
Let o(m) = m**3 + 13*m**2 + 11*m - 12. Let w be o(-12). Suppose 4*y = 3*z - 4, -3*z = 6*y - y - 22. Solve y*f = 10, 2*l + w - 13 = -f for l.
4
Suppose 4*o = 18 - 6. Suppose -3*s + 3*h + 27 = 0, 4*h - 3 - 1 = -4*s. Solve w = s, 30 = -5*j - w + o*w for j.
-4
Let i(a) = -a**3 - 2*a**2 + 7*a. Let l be i(-5). Suppose 4*o - 3*y = -0*y + 31, 5*o - 4*y = l. Solve -v - o = -3*k + k, v - 4*k + 12 = 0 for v.
4
Suppose 3 + 3 = x. Let h be x/(-27) - 2/(-9). Suppose h = -b - 4*b. Solve b = -3*c + g, -4*c = -7*c - 4*g for c.
0
Suppose 56 = 4*j + 4*g, -j - j + g + 31 = 0. Let l be (6/(-3))/(-4)*0. Solve 3*b + j = -l*b - 2*d, -3*b + 2*d = 15 for b.
-5
Suppose -s = -1, 3*o + 2 = 2*o + 2*s. Solve -3*z + 3*q = -6*z + 3, -z - 2*q + 1 = o for z.
1
Let g(c) = -2*c + 3. Let a be g(4). Suppose 24 = 4*r - 2*r. Let y = a + r. Solve -j - o = 0, 5*j - 23 = 3*o - y for j.
2
Let s = 0 + 8. Suppose -q + 5*q = s. Solve -q*t - n = -t - 6, 5*n - 12 = 4*t for t.
2
Suppose 14*h - 19*h + 15 = 0. Solve 2*f + 2*i - 2 = 0, 9 + 18 = -5*f + h*i for f.
-3
Let g = 4 - 1. Solve -5*c = -5, 5*y - c = g*c + 16 for y.
4
Let h = -14 - -14. Solve -3*t - 10 = -4*i - 0*t, h = -3*i + 5*t + 13 for i.
1
Suppose 5 = -4*p + 21. Suppose 4 = p*h - 12. Solve -h*z - 45 = 4*w + w, -z = w + 10 for w.
-5
Let m = 87 - 69. Solve 4*c = 2*h - 26, -3*h = -c - 1 - m for h.
5
Suppose -2*o = 2*d, -2*d + 3*o + 28 = 2*d. Suppose -w + 5 = -7*g + 3*g, -27 = w + d*g. Let q = 16 + w. Solve -3*n + 4*v - 6 = -5*n, 6 = n + q*v for n.
1
Let k = -3 + 7. Suppose 2*f + 4 = j, 0*f = -2*j - k*f. Solve -j*s - 5*z - 16 = 2*s, 5*s - 3*z + 20 = 0 for s.
-4
Let g be (18/15)/((-3)/(-40)). Let p = -12 + g. Solve -3*k - 1 + 2 = -4*u, -2*k - 26 = p*u for u.
-4
Suppose 7*r - 51 = 75. Solve 2*t = 5*j - 21, -r = 2*j - 3*j + 5*t for j.
3
Let h = 1 + 7. Let u = h + -4. Solve -4*y + 2*y + 6 = 0, -u*y = 3*n - 9 for n.
-1
Suppose c + 4 = -2*d, -3 = 3*c + 5*d + 5. Let s be (0/(-1))/((-1)/(-1)). Let h = -1118 - -1118. Solve s*t - 4*t + 3*n + 3 = 0, -3*t + n - c = h for t.
-3
Suppose -5*k + 0 = -5. Solve 0 = 5*i + 5*m + k - 21, 0 = 5*i + m - 20 for i.
4
Let x(y) = -y**2 - 1. Let k(o) = 4*o**2 + 8*o - 8. Let w(q) = -k(q) - 3*x(q). Let d be w(-9). Solve 0 = 5*j + 4*a + 5, d*j - a - 5 = -4*a for j.
-5
Let d = -777 + 555. Let x be 2/(-12) - d/36. Solve 2*i = -2*r + x*i + 2, r = i + 1 for r.
1
Let w(i) = -2*i - 13. Let g be w(-8). Solve -g*r - 18 = -3*j, -2*r + 2*j - 18 = -2*j for r.
-3
Let i(d) = 2*d**3 - 4*d**2 + d + 2. Let o be i(2). Suppose z - 4*w - 2 + o = 0, 0 = -2*w + 2. Solve -5*j - 14 = -3*a + a, 0 = -j + 2*a + z for j.
-4
Suppose 0*i + i - 3 = 0. Suppose i*d - 8 = 1. Suppose 28 = 6*v - 2*v. Solve -4*y - p = -5, d*y = -v*p + 4*p + 6 for y.
1
Let l = -24 - -28. Solve d = 4*d - i - 15, -3*i = l*d - 20 for d.
5
Suppose 8 = -m + 3*m, 5*n + 3*m = 32. Solve 0 = s + 4*z + 8, -3*s + 0*s + n*z - 8 = 0 for s.
-4
Let q = 3 + 0. Suppose -5*z - m + 12 = -q*m, -8 = -z - m. Suppose -3 = z*n - 15. Solve -3*g - 4 = -g - n*h, 0 = 4*g - 2*h + 8 for g.
-2
Let a = 12 + -9. Let o be 12/(-54) + 112/18. Solve o - 38 = -4*b + 5*f, -b = a*f + 9 for b.
3
Let p(y) = -y + 8. Let o be p(-7). Let n be 3 - (-3 + 2)*1. Solve i - n*i - b = o, i + 2*b = -10 for i.
-4
Suppose 7*b - 11 = 24. Solve -20 = -b*q + y + y, -4*q + 4*y + 16 = 0 for q.
4
Let h be (-11)/(-2) - 12/8. Solve 5*w - 2*w = h*i + 2, -w = -2*i for i.
1
Let l(c) = c**3 + 3*c**2 - 8*c - 4. Let b be l(-5). Let k = b + 8. Let q be (6/4)/(k/(-8)). Solve 2 - 6 = 5*m + q*y, 0 = 3*m - 5*y - 10 for m.
0
Let k be 2 - (-2 - -2)/5. Solve 0*t - 5*t - 2*r = -18, -24 = -k*t - 5*r for t.
2
Let s(p) = -p**3 - 7*p**2 - 2*p - 9. Let l(k) = -3*k - 1. Let v be l(2). Let u be s(v). Solve 0 = -5*m - g + 6, u*m + 2*g - 2 = 5 for m.
1
Let q be 13/(-3) + 2/(-3). Suppose -4*l = 4*u - 50 - 22, 0 = 3*u + 2*l - 51. Let i = u - q. Solve 0 = -d + 4*s + 20, 3*d + 0*s - i = 2*s for d.
4
Let y(r) = -r**3 + 3*r**2 + 30*r - 10. Let j be y(7). Solve 5*d - 3*d + 8 = -k, -d = k + j for d.
-4
Let l(q) = -q**3 - 2*q**2 - 5*q - 7. Let p be l(-2). Solve -5*u = -2*k - 0*u, -6 = p*u for k.
-5
Let q = 55 - 36. Solve -3*y - j - q = 0, -2*y - y = -5*j - 5 for y.
-5
Suppose 4*v + 2 = -0*v - 2*w, 2*v + 5 = -5*w. Let x(z) = z**2 + z + 15. Let y be x(v). Solve -4*s = -g - s + 15, -5*g + 3*s = -y for g.
0
Let w = -5 + 11. Suppose -2*s + w = s. Suppose 0 = 2*y + y + 5*p, 3*y - 2*p = 0. Solve 4*v + u - 4 = s*u, v + u + 4 = y for v.
0
Suppose 0 = 4*v - 0*v - 12. Let o(h) = -h**2 + 12. Let q be o(0). Suppose -q = -v*k - k. Solve 2*z - k*s - 2 = 0, s = -5*z + 6 - 1 for z.
1
Suppose 5*x = 88 - 33. Let c = 0 + 5. Suppose -5*y - 5 = -z + 12, -c = 2*z + 3*y. Solve -l - 5*a = -z*a + x, 0 = l + 5*a + 19 for l.
1
Let p = -14 - -15. Solve -2*c = -5*c - s + 5, p = 3*c + 5*s for c.
2
Let a(z) = z**2 + 3. Let r be a(0). Suppose -7*p + 3*p - 8 = 0. Let w be 4 + r + 4/p. Solve -5*n = -5*j - w, 3*n + j = n + 5 for n.
2
Let f(p) = -6*p + 2. Let h be ((-3)/(-4))/(1/(-4)). Let c be f(h). Let v = -1 + 1. Solve -2*d = -v*d + 2*q - c, 4*d + q = 25 for d.
5
Let n(f) be the third derivative of -4*f**2 + 1/24*f**4 + 0*f + 0 + 1/60*f**5 + 1/6*f**3. Let p be n(-2). Solve 5*y = 17 - 2, -p*t - 5*y + 6 = 0 for t.
-3
Let u(s) = s**3 - 14*s**2 + s - 11. Let q be u(14). Solve h - 1 = q*h - 3*j, 2*h + 3*j = 17 for h.
4
Let g(r) = 2*r**2 + 2*r - 2. Let x be g(-2). Let p(v) = -2*v**2. Let z be p(-2). Let q be z/(4*3/(-6)). Solve 3*n + 20 = -4*i, -x*i + q*n = 8 + 2 for i.
-5
Let a be (-4 + 56/4)*2. Solve -a = -5*d - 5*j, 5*d + 0*j + 12 = 3*j for d.
0
Let o(c) = c**3 - 4*c**2 - 6*c + 6. Let y be o(5). Solve -2*q = -2, 3*q = -3*a + 10 - y for a.
2
Suppose 15 = 4*v - 5*t, t = -v + 6*t + 15. Suppose v = -3*b - 0 + 15. Suppose b*l = -0*l + 3*z, -z = -5. Solve 5*h - 5*f = -35, -f + 2*f = l*h + 17 for h.
-5
Let h = -102 + 102. Solve w + 7 = -2*i, h*i + 5*i + 20 = -3*w for w.
-5
Suppose 4*y - 4*i + 12 - 64 = 0, -5*y - 4*i + 38 = 0. Let v = 15 - y. Let f = 0 - -4. Solve v*o - 16 = f*w, -4*w + w - 12 = -4*o for o.
0
Let x(q) = -q**3 - 7*q**2 - 4*q - 7. Let u(y) = y**3 - y**2 - 3*y - 1. Let t be u(-2). Let i be x(t). Solve 5*a = 4*r - i, 2 = -2*r - 0*r for a.
-5
Let t = -114 + 116. Solve -5*o + 10 - 29 = -y, y = -t*o - 9 for o.
-4
Let a = -4 + 6. Suppose -2*l + 16 = 2*l. Let k = l - a. Solve v = 4*c - 13, k*v = -2*c + 5*c - 6 for v.
3
Let o(n) = 2*n**3 - 3*n**2 - n + 2. Let p be o(2). Let r be 0*2/(-4) + p. Solve -4*d = l + 1, -12 = -d + 3*l + r for d.
1
Let x(r) = r + 1. Let h be x(2). Let v be (-26)/(-4)*2/1. Let t = -9 + v. Solve -t*l + 1 = -h*u, 5 + 1 = -3*l for u.
-3
Suppose -5*p = -2*n + 3*n - 26, -n + 2*p = 2. Suppose -i = -n*i. Solve i = -4*s + 4*k - 8, s = 6*k - k + 6 for s.
-4
Suppose -6*n = -n - 150. Let l be n/(1 - 2 - -2). Solve -2*y = -2*c, 0 = -2*c + 