 be a(f). Solve 3*d + k = n for d.
-4
Let o(r) = 2*r**3 + 4 - 7*r**2 + 7*r**2 - 3 - r. Let v be o(1). Solve 9 = -v*g + 1 for g.
-4
Let u(g) = -3*g**2 - 56*g + 22. Let x be u(-19). Suppose -8*k + 20 = -3*k. Solve x*c = k*c + 3 for c.
-3
Let c(l) = -4*l**2 + 3 + 4*l - 1 + 0. Let w be c(-2). Let p be 10/55 + (-62)/w. Solve 7 = -p*s + 4 for s.
-1
Let h = -2 - -9. Let u be (-130)/(-18) - 8/36. Suppose -4*w = -3*o + u, 3*w - 8 + 2 = 0. Solve 0 = -o*m + 3 + h for m.
2
Let s(f) = f**2 + f - 10. Let t be 210/(-49) - 6/(-21). Let y be s(t). Suppose 2*u = -g + 6, -u - 3*u + 12 = -y*g. Solve 20 = u*x + 5 for x.
5
Suppose 2*t = 5*h - 4 - 13, -4*t = 4*h + 48. Let k = -11 - t. Solve 6*o - o = k for o.
0
Let f be ((-12)/14)/((-31)/217). Solve f*d = -4*d for d.
0
Suppose -32 = -10*f + 2*f. Suppose 33 + 47 = 4*l. Solve l = f*n - 0*n for n.
5
Let o = -515 - -525. Solve o*p - 7*p = -12 for p.
-4
Let o(k) = k**3 - 16*k**2 + 36*k - 35. Let m be o(14). Solve 0 = -71*a + m*a - 30 for a.
5
Let h be (11 + -1)/(-24 + (-2533)/(-102)). Solve 19*k - h = 25*k for k.
-2
Let r be (-1 - (1 - 2))/1. Let g = -345 + 370. Solve 5*t + r*t + g = 0 for t.
-5
Let y(g) = -2*g**3 + 20*g**2 - 17*g - 10. Let p be y(9). Let h be p/3*(-90)/10. Solve h*l + 4 = l for l.
-2
Suppose k - 7 = -4*r + 14, 2*k - 22 = -4*r. Let d be ((-17)/(-34))/((-2)/(-12)) + k. Solve 0 = -d*s - 16 - 4 for s.
-5
Suppose -10*b + 7*b - 54 = 0. Let k = 20 + b. Suppose 6 = k*j - 6. Solve j*w - w - 25 = 0 for w.
5
Let f = 21 + -17. Suppose 0 = -f*a - 2*x + 6, 0 = 2*a + 2*a + x - 9. Suppose -j - 12 = -a*j. Solve 0*d - j = 3*d for d.
-2
Let r(w) = 2*w**3 - 3*w**2 + 4*w - 7. Let f be r(2). Solve 33 = -f*i + 13 for i.
-4
Let m(p) = 11*p - 125. Let k be m(12). Solve -3*o + k = -8 for o.
5
Let b = -451 + 451. Solve t + 1 + 3 = b for t.
-4
Let c = -13 - -9. Let u be c/(-16)*2*0. Solve u = 5*y + 5 + 10 for y.
-3
Let u = -612 - -616. Solve -63*r + 67*r = u for r.
1
Suppose 0 = -m - 5*q + 28, m - q = q. Suppose -6*o - 32 = -m*o. Solve h - o = 5*h for h.
-4
Suppose 8*n - n = 504. Let t = n + -65. Solve -x = -4 + t for x.
-3
Let f = 5 + -1. Let z(m) = m**2 - 3*m - 4. Let a be z(f). Let x = 1216 + -1213. Solve -3 = x*j - a for j.
-1
Let f be (38/(-114))/(3/(-36)). Solve 0 = f*u + 20 for u.
-5
Suppose 209*j - 205*j + 14 = -2*c, 0 = 2*j + 10. Solve d - c = 2*d for d.
-3
Let t = -315 + 315. Solve t = -6*b + 4 + 26 for b.
5
Suppose 2*q - 18 = -2*j, 4*j = 5*q + j - 53. Solve 0*m + 2*m + q = 0 for m.
-5
Suppose -2*l = 2*v - 12 - 0, -l + 4*v - 14 = 0. Let t = 2 + 7. Let w = t + -5. Solve 0 = -l*p - 4 - w for p.
-4
Suppose -1 + 13 = -3*d. Let x be (-51)/17*(3 + -2). Let i be -4*((-10)/d + x). Solve 0 = i*p - 2 - 4 for p.
3
Suppose 2*j + 3*j - 56 = 4*c, -5*c = -5*j + 60. Suppose 6 = j*g - 10. Solve g = x + 5 for x.
-3
Let g = -2451 - -2453. Suppose -5*s + 6 + 4 = 0. Solve -x = -g - s for x.
4
Let n = -2015 + 2083. Solve -24 = 74*z - n*z for z.
-4
Let p be (-3)/((2/12)/(-1)). Suppose -5*g + p = g. Suppose g*s - 6 = -3*j, -s + 5*j + 6 = 2*j. Solve -t + s = -2*t for t.
-3
Let t be 29*(9 + -4 - 4). Let z = t - 29. Solve z = -4*m + m - 3 for m.
-1
Suppose -3*k + 2*v + 9 + 8 = 0, 2*k - 5 = -5*v. Solve k*c = 4 - 9 for c.
-1
Let i = -866 - -886. Solve -25*j - i = -15*j for j.
-2
Suppose 28*t - 40 = 8*t. Solve -t*b + b = 4 for b.
-4
Let h(a) = -6*a + 4. Let c be h(-6). Let r = c + -40. Solve r = -q - q - 4 for q.
-2
Suppose 6*d = 3*d + 12. Suppose 2*n - d = -0. Solve 0 = -2*q - 0*q - n for q.
-1
Suppose 0 = 16*s - 13*s - 18. Solve 0 = -b + s*b - 25 for b.
5
Suppose 0 = 5*k - 2 - 13. Solve 1 = -k*n + 16 for n.
5
Suppose 5*t - 5 = -5*y, -2*y = y + 5*t - 1. Solve 12 = p + y*p for p.
4
Suppose -2*d + 30 = -4*d. Let h be ((-22)/(-6))/((-5)/d). Let f = h - 5. Solve -c + 15 = -f*c for c.
-3
Suppose 31 = o + 15. Solve -3*m - 5*m + o = 0 for m.
2
Let m be (44 + -57)*20/(-26). Solve 0 = -m*z + 9 + 1 for z.
1
Suppose -4*b + 21 = t, 2*t + 28 = 3*b + 4. Suppose -2*f = -14 - b. Solve 26 - f = 4*m for m.
4
Let y be ((-10)/25)/(2/(-130)). Let u = y + -13. Let s be (2/(-6))/(u/(-78)). Solve -1 = -s*g - 3 for g.
-1
Suppose -2*j - 2*l + 30 = -34, 3*j - 3*l - 108 = 0. Let n be (-1)/(-2) - (-51)/j. Suppose -2*q - w + 4 = 3, 0 = -q + n*w - 2. Solve q = 4*t + 4 for t.
-1
Let x(m) = -2 - 3*m - 6*m**3 + 3 - 3 - m**2. Let s be x(-1). Suppose -s = -4*u - 4*g + 2*g, -u + 2*g + 4 = 0. Solve 3*k + u = k for k.
-1
Let j(l) = 19*l + 8. Let t(q) = -10*q - 4. Let z(c) = 3*j(c) + 5*t(c). Let w be z(3). Suppose 2*b - 11 = 1. Solve b*v = v + w for v.
5
Suppose 0 = 5*r - 3*l - 10 - 28, 5*r + 3*l = 62. Solve 0 = 2*y - 0 + r for y.
-5
Let x(q) = 61*q - 1. Let g be x(1). Let w = g + -58. Solve 0*a = -w*a + 4 for a.
2
Suppose 45*s - 69 = 21. Solve -10 = s*t - 2 for t.
-4
Suppose -4*m = -67 + 51. Let q = 37 - 29. Solve -12 = m*a + q for a.
-5
Let b be (-1 - -2)*-1 - -1. Suppose 2*o - 4*j - 22 = 0, -2*j + 1 = 17*o - 14*o. Solve -3*a = -b + o for a.
-1
Suppose -3 = -3*m, 2*v + 2*m - 17 = -3*m. Suppose 8 + v = -2*q. Let i(t) = t**3 + 6*t**2 - 9*t - 4. Let o be i(q). Solve 8*l - o = 3*l for l.
2
Let j be (3 + -5 + 6)*10. Let l be (-78)/(-15) - 8/j. Solve c = -0*c + l for c.
5
Let u = 914 - 903. Solve u*p = 17 + 38 for p.
5
Suppose h + 52 = q + 59, -5*h - 4*q = -44. Solve -4*b = h + 8 for b.
-4
Let d(o) = -15*o**3 - 5*o**2 + o + 7. Let b be d(-1). Solve -3*m + b = 1 for m.
5
Let t(n) = 39 + 23*n - 66*n**2 + 22 - 3 + 68*n**2. Let b be t(-8). Suppose 9 = 4*m - 3. Solve -b*j = m*j for j.
0
Suppose a - 1 = 2. Suppose -p + 5*r = -34, 0*p + 4*r = 2*p - 38. Let w = p - a. Solve 0*t = 3*t - w for t.
2
Let f be -7 + 3 - (0 - 3)/3. Suppose -j - 16 = v - 6*j, -3*v + 4*j + 7 = 0. Let m be 4/6*(v + f). Solve 0 = -m*c + 8 for c.
2
Suppose -47 = -0*o - 3*o - 5*d, -5*o + 140 = -4*d. Solve -o + 24 = 12*u for u.
0
Suppose v + 78 = -2*a, -2*v + a - 159 = 4*a. Let y = v - -92. Solve 5*s = y*s for s.
0
Let r = 52 - 52. Suppose -1 - 3 = y + 3*u, -y + u + 4 = r. Solve 2*a = 8 + y for a.
5
Let b(h) be the first derivative of h**4/4 - 2*h**3 + h**2 - 1. Let w be b(6). Suppose 3*u + 22*q - 17*q = 9, 0 = 3*q + 9. Solve -4*c + u*c - w = 0 for c.
3
Let k be (6/4)/((-4)/(-16)). Suppose 3*h = k*h - 6. Let f be (-1)/(-2) - -3*5/10. Solve y + f = -h for y.
-4
Let u(k) = -k. Let h be u(-2). Let q = -2890 - -2902. Solve j = -h*j - q for j.
-4
Let t(l) = 2*l**2 - l - 6. Let g be t(3). Let z = -2 + g. Suppose 5*j - z = 4*q, -2*j - j + 15 = 3*q. Solve q*o - 20 = 6*o for o.
-5
Let z = 2351 + -2176. Solve -z*b + 24 = -183*b for b.
-3
Suppose -i - 19 = -5*s, 4 = 2*i - 3*s + 14. Let t be 1/(-5)*i*-10. Solve -t - 2 = -2*y for y.
2
Suppose -32*v + 120 = -30*v. Solve 31*n = 16*n + v for n.
4
Suppose g = 4*z - 3*g - 32, -3*g - 4 = z. Solve -z = 3*l + 2*l for l.
-1
Let u(d) = d**2 + 5*d - 6. Let x(t) = -7*t**2 + 3*t + 2. Let w = -11 - -10. Let g be x(w). Let z be u(g). Solve z - 2 = -4*k for k.
-4
Suppose 0 = 8*c - 3*c - 10. Suppose 4*k - 180 = -c*k. Solve 5 = -5*h + k for h.
5
Let k(q) = q**2 + 32*q - 112. Let s be k(4). Solve -5*p - 3*p + s = 0 for p.
4
Suppose 2*f - 3*z + 7*z - 24 = 0, 3*f + 2*z - 20 = 0. Let k be (-120)/(-66) - f/(-22). Solve k*b - 2 = -12 for b.
-5
Let z = -5 + 12. Solve 8*h = z*h + 5 for h.
5
Let o = -13 - -17. Suppose -o*m - 15 = 1. Let a be 6*(-2)/m + -1. Solve a + 1 = r for r.
3
Suppose -k = -2*m + 59, -25 = -4*m - 2*k + 73. Solve 13*r - 22*r = m for r.
-3
Let v = -185 - -193. Solve 0 = -0*r + 2*r - v for r.
4
Let p = -150 + 78. Let d = p + 75. Solve u = -d*u for u.
0
Let j(o) = o**3 + 17*o**2 + 20*o - 6. Let s be j(-16). Let c = s - -85. Solve c = -3*g - 2*g for g.
-3
Let h = 28 + -23. Suppose 3 = -h*a + 13. Solve -5*j + a = -3*j for j.
1
Suppose 2*s - 132 = -122. Solve s*n - 25 = -0 for n.
5
Let n = -148 - -162. Solve 20 = -6*z + n for z.
-1
Let t(a) = a**3 - 12*a**2 + 26*a + 9. Let c be t(9). Solve c = v + 4*v - 25 for v.
5
Let k(s) = -s**3 + 13*s**2 + 2*s - 24. Let p be k(13). Solve 2*g = -p*g - 4 for g.
-1
Let x(i) = -i - 1. Let o be x(-1). Suppose q - d + 2*d - 5 = o, -4*q = -d - 35. Solve -2*s = -2 - q for s.
5
Let f(z) = z**3 - z**2 + 2*z + 17. Let l be f(0). Suppose r = h + l, 3*r = 4*h - 9*h + 43. Suppose r*o - 15 = 13*o. Solve -b = -6*b - o for b.
-1
Let x = -16 + 13. Let i = -3 - x. Suppose -2 = -2*v 