= -4*f**2 - 6*f - 2. Let z(j) = j**2 + 1. Let v(g) = -t(g) + 5*z(g). Let s be v(-1). Solve s*u - 9*u + 2 = 0 for u.
-2
Let o = -6507 - -6516. Solve -o*w + 56 = -7 for w.
7
Let m(j) = 58*j + 4258. Let t be m(-73). Solve -t*b + 2 = -94 for b.
4
Let z be 3/3 - (6 + 34)/(-8). Suppose 15 = 5*b - 5*x, -3*b - b - 4*x + 4 = 0. Suppose 0 = 3*h + 14 - b, -22 = -5*k + 3*h. Solve z*c - k*c = 0 for c.
0
Let q(s) be the first derivative of s**4/4 - 5*s**3 + s**2/2 - 13*s - 2905. Let o = 28 + -13. Let x be q(o). Solve c + 3 = -x*c for c.
-1
Suppose 6 = -6*x + 24. Let l(r) = -7*r + 5. Let h be l(x). Let m be 3/(-12) + (-2 - 36/h). Solve 0 = -m*j - 3*j for j.
0
Suppose 0 = -140*i + 1796 - 676. Solve 222*a = 220*a + i for a.
4
Suppose -3*i - v = -682, -i + 3*v + 72 + 142 = 0. Let u = i - 221. Solve 4*z - 25 = -u for z.
5
Suppose -2593 + 2701 = 6*p. Solve -p = -27*y + 90 for y.
4
Let u be 438/26 + 790/5135. Suppose -3*j - 3*z - 24 = -0*j, -j - 20 = -2*z. Let v = j + u. Solve -s = 2 - v for s.
3
Let u = 8991 + -8906. Solve -83*j - 8 = -u*j for j.
4
Suppose -15*h + 273 = -327. Solve h*o + 3 = 41*o for o.
3
Suppose -3*v + 4 = -v + 2*q, 4 = 2*v + q. Suppose -v*m + m - 2 = 3*z, -2*m + 6 = z. Suppose -m*i - n = 4*n - 15, -4*i - 3*n + 9 = 0. Solve 2*a = -i*a + 8 for a.
4
Let r(m) = -m**2 - 4*m + 6. Let c be r(-6). Let k be c*(138/(-72) - 2/(-8)). Solve k*t - 6*t = 0 for t.
0
Let f(b) = -b**2 - 23*b - 97. Suppose 0 = 11*m - 35*m - 360. Let p be f(m). Solve p*t - 19*t = -12 for t.
-3
Let t(m) = 170*m**2 - 28*m - 145. Let x be t(-6). Solve c = -x + 6142 for c.
-1
Let y(f) = -4*f - 29. Let d be y(-8). Let v(b) = -23*b - 3. Suppose -4*i = 120 - 116. Let n be v(i). Solve -d*q = q + n for q.
-5
Let j = 384 + -187. Let x = -192 + j. Solve -m + x = -0 for m.
5
Let z = -298 - -314. Suppose 11*v + z*v - 54 = 0. Solve v*t = -t for t.
0
Suppose 0*y = 2*y. Let x(r) = -r**3 + r**2 + 20. Let l be x(y). Suppose 3*u - 5*u + 4 = 5*q, 3*q - 12 = 2*u. Solve -q*d - 3*d = l for d.
-4
Let h(n) = 2*n**3 - 85*n**2 + 279*n + 138. Let t be h(39). Solve 468 = -16*q + t for q.
-6
Suppose 5*q + 35 = 3*o, -3*o - 2*o - 3*q + 81 = 0. Suppose -12 + o = u. Solve -2 = p + u for p.
-5
Let u(i) = -61*i + 6002. Let s be u(96). Solve -s + 113 = 11*m for m.
-3
Suppose 23 = -4*k - 3*h, -3*k - 4*h + h = 18. Let m(p) = 2*p + 18. Let g be m(k). Solve 0 = 6*s + 4 + g for s.
-2
Suppose 13 + 68 = 3*o. Let u = 84 - o. Let l = u + -54. Solve l = w - 2*w for w.
-3
Let n be (2/8)/(((-3)/(-12))/(-1)). Let z be ((-10)/6 - n)/((-4)/(-6)). Let i be z/(-3) - 1/6*-10. Solve i*l + 2*l = 12 for l.
3
Let l(w) = -2*w**2 - 168*w - 395. Let a be l(-81). Solve 99*u = a*u + 64 for u.
8
Let m(o) = 3*o**3 + 5*o**2 - 17*o - 11. Let u be m(-3). Solve u*a + 19 = -15*a for a.
-1
Let n(t) = t**2 + 9*t - 24. Let f be n(-12). Let g be (-3)/(24/40)*f/(-10). Solve -g*i + 12*i - 6 = 0 for i.
1
Suppose 0 = 3*x - 4*z - 9, -4*x - 4*z + 6*z + 22 = 0. Suppose -2*c + 2 = 0, -l - 5*c = -3*l + x. Let b = -6 - -10. Solve -b*a + 14 = l for a.
2
Let d = -792 - -797. Solve 39 = -d*c + 19 for c.
-4
Let a(x) = x**3 + 15*x**2 - 15*x + 18. Let z be -17 - (4 - (0 - -5)). Let g be a(z). Solve g*r - 3 + 7 = 0 for r.
-2
Let p = 2818 + -2537. Solve -2*h + 281 = p for h.
0
Suppose 2*z - 12 = -z. Suppose -14*h + 3*b = -19*h + 24, 5*b = -2*h - 17. Solve h = -z*w + 29 for w.
5
Suppose 1 = 13*a - 51. Suppose 14 + 1 = 3*k - g, 0 = a*g + 12. Solve b + k = 5*b for b.
1
Suppose 4*h - 126*t + 122*t - 396 = 0, 4*t = -3*h + 255. Solve -103*x + h*x = -10 for x.
1
Let h(l) = -l**2 - 11*l + 76. Let j be h(-17). Let a = 28 + j. Solve z + a*z - 15 = 0 for z.
5
Let x(m) = -m**2 - 4*m + 858. Let k be x(27). Solve 7 - 7 = -k*v for v.
0
Let l be 41 - (-1 + (-2)/((-12)/18))/(-2). Solve -50*u + 8 = -l for u.
1
Let v(q) = -q**3 + 2*q**2 + 3*q + 2. Let y be v(3). Suppose -5*j + 2*j = -18. Let d be -24*(352/24)/(-22). Solve y*w = j*w + d for w.
-4
Suppose 2 = 5*l + 4*v - 6, 6 = -2*l + 3*v. Let b = l - -15. Suppose -5*w = 31*w + 6*w. Solve -5*x + b - 5 = w for x.
2
Let i(p) = -40*p**3 - 5*p**2 - 4*p + 1. Let u be i(-1). Solve -3*r + 13*r + u = 0 for r.
-4
Suppose 3*p + 144 = 4*o, 5*o + p = 16 + 183. Let c = o - 38. Suppose -3*b = 2*l + 2*b - c, 0 = l - 3*b - 6. Solve z - 1 = l for z.
4
Suppose -3*d + 2*h + 170 = -274, 5*d - h = 747. Let s = d + -135. Solve -10 = 5*y + s for y.
-5
Let b(g) = -32*g - 230. Let f be b(-8). Solve -4*a = 9*a + f for a.
-2
Let m(y) = -2*y**3 + 6*y**2 + 6*y - 8. Let c(a) = -a**2. Let p(l) = -3*c(l) + m(l). Let k be p(5). Let v be ((-40)/(-15) - 3)*k. Solve x + v = 5 for x.
4
Let a = 38 - -18. Suppose -14*z + 0*z = -a. Solve -2*f + z*f - 4 = 0 for f.
2
Suppose 108*f + 658 = 2062. Solve -208 = -f*l - 208 for l.
0
Suppose -5*s = -3*v - 27, -4*v - 10 = -3*s + 4. Solve -11*p + 12 - v = 0 for p.
1
Let y = 40367 - 40038. Solve -41*s - 6*s + y = 0 for s.
7
Let v(a) = a + 17. Let n be v(-14). Let z(i) = 2*i - 5 - 7*i**2 + i**n + 6*i**2 - 4*i**2 + 0*i**3. Let o be z(5). Solve 5 + 0 = o*d for d.
1
Let q be ((-120)/(-18) + -1)/(7/42). Solve q*k = 39*k - 25 for k.
5
Let d(r) = -3*r + 17. Let o be d(5). Let u be 3/o - (-9)/18. Suppose 0 = -i - 5*p - u, -6*i = -i - 2*p - 17. Solve -5*f - 4 = -i*f for f.
-2
Suppose 0 = -i + 5*i + 152. Suppose -15*a = -14*a + 35. Let y = a - i. Solve 0 = -0*c - y*c for c.
0
Let j be 4/9*6 - (-706)/(-1059). Let r be (-2 - 0) + 4*2. Solve -t = j*t - r for t.
2
Suppose 5*b + 3*i - 1821 = 0, -28*b + 33*b = i + 1833. Solve -b = -6*z - 408 for z.
-7
Let v(d) = 2*d**2 + 28*d + 7. Let h be v(-14). Suppose j - 12 = -h. Solve -j = 2*c - 3 for c.
-1
Let f(b) = -b**3 - 10*b**2 + 22*b - 23. Let n be f(-12). Suppose -3*u = 5*a + n, -3*a + 2*u - 5*u - 3 = 0. Solve 0*g = -g + a for g.
1
Suppose -404 = -k + 2*f, 4*k = -3*f + 1692 - 98. Suppose 0 = -14*x - 11*x + k. Solve 12*q = x*q for q.
0
Suppose 3*p = -2*v + 25, -4*v + 40 = 4*p - 0*p. Suppose 2*c - 116 = 2*y - 6*y, v*y - 2*c - 145 = 0. Let t = y + -25. Solve -t*s = -2*s for s.
0
Let u(c) = -198*c - 504. Let a be u(-3). Solve 14*b = -b - a for b.
-6
Let b(x) = x**3 - x**2 + x - 55. Let j be b(0). Let d be (-8)/(-5) + (-22)/j. Solve d*o + 5 = 1 for o.
-2
Let j = 178 - 195. Let c be (-2 + 3*-1)*j/85. Solve 9 = -4*s + c for s.
-2
Suppose 0 = -7*t + 2*t - 5*b + 920, -t - 5*b + 192 = 0. Suppose -78 = 4*v - t. Solve -5*h - 1 = -v for h.
5
Suppose 4*p - 14*p = -400. Suppose p*h + 96 = 36*h. Let s be -3 - -1 - h/8. Solve 2 = -x - s for x.
-3
Suppose 0 = 40*f - 26*f - 224. Let u(i) = i**3 - 16*i**2 + i - 12. Let n be u(f). Solve 8 + n = -3*b for b.
-4
Suppose -2223 = 7*d - 501. Let u = 255 + d. Solve -j - u + 8 = 0 for j.
-1
Let r(h) be the first derivative of -h**3/3 + 8*h**2 + 57*h + 6. Let t be r(19). Solve t = -8*j + 5*j + 9 for j.
3
Let p(d) = -d**2 + 7*d - 7. Let g be p(5). Let x(m) = -201*m - 18881. Let s be x(-94). Solve -g*r = -s + 1 for r.
4
Let p(g) = -53*g**3 + 4*g + 3. Let s be p(-1). Suppose l = -5*f + 13, 4*l - s = f - 6*f. Solve -5*h - 3 = -l for h.
2
Let q = -3855 + 3861. Solve -q + 14 = -2*n for n.
-4
Suppose 10*f - 63 = 3*f. Let u(g) = g**2 - 7*g - 20. Let w be u(f). Let x be 3/2 + (-5)/w. Solve -8 = -4*o - x for o.
1
Suppose -1 = -581*n + 606*n - 1. Solve n = 4*s + 254 - 242 for s.
-3
Let z(q) = -2*q - 28. Let n be z(-15). Suppose -4*x + 32 = 3*g, -2*g + 1 = -n*x + 3. Suppose 4*s - 12 = -w, 0*s - 26 = -x*w - 3*s. Solve 19 = -w*b + 7 for b.
-3
Suppose -96*b + 441 = -99*b. Let i = -147 - b. Solve i = 2*d + 1 + 3 for d.
-2
Let n(s) = s + 7. Let q be -7 + -4 + 3 - (-4 + 0). Let x be n(q). Solve 5 = -x*b + 2*b for b.
-5
Let a be ((-10)/6 - (-92)/12) + -4. Suppose 7*l = -a*l + 189. Solve 25*k + 20 = l*k for k.
-5
Let u(a) = 2*a**2 - 5*a + 4. Let d = -122 - -124. Let l be d + -3 + (-3)/(-1). Let f be u(l). Solve 4*i = 2*i + f for i.
1
Let d = -14 + 16. Suppose 0 = 3*x + 2*z + d*z + 80, 40 = -x + 2*z. Let b be (-2)/(-8) - 120/x. Solve 4*k + b = 5*k for k.
4
Let d(k) = -k**3 - 5*k**2 + 35*k - 12. Let f be d(-9). Let y be (17 + -15)/(f/((-27)/6)). Suppose 0 = -2*r + 6 - 2. Solve -r*g = -y*g - 5 for g.
-5
Suppose 0 = -5*g + 4*n + 22, -4*n - 2 = 5*g - 0. Let z(w) = 7*w - 12. Let o be z(2). Suppose 5*h - 4 = -2*q, 2*h + o*h - 2 = -2*q. Solve -m - h = -g*m for m.
2
Let r = -18021 + 18027. Solve -15*a - 9 - r = 0 f