 0*c = 0, q*c + 10 = 0. Solve 4*b = -11 + k for b.
-2
Let v be -3 + 4 - (-9 - 2). Let j = v + -8. Let i be -1 + (2 - 1) + 20. Solve j = 4*h + i for h.
-4
Suppose 0 = -m + 1 - 7. Suppose -2*f - 245 = -1. Let z be 2/m + f/(-6). Solve -z = s - 5*s for s.
5
Let z(i) = 4*i**2 - i. Let l be z(1). Suppose -m + 5 = p, -m = -2*m + l. Solve 14 = -4*t - p for t.
-4
Let l = -30 - -37. Solve -2*j + l = 1 for j.
3
Let l(x) = -x**2 - 8*x + 2. Let i be l(-8). Solve -4 = -i*j + 6*j for j.
-1
Let v(a) = a**3 - 8*a**2. Let o be v(8). Solve 20 = 5*c - o*c for c.
4
Let h(r) = r**2 - 4. Let q(w) = w**2 + 8*w - 13. Let d be q(-9). Let f be h(d). Solve 0 = -3*m + 7*m - f for m.
3
Let i(u) = -u**3 - u**2 - 4*u + 7. Let k(x) = x**3 + 4*x - 7. Let n(a) = 6*i(a) + 5*k(a). Let c be n(-5). Solve 2*g + c*g - 8 = 0 for g.
2
Let z(g) = 2*g + 4. Let u be z(5). Solve 6 = 5*t - u for t.
4
Suppose 2*z + u + 2 = 4, -15 = 3*z - 3*u. Let k = z + 4. Let c = 6 - k. Solve -8 = c*h - h for h.
-4
Suppose b - 11 = -2*f, 27 + 1 = 4*f + 4*b. Solve 0 = v - 0*v - f for v.
4
Let a = -6 - -6. Suppose 0 = -a*d + 2*d + 5*c + 17, -4*d + 3*c = -31. Solve 0 = d*s - 2*s for s.
0
Let t be ((-11)/33)/((-2)/12). Solve -9 = -t*y - y for y.
3
Suppose -g - 5*a - 23 = 0, 4*g + g - 25 = 3*a. Solve -3*l - g = -l for l.
-1
Let f = 1 + -2. Let x be (5/4)/(f/(-4)). Solve -j - 8 = -x*j for j.
2
Let o = -8 + 10. Solve 0 = o*c + c + 9 for c.
-3
Suppose 2*c = 6*c. Solve 0 = 4*h - c*h for h.
0
Let r = 56 - 51. Solve -d + 12 = -r*d for d.
-3
Suppose 6*b - 41 = -23. Solve 5*f = 2*f - b for f.
-1
Suppose 32 = 5*t - 8. Suppose -t = -d - w + 2*w, 0 = 2*d - w - 14. Solve -b - b = d for b.
-3
Suppose -x = -3*x. Let y = x - -1. Solve 0*j - j = -y for j.
1
Let i = -15 - -19. Solve 3*h + h + i = 0 for h.
-1
Suppose 0 = -0*a + 2*a - 4*z, 2*a - 4 = 2*z. Solve -2*m - a = 6 for m.
-5
Let w = 6 + -3. Suppose 43 = 4*y + w. Solve -3*h + 5*h + y = 0 for h.
-5
Let f be (-21)/(-4) + 6/(-24). Suppose -4*s + 2*s - 6 = f*b, 3*s + 9 = 5*b. Suppose 4*r + b = 12. Solve 3*t - r = -9 for t.
-2
Let k = -13 + 5. Let n = k + 14. Solve -6 - n = -3*y for y.
4
Let f be (-3 - 0 - -5) + 0. Suppose 2*n = -f*w + 6, -4*n + w + 4*w = -3. Solve -n*d + 0 = 2 for d.
-1
Suppose 3*t - 6 = -j, t + 3*t = -4*j + 8. Solve j = -u - 3*u + 4 for u.
1
Suppose -4 = -3*w + 2. Suppose w*r + 3*k + 1 = 0, 0*k = 5*r - k - 23. Solve r*l = l for l.
0
Suppose -15 = -3*f, -5*g + 30 = -0*g + 4*f. Solve 0 = w + g - 0 for w.
-2
Let i(k) = k**3 + k - 1. Let w(f) = 3*f**3 - 3*f**2 + f - 7. Let t(p) = -2*i(p) + w(p). Let x be t(4). Let n = 11 - x. Solve -2*c = -c + n for c.
-4
Let p be (-189)/(-21) + 0*2/(-4). Solve 0 = -0*x + 3*x + p for x.
-3
Let n be ((-2)/16*-4)/(4/40). Solve -p + 6*p - n = 0 for p.
1
Let d(z) = -23*z**3 + z + 1. Let h be d(-1). Let j(o) = -o**2 + 12*o + 6. Let n be j(12). Let l be h + (-4)/(n/(-3)). Solve -4*t - l = t for t.
-5
Let z(r) = r**2 + r + 1. Let t be z(-2). Solve -t*h + 6 = -3 for h.
3
Let j = -3 + 4. Suppose 5*c - j = 19. Solve c*d = -1 - 19 for d.
-5
Suppose -3*a = 5*t - 14, 5*a - 4*t + 11 + 15 = 0. Let d = a + 8. Solve -z - 2 = -d for z.
4
Let r(i) be the first derivative of -i**3/3 - 5*i**2/2 + 3*i + 1. Let c be r(-5). Suppose 0 = -5*w + 4*w + c. Solve -w*m = m - 16 for m.
4
Suppose -2*z = -5*z - 9. Let p be ((-6)/8)/(z/12). Suppose p*u = -12, -4*w + 3 = -4*u - 25. Solve -w*d + 0*d = 0 for d.
0
Let z = 5 + -2. Let a be z/9 - 2/6. Solve a*x = -2*x for x.
0
Suppose 2*n = 10 - 2. Let b be 67/3 + 12/18. Solve -b + 7 = n*q for q.
-4
Let x be 14/(-2)*-1 - (1 + 2). Solve s = -3 + x for s.
1
Let p be (-1)/(2/(4 + -14)). Solve -15 - p = -5*y for y.
4
Let i(o) = -7*o + 58. Let p be i(8). Solve 0 = 3*z - 5*z + p for z.
1
Let y(u) = -u**3 - 6*u**2 - 4*u + 1. Let z be y(-5). Let m = z + 9. Solve 0*r = m*r for r.
0
Let l be (-1)/(206/102 - 2). Suppose -3*p - 13 - 65 = 0. Let q = p - l. Solve -4*g - q = g for g.
-5
Suppose m - 8 = -3. Solve -3 + 23 = -m*d for d.
-4
Let r = 8 + -5. Let y(h) be the third derivative of -h**5/60 + 7*h**4/24 - h**3 - 2*h**2. Let j be y(6). Solve r*n = -j + 9 for n.
3
Let i(x) = -2*x - 8. Let k be i(-5). Suppose -3*b - k*b = -40. Solve -4*j + b + 12 = 0 for j.
5
Let b be 72/(-15)*15/(-6). Solve -b = -0*p - 4*p for p.
3
Suppose -r - 2*r - a = -17, -4*r + 27 = -3*a. Let k be (-3 - 3)/(r/4). Let l = 0 - k. Solve l*c + 4 = 8 for c.
1
Let d(v) = -v**3 - 7*v**2 - v - 7. Let j be d(-7). Suppose -i - i = j. Suppose -2 + i = -2*y. Solve -y = -4*x - 17 for x.
-4
Suppose 2*t - 10 = -0*t. Solve 10*l - 10 = t*l for l.
2
Let y = -42 - -44. Solve -y*d + 3 = -d for d.
3
Suppose 82 = 3*t - 4*q, -154 = -5*t - 6*q + 4*q. Suppose d + d - t = 0. Let j be (-1 + -2 + d)/2. Solve 0 = -o + j*o - 15 for o.
3
Suppose 0 = -5*t - 2*m + 26, -4*t + 2*t + 4*m - 4 = 0. Solve 0*y + t*y = -8 for y.
-2
Let h(i) = -i**3 + 9*i**2 + 11*i - 10. Let g be h(10). Let y be (1 - g/(-3))*3. Solve y*z = z + 8 for z.
4
Let o be ((-63)/(-6))/(-7) + 22/4. Solve -4*k = -2*k + o for k.
-2
Let a(b) be the first derivative of b**4/2 - b**3/3 + b**2/2 - 2. Let i be a(1). Solve -3 = i*f - 1 for f.
-1
Let y(j) = -j**3 - 9*j**2 + 2*j + 13. Let c be y(-9). Let i = c + 10. Solve 2*d + 3*d = i for d.
1
Suppose -3*v + 7 = -2*d - 5, 0 = -2*v + 5*d - 3. Solve -4*b = -v*b - 10 for b.
-5
Let x(u) = 4*u - 2. Let a(w) = -6*w + 3. Let b(i) = -5*a(i) - 8*x(i). Let s be b(-1). Solve 0 = f + s*f for f.
0
Let a = 60 - 43. Let q = -12 + a. Suppose q*m = -3*j - 0 + 21, 18 = 4*m + 3*j. Solve -m*t - 6 = -15 for t.
3
Let u(h) = h**3 - 5*h**2 + 3. Let d be u(5). Let t be ((-1)/d)/((-6)/18). Solve 5*c - 21 + t = 0 for c.
4
Suppose -3*g + 5 = 4*f - 0, 10 = 4*g + 2*f. Suppose 0 = 2*i - i - 3. Solve g*h + i = 2*h for h.
-3
Let n(k) = -k**3 + 2*k**2 + 2*k - 2. Let v be n(2). Solve 0 = v*y - 5*y + 15 for y.
5
Suppose -3 - 11 = -7*z. Solve -4*h + z = 6 for h.
-1
Let h(t) = t**3 + 6*t**2 + 4*t - 2. Let k be h(-5). Solve -7 = k*x + 5 for x.
-4
Let r = 4 + -2. Suppose -5*v = -12 + r. Let z be ((-3)/(-1) + -1)*v. Solve d = z*d for d.
0
Let q be 6/(-9) + (-11)/(-3). Suppose 0 = 4*a + 20, u + 2 = -3*a - q. Solve u = 3*v - 2 for v.
4
Let l(g) = 3 - g**3 + g**2 + 5*g**2 - 2*g - g**2 + 1. Let h be l(4). Solve j = 5*j - h for j.
3
Suppose -6 = -v - 2*v. Let w be (-1)/(-4) - (-1)/(-4). Suppose 0 = -w*u - u. Solve v*j + 4 = -u for j.
-2
Let x be (-1 + 2)/((-1)/(-2)). Suppose 3*t - x*s = -0*t + 23, -2*t = 4*s + 6. Solve t = -2*k + 1 for k.
-2
Suppose -3*w = -36 - 84. Let y = 58 - w. Solve y = 4*i - 2 for i.
5
Suppose 1 = 3*l - 11. Suppose 2*m = -g - 6, -l*g + g = -4*m - 22. Suppose 0 = -g*h - h. Solve -4*w - 4 = -h*w for w.
-1
Let q(m) = -5*m - 7*m**2 + 3*m**3 + 2*m**3 + 8 - 6*m**3. Let d be q(-6). Suppose 15 = d*w + 5. Solve 10 = -3*y - w for y.
-5
Suppose f + 80 = -3*f. Let x be (-1)/4 - f/16. Let c = 2 - x. Solve c - 5 = -2*y for y.
2
Let n(h) = h - 4. Let y be n(9). Suppose 0 = 2*o + 4, 0*f - 4*f = y*o + 2. Let k be (5 + 1)*(f - 0). Solve 0*t + 4*t - k = 0 for t.
3
Suppose 6 - 1 = 5*g. Let u = 5 + g. Suppose -8 = -3*q + 3*b - 2, 0 = 3*q + 5*b - 6. Solve -4*v = -q*v - u for v.
3
Let k = 29 - 19. Solve -5*u = -0*u - k for u.
2
Suppose -2*i + 9 + 13 = 0. Let j = i + -8. Solve -o - 2 = j for o.
-5
Let w be 5 + -2 + 4/(-4). Suppose 25 = 3*a + w*a. Solve -4*o + a = o for o.
1
Suppose 4 = -4*d - 4*g, -g = -5*g - 4. Solve j + d*j - 2 = 0 for j.
2
Suppose 0*y + 5*y = 0. Suppose 0 = -i - 0 - 1. Let r(q) = -3*q**3 + 2*q**2 - 1. Let v be r(i). Solve -3*u - 2 - v = y for u.
-2
Suppose 0*h + 4*h + b = 11, b + 13 = 2*h. Solve 3*y = y + h for y.
2
Let m(o) be the third derivative of -o**4/24 - o**3/6 - 5*o**2. Let q be m(-3). Solve 0 = -j + q + 1 for j.
3
Suppose 0 = -2*z + l + 9, 2*l - 49 = -4*z - 11. Solve 0 = -2*o + z*o for o.
0
Let b = -38 - -57. Let s = b + -19. Solve 5*x - 4 - 1 = s for x.
1
Let y = 21 + -12. Suppose 2*l = 1 + y. Suppose l*a - 2*x = 10, 0 = -3*a + 2*x - 0*x + 10. Solve 5 = -a*w - 5*w for w.
-1
Let j(o) = -o**3 + 4*o - 3. Let z(a) = a**3 - 5*a + 4. Let u(f) = 4*j(f) + 3*z(f). Let k be u(0). Solve -4*h = -k*h + 8 for h.
-2
Suppose 86*h + 40 = 90*h. Solve 4*p + h = 2*p for p.
-5
Let a = 70 - 37. Let h = a + -19. Let f = h + -6. Solve 5*b + 7 = -f for b.
-3
Suppose 0*d - 4*c + 8 = 2*d, 3*c - 6 = 4*d. Solve -x + 3 = -d fo