 Suppose 2 = -a*d + d. Let j(q) = 4*q + 1. Let z be j(1). Solve 2*s - 17 = -z*p, -d = -3*s - 2*p - 4 for s.
-4
Let n(c) = -c**3 + 9*c**2 + 2*c - 14. Let s be n(9). Solve s*g = 2*z - 5 + 1, 0 = 5*z - 5*g for z.
-2
Let y(s) = -s**3 + s**2 + 3*s - 2. Let q be y(-2). Solve 5*f - 8 = 4*r, -6*f + q*f - 6 = 3*r for f.
0
Let n be ((-1)/(-3))/(1/6). Suppose 3*f - n*f = 51. Suppose 2*y - f = -y. Solve 0 = r + 5*a + 9, 0*r - y = 3*r + 5*a for r.
-4
Let n be (-2)/10 + (-522)/15. Let v = 64 + n. Solve -5*d - 4 + v = 0, 2*t - 6 = -2*d for t.
-2
Suppose 0 = 11*i - 6*i - 25. Solve -m = -2*h + 6 + i, -m + 9 = 3*h for h.
4
Let x = 9 + -6. Suppose 0 = -5*g + 10 - 0. Let n(a) = a. Let t be n(g). Solve x*b = -4*y - 7, -t*y + b + 0*b = 1 for y.
-1
Suppose 3*r - 6 = 0, 2*r = -v + 7*r - 9. Suppose 0 = 5*u - 19 - v. Suppose 6*x - u = 4*x. Solve 9 = -m - 3*i, -x = i - 0 for m.
-3
Suppose -2*u + 7*u = 0. Suppose 0 = -5*n + 4*s - 5, -3*n + 0*s - 4*s + 29 = u. Suppose -n*w = -4*w. Solve 0 = -3*l - x + 2*x - 11, 4*l - x + 16 = w for l.
-5
Let i be (-20)/(-15)*3/(-1). Let b(z) = z**2 - 3*z - 3. Let w be b(i). Solve -g = -p - 10, 2*p = 4*p - 3*g + w for p.
-5
Suppose -2*k + 35 = -q - k, 0 = -2*q + 5*k - 61. Let o be -2 - -6 - 4 - -58. Let y = q + o. Solve 0 = -5*d + 3*j - 22, 0*j + y = 5*j for d.
-2
Let b(m) = m**2 + m - 2. Let n be b(-3). Solve -4*g + 8 = -4*s, -n*g = -0*s + 3*s + 20 for g.
-2
Let i(h) = h - 4. Let j be i(5). Solve -j = -z - 4*n - 10, -10 = 5*n for z.
-1
Let k = -7 - -11. Let i(f) be the second derivative of f**5/20 - 5*f**3/6 + 3*f**2/2 - 4*f. Let n be i(3). Solve -4*l = -3*x - 2 - n, -11 = -3*l + k*x for l.
5
Let w be (7/(-2))/(1/(-2)). Suppose -4*t = -5 - w. Suppose -2*a + 2 + 2 = 0, y = t*a - 1. Solve y*u - 30 = -5*k, 3*u + 0*k = 3*k for u.
3
Let r = -6 + 11. Suppose -r*z + 9 = -1. Suppose 4*k - 10 = z*k. Solve -4*f = k*b - 1, 5*f + 11 = 3*b + 3 for b.
1
Suppose 4*q + 6 = 14. Let n = 10 + q. Solve -3*p + 4*x - n = 0, 3*p - 3 = -p - x for p.
0
Let s(a) be the first derivative of a**3/3 - a**2 - a + 2. Let m be s(-1). Solve -3*n + 4 = m*i, 3*i - 3*n - 8 = 13 for i.
5
Let a(j) = -j + 10. Let p be a(7). Solve 4*i = 3*x - 20, 0 = 2*i - p*x + 12 + 4 for i.
-2
Suppose 0*y + 2*h - 38 = -2*y, 3*y = 5*h + 41. Solve -s + 4*a - y = 0, -2*a - 40 = -5*s - 7*a for s.
3
Let r(m) = -18 + 6*m**2 - m**3 + 13 + 0*m**3 + m. Let u be r(6). Let k be (-22)/(-5) - (-2)/(-5). Solve -4*n = v - 18 - u, 20 = 2*n + k*v for n.
4
Let z = -2 + 7. Suppose 5*b = -4*q - z, -q - 4*b = -0*q + 15. Suppose -q*n + 19 = a, -n + 3*a = 4 + 5. Solve -3*j = j - n*g + 25, 2*j - g = -11 for j.
-4
Suppose -g = -0 - 2. Suppose 2*i - 10 = -5*y, -y = 2*i - 4 + g. Solve 0*o - o + 5*z = -24, i = 4*o + z + 9 for o.
-1
Let f(v) = -v**2 + 6*v - 5. Let o be f(5). Solve 3*t + t = 0, -4*a - t = o for a.
0
Let l(z) = -2*z**2 + 3*z + 1. Let u(n) = 5*n**2 - 7*n - 3. Let c(h) = 9*l(h) + 4*u(h). Let t be c(3). Solve v - 4*v + 3*g = t, 2*g - 13 = 3*v for v.
-5
Suppose 4*c - 3*j - 1 = 3, 0 = -2*c + 5*j - 12. Suppose 3*m - 2 = 2*k, -m - 27 = -3*k - c*m. Solve k*z - 2*d - 24 = 0, 13 = 5*z + 5*d + 3 for z.
4
Let i(u) = u**3 + 3*u**2 - 4*u + 2. Suppose -5*q - 16 = -q. Let k be i(q). Suppose -k*x = -3*x. Solve -c - 2*c + 4*z + 1 = x, -4*c + 5*z = 0 for c.
-5
Let n be (16/40)/((-4)/(-50)). Solve 2*v - n*q + 12 = -3*q, -q + 3 = 2*v for v.
-1
Let d(s) = 2*s**3 + 3*s**2 + 5*s + 14. Let v be d(-2). Let r = 2 - -2. Solve v = 4*m + 2*h + 8, -1 + 5 = 4*m - r*h for m.
-1
Let n be 12/(-16)*-6*4. Let b = n - 15. Solve -b*p = 3*z - 6, -z - 18 = p - 5*z for p.
-2
Let x(p) = p**2 - 7*p + p + 9 - 3*p. Let a be x(8). Let h be (-2)/1 - (a - 5). Solve 5*r + 7 = -h*v - 10, 0 = 3*v - 4*r - 32 for v.
4
Suppose -2*d = -5*h + h + 2, -h + 14 = 4*d. Suppose -3*b + d*k + 69 = -0*b, 2*k = -b + 23. Solve 4*q - 5*l - b = 2*q, 4*q = -l + 13 for q.
4
Suppose 2*n + 12 = 8*n. Solve n*q - 7*q + 11 = -4*r, -q - 4*r = -7 for q.
3
Suppose 5*r = 55 + 15. Solve -3*u = 2*j - r, -2*u + 5*j + 3 + 0 = 0 for u.
4
Suppose -5*f - 4*q = -11 - 11, -3*f + 3*q + 24 = 0. Solve f = t - z + 3, -t = 4*z - 13 for t.
5
Let r(z) be the third derivative of -z**5/60 - z**4/8 + z**3/2 + z**2. Let k = 13 + -16. Let n be r(k). Solve n*g + 9 = -4*m, -5*m = -0*g + 2*g + 6 for m.
0
Let g = -5 - 7. Let r be g/(-42) + (-2)/7. Solve 2*p - 4 = j - 2*j, r = 3*p - 2*j - 20 for p.
4
Let n be (-5)/(-6)*(-114)/(-19). Solve i - 27 = -0*b - 5*b, -3*b + 25 = n*i for i.
2
Let h(z) = 3*z**2 + 6*z - 7. Let f(l) = -2*l**2 - 6*l + 6. Let o(n) = 4*f(n) + 3*h(n). Let t be o(6). Solve 0 = -4*r - 3*k - 14, -t*k - 4 = -0*r + 2*r for r.
-5
Let p be (1/(-2))/(4/(-32)). Suppose 5*v = -4*r + 6 + 2, 2*v = 2*r - p. Solve -r*q + 2*y + 12 = 0, -2*y = q + 2*y + 19 for q.
1
Let c(s) = 14*s - 1. Let z be c(3). Suppose -13 + z = -4*o. Let l = o - -11. Solve -3*t + 24 = 5*g + t, -2*g - l*t = -12 for g.
4
Suppose -4*v + 17 = 3*y, -2*v - v + 18 = 4*y. Let k be 0 + (7 - v/1). Solve -2*r + 14 = k*n, r - 2 = 3*n - 6 for r.
2
Let p = 7 + -6. Solve -4*m = 2*v - 2, -p = m + 4*v + 2 for m.
1
Let c = -56 + 59. Solve 0*v - 2*m = v - 8, c = v + m for v.
-2
Let w(k) = -2*k + 13. Let g be w(5). Solve -g = o, -2*t = -0*o + 5*o + 13 for t.
1
Let f(v) = -5*v**3 + 2*v**2 + 4*v + 2. Let t be f(-1). Let a(s) = -s**2 + 4*s + 5. Let w be a(4). Solve r = -g - 1, t*r - 3*g + w = -0 for r.
-1
Let j(h) = -7 + 3*h + 0*h - 9*h + 5*h + h**2. Suppose 2 = -c + 7. Let k be j(c). Solve 0 = 3*y - 2*s - k, -3*s = -2*s + 2 for y.
3
Suppose -3 = -3*s + 3. Solve m = 4*m - 2*t + 7, 2*m + s*t + 18 = 0 for m.
-5
Let y(j) = -j - 3. Let r(v) = -6*v**3 + v**2 + v - 1. Let b be r(1). Let i be y(b). Solve 0 = 4*f - h - 8 - 12, -2*f - i*h + 10 = 0 for f.
5
Suppose k + 4*k - 20 = 0. Solve k*m + m + 4*f = -13, 2*f + 19 = -5*m for m.
-5
Let i = -14 - -16. Solve -5*b + 4*l = 36, -i*l = -4*b - 1 - 23 for b.
-4
Let q(n) = -n + 6. Let b be q(6). Suppose -o - o + 36 = b. Solve 0 = -y - 4*p - 27 + 5, -2*p - o = 4*y for y.
-2
Suppose 10 = 3*m - 20. Suppose -2*r = 2*r - 4. Let o = -29 + 34. Solve i + 2*z + r = -6, i + m = -o*z for i.
-5
Let n(q) = 4*q - 5. Let k be n(2). Solve k*d + 5*j - 24 = j, -d + 4*j = 8 for d.
4
Suppose -2*d = 5*i - 12 + 1, -3*d + 4 = -5*i. Solve 3*q = -4*n - 16, 2*q + d*n + 17 - 5 = 0 for q.
0
Let q(l) = -l**3 + 5*l**2 - 4*l + 2. Let o be q(4). Let r = o - 1. Solve 4*c = f + r, -2*f - 2*f - 16 = -4*c for c.
-1
Let x be (-13)/(-7) - 1*4/(-28). Solve g - 3*s - 3 = 0, 6 = x*g - s + 3*s for g.
3
Suppose 0 = 2*h + h - 30. Suppose 0 = -f - 4*r - h, 0*r - 4*r - 20 = 0. Suppose -5*j + f + 10 = 0. Solve 15 = -j*z - z, -z = -5*n + 13 for n.
2
Suppose 0 = 3*g + 2*g - 10. Solve g*k + 14 = 4*t, -5*k - 5*t = -0*t - 40 for k.
3
Suppose -2*a + 4 = -0. Suppose n - 5*j - 2 = 0, -a*n + 3*j = 3*n + 12. Let c be 0/(-4*n/6). Solve -x - x - 4 = -4*h, c = 4*h - 3*x for h.
3
Let g(h) = h**3 - 2*h**2 - 3*h + 3. Let x be (1/(-2))/(2/(-12)). Let j be g(x). Solve -2*z - 3 = o + 4, -3*o + 15 = -j*z for o.
1
Let v(f) = -2*f - 13. Let s be v(-9). Let c(z) = -2*z**2 + z**3 + 1 + 6*z + 2*z**2 - 6*z**2. Let l be c(s). Solve 5*y - 2 - 7 = -2*m, 4*m = -2*y - l for y.
3
Let j(z) = z**3 + z**2 - 6*z + 3. Let n be j(2). Solve n*x = 2*v - 0 - 6, -15 = -5*v + 4*x for v.
3
Suppose 5*n - 4 = -4*b, -4*b + 3*n = -6*b. Solve 2*s + b = 2*j - 2*s, 0 = -3*s + 3 for j.
5
Let g(k) = k**2 - 11*k + 2. Let y be g(11). Let s be 60/(-27) - (-2)/9. Let f be s/8 + 42/8. Solve f*b - 20 = b + y*h, b = -3*h - 2 for b.
4
Let x be (-1)/(-4) - 6/(-8). Suppose 3*m = s - 8, m = -0*m - 4. Let r = s + 17. Solve x = -k - j, 5*k - 2*j = -j + r for k.
2
Suppose 19*c - 217 = 201. Solve -3*p = 2*y - 19, -p + 6*y - y = c for p.
3
Let k = -3 + 7. Solve -k*j + 5*z - 37 = 0, -4*j - 5*z + 19 = -2*j for j.
-3
Suppose 5*j - 3*j = 6. Suppose 20 = -j*q + 8*q. Solve -4*b - 4*t = -16 - 0, 11 = q*b + 3*t for b.
-1
Let k(f) = -4*f - 4. Suppose -3*q + 2*q = 4. Let v be k(q). Solve 5*m = 9*s - 5*s - 6, -2*s - 2*m + v = 0 for s.
4
Let c(n) = -2*n - 4. Let b be c(-4). Solve -3*w - 9 = -k, 9*k - b*k + 2*w = -6 for k.
0
Suppose 51 = -2*v + 53. Solve -l = 3*a + v, -5*l + 4*a - 3 = -2*l for l.
-1
Let l(x) = -x**3 + 6*x**2 + 7*x + 5. Let f = 10 - 22. Let u = f + 19. Let j be l(u). Solve 3*a - 8 = -j*t + 21, -5*t + 20 = 0 for a.
3
Suppose -2*k +