-4*j = -37 - 15. Suppose 2*s = -9 + j. Solve -15 = -s*x - p*x for x.
3
Suppose -3*k + 4 = -2*k + 2*v, 5*k - 4*v = 20. Solve 4 + 4 = k*p for p.
2
Let s(z) = z**3 + 3*z**2 - 8*z + 13. Let m be s(-5). Suppose 1 = -b + m*f, 2*f = 4*b + 7*f - 30. Solve -b*w = -w + 16 for w.
-4
Let z(h) = -4*h**2 + 9*h + 25. Let s(r) = -r**2 + 10 + 2*r - 2 - 2. Let d(u) = 9*s(u) - 2*z(u). Let c be d(0). Solve -c*b + 19 = -1 for b.
5
Suppose 0 = 3*d + z - 0*z - 31, 0 = 4*z + 8. Suppose 4*v + d - 23 = 0. Solve 0 = 2*w + v*w for w.
0
Let w = 16 + -16. Let k(o) = -12*o + 87. Let z be k(6). Solve 0 = -w*j + 3*j + z for j.
-5
Suppose -3*i + 5*q = -35, -5*i + 5*q + 70 = 15. Solve i = -3*d + 4 for d.
-2
Let s be (8/(-3))/(20/(-90)). Suppose -s*j = -17*j + 50. Solve 0 = 3*i - 1 + j for i.
-3
Let s(g) = -15*g - 82. Let c be s(-6). Solve 12 + c = 5*r for r.
4
Let x = 2202 - 2199. Solve o - 20 = -x*o for o.
5
Let s = 25 - 25. Let b = -1 - -3. Solve 2*m + 2 + b = s for m.
-2
Let x be 153/(-102)*(-1)/(-3)*-32. Solve 7*t - 11*t - x = 0 for t.
-4
Let z = 22 + 22. Let l = -28 + z. Let a be ((-108)/l)/(12/(-32)). Solve a = 4*o + 6 for o.
3
Let d = -196 - -198. Solve 0 = -2*t - 4 - d for t.
-3
Let s(k) = 2*k - 13. Let g be s(10). Suppose -g*h + 2*h - 65 = 3*y, h = -y - 11. Let r be 6/(12/h*-2). Solve 2*o - r = 3*o for o.
-4
Let u(y) = y + 8. Let r be u(8). Let m(n) = -n**3 + 3*n**2 + 4*n + 3. Let d be m(4). Suppose -5*j + d*j + r = 0. Solve 0*f + j = -2*f for f.
-4
Let d be -16 + 9 + 27/3. Solve -v = 3 - d for v.
-1
Let g(h) = 13*h**3 - 5*h**2 + 6*h - 2. Let y be g(2). Suppose 13*c - y - 101 = 0. Solve c = -4*k + 7 for k.
-2
Let k(f) = -25*f + 481. Let d be k(14). Solve 3*h - 134 = -d for h.
1
Let q(p) = -2*p**3 - p - 1. Let o be q(-1). Let g(z) = z - 2. Let n be g(o). Suppose 0*t - m + 9 = 3*t, -2*t + m + 11 = n. Solve 4 + t = 4*u for u.
2
Suppose -4*r + 2 = -o, 0*o - 3*r - 12 = -3*o. Let z be (-18)/(15/o + -4). Solve 2*t = 5*t - z for t.
4
Let z = -7 - -7. Suppose -4 + z = -4*g. Let b = 2 - 2. Solve b = 5*t - 4 - g for t.
1
Suppose -42*q + 61 = -1787. Solve -11*s + 0*s = -q for s.
4
Let k = -14 - -16. Let w be ((-2)/k)/((-5)/25). Let i be 3 - ((0 - 4) + w). Solve 3*p + 1 = i*p for p.
-1
Let i = 98 + -94. Suppose -6*b + 3*b = 0. Suppose b = w - 4*w + 15. Solve -11 - w = i*g for g.
-4
Let t(f) = f - 6. Let x be t(5). Let q = -11 + x. Let s = -4 - q. Solve -5*g + s + 2 = 0 for g.
2
Let i(o) = o**3 - 2*o + 27. Let w be (0/(-3 - 1))/(-1). Let v be i(w). Let z = -23 + v. Solve -z*t = -t for t.
0
Let p = -93 + 114. Solve 3*b - p + 36 = 0 for b.
-5
Let t(k) = -13*k + 4. Let b(u) be the first derivative of -3*u**2/2 + u + 4. Let a(f) = -9*b(f) + 2*t(f). Let z be a(1). Solve z*l - 9 = 3*l for l.
-3
Suppose 5*q = -4*h - 1, -2*q + 4 - 2 = 2*h. Let x be (-2 + 7/3)/(2/h). Solve -y = -4 - x for y.
5
Let l(r) = -8 - r**2 - 5*r + 13 - 7. Let o be l(-2). Suppose o*v + 33 = 5*z + 8*v, 2*z - 2*v = 6. Solve z*t = 2*t + 3 for t.
1
Let z(x) = 0*x - 2*x + 2*x + 1 + x**2. Let u be z(2). Let k be (0/(-1))/(-2 + u). Solve -3*v = -k*v for v.
0
Let d be (20/25)/((-3)/(-90)*3). Solve -d = -2*q - 16 for q.
-4
Let w be 3/(-9) - (-20)/6. Suppose -3*k + 5*a + 10 = -5, 0 = 5*a. Let m be 9 - (3 + 12/(-3)). Solve -w*h - k - m = 0 for h.
-5
Suppose 0 = 3*d - 2*i - 34, -4*d - 3*i + 140 = 72. Solve 15 = d*l + l for l.
1
Let p(k) be the second derivative of -k**4/12 + k**3/6 + 5*k**2/2 + 6*k. Let q be p(0). Suppose 5*s - 16 + 4 = d, -q*s = -3*d - 6. Solve -2*m - 1 = -d for m.
1
Let a = 212 - 212. Solve n + n + 4 = a for n.
-2
Let p be 220/3 + (-14)/(-21) - 2. Suppose -159*g + p = -153*g. Solve -4*t + g + 4 = 0 for t.
4
Let s(d) = 2. Let c(j) = -j + 17. Let p(b) = 6*c(b) - 51*s(b). Let w be p(-1). Let u be 26/6 + 4/w. Solve -4*f + 5 = -u*f for f.
-5
Suppose 0 = -39*n + 30*n + 909. Solve n = 5*k + 116 for k.
-3
Suppose 0 = -22*c + 86*c - 192. Let t be (1 + -3)/(-1) + 1. Solve -c*x + 12 + t = 0 for x.
5
Suppose 32 = 7*x - 3*x. Suppose x = 2*z, -5*l - 3*z + 12 = -2*l. Solve l = -5*j + 5 - 0 for j.
1
Suppose -40 = z - 6*z + 3*m, 0 = -5*z - m + 40. Solve 0 = 7*x - z*x + 1 for x.
1
Let t(s) = -s**2 - 11*s - 4. Suppose -4*a = -3*a + 11. Let g be t(a). Let o be (2 + 2)/(g/(-18)). Solve 5*v = 7 + o for v.
5
Let p(b) = -8*b + 2. Let g be p(2). Let x(h) = h + 17. Let t be x(g). Solve t*c + 0*c = 0 for c.
0
Let j(o) = -o + 1. Let a(x) = -7*x + 14. Let u(k) = -5*a(k) + 30*j(k). Let z be u(9). Solve 2*f - z = 1 for f.
3
Let p(c) = -31*c + 204. Let b be p(6). Solve 0*n - b = 6*n for n.
-3
Let r(t) = 14*t + 142. Let k be r(-10). Suppose -42 = -5*y + 4*n, 26 = y - 4*n + 8. Solve -k - y = 4*z for z.
-2
Let p be 7/(-4)*32/(-8). Let g(t) = -t**2 + 9*t - 4. Let f be g(p). Let w be (-3 + 8)*6/f. Solve 5 = -2*y - w*y for y.
-1
Let l(f) = 3*f - 4. Let w be l(8). Let d = w + -12. Suppose -4*a + 3*a + u + 11 = 0, 2*u = -a + d. Solve 3*r = 1 - a for r.
-3
Let b = -79 + 81. Let a(d) = -d**2 + 14*d + 2. Let f be a(14). Solve f*w - 4*w = b for w.
-1
Let r = -14 - -16. Suppose d = 3*k + 3*d - 3, -k + r*d = -9. Suppose -3*n = -12, -2*n + 12 - 34 = -3*q. Solve -5*j = -k*j + q for j.
-5
Let p(y) = y + 10. Let z be p(-7). Suppose -j - 1 = 5*a + z, 3*a + 36 = 5*j. Let v be (-6)/(-9)*j/4. Solve 0*r + v = r for r.
1
Let m = 87 + -71. Suppose 0*o = -o - 5*t + m, 4*t = 12. Solve 0 = -5*w + o + 14 for w.
3
Let c = 24 + -21. Suppose -c*s - 12 = -7*s. Solve -4*q - 23 = -s for q.
-5
Suppose -3*z = -4*z + 5. Suppose -z = 4*i + a, 3*i - 3*a = -i - 1. Let h be (-9 + i)/(-10 + 9). Solve -h = 3*y - 1 for y.
-3
Let f be 1/(2508/(-252) + 10). Solve 17*i + f + 30 = 0 for i.
-3
Let p = 23 - 18. Suppose -p*v = -2*v. Solve 2*l + l + 9 = v for l.
-3
Let x = -72 - -90. Solve -x = 4*h - 10 for h.
-2
Let c = -11 + 11. Suppose f + 10 = 2*b, -f - 1 = b - c*f. Suppose 3*o = b*p, -4*o - 6 = 5*p - 33. Solve -p*i = 2*i - 5 for i.
1
Let s(x) be the third derivative of 11*x**4/24 - x**2. Let f be s(2). Let a = f + -17. Solve -2 = 3*z - a*z for z.
1
Let h = -27 - -19. Let k be 3 + 2 + 4 + h. Solve k = -c + 4 for c.
3
Let d be -2 + 15/(-2)*(-40)/30. Solve d = -2*b + 18 for b.
5
Let u be 18*((-170)/45 + 4). Suppose u*l - 21 = 27. Solve 3*a - 6*a - l = 0 for a.
-4
Let m be 20/(-2) + -8 + 20. Solve m*i = -0*i - 2 for i.
-1
Suppose 0 = -2*y - 0 + 86. Let u = y + -35. Solve -2*f = 2*f - u for f.
2
Suppose -30 = 5*k - 10*k. Suppose 0 = -k*z + z - 65. Let v = z + 16. Solve v*u + u = -8 for u.
-2
Suppose 5*x = 2*l - 75, l - 4*x = -6*x + 33. Solve 16*p - 9*p = -l for p.
-5
Suppose -11*k - 1 = -10*k. Let b(i) = -2*i + 3. Let z be b(k). Solve -l = -2*l + z for l.
5
Let x(u) = u**2 + 4*u - 23. Let h be x(8). Let c = h - 68. Solve 9 = -l + c for l.
-4
Let q = 44 + -41. Suppose -q + 28 = 5*u. Solve -9 - 1 = u*g for g.
-2
Let y = 8 - 8. Let k(u) = u + 2. Let r be k(y). Solve 0 = 3*a - 2*a - r for a.
2
Suppose 0 = -2*a + s - 0 + 3, -1 = -s. Let l be 1 + -14 - (-27 - -7). Solve -l = a*v + 3 for v.
-5
Suppose 4*j = 8*j + 16. Let g be (-20 - -4 - j)*(-4)/3. Solve g = -3*l - l for l.
-4
Let h = -840 - -853. Solve -38 = 5*c - h for c.
-5
Let j be 23 + 4/(12/(-3)). Suppose -3*x + 8 = 5*h - 5, 3*x - j = 4*h. Solve 0 = -l + x*l + 5 for l.
-1
Suppose -6*c = -3*c - 12. Let d be (-2)/1 - (7 + 0). Let l be (2/1 - 3)*d. Solve -c*j + j = l for j.
-3
Let s(n) = n**2 + 2*n - 29. Let r be s(5). Let i be (-40)/(-18) + 22/(-99). Solve i - r = b for b.
-4
Let b(t) = -t**3 + 14*t**2 + 205*t + 52. Let g be b(23). Solve g = 3*l - 0 for l.
2
Suppose 5*g + 3*o - 107 = 0, 3*o - 11 = 1. Solve -13*x = 46 + g for x.
-5
Let c be (-1 - (-9)/2)*(-38 - -24). Let f = 65 + c. Solve -3*k + f = -7*k for k.
-4
Suppose -2*k = 4, 2*t - 5*k - 16 = -0*k. Suppose t*h = 2*h + 2*c + 20, 3*c - 96 = -3*h. Let r = h + -24. Solve -r*o - o = 25 for o.
-5
Let o(i) = -i + 16. Let r(z) = -3*z + 31. Let y(a) = 9*o(a) - 4*r(a). Let m be y(-6). Suppose 0 = 3*g - g - 3*k, -5*g + 5*k = 0. Solve -8 = m*w - g*w for w.
-4
Suppose -6*j = -j - 3*c, -5*c = 0. Let z(q) = q + 5 + 2 + j*q. Let w be z(-5). Solve -w*a = 2*a - 12 for a.
3
Suppose 85 = -8*l + 149. Solve 0 = -x + l - 11 for x.
-3
Suppose -5*z - 2*x = -41, -z - 14*x + 11*x = -3. Solve 0 = -z*n - 18 + 45 for n.
3
Suppose 0 = 564*f - 320 - 244. Let o(d) = 2*d - 3. Let y be o(3). Solve 0 = -y*u + f + 14 for u.