f -q**4/12 - 3*q**3/2 + 5*q**2/2 + 9*q. Let j be g(y). Solve -j = 5*s - 0 for s.
-1
Suppose -5*n - d = -45, 17 = -5*n - 3*d + 52. Let i = n - 9. Solve -w + i = -0 for w.
1
Suppose -5*p + 2 = -4*p. Suppose 3 - 9 = -p*x. Solve -d - x = 1 for d.
-4
Suppose -2*w = 2*w - 108. Let n = w - 8. Solve 5*l - 1 - n = 0 for l.
4
Suppose 0*r + 2*d + 26 = 2*r, -5*r + 2*d = -80. Suppose r = 3*w - 2*s, 3*s - 6*s - 1 = 2*w. Let v be 3/(-12) - (-33)/w. Solve -2*u + 6*u = -v for u.
-2
Let l = -1 - -5. Suppose 40 = 5*f + z + 3*z, -3*f - 13 = -5*z. Suppose 4*g + 4 = -2*i, -f*i - 3 + 0 = 3*g. Solve i = -y + l for y.
4
Let p = -5 - -6. Let c be (0/p + -4)/(-2). Suppose -2*r + 2 + 2 = 0. Solve 2 = -r*k - c for k.
-2
Let u(c) = -3*c - 6. Let y be u(-6). Let o(v) = v - 12. Let f be o(y). Solve f + 3 = 3*w for w.
1
Suppose 12 = 4*d - 2*d. Solve t - d = -1 for t.
5
Suppose 0 = 3*m - 3*z - 65 + 2, z + 93 = 5*m. Let r be (m/(-24))/((-1)/4). Solve -1 + 4 = r*i for i.
1
Suppose -3*d = -3*x + 105, 0*x = -x + 4*d + 47. Suppose 0 = -3*h + 6. Let r(p) = 2*p + 1. Let t be r(h). Solve t*l - 6 = -x for l.
-5
Suppose l + 26 = -4. Let f be 265/l + 2/(-12). Let z = -8 - f. Solve -t = -6 + z for t.
5
Suppose n = 5*w + 6, -4*w + 9*w = -3*n + 18. Solve 0 = n*i - 3*i for i.
0
Let x = -22 + 28. Solve 0 = -x*k + 2*k - 12 for k.
-3
Let h(q) = -q + 1. Let u be h(4). Let p = u - -6. Suppose 2*o = -p + 7. Solve -2 - o = -2*f for f.
2
Suppose 0 = -5*d - 6 - 14, -8 = a + 2*d. Suppose a = 5*p + 2*x - 29, -2*p - x = -5*p + 13. Let g(z) = -3*z + 2. Let i be g(-2). Solve -p*k - i = -k for k.
-2
Let y be ((-2)/(-6) - 0)/(27/243). Solve -y*x - x + 4 = 0 for x.
1
Let o(r) = 2*r**2 - 9*r - 3. Let v be o(5). Suppose w + v*w = 0. Solve w = 6*k - k for k.
0
Suppose -26*h = -25*h - 4. Solve -j + 9 = -h*j for j.
-3
Let n(g) = -g**3 - 8*g**2 + 10*g + 1. Let o be n(-9). Let y be (20/6)/(o/(-12)). Solve -y = -3*r + 1 for r.
2
Suppose 3*z - 2*j + 1 = -4, -3*j + 9 = -3*z. Let w = 3 - z. Suppose -5*u + 2 + 1 = -2*s, -4*s + 9 = 5*u. Solve 3*y = w*y - u for y.
-1
Suppose 4*o - 2*l = 16, 3*l - l + 1 = o. Let r(m) = m + 3*m - o*m + 1. Let t be r(1). Solve t = -0*i - 2*i for i.
0
Let x = -7 - -12. Let g(y) = y**2 - 5*y - 7. Let h be g(-3). Solve -4*n + h = x for n.
3
Suppose 0 = -s - 4*k - 6, 3*k + 4 = s + 2*k. Solve s*a + 2 + 2 = 0 for a.
-2
Let u(p) = -p**2 + 21*p + 31. Let v be u(22). Solve 8*m = v*m - 1 for m.
1
Suppose 0 = 24*x - 21*x. Solve -12 = 4*q - x for q.
-3
Suppose -10*x - 3 + 33 = 0. Solve -x*h = -1 - 8 for h.
3
Let z = 0 - -6. Solve -2*y = -0 - z for y.
3
Suppose -5*s - 956 + 216 = 0. Let v be s/(-6) + (-3)/(-9). Solve 0*n = 5*n + v for n.
-5
Suppose 3*j - 37 - 23 = 0. Solve -3*b = b - j for b.
5
Let v(s) = 5*s**2 + s. Suppose y - 2*z + 9 = 0, 0 = y - z - 0*z + 5. Let p be v(y). Solve -p*g + 4 - 12 = 0 for g.
-2
Let d(k) = k**3 - k**2 + k + 10. Let t be d(0). Solve -4*x + t = x for x.
2
Let u(t) be the second derivative of -t**4/12 + 2*t**3/3 - t**2/2 - t. Let y = 9 - 7. Let r be u(y). Solve -2*h = -h + r for h.
-3
Let o be (-128)/(-12)*6/4. Let b = o + -9. Let j = b + -5. Solve 0 = j*g - 3*g + 4 for g.
4
Suppose 4 = -4*g + h - 3*h, -5*g + 2*h + 4 = 0. Let y(n) = n + 2. Let t be y(-2). Suppose -c + 2*c - 6 = t. Solve 2*q = -g + c for q.
3
Let g(k) = k + 2. Let a be g(-2). Suppose -3*x = -a*x - 6. Suppose -75 = -4*d + x*w + w, 5*d - 90 = 3*w. Solve -3*c + d = 3 for c.
4
Let h be (-1 + 1)/(1 + 1). Suppose 0 = 4*g + 4, -4*i - 2*g + 14 = h. Solve 0*l - 8 = -i*l for l.
2
Let a = -51 - -53. Let j = -1 - -3. Solve j*w = -a*w for w.
0
Let a(s) = s**2 + 11*s + 13. Let w be a(-10). Suppose 3*j = -w*l, 0*l = 4*l - 5*j - 36. Solve f - l = -3 for f.
1
Let c(j) = j**3 + 3*j**2 - j - 2. Let h be c(-3). Let f be 28/8 - h/(-2). Solve -f*s + 0*s = -20 for s.
5
Suppose 2*l + 6 = 2*h + l, 0 = -l - 2. Let n = 2 - h. Solve x + 0*x + 4 = n for x.
-4
Let i be 3/(-2)*(-50)/(-15). Let b = 7 + i. Let g = -4 - -6. Solve -g*j = -b + 4 for j.
-1
Let o be (-36)/8*2/(-3) - 1. Solve 0 = c + o*c for c.
0
Let c(w) = 7*w + 71. Let p be c(-10). Let f(a) = a**3 + 3*a**2 + a - 2. Let j be f(-2). Solve j = 3*m - p - 5 for m.
2
Let y(c) = -c + 17. Let g be y(8). Solve -g + 4 = r for r.
-5
Let i(b) = 2*b**2 + 3*b - 4. Suppose -3 = h - 6. Let l be i(h). Suppose 2*j = 5*d + l, -5*j + 14 = -2*d + 4*d. Solve -1 = -3*c - j for c.
-1
Let m(j) = -j**3 - j. Let o be m(0). Solve o = -2*x - 3*x + 15 for x.
3
Let y(l) = l**3 - 6*l**2 + l - 4. Let k be y(6). Let d(b) = -b + 2. Let j be d(-12). Solve -4*f = -k + j for f.
-3
Suppose z + 0*z = 5. Let i = 9 - z. Suppose 4*c = 3*y + y + 16, 2*c - 14 = -i*y. Solve -5 - y = 3*d for d.
-2
Let j be ((-9)/27)/((-2)/18). Solve -j*l - 25 = 2*l for l.
-5
Let l(f) = 8*f + 1. Let q be l(1). Let y = q + -5. Suppose -3*g + 4*s - 15 = -47, -56 = -4*g + 2*s. Solve -y*n + g = -0*n for n.
4
Let m(p) = -p**2 + 6*p - 3. Let i be m(4). Let d = -43 - -31. Let o be 2/((-2)/d - 0). Solve i*a + o = -8 for a.
-4
Let s(h) = -7*h**3 - 2*h**2 - 4*h. Let c(w) = -6*w**3 - w**2 - 3*w. Let r(b) = 6*c(b) - 5*s(b). Let d be r(4). Solve -4*n + d*n - 20 = 0 for n.
5
Let a be 2/(-8) - (-34)/8. Suppose -2*m + a = 3*z - 3*m, 3*m + 12 = -4*z. Solve -y + z*y = -4 for y.
4
Suppose -2*o + 4*o - 4 = 0. Suppose 8 = o*n - 0*n. Suppose 0 = n*h - 2*h - 2. Solve -g + h = -0*g for g.
1
Suppose -4*v = -3*h + 8*h - 10, 2*v + h - 2 = 0. Solve v = 4*c - 0*c - 12 for c.
3
Let t(k) = -k**3 + 3*k**2 - 3*k + 5. Let o(y) = y**3 - 4*y**2 + 4*y - 4. Let m(l) = 3*o(l) + 2*t(l). Let v be m(5). Solve v*b - 22 = -7 for b.
5
Let d = -4 - -5. Let k(s) = 4*s**2. Let i be k(d). Solve i*n + 15 = -n for n.
-3
Suppose -d = -1 - 4. Suppose 25 = z + d. Solve 7*l + z = 3*l for l.
-5
Suppose -4*n + 0*n = 32. Let p = -5 - n. Suppose 2*r + 5*v - 9 + 3 = 0, 0 = -5*r + p*v + 15. Solve 2*l = -r*l - 25 for l.
-5
Suppose -9 = 3*u + 9. Let m be (-44)/u - (-2)/(-6). Let r = -1 - -3. Solve -r*q + m = -1 for q.
4
Suppose -2 = -2*h + 94. Suppose 2*w = 6*w - 3*o - h, -49 = -5*w + o. Solve 0*x = 3*x - w for x.
3
Let h be 2/6*0/8. Solve h*n = -n for n.
0
Let y be -5*(21/15 + -2). Suppose 0 = -y*n - 2*n. Suppose n = -2*i - 3*i + 10. Solve 3*s = -i*s - 20 for s.
-4
Suppose f = -f + 14. Let w be (4 + -1)*(f - 3). Suppose -w = -3*n - n. Solve -n*o + 0 = -12 for o.
4
Suppose 4 = j + j. Suppose 21 = -4*w + 4*v - 7, -4*v + 7 = 3*w. Let m = w + 3. Solve j*l + m = -2 for l.
-1
Let h = -4 - -9. Solve 4*d + h = -d for d.
-1
Let d(z) be the third derivative of z**7/5040 - z**6/144 - z**5/60 - 2*z**2. Let o(v) be the third derivative of d(v). Let a be o(8). Solve 2*w + a*w = 0 for w.
0
Let m = 3 + -1. Suppose -51 = 2*d + d. Let s = 20 + d. Solve m*c - s*c = 0 for c.
0
Let a(p) = p - 1. Let g be a(-1). Let i = g - -7. Let y be (2 - 3)*(1 - 3). Solve y = i*w + 7 for w.
-1
Let x(f) = 3*f - 7. Let i be x(5). Suppose 5*u - 36 = -2*z, -6*z + 30 = 3*u - 2*z. Suppose i*l - u = 5*l. Solve -2 = l*w - 0*w for w.
-1
Let q be (-4)/8*(-116)/2. Let c = q - 19. Suppose -4*s + 3*s = -c. Solve -s = -4*p - p for p.
2
Suppose -2 = -2*n + 6. Let s(o) = 2*o**2 + 8*o + 3. Let v(r) = -3*r**2 - 15*r - 7. Let p(z) = -5*s(z) - 3*v(z). Let u be p(6). Solve 3*g + n + 2 = u for g.
-2
Let n = -3 - -3. Solve n*y = -y for y.
0
Let x = 4 - 3. Suppose 1 = 2*k - x. Let a be (-4)/10*(-10 + 0). Solve -3*u = -a*u - k for u.
-1
Suppose 3*q - 6 = -0*y - 2*y, 0 = -5*y + 3*q - 6. Solve 3*s - 6 + 3 = y for s.
1
Let x(s) = -2*s - 5. Let m(t) = t**3 - 10*t**2 + 10*t - 13. Let r be m(9). Let y be x(r). Solve 2*n = -1 + y for n.
1
Let a be (-16)/56 + 9/7. Let b = -1 + a. Solve -15 = -b*g + 5*g for g.
-3
Suppose -5*h + 60 = -5*u - 70, 2*h - 3*u - 49 = 0. Suppose 5*p - k = -3 + 25, -3*k = 4*p - h. Solve -7 = p*r + 18 for r.
-5
Suppose -o - 1 = -5. Suppose -15 = -o*n - n. Solve 0 = -n*y + 2 + 7 for y.
3
Suppose -6 = 5*y - 56. Suppose 0*i - i - y = 4*w, -3 = 3*i + 3*w. Solve -u - 15 = i*u for u.
-5
Let o = -10 + 3. Let n = o - -11. Solve 1 + 11 = -n*g for g.
-3
Let n = -79 + 84. Solve n*u = -11 - 9 for u.
-4
Let i(m) = -m - 3. Suppose 3*f + f = -20. Let c be i(f). Solve -b + 1 = -c*b for b.
-1
Suppose -8 = 5*h - 58. Let o be 34/h - (-8)/(-20). Solve 0 + 12 = o*l for l.
4
Let f(d) = -d**2 + 25. Let g be f(0). Let k = 15 - g. Let m = 18 + k. Solve -2*c - m + 0 = 