z + 2*f, 0 = -5*z - 3*f + 25. Solve s = 6 - z for s.
4
Let w(h) be the first derivative of h**4/24 - 4*h**3/3 + 6*h**2 + 1. Let f(p) be the second derivative of w(p). Let z be f(13). Solve -2*l - 6 = -z*l for l.
2
Let o be 5/((4 + -2)/2). Let i be -5 + 0 - (15 + -26). Let a be (-10)/i*((-5)/(-25) - 2). Solve o*x - 2*x = -a for x.
-1
Let r be -6*4/(-36)*(-9)/(-3). Suppose 2*q = 6*q + 2*n - 30, 0 = r*n + 6. Solve -5 = -q*v + 10*v for v.
-5
Let a(g) = g**2 + 43*g - 573. Let x be a(11). Solve -107*i + x = -110*i for i.
-7
Let x = -138 - -146. Let p be x/(96/18)*10. Solve 6 = -3*l + p for l.
3
Let k be 4 - (17 - (11 + 2)). Solve -27*q + 6*q - 63 = k for q.
-3
Let j(k) = 638*k + 20. Let q be j(1). Let p = q - 650. Solve 7*l + 15 = p for l.
-1
Let o(r) be the second derivative of r**4/6 - 7*r**3/3 + 17*r**2 + 57*r. Let g be o(6). Solve g - 19 = -v for v.
-3
Let q = -2278 - -2282. Solve -1 + 29 = -q*m for m.
-7
Let z = -6686 - -6688. Solve -29 = -z*u - 17 for u.
6
Let n(a) = -a**2 + 10*a - 11. Let f be n(8). Suppose -3*m = -f*m + 76. Let k = 43 - m. Solve 0 = 2*s + k + 3 for s.
-4
Suppose 3*f + 2952 = 6*l, -1441 = -3*l + 3*f + 26. Solve 122*i - 481 = l for i.
8
Suppose 0 = 3*g + 3*p - 93, 2*p + p = 2*g - 77. Solve 10*i - 54 = -g for i.
2
Let p(f) = -6*f - 78. Let v be p(-22). Let r = v - 49. Solve -3*c + 4 = -r for c.
3
Let u = -47 + 31. Let i = u - -21. Suppose o + 2*d = -3*o + 18, -i*o + 4*d = 10. Solve -c + 3 - o = 0 for c.
1
Let o = 157 + -152. Suppose y + 3 = p - 2*p, -4*y - o*p - 16 = 0. Solve y = 9*j - 44 for j.
5
Let k = -68 - -71. Suppose k*t + 3*l = 3, -2*l = t + 3*l + 15. Suppose 4 = 3*i - 5*z - 8, 5*z + 20 = t*i. Solve 0 = -3*y - y + i for y.
1
Let d = -295 + 294. Let c be d/(5 - 26/5). Solve 8*p + 37 = c for p.
-4
Suppose 29*m = -17*m. Solve m = 795*i - 805*i + 50 for i.
5
Suppose -516 = -14*k - 20*k + 878. Solve -k*v - 201 = 86 for v.
-7
Let a(s) = -42*s - 175. Let h(q) = 41*q + 175. Let c(p) = -6*a(p) - 7*h(p). Let y be c(-5). Solve 3*v + y = 9 for v.
3
Let m(i) = i**2 - 21. Let p be m(-7). Solve p*u - 23 - 61 = 0 for u.
3
Suppose -1544 = -19*u - 195. Suppose 5*p + y - u = 0, p - 18 + 0 = -4*y. Solve 0 = -p*i + 17*i + 6 for i.
-2
Suppose 0 = 2*i - 678 + 162. Let u be 24/18*i/(-4) + -4. Let g = -86 - u. Solve -m - 15 = -g*m for m.
5
Let n(d) = -29*d - 16 + 3*d - 12*d. Let i be n(-2). Suppose -44 - i = -13*m. Solve a + 3 = m for a.
5
Let i = 88 + -48. Let h = 1 + i. Suppose -4*o + h = 29. Solve -w = -o*w + 2 for w.
1
Suppose -3*l - 403 = -412. Suppose 0 = y + l*x - 5, -17 = -y + x. Solve y = 4*w - 6 for w.
5
Let g be 3 + -2 + 4 + (-216)/(-8). Suppose g*n - 12*n - 160 = 0. Solve 2 = -n*a - 6 for a.
-1
Let r(o) = 23*o**2 - 109*o + 61. Let i be r(5). Solve -i*a + 98*a + 14 = 0 for a.
-2
Let l(v) = 2*v**3 + 3*v**2 + 5*v + 4. Suppose 0 = -2*f - 0 - 6. Let h be l(f). Let t be h/133 - (-58)/7. Solve -25 = -t*k + 3*k for k.
5
Suppose 34681 + 62431 = 100*p + 22*p. Solve -15*i + p = 796 for i.
0
Suppose -h - 2 = 0, -3*d + 5*h + 3 + 7 = 0. Suppose -4*o = -9*o + 50. Solve -10*j = -d*j - o for j.
1
Let d(f) = -423*f + 199. Let g be d(-1). Solve -g*s + 620*s + 6 = 0 for s.
3
Let o(t) = t**3 - 19*t**2 - 46*t + 72. Let j be o(21). Let c(m) = m**3 + 12*m**2 + m + 14. Let l be c(j). Solve -q - l*q = -15 for q.
5
Let q(c) = -8*c**2 + 16*c - 26. Let l be q(10). Let k = l + 666. Let b = -1 + 3. Solve 2 = b*j - k*j for j.
1
Let z(r) = -4*r**3 - 2*r**2 + r + 4. Let l be z(-1). Solve -l = -17*o + 12 for o.
1
Let l(w) = 21*w**2 + 123*w - 124. Let b be l(1). Solve -39*r = -b*r for r.
0
Let i(o) = -116*o - 3499. Let b be i(-31). Solve b = 31*h + 4 for h.
3
Let b = -7107 - -7138. Solve -b + 87 = -14*w for w.
-4
Suppose -4*t + 62 = -3*g, -g - 2 - 2 = 2*t. Let j be -4 + ((-44)/55)/((-2)/20). Let c be j/g - 148/(-28). Solve c = a - 2*a for a.
-5
Let d be (5/3)/(1/3). Let a be (-11)/(-3) + ((-80)/(-15) - d). Suppose -5*g + 3*g = -a*c + 26, 0 = -3*c - 5*g. Solve 0 = 2*v + 1 + c for v.
-3
Suppose -119*g = -118*g + 238. Let u = 248 + g. Solve -80*o + u = -78*o for o.
5
Suppose 5*h = -4*a + 344, -56*h = -60*h - a + 295. Solve -5*v + 56 - h = 0 for v.
-4
Suppose k - 30 = 5*x + 4*k, 4*x + 2*k = -22. Let c be 1/x - (-32)/6. Let i be 2/c - 4/10 - -6. Solve 0 = 8*l - i*l for l.
0
Let m(w) = -w**3 - 11*w**2 - 83*w - 232. Let k be m(-6). Solve 52*b - k - 18 = 0 for b.
2
Suppose -3*k - 2*i - 13 + 2 = 0, -3*k + 4*i - 5 = 0. Let w be k/(-5) + 2 - (-24)/(-40). Suppose 0 = -4*c - 0*c + 16. Solve -3*z + c = -w for z.
2
Let a(h) = 2*h**3 - 25*h**2 + 17*h + 66. Let m be a(12). Solve 3*p + m = 114 for p.
-4
Let o = 19 + -6. Let w(a) = -2*a + 14. Let h(b) = b**3 + 2*b**2 - b + 5. Let l be h(0). Let r be w(l). Solve 0 = -r*s - o - 3 for s.
-4
Suppose 5*a + 168 = a. Let y = 158 - 196. Let p = y - a. Solve -p*i + 0*i - 20 = 0 for i.
-5
Let j = -7764 + 7791. Solve 33*p - j*p = 12 for p.
2
Suppose 1074 - 1326 = -4*c. Solve 0 = -9*v + 90 - c for v.
3
Let y(k) = -k**2 + k - 6. Let r be y(6). Suppose -24*b + 16*b - 272 = 0. Let q = b - r. Solve q*t - 6 = -t for t.
2
Let o = -9581 - -9779. Solve o = -21*b - 12*b for b.
-6
Let n(v) = v**3 - 43*v**2 + 84*v - 79. Let o = -86 + 127. Let q be n(o). Solve b = q*b for b.
0
Suppose 1714*y - 1723*y + 1017 = 0. Solve -y - 51 = -41*k for k.
4
Suppose 196*x - 3167 = 1029 + 3252. Solve x = -20*k - 122 for k.
-8
Suppose -7*a - a - 16 = 0. Let l be 3/(-3) + a/((-6)/15). Suppose -l*r = 3 - 15. Solve 2*y - 1 = r for y.
2
Suppose 0 = -5*i - 3*m + 10, 16 - 61 = -4*i + 5*m. Suppose 5*r + 80 = i*j, -6*r = -r + 5. Suppose -j*y = -14*y - 16. Solve -2*f - 2*f = -y for f.
4
Let m = -7368 + 7545. Solve 159 - m = 9*v for v.
-2
Let o(n) = 416*n + 3911. Let k be o(-9). Solve 0 = 63*p + 211 + k for p.
-6
Suppose g = -g + 60. Let p be (5/(-100)*4 - -3)*5. Suppose 2*l - p = -d, -5*l + g = d - 2. Solve -l = 3*a + 9 for a.
-5
Suppose 16*z + 31 = 2*f + 19*z, -5*z = 4*f - 61. Solve f*b - 82 = -26 for b.
4
Let p(t) = -t**3 - 8*t**2 - 15*t + 4. Suppose -3*n = 19 - 7. Let c be p(n). Suppose -28 = -4*d - 4*v, 4*d - 16 = -v + 9. Solve c*g - d = -2*g for g.
3
Let w = -238 - -259. Suppose -19 = -8*s + w. Solve 0 = s*y - 5 - 0 for y.
1
Let w(f) = -33*f - 44. Let q be w(-4). Solve 95*c - 28 = q*c for c.
4
Suppose -12*r = -29 - 295. Suppose 28*y = 2*w + r*y - 35, -y - 73 = -4*w. Solve -8*n - 44 = -w*n for n.
4
Suppose -15*l = -0*l - 2010. Suppose -l*c - 40 = -138*c. Solve 0 = -12*s + 17*s - c for s.
2
Let g(w) = 7*w + 122. Let h be g(-14). Suppose -459*q + 456*q = -h. Solve q = 2*v + 2*v for v.
2
Suppose -2 = -2*i - 6. Let g(h) be the third derivative of -h**6/120 - h**5/20 - h**4/24 + h**3/3 - 2*h**2 - 36. Let q be g(i). Solve 0 = -q*r + 4*r + 16 for r.
-4
Let v be -2 + (4 - (-9 + 6)). Solve -276 = -v*u - 306 for u.
-6
Suppose 0 = 5*v + 300 - 8160. Suppose 0 = -1579*y + v*y + 21. Solve -4 = y*i + 8 for i.
-4
Suppose 0 = 56*l - 13*l - 3954 - 15267. Solve 12 = -51*u - l for u.
-9
Suppose 118*n + 82 - 1166 = -140. Let y be 8 + -3 + 2 + 2. Let a be (-81)/y*(-2 - -1). Solve -a*j = -n*j - 3 for j.
3
Suppose -13*n = -69 - 9. Suppose m - n = 6. Solve -8*u + m = -4*u for u.
3
Let x(k) = k**2 + 8*k + 4. Let f be x(-8). Suppose 10*n - 2*n + 80 = 0. Let v be (-55)/n*-2*(-1 + 0). Solve 3 = f*c + v for c.
-2
Suppose 8*v - 4*v + 96 = 0. Let m = v - -22. Let f be (0/(-1))/(1 + m). Solve f = 5*y + 9 + 11 for y.
-4
Let i(c) = 4*c**2 - 7*c - 48. Let j be i(7). Let p be ((-132)/j)/(2/(-3)). Solve -p*g = -0*g + 10 for g.
-5
Let s = 2544 + -2384. Solve 5*t + s = 170 for t.
2
Let u = -5065 + 5070. Solve -u*r = -13*r + 16 for r.
2
Let h = -35 + 38. Suppose 2*r - h*u - 20 = 2*u, 3*u = -5*r - 12. Solve 3*w + 2*w - 25 = r for w.
5
Let u(p) = -2*p**2 + 71*p + 414. Let v be u(40). Solve v*y = -2*y for y.
0
Let v(p) = 38 + 72 - 21 - 5*p - 27*p + 78. Let g be v(5). Solve j + g = 11 for j.
4
Suppose 4*j - w = -35, w - 5*w = -j - 20. Let t(q) = -17*q - 136. Let o be t(j). Solve o = -2*h - 6 - 0 for h.
-3
Suppose 8 = -r - 2*d + 4, 0 = -4*r + 3*d + 50. Solve -r*c = -12*c + 24 for c.
6
Let o = -57 - -60. Suppose r - 47 = -o*j + 66, 3*r = -2*j + 66. Suppose 40 = g + j. Solve k = -2 + g for k.
-1
Let a(b) = 2*b**3 - 35*b**2 + 148*b - 5. Let h be a(11). Solve 60 = h*x - 40 for x.
2
Suppose -3*q = 3*v - 69, 4*v = 3*v + 2*q + 20