 -6*d for d.
-2
Let z = 4 - -7. Let r = z + -8. Solve -r*f - 3 - 3 = 0 for f.
-2
Let p be 12 + -2 + (-4)/(7 + -3). Solve 2*l = p - 5 for l.
2
Suppose -l + q + 2 = -2*l, -4 = 5*l + 2*q. Solve -3*r + 2*r - 5 = l for r.
-5
Let b be 8 - 2 - (-4 - -1). Suppose -5*z = 3*f + 5, -8*f - 25 = -3*f. Suppose -z*c - 3*u - 2 = -2*u, 2*c = 4*u + 8. Solve -5*x + 24 - b = c for x.
3
Let o(k) be the third derivative of k**6/120 - k**5/60 - k**4/24 + 5*k**3/3 - k**2. Let l be o(0). Solve -2*x = -4*x + l for x.
5
Let j be -3*(3 - 0 - 6). Let h be (6/(-9))/(2/j). Let g(b) = -2*b - 4. Let s be g(h). Solve 0 = w - 2 - s for w.
4
Suppose -5*u + 10 = -5*n, u - 14 = -4*n + n. Suppose 0 = -2*j + j + 3*y, -5*j = u*y. Solve j = 7*m - 3*m for m.
0
Suppose 0 = 7*q - q - 12. Solve 3*p - 5 = -q for p.
1
Let k be 3 + -3 + (4 - 0). Let p(t) = -t**3 + 5*t**2 - 3*t. Let v be p(k). Suppose v*c = -0*r + 2*r + 4, r = 2. Solve l - 2 = c*l for l.
-2
Let k = 6 - 6. Suppose -2*u = -18 + 6. Let z = -3 + u. Solve k = -z*x - x for x.
0
Let u be ((-10)/(-6))/(5/6). Solve -c = -u*c for c.
0
Let l(h) = 2*h - 10. Let o be l(6). Solve -2*w = -w + o for w.
-2
Suppose -2*z - 7 = c + 2*c, c - 11 = z. Suppose 8 = 4*l, 3*i - 3*l + 13 = -8. Let v be i/(15/6) - z. Solve -3*t = -v*t + 6 for t.
2
Suppose 0 = 2*h + 3*h + 35. Let y(k) = k + 7. Let c be y(h). Solve 0 = -j - c*j for j.
0
Let c(r) = r**3 + 4*r**2 - 6*r. Let y be c(-5). Let j(x) = x**2 - 4*x - 2. Let z be j(y). Solve 7*q = z*q for q.
0
Let r(n) = n**3 + 6*n**2 + 5*n + 4. Let u be r(-5). Suppose -4*s + 32 = 4*l, u*s - 5*l - 14 = -0*s. Solve -2*t = -s*t - 20 for t.
-5
Let x(y) = -4*y**3 - 2*y - 1. Let a be x(-1). Suppose -2*i + a = -5. Solve 0 = -i*c + 4 + 11 for c.
3
Let i(r) be the first derivative of 7*r**2/2 + r - 4. Let f be i(1). Let d = f - 6. Solve 0 = -d*s - 1 - 5 for s.
-3
Let h = 12 - 6. Solve 2*x - h = -0 for x.
3
Suppose -15*s = -0*s - 75. Solve s*w - 27 = -7 for w.
4
Let w(a) = a**2 + 35*a + 128. Let h be w(-31). Solve 9 = h*o - o for o.
3
Suppose -5*q = -3*a + 18 - 1, 6 = 3*q. Let o = a - 4. Suppose -o*n = -2*n. Solve n*y - 5 = -y for y.
5
Let j be (15 - 21)*1*-1. Solve -j*v - 8 = -2*v for v.
-2
Suppose 2 = -2*o - 6. Let a = o + 7. Suppose -5*z + 3*f = -42, 2*z - 46 = -a*z - f. Solve 0 = 2*j + z - 1 for j.
-4
Let k = -6 + 4. Let v be (-1)/(1*k/8). Solve 0*t - 2*t = v for t.
-2
Suppose -30 + 9 = 3*q. Let c(d) = -d**2 - 8*d - 5. Let j be c(q). Suppose 3*y + 9 = -3*b, 5*b + 21 = y - 3*y. Solve y*i + j*i = 0 for i.
0
Let f be -4*((-45)/(-6))/(-3). Suppose 3*s - 5 = -o - 0, 0 = s + 2*o - f. Solve 2*w + 10 = -s*w for w.
-5
Suppose 0 = -5*k + 8*k. Let l = 2 + 0. Solve k*v + l = v for v.
2
Suppose 2*p = -0*p. Solve -4 = -l - p for l.
4
Suppose 2*m - 36 = 2*s, -4*m = -3*m - 2*s - 21. Solve -5*y - m - 10 = 0 for y.
-5
Suppose 0 = -5*o - 2*r + 4*r - 1, 2*o - 4*r - 6 = 0. Let u = 5 - o. Solve 0 = 2*x + x - u for x.
2
Suppose -15 = 4*d - 9*d. Solve -7*h + d*h = 20 for h.
-5
Suppose -4*p = 5*x - 4*x + 4, 0 = -2*x - 5*p - 2. Suppose -5*t + b = -17, -x*t + 3*b = -b - 20. Suppose -3 = w, 4*n - 34 = -t*w + 17. Solve -4*g - n = -3 for g.
-3
Suppose 5*r = 4*y - 4, -4*r - 6*y + 3*y = -3. Let l be 1 + -1 + 2 + r. Solve -c + 2*c = -l for c.
-2
Let l(j) = j**2 - j. Let g = -10 + 9. Let p be l(g). Solve 1 = -a - p for a.
-3
Suppose 0 = -8*u + 5*u - 12. Let n = u + 5. Solve 5*v + n + 19 = 0 for v.
-4
Suppose j = -j. Let v(b) = b + 3. Let x be v(j). Solve -6 = 3*w + x for w.
-3
Suppose -3*t - 36 = -5*t. Suppose 0 = -c - 2*d - 0*d - 2, 4*d + t = 5*c. Let q(f) = f**3 + 4*f**2 - 7*f - 7. Let w be q(-5). Solve -c*r - r = w for r.
-1
Let j = 8 + -5. Suppose -3*n = -3*m - 9, j*m + n = -2 + 13. Solve -4*p + m = -10 for p.
3
Let w(b) = -b**2 - 2*b - 3. Let y be w(-2). Let x = y + 6. Solve -3*v + 0 = x for v.
-1
Suppose -2*o + 4 = -4*y - o, 0 = y - 5*o + 20. Solve -2*x + y = 2 for x.
-1
Let k(b) = -b**2 - 5*b + 8. Let o be k(-6). Solve -o*l + 4*l = -2 for l.
-1
Let o = 13 + -11. Solve -h = -3*h + o for h.
1
Suppose -6*p - 10 = -j - 4*p, 0 = 4*j + 3*p - 73. Let i = j + -8. Solve -15 = i*f - 3*f for f.
-3
Let b(n) = 4*n - n**3 - 4 + 6*n**2 + 4*n - n. Let d be b(7). Let j = d + 8. Solve 0*i + j*i = 20 for i.
5
Let b be (-2)/8 - (-99)/12. Let y = b - -2. Solve -3*l + 4 = y for l.
-2
Suppose -30 = -3*m - 4*o - 1, 1 = -3*m + 2*o. Solve m*d - 5*d = 0 for d.
0
Let z be 0 - (1 - 2/2). Solve 4*p - 2*p - 10 = z for p.
5
Suppose -3*g - 7 = -n, 5*g + 0 + 5 = 0. Solve -n*c = -0*c - 20 for c.
5
Let c = -6 - -12. Suppose 12 = 5*a + 2. Suppose -c = 2*d - 2*i, -7*i + 15 = -a*d - 2*i. Solve 3*v + 2*v = d for v.
0
Let n = -57 - -63. Solve 8*z + n = 10*z for z.
3
Suppose z = -z + 10, 10 = 4*y + 2*z. Suppose 3*q - 10 - 2 = y. Solve -q*t = 19 + 1 for t.
-5
Let p = 5 + -3. Suppose p*b + 0*b = 8. Solve 0 = -b*o - o for o.
0
Let y be 4/6 - (-20)/6. Let s be 2/(0 + 1/(-2)). Let v be (-2)/s + 14/y. Solve 0 + v = 2*u for u.
2
Suppose -5*q - 5*b + 10 = 0, 4*b - b = -2*q + 7. Let i be 6*1 - (q + 4). Solve 2*l = -i*l - 15 for l.
-3
Suppose 0*t + 4*i + 18 = 5*t, 0 = -t - 2*i + 12. Solve 0 = 4*p - t*p + 4 for p.
2
Let f(z) = z**2 + 6*z + 7. Let q be f(-5). Let p(o) = 4*o - 5*o + q + 0. Let h be p(-5). Solve -2*k - 10 = -h*k for k.
2
Let a = -17 + 19. Solve -o = a*o for o.
0
Let h(g) = -g**2 + 11*g - 21. Let y be h(5). Solve 3*n = y + 3 for n.
4
Suppose 0*b + 4*b - 128 = 0. Suppose 3*u - 3 = 0, -u = 4*d + 3*u - 20. Suppose -d*w + 23 = 4*g + 3, 4*g - b = -w. Solve -a - g = -4*a for a.
3
Suppose 0*r - 4*r + 8 = 0. Solve -r*i + 0*i = -4 for i.
2
Let p(f) = -f**3 - 8*f**2 - 6*f + 7. Let i be (0 - -1)/(1/(-7)). Let s be p(i). Solve s = -n - 1 + 5 for n.
4
Let u = 72 + -70. Solve 0 = -p - p - u for p.
-1
Let j(v) = -v**3 - 6*v**2 + 8*v + 7. Let y be j(-7). Solve -4*h = 8 - y for h.
-2
Let p be 0/(-3 + 2 + 2 - 2). Solve p = 3*b - 5*b - 6 for b.
-3
Let h(g) = -g**3 + 4*g**2 + 5*g + 2. Let a be h(5). Let x = -3 - -6. Let k = x - 2. Solve a*n - n = k for n.
1
Let t(f) = -f**2 - f - 5. Let k be t(0). Let c = k + 8. Solve c = -4*r - 1 for r.
-1
Let x be 1*(-6)/(-2) + -3. Suppose 3*z = -x*z. Let y = 2 + 2. Solve z*w = -y*w + 4 for w.
1
Suppose 0 = -7*v + 2*v + 30. Solve -v*s = -3*s for s.
0
Let n = -35 + 38. Solve n*z - 8 = z for z.
4
Let s = -7 + 17. Let p(n) = -n - 2. Let i be p(-5). Solve s = -r + i*r for r.
5
Let i = -116 - -118. Solve 2*q - i = 2 for q.
2
Suppose 60 = 4*g - 3*o, -2*g - 3*o = 2*o - 30. Solve -3*p + 0*p + g = 0 for p.
5
Suppose 0*l + 4*d + 8 = -3*l, 2 = -5*l - d. Let z(q) = q**2 + 6*q + 3. Let s be z(-5). Let r be (l + 2)/(s/(-4)). Solve 0 = -r*x + 5 + 7 for x.
3
Let g = 52 + -32. Suppose 3*n = -2 + g. Let x be 2/(2/(-3)) + n. Solve -2 = 5*p - x*p for p.
-1
Suppose 5*t + 5 = 5*m, -m - 3 = -5*t + 3*t. Solve 0 = 2*p - t + 14 for p.
-5
Let p = -31 + 34. Solve p*j + 22 - 7 = 0 for j.
-5
Suppose 0 = 5*j + 4*k - 9, 2*k = -2*j + 6*k + 26. Solve 1 - j = -4*q for q.
1
Suppose 0 = -2*p + d + 11, 14 = -4*d + 2. Let v(s) = -s**3 + 5*s**2 - 5*s + 6. Let g be v(p). Solve -5*a = -3 - g for a.
1
Let w(o) be the first derivative of -o**4/4 + 10*o**3/3 - 4*o**2 - 6*o - 1. Let r be w(9). Solve -2*u = u + r for u.
-1
Let s = 3 - 2. Let d be (2/4*10)/s. Suppose -w = -2*w. Solve w*v - 5 = d*v for v.
-1
Let s be ((-2)/(-6))/(2 - (-177)/(-90)). Solve o + s = -4*o for o.
-2
Let q(b) = -b - 1. Let t be q(-4). Suppose -l - 20 = t*p + 1, -l = -3*p - 3. Let a be ((-6)/l)/((-3)/(-9)). Solve 0 + 2 = -a*m for m.
-1
Suppose -5*j + 3*h = h, 4*j + 5*h = 0. Solve 3*b + b - 20 = j for b.
5
Suppose c + 2 - 4 = 0. Suppose c*d = 3*d. Solve 2 = -z - d for z.
-2
Suppose -3*w = -3*x + 9, -2*x + 2*w + 21 = 3*x. Solve -x*d = -4 - 1 for d.
1
Suppose -10 - 10 = -5*f. Let p = -9 + 9. Suppose 3*n - 7*n = p. Solve 4 = -f*u - n*u for u.
-1
Suppose -6*b = -b + k - 4, 3*b = -k + 2. Solve 3*i = -2 - b for i.
-1
Let o = 2 + 0. Let t be (0/2)/(3 + -1). Suppose t = l - 6*l + 5. Solve -o*h + 5 + l = 0 for h.
3
Let f = 10 + -6. Suppose 2*d - 12 = 5*d + 3*i, -d + 2*i = -8. Solve d = f*j + 8 for j.
-2
Suppose -2*s + 6*s = 0. Suppose -2*a - 4 = s, q = 3*q + a - 4. Solve 0 = -q*t + 1 + 5 for t.
2
Let a be -1 - (10*-3)/(-2). Let g = a - -47. Suppose -4*t = -3*u + 7, 2*t + t = -5*u + g. Solve 10*h = u*h for h.
0
Let n = -39 + 47. Solve 4*t - 6*t = n f