*s + 3 for s.
1
Let r be (-48)/(-3) - (-6)/(-3). Let h be (-7)/21 + r/6. Solve -h*s + 5*s = -6 for s.
-2
Let c be ((-225)/12)/(4*(-15)/160). Solve -8*t - c = -18 for t.
-4
Let y be 20/(-110) + ((-70)/22)/(-1). Solve 4*u = y*u - 4 for u.
-4
Let y(w) = 3*w**2 + 17*w + 2. Let g be y(-6). Solve -4*r + g = -2*r for r.
4
Let l = -41 - -43. Suppose -l*h + 6 = 2. Solve h*p = 4*p - 4 for p.
2
Let m = -8 + 8. Let b be (m - 3)/3*(-3)/1. Solve b*i = -0*i for i.
0
Let r(j) be the first derivative of 1/3*j**3 - 1 - 5/2*j**2 + 4*j. Let c be r(4). Solve c = -0*v - 5*v + 10 for v.
2
Let j = 17 - 17. Solve j = q - 0*q for q.
0
Suppose 0*p - 3*p = -l - 7, 4*l + 5*p = 40. Suppose 3*q - 84 = -5*u, -2*u - l*q + 75 = 2*u. Let i be -3 - (-6 + 1 - 1). Solve u = -i*r + 6*r for r.
5
Let s be (646/(-51))/(1/(-3)). Suppose s = j + 37. Solve j - 17 = 4*b for b.
-4
Suppose -16 = 19*w - 20*w - 4*a, -4*w - 2*a = -36. Solve w*n = 3*n - 20 for n.
-4
Let d(b) = 2*b**2 + 5*b - 1. Let l be d(2). Solve 0 = 11*r + l + 27 for r.
-4
Let b(a) = -4*a - 50. Suppose 0 = 3*w + 3*x + 30, -3*w + 6 = -2*w + 5*x. Let p be b(w). Solve -2*k - p = -5*k for k.
2
Suppose 4*g - 3*r = 224, -6*g = -3*g - 5*r - 157. Let w = g - 47. Let a = 1 + -1. Solve -5*m + m + w = a for m.
3
Suppose -156*r + 65 = -143*r. Solve -12*s + 35 = -r*s for s.
5
Suppose -2*n - 3 = w, -8 = 2*n + 4*w + 10. Let a(y) = 2*y + y + 7*y**2 + 3 - 1 - 6*y. Let f be a(n). Solve -f*x + x = 25 for x.
-5
Suppose -915*y + 910*y + 10 = 0. Let c(u) = 2*u + 6. Let i be c(5). Suppose 0 = -w - 3*w + i. Solve 2 = y*k - w for k.
3
Let n(h) = 11*h**3 + 7*h**2 + 12*h - 45. Let j(o) = 5*o**3 + 3*o**2 + 6*o - 22. Let f(t) = 13*j(t) - 6*n(t). Let a be f(-5). Solve -4*z + a + 0 = 0 for z.
1
Let a(b) be the first derivative of -b**2/2 + 3*b + 3. Let r be a(3). Solve r*w + 1 = -w for w.
-1
Suppose 20 = -23*y + 28*y. Solve 11 + y = -3*v for v.
-5
Suppose 14*f - 44 + 2 = 0. Solve 0 = -19*p + 16 + f for p.
1
Let p be (-8)/(-2) + (6 - 3). Let j be (-5)/(((-7)/2)/p). Suppose 20 = 12*w - j*w. Solve 0 = 3*s + 2*s + w for s.
-2
Suppose 46 = 14*w + 18. Suppose -5*o + 2*o - 2 = w*r, 4*r + 4*o = 0. Solve q = -r*q + 9 for q.
3
Let y be 2/((-42)/(-93)) + (-84)/196. Solve y*a + 12 = -0 for a.
-3
Let b(l) = l**3 + 5*l**2 + 5*l + 1. Let d be b(-2). Solve -h = d - 1 for h.
-2
Suppose -3*p - 3*l = -7*p + 6, p - 7 = -2*l. Solve 0 = -4*r - 1 - p for r.
-1
Suppose 10*x + 6*x = 256. Let m = x + -9. Solve -m*v = -5*v + 10 for v.
-5
Suppose 2*c = -p + 14, 2*c - 38 = 7*p - 2*p. Solve -c*j = -14*j for j.
0
Let g(v) = 7*v + 33. Let o be g(-4). Suppose l - 2 = -l - o*x, 0 = 3*x. Solve -d - l = -0 for d.
-1
Suppose 0*q = -2*q - 6. Let h(v) = -v**2 - 4*v - 1. Let p be h(q). Suppose -4*z + 5 = -w, w - 1 = 3*z - 4. Solve -w*t + p + 1 = 0 for t.
1
Suppose -3*q + 14 = -22. Let w = q + -9. Solve 4 + 5 = -w*r for r.
-3
Let f = -1057 + 1060. Suppose a - 8 = -3*a. Solve f = -a*r - 5 for r.
-4
Let p = -8 + 8. Suppose -j = -p*j. Let v = j + 2. Solve 5 = v*x - x for x.
5
Suppose 2*s - 6*j = -2*j + 60, -2*s - j = -60. Suppose -35*v = -s*v - 30. Solve -v*h + h = -20 for h.
4
Suppose -y - 96 = -9*y. Suppose -2*j - 2*j + y = 0. Solve 4*q - j = 9 for q.
3
Suppose -3*b + 3*d + 33 = -6*b, -4*b - 5*d = 47. Let z(t) = t**3 + 8*t**2 + t + 8. Let j be z(b). Solve -4*n - 4 + 24 = j for n.
5
Suppose 12 = 2*k - 16. Let i = 17 - k. Let w(h) = 2*h - 4. Let q be w(i). Solve q*g - 6 = 4*g for g.
-3
Let c = -1 + 6. Let i = -172 - -175. Solve 0 = -2*n + c + i for n.
4
Let u = -82 - -132. Let c = -49 + u. Solve 0 = -g - c + 2 for g.
1
Suppose -5*w + w = -2*v - 10, 0 = 3*w - 4*v - 10. Suppose n - 6*n + 10 = 0. Solve n = -w*d - 2 for d.
-2
Let z be 2 - 1 - (12 + -2 + -21). Solve 13*g - 4 = z*g for g.
4
Let h = 389 - 383. Solve -5*a - 1 + h = 0 for a.
1
Let h(j) be the second derivative of j**3/6 + 3*j**2 + 3*j. Let p be h(-6). Suppose 0 = -6*t + 23 + 7. Solve -t*m + 0*m + 20 = p for m.
4
Suppose 3*y + 30 = 54. Let b(d) = -d**2 + 9*d - 5. Let m be b(y). Solve -7 = m*i - 1 for i.
-2
Let t = -6 - -4. Let h be (-1)/t + 162/12. Let y = h - 8. Solve -i = i - y for i.
3
Let p(f) = f**3 + 6*f**2 - 38*f + 23. Let u be p(-10). Solve 0 = 8*y - y - u*y for y.
0
Let d be ((-4)/(-6) - 0)/(24/144). Solve d*u = 3 - 7 for u.
-1
Suppose -5*s - 3*u + 32 + 26 = 0, -2*u - 9 = -s. Suppose -1 = 4*x + 5*b + s, x = -5*b - 18. Solve -x*o - 1 + 11 = 0 for o.
5
Let o(m) = -m + 20. Let i(a) = a - 19. Let h(f) = -6*i(f) - 5*o(f). Let z be h(9). Let q = 7 - z. Solve -t = -q*t for t.
0
Suppose -5*s = -4*p - 62, 8*s - 3*s + 10 = 0. Let h = p - -18. Let g = -3 + 5. Solve h*a = -g*a + 8 for a.
4
Let n be ((-21)/(-6) + -3)*6. Suppose n*l + l = 4. Solve l = -o - 1 for o.
-2
Let o = 134 - 119. Solve o*j - 18*j = 15 for j.
-5
Let j be 2*(-2 + -4 + 8). Suppose -2*x - 32 = j*m - m, 3*m + 40 = -4*x. Let o be (28/m)/(-1)*2. Solve -3*a + o*a = -8 for a.
-2
Let s be 741/(-78)*1/(3/(-6)). Solve -s*k = -6*k - 13 for k.
1
Let n = 37 + -27. Suppose 12*j = n*j. Solve w + 0*w = j for w.
0
Let j(s) = -s**3 - 11*s**2 + 23*s - 37. Let o be j(-13). Solve 12 = r + o*r for r.
4
Let n(l) = -11*l**2 + 48*l + 8. Let q(u) = 7*u**2 - 31*u - 5. Let i(a) = -5*n(a) - 8*q(a). Let c = 15 + -7. Let p be i(c). Solve 4*h - 4 = -p*h for h.
1
Let l be 6/27 + (-7)/(-9). Let h = -7 - -9. Solve 9 - l = h*u for u.
4
Let o(s) = -4 + 0*s**3 - 4*s**3 + 1 + 3*s**3 + 4*s**2. Let v be o(3). Let w = -4 + v. Solve i + w = 4 for i.
2
Suppose -41*s + 39*s = 0. Suppose s = -144*f + 141*f + 6. Solve -l - 6 = -f for l.
-4
Let t = 463 - 440. Solve 6*b - 7 - t = 0 for b.
5
Let n = -231 + 234. Let x(v) = -v**2 + 4*v + 6. Let b be x(5). Let o be 0 - (n + (-13 - b)). Solve -5*l + 1 = o for l.
-2
Let v(y) = -y**2 - 4*y + 5. Let j be v(-5). Let t be 1 + 2*(-20)/8 - -6. Solve t*b = -j*b for b.
0
Let f(m) = 20*m**2 - 14*m**2 - 5*m**2 + 12 + 11*m. Let s be f(-10). Suppose -5 - 5 = -s*j. Solve t - 2*t = j for t.
-5
Let l = -3 + 5. Let y(v) = 6*v - 10 - 5*v - v**2 + 9*v. Let i be y(8). Solve -i = f - l for f.
-4
Let a(o) = o**2 - 9*o + 47. Let v be a(9). Solve v*f - 21 = 40*f for f.
3
Suppose 5*l - 51 = -m, -3*l + 6*l = -2*m + 74. Suppose 0 = 2*b - 7 - m. Solve 15*o - b*o = -4 for o.
1
Let n be -5 + (-2)/(18/(-171)). Solve 34 = n*q + 6 for q.
2
Let v(u) = -2*u + 40. Let s be v(17). Suppose 6 = -6*f + s. Solve f = -5*o + 12 - 2 for o.
2
Suppose -5*w = a - 90, -4*w - 4*a = -75 - 13. Solve -4*q + w - 9 = 0 for q.
2
Let j = 39 - 38. Let q(t) = 6*t**2 - t + 1. Let o be q(j). Solve -o*y = -2*y + 4 for y.
-1
Let r(b) = 15*b + 3. Let a be r(-13). Let w be a/30 + 2/5. Let o(q) = -2*q - 9. Let g be o(w). Solve -g*l + 8 = -1 for l.
3
Let j(d) = -22*d + 106. Let x be j(4). Solve 0 = -4*o + x + 2 for o.
5
Let t(q) = 6*q - 4. Let y be t(3). Let i(r) = -r**2 + 15*r - 14. Let g be i(y). Solve g*o + 1 = -o for o.
-1
Suppose -4*p = -3*p - 1. Let m(j) = p - 2 - j + 28*j**3 + 7*j**2 - 29*j**3. Let z be m(2). Solve 5*x - 2 = -z for x.
-3
Let v be (60/8 - 9)*4/(-3). Solve 2*i + 6 = -v for i.
-4
Suppose -5*y + 87 = c, -4*y - 4*c + 2*c + 72 = 0. Suppose y*l - 12*l = 15. Suppose j + 4*s = -4*j + 95, -l*j + 4*s = -25. Solve -3*d = 2*d + j for d.
-3
Suppose 2*z + 56 = 16*z. Suppose -x = -17 + z. Solve -2*j - x = -3 for j.
-5
Suppose p - 20 = 4*f, -5*p + 2*f + 7 = -3. Solve 7*h - 13 + 20 = p for h.
-1
Let x be 5 - 15/(-10)*-2. Let i be (-17)/(-4) - (x + (-11)/4). Solve -3*f = 1 + i for f.
-2
Suppose -8*w - 9 = -11*w. Let q be w - (2 + (-1)/(-1)). Solve q = 3*r - 4 - 2 for r.
2
Suppose -4*o + 84 = -5*g, 4*o - 3*g + 0*g - 76 = 0. Suppose 0 = 2*s - 4*m - o, 2 = 4*m - 5*m. Solve -8 = s*f + 12 for f.
-5
Let f = 14 + -8. Solve 0 = -3*m - f for m.
-2
Suppose 5*n = 92 - 87. Solve -2 - n = g for g.
-3
Let x(m) = 6*m**2 - 59*m + 71. Let o be x(10). Solve 0 = -o*n + 83*n for n.
0
Let r be (-1)/(-1 - (-22)/24). Suppose 2*q = -x + 3, 4*x = -2*q - 0*q - r. Solve -q*l = -8*l for l.
0
Suppose -207 = -13*m - 168. Solve 33 - 21 = -m*z for z.
-4
Suppose -4*u + 3*n = -3*u + 25, -4*u - 2*n = 86. Let j = u - -9. Let z = -13 - j. Solve 5 = -z*p + 5*p for p.
1
Suppose 11*q - 16*q = -15. Solve -2*r = r - q for r.
1
Let l be 28/(35/5) + 26. Solve 4*q - 14 = -l for q.
-4
Let a(u) be the third derivative of -u**5/60 + u**4/3 - 8*u**3/3 + 4*u**2. Let p be a(4). Solv