t b(a) = -a**3 + 2*a**2 - a. Let j be b(1). Let v be t(j). Solve n - 4*x + 0*x = v, k = 3*n - 4*x for n.
2
Suppose 0*r = -5*p + 2*r + 27, -4*p - 4*r + 16 = 0. Solve -4*q = -5*w - 2, -12 = p*q - 0*w + w for q.
-2
Let w(z) = z**3 - 2*z**2 + 3*z - 3. Let n be w(2). Let u be 2/(-6) + (-34)/(-3). Let g = u + -7. Solve 0 = v - 2*q - 13, n*v = g*q - 10 + 41 for v.
5
Let n(t) = t**3 + 8*t**2 + 3*t - 9. Let s be n(-7). Solve -2*w = -5*y - 22, 3*w - s = 2*y - 8 for y.
-4
Suppose -24 = -5*x - 3*u, 5*x - 4*u + 21 = 8*x. Solve -l - x*g = -5*l - 8, -3*g + 6 = -3*l for l.
-2
Let a be 12/((9/6)/1). Suppose -a = -5*i + i. Suppose 0 = -u + 2*u - i. Solve -5*z + u*w = 5*w + 34, 20 = -z - 5*w for z.
-5
Let x = -1 - -5. Solve 0 = -2*f + 4*f + 2*w - 10, 0 = x*f - w for f.
1
Let y = -7 - -11. Solve -v - 13 = 2*v - 2*u, v - y*u = -1 for v.
-5
Suppose 0 = -4*y + 7*y. Solve y = -3*v + 4*v - 5*b, 0 = -b for v.
0
Suppose -5*a + 5*y - 60 = -25, 0 = -a - 3*y + 9. Let u = -1 - a. Suppose 3*d + 1 = -t + 21, 4*d - 20 = 0. Solve 3*s + j = -13, s - u*j + 0 = t for s.
-3
Let t(f) = -2*f. Let k(g) = -g - 2. Let l be k(-1). Let b be t(l). Solve 2*y + 0*h = h - 9, 0 = -3*y - b*h - 10 for y.
-4
Let v(u) = u**2 - u. Let g be v(3). Suppose 3*m + 0*m = g. Suppose 2*j = -m*j. Solve -4*x - 8 = j, 0 = 5*l - x + 3 - 0 for l.
-1
Let w(b) = -b - 3. Let o be w(-8). Let n be o - 2 - (0 - 0). Let r(f) = f**3 + 5*f**2 + 4*f + 5. Let j be r(-4). Solve -n*s = i - j*s + 13, -28 = i - 5*s for i.
-3
Let f = 9 + -3. Let x(d) = 3 - f*d - d**3 + 0*d**3 - 6*d**2 - 4. Let v be x(-5). Solve -4*m = v*l, 2*m + 2*l + 3*l = -6 for m.
2
Suppose 5 = -33*v + 38*v. Solve -3*n - 3*r - v = -4, -3*n + r = -19 for n.
5
Let u = 0 + -4. Let n be (-1)/(-2) + (-14)/u. Solve -n*d + 5*i + 1 = 10, -3*d + 5*i = 8 for d.
-1
Suppose -2*w + 4 = 2*w, -c - w + 2 = 0. Let a be -2 + 9 - (1 + c). Solve 25 - 3 = 3*g - 5*k, -6 = -4*g - a*k for g.
4
Let y be (-5)/((-10)/6) - 1. Suppose 5*p - 10 = -4*v, 3*p + 2*p - 3*v = 10. Solve 3*u + 3*z = -18, -p*z + 4 = -y*u - 4 for u.
-5
Suppose 0 = i + 7 - 8. Let v(n) = n**3 + n**2. Let f be v(0). Let b be (f - i)/(2/(-6)). Solve 4*l = -k + 4, -2*l - b = -k - 5*l for k.
0
Let v be 2 + (-2 - (0 - 3)). Let o be v + -2 + -3 - -7. Solve z - 1 = -o*h, -6*z = -3*z - 5*h - 3 for z.
1
Let x(c) be the third derivative of 0*c - 1/60*c**5 - 5/6*c**3 + 1/3*c**4 + 0 + 2*c**2. Let r be x(7). Solve -5*y = -5*g - 5, 3 = r*g + 3*y - 0 for g.
0
Let l = -13 + 13. Suppose l*n = n - 4. Solve 2*h - 15 = 5*h, 2*q - n*h = 14 for q.
-3
Let m(n) = -n**2 - 7*n - 6. Let h be m(-5). Let g be (-1 - 0)/(5/(-25)). Solve -o = g*j - h - 10, j + 2 = o for o.
4
Let c(s) = -2*s - 6. Let x be c(-5). Let d be 22/5 + x/(-10). Solve 3 = -3*t - 5*j - 0, 4*t - 4*j + d = 0 for t.
-1
Suppose 0 = 2*i + 17 - 21. Solve 2*c = 2*q + 10, q + 1 - 2 = -i*c for c.
2
Suppose 0*m + 6 = m. Let g = m + -4. Suppose 3*n - 24 = 3*q, -g*n - 5*q - 10 = 3*n. Solve -18 = -3*x - 2*s, -6*x + n*x - 4*s + 24 = 0 for x.
4
Suppose 5*y - 35 = 65. Solve 0 = 4*g - 5*k - 37, -5*g + 15 + y = -4*k for g.
3
Let c be 4/(-10) - (-48)/20. Let l(z) = 6*z - 1 + z**3 - 6*z**c + 1. Let s be l(5). Solve -2*x - 2*d + 1 = 3, 14 = -2*x - s*d for x.
3
Let h(v) be the second derivative of v**3/3 + 4*v**2 + v. Let k be h(-9). Let z = 15 + k. Solve -z*g = -5*j + 10 - 0, -6 = -3*j + 2*g for j.
2
Let k = -111 - -123. Solve 0 = 3*g + 3*d - k, -g + 12 = -3*g + 2*d for g.
-1
Let p(c) be the second derivative of -c**4/6 + 2*c**3 + c**2 + c. Let z be p(6). Solve a - o = -z, -4*a - 3*o + 2*o = 23 for a.
-5
Suppose 5*y - 8 - 2 = 0. Suppose 5*k = -3*h + h - 15, -4*h = -k - 3. Suppose l + h = y. Solve 2*o = -4*q, -5*q - 1 = l*o - 0*o for o.
2
Let u(o) = 6*o - 32. Let l be u(6). Solve -2*v = -l*k + 8, 0*v = 2*k + 5*v - 4 for k.
2
Let g(z) = 9*z + 1. Let t be g(-1). Let s(i) = -i**2 - 9*i + 9. Let x be s(t). Suppose 5*a - 19 + 4 = 0. Solve 0 = -0*r + a*r + u + 16, -3*r - x = 2*u for r.
-5
Let k(g) = -4*g - 2. Let p be k(-2). Suppose a = -2*a + p. Solve -4*c - 4*t = 20, -a*c = 3*c + t + 21 for c.
-4
Suppose 0 = -5*x - 5 - 0, -c + 6 = -3*x. Suppose 3 = t + 5*u, -2*t - c*u + 8 = 2. Suppose t + 1 = 2*k. Solve 2*z - m = 6*z + k, 6 = -4*z - 3*m for z.
0
Let k be 19/7 - 4/(-14). Suppose -4*t - r = t - 19, k*t = r + 5. Let z(p) = p + 6. Let o be z(-4). Solve -2*u - t*u + o*f + 12 = 0, -4*f = -u + 6 for u.
2
Suppose h + 6 = -14. Let o = -15 - h. Solve w - 6*w - 3*u = 22, 2*w + 5*u = -o for w.
-5
Suppose 5*d = -2*r + 21, 3*d = -2*r - r + 18. Suppose 0 = -4*o + d + 61. Solve 5*k = 5*h + 10, 3*k + 2*h = -0*h + o for k.
4
Let m be (-2)/(8/(-20))*1. Solve -m*u - 2*d = 0, d - 7 = u - 0*d for u.
-2
Let m(n) = -n - 14. Let q be m(-18). Solve -2*k - q*y - 20 = -0*k, y + 5 = 2*k for k.
0
Let t = -26 - -40. Let o be 2 + 0/(-1) - -2. Suppose -o = -3*c + 4*p + 28, -5*p = 25. Solve 2*d - t = c*w, 4*w - d - 3*d = -8 for w.
-5
Let a be 2/3*3 - 2. Suppose 2*t + 3*r + 5 = 0, -t - 4*r = -a*r + 10. Solve -5*g + 3 = -2*k + t, -2*g + 3*k + 7 = 0 for g.
-1
Suppose 5*g - 22 = -2*n, 22 = 2*n - 0*n + g. Solve x = 2*o + n, -2*x + x = -5*o - 20 for x.
5
Let k = 2 + 1. Suppose k*b = 3 + 12. Solve -g + 4*v - v = 0, -12 = -b*g + 3*v for g.
3
Let p = 59 + -26. Solve -5*w - p = 4*v, -v + 18 = 4*w - 8*w for w.
-5
Suppose -k + h = -4*h + 6, -3*k - 3*h = -36. Let i = -6 + k. Solve -3*g = -0*d - 4*d, 5*d + i = 3*g for d.
-3
Let n = -10 - -36. Solve 2*x + 5*s + 20 = -x, 0 = -5*x - s - n for x.
-5
Let m be 120/18*6/4. Let y be (12/m)/((-12)/30). Let c be 0*y*(-3)/9. Solve 5*l - b - 3*b + 2 = c, -2*l = -4*b + 8 for l.
2
Let o(v) be the first derivative of -v**4/4 - 5*v**3/3 - 2*v**2 + 2*v + 4. Let s be o(-4). Let m = 24 - 17. Solve 2*c - 4*k = 16, -2*c - 1 + m = -s*k for c.
-2
Suppose -6*d = -4*d. Solve -2*y - 6 = -2*t, -8 = -2*t - d*y + 3*y for t.
1
Let r be (-3 - (-2 - 1))/1. Solve 0 = 4*s - 3*o - 18, 2*s - 4*o = -r*s + 14 for s.
3
Let h = 27 - 25. Solve -2*j = -3*j + 4*p + 8, -2*j - h*p = 14 for j.
-4
Suppose 2 - 8 = -3*p, 0 = -4*d + p + 6. Solve 3*y = -2*q + 2*y - 7, -5*q - d*y = 19 for q.
-5
Let w(h) = h + 6. Let c = -14 - -7. Let j be w(c). Let i be (-1)/(j + 2) + 6. Solve v = -2*p - 6, -5*p + 8 = -i*v + 38 for v.
2
Suppose -66 = -2*a + d, -d - 39 = -4*a + 89. Solve 13 = -3*h - 5*g, -8*h + 4*h + 3*g + a = 0 for h.
4
Let p(y) = 2 - y + 2 - 4. Let h be p(-7). Suppose 5*a = 4*c - 19, a = 2*c - 2*a - h. Solve 3*v + 3*u - 3 = 0, -3*v + c = -4*v + 3*u for v.
-2
Let n(m) = -m**2 - 1. Let i be n(1). Let d be i/(-10) - (-14)/5. Solve 3*g + 5 = t - 1, -2*g - 4 = d*t for t.
0
Let h be (3/(-9))/((-1)/3). Let m = -45 + 48. Solve -5*r + n - 1 = 0, 3*r + m*n - 2 = h for r.
0
Let d(j) = 2*j + 4. Let o be d(0). Solve 2 = -2*c - o*m, 5 = -4*m + 9*m for c.
-3
Let h = 2 + 0. Let c = 0 + h. Let f = -8 + 12. Solve -f*r = -3*x + 1, c*r + 30 - 2 = -4*x for x.
-5
Let m be (1/2)/(7/14). Solve 3*w + 3*l - 2 = m, -2*l + 2 = 3*w for w.
0
Let f(o) = o**3 + 1. Let w be f(-1). Suppose -5*s + 15 = -5*c, 15 = -5*s - 10*c + 5*c. Suppose b + s*b - 2 = 0. Solve w*k - 4*k = -b*q + 6, 0 = 2*k for q.
3
Let x(p) = p**3 - 14*p**2 + 15*p - 13. Let v(t) = -t**3 + 6*t**2 - 6*t + 5. Let h be v(4). Let c be x(h). Solve -2*b = -10, -c = -2*k - 5*b + 4 for k.
-4
Let y be (10/(-15))/((-2)/81). Let n = y - 25. Solve 0 = -g, 5*d + n = g - 18 for d.
-4
Let s(x) = -x**2 + 3*x + 6. Let d be s(3). Solve -3*a = -2*w - d*a - 13, 2*a = -3*w - 17 for w.
-5
Suppose 18 = -3*o + 6. Let i(x) = -5*x - 5. Let f be i(o). Solve 0 = 5*p - 5*q - f, 3*q = -0*q + 3 for p.
4
Let k be 20/15*(2 + 1). Solve 2*v - 2*p + 4 = 0, -k*v - p = -2*p + 17 for v.
-5
Let z(h) = -h**3 + h - 3. Let o be z(-2). Solve 4*v + 5*p = 10, 3*p - 4 = o*v + 2 for v.
0
Let c be (0 - 4)*(1 + 0). Let s = -3 - c. Suppose -j = l - s, 3*j + 1 = -2*l - 2*j. Solve 0*p - 2 = -5*n + 4*p, 12 = -3*n - l*p for n.
-2
Let h(c) = c - 3. Let x be h(7). Solve -2*k - x = 2*n, 3*k - n - 6 = -0*n for k.
1
Let i be 4/(-6) - (-120)/45. Solve 4 = 2*o - o + d, 5*d + 15 = i*o for o.
5
Let y = -6 + 9. Suppose -k - y = -19. Suppose -m - 4*z = -5*m + 16, 5*m - k = z. Solve i = m*s - 2*i - 9, 7 = s - 2*i for s.
-1
Suppose 9 = -y + 5*h, 2*y - h = 6*y - 6. Let t be (-2)/(-4) - (-2)/4. Let s = t + 3. Solve -q = -5*r - 24, -s*q + y = r - 2*r for q.
-1
Suppose i - 16 = 