 9 = h - 0 for h.
5
Let y(k) = 2*k - 13. Let h be y(6). Let j = 6 + h. Suppose 3*u - 16 = -4*b, -5*b - 8 = -b. Solve j*c + 4*t = u, 7 + 1 = -2*c + 4*t for c.
0
Let h be ((-84)/(-21))/(6/33). Solve -v + 8 = -2*c + h, -2*c = 4*v + 6 for v.
-4
Let i(z) be the second derivative of 5/12*z**4 + 1/20*z**5 - 7/6*z**3 - 9*z - z**2 + 0. Let u be i(-6). Solve -u*y - 9 = -4*p - 1, -4*p = y - 13 for y.
1
Let b(x) = -x**3 - 8*x**2 - 9*x + 7. Let t be b(-7). Suppose 16*c + 100 = t*c. Solve 0 = 3*j + j + 5*q - c, 2*j - 10 = -4*q for j.
5
Suppose 0 = 4*b - 4*r - 16, -2*b - 2*r = 3*r - 8. Suppose -8 = -4*y + 4*l, 5*l = b*y + 4*l - 8. Solve -o + m - y*m - 6 = 0, -2*o + m = 0 for o.
-2
Suppose 3*f = 3 - 0, 1 = o - 3*f. Let m = -5 - -9. Suppose 2*r - 3*h - 4 = 16, 0 = -4*r - 5*h - 4. Solve 10 = a + o*x, 0*a = -r*a + 2*x + m for a.
2
Let i(c) = -c**2 - 12*c - 29. Let v be i(-7). Solve 3*u + p + v + 1 = 0, -3*p = 4*u + 16 for u.
-1
Let f(n) = n**2 - 2*n + 3. Let w be f(0). Suppose -j - j + 1 = -3*c, 0 = w*c - 3. Solve -2*b - j*d + 8 = -0*b, -3*b + 2*d = -17 for b.
5
Let s(h) = -h**2 + 11*h - 7. Let n be s(10). Suppose 2*q + 5*k = 20, 50 = 5*q - k + n*k. Solve 2*m + 2*w + 1 = -7, -4*m = -2*w + q for m.
-3
Let k(m) = m**3 - 17*m**2 + 43*m - 9. Let c be k(14). Solve 24 = 4*d + c*x - 4*x, -2*d = -3*x + 2 for d.
5
Suppose 252*x - 56 = 224*x. Solve -3*g + 5*k - 21 = 0, -x + 13 = 2*g + 5*k for g.
-2
Let h = 939 - 936. Solve 2 = -5*o - 4*u, 0*o + 5*u = h*o + 16 for o.
-2
Suppose n + 8 = 4*a, 12 = 6*a - n + 2. Solve -t - a = 4*h - 2, -4*h = 3*t - 3 for h.
0
Let q = 12 - 19. Let u(t) = -3*t - 11. Let p be u(q). Suppose -2*i = -p, -2*i = -z - 0*i + 4. Solve -5 = 2*v + 5*o, z - 5 = -2*v - o for v.
-5
Let s(w) = -w**2 + 7*w - 9. Let j be s(4). Suppose 4 = z - 2*n, j*z + 5*n - 4 = 2*z. Suppose -h + z = -0*h. Solve -5*l + 3*o - 5 = -29, -4*l = -h*o - 24 for l.
3
Let v = -53 + 58. Let j be ((16/(-20))/(-2))/(v/25). Suppose 4*i = x + 9, -4*x + 4 = 3*i - 2*x. Solve -g = j*g - i*s - 2, 18 = 2*g + 2*s for g.
4
Suppose 0 = -5*l + 102 - 2. Solve 3*q = 5*n + 20, 0*q + l = 5*n + 5*q for n.
-1
Suppose 4 = 4*j - 5*j. Let v be (-5)/((j/28)/1). Suppose -5*n = -t - 56, 0 = 2*n + 5*t - v - 9. Solve 4*z = 4*x - n, 0*z + 4*x - 15 = z for z.
1
Let r(g) = g**3 + 5*g**2 - 6*g + 3. Let d be r(-6). Suppose 1 = -d*f + 16. Solve 29 = 4*n + f*l, -21 - 4 = -5*l for n.
1
Let c(j) = j**2 - 14*j - 9. Let m be c(17). Let s = m - 40. Solve -3*a + 3 = -s*a + 2*b, 0 = 2*a - 2*b + 12 for a.
-3
Suppose 5 = o + 19*d - 21*d, 2*d - 16 = -2*o. Suppose -2*c + 10 = 2. Let m = o - c. Solve 8 = -2*a, m*a + 6 = i - 2 for i.
-4
Suppose s + 5*j = -16, 4*j - 4 = -5*s - 0*j. Solve 0 = s*y + 20, -z - 5*y - 33 = z for z.
-4
Let i(p) = -p**3 - 10*p**2 - 14*p + 18. Let d be i(-8). Solve -10 = q - 3*g, -d*q + 3*g = -0*g + 14 for q.
-4
Let u be (3/5 - 1) + 1431/265. Solve 2*t + 6*s = 2*s + 12, -u*t + 16 = -4*s for t.
4
Let d be 384/(-160)*(-10)/6. Solve -d*s + 5*c - 37 = 0, 3*c = -s - 0*s + 12 for s.
-3
Let t = -28 + 30. Let y = t + 0. Solve -4*i = 16, y*f + 3*f + 5*i = -25 for f.
-1
Let y(j) = j**3 + 4*j**2 + j - 2. Let m be y(-2). Suppose m*k + 11 = 5*k. Suppose -13*h + 8 = -k*h. Solve 0 = 5*c + 10, -2*i + h*c = -c - 18 for i.
4
Let q = -68 + -21. Let g = 91 + q. Solve -n + m = g*m + 3, 0 = 3*n - m + 1 for n.
-1
Let d be -3 + 5 - (1 - -68). Let k = d - -72. Solve 0 = -2*o - 2, t = 4*t + 5*o + k for t.
0
Let b be -12 + 5 - -8 - -2. Solve 2*t + 2*t - 8 = 2*u, b*t = -5*u + 19 for t.
3
Let o = 27 - 25. Let j be 4 + (o/(-1) - -2). Solve 2*h + j*c + 16 = 0, 3*h - 3*c - 8 = 13 for h.
2
Suppose 0 = -4*d + 5*u - 3, 15 = d - 26*u + 30*u. Solve 0 = 5*v + d*j - 3, 5*v = 4*j - 0 - 4 for v.
0
Let a be (2/3 + -1)*(-60)/4. Suppose r = -s - 0*s + 26, -a*r - 38 = -2*s. Solve 4*c + 21 = 5*i, -4*i + 6*c - c + s = 0 for i.
1
Suppose -8 = -y + x + 5, 3*x = 2*y - 21. Let q = y + -12. Suppose 0 = 2*u - q*u. Solve v + 2*v = 4*h - 10, -5*h - 3*v - 1 = u for h.
1
Suppose -3*c = l - 4, c - l + 191 = 187. Let u = -8 + 13. Solve v + 5 = -4*j, 3*v = -2*j - c*j + u for v.
3
Suppose 0 = -4*q + 3*q. Suppose 5*k - 10 + 10 = q. Solve 4*s + 1 = 5*z, k = 2*s - 7*s + 5 for z.
1
Suppose 6*a = 10*a - 20. Let i = 10 - a. Suppose -2*m + 5 = 4*q - i, m - 10 = -3*q. Solve 0 = -c + q*k - 3, -3*k + 4 = k for c.
2
Let q(x) = 5*x + 1 - 3*x - x**3 + 4 - 8*x - 5*x**2. Let l be q(-3). Solve -b = -l*h - 8, -3*h - 7 = 5*b + 9 for h.
-2
Let v = 1563 + -1563. Solve p + 4*i + 1 = v, 2*i + i = 3 for p.
-5
Let r(o) = -o - 2. Let c be r(-2). Let k = 1 - -1. Suppose -9*j = -4*j - k*j. Solve 4*h + 4*y + 12 = 0, c = -j*h - 3*h - 4*y - 10 for h.
-2
Let i(a) = -a**2 + 11*a. Let p be i(11). Solve -g + 5*t = -13, 3*g + p*g + 12 = -2*t for g.
-2
Let y be -3 + -2 + (10 - 0). Solve 8 = -s - s, 3*u + y*s = -17 for u.
1
Let p be (57/(-6))/((-3)/6) - 2. Solve 3*s = 6*s - 4*z + 23, 3*s = z - p for s.
-5
Suppose -5*u - 5 = -3*g - 4*u, -4*u = -4. Suppose -g*z = -18 + 12. Let n(x) = x - 3. Let o be n(5). Solve -3 = 3*j - s + z*s, o*j + 21 = 5*s for j.
-3
Let c(u) = -u**2 - 4*u - 2. Let j be 32/(-18) - (-18)/(-81). Let i be c(j). Solve 0 = -4*r - 3*m - i*m, 5*r - 41 = 4*m for r.
5
Let p be 24*4/((-12)/3). Let j = p + 26. Solve n + 5 = 2*l + j*n, 4 = -5*l + 3*n for l.
1
Let o be 0/((-35)/(-7) + -3). Solve 4*k - 25 = -5*l, o*l - 2*k = l - 5 for l.
5
Let g be 1/2*(2 + 2). Let y = 2 - g. Let a(f) = f**3 - 14*f**2 - 36*f + 66. Let m be a(16). Solve y = -m*w - 3*q + 13, 3*w = 2*q - 3*q + 16 for w.
5
Let a = -321 - -323. Solve 4*w + o = -8, a*w - 7 = w + 2*o for w.
-1
Suppose -i + 28 = -0*i - 5*r, 3*i - 3*r - 24 = 0. Suppose 2*f + 2*w = 3*f - 22, 4*w + 20 = 0. Let a = f + -8. Solve i*c - d = -17, 3*c - a*d + 28 = c for c.
-4
Let o = -1598 - -1600. Solve 0 = 2*w - o, 5*a + 2*w = 4 + 18 for a.
4
Let m = 24 + -16. Suppose 4*a - 6*a = -m. Solve -p + 3 - 18 = -a*t, 0 = 3*t + p - 13 for t.
4
Let j = 0 - -2. Suppose -8 = o - 9*o. Suppose -2*t + s = 1, 4*s = 2*t + 3 + o. Solve 14 = q - 2*l, t = 3*q - 2*l - j*l - 32 for q.
4
Suppose -104 = -5*a - 5*o + 81, 92 = 2*a - 4*o. Let g be (14/7 - 11)/((-1)/(-3)). Let z = g + a. Solve 0*f = f - 3*d + z, 0 = f + 4*d - 8 for f.
-4
Let o(f) = f**3 - 16*f**2 - 2*f + 36. Let s be o(16). Solve -s*y + 24 = 2*u, 3 = -4*y - 3*u + 31 for y.
4
Let h be (-45)/(-30) - ((-11)/2 - -1). Solve -4*c = 5*k - 6, -2 = k - h*k - 3*c for k.
-2
Let o be 9 - (-13)/(-2) - 1/(-2). Solve 0 = -o*h + 4*h + 5*y - 9, h = -2*y + 3 for h.
-1
Let h = -187 - -192. Solve 2*t = f - 4*f + 6, h*t = 3*f - 6 for t.
0
Let o be (5 - 5)/(0 + 2). Let p be (0/(-1) + o)/(-2). Solve 2*j - 10 = -2*h, -2*h - 2*j - 2*j + 18 = p for h.
1
Let u(l) = -l + 15. Let n be u(9). Let j = 2 - 2. Solve 2*s - n = j, 4*x + 6*s - 6 = 4*s for x.
0
Suppose 19*q - 120 = 9*q. Solve -4*j - q = -4*a - 0*a, 0 = 5*j - a + 7 for j.
-1
Suppose -4*u = 4 - 16. Let s(y) be the third derivative of y**4/24 - y**3/6 + 9*y**2. Let w be s(u). Solve z - 5 = 5*z - j, -5*j = -w*z - 7 for z.
-1
Suppose 0 = -56*b + 102*b - 184. Solve b*p = -4*f + 2*p + 10, 3*f = -3*p + 15 for f.
0
Let a be ((-4)/3)/((-24)/36). Let v(i) = -i**3 + 4*i**2 - 2*i - 1. Let p be v(a). Solve 2*f + 5 = -y - 1, -20 = p*f - 4*y for f.
-4
Let s = 103 + -93. Solve y + 5*j = 8 + 6, -s = -2*y - 4*j for y.
-1
Let v be 789/(-12) - (-2)/(-8). Let c be 8/12*v/(-4). Solve -2*h - 2*h = 5*b - c, -4*b = 4*h - 8 for h.
-1
Let s be (-7 - -5)/(4/(-10)). Suppose -3*o - 2*o = s, 4*o = -2*d - 68. Let c = -21 - d. Solve 5*i = 20, -t - 5*i + 2*i = -c for t.
-1
Suppose -3*z + 2*b = 3 - 8, -15 = -3*z - 3*b. Solve -g = -z*s + 7, 4*g - 6 = -2*s + 5*g for s.
1
Let v(d) = -d**2 + 10*d - 16. Let r be v(4). Let b = 6 + -3. Suppose b*y - r - 37 = 0. Solve -a + 2*g = -4 - 2, y = -5*g for a.
0
Let c = 366 + -255. Let h = -109 + c. Solve -3*k = -4*k - 2, 0 = h*m + 4*k + 2 for m.
3
Let a be (4 - -1 - 8) + 5. Solve -3*s = a*s - 4*c - 21, 2*c = -3*s + 17 for s.
5
Suppose 5*h = 3*j + 51, -19 - 13 = -4*h - 2*j. Let c be 1 + 0 + 0 + 2 + 0. Solve -2*k - k + h = 3*d, -d = -c*k - 3 for d.
3
Suppose -11*m = -7*m - 6*m. Suppose a - 2 = -m. Solve 3*w + 5*j - 25 = 0, 2*j + 0*j = a*w + 10 for w.
0
Suppose 0*n + 4*o - 24 = -2*n, 46 = 5*n + 3*o. Solve 0 = -4*d - 4*u + 24, -5*u - 6 = -n*u for d.
4
Let i be (-513)/(-189) - (-2)/7. Solve -7*h