e u(-3). Suppose -25 = -16*b + 23. Suppose -a + b*a = -0*a. Solve a = -x + 3 - s for x.
-3
Let j(f) = 4*f + 30. Let y(t) = 21*t**3 - t**2 + 1. Let s be y(1). Let p be (35/s)/((-2)/6). Let d be j(p). Solve -d = -5*x - 0 for x.
2
Suppose -2*k + 51 = 21. Let x = 23 - k. Suppose -19*d = -15*d - x. Solve -3*z - d = -4*z for z.
2
Let l = 442 + -409. Suppose -3*c = 3*g - l, -8*c = -2*g - 9*c + 23. Solve 5*u - 2 = -g for u.
-2
Let v(q) = -q**2 + 41*q + 371. Let x be v(46). Solve x*d + 14 = 148*d for d.
2
Let f be 1*-26 - (-3 - -2). Let c be 10/(-60) + f/(-6). Suppose -3 - 4 = -3*o - 2*w, c*w = 3*o - 13. Solve 0 = 7*i - o*i for i.
0
Let w be 2/9 - (-706589)/1017. Solve 701*v - w*v = 36 for v.
6
Suppose -4*s - 23 = -31. Suppose s*t - 3*h = -12, -4*t - 20 = -t - 5*h. Solve t = -o - 2*o + 15 for o.
5
Let l(q) = q - 9. Let g be l(4). Let v be 1/g + 98/(-35). Let w be (0 - v - 0)/(21/35). Solve w*f + 11 - 1 = 0 for f.
-2
Let i = 52 + -52. Suppose 5*w - 1 - 9 = i. Solve 4*f = w*f for f.
0
Suppose 19*g + 104*g = 0. Solve g = -52*b + 49*b - 9 for b.
-3
Suppose -104 = -10*l + 116. Suppose -2*m - 3*q = 11, -m - 21*q + 7 = -l*q. Solve 10*p = 9*p + m*p for p.
0
Let f(o) = o + 6. Let p be (-3 - 0)*1 - -21. Suppose -p = j + 2*j. Let w be f(j). Solve 4*x + 4 = -w*x for x.
-1
Let q(z) = -z**3 - 4*z**2 + 9*z - 8. Let t be q(-6). Let c(x) = -5*x + 52. Let n be c(t). Solve -15 = -j - n*j for j.
5
Let o be (-104)/(-1092) - (-836)/42. Solve -46*r + 42*r + o = 0 for r.
5
Let f be -6 - (-8)/(-12)*-6. Suppose -248*n - 8 = -250*n. Let k be (2*(-9 + n))/f. Solve k = -4*q + 21 for q.
4
Suppose 1 = 3*d + 4. Let x be (-1205)/15 - d/3. Let l = -80 - x. Solve 4*u + 16 = -l*u for u.
-4
Suppose 5*p + 5*s - 115 = 0, 3*p - 72 = 2*s + 7. Let m = -245 - -247. Suppose t + 12 = -m*q + 25, 12 = 3*t - 3*q. Solve -2*x + t*x = -p for x.
-5
Suppose -7*k = 10*k - 102. Suppose -5*a + 20 = -m, 2*m + 3*a + 5 = k*m. Solve -2*j = -j - m for j.
5
Suppose -7*x - 803 = -2*x - 4*a, 0 = x + 5*a + 178. Let v = 166 + x. Solve 0 = -j - v*j for j.
0
Let g(f) = 36*f**2 + 1643*f - 53. Let n be g(-46). Solve -n*m = -539*m + 12 for m.
-2
Let p be (-35)/(-14)*(15 - 5). Solve p*o = -80 - 70 for o.
-6
Let l = 669 - 655. Solve l - 12 = k for k.
2
Let h(u) = -3*u**3 - 23*u**2 + 8*u + 15. Let n be h(-8). Suppose 48 = n*w - 7*w. Solve 69*q - 71*q = -w for q.
3
Let v(k) = k**3 + 31*k**2 + 82*k - 30. Let p be v(-28). Solve -30*h = -p*h - 24 for h.
6
Suppose 3*x - 11 = -s - 6, -12 = -4*x. Let l be (9 + -13)*(-3 - (s + 2)). Solve 20 = -l*a + 16 for a.
-1
Let b be 7*(3 + 80/(-35)). Suppose 2*m = -2*x - 4, b*m - 2*x = 3*x + 30. Suppose -w + o + 4 = 0, 0 = -6*w + m*w - 3*o + 2. Solve w*u = -u + 6 for u.
2
Suppose 0 = 65*z - 174*z + 1178 + 893. Solve -z*o + 75 = -39 for o.
6
Suppose -2*g - 35 = -5*g + 49. Solve -g*o = -35*o - 21 for o.
-3
Let r(n) = -4*n**2 - 101*n - 393. Let y be r(-5). Solve 92*u - 86*u + y = 0 for u.
-2
Suppose 3*k = -9, -5*r + 97*k + 320 = 92*k. Solve 3 = 16*s - r for s.
4
Let c(s) = 581*s - 1525. Let n be c(3). Solve -n = 59*i + 18 for i.
-4
Suppose -15 = 5*b + 5*l, 31*l = 5*b + 33*l + 6. Solve b = -11*p + 135 - 113 for p.
2
Suppose 0 = -14*s + 1308 + 22. Solve -104 = 3*g - s for g.
-3
Suppose 4*i - 27 = -7. Let x = 229 + -213. Let o(g) = 15*g - 235. Let b be o(x). Solve 0*c - b = i*c for c.
-1
Let g be 144/(-60)*10/4 + 4. Let a(z) = -z**2 + z + 6. Let m be a(g). Solve -2*j + 2 = -m*j for j.
1
Suppose 2*o - 10 = 0, 4*x - 4 = -2*o + 6. Suppose 9 = w, -t - 22*w = -18*w - 60. Suppose 12*n - 20*n + t = x. Solve 0 = 2*a + n*a - 15 for a.
3
Let y(l) = 8*l**2 - 112*l + 5. Let i be y(14). Suppose -14*r - i*r = 0. Suppose 2*p = p - 4*v + 10, 2*p - 12 = -4*v. Solve r*b + p*b = -8 for b.
-4
Suppose 377*p - 381*p + 72 = 0. Let f be 3*3 - (p - 20). Solve -4*m - 9 = f for m.
-5
Suppose -2*r = 5*v - 440, 4*v - 2*r = 22*v - 1584. Solve 47*n - 58*n = v for n.
-8
Suppose -3*w - 5*k = 0, -36 = -98*w + 95*w - k. Solve 0 = -w*m - 53 + 8 for m.
-3
Suppose 170*o - 54*o = 54*o + 52*o. Solve o = -4*u - 114 + 150 for u.
9
Suppose q = -m, 0 = q + 3*m + 6 + 2. Suppose 0*x = -2*x - 8, -73 = 3*b + x. Let j = b + 26. Solve j + 13 = -q*i for i.
-4
Let s be 138/30 - -3 - (-4)/10. Suppose s*r = r. Solve -3*y + 0*y + 12 = r for y.
4
Let u = 44 - 52. Let l be u + 6/((-3)/(-1)). Let c be (l/(-8))/((-2)/16*-3). Solve -c*f = -f - 4 for f.
4
Let h be (2 + (-2)/1)/2. Let c be (103/(-3))/(23/483). Let n = c + 724. Solve h = -l - n*l + 8 for l.
2
Let r(n) = -137*n + 315. Let u be r(2). Solve 3*o + u - 47 = 0 for o.
2
Let i be (0 + -1)/(1513/(-378) - (-580)/145). Solve -i = 19*l - 435 for l.
3
Let h(q) = q**3 + 9*q**2 + 10*q + 39. Let d be h(-8). Suppose -143 = -20*j - d. Solve j*g = 10*g - 12 for g.
3
Let s(w) = w**3 - 7*w**2 - 9*w + 11. Let m be s(8). Suppose 5*d + 14 = m*u, -3*d + 10*u - 15 = 6*u. Let k be -6 + 12 - (-1)/(d + 0). Solve k*r = 10 + 10 for r.
4
Suppose 12*l - 1021 = -349. Solve -56 + l = -7*u for u.
0
Let d = 437 + -431. Let j(x) = -24*x + 160. Let t be j(d). Solve 5 = -t*o + 11*o for o.
-1
Let y be (-6 + 225/30)*((1 - 0) + 35). Solve -34*h - y = -16*h for h.
-3
Let d be 0/((-1)/((-4)/12)). Suppose 0 = 12*i - 15*i + 6. Solve -f + d*f = i for f.
-2
Let p = 13506 + -13504. Solve -p*i - 29*i - 124 = 0 for i.
-4
Suppose 80*c - 6 = 77*c. Solve -5*t = -6*t + c for t.
2
Let t = -16283 + 16426. Solve 4*i - t + 123 = 0 for i.
5
Let z(b) = -232 - 85 + 67 - 21*b. Let d be z(-12). Solve -6*c = -16 - d for c.
3
Let t(l) = 182*l + 186*l - 376*l - 5. Let p be t(-1). Suppose 4*j = -3*o + 5, 0*j - 3 = 3*j. Solve o = p*x - 3 for x.
2
Let a(w) = 0*w**2 - 7 + 11*w - 1 - 11*w**2 + 0*w**2 - w**3. Let l be a(-12). Solve l*h = 5*h + 2 for h.
-2
Let c be 2/2*(-104)/(-26). Suppose -2*d + 16 = -3*d + c*l, -2*d + 3*l = 12. Let v(a) = 3*a + 10. Let g be v(d). Solve 6 + g = -4*k for k.
-4
Suppose -9*c + 4*c + 35 = 0. Suppose 6 = 3*q - 9*v + 7*v, 3 = 5*q - v. Suppose q = 12*t - 8*t + 5*i - 37, 4*t = 3*i - 3. Solve -c = t*y - 22 for y.
5
Let u be (-18)/(-4) + 1/2. Suppose 26*t = 22*t - 4*s + 28, -4*s = t - 1. Solve 16 = -u*l - t for l.
-5
Let i be 51/(-34) + 91/2. Solve 0 = -i*p + 18*p - 78 for p.
-3
Let q(y) = -370*y**2 - 1484*y - 13. Let n be q(-4). Suppose -5*c - 12 = 4*u, 0 = -4*c - 4*u - 5 - 7. Let l = 0 - c. Solve -12 = n*m - l*m for m.
-4
Let d(w) = -5*w**2 + 4*w - 2. Let g be d(2). Let l(p) be the first derivative of p**2/2 + 14*p + 2. Let f be l(g). Solve -b - 2*b - 12 = f for b.
-4
Let d = 1089 - 1080. Suppose -5*k - a = 2*a - 22, 4*k - 20 = -3*a. Solve k = d*r - 7*r for r.
1
Suppose -2*w + 12 = w. Suppose 51 = 2*u + 5*j, -87 = -5*u - 3*j + 50. Suppose -4*a = 4*l - u, 2*a = -a + 15. Solve -5*o - l = -w*o for o.
-2
Suppose -25*m - 460 + 998 = -762. Solve 63*z = m*z + 99 for z.
9
Let m = -23 - -6. Let k(r) = -10*r + 95. Let q(x) = -6*x + 64. Let y(u) = -5*k(u) + 8*q(u). Let o be y(m). Solve 5*w - 12 - o = 0 for w.
3
Let m = 3111 + -3061. Solve 6*n + m = 26 for n.
-4
Let d = 41307 - 41302. Suppose 3*z - 1 + 4 = 0. Let r = z - -1. Solve 20 = d*n - r for n.
4
Suppose -n + 3*k - 8*k = 19, 0 = -5*n + k + 35. Let u(b) = 2*b**3 - 16*b**2 + 26*b + 1. Let f be u(n). Solve 7 = 3*a + f for a.
-2
Let s(t) = t**3 - 17*t**2 + 14*t + 35. Let h be s(16). Suppose h*g = 20 - 2. Solve -11 = -5*y - g for y.
1
Let l = -3593 - -3600. Solve -l*m = -4*m - 9 for m.
3
Let k = 3394 + -3388. Solve -130 + 154 = k*p for p.
4
Let i be (14/10)/(13/65). Suppose -4*h - i + 15 = 0. Solve -p - 12 = h*p for p.
-4
Suppose 2*p - 2*t - 72 = -18, 5*t = -3*p + 129. Solve -p*m = 36*m + 207 for m.
-3
Let t(o) = -o**2 + 13*o + 5. Suppose -n + 4*n + 1 = s, -16 = -4*n. Let x be t(s). Solve -x*c - 7 = -2 for c.
-1
Let f(m) = m**2 - 2*m - 2. Let y be f(5). Suppose 2*l = -3*g - 13, -5*l - 14 - y = 2*g. Let o(k) = -7*k - 3. Let z be o(g). Solve 1 - z = -s for s.
3
Suppose -2*r + 36 = -10. Suppose 4*z - 27 = -r. Let l be z + 0 - 4 - -4. Solve 0 = -p - l - 1 for p.
-2
Suppose 43 = 4*j - 5*d, 3*j = 7*d - 2*d + 31. Suppose 37 = 5*g - 12*k + 13*k, g - k - 5 = 0. Suppose j*a - 10 = g*a. Solve -2 - a = -4*s for s.
1
Suppose 6*r + 2540 = -5*z + 7*r, 5*r - 1502 = 3*z. Let s = 534 + z. Solve -7*h = -s - 3 for h.
4
Let w(v) be the third derivative of v**5/60 + 5*v**4/24 + 2*v**3/3 + 13*v**2 + 2*v. Let x be w(-4).