-3*w + 6*w - 12 = f for w.
4
Let d(q) = 2*q**2 - 8*q - 79. Let g be d(11). Suppose -59*s - 32 = -g*s. Solve -s*p + p - 5 = 0 for p.
-5
Let a(y) be the second derivative of 5*y**4/4 + 11*y + 3. Let i be a(1). Solve 0 = 3*v - 0 + i for v.
-5
Suppose -4*d + 2*f - 2252 = 0, -4*f = -d - 3*f - 561. Let a = d - -572. Solve -4*q + 15 = -a*q for q.
-5
Let l(n) = n**3 + 23*n**2 - 3*n - 69. Let m be l(-23). Suppose m = 3*p - 2*k - 13, -2*p = 8*k - 5*k - 26. Solve 0 = -p*i + 2*i - 10 for i.
-2
Let z(r) = -r**3 + 26*r**2 + 27*r + 2. Suppose 49 = 2*x - p, -3*x = -2*x - 3*p - 12. Let j be z(x). Solve -j*i + 0 = -2 for i.
1
Let q = 174 - 180. Let u(y) = -y**3 - 3*y**2 + 19*y + 8. Let f be u(q). Solve -f*i - 3 = 7 for i.
-5
Suppose 8*d = -124*d + 98 + 5182. Solve -d*h = -64*h - 24 for h.
-1
Suppose 5*x = -2*w + 1068, -5*x + 7*w - 8*w + 1069 = 0. Let n = -175 + x. Solve 17*k - 4*k - n = 0 for k.
3
Let s(d) be the first derivative of -d**5/120 - d**4/8 - 14*d**3/3 - 15. Let h(x) be the third derivative of s(x). Let z be h(-6). Solve 0 = -2*v - z*v for v.
0
Suppose 50*y + 8097 = 20897. Solve -28*g = 60 - y for g.
7
Let g(f) = f**3 + 7*f**2 - f - 6. Let t be g(-7). Let l = -2 - -2. Let d = -808 + 808. Solve d = -l*m + m - t for m.
1
Suppose -p + 11*p - 30 = 0. Let n(v) be the third derivative of v**6/120 - 2*v**5/15 - 3*v**4/4 - 2*v**3/3 + 2*v**2. Let o be n(10). Solve p*t - o = -t for t.
4
Let k(f) = -f**2 - 134*f - 4281. Let m be k(-57). Solve 52*g + m = 4 for g.
-2
Suppose 4*f - 8 + 40 = -2*y, -4 = 2*y. Let s be 4*1 - ((4 - -2) + f). Solve -2*x - s = -13 for x.
4
Suppose -526459 = -135*p - 127804. Solve 2959*u - p*u = -12 for u.
-2
Let h(v) = 15*v + 52. Let x be h(-3). Suppose -q + x = 1. Solve -10*d = -4*d + q for d.
-1
Let q = -490 + 83. Let z be q/(-143) - (-2)/13. Solve -5*v = 13 - z for v.
-2
Let s(b) = -7*b - 49. Suppose -10*r - 1 - 69 = 0. Let l be s(r). Suppose -4*q - 7 = 3*i, 3*i - 2*q + q - 13 = l. Solve -i*u = -2*u + 3 for u.
-3
Let q = 5 - -1. Let w be (q/4)/((-21)/(-56)). Suppose 3*s = r + 5, 9 = 3*r - 5*s + w*s. Solve 0 = -u - r*u for u.
0
Let m(x) be the second derivative of -x**4/12 + 7*x**3/2 + 5*x**2/2 - x. Let i be ((-2130)/(-102))/1 + (-4)/(-34). Let d be m(i). Solve 0 = d*k + 3 + 2 for k.
-1
Let c = 6957 - 6955. Solve 0 = -2*m + c*m - m for m.
0
Let j(g) = g**2 + 1. Let q(n) = -83*n**2 - 3. Let l(w) = 4*j(w) + q(w). Let k be l(1). Let z = k + 80. Solve -z*p + 2 = 6 for p.
-2
Suppose -1192*f + 1218*f - 286 = 0. Solve -f = -14*l + 73 for l.
6
Let f be (42/(-525)*-45)/((8/10)/2). Solve -54 = -18*q + f*q for q.
6
Let f be 1 + (-1294)/(-14) - ((-780)/42 - -19). Solve -f = 16*p - 29 for p.
-4
Let j(o) = 77*o + 46. Let h be j(-3). Let v = 185 + h. Solve 8*k + 17 + 15 = v for k.
-4
Suppose 24*j - 5*j = 658 + 273. Solve -85 = -66*i + j*i for i.
5
Let m be (-108)/1836 - 596/(-17). Solve 8*z = -m*z - 172 for z.
-4
Suppose -23 = -h + 5. Let u = 40 - h. Let k = -12 + u. Solve 0 = -k*n + 4*n for n.
0
Let h = -3588 + 3598. Solve -4*y = -30 + h for y.
5
Suppose 4*h - 4*u - 40 = 0, -22 + 7 = 3*u. Suppose 0 = -0*k - h*k. Let a = 1101 - 1085. Solve -a = -k*q - 4*q for q.
4
Let d(g) = g**3 - 6*g**2 + 4*g + 10. Let r be (-1 - (-2 + -1)) + 4. Suppose 2*s = 4*m + r*s - 28, -4*m + 18 = -s. Let v be d(m). Solve v*f + 12 = -3 for f.
-3
Let t be 4*(25/70)/5 - 56314/(-518). Solve 9*x + t = 28 for x.
-9
Let m be 46/14 - 8/28. Suppose 0 = -4*x + 3*p + 3, 0 = -7*x + 2*x - m*p - 3. Let l be x - -1 - 6/(-4 + 1). Solve 0 = y + l*y - 4 for y.
1
Suppose 63 = 17*k - 10*k. Let q = 5 - k. Let i be q/(32/12)*16/(-6). Solve m = i - 3 for m.
1
Let w be (-3 - 3 - 3551/(-2)) + 12/(-8). Solve 8*p - 1784 = -w for p.
2
Suppose -2*p - 3*p = 0. Let m be ((-522)/(-116))/((-72)/(-80)). Solve p = -j + m for j.
5
Let n(f) be the first derivative of f**4/24 + 13*f**3/3 + f**2/2 + 31. Let h(k) be the second derivative of n(k). Let y be h(-22). Solve -u = y*u for u.
0
Let m = -24316 + 24357. Solve 75 = m*d - 26*d for d.
5
Let c(s) = s**3 + 5*s**2 + 4*s + 1. Let b be c(-4). Suppose -5*g = -4*g - b. Suppose -13*y + k = -12*y - 9, 3*k + 37 = 5*y. Solve -y*o + g = -4 for o.
1
Let j be (-57)/(-15) - ((-36)/30 - -1). Suppose -3*v = -14*v + j*v. Solve -19*w + 16*w - 15 = v for w.
-5
Suppose -327 = -12*g + 273. Suppose 477*x = 472*x + g. Solve o = 3*o - x for o.
5
Let h = -12581 + 12599. Solve -361 = h*i - 289 for i.
-4
Let p be (-2)/2*-9*1. Let n be p/((-1)/3*-1). Let g be -1 - (1398/(-1165))/(1/5*2). Solve -5*q + g = n for q.
-5
Suppose -28*y = -113 + 17 - 44. Let z(a) = -a**3 + 5*a**2 - 4*a + 2. Let j be z(4). Let x = j - 2. Solve -m + y*m - 20 = x for m.
5
Let q be ((-1900)/57)/((-1)/(-3)). Let l = 92 + q. Let v be (l/3)/(-4*4/24). Solve -v*n + 2*n = 6 for n.
-3
Let d be (1 - (-4 - 4) - 1) + -3. Let q(k) = 2*k**2 + 5*k + 3. Let m be q(-3). Let n(v) = 534*v - 1067. Let l be n(2). Solve -d*f + l = m for f.
-1
Let j(z) = z**3 - 37*z**2 - 37*z - 37. Let c = 37 + 1. Let m be j(c). Solve 0 = -3*i - 11 - m for i.
-4
Let p(c) = c - 4. Let a be p(9). Let k(n) = 4*n. Let v be k(a). Suppose -2*f - 36*z - 12 = -32*z, 3 = f - z. Solve f*g + v = -5*g for g.
-4
Let c = -125639 - -125653. Let h(f) = 4*f. Let b be h(3). Solve c*w = b*w for w.
0
Suppose 0 = -w + 10 + 5. Suppose 5*a - 5 = -4*s, -6*a = -5*a + 4*s + w. Suppose 0 = -3*p + a*p. Solve -b = -p*b + 2 for b.
-2
Let q be ((-31)/(62/(-8)))/(-1 - (-110)/102). Solve -q + 103 = 13*g for g.
4
Let l(v) = -v**3 + 4*v**2 + 6*v - 3. Suppose -z - 10 = -15. Let b be l(z). Suppose -17*q + 67 = -69. Solve 0 - q = b*x for x.
-4
Suppose f = -u + 97, u - 2*u + 99 = -f. Let b = u + -97. Let s be (1 + 1 + -1)*5. Solve -d - b = -s for d.
4
Let q(i) = -1062*i + 2501. Let j be q(2). Solve 386*v - j*v = -27 for v.
-3
Let o be ((-200)/(-24) + -14)*-3. Solve o*n - 24 = 5*n for n.
2
Suppose -v = 2*t - 42, -t - 44*v + 43*v + 20 = 0. Solve 5*g = t*g - 51 for g.
3
Suppose -18*x = 228 - 552. Solve -15*y - x*y = 0 for y.
0
Suppose 9 = 3*a - s, 4*a + 8*s = 4*s + 28. Suppose -a*p + 147 = 131. Solve -p*b - 6 = -b for b.
-2
Suppose 48*q - 14 = -b + 52*q, 32 = 5*b - q. Solve -b*g - 387 = -405 for g.
3
Let n be 32/24 - (-12)/18. Let g = -19 - -12. Let s = -3 - g. Solve 0*y - s = n*y for y.
-2
Suppose -5*v - 240 = -2*b, 3*b - 471 = 2*v - 133. Solve 102*t - b*t = -24 for t.
3
Let g(w) = -w**2 - 4*w + 98. Suppose -5*m = 0, -k + 3*m = -0*m - 8. Let a be g(k). Solve -8 + 10 = -a*n for n.
-1
Suppose 0 = 4*v - 40 + 16. Suppose h - 18 = -4*d, v = -3*h + 2*h + 2*d. Solve -3 = -h*x + 5*x for x.
-1
Let t be (-52)/(-8) + -6 - 5/(-2). Let w be t/21 + 55/7. Solve 0 = w*j - 6*j + 4 for j.
-2
Let p = 9 - 7. Suppose 9*v + 2*q = 8*v + 217, -2*q = 3*v - 643. Let i = v - 206. Solve -5*n = -i*n + p for n.
1
Let a(x) be the second derivative of x**5/5 + x**4/12 + x**2/2 + 41*x. Let m be a(1). Suppose 8*k - m*k = 0. Solve k = 4*b - 8*b - 16 for b.
-4
Let v = 281 - -345. Let g = -624 + v. Solve g*c + 12 = 8*c for c.
2
Let c(s) = s**3 + 18*s**2 + 378*s + 5539. Let a be c(-16). Let n(h) = -h**3 + 6*h**2 + h - 3. Let y be n(6). Solve -a*m = y*m - 6 for m.
1
Let h be ((-2211)/(-9))/((-3 - 1)/36). Let g be h/(-55) - (-2)/(-10). Suppose 5 = -39*p + g*p. Solve 3*m = -2*m + p for m.
1
Let b(h) = -h**3 - h**2 + h + 2. Let a be b(0). Let s be 26/22 - (-9 + (-303)/(-33)). Let y be s + (-2 - a) - -6. Solve 2*g - 5 = y for g.
4
Let y = 17 + -8. Suppose 3*v - 43 = 5*a, -5*v + 9 = -5*a - 46. Solve y*s - v*s + 12 = 0 for s.
-4
Let b = -1266 - -1302. Solve 47*c - b = 56*c for c.
-4
Suppose -9 = 17*k - 20*k. Solve -37 + 52 = -k*u for u.
-5
Let b be ((-10)/30)/(4/84). Let z(d) = 27*d + 189. Let r be z(b). Let n(g) = -5*g - 1. Let s be n(-2). Solve -4*v + v - s = r for v.
-3
Let u = 51 + -47. Suppose u - 58 = 3*f. Let j = 18 + f. Solve j*y - 10 = -2*y for y.
5
Let v be ((-3090)/(-12))/((-90)/(-36)). Solve -v = -5*b - 78 for b.
5
Let g(y) = -y**2 - 2*y + 2. Let m be g(2). Let q be 10/((-15)/m + 1/(-2)). Suppose i - 6 = -i - 2*v, -q*v - 9 = -i. Solve -h = -i*h for h.
0
Suppose -9*x - 24 = -15*x, 3*k - 5*x - 1 = 0. Solve 8*i = -k*i + 30 for i.
2
Let z(f) = 2*f**3 - 14*f**2 - 17*f + 16. Let c be z(8). Suppose 0 = 2*n + 2*h + 12 - 2, 3*n = 3*h + 9. Let s = n - -6. Solve s*l - c = 3*l for l.
4
Let z = -49 - -52. Suppose 8*b - 10*b = -0*b. 