6 = c - z*c for c.
2
Let k(w) = -w**3 - 1 + 2*w + 4*w**3 + w**3 - w**2. Let y = 6 + -5. Let h be k(y). Solve -h*p = -2*p for p.
0
Suppose -3*h + 6 = -4*t - 9, 4*h + 2 = -2*t. Let u(r) = -r**2 + 8*r + 4. Let x be u(6). Suppose x = 3*v + h. Solve v*g = -0*g for g.
0
Let l(d) = 7*d - 1. Let t be l(1). Let f be (-3 - -1)/((-2)/8). Suppose -4*a = -f, -3*h = -8*h + 3*a + 14. Solve h*z - t = 6 for z.
3
Suppose 8 + 1 = -3*d, 2*d = 4*j - 26. Solve -4*x = x + j for x.
-1
Let j = -32 - -35. Let p = 6 + -4. Solve j = -5*f - p for f.
-1
Let g(t) = -t + 9. Let n be 2/(-7) - 102/(-14). Let h be g(n). Solve -i - 6 = h*i for i.
-2
Suppose -7*i - 5 = -2*i, -4*i + 56 = -5*d. Let l = -9 - d. Suppose 4*m - 26 = -l*o, -4*m - o + 24 = o. Solve -v = m - 0 for v.
-5
Let i(j) = -j**3 + j + 5. Let d be i(0). Solve 1 + 24 = -d*t for t.
-5
Suppose 0 = -7*w + 2*w + 55. Let x(s) = s - 5. Let q be x(w). Solve 6*i + q = 4*i for i.
-3
Suppose -2 = -2*p + 6. Solve p*a = 10 + 10 for a.
5
Let m(j) = 2*j**3 - 16*j**2 + j - 5. Let s be m(8). Solve s = 4*p - 5 for p.
2
Suppose -4*v = 2*w + 564, -2*w = v + 2*v + 424. Let a be (-4)/(-6) - v/6. Suppose 5*l - 16 = a. Solve -l = -0*p + 2*p for p.
-4
Let l be ((-4)/6)/((-20)/150). Let n = -5 + 8. Let c = 3 - n. Solve -b = -c - l for b.
5
Let f = -39 - -40. Solve c - f + 2 = 0 for c.
-1
Let m = -3 - 2. Let l = m - -5. Solve -x - x + 10 = l for x.
5
Let i(r) = -r**3 + 14*r**2 + 33*r - 14. Let l be i(16). Solve l*t + 6 - 2 = 0 for t.
-2
Let h(m) = m**3 + 4*m**2 + 2*m - 1. Let o be h(-3). Solve 4*b - 2*b = o for b.
1
Suppose 0 = 4*k - k - 12. Let z be (4 - 5/5) + 2. Suppose z*s = -4 + 79. Solve -k*b - s = b for b.
-3
Suppose 0 = -2*d + 3*l + 19, 0 = 3*d + l + 4*l + 19. Suppose h + 4*t = -20, -d*h - 2*t = 2*t + 20. Solve -3*f = -3 - h for f.
1
Let q(y) = y + 7. Let d be q(-3). Let k = 124 - 123. Solve j + k = d for j.
3
Let r(s) = -s**3 + 7*s**2 + 8*s + 4. Let u be r(8). Suppose 14 = -3*b - 3*n + 29, 0 = u*n + 8. Solve 0 = 5*y + b + 3 for y.
-2
Let s(m) = -2*m. Let c be s(-1). Let j be (-3 + 6)*c/3. Solve -5*k + 27 = j for k.
5
Let v = 6 - 6. Suppose 5*q - 15 = -v*q. Solve 0*c = c - q for c.
3
Suppose 2*m + 5*w = -1 - 9, 3*w = -12. Solve 0*t = m*t for t.
0
Let j(g) = -g**2 + 6*g + 9. Let k be j(7). Solve -8 = -2*v - k for v.
3
Suppose 3 = l + 1. Let w = 2 - l. Suppose 4 = -w*d + 2*d. Solve -3*k = d*k for k.
0
Suppose r - 16 = -3*r. Let q = 5 - 5. Let i be (q + 3/6)*0. Solve i = -7*x + r*x for x.
0
Let t(r) = -r**3 + 4*r**2 + 7*r - 6. Let s be t(5). Solve 0 = l + s*l + 10 for l.
-2
Suppose 7*t = 2*t. Suppose -4*a + 3*a - 7 = t. Let z(f) = f + 9. Let s be z(a). Solve 0 = s*p - 4*p for p.
0
Let j be (6/4)/(3/8). Let g be 8 - (j - 2 - 3). Let d = g + -6. Solve -2*c - c = d for c.
-1
Suppose 5*k + 38 - 93 = 0. Solve -2 + k = -3*y for y.
-3
Suppose -3*r + 4*k = -11, 0 = -5*r - 3*k + 6*k + 33. Solve d - r = 4*d for d.
-3
Suppose 7*l - 16 = 3*l - 2*h, -4*l + 24 = -2*h. Suppose 6 = -4*b - 0*b + 3*u, 0 = 5*b - u + 2. Solve b*j - 10 = l*j for j.
-2
Let z = -7 - 1. Let j = 8 + z. Solve j = -3*c - 17 + 2 for c.
-5
Let s = 1 + 1. Let m(x) = -9*x - 4*x**2 + 8*x + 4*x**2 + 2 + 2*x**2. Let u be m(s). Solve 7*h = 5*h - u for h.
-4
Let y(b) = -5*b + 5. Let j be y(4). Let u be j/(-10)*8/3. Solve -u*l + 7 = 3 for l.
1
Let f be (-3)/(((-45)/48)/5). Solve 0*q + 4*q + f = 0 for q.
-4
Let h(a) = -3*a + 1. Let j be h(1). Let y(p) = p**2 + 2*p + 3. Let b be y(j). Let g be b/(9/42) + 1. Solve 0 = 5*n + g for n.
-3
Suppose -k - 12 = -4*k. Suppose m - k*m + 6 = 0. Solve -2 = m*r - r for r.
-2
Let a(d) = -9*d + 7. Let r be a(3). Let z = -20 - r. Solve 5*f - 2 - 8 = z for f.
2
Suppose 4 = 3*j - 2. Let c(t) = 2*t**3 - t**2 - 3*t + 1. Let m be c(2). Suppose -4*d = -m - 5. Solve -j = -z - d for z.
-1
Suppose -5*k = 4*h + 18, 3*h - 2*k = -5*k - 12. Let c be ((-10)/(-8))/(h/(-40)). Solve -2*i + c = 3*i for i.
5
Suppose -4*v = -2*z + 2, -3*z + 31 = 2*z + 3*v. Solve 0 = -z*q + 3*q for q.
0
Suppose 29 = 2*m + 5*z, -2*m + 2*z - 10 = -4. Solve m*i + 1 = -5 for i.
-3
Suppose -3*g + 1 = -5*b, b - g = -2*g + 3. Solve 0 = 2*h - b + 7 for h.
-3
Suppose 6 = -2*w + 3*m, 0*m - 18 = -2*w - 3*m. Solve -5 = 8*x - w*x for x.
-1
Let u(n) be the third derivative of -n**5/60 - 3*n**4/8 - n**3 - n**2. Let f be u(-8). Suppose 2 = -3*b + 14. Solve -b*v - 14 = f for v.
-4
Suppose 2*r = -0*r + 6. Suppose -2*s - k + 12 = r*s, s + k - 4 = 0. Solve -v + s = 5 for v.
-3
Let v be 45/6 + 2/(-4). Suppose v = 2*x + 1. Solve 2*l + x = l for l.
-3
Let x(z) be the third derivative of -z**4/24 + 3*z**3/2 - 2*z**2. Let p be x(5). Suppose -7 = 4*w + 1, -14 = -p*h - w. Solve h*o - 20 = -o for o.
4
Let g be (-1)/(-1)*3*-5. Let p be (-1 - -4) + (2 - 2). Let h be (-1 + p)/((-2)/g). Solve -2*d + 5*d = -h for d.
-5
Suppose 2*b = -3*b. Solve b = -0*r - 5*r - 20 for r.
-4
Suppose 5*m + 24 + 1 = 0, 4*m = 5*i - 35. Solve -i*h + 4 = -h for h.
2
Let i be (5 + 1)*2/6. Suppose i*v = -2*v + 12. Solve -4*f = -v*f for f.
0
Suppose -5*c + 3*y = -23 - 17, -y = -3*c + 20. Solve -6*w + w = c for w.
-1
Let c(a) = -2 + 0*a**3 + 0*a**2 + 7*a**2 - 7*a - a**3. Let z be c(5). Solve z = 2*h + 3 for h.
5
Suppose 0*t + 5*t = 35. Suppose 5*k + t = 3*o, 8 + 1 = o + 5*k. Solve -3*g = -o - 2 for g.
2
Let y be 2/8 - 38/(-8). Let v be (-4)/(-22) + 279/99. Let h = v - 0. Solve -h = -y*q + 7 for q.
2
Suppose -5*v + 5 + 40 = -2*l, -2*l - 17 = -v. Suppose 0 = -5*k + c + 9, 0*k - 5*k + 3*c = -v. Let i = -5 - -5. Solve -b + 3*b + k = i for b.
-1
Suppose 0 = -2*x - 4*u - 36, 0 = 3*x - 4*x + 2*u + 2. Let b = x + 10. Solve 5 = b*i - 3 for i.
4
Suppose 6*d - d - 70 = 0. Let y = -8 + d. Solve 0 = -2*n + y*n - 12 for n.
3
Let b be (2 + 1)*30/9. Suppose -b = u - 6*u. Suppose u = 3*p - p. Solve 5*k = 6 - p for k.
1
Let z(y) be the second derivative of -y**3/6 + y**2/2 + 2*y. Let w be z(-4). Suppose -4*k = -w*k. Solve -u - u = k for u.
0
Suppose -4*f + 9*f - 5 = 0. Let q = 3 - f. Let x be -1 - (-6 - 1) - 2. Solve -g - x = -q for g.
-2
Let i(n) = -n**2 - 4*n + 2. Let d be i(-4). Suppose -d*l - 3 = -5*g - 1, -l = 4*g + 1. Let k = 4 + l. Solve 0 = -3*a + k + 6 for a.
3
Let v be ((-3)/(-6)*10 - -1) + -2. Solve -4 = v*a - 2*a for a.
-2
Suppose 2*l - 8*l = 0. Solve 2*o - 3*o = l for o.
0
Let t be (22/6)/(1/(-3)). Let a = -7 - t. Let j be (-123)/(-6) + (-2)/a. Solve 3*i + 2*i = -j for i.
-4
Let h = -1 + 3. Suppose -7*o + 5 = -9. Solve 4 = -h*f - o for f.
-3
Let s(d) = -d**2 - 6*d - 3. Let c be s(-4). Solve -2*v + c + 1 = 0 for v.
3
Let l be ((-4)/8*0)/(-1). Solve l = -0*w - 4*w + 16 for w.
4
Let i(b) = 2*b**2 - 3*b - 7. Let z(s) = -s**2 + 4*s + 7. Let k(w) = 2*i(w) + 3*z(w). Let d be k(-5). Let v be 3/5*(3 + d). Solve v = 5*n - 22 for n.
5
Let y be (8/10)/((-1)/(-5)). Suppose -4*g + 20 = 6*v - 2*v, -2*v - 4*g = -20. Solve 0*j + j - y = v for j.
4
Suppose -l = -4*t - 3*l + 36, -10 = -2*t + 3*l. Solve -t = a + 3*a for a.
-2
Let o be 2/(-5) + 17/5. Solve -o*b + 7 = 22 for b.
-5
Let o be ((-10)/6)/((-3)/9). Let r = o - -1. Solve 0*s - r = 2*s for s.
-3
Let h(q) = q**3 - q**2. Let n be h(1). Let v be 1 + n/(-2) + -5. Let w = 8 + v. Solve 0 = -w*a + 15 - 7 for a.
2
Suppose 0 = -5*r - 5 + 55. Solve -r = -5*c + 5 for c.
3
Let b(g) = 5*g. Suppose 2 = -2*x + 2*r, -2*x + 0*x + 3*r = 0. Let o be b(x). Let j = -5 - o. Solve 0 = -3*t + j + 5 for t.
5
Suppose -3*s = 4*m - 26, 0*m + 10 = 4*m - 5*s. Let d(q) = q**3 + q**2 - q. Let o be d(2). Let b be 16/o - (-4)/10. Solve -b*n + 3 = -m*n for n.
-1
Let j(a) = a**2. Let f be ((-4)/(-3))/((-6)/9). Let n be j(f). Solve -n*y = -0*y for y.
0
Suppose 3*f - 6 = 5*m, f - 2 = -m - 3*m. Solve -2*u + 0*u + 8 = m for u.
4
Let f(z) = -3*z - 3. Let b(a) = -a - 1. Let p(x) = -2*b(x) + f(x). Let y be p(-1). Solve y*n + 2*n = 2 for n.
1
Suppose j - 10 = -0*j. Let m = -6 + j. Suppose -5*n = -20, -x - m = 3*x - 3*n. Solve 0*c + 6 = x*c for c.
3
Let n be (-24)/4 + 4 + 3. Suppose -4*m - 3*u + 64 = 0, -3*m - 80 = -8*m - 2*u. Solve n - m = 3*v for v.
-5
Let a = -2 + 2. Let p(o) be the first derivative of 2*o**3/3 + o - 1. Let x be p(1). Solve 0*v - x*v + 6 = a for v.
2
Let n be (-1)/(-4) + (-46)/(-8). Suppose 0 = -2*c + 6*c + 20. Let x = 8 + c. Solve -x*w + 9 = -n*w for w.
-3
Let y(t) = t**2 - 3*t - 1. Let b be y(4). Suppose b*j = 4*j - 1. Suppose 4*n = -5*z +