8 = -5*k. Let p = k + 7. Solve 4 = p*m - 0*m for m.
2
Suppose -5*t = 3*k - 32, -4*t + 2*k - k = -12. Let u(b) = 2*b + 2. Let v be u(t). Solve -4*a = -2*a - v for a.
5
Let a be 15/6*12/15. Solve 8 + 0 = a*s for s.
4
Let i be (-2 + 2)*(0 + -1). Suppose -j = n - 0*n - 6, i = -4*j + 4*n - 16. Solve -c = -j - 1 for c.
2
Suppose 0 = -9*n + 3 + 6. Let p = -4 - -6. Solve d = -p - n for d.
-3
Suppose 14 = -3*y - 1. Let b(v) = v**2 + v + 7. Let t be b(y). Let u = -11 + t. Solve 5*j = j + u for j.
4
Let n(z) be the first derivative of -z**2/2 + 4*z + 1. Let i be n(0). Solve -i*t - 21 = -5 for t.
-4
Suppose 7*i = 2*i + w + 13, 0 = 5*i - 4*w - 22. Solve 0 - i = q for q.
-2
Suppose -k + 0*k + 112 = 4*d, -129 = -5*d - 4*k. Suppose -x - 2 + 0 = 2*i, -3*i + 5*x = d. Let m be 12/(-9)*i/2. Solve -13 = m*t - 5 for t.
-4
Suppose 0 = -x - 0*x + 2*x. Solve 5*i + 1 - 21 = x for i.
4
Let r be -6*(-1 + (-1)/(-2)). Let f be r/(-2)*-2 - -7. Solve 3*y - 5 = f for y.
5
Let p(d) = 3*d. Let n be p(1). Suppose 2*m = -3*u - 2, -4*m + 3*m - n*u = -2. Let c(h) = h**3 + 5*h**2 + 4*h + 3. Let a be c(m). Solve t - 1 - a = 0 for t.
4
Let f = 1 - -3. Let k be 5/3 - (-1)/3. Suppose k*w + 2*w = 8. Solve -22 = -f*a - w for a.
5
Suppose 0*c + 5*c = 0. Solve m = -c*m for m.
0
Let m(s) = -7 + 3*s + s**2 - 2*s + 2*s. Let b be m(-5). Suppose 0 = b*p - 17 - 1. Solve -2*o + p = -4 for o.
5
Let q(w) = -w**3 + w**2 - w + 8. Let t be q(0). Solve 2 - t = 2*h for h.
-3
Suppose 49 - 43 = 3*n. Solve -3*m = -n*m - 5 for m.
5
Let q be (-3)/(-9) - 32/(-12). Let x be 2/(-1) - -5 - q. Solve b = -3 - x for b.
-3
Let j be (-48)/(-21) + (-2)/7. Let f be (2*-1)/(j/(-16)). Solve -4*v + f = -4 for v.
5
Let g(y) = y**2 - 6*y - 20. Let c be g(9). Solve c*r - 3*r = -20 for r.
-5
Suppose m = 3*d - 4, 3*d = 2*d - 5*m - 20. Solve 0*c - 4*c + 16 = d for c.
4
Suppose -x - 2*x + 6 = 0. Suppose 3*k - 6 = -0*k. Suppose -4*b - 2*v + 4 = 0, -3*b - 5*v + 0*v = -10. Solve k = x*m - b*m for m.
1
Let p = -6 + 4. Let h be 13 - (2 - p/(-2)). Solve 0 = -k - 2*k - h for k.
-4
Let c = 10 + -8. Let d be (-3)/(-3) - c/2. Let j(g) = -2*g - 13. Let o be j(-9). Solve d*b - o = b for b.
-5
Suppose -3*n = 5*h - 46, -5*n + 4*h = -2*n - 1. Solve 3*o + n - 1 = 0 for o.
-2
Let o(a) = 5*a**3 - 2*a**2 + 3*a - 1. Let n be o(1). Solve -5*r - n = -0*r for r.
-1
Let z be 3/(-3)*2/(-2). Let j be 5 - -1*-2*z. Let t be (-2)/(-3)*j - 1. Solve -2*w + 7 - t = 0 for w.
3
Let x = 22 + -20. Solve 8 = -2*v - x*v for v.
-2
Let n(k) = -3*k - 5. Let z be n(-10). Solve 2*q - 7*q + z = 0 for q.
5
Let n = 9 + -5. Let v be ((-2)/1)/((-2)/n). Suppose p = 3*p - 10. Solve -p*l = -v*l for l.
0
Suppose -10*m - 14 = -54. Solve -5*b + m + 1 = 0 for b.
1
Let z(r) = -2*r**3 + r + 1. Let w be z(-1). Suppose 0 = -2*v - t + w, 6 + 0 = -5*v + 3*t. Solve -q + 1 = -v for q.
1
Let w be 142/(-8) + (-4)/16. Let m be (-63)/w - (-1)/(-2). Solve 8 = m*t - t for t.
4
Suppose -h + 5*h = 3*n - 16, 0 = 5*n - 5*h - 25. Solve 10 = -m - n*m for m.
-2
Let r(x) be the first derivative of -x**5/40 - x**4/24 - 2*x**3/3 + 1. Let v(b) be the third derivative of r(b). Let z be v(-2). Solve g + z = 6*g for g.
1
Suppose 12 = 3*c - 4*y, 3*c = 2*y - 3*y + 12. Solve 7 = c*a - 1 for a.
2
Let s be (18/(-15))/(4/40*-3). Solve -s*h - h = -10 for h.
2
Let y(d) = -d**2 - 4*d + 7. Let r(p) = -p. Let n be r(4). Let j be y(n). Solve -j + 1 = -2*w for w.
3
Suppose g + 2*g = 3, s - g - 1 = 0. Solve 0 = 2*x - 4*x + s for x.
1
Suppose 3*l + l = 8, 0 = -4*u + l + 66. Solve -1 + u = 4*j for j.
4
Let d be 0/((-2 - -1)/(-1)). Suppose -b + 0*b + 1 = 0. Solve -q + b = -d for q.
1
Suppose -4*v + 8 = -2*v. Suppose 3*f + 2 = o, 3*o - o - v = -5*f. Solve 0 = o*w + 7 + 3 for w.
-5
Suppose -8 = -v - v. Solve -v*i - 5 = -17 for i.
3
Let d(q) = q**2 - 5*q - 11. Let r be d(6). Let a = r - -5. Solve a*w = 2*w for w.
0
Let b = -10 - -30. Solve -4*x + b = x for x.
4
Suppose 0*n + n + 8 = 3*s, 4*s + n = 6. Solve 6 = s*d - 0*d for d.
3
Suppose 8 = v - 5*j + 17, 0 = -4*v + j + 21. Solve -2 = -v*x + 5*x for x.
2
Suppose 4*o - o = 6. Solve -16 + 6 = -o*q for q.
5
Let z = -6 - 2. Let q = -8 - z. Solve q*r + 4*r = 16 for r.
4
Suppose 4*m = m + 30. Suppose -6*x + 3*v - 2 = -4*x, v = -4*x + m. Suppose 0 = -3*y - x*y + 10. Solve -2*l + y = -0*l for l.
1
Let z be (-12)/(-24) + 2/(-4). Suppose 5*m = 3*m. Solve n - 1 + m = z for n.
1
Let d(r) = -r**3 - 8*r**2 + 7. Let x be d(-8). Solve x*a - 25 = 2*a for a.
5
Let c = -66 + 76. Solve 30 - c = -5*t for t.
-4
Let t = 6 + -4. Let i be (6/t)/(-9)*-9. Solve i*o = 2*o for o.
0
Suppose 5 = 3*u - 1. Let m = 7 - u. Solve -5*j + 20 = -m for j.
5
Let l = 152 - 148. Solve 4*h = 2*h - l for h.
-2
Suppose u = 4*u. Suppose -a - 2*a = u. Solve 0 = -2*t + 2 - a for t.
1
Let u = 9 + -4. Suppose -u*h + 3*h + 24 = 0. Suppose -h = -2*d - 4. Solve b = -b - d for b.
-2
Let d be (-3)/3 + (-1 - -1) - -3. Solve -d*b - 1 = 1 for b.
-1
Let c(j) = j**2 + 11*j + 1. Let f be c(-11). Let y(b) = b - 4. Let q be y(4). Solve q = l - 0*l - f for l.
1
Let k(u) = -u**2 + 4*u + 2. Let q be -9 - -7 - (-1 - 1). Suppose q = 3*r - 0*r - 9. Let g be k(r). Solve -g*t + 12 = -t for t.
3
Suppose m = -2*v - 3*m - 12, -2*v - 5*m = 16. Suppose 4*n = v*n. Solve -3*o + n = 3 for o.
-1
Let r be 24/10 - (-33)/55. Solve 0*p = r*p for p.
0
Let b(o) = o**2 - 5*o - 6. Let k be b(6). Solve -x = -k*x + 3 for x.
-3
Let a = 0 + -1. Let r be (3/3 + -3)/a. Solve -18 = 5*u + r for u.
-4
Suppose -3*b + 3 = 3*t, 0 + 5 = b - 3*t. Let x = b + -2. Solve -3*o + o + 10 = x for o.
5
Let j(x) = x**2 - 8*x - 10. Let k be j(10). Solve -s - k = -6*s for s.
2
Let d(n) = -n**3 + 7*n**2 - 3*n + 3. Let r be d(6). Let z = 33 - 33. Suppose -2*q + 7*q - 45 = z. Solve -r = 4*j - q for j.
-3
Let f be 5*1 - 21/(-7). Solve -a = a - f for a.
4
Suppose 0 = -z + 40 - 38. Solve m + z - 5 = 0 for m.
3
Let w(s) = s**3 - 7*s**2 + 8*s - 8. Let r be w(6). Solve r*i = 2*i for i.
0
Suppose 0 = -6*w + 2*w + 16. Suppose i - w + 0 = 0. Solve -i*x = -0*x for x.
0
Let w be 22/(-55) - 47/(-5). Let h = 6 - 1. Solve w*t = 4*t + h for t.
1
Let i(t) = t - 4. Let q be i(6). Let w be ((0 - -2)/2)/(-1). Let d be 0 - ((0 - w) + -1). Solve d = a + q*a for a.
0
Let i be (-12)/10*15/(-6). Let r be (-3*(-2 + i))/(-1). Solve g = -r*g for g.
0
Let c(p) be the third derivative of -p**4/24 + 7*p**3/6 - 2*p**2. Let i be c(5). Solve -1 = i*q - q for q.
-1
Suppose 4*i - 24 = -4*u, 2*i = -1 + 5. Suppose 0 = 2*j + m - 4*m - 1, u*j + 3*m = 11. Let o = -7 + 11. Solve 3*s - j*s - o = 0 for s.
4
Let f be (-3)/2*(-8)/(-6). Let y(l) = l**3 + 2*l**2. Let n be y(f). Let j = -5 - -8. Solve n = -s - j*s + 4 for s.
1
Suppose 4*m + 5*m - 18 = 0. Solve m*s + 0*s = 4 for s.
2
Suppose 0 = -y, 4 = 3*f - 4*y - 2. Suppose 6*l - l = 15. Solve -10 = -f*j - l*j for j.
2
Let r(u) = 2*u + 0*u**3 + 5*u**3 + 8*u - 8*u**2 - 4*u**3 - 1. Let h be r(7). Solve 3*d + d = h for d.
5
Let b(z) = -2*z. Let l be b(4). Let g = l - -20. Suppose 12 = -s + 5*s. Solve 0*k + s*k - g = 0 for k.
4
Let d = 0 - -2. Suppose 2*u = -5*c - 12, -3*u + 4*c + 20 = -d*u. Solve -u*n - 10 = 2 for n.
-3
Let w be 11/3 - (-2)/(-3). Solve 4*m + 13 = -w for m.
-4
Suppose 5 = p - 3. Solve p = -x - x for x.
-4
Suppose 2*h = -3*d - h + 6, 5*d - 4 = -2*h. Solve d = w + 2 - 1 for w.
-1
Let z(w) = 0*w**2 - w**3 + 0*w + w + 6*w**2 - 5. Let x be z(6). Let r = x - -1. Solve -r*m = -4*m + 4 for m.
2
Suppose -7*n + 5*n - 3*o = -4, 5*n = -2*o + 21. Solve -n*u + 5 = -0 for u.
1
Let w(p) = p**3 + 7*p**2 - 6*p + 1. Let q(v) = -v**3 - 6*v**2 + 5*v - 1. Let y(t) = 5*q(t) + 4*w(t). Let u be y(-2). Let g = u + 5. Solve 6*c + 12 = g*c for c.
-3
Let a = -78 - -78. Solve a*g = -4*g for g.
0
Let u = -1 - -25. Suppose -2*w = -4*v - u, v = -w + 4*v + 16. Let j be 4 + 2 - w/(-2). Solve 28 = -5*q + j for q.
-4
Let j(t) = -t + 12. Suppose 33 + 17 = 5*v. Let c be j(v). Solve 20 = c*g + 3*g for g.
4
Suppose -28 - 64 = -4*q. Suppose -3*a - 8 = -q. Let i = a + -2. Solve -7 = i*g - 1 for g.
-2
Suppose -5*b - 3 = -13. Suppose -b = -z + 14. Solve 0 = -4*s - 0*s + z for s.
4
Let q(x) = 2*x + 10*x + 0*x - 13*x + 11. Let y be q(11). Solve y = -0*l + l - 3 for l.
3
Let g be 1 + (-2)/(-1) + 3. Solve g*k = k + 20 for k.
4
Let l be (-2 + (3 - 0))*3. Let f be 5/(3/(l + 0)). Solve f*u - u = 8 for u.
2
Suppose -4 = -4*f, 