+ c for z.
4
Let h be (0 + 1)*(-5 + 6). Let u be -12 + (-143)/(-13) - -8. Solve 4*j + h = -u for j.
-2
Suppose 53*o = 35*o - 900. Let m be -66*(2 + 8/(-6)). Let g = m - o. Solve -g*h - 12 = -3*h for h.
-4
Let i = 78 - -180. Let b = -258 + i. Solve b*g = -g + 5 for g.
5
Let a be (-8)/36 - 5/(180/208). Let l(z) = -z**2 - 9*z - 6. Let b be l(a). Suppose p + 5*s = -b + 35, 0 = 4*s - 16. Solve -1 = -p*u + 5 for u.
2
Let p = -15 + 12. Let s be (-2)/(-1)*p/6. Let f be 28/(-20)*(s - 4). Solve -3*i - 2 - f = 0 for i.
-3
Suppose 0 = 14*w + 1559 + 1367. Let p be (-36)/(-19) - 22/w. Solve 0 = 3*i - p - 10 for i.
4
Suppose 0 = -147*a + 108*a + 312. Let h(u) = 3*u - 14. Let c be h(10). Solve c = -a*v + 4*v for v.
-4
Let q = -4817 - -4827. Solve -q*l - 120 = 14*l for l.
-5
Suppose 2*a - 117 - 75 - 32 = 0. Solve -a = -8*v - 8*v for v.
7
Suppose 0 = 5*j - 3*n - 11 - 17, -n - 11 = -2*j. Suppose 2*p + 3*g = 8*g - j, -g = -4*p + 17. Solve -p*b + 0 + 10 = 0 for b.
2
Let p = -4536 - -4543. Solve 7*a + 0 = -p for a.
-1
Suppose -5*d = -3*k + 65 + 20, -3*d - 65 = k. Let c be d/(-4) - -1*(3 - 6). Solve 6 + c = -8*s for s.
-1
Suppose -167*m = -150*m - 5457. Let q = 325 - m. Solve 0 = -q*j + 3*j + 5 for j.
5
Let s(k) = k**3 - 35*k**2 + 35*k - 10. Let j be s(34). Solve -v + j = -7*v for v.
-4
Let p(b) = -91 - 41*b - 4*b**2 + 98 - 4*b**2 + b**2. Let g be p(-6). Solve -g = 2*m - 9 for m.
4
Let b(g) be the second derivative of g**4/12 - g**3/2 - 27*g**2 - 18*g + 1. Let z be b(-6). Solve z*c = -5*c + 20 for c.
4
Let l(k) = -k**3 - 4*k**2 - 2*k - 6. Let r be l(-4). Let w = 799 + -804. Let f be (10/w - -4) + r. Solve 3*x + 5 = f*x for x.
5
Let c be 1680/(-924)*(-10 + -1). Solve -63*t + c*t = -129 for t.
3
Let f = 3325 - 3311. Solve 2*p = -16 + f for p.
-1
Let g be ((-36)/(-21))/((-190)/(-27265)). Solve -9*x - g + 264 = 0 for x.
2
Let b(y) = 34*y**2 + 9*y - 25. Let a be b(2). Let h = a - 104. Solve -v + 6*v = -h for v.
-5
Let s = -13860 + 13915. Solve -s*a = -80*a + 50 for a.
2
Let m = 99 - 95. Suppose 3*d - 2*d - 6 = 0. Solve d*q + m = -26 for q.
-5
Suppose 1 - 2 = -x. Let z = 6 + x. Let o be (2/(-3))/((-6)/18). Solve z = 5*d + o for d.
1
Let g(u) = -27*u - 163. Let z be g(-8). Suppose -z*k + 136 = -19*k. Solve 4 = -k*b - 12 for b.
-4
Let k(d) = -4*d - 1. Let o be k(-1). Let v be (-50)/(-5) - ((-6)/(-3) + -5). Solve v = -o*p + 4 for p.
-3
Suppose 0 = -22*c + 25*c + r - 192, -3*r = -9. Solve 0 = 2*d - 73 + c for d.
5
Let u be 2/(-4)*-4 - -4. Let i(t) = -2*t**2 + 11*t + 11. Let j be i(u). Suppose 0 = j*p - 30 - 15. Solve 2*f + f = p for f.
3
Let q be (-24)/(-12) + (1 - -13). Suppose -4*w - 3 = b + 10, 0 = -4*b + w + q. Suppose -2*f + b*c = -19, f + 2*c - 3*c - 7 = 0. Solve f*s + s = 0 for s.
0
Let o be (-51)/68 - 66/8. Let d(g) = g**3 + 9*g**2 - 1. Let v be d(o). Let x be 5 - (v - -1)/5. Solve 4*z + z = -x for z.
-1
Suppose -3*h - 37 + 19 = 3*t, 0 = 3*t + 18. Solve h = 11*s - 462 + 539 for s.
-7
Suppose 0 = -5*i + 36 + 24. Suppose -8*y - 3*y = -99. Solve -y*r + i*r - 9 = 0 for r.
3
Let a(r) = -r + 14. Let o be a(8). Let b = -51 + -21. Let w be b/(-7) + 64/(-28) + 2. Solve o*d + w = d for d.
-2
Suppose 8*j - 23 + 71 = 0. Let s be (9/j)/(10/(-20)). Solve -7*i - 16 = -s*i for i.
-4
Let q = 1 + 1. Let l(f) = 9 + f + 19 - 10*f + 20*f - f**2. Let g be l(13). Solve -t + g = -q*t for t.
-2
Let g be (1 + 0)/4 + (-4433)/(-124). Suppose 9*n + 9 = g. Suppose o = n*o + 2*o. Solve -2*p + 6*p = o for p.
0
Let u be (-23 + -1)*((-105)/(-10))/(-7). Let l be 7 - 243/u - (-1)/(-4). Solve -5*g - 2 - 3 = l for g.
-1
Let q(b) = -b**3 + 22*b**2 + b - 21. Let n = 12 - 16. Let m(i) = -i**3 - 2*i**2 + 3*i + 2. Let w be m(n). Let t be q(w). Solve d + 0 - t = 0 for d.
1
Let n(k) = k**3 + 4*k**2 - 13*k - 1. Let o be n(-6). Solve 0 = r + 1 - o for r.
4
Let b(c) = 195*c - 9263. Let d be b(48). Solve -d*t + 81*t - 16 = 0 for t.
-1
Let z(m) = -5*m**2 + 56*m - 14. Let f be z(14). Let q be 20/f + (-172)/(-42). Solve -q*y = 34 - 38 for y.
1
Let m(k) = -3*k + 61. Let o be m(19). Suppose 3*v + 3*y - 30 = 6*y, 3*v + 4*y = 30. Suppose -5*u = -4*g - 6, -8*g = 5*u - 3*g - 15. Solve -u*z - v = -o*z for z.
5
Suppose 55 + 13 = 2*d - 4*v, 0 = 3*d - 2*v - 90. Let o(b) = 3*b - 64. Let w be o(d). Suppose 3*c - g - 10 - 1 = 0, -5*g = -w. Solve c*k = -0*k - 10 for k.
-2
Suppose 207 = 9*q - 0*q. Suppose -i - 17 = 4*c - 40, 3*c + q = i. Solve 4*j - 11 = -i for j.
-3
Let y(z) = 57*z**2 - z + 1. Suppose -4*d + 14 = -5*d + 5*s, 0 = 3*d - s. Let m be y(d). Suppose 60 = x + m. Solve -x*q - 9 = -0*q for q.
-3
Let b(m) be the third derivative of -m**5/30 + 4*m**3/3 + 2*m**2 - 9*m. Let k be b(-2). Solve 4*f - 7 - 1 = k for f.
2
Suppose 5*y - 13*y = -2080. Let s = y + -255. Solve -l = -s + 2 for l.
3
Suppose -10 = -17*v + 15*v. Let m(a) = a**3 + 8*a**2 + 5*a - 5. Let w be m(-6). Let o = w - 30. Solve -v*f = 2 - o for f.
1
Let x = 5 + -1. Let n(s) = 4*s + 71*s**3 + 2*s**2 - 72*s**3 + 4*s. Let h be n(x). Solve a + 3 = -h for a.
-3
Let v(g) = g**2 - 74*g - 10241. Let h be v(145). Solve 0 = -110*f + h*f + 448 for f.
8
Let g(o) = o**2 + 4*o + 2. Let a be g(-4). Let v(p) = -p**2 - 70*p + 142. Let w be v(2). Let f be w - (-3 + a) - -4. Solve u = 1 + f for u.
4
Let y(h) = 12*h + 6. Let t be y(-3). Let n = t + 30. Suppose k - 21 + 19 = n. Solve 3*x - x = -k for x.
-1
Let u(i) = i**2 + 16*i + 28. Suppose -s = -45 + 59. Let t be u(s). Solve t = -5*b + 4 + 1 for b.
1
Suppose -3*z + 20 = 7*t - 9*t, -36 = -5*z + 2*t. Solve 107 = -z*g + 115 for g.
1
Let k(t) = 14*t**2 + 20*t + 37. Let w(p) = 5*p**2 + 7*p + 12. Let g(o) = -6*k(o) + 17*w(o). Let h be g(5). Solve -h*c - 5 + 1 = 0 for c.
-2
Let q = 5848 + -5444. Solve -v - 398 = -q for v.
6
Suppose v + 13 = 3*w + 2*w, 2*w + 14 = 2*v. Solve 5*g + v = 17 for g.
1
Suppose -5*y + 25 = 5*j - 4*j, -4*j - 5*y = -25. Let r(s) = -40*s**2 + s + 43*s**2 - 1 + 0 - 3. Let g be r(-2). Solve g*n - 3*n = j for n.
0
Let l = 72 + -70. Suppose b - l*c + 6 = 0, -2*b - 3*c + 9 = -0*b. Suppose 0 = -2*f + 4*v + 8, -2*f - v + b = 2. Solve f = 3*h - 6 - 9 for h.
5
Suppose 13*n = 14*n - 10*n + 3870. Solve -n = 15*u - 370 for u.
-4
Let p(r) = -20*r - 124. Let f be p(-28). Let u = 441 - f. Solve -u*m = -0*m + 20 for m.
-4
Let g(c) be the third derivative of -c**6/120 + c**5/4 - 7*c**4/6 + 16*c**3/3 - 185*c**2. Let n be g(13). Solve 14*u - 17*u = n for u.
-2
Suppose -65*u + 70 = -1021 - 1314. Solve 95 = -u*g - 53 for g.
-4
Let v(j) = j**3 + 8*j**2 - 4*j - 27. Let l be v(-8). Suppose 8*t - 21 = -l. Suppose 3*k - 3 = -2*d, k = 3*d - 8*d + 1. Solve d = 2*z + t*z for z.
0
Let m be 930/(-45)*6/(-4). Suppose m = i - 24. Suppose 0 = 4*q + 5*a - i, -4*q - a + 30 = -29. Solve -2*k - q = k for k.
-5
Suppose -2*d - 3*k + 27 = 0, -3*k + 8 = 3*d - 5*k. Let r be d/(-10) - (-3 + 28/(-5)). Solve -r = 3*q + 1 for q.
-3
Suppose -16*g + 3*g = -52. Suppose -28*s + g = -26*s. Suppose 0 = -k - s*k + 3. Solve 3 + k = 4*f for f.
1
Suppose 6*k + 35 = w + 9*k, 0 = 4*w - 4*k - 76. Solve 18 = -w*b + 26*b for b.
6
Suppose 4*s + 2*r = 22, 0*s - 5*r - 17 = -2*s. Suppose 10*y - s*y - 4*z + 4 = 0, -5*y + 1 = z. Solve y = o + 4*o for o.
0
Suppose -s - 2*s - 5*i = 19, 0 = s + 3*i + 13. Let q(v) = v + 1 + 2*v**3 - v**3 - 5 + 4*v**s. Let p be q(-3). Solve -1 = -p*w - 3 for w.
-1
Let m(s) = -s**3 + 15*s**2 + 11*s - 81. Let v be m(14). Solve -15*f + v = 209 for f.
4
Suppose 0 = 2*b + 6*y - 30 - 98, -2*b = 4*y - 118. Solve 6*c - b = -43 for c.
1
Let w(t) = 0*t**3 - 6*t - 2 - 2*t**3 + 2*t**3 - 4*t**2 - t**3. Let s be w(-2). Solve s*u = 3*u - 5 for u.
5
Let a be (-4)/16*3/(-3)*16. Suppose 8*q = 12 - a. Solve 0 = -3*n + q - 4 for n.
-1
Suppose -3248 = 7*a - 61*a + 7552. Solve -53*l + a = -65 for l.
5
Let p(u) = -16*u - 43. Let i be p(-3). Suppose 0 = -i*o + 7 + 8. Solve -o*a + 25 = 2*a for a.
5
Suppose -162*b - 29*b = -2292. Solve 25 = -b*p - 11 for p.
-3
Let s(p) = 26*p + 56. Let u be s(-1). Suppose u*i - 8 = 262. Solve 20 = -i*k + 5*k for k.
-5
Suppose 14*t = 12 + 16. Suppose -t*j + 4*x = -6*j - 4, -37 = -3*j + 5*x. Solve -j*l = 16 - 4 for l.
-3
Let g(m) = m**3 + 8*m**2 + 43. Let f be g(-11). Let o = f + 340. Solve 5 = 3*a + o for a.
-5
Let f = -10035 - -10260. Solve -f = -6*j + 81*j for j.
-3
Suppose -7*w + 70 = -7*w + 10*w. Solve w*d = 4*d for d.
0
Let k(f) = -377*f + 177