 4. Solve 5*o - 9 = -h for o.
1
Suppose -3*x = -2*t + 1, 0*t + x + 7 = 4*t. Solve 0 - 6 = t*j for j.
-3
Let j(g) = -g**2 + g + 2. Let c be j(-3). Let t be (-1)/(2 - 18/10). Let h = t - c. Solve -a - h = -4 for a.
-1
Let n(x) = -x**3 - 5*x**2 - 7*x - 6. Let s be n(-4). Suppose -9*m - 42 + 123 = 0. Suppose -2*i + m = 3. Solve -s*t - 9 = -i*t for t.
-3
Let h(o) = -37*o - 4. Let y be h(-2). Let v be y/22 - 6/33. Solve -v*f - f = 16 for f.
-4
Suppose 17*x - 15*x - 148 = 0. Suppose 0 = -5*r + n + x, 2*n + 20 = -4*r + 82. Let k(t) = t - 14. Let s be k(r). Solve -p - s - 2 = 0 for p.
-3
Let a = -8219 + 8222. Let x be 2/2*4 + 0. Let t(i) = -2*i**3 - i. Let q be t(-1). Solve -x*p + q*p = a for p.
-3
Let l be 342/36 + 2/4. Let r = 23 - 20. Solve l = 2*m + r*m for m.
2
Suppose u + 14 = 18. Let n(a) = 5*a - 45. Let d be n(10). Solve -11 = -u*m + d for m.
4
Let d(m) = 2*m**3 + 7*m**2 - 2*m + 5. Let p(b) = -5*b**3 - 20*b**2 + 7*b - 14. Let c(o) = -8*d(o) - 3*p(o). Let x be c(2). Solve 3*g - 3 + 12 = x for g.
-3
Let c(l) be the second derivative of 17*l**3/6 + 3*l**2/2 - 11*l. Let z be c(-2). Let j = 34 + z. Solve -j*o = 2*o for o.
0
Let a = -1717 - -1728. Solve -7*q = a*q + 54 for q.
-3
Let b = -238 + 244. Solve 2*d + b + 2 = 0 for d.
-4
Let k(w) = w. Let z be k(2). Suppose -z*g - 12 = -6*g. Suppose 0 = x - 2 - 3. Solve -g*f - x - 7 = 0 for f.
-4
Let o = 24 + -32. Let r be (-2 + 1)*-7 + 1. Let b = r + o. Solve w + b = -3 for w.
-3
Let d = 250 + -155. Let j = d + -86. Solve -j*u + 8*u + 3 = 0 for u.
3
Let p = 68 - 16. Let s be 9*p/(-39)*(-2)/12. Solve 0*k = s*k for k.
0
Suppose -4*c = -34 + 2. Solve -3*o + o = -c for o.
4
Suppose 0 = -4*n + 18*n - 70. Suppose 0*u - u = 0. Let d = u - -4. Solve 0 = -d*o - n + 25 for o.
5
Let k be -3 - 8/12*-6. Let r be k/6 - 69/(-18). Solve l = -r*l + 25 for l.
5
Let f(k) = k**3 + 4*k**2 - 2*k - 6. Let p be f(-4). Suppose 34 = 5*y + 109. Let o = y + 16. Solve p*b = 3 + o for b.
2
Let d(w) be the first derivative of 3*w**2/2 + 23*w - 7. Let r be d(-6). Suppose -2*c = 8, -3*c = -4*h + c + 16. Solve j + r = -h for j.
-5
Let g(q) = -q**3 - 5*q**2 + 19*q + 78. Let v be g(-6). Solve v*s = 5*s + 15 for s.
-3
Suppose 0 = 4*j + 5*y - 23, 0 = 5*j - 3*y - 1. Suppose -11*q + 16*q = -5*i + 10, -2*q + 4 = 5*i. Solve i = 3*l - j*l for l.
0
Let a = 380 - 376. Let y be (-17)/(-4) + 2/(-8). Solve -12 = -y*p - a for p.
2
Suppose -12 = o - 7*o. Suppose -o*c - u + 1 = 0, -2*c + u + 1 = -2. Let j be -2 - (3 - (12 - 3)). Solve -a = c - j for a.
3
Suppose -3*u = -4*d + 41, 2*u + 25 = 3*d - 5. Let q be (-1 + 4)*(1 - 0). Solve d = q*w - w for w.
4
Let f = -36 + 22. Let i = 21 + f. Let d = -7 + i. Solve d = -r + 2*r for r.
0
Let w be 37/3 - 14/(-21). Let y = w - 9. Solve y*b + 6 + 2 = 0 for b.
-2
Suppose 4*b - 43 = -19*a + 14*a, -3*b + 33 = 3*a. Solve -11*s - b = -8*s for s.
-4
Let s be (2 + 14/(-6))/(70/(-2730)). Solve 36*b = s*b + 115 for b.
5
Suppose 8*a = 3*a - 5*o + 45, 4*a + o = 24. Suppose 2*y + 2*w - 6*w = 12, 4 = 4*y - 4*w. Let m be y*2/(-4)*(-1 + 3). Solve -m = -a*p + 11 for p.
3
Let i = 16 - 15. Solve -10*w - i = -11*w for w.
1
Let p = 7 + -4. Let b(u) = -4*u + 15. Let t be b(4). Let i be -8*t*5/20. Solve -p = c - i for c.
-1
Let l(f) = -f**2 - 5*f - 6. Let a be l(-2). Solve 5*m + 22 + 3 = a for m.
-5
Let l(j) = j**3 - 9*j**2 + 4*j + 35. Let x be l(8). Let s be 1*(2 - 1 - 9). Let i = -6 - s. Solve -1 = x*k - i*k for k.
-1
Let t(o) = o**2 + 5*o - 3. Let x be t(-6). Let k be 1 + 3 + -1 + -2. Suppose 7 = 2*v + k. Solve -4*g + x*g = v for g.
-3
Suppose 85*z = 67*z + 1188. Solve 0 = 14*d + 4 + z for d.
-5
Let r be 4*(4095/14)/13. Solve 18*g - r = -18 for g.
4
Let u be 8*((-1)/(-2))/(-1). Let y(x) = -2*x**3 + 6*x - 4. Let b be y(2). Let l = u - b. Solve -1 = -c - l for c.
-3
Suppose 0 = b - 5*b + 20. Let j(m) = m**3 + 22*m**2 + 38*m - 37. Let p be j(-20). Solve p - b = t for t.
-2
Let j(c) = -2*c - 11. Let p be j(-8). Suppose -z = 5*k - 14, 2*z - 22 = -z - p*k. Solve -n + 3*n = z for n.
2
Suppose g + 5*l + 1 = 21, -l = -3*g - 4. Suppose 2 = -g*m - m + 3*y, -m + y = -2. Solve m*f + 4 = -0*f for f.
-1
Let d(l) = l**3 - 27*l**2 + 27*l - 23. Let b be d(26). Solve -42 - b = 9*o for o.
-5
Suppose -6*m + 9 = -3. Solve -m = 4*l - 2 for l.
0
Suppose 3*s - 25 = -2*s. Suppose s*k + 2*k = 21. Solve -w + k*w = -4 for w.
-2
Suppose 0 = -64*l + 75*l - 66. Let j = -2 + 3. Solve j = 5*h + l for h.
-1
Let m(h) = -h**3 - 16*h**2 - 3*h - 46. Let a be m(-16). Solve 0 = -4*q + a - 6 for q.
-1
Suppose 0 = -0*r - 4*r. Suppose 0 = -w + 1 + 22. Let j = 27 - w. Solve r = j*s - 3 + 11 for s.
-2
Let n(a) = -2*a**2 - 33*a + 20. Let b be n(-17). Suppose 3*o - 2*r + 4 = 13, -3*o = -r - 12. Let l(k) = k**2 - 6*k + 7. Let j be l(o). Solve j*m + 5 = b for m.
-1
Let j be 3 + 7*(-1 - -2). Let z(s) = s**2 - 11*s + 15. Let l be z(j). Suppose -21 = -4*u - l. Solve -u*x - 25 = -9*x for x.
5
Suppose -205 + 79 = -4*o + h, 10 = 5*h. Let t = 229 + -222. Solve -5*b - o = -t for b.
-5
Suppose -5*u + 75 - 2 = a, -2*u + 5*a = -40. Solve u = 7*z - 10*z for z.
-5
Let j = -163 - -167. Solve 1 - 5 = j*d for d.
-1
Suppose -99*r - 80 = -115*r. Solve 4*z - r - 3 = 0 for z.
2
Suppose d + 12 = 3*d. Suppose d*r = 9*r. Solve 2*o + 10 = -r*o for o.
-5
Suppose 0 = 38*i - 40*i - 26. Let j = -13 - i. Solve -3*r + j*r = 0 for r.
0
Suppose -8*t + 13*t = 20. Suppose 5*h - 5*v = 0, 7 = -0*h + 4*h + 3*v. Solve -z = h - t for z.
3
Let l(v) = 17*v - 9. Let z be l(-3). Let w be (-190)/z + 1/(-6). Solve -w*k = 2*k + 20 for k.
-4
Let h(z) be the third derivative of z**5/60 - z**3/3 + 4*z**2. Let c be h(-3). Solve 4 - c = -f for f.
3
Suppose -8 = 2*l - 6*l. Suppose 0 = l*p + 3*p - 10. Let f = -8155 + 8163. Solve -2*b - p + f = 0 for b.
3
Let f = -479 + 484. Solve 7 = f*a - 8 for a.
3
Let k(b) = b**3 + 15*b**2 - 16*b + 3. Let p be k(-16). Suppose 2*w = p*w - 3. Solve a + 2 = w for a.
1
Let n = -754 - -771. Solve 22 - n = f for f.
5
Suppose 0 = 5*t - x - 4*x - 370, -2*t + 153 = -x. Solve -5 = -80*a + t*a for a.
5
Suppose 2*m - 1 = 4*p - 11, 0 = -4*m - 4. Suppose r + 1 = 0, -2*d + 7*d - 18 = -p*r. Solve 0 = -d*b + b - 9 for b.
-3
Let v = 289 - 289. Solve -2*z - 3*z + 25 = v for z.
5
Suppose -a + 2*a = 4. Let b(l) = -l**2 + 83. Let x be b(-9). Let g = a - x. Solve 0 = g*r + 6 for r.
-3
Suppose -4*s + 3*d + 11 = 0, -10*d = -5*s - 11*d + 9. Suppose 5*h = -5*w + 7*w - 15, 4*w - 18 = -s*h. Solve w*r = -2 - 13 for r.
-3
Let p be (-1 - 1)*13 - 1. Let x be 2/6*(-3 - p). Let a = -56 + 58. Solve -a*j + 0*j = x for j.
-4
Let c be ((-12)/24)/((-1)/102). Solve 48 - c = n for n.
-3
Let v = -233 + 334. Suppose -7*l = -5*l + j - 39, -j - v = -5*l. Suppose 4*r - 2*p - 6 = 0, -3*r - p - 3*p = 12. Solve r*o = 4*o + l for o.
-5
Let i(u) = -8*u - 174. Let w be i(-22). Suppose 4*x = 8*x - 28. Solve f + x = w for f.
-5
Let g(t) = t**3 - 8*t**2 - t + 8. Let f be g(8). Let z be -1 + 1 + (-18)/(-6). Let a be (f - z/(-9))*0. Solve a = -s + 6*s - 5 for s.
1
Suppose 5*s + i - 5*i - 2 = 0, 0 = -3*s - 3*i + 12. Let q be -1*s + (-9)/(-3). Solve -4*v = -q + 9 for v.
-2
Let c(n) = n**2 + 3*n + 2. Let b be c(-5). Suppose x + x + 29 = 5*p, 0 = 4*p + 4*x - b. Solve p*a - 7 + 2 = 0 for a.
1
Let k = -17 + 24. Let m = -4 + k. Suppose -2*n + 6 = 3*c - 4*n, -4*c - m*n - 9 = 0. Solve 0*i - 3*i = c for i.
0
Let o(q) = 6*q**3 + 2*q - 1. Let c(b) = -b**3 - b. Let f(y) = 5*c(y) + o(y). Let r be f(-2). Let h be (2/r)/((-2)/6). Solve -5 = w - h for w.
-3
Let f(w) = 11*w + 157. Let m be f(-14). Solve -m*a - 38 + 47 = 0 for a.
3
Let n(b) = 2*b - 3. Let i be n(3). Let m(w) = 2*w - 19. Let t be m(14). Suppose 0 = -i*u + y + t, -2*y = -6*y. Solve -u*c + 11 = -1 for c.
4
Let j(g) = -g + 6. Let c be j(4). Suppose 27 = -3*b + 30. Suppose -b = 3*h - 7. Solve -h*i = -0*i + c for i.
-1
Let r = 1 + -7. Let n be r*(-4)/8 - 0. Suppose 0 = -3*h + n, 2*h - 4*h = -3*k + 10. Solve 0*p + k = p for p.
4
Let g(d) = d**3 + 4*d - 11. Let a be g(2). Let x be 5 - 0 - a/(35/14). Solve 7*o + x = 4*o for o.
-1
Suppose -5*c + w - 9 = -45, 4*c = -6*w + 22. Solve c*h - 70 = 21*h for h.
-5
Suppose 5*d = -i - 4*i - 280, -121 = 2*i + 5*d. Let q = i - -56. Solve -5 - 1 = -q*l for l.
2
Let z = 19 - 11. Let i(p) = -p**2 + 2*p + 3. Let x be i(3). Suppose -3*g + 5*g - z = x. Solve -g*k + 7*k = -12 for k.
-