 + 37. Solve o*k = 3*k - 3 for k.
-3
Suppose 2*l = 4*l - 4. Let f be (-3)/l*(-12)/9. Solve -3*d = 10 + f for d.
-4
Let l = 7 + -2. Suppose -l*b - 10 = -3*b. Let o = 9 + b. Solve -6*p = -o*p - 10 for p.
5
Suppose 2*d + 8*k - 3 = 3*k, d + 2 = k. Let o be (-3 + 2)*(d - 1). Solve -o*a - 1 = 1 for a.
-1
Suppose 9 = 3*p + 6. Suppose -3*v + 16 = p. Solve -r = -v*r - 12 for r.
-3
Let z be (2 + 1 - 2)*-1. Let x = z + 5. Let v = 18 - 9. Solve v*w - x*w = 5 for w.
1
Let p be 2 + 4/(-2) - -3. Let a(t) = -2*t - 4. Let c be a(-4). Solve 0 = p*o - 5*o - c for o.
-2
Suppose -u = 2*j + 7, 0 = 3*u - 3*j + 5*j + 1. Solve 0 = -5*a - 2 - u for a.
-1
Suppose y = 5 - 2. Suppose 3*g + 5*d = 39, 15 = 5*d - 0*d. Solve -g*p = -y*p for p.
0
Let y be -7*5/(10/(-4)). Let u = -11 + y. Solve -2 - u = -f for f.
5
Let c be (2 - 12/(-2))*-1. Let l be (-14)/6 - 1/(-3). Let w = l - c. Solve 1 - w = 5*o for o.
-1
Let t(g) = 3*g + 4. Let c be t(-1). Solve -6 = o - c for o.
-5
Let s = 16 - -1. Suppose -15*v - 10 = -s*v. Let a(k) = -5*k**3 + k**2 + k. Let t be a(-1). Solve -t*o = -0*o - v for o.
1
Let v(n) be the first derivative of -n**4/4 + 10*n**3/3 + 13*n**2/2 - 15*n + 2. Let y be v(11). Solve -3*a - y = 5 for a.
-4
Let u(a) = a**2 - 9*a + 9. Let f be u(8). Solve q + 4 + f = 0 for q.
-5
Let u = 1 - -1. Suppose -3*f - 6 = 6. Let g be (1/f)/(u/(-8)). Solve -9 = 4*d - g for d.
-2
Let d(v) = v + 8. Let i = 7 - 4. Let q(z) = z**3 - 4*z**2 + 3. Let g be q(i). Let k be d(g). Solve m = k - 1 for m.
1
Let b = 5 + -3. Suppose 0 = 3*q + b*q. Solve 3*m = -q*m - 12 for m.
-4
Let a(t) = -t - 5. Let q be a(-5). Solve q = -3*h - 10 + 1 for h.
-3
Let c be 2/(-6) - (-7)/21. Let i(j) = -j**2 + j. Let v be i(0). Let n = -5 - -7. Solve n*p + v*p - 10 = c for p.
5
Let v(b) = b**3 + 5*b**2 - 8*b - 12. Let g be v(-6). Solve 0*u - 3*u = g for u.
0
Let r(j) = -j**3 + j**2 + 2. Let d be r(-2). Let t be (-1 - 6/(-4))*-40. Let q = t - -31. Solve 0 = 5*p + d + q for p.
-5
Let f = -11 + 14. Suppose 2*v = -5*y + 38, 3 + 1 = v. Solve -n + f*n = y for n.
3
Let t(z) = 2*z - 8. Let g be t(6). Solve -g*y = -0*y - 8 for y.
2
Suppose -5*x = 10 - 25. Suppose 3*z = -l, 2*l - 3*l - 5*z = 2. Solve -l*b - x = -12 for b.
3
Let z(y) = y**3 - 8*y**2 + 9*y - 8. Suppose f + d - 3 = 0, 5*f = d + 37 + 2. Let w be z(f). Solve 5 = -i + w for i.
1
Suppose -6 - 2 = -o + w, -3*o + 26 = -4*w. Let i be (3/(-2))/((-3)/o). Solve -q - i = -6 for q.
3
Suppose 5*l + 4*x = 60, -4*x + 28 = -2*l + 3*l. Solve -2*c - 2*c = -l for c.
2
Let d(h) = h**2 - 12*h + 15. Let k be d(11). Suppose 3*o - 7 = -q, 0 = -o + 4*q - 18 + 42. Solve k = o*t - 0 for t.
1
Let j = 23 + -19. Let p be 19/j + 5/20. Solve 8*x - p*x = 9 for x.
3
Suppose -4*j = -3*j - 6. Solve -4*q + 7*q - j = 0 for q.
2
Let h = 16 + -12. Let v(m) be the third derivative of -m**5/60 + m**4/4 - 5*m**3/6 + 2*m**2. Let y be v(h). Solve 0 = -y*k - 0*k + 6 for k.
2
Suppose 2*t + t - 9 = 0. Suppose 6 + 12 = t*g. Solve -g*r + 5 = -r for r.
1
Suppose -26 = -2*n + 4*b, -b = -n - 6*b - 22. Let i = n - 1. Let c(q) = 2*q**3 - 3*q**2 + 2. Let l be c(i). Solve -z + 3*z = l for z.
3
Let k = 90 + -90. Solve 5*b = -k + 20 for b.
4
Suppose t = 3*y - 8 - 4, 5*y = -5*t. Solve 2*b + 3 = y*b for b.
3
Suppose -2*z = 2*z - 8. Solve -z*r - 25 = -7*r for r.
5
Suppose 0*r + 25 = 2*y - 5*r, 0 = 5*y + 4*r + 20. Solve 4*a + y = -20 for a.
-5
Let w(p) = -p + 6. Let i(k) = k - 11. Let a(h) = -3*i(h) - 5*w(h). Let m be a(5). Solve -m = 5*l - 33 for l.
4
Let g be (0 - 1) + (34 - 7). Suppose 2*p - p + b = 2, 3*b + g = 5*p. Suppose 2*z = 2*r - 14, z = -r - p*r + 23. Solve 8 = j - r*j for j.
-2
Suppose 0 = 2*p - 10 - 0, -4*n + 5*p - 97 = 0. Let i be n/(2/(-1)) + -4. Solve -a - 2 + i = 0 for a.
3
Let h = 4 + -7. Let j = -1 - h. Solve 4*y + 10 = j*y for y.
-5
Let z(w) = -w**2 + w + 3. Let x(n) = n**3 + 12*n**2 + 12*n + 11. Let a be x(-11). Let t be z(a). Solve -1 = t*s - 7 for s.
2
Suppose 0 = 2*b - 3*p - 3, 2 + 1 = 5*b - 3*p. Suppose d + b*d = 2. Solve -n - 4 = -d*n for n.
4
Let y be (0/(-3) + -1 + 1)/(-2). Solve s + 3*s - 8 = y for s.
2
Let g be 6/(-2) + -12 + 15. Solve g = -f + 4*f for f.
0
Suppose 0 = 2*x - b - 22, -b + 0*b - 13 = -x. Let p = x + -5. Suppose 0 = p*w - 12 - 4. Solve -w = -z + 1 for z.
5
Suppose 0 = -2*l - 3*f - 4, 4*f - 48 = l + 3*l. Let c = l + 11. Solve -c*i - 2 = -4*i for i.
2
Let d = -5 - -5. Suppose 0 = 5*x - 0*x. Solve d = -x*t + t - 2 for t.
2
Let h = 4 - 3. Let i be (2/(-5))/(5/(-25)). Solve 0 = a - h - i for a.
3
Suppose 4*i + 20 = n, 4*i + 36 = 4*n - i. Solve n*w = 2*w + 8 for w.
4
Let z be (-27)/6*4/(-6). Solve z*q = 8*q - 20 for q.
4
Let v be ((-8)/2 - (8 - 12))/2. Solve -4*w + 2*w - 4 = v for w.
-2
Let d(w) be the first derivative of 2*w**2 - 8*w + 4. Let h be d(5). Solve -v - h = 2*v for v.
-4
Let y(q) = q**3 - 2*q + 2. Let u be y(0). Solve 0 = u*i - i + 4 for i.
-4
Let m = 4 + -6. Let l(o) = 2*o**2 + 3*o. Let k be l(m). Solve -1 = -a + k*a for a.
-1
Suppose -4*a + 36 = 5*o, 5*a = -2*o + 7 + 21. Let u(r) = r**2 - 10*r + 3. Let t be u(o). Let d = t + 37. Solve -s + d = 3*s for s.
4
Let t be 12/2 + (-4 - (-7)/7). Solve 0 = 5*b - t*b for b.
0
Suppose -8 = -6*r + 3*r - v, -3*r = -4*v + 2. Solve -i = -0 - r for i.
2
Let o(a) be the third derivative of a**5/60 + 5*a**4/24 - a**3/2 - 3*a**2. Let b be o(-6). Solve 0 = z + b for z.
-3
Suppose -3*i + 2 - 11 = s, 5*s + 4*i = -1. Solve 3 + s = -2*m for m.
-3
Let p be (2 - (3 + -1)) + 2. Let i(j) = -j**3 - 32*j**2 - 4*j - 113. Let v be i(-32). Solve 5*o + v = p*o for o.
-5
Let v(f) = -3*f - 39. Let b be v(-15). Solve 4*c - b*c + 2 = 0 for c.
1
Let m(v) = -v - 2. Let p be m(-5). Let q be 4 + 0 - (12 - 25). Solve 4*s - p = q for s.
5
Let o(l) = -l**2 + 8*l + 3. Let x be o(8). Suppose 2*u - 2*i + 5 = -7*i, -3*u = -5*i - 30. Solve u = -x*d - 10 for d.
-5
Suppose -3*q + 19 = 2*q + 4*v, 4*q - 17 = -5*v. Solve -q*u + 10 = 2*u for u.
2
Let m = 6 - 8. Let v be 9/(m/(-4) + 1). Suppose -3*d + 2*a = -8, -d = -0*d - 4*a - v. Solve d = -2*j - 0*j for j.
-1
Suppose -4*d - 38 = -150. Let c be (-14)/d + 7/2. Solve q = c*q for q.
0
Suppose 1 = 2*h - 3. Let t = -1076 + 1076. Solve h*n - n = t for n.
0
Suppose -3*s = -48 - 63. Suppose -4*r - m + 35 = -0*m, -5*r = -m - s. Solve r = 2*j - 6*j for j.
-2
Suppose 83 - 8 = 5*q. Solve g - 6*g = -q for g.
3
Suppose -5*p = -8*p. Let y be -18 + 22 - (1 + p). Solve y*l = 2*l for l.
0
Let z(j) = 7*j + 4. Let g be z(8). Suppose 0*x - g = -5*x. Suppose 2*w + 4 - 2 = 4*p, -w = -p - 2. Solve 5*r = p + x for r.
3
Suppose 5*z - 23 = -u - u, 0 = -u - 4*z + 16. Suppose -4*s + u*v = -32, -4*v - v - 34 = -4*s. Solve -q = -s*q for q.
0
Suppose 6*f + 4*n - 32 = 2*f, f + 4*n - 20 = 0. Suppose -f*x + 13 - 5 = 0. Solve 5*h = 3*h - x for h.
-1
Let h(g) = -g + 3. Let b be h(1). Solve -6 = -a - b for a.
4
Let c be (20/(-6))/(4/(-6)). Let n(s) = s**3 - 7*s**2 + 7*s - 5. Let g be n(6). Solve -2*t - c = g for t.
-3
Suppose 5*s = -a - 3, -3 = -a + 4*s + 3. Let t = -2 + 4. Suppose 2*j + 4*k = t, -j + 5*k + 11 = 2*k. Solve -a*l = -l + j for l.
-5
Let b be 5*(0 - ((-28)/(-20) + -2)). Solve 2*c - 5*c + b = 0 for c.
1
Let l be -7 + 5 + 3 + 0. Suppose 4*k - 12 = 4*y, 2*y = k + 3*y - l. Solve -6 = k*c - 0*c for c.
-3
Suppose 4*c = 4*d - 28, -5*c + 3*d - 29 = 4*d. Let w = 4 + c. Let a be w - -4 - (-7 - 1). Solve 0 = -3*n + n - a for n.
-5
Let m be (-9)/(36/(-8)) - -1. Solve -2*z - 1 = m for z.
-2
Let b = -12 + 11. Let k be 2 + 1 + b/1. Solve -k*l = l + 9 for l.
-3
Let q = -19 - -21. Suppose v + 3*h = 10, -2*v - q*v + 3*h + 10 = 0. Solve 0*z + z - v = 0 for z.
4
Suppose 3*l - 3 = -0*l, 0 = -q + 5*l - 1. Let i be 414/10 + q/(-10). Suppose 0 = 4*y + 5*v - i, -y - 4*v = -3*v - 9. Solve -6 = 2*b - y*b for b.
3
Let a = -13 + 13. Solve a = 5*q - 2*q for q.
0
Let s(j) = j + 2. Let v be s(8). Solve -n = -3*n + v for n.
5
Let w = 183 - 176. Solve w*r - 6 = 4*r for r.
2
Let d be ((-36)/(-42))/((-2)/(-14)). Solve -3 = d*t - 5*t for t.
-3
Suppose -5*m - 7*m = 0. Solve m = 5*j - 3 - 12 for j.
3
Let v(m) = -3*m + 23. Let t be v(7). Solve 0 = t*c - 12 + 4 for c.
4
Let f be 11/3 - (-1)/3. Suppose -v = -3*v - f. Let t be (8/6)/(v/(-6)). Solve -z = t*z + 5 for z.
-1
Let x(a) = -a + 19. Let q be x(9). Solve 4*m - q = -m for m.
2
Suppose -40 = -4*a + 5*h - h, 0 = -a + 2*h + 8. Solve 6*