h - 2*t for h.
-2
Let y(u) = u**2 + 16*u + 15. Let l be y(-15). Solve l = 3*h + 5*k + 13 + 6, 5*h + k = 5 for h.
2
Let o(z) be the first derivative of z**2/2 + 7*z + 2. Let g be o(-4). Let s be ((-6)/10)/((-8)/40). Solve g*h - 3 = -h + l, 12 = s*h - 4*l for h.
0
Suppose -3*j = 2 - 11. Suppose j*f + 8 = 4*f. Solve -a = o - 6, -2*o + f*a = 5*a + 8 for o.
2
Suppose 0 = 2*h + 5*q - 18, 2*q - 18 = -3*h - 2. Suppose -2*v = b - 11, 0 = 4*b + v + h*v - 35. Solve -4*y - 26 = -7*y - b*w, 2*w - 14 = -3*y for y.
2
Let x(p) = p + 8. Let f be x(-5). Suppose f*w + b - 8 = 3*b, w - 2*b = 0. Solve -3*a - 3*k = -a + 12, -3*k - 12 = w*a for a.
0
Let k = -78 + 82. Solve -5*i + k*h = -0*i - 16, 0 = -4*i + 2*h + 8 for i.
0
Suppose 120*s - 6 = 118*s. Solve 0*d - 7 = 2*d - 3*n, s*d - n = 0 for d.
1
Suppose 4*u - 30 = u. Suppose 3*j - 3 = 12, 4*j + u = 3*z. Let n be 12/(-18)*(-9)/2. Solve 4*f + 5*l + 10 = 0, n*f - 4*f + z = -5*l for f.
0
Let q(z) = -z + 13. Let f be q(10). Suppose -s - 5*a + 5 = 0, f*s + 5*a + 0*a - 25 = 0. Solve 2*y + 3*d = 10, -3*y + 4 = 4*d - s for y.
2
Let m = 4 + -1. Suppose 20 = -2*r + m*r. Suppose 0 = 4*i - r, 3*s - 4*i = 3 + 19. Solve v - 5*f + s = -3*v, -5*f + 13 = -3*v for v.
-1
Let w(y) = y**2 - 5*y + 5. Let f = -2 + 2. Suppose 4*j - 17 = -0*o + 3*o, f = -o + 1. Let a be w(j). Solve -q - 2*q = c - a, -3*q = -2*c - 17 for q.
3
Suppose 2*n - n - 6 = 0. Let m = -22 - -44. Suppose c + 3*c = 2*f + m, 5*c - 4*f = 29. Solve -t + c*j = 3*t - 27, n = -2*t - 4*j for t.
3
Let j(o) be the third derivative of o**4/24 + o**3 + 7*o**2. Let c be j(-4). Solve 4*t - 4 = -3*h, -3 = h - c*h - 3*t for h.
0
Suppose 5*y + 30 = 5*w, 4*w = y - 6 + 24. Solve -2*k + 9 - 1 = 0, w*f + 5*k = 36 for f.
4
Let v(u) = u**3 + 5*u**2 + 4*u + 3. Let p be v(-4). Solve -10 = -5*f, 4*h + p*f - 9 = h for h.
1
Let b(i) = -4*i**3 - i. Let w be b(-1). Let x = 0 + w. Let z = 2 - -3. Solve 0 = 3*a - 9, 9 = -2*v + z*v + x*a for v.
-2
Let g = -2 - -3. Let x = g + -1. Let k be 3 - (x - (3 + -2)). Solve 0 = -5*i - p + 24, 5*i - 1 = -k*p + 35 for i.
4
Let g be (7 + -41)*2/(-4). Let d = -10 + g. Solve 2*x + a - 6*a = -d, 0 = 2*x - 2*a + 4 for x.
-1
Let f = -14 + 14. Solve f = 5*o + 15, -2*o + 4*o - 3 = 3*m for m.
-3
Let r(n) = 2 + 1 + n**2 - n + 2 + 1. Let y be r(4). Let s(z) = z**3 + 4*z**2 + 3*z + 1. Let m be s(-3). Solve v = -4*h + y, m = -3*v - 5 for h.
5
Let q be 4/10 - (-4)/(-10). Suppose -k + q*k = -2. Let v(f) = -f**3 + 5*f**2 + 3. Let p be v(5). Solve -3*i - k*j + 3 = -10, 0 = 3*i - p*j - 3 for i.
3
Let r(s) = 5 - 2*s - 11*s + 12 + s**2. Let c be r(12). Solve -2*b + b - f + 7 = 0, c*f - 5 = b for b.
5
Let x = -42 - -9. Let d = x - -6. Let a = 39 + d. Solve 5*m = 3*y + a, 4*y - 2*y = -3*m + 11 for m.
3
Let a be 1218/77 - 2/(-11). Solve -4*q = -6*p + 2*p - 36, a = 4*q for p.
-5
Let m(x) = 5*x**3 - x**2 + 2*x - 1. Let l be m(1). Solve 2 = -y, -5*y + 3*y + 6 = l*h for h.
2
Let f(n) = -n**2 + 9*n + 14. Let y be f(10). Solve 3*h + 18 = 3*a + 2*a, -y*a - 3*h + 9 = 0 for a.
3
Let t be 42/9*(-6)/(-7). Suppose -t*o + 17 = 3*c, -4*o + 0*c = -c - 21. Solve -o*a = -3*l - 30, -19 = -3*a + l - 5 for a.
3
Let i be 82/4 - (-4)/(-8). Solve 2*u + 2*u - i = 0, -5*u + 30 = -l for l.
-5
Suppose 0 = -4*w + 4 + 20. Let o = w + 0. Let l be o + 4/(3 + -5). Solve 2*g = -5*p - 12, 0 = 2*p - l*p + g - 12 for p.
-4
Let h be ((-14)/21)/((-2)/(-15)). Let j be 8/20 - (-2)/h. Solve -d = q - j*d, -3*d = -5*q + 16 for q.
2
Suppose 3*k - 4 = 11. Solve k*d = -0*h - 4*h - 37, -d = -3*h - 4 for d.
-5
Suppose -68 = -5*u - 18. Solve -4*n + 25 = n + v, 2*n - u = -4*v for n.
5
Let c(h) = -2*h. Let w be c(-1). Let t(f) = 4*f**2 - 10*f + 4 + 3*f**w - 6*f**2. Let q be t(10). Solve 0 = -3*i - 0*i + z + 6, -q*i = 5*z - 8 for i.
2
Let i = 33 + -30. Solve -i*s - b - 2 = -3*b, 5*s + 15 = b for s.
-4
Let u(t) = t + 10. Let j be u(-8). Let d = 3 + -4. Let l be d + j - (-10)/5. Solve -3*b = -l*y - 15, 3*b = -5*y + 14 + 1 for b.
5
Let g be (-1273)/(-95) - (-2)/(-5). Solve 2*x = -5*n - g, 3*n + 11 = x - 3*x for x.
-4
Let l(q) = -2*q**2 - 10*q + 4. Let m be l(-5). Solve -f = -x - m, -4*f = x - 2*x - 16 for f.
4
Let k = -6 - -8. Suppose k*v + 3*d + 10 = 0, 2*d = -0*v + v - 9. Let l = 1 - v. Solve -2*h - 25 = -4*q - 5*h, l = q + 3*h - 13 for q.
4
Let t be -1 - (3 - (-2)/(-2)). Let z be (-2)/t*(3 - 0). Solve -3*x + 3*p - 3 - 6 = 0, z*x + 6 = 4*p for x.
-3
Let z be (-3 + 1)*9/(-6). Suppose 4*q = 0, -4*q + 21 = -0*l + z*l. Solve 0 = i - 4*u + 5 + 9, l = 4*i + 5*u for i.
-2
Suppose -95*t = -88*t. Solve -g - 7 = f, -2*g + 3*g - 3*f - 5 = t for g.
-4
Let a = 13 - 11. Solve 4*n - 11 = -p, 0*p = a*n - 3*p - 23 for n.
4
Suppose -7 = -3*z - 2*g, 2*z + 2*z + g - 6 = 0. Suppose 3*v = -2*k - z, 4*v = 5*k - 0*v - 9. Let u = -22 + 38. Solve -2*q - j = -7*q + u, 0 = -j - k for q.
3
Suppose -24*x = -21*x - 12. Suppose -7*q + x*q = -6. Solve q*s = -y + 4, s - 2*s - 12 = -3*y for s.
0
Let f(v) = v**3 + 6*v**2 - 18*v - 11. Let j be f(-8). Solve -3*n - 2*h = 14, -2*n + 15 = -j*h - 1 for n.
-2
Let c be 4/(1*(-6)/(-9)). Suppose 3*t + 6 = c*t. Solve -t*s = -6*s - q - 14, -3*s + 2*q - 16 = 0 for s.
-4
Let h = 44 - 41. Solve 2*u - h*d = -4*d + 7, -1 = -u + 2*d for u.
3
Suppose 4*x - j + 5*j - 36 = 0, 5*x - 4*j = 45. Solve -3*p + x = 0, -5*y - 2*p + 16 = -5*p for y.
5
Suppose 3*t + s = 1 + 1, 2*t + 2*s = -4. Suppose 0 = -g, -t*b + g = -3*g. Solve -5*d + 2*d + 4*y = -4, b = 3*d - y - 10 for d.
4
Let q = 27 - 18. Let i be 7 - 2*6/4. Solve 5*s = -u + 2*u - 25, -q = -i*s - 5*u for s.
-4
Suppose 2 = 3*r + 2*t, -t = -3*r - 0*t + 17. Solve n - 3 - r = 3*b, -n - 2 = 0 for b.
-3
Let g be (-1)/((-3)/(12 - 3)). Let c be g*2*4/8. Solve z + 4*x = 7, -4*x - c + 11 = 0 for z.
-1
Suppose -2*y = -61 + 57. Solve -4*l = -y*g, l - 5 = 3*g - 0*l for g.
-2
Let a = -5 + 21. Let d = -6 + a. Suppose 3*m - 8*m = -d. Solve o = -4*n - 17, m*n + 4*o = n - 23 for n.
-3
Let s(c) = c + 5. Let x be s(-9). Let u be 6/x*(-48)/18. Solve -5*k - 6 = u*i + 3, -4*k - 2 = -2*i for k.
-1
Let b = 4 + -1. Suppose 0 = -0*z + 5*z. Let k(r) = -r**3 - r**2 + 6. Let s be k(z). Solve -b*o = -c - s - 4, 0 = 5*c + 2*o - 35 for c.
5
Suppose 5*g - 18 = 2*g. Let w(m) = 4*m**2 + 2*m + 2. Let a be w(-1). Solve 0 = 4*x - 8, -a*t + 16 = 5*x - g for t.
3
Suppose 0 = 3*n - 5 - 67. Let j = -20 + n. Solve -2*s = 0, j*s - 1 - 7 = -2*y for y.
4
Let f(t) = 3*t - 2. Let y be f(-3). Let b = y - -17. Solve b = -3*n, 0 = -5*z + 2*n - 6*n - 13 for z.
-1
Let w(s) = -s**3 + 7*s**2 - 2*s + 4. Let l be w(7). Let j be 4/l + 132/30. Suppose 2 = h + t, 4*h - 17 = t + 6. Solve -6 = -h*o - 5*x + j, x = o + 6 for o.
-2
Let p be (-14 + 8)*(-10)/4. Suppose -2*q - 20 = -5*j, 3*q = -0*q - p. Solve h = -o - o, 0 = o + j for h.
4
Let y be (-1 - 0) + 3 + (-6)/(-2). Solve 3*j = 0, 5*r - y*j + 15 = -j for r.
-3
Let j = 5 + -13. Let k be (-2)/(-6) - j/3. Suppose -2*f + 5*u = -4*f + 31, k*u - 6 = 3*f. Solve 14 = -3*h - 5*a - 26, 30 = -3*h - f*a for h.
-5
Let p = -9 - -33. Suppose k + 2*k - p = 0. Let d be (-6)/(-1 - (0 - -1)). Solve 5*i = 2*f + 5, k = -d*f - 5*i - 12 for f.
-5
Let v(g) = -g - 11. Let d be v(-9). Let l = d + 4. Solve -3*k - l*o - 8 = 0, 2*o + 6 = -5*k - 6 for k.
-2
Let a(f) = -5*f**3 - 2*f - 2. Let w be a(-1). Solve w*n + 3*t - 8 = 0, 2*t - 5*t = -3 for n.
1
Let j(k) = k**2 - 11*k + 9. Let p be j(7). Let n = 19 + p. Solve -l - m + 4 = n, 0*m + 12 = 5*l + 3*m for l.
0
Let t be (8/6)/((-4)/(-6)). Let x(l) = 3*l**2 - 2*l**2 + l**2. Let o be x(1). Solve 24 = o*j + 5*b, t*b - 14 = -5*j + 4 for j.
2
Let y be (-9)/(-6)*28/6. Suppose -3*u = 2*v - v - 16, 4*u - 3*v = 17. Suppose 3*c = y + u. Solve 0 = -c*b + 2*s - 6, -2*s = -5*b - 0*s - 7 for b.
-1
Suppose -15 - 17 = -4*c. Suppose -3*m = -4 - c. Solve -2*r = -5*w - m, -2*r + 6*r = 5*w + 8 for r.
2
Let b be (3 - 1) + 1 - -2. Suppose 33 = -2*w + 3*w - 5*v, -b = v. Let x be 6/(-4)*w/(-3). Solve -4*c = 4*j + 12, 0 + 13 = x*j - c for j.
2
Suppose 2*v = -23 + 9. Let u be v/(21/(-12)) + -1. Solve -4*q = 4*k + 12, -q = u*q + 5*k + 12 for q.
-3
Suppose 0 = 3*b - 5*b + 8. Suppose 5*z = 3*t + 2*t - 5, 3*z - b*t + 7 = 0. Solve -4*m - 4*d = -16, 4*m + z*d = -m + 20 for m.
4
Let f = 7 - 4. Solve 2*m - 8 = f*x + 11, -3*x = -m + 14 for x.
-3
Suppose 4 = n - 2*n. Let j(g) = -g**2 + 3*g - 1. Let f be j(1). Let m b