Suppose 3*f + n - 31 = 0, -5*f - 3 = -4*n - 32. Let c = -4 + f. Solve 0*p + c*p = -10 for p.
-2
Suppose 0*z + 18 = 2*z - 3*p, -4*z = 5*p + 8. Suppose 7 = -0*o + z*o + d, -4*o = -5*d + 16. Let t be o/4 + 234/24. Solve t = -3*n + 1 for n.
-3
Suppose 2*g = -5*m + 2, 5*g = -0*m - m - 18. Suppose -5*r = 3*l - 0*r - 11, 4*r + 2 = 3*l. Suppose -m*a = l*a - 16. Solve -a*n = n + 5 for n.
-1
Let n(y) = y. Suppose 0 = s - 3*s. Let d be n(s). Solve -c = -d - 4 for c.
4
Let c(v) = 2*v. Let n be c(1). Let u(k) = 3*k - 39. Let g be u(15). Solve -g*j = -n*j - 8 for j.
2
Let z(t) be the second derivative of t**3/3 + 2*t. Let v be z(1). Suppose -1 = -d + v. Solve d*c - 16 = -c for c.
4
Let x(q) = -q**3 + 9*q**2 + q + 4. Let f be x(9). Solve 3*c = 4 - f for c.
-3
Suppose 15 = -5*k + 45. Solve -w + k = -3*w for w.
-3
Let p(r) = -r**2 - 7*r - 8. Let z be p(-5). Solve 0 = -z*o - 3*o - 10 for o.
-2
Let l(j) = j**3 + 4*j**2 - j - 4. Let w be l(-4). Suppose -x + 5 + w = 0. Suppose 0 = -4*o - 20, f + 5 = 2*f - o. Solve f = p + x for p.
-5
Suppose 4*q + 12 = -3*s, 5*s - 5 = 4*q + 7. Let g(b) = b**2 + 5. Let n be g(s). Solve -3*j = -n*j for j.
0
Let d be 2 + 2 + -1*5. Let m(a) = -4*a + 1. Let s be m(d). Suppose -r = -3*q + 6 - 4, -q + 3*r - 10 = 0. Solve 3 = q*z - s*z for z.
-1
Suppose 0 = -d + 4 + 2. Suppose -d*a + 3*a + 39 = 0. Solve 0 = -4*c - 1 + a for c.
3
Let r be ((-12)/5)/(9/(-30)). Solve r = j + 3*j for j.
2
Suppose 2*o - 15 = i, 0*i + 25 = o + 3*i. Solve -3*f = -f + o for f.
-5
Let w = 10 - 7. Suppose 0*m = w*m - 27. Solve -t - 2*t = m for t.
-3
Let k be (1/(-12)*-6)/((-2)/(-16)). Solve 0 = k*c - 3*c + 5 for c.
-5
Let h(x) = x**2 + 7*x - 4. Let s be h(5). Suppose n - s = -n. Solve -n = -4*v - 8 for v.
5
Let t(j) = j**2 + 5*j. Let s be t(-6). Suppose 7*i = s*i + 3. Let w be 3 + 0 - 5 - -3. Solve i*c - 5 = w for c.
2
Let r = -7 + 16. Let c be 29/r + (-4)/18. Let a be 0*4*(-3)/(-12). Solve a*h + 3*h = c for h.
1
Let k be (-2 - 0) + (-1 - -3). Suppose -2*a - f = -0*a, k = -5*a - 2*f. Let m be (-1)/(-2)*(2 - 0). Solve 0 = -h - a + m for h.
1
Suppose 2 = -5*a - 3. Let s(q) = -q**3 - 6*q**2 - 4*q + 2. Let b be s(-5). Let u be 3/(a/(b - -2)). Solve 0*o - u*o = 0 for o.
0
Suppose -k - 3*k = -0*k. Solve k*o + 12 = -4*o for o.
-3
Let y(r) = -r**2 + 5*r + 1. Let x be y(5). Let o be 2/1 + x + -1. Solve 3*t + o = 14 for t.
4
Suppose 0 = z - n - 2*n, -n + 50 = 3*z. Let c be 18/z*(56 + -1). Suppose j + j = 3*h - c, 2*h - 52 = 4*j. Solve -3*b - h = b for b.
-5
Let r(j) = 5*j**2 - 2*j - 5. Let q(u) = -4*u**2 + 2*u + 4. Let t(l) = -6*q(l) - 5*r(l). Let n be t(0). Solve -1 = w + n for w.
-2
Suppose -6 = c + 2*c. Let s be ((-8)/(-6) - 2)*-3. Let z = c + s. Solve 5*q + z*q + 5 = 0 for q.
-1
Let d be (-21)/12*4/(-1). Let r = d - 7. Solve -p = -r*p for p.
0
Let c(v) = v**2 - 2*v. Let m be c(3). Let s be (0 - -4)*(-15)/(-6). Suppose 2*o - s = 4. Solve o*h - 4 = m*h for h.
1
Let z = 5 + -3. Suppose w - 5*v - 4 = 0, -w - 2*v + 12 = z*w. Suppose w*c + 15 = 5*d - 5, 4*c + 20 = 2*d. Solve d = -2*b + 3*b + 3 for b.
-3
Let s = 133 - 131. Solve -t - t = s for t.
-1
Suppose 0 = y + 3. Let l = 6 - -2. Let d = l + y. Solve -a + 8 = -d*a for a.
-2
Suppose 5*m - 30 = 4*o, 9 = -3*m - 3*o - 0*o. Suppose -4*i + k = -7, -3*i + 5*k = -m*i + 22. Solve -i = -3*g - 6 for g.
-1
Let l = -3 - 0. Let q(i) be the second derivative of -i**4/12 - i**3/3 + 2*i**2 - 3*i. Let m be q(l). Solve 5*j = 21 - m for j.
4
Let t = -4 - -2. Let h = t - -6. Suppose 3*n - h*m - 15 = 0, 5*m + 19 = 7*n - 3*n. Solve -n + 0 = a for a.
-1
Suppose 0 = 3*n + 2*n - 5. Let x be 2/(-4)*n*-6. Suppose b + 5*i + x - 13 = 0, 19 = 4*b - i. Solve 2*z - b*z = -12 for z.
4
Let i(q) = 0*q - 1 - 3 - 7*q - 2*q**2 + q**2. Let a be i(-6). Suppose 3*m = -v + 3, -a*v + 9 = v. Solve m = -5*w + 2 + 8 for w.
2
Let v(c) = c**3 + 4*c**2 - 10*c + 1. Let h be v(-5). Solve 5*l = -11 + h for l.
3
Let v = -5 - -8. Let f(z) = z**2 - 3*z + 2. Let h be f(v). Solve -3*a - h*a = -15 for a.
3
Suppose -5*w = 4*z - 3 + 2, 5*z + 4*w = 8. Suppose q - 38 = -5*x, 0*q + 3*q + 19 = z*x. Suppose 0 = -5*s + 25. Solve -s*v - 8 = x for v.
-3
Suppose 0*s = 5*s. Solve -5*r = -s*r + 15 for r.
-3
Let w(u) = -u**3 + 19*u**2 - 16*u - 32. Let m be w(18). Solve -12 + 4 = -m*f for f.
2
Let q = 66 - 66. Solve -2*f = -q*f for f.
0
Let v(p) = -p**3 - 13*p**2 - 11*p + 12. Let c be v(-12). Suppose -4*r = -c*r - 5*w - 13, -5*r + w = -11. Suppose -r*y + 8 = -22. Solve -4*i = -i + y for i.
-5
Suppose -2*l - 6 - 5 = -n, 0 = l + 2. Let o(x) = x**2 - x + 0*x - 2*x + 11 - 6*x. Let w be o(8). Solve w*q - 8 = n for q.
5
Let x(d) = -d**3 - 7*d**2 - 12*d - 2. Let z be x(-5). Solve 4 = -g + z for g.
4
Let l be 14/(2 + 0/2). Suppose -3*v + 9 = -t, -23 = -l*v + 2*v - t. Solve x - v = -0*x for x.
4
Suppose -2*s = s + 66. Let q(n) = 16*n - 2. Let p be q(-2). Let z = s - p. Solve z = d - 5*d for d.
-3
Let j(p) = 3*p**2 - 6*p + 3. Let c be j(2). Solve -f + 1 = c for f.
-2
Suppose 4*t - 26 = 5*v, 4 = -0*v - 2*v. Solve -t*l + 4 = -4 for l.
2
Let f be 12/(-2) + (-6)/(-3). Let p = f + 7. Solve p*v = -v - 8 for v.
-2
Let j be ((-9)/(-2) - 2)*2. Suppose 3*i + 0*i = 15. Suppose 2*n + 2 = -i*m, -m - 8 = -4*n + 10. Solve -n*g = -9*g - j for g.
-1
Suppose 0 = -k - 2*k + 15. Suppose 0*j - 5*j = -4*l - 35, 0 = -3*j - k*l - 16. Solve f - j - 1 = 0 for f.
4
Let n(f) = -f**3 + 6*f**2 - 5*f + 3. Let p be n(5). Suppose -z + p = -h + 1, -4 = -4*h + z. Solve 5*c - h*c = 15 for c.
5
Let k be (-1 + -5)*15/(-10). Let l(a) = a - 9. Let d be l(k). Solve d*x = -5*x + 15 for x.
3
Suppose 3*i = -0*i + 6. Let b be i/(-4)*(-12)/1. Suppose b*v - 6 = -4*w + 3*v, 11 = w - 4*v. Solve 4*g = 13 + w for g.
4
Suppose 0 = -b + 3 + 2. Let w = b + -8. Let h = 3 + w. Solve h = f + 4*f for f.
0
Suppose 5*a - a - 20 = 0. Solve 0 = a*x + 5 + 20 for x.
-5
Let k(z) = -z**3 - z + 5. Let c be k(0). Let m(i) = i**3 - 4*i**2 + i + 1. Let s be m(4). Suppose 0 = -s*j - c*w, w = j - w - 15. Solve j*v = 2 + 3 for v.
1
Suppose -11 = 4*t - 27. Solve t*w - 6 - 2 = 0 for w.
2
Let p(o) = o**2 + 3*o - 5. Let i be p(-4). Let a = 2 + i. Let t be 0 + a*0/(-2). Solve t - 5 = -n for n.
5
Let r = 39 - 39. Solve 3*v = -r*v - 6 for v.
-2
Suppose 0 = -j - 4*r, -j + 1 = 5*r + 2. Let w = -4 + 8. Solve -w = -0*d - j*d for d.
1
Let a = 51 + -43. Solve 2*z + 2*z - a = 0 for z.
2
Let k = 21 + -19. Solve 3 = -k*x + x for x.
-3
Let x(s) = 3*s**2 + 4*s + 6. Let k be x(-2). Solve -2*h + 2 = k for h.
-4
Let t be -1 + (-2)/1 - 3. Let v(f) = -f + 7. Let o be v(t). Solve 3*z + o = 1 for z.
-4
Let x(u) be the second derivative of 1/2*u**2 + 1/20*u**5 - u + 0 + 0*u**4 - 1/3*u**3. Let t be x(1). Solve 3*i + i = t for i.
0
Let m(f) = 5*f - 3. Let c be m(2). Suppose c*k = 2*k. Suppose k*v + 20 = 5*v. Solve -14 = v*o + 2 for o.
-4
Let z = 50 - 47. Solve 0 = z*k + 10 + 2 for k.
-4
Let f be 2/3*(-15)/(-5). Suppose -71 = -5*u + a + f*a, -79 = -4*u - 5*a. Solve -3*k - k = u for k.
-4
Let v be (-11 - -12)/(1/3). Let c be -1 + 8/(5 - v). Let q = 4 + 0. Solve -q*s = -c*s - 2 for s.
2
Let p be (1 - -29)*(-12)/(-30). Solve -5*j - p = 8 for j.
-4
Let l = 4 + -4. Suppose -2*s + 8 = -l*s. Let g(c) = -c**3 - c**2 + 3*c + 3. Let x be g(-2). Solve s + x = -5*d for d.
-1
Let x(b) be the third derivative of -b**4/8 + b**3/2 + b**2. Let h be x(2). Let o be (2 + -10)*h/6. Solve 0 = -o*g + g - 12 for g.
-4
Let t be 17 + 0 + 1 + 1. Let d = 27 - t. Solve -d = m + m for m.
-4
Let i(s) = 3*s + 1. Let j be i(1). Solve j*y + 7 + 1 = 0 for y.
-2
Let q(z) = z**2. Let p(l) = -6*l**2 + 3*l - 1. Let f(a) = -p(a) - 5*q(a). Let s be f(4). Suppose -u + 10 = s*x - 6*u, x + 3*u = -6. Solve x = 4*i - 0 - 4 for i.
1
Let v = 110 + -108. Solve -v = -c + 2 for c.
4
Let g be (-15 + 1)*10/(-4). Let m be g/3 + 3/9. Suppose -w = -3*j + 3*w + m, -3 = 2*j + w. Solve j*r = r - 4 for r.
4
Let k be (-8)/(-6)*(-9)/(-2). Solve 0 = -5*g - k + 26 for g.
4
Let y(k) = 5*k + 5*k - 9*k - 4. Let i be y(7). Solve i = o - 0*o for o.
3
Let s be 9/(-3)*44/(-6). Solve 5*z - s = 3 for z.
5
Let u(f) = -f**2 - 5*f - 2. Let k be u(-3). Suppose -3*x = -k*x. Solve x*z - 4 = -2*z for z.
2
Let l(n) be the first derivative of 4*n - n**3 - 1/4*n**4 - 2 + 5/2*n**2. Let w be l(-4). Solve 0*z - 2*z = w for z.
0
Suppose 9*h = 14*h - 15. Suppose 3 = 4*a - 17. Solve b = -