 u.
0
Let l(o) be the second derivative of -2*o**3/3 - 5*o**2/2 + o. Let w be l(-2). Solve 0*p - 3*p + w*x + 3 = 0, 1 = 3*p - x for p.
0
Let x = 2 + 5. Suppose -i + 3*i = -10. Let j be i/(-15) + 5/3. Solve q = 4*q + 5*h + x, -5 = j*q + 3*h for q.
-4
Let u = -17 + 20. Solve -2 = -o + 3*y, u*o + 2 = 2*y + 1 for o.
-1
Suppose 2*o + 6 = -o. Let n(k) = -3*k + k - 1 + 0*k. Let h be n(o). Solve 0 = -h*i - 7 + 16, 4*a - 4*i + 32 = 0 for a.
-5
Let q(s) = -16*s**2 + 1. Let g be q(-1). Let b be (-1 - -2)/((-1)/g). Let c = -3 - -11. Solve -2*k = 4*h - c, -1 = -4*k - 2*h + b for k.
4
Let c be (-5)/(-3) - 1/(-3). Suppose -b + c + 0 = 0. Suppose -5 = -3*d + 2*d - b*y, -3*y = -4*d + 20. Solve -d*r - 19 = 2*i, r = i - 11 + 3 for r.
-5
Suppose -2*a - 4 + 20 = 0. Suppose -3*c + o = -12 - a, 2*c = 2*o + 16. Solve x + 5 = 0, -c*x + x - 40 = 5*b for b.
-3
Let b be -1 + 1 + (-2)/(-1). Suppose w = 2*j + 3*w - 6, 0 = 4*j + b*w - 10. Let q be 2/(1*(4 - 3)). Solve -t + 37 = -5*c + q*t, -j*c - 5*t + 10 = 0 for c.
-5
Let a be 4/6 + (-10)/15. Suppose -3*s - s + 8 = a. Suppose -s = p - 5. Solve -6*i = p*y - 4*i - 19, -2*i + 13 = y for y.
3
Let b(l) = -l - 8. Let n be b(-9). Let z be (1/((-2)/(-10)))/n. Solve 2*j + 6 = z*j, -2 = h - 3*j for h.
4
Let g be (-2 + 0)/((-4)/18). Let y = g - 6. Suppose 10*h - 35 = -35. Solve -t = y*j + 4, h*j + 3*t - 18 = j for j.
-3
Let n(t) be the third derivative of -1/120*t**6 + 0 + 0*t**4 + 0*t**5 + 0*t - 3*t**2 + 0*t**3. Let y be n(0). Solve x - w - w - 1 = 0, -3*x + 4*w + 1 = y for x.
-1
Let l be 1/4 - (-44)/16. Suppose -2*v + 3*i + 3 = 0, 0 = -6*i + 3*i + 9. Let m(p) = -p + 10. Let f be m(v). Solve 3*w - 2 = 4*w + f*c, l*w - 2*c - 8 = 0 for w.
2
Let v(c) = -c**3 + 11*c**2 - c + 15. Let n be -1 + (14 - (-4)/(-2)). Let p be v(n). Solve -4*u - 7 + 1 = -5*m, 0 = -p*m + 8 for u.
1
Let b = 16 + -11. Let u = 3 + -1. Let j be u + (0 - 21/(-3)). Solve 0 = 3*x + 3*r - j, -b*x + r - 2*r = 5 for x.
-2
Suppose -3*k = -5*z + 68, 0 = 5*z - 5*k - 104 + 34. Let c = 65 - 22. Suppose c = 4*j + 15. Solve s + 4*y = -z, -s - 4*y = -j*y - 15 for s.
3
Let s(d) = d - 5 + 13 + 2*d. Let b be s(-8). Let n = -11 - b. Solve -n*q = -4*v - 12, 10*q - 5*q = -2*v + 24 for q.
4
Let t(q) = 4*q - 1. Let c be t(1). Let i = c + 1. Suppose -2*f + 3 = i*k - 17, 0 = -f - 4. Solve k = -2*j + 2*d - 3*d, -j - 4*d = 7 for j.
-3
Let a(x) = -x**2 + 8*x - 17. Let c(b) = -b**2 + 8*b - 16. Let y(q) = 4*a(q) - 5*c(q). Let s be y(7). Solve -2*h = -6*h + 2*m - 20, 0 = h - m + s for h.
-5
Suppose -n = -2*n + 6. Suppose u + 4 = n. Solve -2*y + 2*r = -u, 2*y = y - 5*r - 5 for y.
0
Suppose 0*o + 2*o = 80. Solve -4*k = 4*m + o, -3*k - 22 = 4*m + 13 for m.
-5
Let w be 6*(16/6 + -2). Suppose -v + 0*v = -w. Suppose -v = -4*p, 5*q + 2*p = 7*p - 5. Solve q = -3*f + 9, 3 = -5*b - 2*f + 4 for b.
-1
Let b(g) = g**3 - g**2 + 1. Let z be b(2). Let x = 9 - 6. Let l be -2 - (x + (-14)/2). Solve z*r + 5*y - 19 = 4*y, -7 = -l*r - y for r.
4
Let c(k) = 3 + 6*k**2 + k - k**3 - 3*k**2 - 5*k**2 - 4. Let j be c(-3). Suppose j*p = 37 - 12. Solve -5*x - 16 = -l, x - 2*x + 2 = p*l for l.
1
Let l(y) = y**3 - 9*y**2 + y + 13. Let a be l(9). Solve -a = -5*x + 2*q, q - 2*q = 3*x - 11 for x.
4
Let d(a) = a**2 + 5*a - 2. Suppose 2 = w - 4*n - 16, 0 = w + n + 2. Let m be 0 + w - (1 + 7). Let o be d(m). Solve -3*t - 4 = 2*g - g, -g - o = -5*t for t.
0
Let m = -12 - -20. Suppose g = -g + m. Let q be (2/(-6)*0)/(-1). Solve g*r + 4*h = q, -6 = -r - 4*h + 6 for r.
-4
Let t be (1/(-3))/(6/(-162)). Solve -u + 4*h = -22, -5*u - 24 = 5*h - t for u.
2
Suppose -2*h = -2*z + 2*h + 16, -h + 5 = z. Solve 1 = -u + 3*d - z, -3*u + d = 13 for u.
-4
Let q be 1 - (0 + -12)/4. Solve -b + 0*b - 5 = 0, 2*b = -q*n - 6 for n.
1
Let h be (24/30)/((-2)/(-5)). Suppose -2*z + 18 = 2*c, 0 = -5*c + h*z + 2*z. Solve 2*y = -4*x + 3*y - 15, -6 = -2*x - c*y for x.
-3
Suppose 20 = 2*z - 0*z - 2*j, -5*j - 15 = 2*z. Suppose 4*x - 12 = -0. Let i be 0 + 1 + -2 + 3. Solve -z*g + w - 6 = -w, -i*g = x*w - 9 for g.
0
Suppose o + 3 = 7. Suppose 2*p = 8, -2*i + 16 = o*p - 3*p. Solve 3*h + 6 = 3*l, -13 = -h + 2*l - i*l for h.
1
Let i be (2 - 4)*(-2)/2. Suppose 0 = -l - m - 2*m + 21, 8 = i*m. Solve 5*b - 3*d + d - 18 = 0, -2*b + l = d for b.
4
Let a(b) = -b**3 - 7*b**2 + 8*b + 2. Let p be a(-8). Solve 1 = -p*m - z - 2, 2*m + 2*z = -2 for m.
-2
Let k = 5 + -2. Let u(l) = k*l - 4*l + 5*l - 6. Let w be u(4). Solve 0*x - w = 2*x + s, -4*x - s = 18 for x.
-4
Let n(i) = i**3 + 11*i**2 - 11*i + 13. Let u be n(-12). Let m(v) = 3*v**2 - 1. Let j be m(u). Solve 3*y + j*z = -1, -2*y - 1 = -3*y - 2*z for y.
-1
Let a = 58 + -45. Solve -5*w + a = -m, 10 = 3*w + 2*w for m.
-3
Let o(j) = 5*j + 7 - j**2 - 10 - j. Suppose -2*c + 2 = -4. Let i be o(c). Solve -n = 2*m + 1 - 5, -5*m - 3*n + 11 = i for m.
1
Let l be 4 + (-6 - -7 - (1 - 1)). Solve -2*n + 4 + l = -3*p, 0 = 5*p + 3*n + 34 for p.
-5
Let w(d) = 5*d**3 - d + 1. Let b be w(1). Solve 0 = -6*n + 4*n + u - 6, -b*n + 3*u - 15 = 0 for n.
-3
Let a = 23 + -11. Suppose 0 = c + 3*c - a. Solve -c*z = -4*s + 8, s + 2*z + 12 = 3 for s.
-1
Let d = -93 + 95. Solve 0 = 3*y + d + 1, 2*v + 10 = -4*y for v.
-3
Let t be (-22)/6 + 2/(-6). Let v be (-51)/(-15) - t/(-10). Suppose -5*y = -3*y - 20. Solve -2*r - y = -i, -4*i + i - v*r = 15 for i.
0
Let x(q) = q**2 - 11*q + 13. Let h be x(11). Suppose -5*b + 11 = 3*w - h, 0 = -3*b + 9. Solve 3*p + o - w + 2 = 0, 1 = o for p.
0
Let u = 21 + -17. Let x be u/18 - 280/(-36). Solve 2*k + q - 11 = 0, 6*q - 2*q = k + x for k.
4
Suppose -4*u = 5*x - 3 - 24, -2*x - 6 = -4*u. Solve 18 = -3*t + u*s - 0*s, 3*t = -s + 2 for t.
-1
Let k be 4/6 - 2/3. Solve p + 3*b - 14 = k, 5*p + 32 = 3*b + 12 for p.
-1
Suppose k + y - 6*y + 3 = 0, -k = -2*y + 12. Let l be (-6)/(-14) + k/42. Solve 3*u - q - 10 = 0, 4*u - 2*u + q - 5 = l for u.
3
Let d be (-6)/(-18) - (-62)/(-6). Let m be 0 - (-5)/(d/(-6)). Let a(w) = -w**2 + 7*w - 2. Let j be a(6). Solve 6 = 5*z + 2*y, 2*y - m = -j*z + y for z.
0
Let s(y) = -4*y - 4. Let c be s(6). Let f be (-2)/3 + c/(-6). Suppose -8 + 2 = -3*i. Solve -3*v + 0 = -i*t - f, -t + 24 = 5*v for t.
4
Let h be 7/(-2)*(-4)/7. Solve -2*c + 17 = 5*b - h, -4*b + 32 = -4*c for c.
-3
Let r be 1/(-5) + 2/10. Suppose r*q = q. Solve -a + 8 = o - 2, q = 2*o - 3*a + 5 for o.
5
Suppose -3*h = -0*r - 4*r, 2*h = 8. Let z = r - -4. Let x be 16/z - (-10)/(-35). Solve 5*o = x*t - 25, -25 = -0*t + 4*t + 5*o for t.
0
Let t(f) = -f**2 - 14*f - 8. Let r be t(-13). Solve -r*j + 1 = 3*v - 12, 3*j - 15 = 0 for v.
-4
Suppose 4*f + 3*t = -0*f - 3, 0 = -3*t - 15. Solve g = -4*x - 14, f*g = 3*x + 17 + 1 for x.
-4
Let x = 16 - 7. Solve -x = 3*r, 3*v + r + 21 = -r for v.
-5
Let r(q) = -q**2 + 10*q - 14. Let m be r(6). Solve -2*i = 4*o - m, -8 - 1 = -3*o - i for o.
4
Let p(x) = -x + 3. Let v be p(3). Let y(w) = w + 1. Let m be y(v). Suppose -9 = -4*g - m. Solve -2*f = 5*q + 15, 6*q + 12 = 2*f + g*q for f.
0
Let k be (-228)/(-54) - (-2)/(-9). Solve -k*x = -d + 13, 2*x = -4*d - 0*d - 2 for d.
1
Let m(q) = 0 + 2*q - 5 - q**2 - 6*q - 3*q. Let o be m(-5). Let d(j) = j**3 + 8*j**2 + 8*j + 9. Let z be d(-7). Solve o*k + c + 27 = 0, z*k + c + 8 = 2*c for k.
-5
Let g be 64/3 - (-6)/9. Let k = 2 + -2. Suppose r + 2*r - 3*a - 18 = k, 3*r - 5*a - 22 = 0. Solve -q + r = c, -g = -3*c - q - 8 for c.
5
Let z = -13 - -15. Solve -2*t - 4*a + 20 = t, -a + 10 = z*t for t.
4
Let w = -92 - -95. Solve -w*r - r = x - 17, -3*x - 19 = -2*r for x.
-3
Let m be (2/(-2))/(1/(-2)). Solve 5*r = -m*c - 13, 3*r + 5 = -c - 3 for r.
-3
Suppose -r - 3*r = b - 38, -4*r - 2*b + 40 = 0. Let m be 0 + 0 + -5 + r. Suppose m*q = 5*q - 15. Solve -5*z = -q, -9 = -4*d - d + 2*z for d.
3
Let q(z) = z**3 - 5*z**2 - 7*z + 6. Suppose 4*v - 2 = 3*m - 20, -m - 3*v = -6. Let g be q(m). Solve f + 2*x - 5 = 0, f + 4*x - 8*x + 19 = g for f.
-3
Let m = -18 - -21. Suppose 0 = -4*w + 4 + 16. Let l(q) = q**2 - 4*q + 2. Let b be l(w). Solve 5*c - 27 = 3*y, m*c - 3*y + 7 = -b*y for c.
3
Let n(g) = g**2 + 11*g + 13. Let t be n(-10). Solve -5*a + t*a + 8 = -o, a - 3 = 0 for o.
-2
Let d(c) = -2*c - 6 - 2 + 1. Let j be d(-5). Let f be (-9)/6*(-4)/j. Solve -4*q + 8 = 3*u - f*u, u = 4*q - 16 for q.
3
Let m(w) = w**3 - 11*w**2 + 11*w - 8. Let k be m(10). Solve 10 = -4*i - k*o, -15 = 3*i + 3*o - 4*o for i.