1/24*v**4 + 0 + 1/3*v**3. Let l be z(1). Solve l = -2*j + 5*j for j.
5
Let d(r) = 65*r**3 + 4*r - 66*r**3 - 19*r + 10*r**2 - 5. Let w be d(8). Solve w*s - 7 - 5 = 0 for s.
4
Suppose -35*a + 33*a - 2*g + 210 = 0, 2*a - 3*g - 190 = 0. Solve -103*y + 10 = -a*y for y.
5
Suppose 10 = 4*i - 2*g, 0*i + 3*g = -3*i + 3. Solve 0 = -i*w + 15 - 9 for w.
3
Suppose -4*h - 22 = -y - 0*y, 5*y - 25 = 3*h. Suppose 0 = 53*n - 126 - 33. Solve -y*a = -n*a for a.
0
Let g(h) = -h**3 + 8*h**2 - 2*h - 5. Let i be g(7). Let x = -17 + i. Let t = x - 9. Solve -c - 2 = -t for c.
2
Suppose 0 = 3*l - 5*v - 64, 3*l - 5*v = -l + 87. Let d be ((-2)/(-2) - -3)/(l/23). Solve g = -d + 1 for g.
-3
Suppose -25*g - 3*n = -26*g + 6, 0 = g + 4*n + 8. Solve -7*q - 3 - 11 = g for q.
-2
Let o(h) = h**3 - 2*h**2 + 2*h - 1. Let u be o(1). Let w be -1*(-5)/(-10)*u. Solve w = 5*x - 4 + 29 for x.
-5
Let y(m) = 6*m**2 - 2*m + 4. Let a be y(2). Suppose -4*j = -4*q - a, q + 3*q = -5*j + 12. Let v be q + (-2)/1 + 4. Solve v = -t + 1 + 2 for t.
3
Let w be 47 - 1 - (0 - -1). Let f be (6/5)/(9/w). Solve -f = 3*m - 0 for m.
-2
Suppose -3*u + 22 = -5*j - 13, 3*j + 17 = u. Let h(x) be the third derivative of -x**5/60 - 5*x**4/24 + 3*x**2 - 11. Let g be h(j). Solve 2*n - 2 = -g for n.
-1
Suppose 4*n - 3*q + 3 = 5*n, 3*n - 2*q + 2 = 0. Let a(u) = 2 + 0*u - 2*u + 3*u. Let p be a(n). Solve -p*l + 2 = -4*l for l.
-1
Let n = 3270 - 3256. Solve -n = 5*t + 11 for t.
-5
Let f = -541 + 547. Solve 25*r - 76 = f*r for r.
4
Suppose 21 = 5*m - 2*p, -5*p - 15 = -0*p. Suppose -12 = -5*d - f, -5 - 11 = -5*d - 3*f. Solve -5*q + d*q + m = 0 for q.
1
Let z = 1 - 1. Let j be 3/8 + ((-1092)/32)/(-21). Solve z*f - 6 = j*f for f.
-3
Suppose 0 = 7*s - 1 - 20. Solve 3*g = -s - 9 for g.
-4
Suppose 3*x = -5*b - 10, -2 = -5*x + b - 0. Suppose 4*k = 2*t - t + 37, 0 = k - 2*t - 18. Let y = 9 - k. Solve -f + x*f = -y for f.
1
Let l be (4 + (-2)/2)/(6/32). Let o be l/(-4)*(-1 - 1). Solve -4 = a - o for a.
4
Let j = -154 - -154. Solve j*m - 3 = -m for m.
3
Let b(f) = -2*f - 5. Let k be b(-7). Solve 9*q + k = -0*q for q.
-1
Let p(j) = j**3 + 10*j**2 - 12*j - 6. Let s be p(-11). Let d = s - 3. Suppose -d*w - 3*w + 15 = 0. Solve 0*i = i + w for i.
-3
Let m = -26 + 20. Let h(g) = -4*g + 4. Let v be h(m). Suppose -4 = -4*c + 3*c. Solve c*x - 8 = -v for x.
-5
Suppose g - 37 = 3*c, 5*c - 2*g + 67 - 6 = 0. Let x = -3 - c. Solve 5*v - 35 = -x for v.
5
Suppose -8 = -4*t + o - 3*o, -3*t + 3*o - 12 = 0. Let w be -1*(t - (-30 + 3)). Let k be (-102)/w + 6/27. Solve -k*h = -6 + 26 for h.
-5
Let l(w) = -6*w**3 - 3*w**2 + 7*w + 3. Let i(g) = -7*g**3 - 5*g**2 + 7*g + 2. Let j(d) = 5*i(d) - 6*l(d). Let n be j(8). Solve 0 = -q - n - 4 for q.
-4
Suppose 36*d - 4 = 34*d. Solve d = -3*j + 5 for j.
1
Let w = 118 + -116. Solve w*a + 2 = -8 for a.
-5
Let a(g) = -4*g - 10. Let x be a(-5). Suppose x*t = 8*t + 8. Solve t*v = -v for v.
0
Suppose 4*u - 16 + 0 = 0. Suppose u*a = -2*v - 3*v + 60, 0 = 5*a. Suppose 4*b = -4 + v. Solve -2 = 4*c + b for c.
-1
Suppose -4*o + 2*b + 72 = 0, -o = -0*o + 4*b - 9. Solve -1 = -8*z - o for z.
-2
Suppose 15 = 4*q + t - 0*t, 5*q - 2*t - 9 = 0. Let p be (-34)/(-18) - q/(-27). Suppose -4*m + 2*o = 5*o - 36, 5*o = 20. Solve -p*c = -5*c - m for c.
-2
Suppose -2 = 5*z - 12. Suppose 9 - 9 = 23*d. Solve m + d*m = -z for m.
-2
Let i(r) = r**2 - 5*r + 16. Let c be i(0). Solve -7*l - c = -2 for l.
-2
Let t(y) = 64*y - 510. Let q be t(8). Let h = 10 - 9. Solve q = -3*v - h for v.
-1
Suppose 0 = 11*d + 7*d - 90. Solve 2 - 7 = d*i for i.
-1
Let b be (3/(-2))/((-9)/6) + 5. Suppose 0 = b*m - m - 60. Let u be (-4)/10 - 24/(-10). Solve u = -5*g + m for g.
2
Suppose 0 = -3*u - 7 + 22. Suppose 11*t - 6 = 9*t. Suppose 5*h - 5*i = 85, t*h + 3*i - 37 = -16. Solve -2 = -u*b - h for b.
-2
Suppose -10 = -2*c, 2*c - 1 = 3*q - 0*c. Suppose -4*x + 7 + 2 = -l, 3*l - 3 = -q*x. Suppose -x*b + 18 = b. Solve -b = -a - 3 for a.
3
Let m = 283 + -281. Solve m + 8 = -5*j for j.
-2
Suppose 15*r + 14*r = 174. Solve r + 0 = -3*g for g.
-2
Let x be 12/(-8)*(-8)/3. Let l be (0 + 0/(-1))/x. Let o be 3 + -2*6/4. Solve o*y - y + 1 = l for y.
1
Let k be (4 + 0 + -4)/(-4). Let x = 1 - k. Solve 4 + x = -5*n for n.
-1
Let z(r) = r**3 + 5*r**2 - 8*r + 13. Let v = 52 + -58. Let u be z(v). Solve 0*n + 5*n = u for n.
5
Suppose 0*f + 3*f + 2*d = 0, 25 = 5*f - 5*d. Let l be f/1*(-18)/(-12). Solve 0 = -l*r - 6 for r.
-2
Suppose 0 = -4*k - h + 14, -3*k - 5*h - 2 + 4 = 0. Solve 15 = -k*y - 1 for y.
-4
Suppose -4*p = 3*p. Suppose 3*z - 43 = -4*v + 6, p = -v + 4*z - 2. Solve -v = -u - u for u.
5
Let x be (-528)/(-80) + 6/(-10). Solve -x*d = -10*d for d.
0
Let g(w) be the third derivative of -w**5/60 + 5*w**4/12 + 2*w**3/3 - 31*w**2. Let o be g(10). Solve -6*c + o*c = 6 for c.
-3
Suppose 4*l - 442 = 3*t + 50, 0 = 5*l + 2*t - 592. Solve 0 = l*p - 116*p + 16 for p.
-4
Let x(z) = -2*z**2 + 17*z - 8. Let m be x(8). Solve m = -0*d + 8*d for d.
0
Let a be (-475)/(-20) + 16/64. Solve 32*z - 26*z = -a for z.
-4
Suppose 5 = 5*q - 5*u, -3*q + 25 = 3*u - 2. Suppose -36 = -4*r + 5*k, 16 = -q*k - 4. Solve -r*z = z + 20 for z.
-4
Let q = 1 - -3. Let w = -76 + 53. Let n = w - -32. Solve q*l - 3 = n for l.
3
Let o = 11 + -9. Suppose 0 = -q - y + 6 - 2, -o*q = 3*y - 12. Suppose 3*b + 5 - 17 = 0. Solve b*a - 4 = -q for a.
1
Let u(c) = c**3 - 5*c**2 + 9*c - 3. Suppose 16 = -18*r + 22*r. Let m be u(r). Solve 5*q + m = 2 for q.
-3
Suppose 124 - 142 = -3*t. Solve -2*m + t = -0 for m.
3
Let v = 176 - 173. Solve -4*c - v = -5*c for c.
3
Let k = 3 - 1. Suppose 0 = 5*d - 3*d - 6. Let a = d + -1. Solve -a*s = k*s - 16 for s.
4
Suppose -j - 3 = -d, 4*d = -d + 20. Suppose 0 = -13*c + 118 - j. Solve -3*w = c + 3 for w.
-4
Let r = 13 + -8. Suppose -3*q + 5*w - 25 = 0, -r*q + 4*w = 24 - 4. Suppose 5*l + 4*x - 14 = 0, -3*x = 4*l - 12 + 1. Solve l*y - 1 + 3 = q for y.
-1
Suppose 4*z = -7*z + 11. Let g(m) = m**3 - 7*m**2 + 9*m - 14. Let k be g(6). Solve b - k = -z for b.
3
Suppose -2*y - 5*x + 2*x - 15 = 0, x + 3 = 0. Let o be (-1 - y) + 4 + -3. Let p = -1 + o. Solve 0 = p*i + 3*i + 15 for i.
-3
Suppose 0 = 3*x - 2*u + 1, -u - 2*u + 30 = 5*x. Solve -x*j + 2 = 2 for j.
0
Let g(v) = v**2 + 16*v - 12. Let s(q) = q. Let d(p) = -g(p) + 5*s(p). Let i be d(-12). Suppose i = -c - c. Solve c = -2*y + 4*y + 2 for y.
-1
Suppose 49*i - 12 = 37*i. Let y(t) = 9*t**2 - 2*t**2 + t + 0*t. Let f be y(i). Solve 3*r - 7*r = f for r.
-2
Let w(k) = -36*k - 347. Let j be w(-10). Solve -8*q + j*q = 0 for q.
0
Let x(h) = 14*h**2 - 3*h - 3. Let w be x(-3). Let g = 133 - w. Solve 4*l - g - 3 = 0 for l.
1
Let k be 18 + -15 - 1*4. Let p(h) be the first derivative of -3*h**4/2 - h**3/3 - h**2/2 - h + 1. Let t be p(k). Solve -f = -1 + t for f.
-4
Let l be 2 + -4 - (-473)/(22/2). Solve 0 = 9*s + 14 - l for s.
3
Let a be ((-63)/28)/(3/(-8)). Let g(w) = -w**3 + 5*w**2 + 6*w + 5. Let k be g(a). Solve -k*q + 3 = -2 for q.
1
Let v(k) = k**3 - 6*k**2 + 6*k - 2. Let t be v(5). Suppose -w + 3*w - t = -3*g, -g = -4*w - 15. Let n be (-3)/(6 - g) + 3. Solve 6 = 2*u - n for u.
4
Let d(s) = -s**3 - 3*s**2 + s + 3. Let r be -3 + (-16)/4 + 4. Let u be d(r). Suppose -10 = 3*c - 4*h, u*c + 4 = -4*c + 3*h. Solve -2*l = c*l - 12 for l.
3
Let x be (-8)/20 - 1392/(-80). Solve -11*r + x*r = -24 for r.
-4
Suppose 3*d + c = 52, 4*c = -d + 2*d. Let x be d/(-24) + (-88)/(-6). Solve 4*u - x = 2 for u.
4
Suppose 15 = 2*f + 3*x, -f + 34*x - 32*x + 4 = 0. Solve -f*v - 16 = -10*v for v.
4
Suppose 7*m - 11 = 38. Solve w + 40 = -m*w for w.
-5
Let x = -342 + 348. Solve -h - 5 = -x*h for h.
1
Suppose 0 = 2*a - 3*i - 0 - 18, -2*a + 2*i + 22 = 0. Solve -13*t = -8*t - a for t.
3
Let w(z) = -z + 1. Let j be w(0). Let h be j - (0 + 4) - -7. Suppose 3*a + 0*a - 45 = 0. Solve x = -h*x + a for x.
3
Let j be (-3)/12 + (-87)/(-12). Suppose 5*k - j*k + 10 = 0. Suppose -4*r + 32 = 3*y - k, 4*r - 5*y = 45. Solve -4*h + r = 22 for h.
-3
Suppose 9*m - 312 = -4*m. Solve 26*g = m*g + 8 for g.
4
Suppose 3*l - 10 = l. Let y = -5 + l. Suppose 0*g + 2 = g. Solve -g*u + y = -2 for u.
1
Let u(m) = -m**3 - 2*m**2 + 4*m + 7. Let r be u(-3). Suppose 8*f + r - 12 = 0. Suppose 3*x + 0*x - 7 = -2*z, z + 2*x - 4 = 0. Solve h + z = -f for h.
-3
Suppose -4*s - 12 = -2*c - s, 4 = 4*c - s. Solve w + c*w = -4 for w.
-4
L