 = -2*m**2 + 16*m + 20. Let v be b(9). Solve -f*q + v = -8 for q.
5
Let b(h) = h**3 + 4*h**2 - h - 1. Let v be (-1 - 2)*4/3. Let k be b(v). Solve i = k*i for i.
0
Suppose 16 = 3*i + i. Suppose 16*b + 2 = 18*b. Solve -p = -b - i for p.
5
Let c(d) = -d**2 - 24*d - 22. Let f be c(-23). Solve f = 3*u - 5 for u.
2
Let z(f) = -5*f - 1. Let p(c) = c**2 + 5*c - 1. Let n be p(-5). Let x be z(n). Let l = x - 4. Solve l = -h + 1 - 6 for h.
-5
Let l = 132 - 132. Solve l = 5*g - 7*g for g.
0
Suppose -10 = -4*z + 2*b, -4*b + 4 = z - 3*z. Suppose -4*r + 3*t + 27 = 0, 3*r = -t + z*t + 24. Solve 2*w - 1 = -r for w.
-1
Let m be 2 + (-5 - -4) + 5. Solve -2*p = p - m for p.
2
Let i be (-3)/(-9) - 2/6. Suppose -2*b + 11 = -0*q + q, i = -b + 5*q. Solve b*l = 23 - 3 for l.
4
Let y(d) = d**3 - 3*d**2 - 2*d - 4. Let x be -3 + ((-6)/2 - -10). Let s be y(x). Solve 0 = -s*h + 3 + 5 for h.
2
Let v(g) = g**3 + 4*g**2 - 4*g + 5. Let z be v(-5). Let t be z/((-4)/(5 - 3)). Solve t = -3*l - 3 + 12 for l.
3
Let n be 1*-1 - (-7 + 4). Solve n*h - 3 = h for h.
3
Let v(w) = -w**2 + 4*w - 3. Let g be (-9)/(-6)*4/2. Let y be v(g). Solve y*t = -3*t - 15 for t.
-5
Let w(j) = -j**3 - 2*j**2 - 2*j - 3. Let i be w(-2). Solve 4*m + 13 = i for m.
-3
Suppose -4*f = -3*f - 3. Suppose -j + 2*p + 7 = f*p, 22 = 4*j - 2*p. Let k(x) = -x. Let z be k(-5). Solve 11*t + z = j*t for t.
-1
Let r(o) = o**2 - o - 12. Let v be r(5). Solve -v = -q - q for q.
4
Let s(w) = 2*w**2 + 5*w + 8 + 0*w - 3*w**2. Let k be s(6). Suppose -5*o - 6 = i - 3*i, k*i + 2*o = 6. Solve i = 5*y - 22 for y.
5
Let t be 3/72*8 + 2/(-6). Solve 2*f = -t*f for f.
0
Suppose 5*p - 14 = 11. Solve 2*s - 3*s + p = 0 for s.
5
Let h = 10 + -6. Let r = h - 1. Suppose r*p - 48 = -21. Solve -3*u = -0*u - p for u.
3
Let y(r) = -r**3 - 7*r**2 - r - 4. Let l be y(-7). Let c be (-4)/l*18/(-12). Solve c*p + 4 = -2 for p.
-3
Let t(o) = o**3 - o**2 - 7*o - 4. Let n be t(4). Solve 0 = -5*c + c + n for c.
4
Let q(m) = m + 10. Let g be q(0). Solve 2*w = -g + 4 for w.
-3
Suppose 4*s = -5 - 3. Let g be (9 + -3)*s/(-3). Suppose -13 = o + 4*l, 0 = -2*o - 0*o + 3*l + 18. Solve x = -o*x + g for x.
1
Suppose -o = -2 - 0. Suppose 2 = -o*c - 4*s, 1 = -3*c - 7*s + 3*s. Solve 3*w + 4 - c = 0 for w.
-1
Let o = -1 + 6. Suppose 0 = a + o, -5*a - 16 = -3*m + 18. Suppose -4 = 2*q - m*q. Solve 0 + 4 = -q*v for v.
-1
Suppose -17 = -6*c + 19. Solve -3*i - c - 3 = 0 for i.
-3
Suppose -3*y + 4*y = 4. Suppose 4 = a - 2*k - y, -4*a + 60 = -k. Solve -b = -5*b + a for b.
4
Let s(i) = i**3 + 7*i**2 + 6*i. Let z(m) = m**3 + m**2 - 6. Let c be z(0). Let k be s(c). Let x be 11 - (3 + -4 + 0). Solve x = -4*a - k*a for a.
-3
Let i be (-36)/63 - (-60)/7. Solve -2*y + i = -0*y for y.
4
Suppose 0*t = 2*t. Solve 5*q = -t*q + 10 for q.
2
Let p = -4 + 6. Suppose 0 = i + 3*q - 10 - 15, 3*i - 45 = -3*q. Solve -3*h = p*h - i for h.
2
Let x = -145 - -147. Solve 3*c - x*c = 3 for c.
3
Let p = -42 + 45. Solve -1 - 8 = p*b for b.
-3
Let p = -95 + 95. Let m = -4 - -6. Solve -a + m*a = p for a.
0
Let n = -11 + 13. Solve -2*s + s - n = 0 for s.
-2
Let s be 2/(-5)*(-3 - -2)*5. Solve -s*i = -7 + 1 for i.
3
Let t(k) = -k**3 - 12*k**2 - 11*k + 4. Let p be 11/(3/(-1) - -2). Let b be t(p). Solve 9 = -b*r + 1 for r.
-2
Suppose 5*b - 4*b - 16 = 0. Let c be 316/20 - b/20. Solve 0 = 5*o + c - 5 for o.
-2
Let m be 48/36 + 2/3. Solve -22 + m = -5*t for t.
4
Let g be 20/(-3)*(-45)/25. Let a be (-2 - -1) + 4 + 3. Suppose -l + 3 = -h - a, -3*l + 2*h + 23 = 0. Solve 0 = l*t + g + 3 for t.
-3
Let x = 3 - 5. Let n = x + 2. Suppose 0 = r - 4 + 2. Solve -r*k - k = n for k.
0
Let s = 2 + -1. Let d be (-4 + -6)*s/(-2). Let l(t) = t**2 - 5*t - 2. Let u be l(6). Solve u + 6 = -d*j for j.
-2
Let p = 2 - -4. Suppose -7*h - 3*z - p = -4*h, -4*z - 14 = h. Let b be (h/(-8))/(2/(-8)). Solve -4*j = -b - 3 for j.
1
Let m(w) be the second derivative of w**5/20 + 5*w**4/12 + w**3/3 - w. Let b be 2/5 - (-36)/(-15). Let j be m(b). Solve -3*x + 10 = -j*x for x.
-2
Suppose 5*r - 20 - 25 = 0. Solve -3*l + 0*l = r for l.
-3
Suppose -6*k + 34 = -3*v - 2*k, -2*v - 19 = k. Let i(a) = a**3 + 9*a**2 - 9*a + 10. Let b be i(v). Solve b - 1 = w for w.
-1
Let a be -3*4/3 - -4. Solve a = 3*y - y - 6 for y.
3
Let d = -59 + 62. Solve 2*r = 7 + d for r.
5
Let y be 3 + -1 + (-3 - -2). Let b(f) = -3*f. Let z be b(y). Let s = z + 9. Solve -j - 1 = -s for j.
5
Let n(l) = 3*l - 21. Let f be n(10). Suppose -f*x + 14*x = 75. Solve x = 2*s + 3*s for s.
3
Suppose -2*n - 2*g = -2, 0 = 3*g + 2*g + 15. Solve n*f + 15 = -f for f.
-3
Let r be ((-2)/(-4))/(5/90). Let a = -10 + 14. Suppose -2*c + 0 = -2. Solve r - c = -a*h for h.
-2
Let k(f) = f + 5. Let s be k(-5). Solve -10 = 5*p - s for p.
-2
Suppose -3*i - 15 = 3*j + 2*j, 0 = -5*i - 3*j - 25. Let w = i - -7. Solve w*b + 2 = -0 for b.
-1
Let m(f) = f**3 + 8*f**2 + 6*f - 5. Let o be m(-7). Suppose -l + 4 = -o*b, -b - 5*l = -l - 16. Solve 2*y = -b*y - 6 for y.
-3
Let g = 12 - 7. Solve 20 = g*k - k for k.
5
Let t be (-1 - -3)/((-1)/(-2)). Let k be (-7)/(-2) + 2/(-4). Suppose -4*l - t*z + 8 = 0, 2*l - 3*l - 4 = k*z. Solve -l*q + 15 = -2*q for q.
5
Suppose 4*v - 140 = -10*v. Suppose 3*s + 3*g = 15, 5*s - 2*s - 2*g = 5. Solve -v = -s*o + o for o.
5
Suppose 4*n - 4*u = -4, -5*u = 3*n - 10*u - 1. Suppose 0 = 3*l + 8 - 2. Let y be l/n*9/2. Solve y*o - 2 = 4 for o.
2
Suppose 8 = -3*r - r + 3*h, -r + 2*h = 7. Suppose -2*v - 5 = -5*v - 5*y, r = 3*v + y. Solve v*z = -2*z - 4 for z.
-2
Let q(p) be the third derivative of -p**4/24 - p**2. Let f be q(-5). Let g = 0 - -9. Solve -2*r = -f*r + g for r.
3
Suppose -2*g = -3*f - 14, 0 = -2*g + 5*f + 11 + 7. Solve 16 - g = -3*c for c.
-4
Suppose 0 = 3*l + l - k + 80, 4*l + 68 = -2*k. Let y = 24 + l. Solve -y = 3*o + 7 for o.
-4
Let a(q) = -q**3 - 3*q**2 - 5*q - 4. Let f be a(-2). Solve 4 = -y + f*y for y.
4
Suppose 5*t + 4 = 14. Suppose 2*j = 8 - 0. Solve j = -d + t for d.
-2
Suppose 5*w = 3*h + 222, -4*w + 4*h + 142 = -w. Let g be (-4)/6 - w/(-9). Solve 0 = -g*o + 19 - 3 for o.
4
Let s be 1/((-4)/(4 + -8)). Solve 0 = 4*w - s - 15 for w.
4
Let a = -41 + 45. Solve -3*d + a = -4*d for d.
-4
Let k(j) = 2*j**3 - 8*j**2 + 4*j - 6. Let n be k(4). Let b be (-3)/(-15) + 48/n. Solve -b = -2*d + d for d.
5
Let k(w) = w + 1. Let i be k(4). Solve -i = 2*a + 3*a for a.
-1
Suppose -w + 3*x = 3*w - 203, 5*x + 155 = 3*w. Suppose 0 = -2*n - 0*n + w. Solve n = -d - 4*d for d.
-5
Let j(p) = 1 - p - 3 - 4*p**2 + 2*p**3 - 3*p**3. Let i be j(-4). Let a be 26/6 - i/6. Solve 4*c = -0*c - a for c.
-1
Let p be 6 + 3 - 3/1. Solve -p = -n + 3*n for n.
-3
Let h = -2 - -7. Suppose -4 = -r + 3*r + h*a, -r = 5*a + 7. Let q = 13 - 4. Solve 0*j + r*j = q for j.
3
Let x(j) be the first derivative of -j**3/3 + j**2 + j + 5. Suppose 0*r = 2*r - 4. Let c be x(r). Solve c = -5*l - 4 for l.
-1
Suppose -3*f - 15 = -2*d - 0, -3*d - 4*f = -14. Solve -4*i = -d*i + 4 for i.
2
Let x be (-7)/28*-12*1. Solve -2*y = -y - x for y.
3
Let g = 89 + -84. Solve g*z = z for z.
0
Suppose -3*u + k + 12 = -60, u = -k + 28. Let v = 4 + -2. Suppose 3*g - 6 = v*g. Solve g*q = q + u for q.
5
Let r be (-52)/(-14) + (-7 - (-408)/56). Solve 0*q + r*q = 16 for q.
4
Suppose 4*a - 5*a = -2. Suppose 7*q = a*q. Let v(f) = f**3 - 6*f**2 + 6*f - 3. Let x be v(5). Solve q*i - 4 = -x*i for i.
2
Let z(m) = 4*m - 6. Let h be z(4). Let i be h/45 - 4/18. Solve i = -5*b + 3*b for b.
0
Let h(y) = y**3 + 12*y**2 - 13*y + 3. Let v be h(-13). Solve v*r - 20 = -r for r.
5
Suppose 0 = -2*f + 7*f - 10. Suppose -f*n - 3*n + 2 = s, 0 = 2*n - s - 5. Solve 4*z - 11 = n for z.
3
Let s be (0/8)/(-1 + 2). Solve -20 = -s*c - 5*c for c.
4
Let v(i) = 31*i**2 + 2*i - 1. Let z be v(1). Suppose 0 = 7*o + 11 - z. Solve -8 = f + o*f for f.
-2
Suppose -5*g - n + 37 + 20 = 0, -2*g + 4*n + 14 = 0. Suppose -4*c + 13 = -g. Suppose 4*a - 1 = q, 2*a - 2 = -4*q - c. Solve a = -f + 2 for f.
2
Suppose 3*m = m + 72. Suppose 4*a = 4*w + 42 + 54, m = a - 4*w. Suppose -a = i - 6*i. Solve -l + 15 = i*l for l.
3
Suppose -21 = -3*x + 4*c, x + 0*x + 12 = -5*c. Let f be x + 0/4 + -3. Suppose -2*u = -40 - 10. Solve f = -j + 6*j - u for j.
5
Suppose o - 40 = -3*o. Suppose 0*j + 5*w - 25 = -5*j, -o = -j - 2*w. Solve 6 = -j*i + 2*i for i.
3
Let a be (-66)/(-2)*2/6. Suppose 0 = -d - 3*t - 2*t + 11, -4*d 