 = -2*s, -z + 1 + 0 = 0 for s.
3
Let q be (-2)/((-1)/(3/(-2))). Let x(u) = u + 1. Let m be x(2). Let w = q + m. Solve -4*s = -5*g + 4, -3*s + 12 = -w*s for g.
4
Let h(b) = 4*b - 4. Let o be h(2). Solve 3*y = 5*t - 13, 0 = -2*t + 6 + o for y.
4
Let n(s) = s**2 - 6*s + 10. Let i be n(7). Solve 0 = -l - 4*a - i, -5*a - 25 = -0*a for l.
3
Let n be 9 + -11 - (-1 - 3). Solve -5*a - 4*p = -10, a + 2*a = -n*p + 6 for a.
2
Let s be (-3)/(-6)*24/3. Solve 5*i - j - 17 = 2*j, 2*i - s = 4*j for i.
4
Let j(g) be the second derivative of g**4/6 - 3*g. Let l(h) = h**2 - 6*h - 1. Let o be l(6). Let k be j(o). Solve -1 + 4 = k*r + 5*c, 3*c - 3 = 0 for r.
-1
Suppose -2*p - p + 6 = 0. Suppose -8 = -v - v. Let a be 10/(-3)*(-48)/10. Solve a = -4*u - v*t, -2*t - 17 = -p*u + t for u.
1
Suppose -w = 3*w - 20, -2*s - 3*w + 47 = 0. Solve 2*z - 20 = -4*k, 4*z - 2*z - 5*k + s = 0 for z.
2
Suppose 4*v = -2*o + 40 - 14, 2*o = 4*v + 66. Let j be 8/4 - 2/2. Let r(c) = 3*c + 1. Let x be r(j). Solve 5*s + 10 = x*n + o, 0 = 3*s - 5*n for s.
5
Let p(y) = y - 2. Let m = 7 - 3. Let q be p(m). Solve 8 = -f + 3*h - 2*h, -5*f - 28 = -q*h for f.
-4
Let r(l) = 2*l**3 - 16*l**2 - 15*l - 22. Let o be r(9). Solve 0 = -m + 2*z - 13, -o - 7 = 4*m + 2*z for m.
-5
Let k(a) = 0 - 2 + 1 - 73*a. Let g be k(-2). Suppose 3*l = 2*t - 2*l - 72, 5*t + 5*l = g. Solve -13 = -x - d - d, 5*d - t = -2*x for x.
3
Suppose 2*d = 2 + 6. Let t be (5*-2)/((-8)/d). Solve t*u + 3 = -4*b + 9, 10 = 2*b - u for b.
4
Let f(k) = k**3 + 4*k**2 + 2. Suppose -1 = 3*g + 11. Let o be f(g). Solve -w = o*x - 0*x, -5*w = -10 for x.
-1
Suppose -23 = -c - 0*c - 5*v, -2*c = 3*v - 11. Let q(l) = -4*l - 1. Let p be q(c). Let x = -14 - -19. Solve -t = b - 4*b - p, x*b + 4*t = -40 for b.
-4
Let l = -13 + 9. Let r = l + 4. Solve q - 2 = r, -2*q + 0*q + 9 = -i for i.
-5
Let c(a) = -a**2 - 4*a - 3. Let y be c(-3). Suppose -2*k = -y*k. Solve -4*v - 2*i = -k*v - 22, 5*v + 10 = 5*i for v.
3
Let u be (14/21)/(1/12). Let c(l) = u - 7*l - l + 0*l**2 - l**2 + 0*l. Let y be c(-8). Solve 5*p - t + 8 = 0, p - t - 4 = -y for p.
-1
Suppose 0 = 5*u - m - 3, 5*m = -3*u + 7*u + 6. Let v be -6*(-4*u + 3). Solve -5*t = -v*t + 3*n + 3, -2*t = -n - 1 for t.
0
Suppose -18 = -0*x + 3*x. Let q = x - -11. Solve -3*k + q*t = 24, 4*k - 2*k = -3*t + 3 for k.
-3
Let v(u) = 14*u**3 - u**2 - 2*u - 1. Let d be v(-1). Let x = d - -19. Solve -4*t - 18 = 2*y, 0 = -x*y - 15 for t.
-3
Let i be 1/2*(-1)/((-2)/20). Let p be (-43)/4*-1*4. Let w = p - 31. Solve 2*y = -5*d - w, 0*d - 2*d = -i*y + 28 for d.
-4
Let u = 0 - -6. Suppose h - u*h + 10 = 0. Solve -h*x = 2*g + 4, -2*g - 2*x = -4*g - 4 for g.
-2
Let v be 0/(0/(-4) - -2). Suppose -10 - 2 = -4*b. Suppose 2*o - b - 1 = 0. Solve -k - 3*f + 11 = v, 5*f - 14 = -o*k + 3*f for k.
5
Let k = 5 - 9. Let v = k + 7. Solve -3*n + v*d = -2*n - 6, -n + 5 = -2*d for n.
3
Let o = 7 + -6. Let j be (2/o)/(3/6). Suppose -n + 4 = -u - 4, j*n = -4*u + 8. Solve 4*y - 14 = -n*f, -5*y - 2*f = -3*y - 6 for y.
1
Let y = -83 + 83. Solve 4*i = 8, -s + 3*i - 9 + 0 = y for s.
-3
Let q(w) = -w**3 - 3*w**2 + 3. Suppose z = 5*i + 13, 3*z + 2 = -2*i + 5*z. Let g be q(i). Suppose g*k = -k. Solve 3*l + 3 = p - 9, 4*l - 2*p + 18 = k for l.
-3
Suppose 56 = 3*w - 13. Suppose 5*k = -u - 3*u + w, -2*u + 19 = 5*k. Let i(d) = 2*d - 2. Let s be i(k). Solve 0 = -3*p - 4*v - 6, -15 - s = -2*p + 5*v for p.
2
Suppose -3*h = -3*h + 2*h. Solve 2*s - 2*g + 4 + 2 = 0, h = -s - 5*g + 9 for s.
-1
Let c be 5/(-3)*1*-3. Suppose 19 + 6 = c*p. Suppose 4*b - 4*h + h = 32, -3*b - 5*h - p = 0. Solve 4*s + 2*i = i - b, -2*s - 4*i - 6 = 0 for s.
-1
Suppose 0 = 5*v + 3*k - 32, -4*v - 3*k + 6 + 22 = 0. Let l = -21 - -30. Suppose a + 2*p = l, -5*p + 21 = a + a. Solve -13 = a*r - 2*b, 2*r + v*b + 3 = 5 for r.
-3
Suppose -4*r = 10 - 34. Suppose 156 = r*t - 0*t. Solve -5*s - t = 3*p, -27 = 4*s + p - 9 for s.
-4
Let l be (-2 + (-6)/(-4))*-6. Solve 5*y - 4*g - 1 = 0, 5 + 1 = 3*y + l*g for y.
1
Let g = 2 + 1. Suppose -a + g = 1. Solve -6*x + 4*o = -a*x + 16, -2*o = x + 4 for x.
-4
Suppose 12*c = -12 + 48. Solve -14 = -j + c*i, 0*i = -4*j - 5*i + 5 for j.
5
Let t(p) be the second derivative of p**4/12 + 3*p**2/2 - p. Let a be t(0). Solve -5*i = -a*m, 5*m = 2*m - i - 18 for m.
-5
Let y be (-2)/(-3) + 8/6. Let l(d) = -d**3 + 35*d**2 - 32*d - 64. Let v be l(34). Solve 3 = y*z + f, -v*f + 3 = -z + 6*z for z.
3
Let l = -32 - -41. Solve -l + 21 = 3*j - 3*f, 0 = 2*j - 3*f - 11 for j.
1
Let b(c) = -c**2 + 6*c + 3. Let o be b(6). Let g = 8 - 11. Let z be (-3)/2*(-5 + g). Solve 2*l + 8 = -2*t, 0 = -3*t - t - o*l - z for t.
0
Let k(n) = -n**2 + n. Let a(v) = 6*v - 8. Let p(u) = a(u) + k(u). Let i be p(4). Solve -5*z = -i*f + f + 6, -4 = -2*f - 2*z for f.
2
Let n(i) = 4*i - 1. Let p(v) = v + 8. Let k be p(-7). Let g be n(k). Suppose h + 2*u = -g*h + 6, -u = 3*h - 3. Solve h*y = 2*y - 4*a - 10, -4*y = 4*a - 8 for y.
3
Let o = -23 + 39. Let j = -34 - -8. Let h = j - -38. Solve -3*a + 0*i = 3*i + h, -o = 4*a + i for a.
-4
Let r be 6/(-15) - (-77)/5. Solve 0 = 3*u - 4*d + 1, 3*u + r = -5*d - 4 for u.
-3
Let d = 591 - 566. Let j be (-29)/(-9) + 4/(-18). Suppose -2 = -j*k + a - 5*a, -a + 7 = 4*k. Solve 4*x - 3*m = -d, k*m + 16 = -5*x + 2 for x.
-4
Let l = 16 + -6. Solve 4*r + l = 3*r + 4*t, 2*r = 5*t - 14 for r.
-2
Suppose c = -c. Suppose -u = 3*u. Solve g + 0*g - 4*m + 17 = u, c = 3*g + 3*m - 24 for g.
3
Let i = -29 - -32. Solve 0*a + 4 = -2*a - 4*o, -4 = i*a + 4*o for a.
0
Let s(h) = h**2 + 7*h - 3. Let v be s(-8). Solve -v*y + 8 = -m, -y + 3*y = m + 2 for m.
2
Let q be 2*1/2*0. Suppose -4*m + 3 = 5*x, -5*x + 6 = -q*x + 3*m. Solve 2*h - 7 = -x*y, h - 5*y = -0*h - 16 for h.
-1
Let z(x) = 9 + 2*x**2 - 7 - 2. Let r be z(-1). Solve 0 = -3*i - 5*n + r, 7 = -4*i + 3*n - 0 for i.
-1
Let b = 30 + -16. Solve 2*f = -q - 0*q - 7, -3*q - b = -f for f.
-1
Suppose -3*r + 10 = 2*l, 3*r = l - 0*l - 5. Solve -9 = 4*d - l*n, 5*d + 0*n - 2*n - 10 = 0 for d.
4
Let f = 40 + -19. Solve 5*y - 16 = 3*w, -4*y + y = 2*w - f for y.
5
Let t(o) = o**2 - 23*o + 2. Let u be t(24). Solve 2*f - 4*i + u = 7*f, -4 = -i for f.
2
Let k be ((3 + -3)/2)/1. Solve -3*g + 27 = g + 5*i, k = -3*g - 5*i + 24 for g.
3
Let r(t) = -t**2 + 4*t + 6. Let a be r(6). Let z(h) = 3 + 7 - 1 + 6*h - 5*h. Let j be z(a). Solve 4*g = -2*o - g + 9, g - 7 = -j*o for o.
2
Let t = 23 + -5. Suppose 0 = -5*j + 3*v + 23, -j - 2*v = 4*j - 43. Solve 2*k + 2*m = j*k - 11, -3*k + t = -5*m for k.
1
Suppose 5*r = 0, 2*r = 2*t + r - 6. Solve 15 = c - 2*v, -4*c + 15 = -2*v + t*v for c.
5
Suppose 3*x - 4*y - 5 = 0, 0 = -x - 2*x - 5*y - 13. Let k = 3 + x. Let o(q) = 5*q. Let b be o(k). Solve 4*r - 5*g - 17 = 0, 0*r - 4*r = 2*g - b for r.
3
Let y = -11 - -15. Solve -2*v - 18 = -y*a, -v = a + 3*v + 18 for a.
2
Suppose -k = -5*k + 12. Solve -4*d + 5*i - 22 = -d, 0 = -2*d + k*i - 13 for d.
1
Let y = 1 - -1. Let n = 0 + 10. Suppose -5*f - k + 72 = 0, 0*f = 2*f - 4*k - 42. Solve o + 0*x = 3*x + f, -4*o = y*x + n for o.
0
Let a(h) = h**2 + 3*h. Let n be a(-5). Let v(y) = -y + 25. Let o be v(n). Solve 12 = -0*k + k + 4*q, -4*k - 5*q = -o for k.
0
Suppose 6 - 15 = 3*a. Let j = a + 3. Solve 3*l - 5 = -z, j = -4*z - 4*l - 3 - 1 for z.
-4
Let n = -10 + 7. Let f(u) = u**3 + 5*u**2 + 3*u + 1. Let g be f(n). Let k = 1 + g. Solve 3*j - 4*x = 3 + k, j = -3*x - 4 for j.
2
Let t be 2*(177/6 + -3). Suppose t - 23 = 5*n. Let o be 3/n*-2*0. Solve -4*i + 5*i + 4 = -j, o = -3*j - i - 4 for j.
0
Let l be 184/2*5/10. Suppose -2*p + u = -13, -3*p - 2*u = p - l. Solve -2*g + 5*t = -21, t = 4*t + p for g.
3
Suppose 5*k + 66 = 5*f - f, -3*f + 12 = 0. Let d(l) = -2*l - 15. Let m be d(k). Solve 2*s - 4 - 7 = -3*n, m*s - 21 = -n for s.
4
Suppose -2 = -d, -d + 0 = -3*b + 4. Solve 0 = -u - 4*u + 4*j + 25, -b*u - j + 10 = 0 for u.
5
Let r(s) = 5*s + 18. Let u(z) = -9*z - 36. Let d(o) = 5*r(o) + 3*u(o). Let h be d(-12). Solve -m - 2*l = m - h, 0 = -2*m + 3*l + 1 for m.
2
Let f = 5 + -2. Suppose 0*t + 2*o = -2*t + 20, -f*t - o = -20. Let y(q) = 15*q**3 + q - 1. Let h be y(1). Solve -4*a + 2*g = -3*g - h, -t*a + 27 = 2*g for a.
5
Let n = 5 + -3. Suppose -i - 4 = -n. Let k be (-36)/(-8) + (-1)/i. Solve -2*o = k*m + 2, -3*m = -o - 4*o - 5 for o.
-1
Let k = -11 - -15. Suppose 14 = 2*f + 2*l, -k*f - l = -2*l - 18. Solv