- 2*t**2 - t + 2. Let h be v(m). Solve h = -2*p - 7 + 1 for p.
-3
Suppose 1 = -3*a - 5. Let y be -2 + 2 - a/2. Let h be 3*y*18/27. Solve h*d + 12 = 6*d for d.
3
Suppose 12 = -5*j - 3*l, 0 = j - 6*j - 5*l - 20. Let a be (2 - -3) + -1 + 2. Solve j*f = 3*f + a for f.
-2
Let b be 20/25*10/(-4). Let m = 14 + -8. Let v = b + m. Solve -2*u = -v*u - 2 for u.
-1
Let c(z) = -z**3 - 6*z**2 - 2*z - 8. Suppose v = -2*v - 18. Let l be c(v). Solve 0 = l*i - 10 + 2 for i.
2
Let u = 5 + -2. Solve u + 1 = -2*j for j.
-2
Let v = -4 - 4. Let k = -6 - v. Suppose 0 = 2*f - 6, -3*d + 6 = k*f - 3*f. Solve 0 = -5*l - 17 - d for l.
-4
Let r be 2 - (2 + 14)/(-4). Let m be 3/12 + 22/8. Solve m*j - r = j for j.
3
Suppose 2*d - 9 = -0*d + z, -3*z = d + 6. Let a be 3 + (-18)/(5 - 2). Let j = d + a. Solve j = 4*r - 0*r for r.
0
Let m(w) = -3*w**2 + 3 - 3 + 4*w**2 + 4*w. Let y be m(-5). Solve y*g + 6 = -4 for g.
-2
Let c be -1 + 2/(-2 - -4). Suppose -5*w - 5 = -30. Let v(q) = -q**3 + 5*q**2 + 2*q - 4. Let r be v(4). Solve c*t + r = w*t for t.
4
Let v(x) = -x**3 + 4*x**2 + x - 3. Let t be v(4). Suppose -3*y = -3*n + n + t, 4*y = -3*n + 10. Solve -y = h + 2 for h.
-3
Let y = 17 - 17. Solve -t + 4 = -y for t.
4
Let p be 132/16 + 1/(-4) + 1. Solve p + 3 = 4*q for q.
3
Suppose 5*q = 8 + 7. Suppose q*k = -k. Solve k = -2*y + y + 3 for y.
3
Let v(w) be the second derivative of w**3/6 - w**2/2 + 2*w. Let f be v(-4). Let h be -6*1*f/2. Solve 3*y + h = 8*y for y.
3
Let g be (-115)/10*(-3 + 1). Let z = g - 23. Solve -3*u + z*u = -6 for u.
2
Suppose 0 = 5*o + 4*s - 39, 1 = 3*s - 2. Let u = o + 5. Solve 0 = x + 2*x + u for x.
-4
Suppose 17 = 12*u - 7. Solve -u*v + 5 = -v for v.
5
Suppose -12 = -2*f - 4*k, 5*f - 6*k + k = 0. Solve 6*t - 8 = f*t for t.
2
Let w(h) = h**2 - h - 7. Let f be w(0). Let n(z) = -6*z**2 + 11*z - 1 + 5 - 4*z + 0 - z**3. Let o be n(f). Solve o + 0 = 4*q for q.
1
Suppose 3*m - 13 = -5*i, 0 = -3*i + 7*i - m - 24. Let d(t) be the first derivative of -t**4/4 + 7*t**3/3 - 3*t**2 + 2. Let y be d(6). Solve i = -y*b - b for b.
-5
Suppose -t - s - 2 = 4*s, -2*s + 7 = 3*t. Solve -t = -r - 1 for r.
2
Suppose 3*p = 0, -2*x + 4*p + 5 - 1 = 0. Suppose -2*f - f = 5*l - 5, -x*f = 0. Suppose -r - 2*r = -6. Solve -r*o - l = 3 for o.
-2
Let l(j) = 2*j**3. Let a be l(-1). Let d be a - (0 - 5) - 3. Solve -k - 3*k + 16 = d for k.
4
Suppose 3*s + 0*n + 2*n = 18, s = -n + 6. Let g(w) = w + 19. Let f be g(0). Solve -5*v = f + s for v.
-5
Suppose 0 = -21*o + 44 - 2. Suppose 0 = 4*p - r + 1, -p - 4 = -2*p - 4*r. Solve p = -2*s - o for s.
-1
Let v = 30 + -3. Let l = 73 - v. Let q = -26 + l. Solve -2*y - 2*y = -q for y.
5
Let c(j) = j**3 - 10*j**2 - 23*j - 9. Let u be c(12). Solve 20 = u*i + 2*i for i.
4
Let a(q) = q**2 - 21*q + 22. Let n be a(20). Solve 0 = -n*x - 8 - 2 for x.
-5
Suppose -5*x = -2 - 3. Suppose 2*r - 10 = -2*t, -4*t + 10 = -5*r - x. Solve 8 = -t*c - 0 for c.
-2
Suppose 0 = -q - 2*q. Solve -2*w + q = -8 for w.
4
Let a = -17 - -21. Solve -8 = -0*n - a*n for n.
2
Suppose 5*a = 3*z + 1, -3*z + 29 = -0*a + a. Suppose -5*j = -3*g - g - 13, j - z = -g. Let c = j + 6. Solve 2*h = c - 1 for h.
5
Let n(x) = -x**3 - 1. Let s(q) = q**3 + 2*q + 2. Let r(u) = -2*n(u) - s(u). Let d be r(2). Let y be d/5 - 4/(-20). Solve 0 = -v + y + 2 for v.
3
Suppose 23 = -4*z + 107. Let l = z - 15. Suppose l*j - 4*j = 0. Solve j*w + 4 = w for w.
4
Suppose -4*m = 3*u - 3*m, 0 = 4*u + 3*m. Let j = 2 - u. Suppose j*h - 1 = h. Solve -r - 3 = h for r.
-4
Let k be -1 - (4 - (3 - 1)). Let j be (-8)/((-2)/1) + 0. Let r = j + k. Solve -1 = -2*n + r for n.
1
Let o be 4/(-32) - (-175)/56. Solve r = -o*r for r.
0
Suppose 5*h = 3*z - 2*z + 12, -32 = -2*z - 4*h. Let s be z/48 + 5/6. Solve s + 3 = a for a.
4
Let x be 4/(-5)*(-5)/2. Let c be (-14)/21 - x/6. Let j = -1 - c. Solve j = -0*p + 4*p for p.
0
Let a = -10 + 10. Solve 0 = -q - a - 2 for q.
-2
Let n = 9 - -2. Let u = n + -9. Solve u*x = -2*x - 16 for x.
-4
Let i(d) = -d. Let h be i(0). Suppose 2*m = 4*o + 20, -27 = -4*m + 3*o - 12. Solve 2*t + m*t = h for t.
0
Let q(p) be the third derivative of -p**5/60 - 5*p**4/24 + 5*p**3/6 + 2*p**2. Let u be q(-5). Suppose -u = -3*t + 1. Solve -g + t*g - 2 = 0 for g.
2
Suppose 5*q - 15 = 5*j, -4*j + 14 = 2. Suppose 2*x - 1 = 11. Suppose 0 = 9*z - x*z. Solve q*y - y = z for y.
0
Let o = -41 + 41. Solve 3*s - 2*s - 3 = o for s.
3
Suppose 0 = 19*c - 14*c - 5. Solve 5*u + c = 11 for u.
2
Let h = 27 - 25. Solve 1 = -h*z - 1 for z.
-1
Suppose 0 = 3*s + 3*w - 0 + 6, -10 = -4*s + 5*w. Let j = 2 + s. Solve -2*p = j*p for p.
0
Suppose -4*h = -63 + 15. Solve -3 = -5*p + h for p.
3
Let b(c) be the third derivative of c**6/10 + c**4/24 - c**3/6 - 3*c**2. Let l be b(1). Solve l = -5*s + s for s.
-3
Suppose -h + 5*h - 4*p - 12 = 0, 5*h = 2*p + 21. Suppose -g + h*g - 20 = -4*j, 5*g + j = 17. Suppose 5*z - 8 = g*z. Solve -z*x + 0 - 4 = 0 for x.
-1
Suppose 0 = -5*u + 2*u. Suppose -m - 6 + 1 = 0, 10 = -h - 2*m. Solve h = -5*a + 20 - u for a.
4
Let l(y) be the third derivative of y**7/630 - y**4/12 - 2*y**2. Let d(n) be the second derivative of l(n). Let q be d(-1). Solve 4*i - q + 16 = 0 for i.
-3
Suppose -5*w + 572 = -0*y + y, -2 = -y. Let k = w + -48. Suppose -4*l = -k - 34. Solve z = -4*z + l for z.
5
Suppose -2*a = -7*a. Suppose 4*d - 4*b + 12 = a, 4*d + 3*b - 28 = -b. Solve d*s - 8 = -0*s for s.
4
Suppose -5*f + 4*p = 2 - 34, f + p = 1. Solve 6*k = f*k - 2 for k.
-1
Suppose 0 = -4*g - 4. Let h be -2*((-2)/g + -3). Let y = -1 + h. Solve -y + 4 = -q for q.
-3
Suppose -5*u = -4*k - 72, -3*u - 5*k + 2*k + 54 = 0. Suppose -r + u = -0*r + 2*p, 0 = -4*r - 5*p + 55. Solve -3*i + 2 = -r for i.
4
Let h = 9 + -3. Let u be ((-2)/5)/(9/(-90)). Solve u*a = h*a + 8 for a.
-4
Let u(g) = g**3 + 8*g**2 - 6*g + 4. Let f be u(-9). Let m = f - -26. Solve m*t = 5*t for t.
0
Let f be 3 + 1 + (-3 - -2). Suppose u = -f*u - q + 9, 20 = 5*u + 3*q. Solve 0 = -v + 6 - u for v.
5
Suppose 4*c + b - 28 = 0, 0*b = 2*c - b - 8. Solve -3*m + c + 0 = 0 for m.
2
Let z(l) = l**2 + 6*l - 3. Let c be z(-6). Let x be 1/c*0/3. Solve 5*d + 5 = -x for d.
-1
Let z be (0 + 4/6)*-3. Let k = 4 + z. Suppose -h - 4 = -5*h. Solve k*t - h + 11 = 0 for t.
-5
Let w(f) = -f**3 + 2*f**2 - f. Let a be w(1). Let n(b) = b**3 + 6*b**2 - 6*b + 6. Let h be n(-7). Let p be (-1 + 2)*h*a. Solve p = -4*u + 2 + 2 for u.
1
Let w(x) = -x. Let k(j) = -j**3 + 4*j**2 + 3*j. Let p(r) = -k(r) - 4*w(r). Suppose 0 = 4*a + 11 - 27. Let i be p(a). Solve -b = -i + 3 for b.
1
Let r(h) = -h - 4. Let u be (-1 - -2)*(-9 + 3). Let l be r(u). Solve p - l*p - 3 = 0 for p.
-3
Suppose -4*s + 21 = 3*m, 0 = 5*m + 2 - 17. Solve -20 = 2*g + s*g for g.
-4
Suppose -70 = -3*p - 22. Suppose 4*k = -5*s + 10, -2*k - 2*k = 3*s - 14. Suppose -2*h = 5*w + h - 15, h - k = -w. Solve w = -4*q - 0*q + p for q.
4
Let o(i) = i**3 - 6*i**2 - 7*i + 3. Let w be 21*((-5)/3 + 2). Let u be o(w). Let h be 15 - (-1 + u/3). Solve 5*t + 0*t = -h for t.
-3
Let i(b) = -b**2 - 6*b + 5. Let s be i(-6). Let w be (-3)/((-3)/2) - -5. Let o = w - s. Solve -1 = -o*l + 1 for l.
1
Let o(s) = s**3 - 3*s**2 + 3*s - 2. Suppose -3*c - h - 15 = 0, -2 = -c + 4*h - 2*h. Let r be 10/c*36/(-45). Let u be o(r). Solve 0 = -u*x - 3*x - 3 for x.
-1
Suppose -z = r - 1, z - r - 3*r = -4. Solve -y - 3*y - 12 = z for y.
-3
Let l = -12 + 13. Let d = l - -1. Solve -d = i + 1 for i.
-3
Let a(l) = l**2 - 4*l - 2. Let t be a(5). Suppose t*f + 6 = 15. Solve 0 = f*u + 1 + 11 for u.
-4
Let g(c) = 2*c**3 + 2*c**2 - 2*c + 3. Let n be g(2). Suppose 5*p = 7 + n. Suppose -4*d = -4*v, -d = -4*v + p*v - 12. Solve d*o - 6*o - 10 = 0 for o.
-5
Let h be 8 + -1 + 2 + 1. Let k be 5/h + 7/2. Suppose -k*b - b = 0. Solve b = 2*c + 2 + 6 for c.
-4
Let g be 1/3 + (-16)/(-6). Solve -g*w = -3 - 0 for w.
1
Let k = -61 + 65. Solve 2*t - k = 3*t for t.
-4
Let g(i) be the first derivative of -i**2/2 + 27*i - 1. Let b be 2/(-8) - (-3)/12. Let k be g(b). Solve 4*c + k = 7 for c.
-5
Let b be (-21)/(-7 - -10) + (-7)/(-1). Suppose 0 = 2*r - 4*v - 22, r + v - 21 = -2*v. Solve -3*d + b*d = r for d.
-5
Let d(n) = -n**3 - n + 5. Let y be d(0). Suppose -5*v = -3*f + 31, 5*f - 36 = y*v + 19. Suppose -5*a = -f - 8. Solve -2*l - a = 2 for l.
-3
Suppose -4*v - 46 = -5*g - 8*v, -4*v - 14 = -5*g. Suppose x + 2 = 2*f, -2*f + 3*