= 0 for c.
-3
Let d be 27*(-5)/(45/(-12)). Let k = d - 20. Solve -3*w - k = w for w.
-4
Let n be 1*(-1 - (-4 + 1)). Solve -b - n*b + 15 = 0 for b.
5
Suppose -5*h = -54 - 26. Solve -4 + h = -4*p for p.
-3
Let c(q) = -q**3 + 3*q**2 - q. Let a be c(0). Solve a*y - y = -5 for y.
5
Let j(d) = -d**3 + 9*d**2 + d - 5. Let k be j(9). Suppose -2*r = z - 10, k*z = r + 3*r + 4. Solve 5 = -4*u - r for u.
-2
Suppose -2*k + 10 = 4. Solve -k = -z - 2 for z.
1
Let i be (-18 - 0)*(-1)/2. Let b = i + -17. Let u = -6 - b. Solve 9 = u*v + 1 for v.
4
Let m(r) = r - 2. Let b be m(3). Let z be (-3 + 0)/(b*-3). Let d be 0/(2 + 2) + 4. Solve d = -3*a + z for a.
-1
Let x(d) = -d**2 + 5*d + 14. Let i be x(7). Solve 0 = -n - i + 5 for n.
5
Suppose -3*d - 2 = -17. Suppose 0 = 5*t + 5*x - 120, 0*t - x = d*t - 104. Solve v - t = 5*v for v.
-5
Let a(d) = d**3 - 9*d**2 + d - 6. Let u be a(9). Solve -u*l - l - 4 = 0 for l.
-1
Let o = -14 + 25. Let g = o - 9. Solve 2*r - 4 = g for r.
3
Let z(o) = -o + 2. Let x(y) = -2*y + 4. Let u(a) = 3*x(a) - 7*z(a). Let h be u(2). Solve 4*q - q + 3 = h for q.
-1
Let o(t) = 6*t + 2. Let y be o(2). Let j be 14/(-4)*(-8)/y. Suppose -j*v + 0 = -6. Solve -v*a - 6 = -a for a.
-3
Let o be -2*1*1/(-2). Let a be (-1 + 2)*(1 - o). Solve d + 5 = -a for d.
-5
Let x be 7 + -1 + -4 + 1*3. Solve -x*j = -4*j - 5 for j.
5
Suppose -4*p - 2*n - 20 = 0, -n = 4*p + 9 + 13. Let j = 18 + -29. Let s = p - j. Solve d + 0*d + s = 0 for d.
-5
Suppose -9 + 21 = 3*i. Suppose -2*k = 3*k - 15. Let r(c) = 2*c**2 - 3*c. Let m be r(k). Solve i*y + m + 11 = 0 for y.
-5
Suppose -2*t + 4*v - 9 - 7 = 0, 4*t + 5*v - 20 = 0. Suppose 2*f + 4*b - b + 4 = t, -5*f - 3*b + 8 = 0. Solve 3*h + f = 13 for h.
3
Suppose 5*c - u + 82 = 0, -3*u - 26 = -0*c + c. Let k = -13 - c. Solve k*p - p = 0 for p.
0
Suppose -3*k = -27 + 12. Suppose 12 = k*m - 88. Solve -h + m = 4*h for h.
4
Suppose 4*n = -5*s + 18, 2*n + 12 = -3*s + 4*s. Let y be (-4)/(-4)*1*s. Let q = 14 - y. Solve -2*c = -q + 2 for c.
3
Let j be 32/12*(-3)/(-4) - 0. Solve -c - c - j = 0 for c.
-1
Suppose -40 = c - 3*c. Solve 3*y - c = -2*y for y.
4
Suppose -3*w - 2 = 4*c - 20, -3*w + 15 = 3*c. Suppose -4*t + 0*t + 20 = 0. Suppose -c*l = -4*l + t. Solve 0 = l*b - 25 - 0 for b.
5
Let i(a) = a**3 + a**2 + 3. Let h be i(0). Let u = 6 - 7. Let n be (u + (4 - h))/1. Solve n = o + 4 for o.
-4
Let p(v) = -9*v**3 - 21*v**2 - 12*v - 10. Let c(f) = -4*f**3 - 10*f**2 - 6*f - 5. Let n(x) = -7*c(x) + 3*p(x). Let y be n(-5). Solve 9*w = 4*w - y for w.
-5
Let f = -19 + 29. Let d = 2 - -1. Solve s = d*s + f for s.
-5
Let l = 17 + -7. Let q(g) = -g**2 + 9*g + 12. Let z be q(l). Solve 0*n = -z*n - 2 for n.
-1
Suppose 9 = 4*a - 3. Let t be 2*(a/6 - -1). Solve q + 2 - t = 0 for q.
1
Suppose 0 = 2*h + 3*h - 15. Suppose -j + 4*j + 4*b = 55, 2*b + 67 = h*j. Solve 4*q - j + 1 = 0 for q.
5
Suppose 3*x = -0*x + q + 10, q + 14 = 5*x. Solve 16 - 6 = x*j for j.
5
Let c = 71 + -67. Solve -3*i = i + c for i.
-1
Let q(j) = -17*j + 1. Let o be q(-1). Let y be 0/(-1)*(1 - 2). Suppose y = -2*n + 3*a, n + 3*n = -2*a + 16. Solve -n*w = -o + 3 for w.
5
Let o be (8/3)/((-2)/(-3)). Let n be (-90)/(-24) - (-1)/o. Solve -1 = n*h + 3 for h.
-1
Let b(v) = 4*v + 4 - 3*v - 2*v. Let f be b(-6). Suppose -4*p = 5*g - 6, p + f = 2*p - 3*g. Solve p*t = 3*t for t.
0
Suppose -t = -4*t. Suppose -2*q - 3*i = 13, -4*q + 3*i + t*i - 17 = 0. Let u = q - -20. Solve -u = -6*c + c for c.
3
Let y = 130 - 128. Solve y*s - 25 = -3*s for s.
5
Let k(c) be the third derivative of -2*c**6/15 + c**4/24 + c**3/6 - 3*c**2. Let l be k(-1). Solve l = -y + 5*y for y.
4
Let x be 0 - 3/6*-2. Suppose -2*n + 3 = -x. Solve -n*q = 7 + 1 for q.
-4
Suppose 0 = 5*h - 5 - 10. Solve -d + h*d = 0 for d.
0
Suppose 0 = 3*r - 4*t - 8, t + 2 = 4*r - 0*t. Let h be (3/(-6) - r)*-22. Solve 0 = 3*p + h - 2 for p.
-3
Suppose 0 = w - c - 3, 2*w - 4*c + 6 = 2. Let z = w - 5. Suppose f + 3*q - 17 = 6*q, 0 = -z*f + 3*q + 27. Solve f*s - s - 12 = 0 for s.
3
Suppose 20*l = 15*l + 10. Solve g - l = 1 for g.
3
Suppose 0*a + 189 = 3*a. Suppose o = -2*o + a. Solve -4*k = -o + 1 for k.
5
Suppose -103 = -8*d + 9. Solve -d = -5*j + 11 for j.
5
Suppose 4*p - 145 = -p. Let y(r) = -r**3 + 7*r**2 - 4*r - 7. Let v be y(6). Solve -v*k - 9 = -p for k.
4
Suppose y + y = 10. Suppose 4*m = m - i - 63, m + y*i = -35. Let s = m - -28. Solve -s*r = -3*r - 10 for r.
2
Let h(w) = w. Let r be (-3)/6*(-2 + -8). Let f be h(r). Suppose -f - 7 = -4*j. Solve j*l - l = -10 for l.
-5
Let n(w) = -w - 4. Let t be n(-7). Solve -t*g = 5 + 7 for g.
-4
Let f(p) = -2*p**2 - 38*p + 2. Let k be f(-19). Solve 0 = n - k + 1 for n.
1
Let n(u) = u**2 + u - 4. Let t be n(-3). Solve -t*w = -5*w for w.
0
Let q = 3 - -4. Let v = q - 3. Solve v*p = -5 - 11 for p.
-4
Let u(j) = -j - 2. Let m be u(-2). Solve -q - 2 = -m*q for q.
-2
Suppose 0*g - 28 = 2*h - 4*g, 0 = 2*g - 6. Let y = 11 + h. Solve -y = 3*l + 6 for l.
-3
Suppose 3*a = -4*o - 6, -4*o + 3*a + 7 = 1. Suppose 2*r = -o*r + 4. Solve 0 = 4*j - r*j - 6 for j.
3
Suppose -2*a + 8 = 6. Let x = 1 + a. Suppose -x*r = -5*r. Solve r = 3*v - v - 8 for v.
4
Let t = 21 + -16. Suppose -t*f + 0*f = -10. Solve -2 = -f*i - 6 for i.
-2
Let v be (-28)/8*1*-2. Solve -2*x - 3 = v for x.
-5
Let k(d) be the first derivative of d**3/3 + d**2/2 - d + 1. Let j be ((-3)/(-9))/((-3)/(-9)). Let z be k(j). Solve -3*c = -z + 10 for c.
-3
Let w(p) = -p - 1. Let q be w(0). Let h be (-1)/(-2) + q/2. Solve h*s = s + 4 for s.
-4
Suppose 0 = 3*n + 2*n - 40. Let l(x) = -x + 8. Let z be l(n). Let f = 6 + z. Solve -2*w = -f*w - 16 for w.
-4
Let c(a) = -a**3 + 2*a**2 + 4*a - 6. Let i be c(2). Solve 4*p - i = 5*p for p.
-2
Suppose 5*b + 5 = 4*m, -21 = -2*b - 3*m - 0*m. Let n = b + -3. Suppose n = -0*o + 4*o - 12. Solve 0 = w - 4*w + o for w.
1
Suppose 3 = 3*t, -4*s + 23 = -t + 4. Solve -s*a = -a - 4 for a.
1
Suppose 3*l + l + 44 = 0. Let t = 41 + l. Suppose 4*m - t - 2 = 0. Solve 4*f - 16 = m*f for f.
-4
Let i(t) = t**3 - 11*t**2 + 3*t - 9. Let c be i(11). Solve -c = -5*z + 1 for z.
5
Suppose 4*i + 2*h = 10, -4*h = 5*i - i - 12. Let m = 18 + -10. Solve -3*v + i = m for v.
-2
Let j = -71 + 76. Solve j*b = 3*b + 10 for b.
5
Let o = -1 + 19. Suppose -5*y - 4*w = -6 - 6, w = 4*y - o. Solve 0 = -y*h + 2*h + 4 for h.
2
Let n(o) = o**2 + o - 2. Let b be n(3). Let f be 4/(-28) + (-99)/(-7) - -1. Solve -5*k + b*k + f = 0 for k.
-3
Let w(h) = h - 8. Let t = 16 - 6. Let f be w(t). Solve -2*n - f*n + 8 = 0 for n.
2
Suppose 0 = -5*x + 5*h - 35, -x + 5*h = -2*x + 23. Suppose 0 = -c - 0 + 5. Let w = c + x. Solve -2*k + w = k for k.
1
Let h = -9 + 14. Suppose h*p - 2*p = 0. Solve p*a = 3*a for a.
0
Let n = -4 - -4. Suppose -2 + n = -g. Let j(s) = -s**2 + s + 2. Let b be j(2). Solve -g*f - 2*f - 4 = b for f.
-1
Let v be 1 - 3/((-6)/4). Suppose -2*a + 5 = -2*w - 5, -w = 5*a - 19. Let j = -4 + a. Solve -v*l + j*l + 3 = 0 for l.
1
Let u be 155/(-20) - (-1)/(-4). Let b be 2/u*(-9 + 5). Solve -b = 3*f - 4 for f.
1
Suppose 38 = 5*t - 2*i + 10, 0 = 4*t + 2*i - 26. Solve t*c = 2*c for c.
0
Suppose 2*u - 5*g = 5*u + 5, -5*g = -u + 25. Solve -u*w - 8 = -w for w.
-2
Suppose 4*i + 0*v = -2*v + 22, -5*i = 2*v - 25. Solve 0 = -2*m + 7 - i for m.
2
Let b be 9/6 - 3/(-6). Solve -b*w = -0*w - 10 for w.
5
Let a = -7 + 8. Let g be (-92)/(-12) - a/(-3). Solve -u + g = 4 for u.
4
Let v(h) = h**2 - 3*h - 7. Let u be v(5). Let x(y) = -y**2 + 10*y. Let s be x(10). Solve -r + u*r - 10 = s for r.
5
Suppose -3*a = 2*a - 25. Let x(n) = n + 8. Let j be x(-6). Suppose -5*i + 28 = -i - 4*u, 2*u = 3*i - 20. Solve -j*o + i = -a*o for o.
-2
Suppose 3*m = l + 15, 3*l + 25 = 5*m - 0*l. Suppose 4*p + p - 15 = 0. Solve p*w - m = -2*w for w.
1
Let q be (10/4)/((-5)/(-10)). Suppose 0 = -q*c - 5, 0 = -k - 0*c - c + 1. Solve -k*s - 2 = 6 for s.
-4
Suppose 0 = 4*l - 0*l. Suppose -12 = -2*i - 2*t - l*t, 15 = 5*t. Solve -3*f - i = 3 for f.
-2
Let u(a) = 3*a - 35 - 4*a + 27. Let z be u(-10). Solve -z*g = g - 6 for g.
2
Let b(u) = u**2 - 11*u + 2. Let m be b(11). Suppose v + 4*c + 13 = 0, 0*v = -m*v + 4*c + 22. Let q = 6 - v. Solve q*z - 3 = -18 for z.
-5
Let t be (2/(-3))/(2/(-18)). Suppose t*l - 3*l = -3*g + 15, 2*g - 2*l = -6. Let f = 3 - -1. Solve -q + g - f = 0 for q.
-3
Let q(c) be the first derivative of c**4/4 - 4*c*