 2*f - 4*r + 6, -4*f + 2*r + t = 0 for f.
3
Let x(q) = q**2 + 6*q + 5. Let p be x(-5). Let i = p - -16. Suppose -5*m = i - 51. Solve 0 = 2*s + 5*l + 21, m*s - 2*s + 5*l + 15 = 0 for s.
2
Let t be (11/4)/((-2)/(-16)). Suppose -5*i = -3*q + 2 - t, 4*q = 4*i - 16. Solve 5*h - 12 = 3*s, -h - s + i = -2*s for h.
0
Let m(s) be the first derivative of -s**4/4 + 2*s**3 - 2*s**2 - 3*s + 2. Let d be m(5). Suppose l = -d*l. Solve p = -5*u - 23, -5*p + 5 = -l*u + u for p.
2
Let j(c) = c**3 - 3*c**2 + 2*c. Let p be j(2). Suppose 0 = 2*k - 0 - 18. Let i = 14 - k. Solve p = m + 3, -i*g + 4*m = -0*m - 32 for g.
4
Let n(o) = o**3 + 6*o**2 - 2*o - 7. Suppose 0*u - 2*u - 12 = 0. Let v be n(u). Solve -2*w + 5*q = -31, -5*w + 3*q - 7*q - v = 0 for w.
3
Let q = -15 + 15. Suppose 0 = -c - q*c. Solve 3 = v + p - 6, c = -5*v + 3*p + 13 for v.
5
Let p be 5*(0 + 2 - 4). Let k be (-14)/(-6)*(p + 7). Let j = k - -12. Solve 8 + 6 = m - j*a, 5*a = 3*m - 22 for m.
4
Let m(n) = 2*n - 28. Let c be m(14). Solve h + 5*d = -h - 1, 3*h - 5*d + 14 = c for h.
-3
Let c be 1/5 + (-108)/(-10). Let t be (4 + c)/((-1)/(-1)). Suppose -r - 8 - 11 = -5*y, 3*r + t = y. Solve y*a - a + 9 = -k, 13 = a - 3*k for a.
-2
Let v(i) = i**2 - 14*i + 5. Suppose 5*k = 4*u + 86, 2 = -3*u - 10. Let y be v(k). Solve 3*n + 12 = o, 0*n = -y*o - 4*n - 16 for o.
0
Suppose -3 = 2*m - 11. Solve -3*x - m = 5*h, 2*x + 1 = -5 for h.
1
Let x be (63/6)/3*2. Let q be 4/(-18) - (-258)/(-54). Let k(g) = -g - 3. Let v be k(q). Solve -9 = -3*j, v*h + x = h + 2*j for h.
-1
Let l(p) = 2*p + 1. Let x be l(2). Let h be (70/30)/(2/18). Solve 4*v + h = q, 0*v + 25 = q - x*v for q.
5
Let w(x) = -x + 1. Let l(z) = z**3 - 5*z**2 + 7. Let f(g) = l(g) - 4*w(g). Let k be f(4). Solve k*y - 2*o + 8 = 0, -5*y = -3*y + 2*o - 8 for y.
0
Let p be (-553)/49 + 2/7. Let u = -8 - p. Solve -8 = n - c, -2*n + n - u*c = -4 for n.
-5
Let o be 2 + -2 + 2 + 3. Suppose -y = o*t - 25, -3*t = y - 9 - 4. Suppose s = t*s. Solve -2*f - 4 = s, -3*n + 3*f = -8*n + 9 for n.
3
Let y(o) = 2*o - 2. Let p be y(3). Let i be 4/(-2)*125/10. Let n = -11 - i. Solve -n = -0*l + 2*l - p*q, -4*q + 9 = -l for l.
-5
Let j(r) = -9*r - 1. Let w be j(-1). Suppose -h + w = -1. Let b = h + -5. Solve -9 = y - b*l, 8 = 5*y - 3*l + 2 for y.
3
Let f(s) = -s**3 - 18*s**2 - 2*s - 20. Let r be f(-18). Solve -2*i - 3*q = -6*q - r, i - 4*q - 13 = 0 for i.
5
Let q(l) = l + 10. Let b be q(-6). Suppose b*g - 6 = g. Solve -5*z + 26 = 2*o + 7, 4*z = g*o + 8 for o.
2
Let p(g) = 2*g**2 - 4*g + 3. Let b be p(3). Let o be (b/6)/((-2)/(-4)). Solve 0 = -s - a + 3, o*s = -2*s - 3*a + 17 for s.
4
Let v(h) = h - 5. Let o be v(5). Solve -2*s = -3*q + s - 12, 5*s + 5 = o for q.
-5
Suppose 3*g + 0*g = 2*h - 17, 4*g - 24 = -4*h. Suppose 4 = -6*q + 8*q. Solve -k - q*k = n + h, 5 = -3*k + n for k.
-2
Let n = -15 - -20. Solve 0 = -5*d - n*s + 15, 4*d = 9*d + 2*s for d.
-2
Suppose 0*c = c - 4. Let d be (-21)/27 - (-4)/(-18). Let t be (9/(-12))/(d/c). Solve 0 = -5*z - t*j - 0*j - 9, 0 = -3*z - j - 3 for z.
0
Suppose -2*o + 5 = -0*o - 3*c, -c - 1 = 0. Let f = 3 + o. Solve -3*h - 2*h + 2*k = -10, -8 = 3*h - f*k for h.
4
Let y(q) = 11*q + 30. Let b be y(0). Solve 2*i = -5*a + b - 13, 4*i - 4 = 0 for a.
3
Suppose -s = -y - 3*y - 24, -3*s + 36 = -3*y. Solve -4*a - s = -i + 17, -5*a + 3*i = 40 for a.
-5
Let c(q) = q**2 + 2*q + 1. Let j be c(-2). Suppose k - 6 = j. Solve -4 = -4*m + 4*z, 2*m - k = -m + z for m.
3
Suppose 4*h + 9 = 7*h. Suppose 0 = -5*c + 4*o + 13, -4*c - h*o + 26 = -o. Solve 0 = q + 3*i - 11 - c, 4*q + 3*i = 28 for q.
4
Let v = 2 - -2. Let n = -6 - -8. Let h be (n/(-4))/(3/(-18)). Solve -v = b + h*b + 3*u, 5*b + 2 = -3*u for b.
2
Suppose -o + 15 = 5*v - 6*o, -4*o = 4. Let f = 8 + -5. Solve -3*y + v*y = -5*d + 11, 4*d + 5*y = f for d.
2
Suppose -8*i + 6 = -5*i. Solve t - 2 = -3*n, i*n + 0 + 2 = t for t.
2
Suppose 5*l = 11*l - 18. Solve l*v = 5*b + 28, -2*b - 22 = 3*b + 3*v for b.
-5
Suppose 8 = 5*b - 12, f - b - 1 = 0. Let x(u) = u**3 + u**2. Let m be x(-1). Suppose d - 12 = -m*d. Solve 5*l + v - d = -v, -f*l = 5*v - 15 for l.
2
Let q(r) = -r**3 + 10*r**2 - r + 13. Let z be q(10). Solve -2*d = 3*v + 1, -4 = z*d + v + 1 for d.
-2
Suppose 26 = 2*k + 2*o + 3*o, 5*o = -5*k + 35. Suppose 4*b = -t + 21, -t - 5*b + 23 = -k*t. Solve -2*s - 8 = j, -t = -j - s - 5 for j.
0
Let g be (-16)/20 + (-102)/(-15). Suppose b + 1 = g. Solve -r + 2*o + 1 = 0, -44 + 17 = -b*r - o for r.
5
Let h be (-10)/55 - (-171)/33. Solve -5*x - 5 = 0, -h*m + 2 = -x + 1 for m.
0
Let m be -5 - ((-4)/4 + -1). Let y be (9 + -5)/(-1 - m). Solve -5*c + 0*f - y*f = 13, -3*f - 10 = -2*c for c.
-1
Let d = -51 - -55. Let j(s) = -s**2 + 2*s + 4. Let q be j(3). Solve -5*m - y - q = 2*y, -2*y - 2 = d*m for m.
-2
Let h = 12 - 12. Let k = 5 + h. Solve t + 2*z - k*z + 11 = 0, -5*t + z = -1 for t.
1
Let u be (-2)/7 - 86/(-7). Let a = 7 + u. Solve 0*m - n = -4*m + a, 24 = 4*m + 4*n for m.
5
Let d = -9 - -17. Suppose -k + 3*l - 4 = 0, l - d = k - 3*l. Solve -2*f + f + k = 3*t, f + 4 = t for t.
3
Suppose 2*q = 4*l - 4, -5*q - 3*l + 14 = -q. Solve 18 = -5*i - p, 0 = -3*i - q*p + 3*p - 6 for i.
-3
Suppose -24 = -7*w - 5*w. Solve 3*x - 12 = -2*x - 2*a, 4*a = w*x for x.
2
Let b = -25 + 43. Solve 4*w = d + d - b, -4*d = w - 18 for d.
5
Let j = 2 + 2. Suppose 8 = -j*c + 28. Solve 3*y + 2*g - 19 = -2*g, 5*y + 15 = c*g for y.
1
Let w(u) = -10*u**3 - 2*u - 1. Let q be w(-1). Solve -r - r = 3*x - 4, 2*x + 3*r = q for x.
-2
Suppose 2*n - 72 = -2*n. Solve 0 = 3*s - 5*o - 24, 5*o = 4*s + 3*o - n for s.
3
Suppose -38 = -5*w - 8. Suppose -3*b + w = -0*b. Suppose b*u - 4 = 2. Solve 3*v + 5 = -2*h, 2*v - h = u*h - 30 for v.
-5
Let r = 2 + 0. Let y = -43 - -46. Solve 0 = -r*h + 3*a + 5, -3*a = 5*h + 1 - y for h.
1
Suppose -6*v - 23 = -2*z - 3*v, -4*z - 9 = 5*v. Solve -11 = -a + 2*f, -z*f + 3 - 20 = -a for a.
5
Let l(j) = j**3 + 7*j**2 + j - 8. Let s be l(-7). Let g = -12 - s. Solve -4 = 2*m - 4*x, 5*m - 9 = -x + g for m.
2
Suppose 0 = -t - 8 + 10. Solve 4*d + 5 - 3 = t*p, 5 = -5*d + 2*p for d.
-3
Let s = -2 + 7. Suppose -8 = 2*i - 38. Suppose r + 2*r = i. Solve -h = -t + r, h = -h - 3*t + s for h.
-2
Let z(q) = q - 2. Let n(k) = -k + 1. Let o(i) = -5*n(i) - 4*z(i). Let a be o(-3). Solve a*y - 6 = 4*f + 2*y, 4*f - y + 9 = 0 for f.
-2
Suppose -26*m + 10 = -21*m. Solve -1 = -u + m*w + 4, u + w = -10 for u.
-5
Let n(f) = -2*f + 5. Suppose 5*w - 11 = -41. Let i be n(w). Suppose 0*a + 2*g = -3*a + 15, 4*g = a + 9. Solve -a*h + 2*u = 12, -u - i = h - 6*u for h.
-2
Let s(d) = -d**2 + 5*d - 8. Let g be s(5). Let j = 11 + g. Solve -2*w - 3 = -j*i, 3*i = -2*w - i + 4 for w.
0
Suppose 5 = -2*c + 7*c. Solve -a + 6 = 3*i + c, -i = 0 for a.
5
Let q = -14 + 12. Let o(l) = 3*l**2 + 4*l + 2. Let b be o(q). Solve 2*m - n - 3 = b, -4*m + n + 19 = 0 for m.
5
Suppose -3*w - l + 12 = 0, -5*l + 5 = 3*w - 19. Suppose -4*v + 5 = x, w + 1 = 2*v + 2*x. Let u = 3 + v. Solve -m - 1 = 2*y, 2*m + 2*m = -u*y + 4 for y.
-2
Let g(n) = -n**3 + 2*n**2 + 2*n - 2. Let q be g(2). Suppose q*f = -6, -2 - 13 = 5*p + 5*f. Solve s + 8 = d, 2*s - 6*s - 5*d - 5 = p for s.
-5
Suppose u + 6 = -4. Let l(r) = r + 7. Let b be l(u). Let a = 7 + b. Solve -3*z + n = 10, 0*z - 3*n + 4 = a*z for z.
-2
Let j(t) = -t**2 - 4*t + 4. Let f be j(-6). Suppose 0 = b - 3 + 16. Let d = f - b. Solve -5*c + 5*q - 5 = -2*c, -5*q + d = 0 for c.
0
Let l(y) = -y**2 + 9*y - 5. Suppose 0 = -4*s + 17 + 11. Let n be l(s). Solve -4*d + 4*q + 14 = -n*d, -d = -2*q for d.
-2
Let g be 0*((-20)/(-8))/(-5). Solve -3*s + 5*l + 15 = 0, 2*l = s - 6 - g for s.
0
Let y(b) = b**3 - 6*b**2 + 8*b + 3. Let r be y(4). Solve -12 = 3*p + 4*j, p + r = -0*p - j for p.
0
Let g(s) = 6*s - 1. Let r be g(1). Suppose 2*d - 17 = 6*b - b, -r*b = -d + 21. Let x be (2/d)/((-3)/6). Solve 0 = p - v - 0 - x, -v = -2 for p.
3
Suppose -5 - 3 = -2*n. Solve 5*m = n - 29, -m - 5 = -5*k for k.
0
Let m be 1/(-3)*0*1. Suppose -4*x = -5*r - 3, -x = -m*x - 2. Suppose 2*h + r = 9. Solve 6 = 3*f - 3*t, f - h = -4*t + 8 for f.
4
Let l = -8 + 11. Suppose -l*f = -f - 96. Suppose 3*b = -b + f. Solve -3 = -2*v + w, -b - 3 = -5*w for v.
3
Suppose 3*g = 3*k + 5*g - 10, 2*k + 2 = 3*g. Let j = 5 - k. Solve 3*v - j*p = 15, -2*v + 5*v - 11 = p for v.
3
Suppose -5*a - 2*k = -18, 2*k = 6*k - 16. So