 = q - 10. Let k be z(14). Solve -2 = -k*p - 10 for p.
-2
Suppose -3*u - 1 = -16. Let k = -2 + u. Solve k*o + 3 = 2*o for o.
-3
Suppose 5*v + 2*x = 85, 5*x + 12 + 8 = 3*v. Suppose -5 = 4*c + 11. Let u(y) = y + 6. Let o be u(c). Solve -o*m = m + v for m.
-5
Let l = -3 + 1. Let x = 8 + l. Solve x = -4*n - 10 for n.
-4
Let k = -7 - -11. Let m = 4 - k. Let z(p) = -p. Let g be z(m). Solve -d - 2*d - 12 = g for d.
-4
Let u(y) = y**3 - 3*y**2 + 2. Let g be u(3). Let z be (-1)/(g*2/(-20)). Suppose -2*v = -4*v + 4, 3*m - z*v = -4. Solve -2 - m = -4*r for r.
1
Suppose 4*h + 1 = -x + 5, -4*x + 2*h = -16. Suppose -38 = -4*z - 5*q, 4 = -z - x*q + 8. Solve f = 5*f + z for f.
-3
Let u(y) be the first derivative of -y**3/3 + 8*y + 5. Let d be u(0). Solve -l - l = -d for l.
4
Let d = 158 - 156. Let k(x) = -x**2 - 2*x + 3. Let r be k(-3). Solve -d*y - 3*y = r for y.
0
Let z be (-1 + (0 - -1))*-1. Let v(k) = 2*k + 4. Let u be v(0). Suppose 2*b + 2*h + 10 = 0, -b + z*b = -u*h - 20. Solve b*c + 6 = 3*c for c.
2
Suppose 0 = 2*v + 28 - 28. Solve 5*m + 10 + 0 = v for m.
-2
Let z(j) = -8 + 8*j + 10*j**2 - 1 + 8*j**3 - 7*j**3. Let p be z(-9). Solve 2*o = -p + 8 for o.
4
Let w(z) = 2*z**2 + 9*z - 2. Suppose -c - 7 = o + o, 5*c - 4*o + 21 = 0. Let s be w(c). Solve g + 1 = s for g.
2
Let w = 9 + -4. Solve w + 10 = -5*t for t.
-3
Let p = 6 - 4. Suppose 17 = 4*j + 3*b, 0*b + 7 = 2*j + b. Suppose -p*g + 4 - j = 0. Solve 4*f = 3 + g for f.
1
Suppose -k + 2*o - 15 + 7 = 0, -5*k = -3*o + 5. Solve -5*y + 3 = -k for y.
1
Suppose -5*p + 0*p + 12 = 4*d, 5*d = 4*p - 26. Let k be p/12 + 11/3. Solve 1 = j - k for j.
5
Let r(l) = 11*l**3 + l**2 - l + 1. Let j = 4 - 3. Let c be r(j). Let d(z) = -z**2 - z. Let k be d(-1). Solve k = -2*t - 2*t + c for t.
3
Suppose -47 = -4*r - 19. Suppose r*c = 2*c + 20. Solve -z = -c*z for z.
0
Let i(h) = 7. Let t(n) = -n. Let l(a) = -i(a) + t(a). Let c be l(-7). Solve c*k = 4*k for k.
0
Let d(l) = l**3 - 6*l**2 + l - 2. Let w be (-112)/(-18) - (-6)/(-27). Let c be d(w). Solve -a - c = -2*a for a.
4
Let a(y) = -2*y + 14. Let x be a(6). Solve m - x - 1 = 0 for m.
3
Let d(j) be the second derivative of j + 0 + 15/2*j**2 - 1/6*j**3. Let t be d(0). Solve 0 = 2*f - 7*f + t for f.
3
Let g(y) = y - 7. Let p be g(7). Let d be p*(2 + 1/(-1)). Let a = d + 5. Solve -a = -3*r - 14 for r.
-3
Let u = -7 - -14. Let w be (u/(-1))/((-2)/2). Let y = -5 + 9. Solve -23 + w = -y*f for f.
4
Let q(y) = -y - 2. Let r be q(7). Let x = -9 - r. Suppose x = -k - 4*b - 14, 3*k - 4*k + 4*b + 18 = 0. Solve 0 = k*l + l for l.
0
Let d = -31 + 17. Let j = 17 + d. Solve -s = j - 2 for s.
-1
Suppose 5*i + 3*l = l - 21, 2*i + 15 = -3*l. Let n be ((-28)/(-21))/((-2)/i). Solve n*k - 8 = -0*k for k.
4
Let f = -51 + 55. Solve 0 = -s - s + f for s.
2
Let h(f) = -f**3 - 5*f**2 - 2*f - 6. Let y be 1/3 + (-16)/3. Let s be h(y). Solve -3*o + s*o - 3 = 0 for o.
3
Let l(s) = -s - 3. Let v = 0 + 0. Suppose v*q = -q - 3. Let u be l(q). Solve 5*g + 2 + 13 = u for g.
-3
Let u = -46 + 58. Solve 0 = 4*z - u for z.
3
Let d = 90 + -87. Solve 0 = -d*g - 3 - 6 for g.
-3
Suppose -7*y + 5 + 23 = 0. Solve -l - 1 = -y for l.
3
Let j be -17 + 8/(-2 - 2). Let k = -16 - j. Solve p = k + 2 for p.
5
Suppose -8 = 5*k + 22. Let v(w) = w + 8. Let q(z) = -z - 7. Let g(o) = 6*q(o) + 5*v(o). Let s be g(k). Solve x - 15 = s*x for x.
-5
Let o be ((-2)/(-12) + 10/12)/1. Solve -3 - o = 4*q for q.
-1
Suppose -n - j + 6 = 2*j, 3*j - 12 = -3*n. Solve n*h = 6*h + 12 for h.
-4
Let j(m) = m - 1. Let w be j(3). Let l be (-15)/(-10)*8/3. Suppose 2*p - 36 = 3*h, 4*p - 72 = -5*h - 0*h. Solve l*o + p = -w for o.
-5
Let g(v) = v**3 + v**2 - 2*v - 2. Let d be g(-2). Let w be d/(-3)*(0 + -6). Let z be w/18 - 6/(-27). Solve 2*c - 5 - 3 = z for c.
4
Suppose -2*m + 13 - 3 = 0. Suppose 0 = -5*l - 5*z + 20, -2*z - z = 2*l - 9. Suppose 0 = -n + 2*q, 0*n + 3*q = -l*n + 36. Solve -m*j = n + 7 for j.
-3
Let a = -1 - -5. Suppose -a + 22 = b. Suppose -3*h - b = -3*g, -3*g + 0*g + 4*h = -19. Solve 6 - 31 = -g*k for k.
5
Let c(z) = -z**2 + 8*z + 8. Let x be c(8). Solve x = g + 3*g for g.
2
Suppose -5*a = 17 + 18. Let g(d) = d**2 + 7*d + 6. Let r be g(a). Solve 0 = r*o - o for o.
0
Suppose 0 = -3*a + 54 + 15. Suppose 2*i + 17 = -i + 4*o, 5*o - a = 2*i. Solve i = 3*t - 5 for t.
2
Suppose -t = -p + 4, 4*p + 3*t = 2*t - 4. Let y(x) = x**3 - x**2 - x + 2. Let v be y(p). Let b = v - 2. Solve b = -a + 2*a + 3 for a.
-3
Suppose -5*k + 16 = 4*a, a - 10 = k + 3. Suppose -5*m + a = 2*j - 26, 4*j = -m + 97. Suppose -v + y = 3*v + 1, -y + 1 = 2*v. Solve -6*b + b - j = v for b.
-5
Let r(j) = -j**2 - 3*j + 6. Let s be r(-4). Solve -s*h = h + 3 for h.
-1
Let i be 1*4 - (0 + (0 - -2)). Solve b = -i + 5 for b.
3
Let w be (-1)/(-1)*(-1 + 3). Solve 4*k - w*k = 0 for k.
0
Let i = -77 + 84. Solve i*d - 15 = 4*d for d.
5
Let y = -9 + 5. Let w = y + 12. Solve -2*a - w - 2 = 0 for a.
-5
Suppose -4*r - 13 = 5*x, 0 = 3*r - 0*x - 2*x - 19. Let q(p) = -p**3 + 4*p**2 - p - 4. Let l be q(r). Solve l*v - 3*v - 1 = 0 for v.
-1
Suppose -2*m = -2*f - 6*m - 18, -9 = -4*f + m. Solve -f = j + 2 for j.
-3
Suppose 0 - 3 = -3*t. Let n be (32/4)/(t - -1). Solve o - n = -0 for o.
4
Let d = -10 - -15. Suppose -3*s + 1 + d = 0. Solve s*r - 4 = 3*r for r.
-4
Let m = 9 - -4. Suppose 3*r - 37 = 5*l, r + r = l + m. Solve 4*p - 8 = -r for p.
1
Let d(n) = -n**2 + 2*n. Let w = -2 + 4. Let l be d(w). Solve -3*x - 5 - 7 = l for x.
-4
Let j(t) = -t - 13. Let f be j(-16). Suppose -5*l + 30 = 5*m, 3*l = 2*l + 4. Suppose 0 = -5*n + 2*k - 3 + 29, 17 = m*n - f*k. Solve 1 = g + n for g.
-3
Let h = -2 + 2. Let a = 3 + h. Solve -3 = a*l - 4*l for l.
3
Let x = 11 + -7. Let l = x + 2. Let k be 16/(l/3)*2. Solve 6*m = 2*m + k for m.
4
Let q = -35 - -38. Solve 1 = q*h - 2 for h.
1
Suppose 5*l = -5*n + 40, l = n - 2*l. Suppose v - 3*v + n = 0. Solve v*y + 2 = 4*y for y.
2
Suppose -7*b - 63 = -10*b. Suppose b = -0*s + 7*s. Solve s*c = -1 + 7 for c.
2
Let c be 1*-1*1/3*-9. Solve n = -6 + c for n.
-3
Let v = 3 + 6. Let j be (3/v)/(1/(-3)). Let i = j - -3. Solve -q = -i*q for q.
0
Let r be (-7)/(105/10)*6/(-4). Solve -3*i - r = -4 for i.
1
Let p be -3 + (1 - (-4)/4) + 1. Solve 4*n - 1 - 7 = p for n.
2
Let d = 3 - 0. Suppose -3*g - 13 = 11. Let b be g/(-1) + 0 + -2. Solve 0 = -3*j - d - b for j.
-3
Suppose -4 = -4*l + 8. Let d be ((-5)/4)/(1/(-12)). Suppose y - d = 4*o, 2*y + 0*o - 15 = l*o. Solve -4*j - 1 = y for j.
-1
Suppose 0 = -3*f + 5*h - 0 - 5, 3*f - 3 = -3*h. Let t(d) = -d**3 - 9*d**2 - 8*d + 5. Let o be t(-8). Suppose -o*l + 2*l = -3. Solve f*c - c - l = 0 for c.
-1
Let t(w) = 5*w - 30. Let k(g) = g - 6. Let r(m) = -11*k(m) + 2*t(m). Let x be r(3). Solve 0 = 3*o - 0*o + x for o.
-1
Let c(h) be the second derivative of -h**4/12 - 5*h**3/6 - 2*h**2 + h. Let i be c(-3). Solve -s + 1 = -i for s.
3
Suppose 0 = -4*u + 4 + 8. Suppose 0 = u*i - 2*i - 4. Solve -2*w = -i*w + 8 for w.
4
Let s be 3 - (-1 - (-4)/1). Suppose -15 = -s*h - 3*h. Solve 4*u = h + 3 for u.
2
Let y = 80 - 42. Let n be (-3)/(-6) + y/4. Solve 5*k = -n - 5 for k.
-3
Suppose -348 = 4*z - 1060. Suppose -5*j - 18 + z = 0. Let s be 376/j + 2/8. Solve -6*w + 2*w = -s for w.
3
Suppose 0 = 5*c + 1 - 11. Solve 0 = c*i + 6 - 0 for i.
-3
Let l(t) = -t**2 + 4*t + 7. Let s be l(5). Let v be -4 - (1 - (-1 - 0)). Let i be (s - (-9)/v)*0. Solve x - 5 = -i for x.
5
Suppose 5 = 3*k + 4*b - 2, -4*b = 2*k - 2. Solve k = 5*w + 25 for w.
-4
Let w(j) be the first derivative of -j**2/2 + 6*j + 19. Suppose -f + 15 = -4*f. Let a be w(f). Solve 4*q - a = -3 for q.
2
Let h be (-1*1)/1*3. Let g = -18 + 16. Let w be (h + 1 - g) + 0. Solve -3*y + w = 6 for y.
-2
Let j(h) = -h**2 - 7*h - 2. Let z be j(-7). Let l be (-39)/(-12) - z/(-8). Solve 0 = l*q + 11 - 2 for q.
-3
Let k(u) be the first derivative of -u**2/2 - 7*u + 1. Let i be k(-9). Let y(o) = o**3 - 5*o**2 + o + 1. Let c be y(5). Solve i*s = c*s + 12 for s.
-3
Suppose -5*l - b + 25 = 2*b, -15 = 3*b. Suppose x - l = -2*q - 3, 5*q + 10 = 5*x. Solve 9 - x = 2*j for j.
3
Let t(x) = -x. Let d be t(-6). Let p = -11 + 15. Solve p*k + 14 + d = 0 for k.
-5
Let j be 54 - 3/(3/(-2)). Suppose 0 = 4*k + k + 5*z - 50, -4*k + 4*z = -j. Solve -k = 2*q - 4 for q.
-4
Let f be ((-12)/(-15))/((-4)/(-10)). Solve -2*w + 16 = f*w for w.
4
Let l(g) be