ve -s*h - 3*h + 3*t + y = 0, 2*h - 9 = -5*t for h.
2
Suppose 3*z = 5*h - 7, 3*h - 4*z - 3 = -1. Solve -13 = -4*l - q, -2*q = -l - h - 6 for l.
2
Let m = -2 - -3. Let c = m - -2. Solve 3*h + 17 + 2 = -2*o, -c*o = h + 18 for o.
-5
Let n = -10 - -19. Suppose -n = -2*j - j. Suppose -4*i + j*i + 3 = 0. Solve 0 = -4*f - 3*r + 14, -2*f - i*f - 5*r + 15 = 0 for f.
5
Suppose -8 = 3*s - 5*s. Let l = -14 - -24. Solve s*b - 12 = 3*g + l, -g - 2 = 0 for b.
4
Let o = 24 - 21. Solve 5*t + 3*v - v - 18 = 0, 2*v - 14 = -o*t for t.
2
Let z(v) = -v**2 + 11*v - 5. Let q be -3*((-10)/6 - 1). Let m be z(q). Suppose -m = -4*a + 5. Solve 5*x - 3*s = -2*s - a, 0 = 4*x - 5*s + 9 for x.
-1
Let m = -11 + 23. Suppose -m = -3*i - 0*i. Solve 4*u = -c + i - 3, -4*c = 3*u - 17 for c.
5
Suppose -2*u - 126 = -5*u. Let f be (4/(-7))/((-12)/u). Solve f*i - 15 = -5*q + 7*i, 5*q + 3*i = 23 for q.
4
Let p(j) = -12 - 4*j**2 - 4*j**2 - 5*j**3 + 4*j**3 - j**2 - 10*j. Let v be p(-8). Solve 4*d = q + 5, v = 2*q + d + 14 for q.
-5
Let u(b) = b**3 - 5*b**2 + 4*b + 5. Let i be u(4). Solve 0*s + 5*s + a - 5 = 0, i*s + 10 = 2*a for s.
0
Let j(r) = -r**3 + 6*r**2 - 4*r - 7. Let g = 2 - -3. Let k be j(g). Let w = k - -7. Solve w*v = 3*v - 4*o - 12, 0 = 3*o + 12 for v.
2
Let z be 1*(-1 + 2)*2. Suppose 3*r = 8*r - 15. Suppose 0 = 3*f - 2*a - 14, -z*f + r*f - 4*a - 8 = 0. Solve 0 = -2*k + 2*n - f, 3*n = -2*k + 3 - 2 for k.
-1
Let q(a) = -4*a + 0*a + 7 + 3*a. Let n be q(5). Solve 8 = n*f - 2*j, 2*f + 16 = -2*f - 4*j for f.
0
Suppose 0 - 2 = -h. Suppose 3*u - 18 = h*u. Solve 21 = 5*y - p, 0 = 5*y - y - 2*p - u for y.
4
Suppose 0 = -j - 2, j - 6 = -3*k - 2*j. Suppose -4*l + 2 + 5 = z, -5*z = 2*l - 17. Solve 6 = -z*d - 3*a, 0*d + a - 4 = -k*d for d.
2
Let m = 0 - -2. Solve 2*t - 1 = 3*v - 3, 4*t = 3*v + m for v.
2
Let h(l) = l**3 - 6*l**2 + 8*l - 5. Let f be h(5). Solve -4 + 10 = 4*n - 3*w, n - 5*w - f = 0 for n.
0
Suppose -6*y = -10*y + 28. Solve -4*c = 5*h, -3*h + y*h = 0 for c.
0
Let k = 45 - 40. Solve -8 = -5*r - 2*t, -4*r = -3*t + 7 + k for r.
0
Suppose -4*r = 31 - 127. Solve 0 = 4*u - 16, u + r = -4*b + 3*u for b.
-4
Suppose 0 = d + l + l - 4, 2*l + 8 = 5*d. Suppose -14 = -2*q - d. Let n be 237/q + (-6)/(-4). Solve 3*p + 3 = -3*z, -n = -4*z + 5*p - 0*p for z.
4
Let q(f) = 2*f**2 + 2*f - 7. Let m be q(-3). Solve -3*x = -4*a - 17, 0 = -10*x + 5*x - m for a.
-5
Let g be ((-4)/2 - 1) + 5. Suppose -g*s = 5*h - 4, 4*h + 5*s = 2*s - 1. Solve 4*l = -5*w - 3, -l + h*l - 9 = 2*w for w.
-3
Suppose 0 = -v + 2*v - 4. Suppose 8 = -v*s + 6*s. Solve -s*x - 5*i = -x - 26, -2*i + 2 = -3*x for x.
2
Suppose 0 = -7*m + 2*m + 20. Suppose -m*y = 2*c - 0*y - 44, -80 = -4*c - 4*y. Solve 3*v + c = 5*h - v, -5*v - 6 = 2*h for h.
2
Suppose p - 4*g = -13 - 1, 5*g = -4*p + 28. Suppose 0 - 13 = -t - m, -t + 4*m = -28. Solve 4*l = -p*y - t, -y - 2*y = l - 1 for y.
2
Suppose -5*l = -3*x - 2*x, -3*l + 3 = -2*x. Suppose 2*p = x*p. Solve 4*g + 4 = -0*g + 3*k, p = g + 5*k - 22 for g.
2
Let v be (80/15)/(4/6). Suppose 2*p = v - 0. Let o(f) = -f**3 + 10*f**2 + 3. Let b be o(10). Solve b*d + 22 = -p*c, 4 + 12 = -3*c - 2*d for c.
-4
Suppose 0 = 4*k + 1 - 13. Suppose u + 18 = 2*z + 6*u, 11 = -k*z + 2*u. Let a be (-4 - (2 - 1))*z. Solve 2*x = -5*w - 15, 0*w + a*w + 15 = 3*x for x.
0
Let x(h) = -11*h**3 + 2*h - 1. Let k be x(1). Let t = k - -12. Solve t*d + 0*d + 7 = b, -3*b = -3*d - 9 for b.
-1
Let g = 12 - 8. Solve -r - 11 = 5*x - 5*r, x + r = -g for x.
-3
Let j = -3 + 4. Let m be 4/(-22) - (-26)/22. Let v = m - j. Solve 2*p - 17 + 3 = 5*k, 3*k - 2*p + 10 = v for k.
-2
Let z(l) be the third derivative of -l**5/60 + l**4/4 + 2*l**2. Let d be z(5). Suppose 4*v = v + 6. Solve -2*q = -3*k + 3, 3*k - 14 = d*q + v*k for q.
-3
Suppose 0 = -4*d - 2*u + 40, -3*d + 3*u = u - 23. Let m = 14 - d. Solve m*n + k = 15, -12 = -4*n + 3*n - 2*k for n.
2
Suppose k - 1 = 1, 2*k - 13 = -3*o. Suppose -u + o = 0, g - 3*u = 2*u - 10. Solve 0 = 3*d - 3*z - 3, -g*d = 5*z + 13 + 32 for d.
-4
Let r be 1*(0 + -2)*-1. Let o = 2 - r. Solve -4*f + 25 = 2*p + 9, o = 4*p + 5*f - 20 for p.
0
Let q be (-1)/(4/(-24) - 0). Solve -t - 9 = -4*f, 3*f + 2*t + q = -f for f.
1
Suppose -60 = -5*c - 7*c. Solve -18 = -3*g + 2*o, 0 = -c*g - 5*o + 6 - 1 for g.
4
Let y be (2 - -5) + 1/(-1). Suppose 3*v = y + 15. Let n = v + -4. Solve 40 = 5*l + n*r - 0*r, -5*l - 4*r + 45 = 0 for l.
5
Let a = -34 - -41. Solve a*c = 3*c + 2*o + 16, 0 = -3*c - 5*o - 1 for c.
3
Let b(l) = 2*l**3 - l**2 + 2*l - 1. Let j be b(2). Let p be (j/(-6))/(2/(-4)). Solve -2*q - 3*c + 7 = -3*q, -4*c + p = 3*q for q.
-1
Suppose -p - 1 = -6. Solve p*s - 5*n + 30 = 0, 0 = 3*s - 3*n + n + 16 for s.
-4
Let p(m) = -m**2 + 11*m + 17. Let k be p(12). Solve 6*x - k*x = 2*v - 5, -3*v + 25 = 2*x for x.
5
Let z be 1 + ((-3)/3 - 1) + 4. Solve -6 = -c + y, y + 14 = -c - z*y for c.
2
Suppose -36 = 4*k + 3*y + y, 2*y + 29 = -3*k. Let u = -11 - k. Solve u = -4*h + 3*s + 16, 5*s - 21 = -4*h - 5 for h.
4
Let v(o) = 9*o**2 + 1. Let r be v(-1). Solve -5*w - 30 = -r, w + 10 = -2*u for u.
-3
Let z = 8 - 4. Let i = 1 - -6. Suppose -10 = -0*b - 2*b. Solve 5*l - 6*k = -i*k - 7, 0 = b*l + 2*k + z for l.
-2
Let q(r) = -r**3 - 5*r**2 - 2*r + 2. Let u be q(-2). Let p = u - -6. Solve -3*k = -2*k + 5*a - 18, k - 4*a + 9 = p for k.
3
Let y = -60 - -62. Solve y*d = s + 9, -12 = 4*s - 0*d + 4*d for s.
-5
Let s(y) = -y - 13. Let h be s(-18). Solve 3*x = -m + 8, 15 = -5*x + 5*m - h for x.
1
Let v = -19 - -31. Let k = v - 9. Solve 4*l + 15 = -t, -5*l = -k*t - 0*l + 40 for t.
5
Suppose 2*i - 2*h + 22 = 0, -31 = 3*i - i + h. Let c be (-30)/(-8) - i/56. Solve -u = 4*k + 2, -4*u = -k - c*k + 8 for u.
-2
Suppose 3*k - r = -5*r - 9, 2*k - 2*r = -6. Let s be k/(-6) - 18/(-4). Solve 3*p = -s*i + 5*p - 6, 4*p = 3*i + 12 for i.
0
Let t = 73 - 58. Solve -2*g = -5*f + 35, 3*f - g - t = f for f.
5
Let a(f) = f**3 + 3*f**2 + 4*f + 2. Let m be a(-2). Let k be (m/(-2))/(-1)*-4. Solve -5*t + k*p - 10 - 8 = 0, -5*p = -10 for t.
-2
Suppose 4*w + 12 = 3*a, -2*a - 6 = w - 3. Solve -5*h + m - 6 = a, h + 3*h + 2*m = -2 for h.
-1
Let a(r) = -r**2 - 4*r + 1. Suppose 5*h + 4*m - m = -12, 2*h - 2*m = -8. Let u be a(h). Solve -u*i + 14 = -5*t, 4*i = t - 3*t for i.
1
Let c(b) = 3*b - 2. Let r be c(2). Suppose 2*f + 4*z = -12, 3*f - z - 13 = r. Solve -3*p + 15 = 0, -p + f*p - 35 = 4*d for d.
-5
Let p = -66 + 43. Let m = 61 + p. Let k = m - 13. Solve -o - 3*d + 7 = -0*d, -k = -5*o - 5*d for o.
4
Let h be 16/(-3) - 6/(-18). Let k be 1/h*-2*5. Solve 4*s + 2*n - 10 = 0, -k + 7 = 4*s + n for s.
0
Suppose 4 = 10*p - 26. Solve 2*d + y = -p*y + 26, 0 = 3*d - 2*y + 1 for d.
3
Suppose h - 5 = -4. Let f be ((1 - 2) + 6)/h. Let r = 11 + -7. Solve y + r*x = -4, y - 1 = 3*x - f for y.
-4
Suppose 2 = 3*x - 2*b, 4*x = -b - 1 - 0. Solve -4*k = -2*h + 12, x = 4*k + 4*h - 21 + 9 for k.
-1
Let v(c) be the third derivative of c**4/24 + 2*c**2. Let f be v(6). Solve -3*b - 7 = -4*b - 3*q, 0 = 3*q - f for b.
1
Let n = 67 + -65. Let w be (-2)/(-8) + 2/(-8). Suppose 0 = -3*l - o + 3, w*l + o - 3 = -2*l. Solve l = -j + 2*d - 5, 2*j - n*d + 1 = -1 for j.
3
Let b be (15/10)/((-6)/(-52)). Solve -4*c - 5*i = -b, i + 3*i = -c + 17 for c.
-3
Suppose -3*r + 0 = c - 10, 0 = -3*c - 2*r - 5. Let a be c/(10/(-6)) - -2. Solve 2*w - 5 = n, a*n + 17 = -0*w + 2*w for n.
-3
Suppose 3*z - 8 + 2 = 0. Suppose z - 7 = -j. Solve v - 5*t - 11 = 0, -4*v + j = -5*t - 9 for v.
1
Let n = 118 - 114. Solve -n = -r + 4*r + i, 3*r = 3*i - 24 for r.
-3
Let m(g) = -3*g + 3. Let k(s) = s. Let l(z) = -4*k(z) - m(z). Let h be l(-3). Suppose 15*t - 15 = 12*t. Solve h*f - 1 = -f - 5*a, -2*a = -t*f + 5 for f.
1
Let y be (-1)/(-3)*(5 + -2). Let o = 45 + -40. Suppose 2*q = o*n - 4 - y, 0 = q + 3*n - 3. Solve -w + 4*d + q*d = -13, -3*w + 3*d = -21 for w.
5
Suppose -5*b + 2*v = -8 - 1, 3*v = -6. Solve 4*y + 3 = -13, -n = y + b for n.
3
Suppose 12 = 3*f - 0. Suppose -q = q - f. Suppose -5*y + m + 22 = 0, 4*m - q = -3*y + 2. Solve 5*d = n - 0*d - 4, d + y = n for n.
4
Let t = 63 + -61. Solve 0 = -4*h, -8 = 2*d - h - t*h for d.
-4
Let j = 35 - 31. Solve -p = 4*p - n + 8, -j*n - 10 = p for p.
-2
Let p(z) = -z**2 + 20*z + 8. Let c be p(19). Solve -d - 10 = 3*k + 5, 3*k + 5*d = -c for k.
-4
Let w be -4*(-2)/((4 + -2)/2). Solve m - w = 4*t - 0*m, -t = 4