g = -k*g + 12 for g.
4
Let c be (-120)/220 + (-10)/22 + (-21)/(-3). Solve 0 = -2*w - c + 18 for w.
6
Suppose -325*z + 139 = 2*p - 318*z, -5*z - 190 = -5*p. Solve -2*v - p = -47 for v.
1
Let y(c) = -c**3 + 3*c**2 + 22*c - 59. Let h be y(7). Let z be 103 + 0 + (-3 - -5). Let j = z + h. Solve -2*a + 0 = j for a.
-2
Let t be (-7 + -11 - -68) + 1. Solve -5*u + 26 = t for u.
-5
Suppose 4 = q - c, 2*q + 5*c - 3 = -2. Suppose 5*k = -q*k + 16. Solve k*o + 5 + 1 = 0 for o.
-3
Let t(h) be the first derivative of h**4/4 + 5*h**3/3 + 3*h**2/2 - 5*h + 111. Let x be t(-3). Solve 4*q + x = -4 for q.
-2
Let x(w) = -3*w**2 + 6*w**2 + 5*w**2 - 3*w**2 - w**3. Let r be x(5). Suppose -o + r*h - 2*h = -6, o - 6 = -h. Solve i + o = -2*i for i.
-2
Suppose 0 = -10*n + 22*n - 204. Suppose -5*o - x = -22, -22*x + n*x - 35 = -4*o. Solve 0 = -o*r + r + 16 for r.
4
Suppose 3*a = -v + 4, -a + 4*a - v = 14. Suppose -2*c = -8, 0 = 4*s - 3*c + a + 5. Solve q + 6 = s for q.
-5
Suppose 8*w - r + 458 = 6*w, -5*w + 4*r - 1145 = 0. Let g = -224 - w. Solve -16*u + 21*u - g = 0 for u.
1
Let r be 24/20*-5 + (-55464)/(-8). Solve -r*i + 6921*i = 30 for i.
-5
Suppose 18 = -x + 4*x. Suppose l = h - 2*l - 90, -4*h - 4*l + 440 = 0. Let g = 121 - h. Solve -2*i - g = -x*i for i.
4
Suppose -3*o + 21 = 7*m - 2*m, m = -2*o + 7. Suppose -2 + 2 = -12*i. Suppose -3*v - 2 - 4 = u, i = -4*u - m*v + 3. Solve -z + u = -0 for z.
3
Let i be ((3 - 1) + (-45)/27)*24. Let p = 0 + 4. Solve p = -i*j + 12*j for j.
1
Let p(d) = -d**2 + 3*d + 1. Let h = 54 - 33. Let v = h - 18. Let t be p(v). Solve -3 = -2*q + t for q.
2
Let p(b) = b**3 + 19*b**2 + 44*b + 514. Let l be p(-18). Solve -l = -14*q - 32 for q.
1
Let z(h) = 5*h - 35. Suppose 5*n - 20 = 0, -32 = -3*i - 2*n + 9. Let q be z(i). Solve -q = 4*c + c for c.
-4
Suppose -m - 237 + 240 = 0. Solve -m*i = -7*i - 16 for i.
-4
Suppose 44 = 2*k - 4*h, 5*k + h = 16 + 138. Let q(p) = 5*p**3 - 2*p - 1. Let t be q(2). Let b = t - k. Solve -2*r = -3*r - b for r.
-5
Suppose -3*v = 5*k - 237, -4*v = 148*k - 147*k - 78. Solve 10*r - k = -2 for r.
4
Suppose 2*y = 5*m - 473, 0 = 2*m + 3*y - 1 - 192. Solve m = 6*q + 113 for q.
-3
Let g be -2*(105/14 + -6). Let u be 25/75 + 1/g. Suppose -b - 2*v = -3*b + 8, 0 = -2*b - v + 2. Solve -b*s + u = 2 for s.
-1
Suppose 6 - 33 = -3*n. Let k be -8 + n - (-20 + 1). Let l be (-2)/(-22)*6 + 288/(-528). Solve k = -l*z + 4*z for z.
5
Let k be -5 - 0*(-3)/6. Let f = -19 - -25. Let n be f*k/(-15)*4. Solve -i - n = i for i.
-4
Let s be -1*424*(-10)/(22 + -2). Solve -s*u - 10 = -202*u for u.
-1
Let n(r) = 2*r**3 - 115*r**2 + 168*r + 39. Let x be n(56). Solve -49*j = -x*j - 10 for j.
1
Let g(j) = -j**2 + j + 11. Let q be g(3). Suppose -q*h - 25 = -5*k, -2*h + 7*h - 17 = -2*k. Solve 0 = -n - k*n + 14 for n.
2
Suppose 5*m = 2*m + 9. Suppose -m*a - 72 = -5*k, k + 52 = 6*k + 2*a. Let i = 13 - k. Solve -i = t - 2 for t.
1
Let s be ((-66)/(-6) + -6)/(-1) - -12. Solve 0 = s*l - 6 - 36 for l.
6
Let f be 2/4*12/2. Let o be ((-6)/(-8) - (-2)/8)*4/4. Let p be (1/f)/o - (-33)/9. Solve j + 15 = p*j for j.
5
Suppose 11*o - 9*o + 28 = 4*x, 0 = -2*x - o + 2. Suppose d - 2*c + 1 + 8 = 0, -2*c = 2*d - 12. Solve x = q + d for q.
3
Let j be 38/((-5586)/63) - (-2529)/21. Solve -z - j = 23*z for z.
-5
Let r(p) = -16*p**3 - 8*p - 9. Let c be r(-1). Let b be -1*(-2 - (3 - 6)). Let z be 5 + b/(-2)*0. Solve 10*a = z*a - c for a.
-3
Let n(o) = -2*o**3 + 23*o**2 + 135*o + 900. Let u be n(17). Let d(g) = 2*g**2 + 8*g + 6. Let a be d(-5). Solve u = -12*z + a*z for z.
4
Suppose -2*h + 2*c + 2*c = -1124, -4*h + 2266 = -5*c. Solve -48 = 568*u - h*u for u.
8
Let l be (-4)/((40/236)/(-5)) + (-1)/(-1). Solve -21*a + l - 14 = 0 for a.
5
Let x(c) be the third derivative of -c**6/120 - c**5/12 - c**4/12 - 5*c**3/6 - 7*c**2. Suppose -8*t + 4 = 44. Let w be x(t). Solve 0 = r - 2*r + w for r.
5
Let p(z) = 93*z + 1063. Let y be p(-11). Solve y*a = 77 + 43 for a.
3
Let x be -1 - -1 - (5/(-1) - -2). Suppose 4*t = x*t - 2. Let k = t - -6. Solve -k*d - 12 = -d for d.
-4
Let v(u) = -230*u**2 + 3226*u - 11. Let f be v(14). Solve -f*q = -70 - 3 for q.
1
Let d(t) = -5*t - 12. Suppose 0 = 5*n + 2*m + 26 + 10, 15 = -4*n + 3*m. Let v be d(n). Let g be (-6)/(-27)*-21*v/(-7). Solve -g = 4*c - 0 for c.
-3
Let q be (108/(-180))/(4/(-40)). Solve q = -15*w + 66 for w.
4
Let g(k) be the first derivative of -15*k**2 - 256*k - 167. Let a be g(-9). Solve -8 = 3*z - a for z.
2
Suppose -3*g = -m - 194, 4*m + 362 + 379 = 5*g. Let r = 182 + m. Solve 7*p - r*p = 20 for p.
5
Let i = -45 - -87. Let t be (13 + -14)/((-2)/i). Let w = 24 - t. Solve -b + 8 = -w*b for b.
-4
Let c(m) = -m - 8. Let n be c(-10). Let x(d) = 3*d + 9. Let l be x(-3). Let f = l - -8. Solve -f - n = -5*u for u.
2
Let a(x) be the third derivative of -x**5/60 + x**4/3 + 2*x**3 + 5*x**2 + 14*x. Let j be a(9). Solve j*g = -15 + 18 for g.
1
Let a = 121 + -117. Suppose 8*v - 104 = -5*v. Solve a = v*i - 4*i for i.
1
Suppose 2*u - 8 = 0, u - 2 = 5*t + 2. Let y(n) = n**3 + n + 6. Let m be y(t). Suppose m*l - 4*l = 0. Solve 0*s - s = l for s.
0
Let p(k) = -k**3 + 10*k**2 + 14*k**2 - 9 - 19*k - 12*k**2. Let f be p(10). Solve -a - f = -5 for a.
4
Suppose 0 = 3*m - n - 1083, 3*n + 722 = 2*m + n. Solve -m = 4*x - 365 for x.
1
Suppose 4*j - 52 = -5*l, -26*j + 29*j = -4*l + 42. Solve 0 = -t + 5*t + l for t.
-3
Let x(t) = -91 + 45 + 49 + t**2 + 16*t. Let n = -49 + 33. Let p be x(n). Solve p - 11 = -4*r for r.
2
Suppose 0*w = 7*w - 42. Let n = 70 - 53. Suppose -n*i - w = -20*i. Solve 3*p = i*p + 2 for p.
2
Let v = -35 + 157. Let j = v + -118. Let r be (3 - (1 - j)) + 2. Solve -r = -5*l + l for l.
2
Let m = -39639 + 39924. Solve 0 = 24*l - m + 309 for l.
-1
Let u = 41912 + -41902. Solve -u*k + 539 = -87*k for k.
-7
Let w(m) = 37*m + 17. Let d be w(0). Solve -d = -6*i + 19 for i.
6
Let x(r) = 2*r**2 + 5*r + 2. Let q be x(-8). Let n = -24 - -26. Suppose -3*w - 15 = 0, -q = -3*s + n*w - 20. Solve -3*d - 5 = -s for d.
5
Suppose 34*c - 242 - 98 = 0. Solve c*q = -3*q for q.
0
Suppose -216 = 4*g - 7*g - 5*y, -5*y + 144 = 2*g. Suppose -71*q - 10 = -g*q. Solve 4*v - 30 + q = 0 for v.
5
Let k be (-20 - (16 - 31)) + (10 - -1). Suppose -3*w = 2*w - k*w. Solve -4*h - 9 + 5 = w for h.
-1
Suppose 2*v - 2 = 0, -2*x - 10*v = -9*v - 43. Solve x*j + 45 = 6*j for j.
-3
Suppose 4*q + 3*y - 6 = 0, 3*q + 5*y = 5 + 5. Suppose 7*i - 3 - 4 = q. Solve 4*c + i = -7 for c.
-2
Let t be (1625/100)/(15/24). Solve 28*w = -t*w + 162 for w.
3
Let p(k) = k**3 - 24*k**2 + 13*k - 16. Let i be p(22). Let l = 728 + i. Solve -8 = l*m - 26*m for m.
-2
Let p be (13/(-12))/((-2)/12)*4. Solve -6 = 25*g - p*g for g.
6
Let o = -289 + 329. Suppose 0 = -7*z + 44 + o. Solve 4*n = n - z for n.
-4
Suppose 3*y + 8 = 4*w + 24, 0 = -y - 3*w + 1. Solve y*g - 635 = -639 for g.
-1
Let o be -45*((-4)/24 + -3*14/180). Solve 6*d + 0*d = o for d.
3
Let c(t) = -13*t + 132. Suppose -19*w = -39 - 151. Let n be c(w). Solve 0 = -n*d - 3*d - 20 for d.
-4
Let q = 19269 + -19259. Solve -w + q = 4*w for w.
2
Let c = 35 - 28. Let z = -15 + c. Let l be (z/10)/((-8)/20). Solve l*m = -3*m for m.
0
Let y be (-7)/(21/9) - -1 - -16. Solve 7*w = y*w for w.
0
Let m(h) = -3. Let y(p) be the third derivative of -p**4/24 - 5*p**3/6 - 36*p**2. Let w(f) = -5*m(f) + 2*y(f). Let l be w(0). Solve -b - 8 = -l*b for b.
2
Let a be (12/42 + (-5169)/(-63))/(6/18). Solve 205 = -7*x + a for x.
6
Suppose -636*w + 580*w = -504. Solve 87 = w*z - 38*z for z.
-3
Let t be (3 + 13/(-5))/(1/30). Suppose -2*j + t = -22. Solve 5*s + 2 = j for s.
3
Let y(g) = -2*g - 21. Let q be y(-8). Let x be 3 + q + (3 - 8). Let c be (100/35)/((-2)/x). Solve 0 = 2*u - 7*u - c for u.
-2
Suppose -5*n - 5 = -4*n + 2*x, -2*x + 1 = 3*n. Let s be (n*2 - (-76)/(-14))*14. Solve 18*b - 16*b + s = 0 for b.
-4
Let l = 2393 - 2389. Let o = -1 + 1. Let h be 2 - o/(-3 + 0). Solve -h*s + l*s - 10 = 0 for s.
5
Let l(v) = 2*v + 36. Let i be l(-18). Suppose i = 23*w - 18*w - 25. Suppose -4*q + 19 + w = 0. Solve 0 = 2*c + 14 - q for c.
-4
Let f = 325 - 525. Let w = f - -206. Solve 0 = -5*d + w*d for d.
0
Suppose -19*y + 3052 = -12*y. Let f = y + -436. Suppose -2 - 10 = -3*p. Solve 2*c - p*c = f for c.
0
Suppose 0 = 2*g + 5*x - 11, -3*g + 4*x - x + 6 = 0. Suppose g*y + 25 = 5*f, -2*y + 5 = 5*f - y.