t v be c(-1). Solve -v*s + w = 2 for s.
3
Let f(c) = -c**3 + c + 97. Let u be f(0). Suppose -u*t + 93*t = -16. Suppose 4*v - t = 4. Solve v*q = q for q.
0
Let b(u) = 2*u + 27. Let i be b(-2). Solve -28*g = -i*g - 20 for g.
4
Let f = 7185 - 7183. Solve -12*a = f*a + 42 for a.
-3
Let p = -12 - -57. Let n(t) = -t**2 + 8*t + 141. Let m be n(18). Let x = m + p. Solve 0 = 4*j - x*j for j.
0
Let k(c) = -c**2 + 10*c - 12. Let m be k(9). Let y be (-10)/m*5*30/125. Suppose r + 3*n = -10, 3*r + y*n = 5*r - 20. Solve -2*h - 4 = r*h for h.
-1
Let z(u) = 2*u**3 + 41*u**2 + 18*u - 40. Let l be z(-20). Suppose 41*k - 43*k - 4*i + 28 = l, 3*k - 2*i = 42. Solve k = -10*g + 3*g for g.
-2
Let g(x) = -216*x**3 - 2*x**2 + 9*x + 10. Let a be g(-1). Suppose a = 2*s + 199. Solve -5 = -s*u + 3 for u.
1
Let a = -3679 - -3682. Solve a*q = -117 + 108 for q.
-3
Let h = 8687 + -8677. Solve -27 = h*o + 33 for o.
-6
Suppose 4*j + 31 = 5*g, 3*j = 5*g - 7 - 20. Suppose -g*w + 8 = -16. Solve -5*h - 33 = -w for h.
-5
Let j be ((-1)/3)/((-14)/168). Let g be (-57)/(4 - 1) + -1. Let y be (-24)/g*(-50)/(-4). Solve j*h - h = -y for h.
-5
Suppose 0 = -5*i + 34 - 9. Suppose 3*h - 2*h - i*u - 13 = 0, 0 = -2*h - 5*u + 11. Solve 7*f - h*f = 1 for f.
-1
Let q(c) = -15*c + 152. Let w be q(5). Suppose -65*f - 180 = -w*f. Solve 14*l = f*l + 4 for l.
-4
Suppose -3*j + 3*n = -12, j - 16 = -3*j - 4*n. Let w(c) = 6*c**2 + 1183*c + 2342. Let v be w(-2). Solve -b - j - 1 = v for b.
-5
Let v(j) = -323*j + 350. Let t be v(1). Solve t*m - 102 = 6 for m.
4
Let d be (-17)/(-119) + (-8)/56. Solve 10*g - 27*g - 17 = d for g.
-1
Let w(n) = -2*n**2 + 29*n - 3. Let r be w(12). Suppose 5*a = 5*l + 20, -8 = 56*a - r*a + 3*l. Solve -a*d + 3*d = 2 for d.
2
Let g be (9 + -11 - -3)*0*2/6. Solve g = -c - 1 for c.
-1
Suppose 2*u = -2*z - 12, -z + 3*u = -53 + 31. Suppose -3*g + 8 = g. Solve -z = -f + g for f.
3
Let d = 21 + -29. Let i be 15 - (-2 - (-9 - -8))*-5. Let a = d + i. Solve -s - a = 2 for s.
-4
Suppose -8*a + 2 = 66. Let l(s) = -8*s - 64. Let j be l(a). Solve j*b - 18 = -9*b for b.
2
Let l(z) = -2 + 20*z - 37*z + 20*z. Let j be l(1). Let k(h) = 3*h**2 + h - 2. Let q be k(j). Solve -5*f - 3 - q = 0 for f.
-1
Let a(w) = 246*w**2 - 3*w + 0 - 245*w**2 + 2 - 36*w**3 - 16*w**3. Let p be a(1). Let g = -51 - p. Solve g = c - 3 for c.
4
Let s(y) = -3*y**3 - 226*y**2 + 151*y + 113. Let h be s(-76). Solve 0 = 56*m - 83*m - h for m.
-7
Let t = -20759 + 20768. Solve 9313*m = 9316*m - t for m.
3
Let a(y) = 10*y - 133. Let p(q) = -9*q + 131. Let b(f) = -3*a(f) - 2*p(f). Let j be b(11). Solve j*v + 11 = 36 for v.
5
Let b(d) = d**2 + 3*d + 5. Let p be b(0). Suppose p*u = -0 + 10. Solve -3 + 7 = -u*k for k.
-2
Let b be (7 + 1 + -1)*(-132)/(-231). Suppose -6*l + 2*l - 22 = -t, -b*l - 8 = 0. Solve -2*g - t + 4 = 0 for g.
-5
Suppose 5*f = -y - 0*y + 34, 26 = 3*f + 2*y. Suppose f*h = 7*h. Solve h = 4*s - 0*s + 20 for s.
-5
Suppose 0 = 7*t - 11*t - 4*w + 28, -2*w + 25 = 3*t. Let h be t + -7 + (0 - 0). Solve 6*l = 4*l + h for l.
2
Let l(x) = 3*x**2 + 4*x - 11. Let n be l(-3). Suppose 4*f = 2*t - 32 - 28, -90 = -n*t + 2*f. Solve 0 = 5*w - t for w.
4
Let y = -46 + 152. Suppose 12 = -100*s + y*s. Solve -2*i + s = -6 for i.
4
Suppose 9352 + 6034 = 157*d. Solve -d = -61*s + 75*s for s.
-7
Let m(w) = -3*w + 29. Let h(b) = -b**2 - 23*b - 11. Let v be h(-9). Let r = v - 107. Let a be m(r). Solve 14 - 4 = -a*i for i.
-2
Let z(s) = -s**3 + 10*s**2 + s - 10. Suppose 3*n - r = 96, -160 = -11*n + 6*n - 4*r. Let w = n + -22. Let y be z(w). Solve y = -5*a + 6*a + 5 for a.
-5
Suppose -2*v - 5*v - v = 3*v. Solve v = 13*i + 106 - 41 for i.
-5
Let d(m) = m. Let i be d(4). Let j be ((-9)/(-72))/(2/16). Suppose -5*n = 3*g - n - 33, g - 3*n - 37 = 0. Solve i*b + j = -g for b.
-5
Let t(n) = 9*n - 79. Let w be (0 - 1/(-2))/((-2)/(-44)). Let g be t(w). Solve g = -6*l + l for l.
-4
Suppose -294 + 273 = -21*b. Solve -53 = 27*y + b for y.
-2
Suppose 97*t - 98*t + 3*x = -13, t = 2*x + 11. Solve -t*m = 6 - 20 for m.
2
Let q(i) = -6 + i + 5*i + 25 - 1 - 8. Let y be q(-1). Solve -3*f = -y*f - 2 for f.
-2
Suppose 14 = 569*x - 571*x, -2*g + 5*x = -2503. Solve -g*v + 10 = -1224*v for v.
1
Let u be 16*((-465)/(-240) + -1). Solve 7*o + u = 22 for o.
1
Suppose 15*y - 6638 = -6293. Solve 3*l - y = -20 for l.
1
Suppose 0 = -3*y - 1 + 13. Let c(o) = 3*o - 2. Let w be c(y). Suppose 3*x - 27 = -m - w, -3*m - x = -19. Solve -m*t = -2*t for t.
0
Suppose 2*x + 104 = 22. Let q = -35 - x. Suppose 26 = 5*h + q. Solve -h = -3*n + n for n.
2
Suppose 4*c + 90 = 2*f, 5*c = -5*f - 98 - 7. Let t = -26 - c. Let d(g) = g**2 + 4*g + 6. Let w be d(t). Solve a + w = -a for a.
-3
Let o(b) = 14*b**3 + 170*b**2 + 16*b - 57. Let x be o(-12). Solve 0 = x*r - 74*r + 140 for r.
4
Let j(v) = 9*v**2 - 30*v - 13. Let h be j(4). Solve 49*c - h*c - 190 = 0 for c.
5
Let y(a) be the first derivative of 9*a**2/2 - 29*a - 41. Let p be y(4). Solve 10*x - p*x = -12 for x.
-4
Let p be (-56 + 57)/(-8 - (-396)/48). Let k = 2 + 2. Suppose k*x - x - 2*t = 1, -4*t = 3*x - 7. Solve -p*s = x - 13 for s.
3
Let f(a) = a**3 + 14*a**2 - 25*a + 145. Let n be f(-16). Solve -n - 35 = 17*w for w.
-4
Let t = -35 + 50. Let u = 3097 + -3073. Solve -u*h - t = -29*h for h.
3
Let x(j) = 2*j**2 - 4*j - 21. Let v be x(7). Solve 62*o = v*o for o.
0
Let x = -16781 - -18031. Solve -c - 1254 = -x for c.
-4
Let n(x) = 2*x**2 - 12*x. Let i(d) = 3*d**2 + 9*d + 6. Suppose -3*t + 3 = 3*u - 0*u, -21 = 3*u - 3*t. Let a be i(u). Let q be n(a). Solve o + q*o = -2 for o.
-2
Suppose -4*q - 913 = 5*g - 1053, 4*g - 5*q = 153. Solve -g - 58 = 15*r for r.
-6
Let s = -35 + 53. Suppose s*z + 2 = 19*z. Suppose -4*a + z*f + 26 = 0, 3*f = -4*a + 4*f + 25. Solve n = a*n - 15 for n.
3
Suppose 2*w - 16 = -2*g, -3*w = -5*g + 10 - 2. Let a be 14/(-21)*(-30)/g. Solve -3*i = -a*i + 4 for i.
2
Suppose -88172*n = -88193*n + 924. Solve 0 = n*l - 63*l + 114 for l.
6
Let i(x) = x**2 - 5*x + 1. Let s be i(8). Suppose -5*g = -p - 14, 5*p + s = 5*g - 5. Suppose 4 = 3*b - g*b. Solve -y - b*y = 0 for y.
0
Suppose r - 2*r = 0, 0 = 3*h + 4*r - 60. Suppose h = -157*t + 161*t. Solve -7 + t = -2*q for q.
1
Suppose 120*o + 3*p + 2 = 121*o, 5*o - 5*p = 10. Solve -o*y - 26 = -24 for y.
-1
Let s(w) = -w**3 + 11*w**2 - 19*w + 5. Let b be s(10). Let l = 106 + b. Solve 5*v + 2*v = -l for v.
-3
Suppose -27*t + 304 = -8*t. Suppose -t = -3*o - o. Let k = -3 - -5. Solve -k - o = 3*r for r.
-2
Let n be -4*(-6 + (-9)/(-36)*14). Suppose -w + 5*a + 6 = 1, 3*a + 3 = -5*w. Solve -4*c + 2*c + n = w for c.
5
Let t = 2 - -1. Let w(q) = 4*q**3 - 78*q**2 + 35*q + 57. Let g be w(19). Solve -t*s + s + 4 = g for s.
2
Suppose 0 = 5*n - 2*o - 299, 0 = 3*n + 3*o - 112 - 59. Solve -36 = 68*g - n*g for g.
-4
Let t(r) be the third derivative of r**4/6 - 8*r**3/3 - 9*r**2. Let x(w) = -w + 1. Let m(z) = -t(z) - 6*x(z). Let k be m(-4). Solve -k*h + 3*h = 0 for h.
0
Let u = -703 + 1407. Let x = u + -672. Solve -31*w = -x*w - 4 for w.
-4
Let d = -11223 - -11245. Solve d*w = 48*w + 52 for w.
-2
Suppose -7*t + 5*t = 36. Let q be (7/(-4))/((-36)/(-32) + -1). Let v = q - t. Solve 7 = v*a - 5 for a.
3
Let l = 5216 - 5196. Let f(g) = g**2 + 4*g + 3. Let d = -11 + 7. Let s be f(d). Solve -s*y + l = y for y.
5
Let z = -81 - -113. Suppose -77*p + 78*p - z = 0. Let n be (p/(-20))/(4/(-10)). Solve 5*b - n = 1 for b.
1
Suppose 0*n + 2*t = -5*n - 27, -4*n - 8 = 5*t. Let d be 2 - 4/n*14/4. Solve d*j + 2 = -18 for j.
-5
Let y be 22 + -10 + 5 + 24. Solve y*j - 141 = 23 for j.
4
Let n(f) = -f + 1. Let u = 53 + -47. Suppose u*g - 4*g = -18. Let h be n(g). Solve h*d = 5*d for d.
0
Let s(w) = -2*w**2 + 60*w + 36. Let n be s(30). Let h be (0 - 0)/(-4 - n/(-6)). Solve -b + 0 - 3 = h for b.
-3
Suppose 5 = -17*b + 18*b, h - 20 = -2*b. Let q be (-2)/h - 3587/(-85). Solve -38 = 4*z - q for z.
1
Let p be 62/4 - (-2)/4. Let l be 2/(((-6)/8)/((-18)/p)). Suppose 6*k = l*k + 12. Solve 0 = 3*r + 2 + k for r.
-2
Let c = 17242 + -16614. Solve -20 = -632*r + c*r for r.
5
Let p(f) = -f**3 + 7*f**2 + 17*f + 12. Let x be p(9). Suppose 2*q = -2*a + 4, -x*q + 0*q + 10 = a. Solve -q*o = -o for o.
0
Let q = -345 + 325. Let p be (-5 - (-3 + q)) + 5. Solve -2 = p*g - 25*g for g.
1
Let d = -400 + 653. Solve -257*o + d*o = -20 for o.
5
Suppose 0 = n + 