+ v for h.
-1
Let c = -1 + 12. Solve 5*b + c - 3 = 4*l, 3*b - 4*l + 8 = 0 for b.
0
Suppose 0 = -3*b - 2*b. Solve -4*s - 5*d + 25 = b, 7*d - 2*d - 25 = 4*s for s.
0
Let f(b) be the first derivative of b**2/2 + 5*b - 5. Let l be f(-5). Solve 4*m + g - 16 = l, -5*m + 23 = -g + 3*g for m.
3
Suppose 0 = 4*p - 0 - 4. Suppose 2*o = 4*g + 2, -5*g - 3*o = -g - 23. Suppose 0 = g*c - 0*c - 4. Solve 4*l = -c*m, 2*m = -l + m - p for l.
1
Suppose -3*x = -44 + 2. Suppose -2*k + 4*y - x = 0, -k - k - 2*y + 16 = 0. Solve -g + 3 = 2*g, -k*j - 4*g + 1 = 0 for j.
-1
Let o be (-58)/(-4) + (-9)/(-6). Suppose -5*j - 4*d = 1, j = -3*j + d + o. Solve -3*m - 12 = -0*m, j*m = z - 13 for z.
1
Suppose -5*h - g + 41 = -25, -h - 6 = 5*g. Solve -3*o - 1 - h = -3*i, 0 = 5*i + 5*o + 25 for i.
0
Let q(g) = g**2 + 4*g + 12. Let f(l) = l**3 + 15*l**2 + 15*l + 9. Let c be f(-14). Let t be q(c). Solve y + 4*i + t = 0, -25 = 2*i + 3*i for y.
3
Let b(l) = 11*l - 65. Let z be b(6). Suppose 7*p = 2*p. Solve -3*f + 2*r - 14 = p, f = 5*r - z - 8 for f.
-4
Suppose 12*f + 0 = 36. Solve -4*c + 16 = 5*q, 2*c + 16 = 6*c + f*q for c.
4
Suppose 3*k = -5*c + 25, -5*c + c - 2 = -2*k. Solve 5*n + 10 = -3*o, -o = -k*n + n - 25 for n.
-5
Suppose 2*o + 10 = -3*v - 0*o, -v - 5*o - 25 = 0. Suppose 0 = -j + 4*p - 1, v = -5*p + p + 4. Solve -k + q - j = 0, -q - q = 3*k + 14 for k.
-4
Suppose -5*q - 24 = 2*d, -10 = 5*d + q + 4. Let x be d/2*-6 - 2. Solve 8 = 5*n + 4*j, x*n + 6*j = j + 1 for n.
4
Let k(v) = -6*v - 1. Let w be k(-1). Let i = -14 + 31. Suppose 2*r - 6*r + d + i = 0, w*r + 5*d = -10. Solve -r*b + 4*l + 19 = 0, b - 11 = 4*l - 2 for b.
5
Let g be (2 - 3) + (0 - -6) + -1. Solve 0 = -g*f - 4*w - 5 - 23, 0 = -2*w - 10 for f.
-2
Suppose -4*o + 2*p + 20 = 0, 4*o + 2*p + 2*p = 32. Let d be (4/(-8))/(-1)*o. Solve 4*r = f + d*f - 24, 3*r - 14 = -5*f for f.
4
Let f be 33/(-22) + (-33)/(-2). Solve j - 4*h = 3*j - 6, j + f = 4*h for j.
-3
Let y be (15/(-9))/((-20)/24). Solve 3 = -3*m + y*m + 3*j, 0 = m + 3*j + 3 for m.
-3
Let u(q) = -q**3 - 4*q**2 - 2*q. Let j be u(-4). Let y(m) = m - 6. Let w be y(j). Solve -2*l - 3*l + 4*x + 7 = 0, 2*x = -w*l - 8 for l.
-1
Suppose 3*s + 2 = 20. Let f be (20/6 - 0)*6. Suppose s*l - l = f. Solve -4*u + 32 = l*o, 4*u - 6 = u + 3*o for u.
5
Suppose 3*r - 5 = 1. Let p be 2/(-3) - 11/(-3). Suppose -3*j = -2*z + 2*j + 14, 4 = 5*z + p*j. Solve -d = -3*w - 15, r*w + 3*d = -z*d + 7 for w.
-4
Suppose 5*t + 5*z = 5, -4*t + 7 = -0*z + 3*z. Solve 3 = -t*k + 2*c - 7, -5*c - 8 = k for k.
-3
Let z be 0/(3*-1) - 4/(-4). Solve -5*r = l + 16, -l + z = -r - 1 for r.
-3
Let w(x) = -x + 12. Let f be w(12). Suppose 3*z - 12 = -f*z. Solve -2*s + 8 = b - 0*b, 0 = -z*b + 4*s - 16 for b.
0
Let x = 7 - 3. Let p = 9 - x. Suppose 2*u = p*u - 9. Solve -4*s + 7 = -h, -6*h = -u*h + s - 18 for h.
5
Let y(q) = q + 2. Let n be y(4). Suppose -6*m + n = -3*m. Suppose w - 4 = -m. Solve 0 = w*v + 2*c - 4*c, -c = 2*v for v.
0
Suppose 15 = 3*f, k = -7*f + 3*f + 23. Suppose b = -k*b. Suppose b = -4*r - 0 + 8. Solve r*q - 11 + 3 = -n, -2*q = 2*n - 6 for q.
5
Let o(z) = -2*z**2 + 5*z + 7. Let w be o(7). Let v = 37 + -62. Let t = v - w. Solve -t = 2*a + 2*a + 3*x, -4*a + x - 11 = 0 for a.
-4
Suppose 2*c + l + 2*l = 0, c + 11 = 4*l. Let h(v) = -v + 2. Let o be h(c). Solve -3*y = -w + 16, 10*w = 5*w - 2*y - o for w.
1
Let h be 525/10 - (-2)/(-4). Let o be h/20 - (-2)/5. Solve 0 = -o*t + r + 2, -5*t = -2*r - 1 - 2 for t.
1
Let b(u) = 8*u. Let h be b(3). Solve 4*v - 17 = 5*l - 48, -h = -4*l + 3*v for l.
3
Let g(h) = h - 4. Let w be g(6). Suppose 3*l + l - 21 = -5*d, 3*d + w*l - 11 = 0. Solve 0 = -2*z + v + d, -4*z = z - 4*v - 1 for z.
1
Let o be (-3)/(4 - 15/3). Solve 2*k - 2*u - 10 = 0, k = -o*k + 3*u + 19 for k.
4
Let k be 423/33 - (-10)/55. Let t = k - 9. Solve 0 = 4*s, 0*d - 4*s = -t*d - 12 for d.
-3
Let d = 125 - 120. Solve 0 = -4*l + 2*v + 11 + d, 3*l + 1 = -5*v for l.
3
Suppose -h + 3 = 0, -5*h - 42 = 2*g - 11. Let l = 17 - 33. Let f = l - g. Solve -2*k - 3 = -f, 5*k = n + 10 for n.
0
Suppose 7 = -13*a + 7. Solve 3*g + s - 7 = a, g + 1 = 3*s - 4*s for g.
4
Let k(r) = -r**3 + 9*r**2 + 3. Let m be k(9). Solve -2*q + 8 = -3*g, -m*q - 12 = -5*q + 5*g for q.
1
Let i(w) = -w**2 - 7*w + 11. Let c be i(-8). Solve -m = 3*u + 6, 3*u = 3*m + c + 3 for u.
-1
Suppose -4*n + l + 7 = 0, -5*l + 35 = 3*n + 1. Solve -2*b + n*w = -19, 0 = 4*b + w + 4*w + 17 for b.
2
Let l(z) = z**3 - z**2 + z. Let k be l(3). Suppose 3*x - k = -0*x. Suppose 2*m + 2*m - 20 = 0. Solve -m*v + x = -4*p, 6*p - 2*p - 2*v + 10 = 0 for p.
-3
Let l(d) = -d - 8. Let m be l(-8). Suppose -4*r + 8 = -m*r. Solve -5*i + 4*v - 11 = 21, 14 = -5*i - r*v for i.
-4
Suppose -2*d + 5*g = 217, 4*d + 5*g = -0*g - 359. Let k be d/(-9)*(-9)/(-2). Let q be (-7)/(-2)*k/28. Solve -2*s + q = -4*a, -5 = -2*s + 7*s - 5*a for s.
-5
Suppose -2*m - 3 = -m. Let o(z) = 2*z**2 - z**2 + 2 - 1 + 2*z. Let y be o(m). Solve -23 = -4*k - 5*v, y*k - 2*v + 3*v = 11 for k.
2
Let b be (-1 - -2)*-1 + 2. Suppose 4*c - 14 = 2*k, 0 = 2*c + 2*k - b - 21. Solve 3*n = 5*m + 6, 4*n + m - 2 - c = 0 for n.
2
Let q(l) be the third derivative of 5/6*l**3 - 1/24*l**4 + 0*l + 0 - 2*l**2. Let c be q(0). Solve 4*i = 3*n + 22, 2*n - 22 = -c*i + 3*n for i.
4
Suppose -21*a - 8 = -25*a. Solve -a*c - 4*l = -3*l + 4, 4*l = -2*c - 4 for c.
-2
Let h(c) be the second derivative of -c**4/12 - c**3/3 + 3*c**2/2 + c. Let s be h(2). Let o = 8 + s. Solve 2*f + 0*f + 2 = -4*l, 0 = o*f - 9 for l.
-2
Let x(c) = 0*c**2 + 0*c**2 - 6 + c**2 + 3*c. Let w be x(-5). Solve 2*q + 3*a = -a + 14, 2*q = 5*a - w for q.
3
Suppose -u + 5*r = -21, 2 = r - 0. Let i = -21 + u. Solve 0 = 5*k, 2*k + i = -2*s - k for s.
-5
Let l = -5 + 5. Suppose 5*b = -5*r, -r - r - 6 = l. Let a be 10/2 + b + -3. Solve 5 = -5*h, 3*q = -a*h - 26 + 6 for q.
-5
Let a(v) = -5*v**2 - 7*v - 2. Let w(c) = -c**2. Let f(i) = -a(i) + 6*w(i). Suppose 2*x - 1 = 13. Let l be f(x). Solve 5*g + d = -6, -l*g + 4*d = g + 22 for g.
-2
Let q = -6 - -16. Let u(k) = -k**2 + 10*k + 3. Let i be u(q). Solve -5*n = b - 28, -2*b - i*b = 4*n - 35 for n.
5
Let n be (-12)/30 - (-96)/(-10). Let b be (16/n)/((-2)/25). Solve 4*i + 4*d + d - b = 0, -2*i + 10 = 2*d for i.
5
Let k(j) = j**3 + 6*j**2 + 4. Let g be k(-6). Solve -s + 2 = g*d, d + 7 = -2*s - 2*s for d.
1
Let m = -19 + 31. Let u be (-2)/1 + 3 + m. Solve 3*b - 4*j + 17 = 0, -2*b - 3*b - j - u = 0 for b.
-3
Suppose 2*s + 5 = 3*c, 4*s = -0*s - 2*c + 14. Let v = 6 - s. Suppose 31 = 4*y - 61. Solve 5*p - y = -2*r, 9*r = v*r + 20 for p.
3
Let j(n) = -n**3 + 10*n**2 + n - 5. Suppose 45 = 5*u - 4*v + 7, -4*u + v = -37. Let a be j(u). Solve -a*x = -25, -g - 10 = -4*g - 2*x for g.
0
Let m(t) = -2*t - 3. Let l be m(5). Let n = l - -18. Solve -5 = n*v - 5*x, v - 3*x - 4 = 5*v for v.
-1
Let q(m) = -m**2 - 7*m - 1. Let c be q(-6). Solve 0 = f + 5*t - 5 - c, -3*t + 6 = 0 for f.
0
Suppose 3*c = 3*m - 15, -3*m = 5*c - 6*c - 19. Let q be (m/(-4))/((-2)/24). Solve 0 = -5*b - p - 2*p + 5, -2*b - 5*p = -q for b.
-2
Let c = -3 - -8. Solve 5*m - 20 = -4*y, 3*m + 0*m + c*y - 25 = 0 for m.
0
Let s(b) = b**3 - 9*b**2 - 9*b + 2. Let o be s(10). Suppose 7 - 3 = -4*z. Let d be (1/3)/(z/(-9)). Solve -2*q = -2*y - o, 5*y + d*q + q = -21 for y.
-5
Let v be (-1)/(2/6*-1). Solve -h + 9 = 3*r - 0*h, v*h = -5*r + 15 for r.
3
Suppose -3*q + 11*q - 16 = 0. Solve -t - 2*t + 13 = n, n = -q*t + 8 for n.
-2
Let q(d) = -4*d**3 - 9*d**2 - 5*d + 6. Let u(v) = 3*v**3 + 8*v**2 + 4*v - 5. Let i(z) = -4*q(z) - 5*u(z). Let g be i(4). Solve 2 = k + l, 0 = 2*l + 1 + g for k.
3
Let m(t) = 3*t - 2. Let h be m(2). Solve 2*r - 3*s = s, -4*r + h*s = 0 for r.
0
Let q be -1 - 1/((-2)/16). Let l = q - 3. Suppose -4*s - 2*t = -6, -t - 2*t + 9 = 3*s. Solve s = l*y, -p + 6*y = y for p.
0
Let n be -1*1 + (-14)/(-2). Suppose 0 = -x + n*x. Let f be 2*21/7 - -1*3. Solve 4*g + 12 = -4*y, -y - 3*g = -x*y + f for y.
0
Let o be ((-7)/2)/((-2)/4). Let q(g) = -g + 9. Let t be q(o). Solve -2*u - 9 = -0*n + 3*n, -t*n - 6 = 5*u for n.
-3
Let k(c) = c**2 + 4*c - 4. Let u be k(-6). Let q(m) = -m**3 + 6*m**2 - m + 1. Let z be q(6). Let f = u + z. Solve 17 = 2*p + f*s, -2*p - 3*s = 2*s - 23 for p.
4
Suppose 5*q = -3*i - 3, -2*q + 11 = 4*i + 1. Let b be q/(-12) - (-22)/8. Solve -5*s + 2*u + u = 24, 4*u = -5*s -