4, -26 = -5*t - p*i. Solve 2*c + 20 = -t*c for c.
-5
Let q(k) be the second derivative of k**5/20 - 5*k**4/12 - 5*k**3/6 - 5*k**2/2 - k. Let t be q(6). Let z be (0 - t - 3)/(-1). Solve -h - z = -2 for h.
-2
Let l(g) = -21*g**3 - g**2 - g - 1. Let b be l(-1). Solve 3*z = 8*z - b for z.
4
Let w be 3/18 - 59/(-6). Let l = -4 + w. Solve h = -l + 11 for h.
5
Let h = 17 - 2. Solve 5 = 5*c + h for c.
-2
Let h(v) = v**2 + 8*v + 9. Let z be h(-7). Solve -z*g + 6*g = -12 for g.
-3
Suppose 9 + 5 = 7*b. Solve -7*t + b*t - 20 = 0 for t.
-4
Let n = 62 - 54. Solve -5 = 3*s - n*s for s.
1
Let m = 2 - 2. Let p be (-28)/(0 + m + -2). Solve -p - 1 = -3*q for q.
5
Let t(k) = -k. Let f be (-1 - 0)/((-2)/(-4)). Let h be t(f). Suppose v = 4*d + 20, h*d - 5*d - 15 = -2*v. Solve -1 = -v*r + r for r.
-1
Suppose -65 = -2*l - 55. Solve -l*r + 11 = -14 for r.
5
Suppose 8*d - 3*d - 65 = 0. Let f = d - 9. Suppose 5*m - 2*b = -3*b + 15, -5*m - 15 = -5*b. Solve 0 = m*o + 8 - f for o.
-2
Suppose -3*r + 0*l - 5*l = -8, 4*r - 4*l = 0. Solve 4 = t + r for t.
3
Suppose 3*g - c - 23 = 0, 6*c = 2*c - 20. Let z(u) = -u**3 + 3*u**2 + u - 1. Let i be z(3). Solve -i*k + 14 = g for k.
4
Suppose 0 = -3*h - 1 + 10. Let q be 8/12*h + 1. Solve -4*d = -q*d - 2 for d.
2
Suppose j - 3*f = -2*f + 6, -3*j + 28 = -5*f. Solve -v = j - 0 for v.
-1
Let m = -2 - -22. Let a(j) = -j**2 + j. Let h be a(1). Suppose 4*c - 20 + 8 = h. Solve -2*p - c*p = -m for p.
4
Suppose -9 + 101 = 4*o + 3*y, 0 = -3*o + 4*y + 94. Suppose o + 26 = -4*x. Let b = 28 + x. Solve -b = -3*w - 3 for w.
4
Suppose f - 9*f = 0. Solve f*x = x + 5 for x.
-5
Suppose -r - 4 = 4*u, 0 = -4*r - r - u - 1. Suppose -20 = -4*d, -2*i - 3*i - 2*d + 30 = 0. Solve 0 = i*z + 4 - r for z.
-1
Let t = -5 + 8. Suppose -4*n = -3*b + 5*b + 4, -4*b + 6 = n. Solve 0 = b*o - 13 + t for o.
5
Let q(r) = -r**2 + 8*r - 3. Let s(l) = 3*l**2 - 24*l + 8. Let c(p) = -17*q(p) - 6*s(p). Let k be c(8). Solve -d = -k - 2 for d.
5
Suppose 4*u - 24 = -2*u. Solve -4 = u*x - 16 for x.
3
Suppose 0 = -2*m - m - 18. Let v(d) be the second derivative of d**4/12 + d**3/2 + 7*d**2/2 + 2*d. Let b be v(m). Solve -4*n = n + b for n.
-5
Suppose 5*p - 33 = 3*w, -1 = 2*w + 1. Solve 3 = -3*u - p for u.
-3
Let m = 6 + -4. Suppose -7 = -d - m*x, 7*x - 8 = 3*x. Solve -n + 1 = d for n.
-2
Suppose -3 = -4*m - 3*c, -2*c + 4 = -4*m + 2. Suppose m*z = -4*z + 5*j + 18, -10 = -2*z + 3*j. Solve -z*p + 0*p + 8 = 0 for p.
4
Let k = 2 + 4. Let x be (4/k)/((-26)/(-117)). Solve x*f = 9 - 3 for f.
2
Let u be (12 + 6)/(2*1). Let w be u - (4 + 1*-2). Let p be (-1 - -5)*w/4. Solve o + 3 - p = 0 for o.
4
Let c be 2/(-6) - (-2)/6. Suppose v - t + c*t - 7 = 0, -4*v = 2*t - 10. Solve -2*a = -4 - v for a.
4
Let i be ((-3)/9)/(3/(-45)). Suppose 0 = i*r - 22 - 38. Let n = -6 + r. Solve v + 25 = n*v for v.
5
Let h be (5 - 6)/((-2)/(-4)). Let g be 9 + 0 + 1 + h. Solve 0*c = 2*c + g for c.
-4
Let g = -1 - -2. Suppose 1 = -y - 5*j + j, 2*y + 2 = j. Let m be (0/y)/(g + 0). Solve f - 3 = -m*f for f.
3
Suppose 5*c = w - 2, 0 = 4*c - 2*w - 0 + 4. Solve c*f = 2*f - 4 for f.
2
Let a = -169 + 169. Solve -3*l - 12 = -a*l for l.
-4
Let m = 199 + -192. Solve b + m = 3 for b.
-4
Suppose -5*z + 3*z = 4. Let p be 2/10 - z/(-10). Solve -w + 3 + p = 0 for w.
3
Suppose -5*m - 1 = -2*a, 2*m + 7 = 4*a - 3. Suppose 0 = 4*s - 9 + m. Solve 9 = s*r + 3 for r.
3
Let f = 5 - 3. Solve -f*o = o - 3 for o.
1
Let h(a) = a + 3. Let x(s) = s**3 - 6*s**2 - 6*s - 10. Let l be x(7). Let w be h(l). Suppose 0 = -2*r, -4*c - 5*r - 2 + 10 = 0. Solve w = -c*m + 6 + 4 for m.
5
Let y = -80 - -83. Suppose -3*m - 8 + 32 = 0. Solve y*n - 4 = m for n.
4
Suppose 3 = 2*i - 21. Let g = 17 - i. Let m = 1 - 1. Solve -u + g = -m for u.
5
Let p(b) be the second derivative of 1/20*b**5 + 0 - b - 1/4*b**4 + 1/6*b**3 - 3/2*b**2. Let d be p(3). Solve d = -4*w + 2 + 14 for w.
4
Let u = 16 + -8. Suppose -3*s + u = s. Suppose k = -3*i - 15, -2*k + 4*i = 3*i - 5. Solve s*d + k*d = 6 for d.
3
Let b(y) = -y + 14. Let m(x) = -x**2 - 7*x + 10. Let n be m(-7). Let d be b(n). Solve -4*s = -0*s + d for s.
-1
Let g(l) = -l**2. Let a(p) = -p**3 + 7*p**2 - 5*p - 6. Let x be a(6). Let h be g(x). Solve -3 = 3*m - h for m.
-1
Let z = -12 + 12. Solve 6*u - u + 15 = z for u.
-3
Suppose -3*x + 6 = -7*x - 2*r, 3*x + r = -4. Let z be x/((-11)/5 - -2). Solve k = 2*k + z for k.
-5
Suppose 0 = 2*n - 3*n + 3. Let m be (-18)/(-4) - n/6. Solve 3*q + m = -q for q.
-1
Let q = 3 + 2. Suppose l = -2*u + 6, q*u + 9*l - 4*l - 20 = 0. Solve -3 = -u*o + o for o.
3
Let u be (6/(-21))/(2/(-14)). Solve 0 = u*k + k for k.
0
Let u(n) = n**3 + 5*n**2 + 3*n - 11. Let d(r) = -r**2 - r. Let s(j) = 4*d(j) - u(j). Let a be s(-8). Solve a*y = y for y.
0
Let w(v) = -v**2 + 4*v + 16. Let m be w(0). Solve 0 = 3*k + k - m for k.
4
Let g be 17 + 0 - (2 + -1). Suppose 3*v + 9 = 4*v. Solve v = -5*b - g for b.
-5
Suppose -2*g - 2 = -6. Suppose 2*l + 4*w - 12 = 0, 5*w - 4 = 5*l - g*l. Let m = -4 + 7. Solve l*c = m*c for c.
0
Suppose 4*v + 3*q - 7 = 0, -5 = -v - 4*q - 0. Suppose -3*t - 4*a = -32, -4*t + a + a + 6 = 0. Suppose 5*x - 4*d = 4, 0 = x + t*d + 4. Solve v + x = -p for p.
-1
Let f(g) = g**2 - 3*g + 3. Let x be f(3). Solve 6 = -x*k - 6 for k.
-4
Suppose -4*p - 1 = -9. Suppose b + p*l - 16 = 0, 0*b - 4*l = -2*b. Solve -b + 28 = 4*a for a.
5
Let i = -26 - -41. Suppose 0 = -n + 5 - 2. Suppose -n + 6 = 3*z. Solve -4*x - z = i for x.
-4
Suppose -2*s + 4 = -4*n, 3*n + 3 = s + 2*s. Solve 2*a - 4*a + 8 = s for a.
4
Let q be -1*(0 - (4 - -1)). Suppose 4*n - 3*f = -3, -q*n + f + 3*f = 4. Suppose -5*a + 42 - 12 = n. Solve 0 = -y + 4*y + a for y.
-2
Let x(z) = -z**2 - 16*z - 15. Let m be x(-15). Solve -3*u + m*u = -12 for u.
4
Let k = 3 - 0. Suppose i - 11 = -2*m, -4*m + 8*i - 5*i - k = 0. Solve y = m*y for y.
0
Let s(j) = 4*j**2 - j. Let z be s(1). Suppose -9 = 4*f + z*u, 0*f - 2*f - 3*u - 9 = 0. Suppose 0 = 3*g - 4*l - 19, g + f*l = 4*l + 17. Solve -p = -g + 2 for p.
-1
Let i = 16 - 14. Solve 6*a = i*a + 20 for a.
5
Let k be 3/4*8/3. Suppose -5*f = 2*i - 3*f - k, 2*i = 4*f + 8. Solve i*c - 8 = -0 for c.
4
Let z be -5*3/(-5)*(-7 - -8). Solve d - 1 + z = 0 for d.
-2
Let k = 64 + -46. Let w be k/(-4)*4/(-6). Suppose -z = -4*u - 12, -2*z + 2*u + 20 = 2*z. Solve -w = z*l - 15 for l.
3
Let j be 6/(-27) + (-2)/(-9). Solve j*a = 3*a for a.
0
Suppose 6*f - 2*f = 20. Solve -4 = f*t + 1 for t.
-1
Let r(t) = -t**3 - 2*t**2 + 1. Let z be r(1). Let k be (-1 + (-2)/z)/1. Solve 1 + k = -i for i.
-1
Let h(b) = -b**3 + 9*b**2 + 2. Let w be ((-18)/(-1))/(7 + -5). Let x be h(w). Solve k + x*k = 0 for k.
0
Suppose 5*k - 3*k = 8. Let b = k + -2. Suppose -n - 12 = -2*n. Solve -b*f - n = -5*f for f.
4
Let q be -6*(6/9 + -1). Suppose 0*w - q*w = 0. Solve 6*n - 4*n = w for n.
0
Let f = 28 + -23. Suppose 0 = f*z - 0 - 15. Solve z*l - 2*l = -2 for l.
-2
Let t = -19 + 39. Solve 5*m = m - t for m.
-5
Suppose -5*w - 6 = -21, 1 = -4*a + 3*w. Let k be 3*(14/3 + -2). Let s be 1/k + (-75)/(-40). Solve -a*t + 4 = s for t.
1
Let p be (-6)/(-5)*60/18. Solve -19 = -5*m - p for m.
3
Let g be ((-6)/(-4))/(21/308). Solve -7 = 3*a - g for a.
5
Let f be (6/(-9))/(4/(-18)). Solve -f*s + 0 = -9 for s.
3
Let n = 22 + -14. Let x = -11 + n. Let o be (-3)/x - 3 - -5. Solve o*p - 2*p + 1 = 0 for p.
-1
Let w(l) = -l - 12. Let h be w(-16). Solve -7 = -h*x - 27 for x.
-5
Let w(l) = -l + 8*l + 0*l - 2*l. Suppose 4*u = -0*u + 16. Let q be w(u). Solve 3*g = -2*g - q for g.
-4
Let p be ((-12)/10)/(-1 - 21/(-30)). Solve t - p*t - 3 = 0 for t.
-1
Let z = 38 - 34. Solve 22 = -z*h + 6 for h.
-4
Let r(a) = -a + 7. Let m be r(5). Let g(q) = -q + 3. Let h be g(m). Suppose -2*t - k + 1 = 0, 4*t + k - 4 - 1 = 0. Solve t*c = c - h for c.
-1
Suppose -6*w = -7*w + 1. Let u be w + (-1 - (-2 + -6)). Solve 3*n - n - u = 0 for n.
4
Suppose -9 - 21 = -z - 5*q, 4*q = 2*z - 4. Let d = -25 + 27. Suppose -y - 5*f - 13 = -0, -2*f - 10 = -d*y. Solve z = y*l + 2 for l.
4
Suppose 2*d + 3*d - 10 = 0. Solve -3*z = 10 + d for z.
-4
Suppose -2 = 2*y + 3*s - 8, -3*s + 12 = 4*y. Solve 6*v = y*v + 6 for v.
2
Suppose -3*f + 62 = -10. Let m = f - 22. Solve -2*z - 12 = m*z for z.
-3
Let k(s) = -s**2 + 6*s - 3. Let d be k(4). Suppose 4*r = -w + 28, w - 7 = -5*r + 27. Suppose -2*m + 12 = t, -r*m = -3*m + 2*t - 20. S