-3*f - 3*h for f.
-2
Let r(m) = m**2 + 9*m. Let g be r(-10). Let l be (-2)/6 + g/3. Solve -16 = 4*f, 8*q - l*q - 5*f - 40 = 0 for q.
4
Suppose -4*g + 16 = -x - 28, -3*g = -4*x - 46. Let t be 4/(8/g) - 2. Solve -2*o = -8, -t*o + 16 = 5*h - 6*h for h.
-4
Suppose -4*g + 20 = 6*g. Solve 0 = 3*u - g - 1, 0 = i + 2*u - 6 for i.
4
Let g(a) = -5*a**2 - 2. Let x be g(4). Let h = x + 56. Let w = -3 - h. Solve 0 = 4*r - 5*k + w, -r + 0*r = 5*k - 13 for r.
-2
Let k(g) be the third derivative of -g**4/24 + g**3/6 - 2*g**2. Let c be k(-5). Suppose 4*v - 14 = -c. Solve -27 = 3*d + 5*w, v*d + 2*w + 11 = -3 for d.
-4
Let k = -25 + 17. Let y = k + 12. Solve -4 = d + t + 4, -t = y for d.
-4
Let z be ((-7)/3 - -1) + (-133)/(-21). Solve -15 = z*b - b - 5*x, -b - x = 6 for b.
-5
Let j(a) = -4*a + 10*a - 2*a + 3. Let n be j(3). Let h = n + -8. Solve -2*f - h = 5*v, -f = -2*v + v for f.
-1
Suppose 23 = b - 3*u, -6*u = -2*b - u + 43. Solve 0*a + 4*a + 18 = -y, 3*y + b = -4*a for a.
-5
Let s = -16 - -11. Let b = 13 + s. Suppose -3*m + 3 = 3*k - k, -5*m + 21 = -2*k. Solve 8 = -4*y, c + m*y = y - b for c.
-4
Suppose -17*o = -0*o - 51. Solve t + 2*y = -0*y + 3, -t = -y - o for t.
3
Let r(o) = o**2 + 5*o + 1. Let v be r(-5). Let j = v - 1. Solve x + 3*h + 9 = j, 2*x = x + 3*h + 3 for x.
-3
Let h(w) = w + 3*w - 5*w - 3. Let i be h(-4). Let n be ((1 + 0)*17)/i. Solve 3*p - n = -p + 5*z, 0 = 4*p - z + 3 for p.
-2
Let f be (-3)/12 + (-122)/(-8). Suppose 4*s - 2*d - 6 = 16, -5*s + 4*d = -29. Solve 10 = n + 3*p, 5*p + s - f = 0 for n.
4
Suppose s + 3*h - h + 5 = 0, 2*s + 11 = -5*h. Suppose -o - 20 = 3*o. Let u = s - o. Solve -3*w + 3*q = -0*w + 21, -4*w - u*q = -2 for w.
-2
Suppose -7*v + 36 = 5*v. Solve 4*n = -4*z - 1 + 5, v*n = -z - 1 for z.
2
Let u = -11 - -20. Let v be (-1)/2*2 - u. Let j = v + 30. Solve -20 = 5*b, -4*s - j = s + 5*b for s.
0
Suppose 8 = -4*v + 88. Suppose -3 = -4*h + 5, 2 = -4*l + h. Suppose 0 = 5*f + z - 23, l*z - 8 = 4*z. Solve 0 = f*x + v, 21 = 5*c - 2*x + 3 for c.
2
Let g(k) = 3 - 2*k - 3*k + 6*k. Let h be g(-3). Solve n - 5*f - 26 = h, -3*n - n + 3*f = -19 for n.
1
Let l be 4*1/2*1. Suppose -5*x + 5*o - 10 = 0, -2*x + 3*x + l*o - 10 = 0. Solve 2*a - 14 = -2*g + 6*g, x*a - 2*g = 4 for a.
-3
Let o = -3 + 6. Suppose 2*q - 2*n - 16 = 12, 0 = 2*q - 4*n - 38. Let a = q + -6. Solve -5*r = -o*d - 2*d - 10, 8 = -a*d + r for d.
-3
Let n(j) = -j**2 + 5*j + 8. Let i be n(6). Solve 0*x = 2*m + 2*x + 6, 0 = -4*m + i*x + 12 for m.
1
Suppose 5 = 2*h - 3. Solve 0 = -h*a - 2 - 10, -2*a = -3*c - 3 for c.
-3
Let h be (-26)/8 + (-9)/(-36). Let z = h - -16. Solve -2*g = -s - z, 4*g - 27 = g + 4*s for g.
5
Let k(d) = -d**3 + 2*d**2 + d + 2. Let q be k(3). Let x be q/(-14) + (-12)/(-7). Solve 2*w - x = 5*f - 0, w = -f + 1 for w.
1
Suppose -12 = 3*x - 3. Let f be 1 - x - 1 - 1. Solve 6 = -3*i + 2*v, -10 - 4 = f*i + 2*v for i.
-4
Suppose 0 = -2*v + 2*o + 2, -4*o + 4 + 0 = 0. Solve v*q - 21 = 5*u, -4*u - 12 = -0 for q.
3
Suppose 0 = 2*z - b + 1, -2*z - b + 4 + 1 = 0. Let v be (-2)/((-2 + 1)*z). Solve 6*r + g = v*r - 2, 4*r - g = -6 for r.
-1
Suppose -4*j - 2 = -5*u + 5, u - 7 = -2*j. Suppose -3*v - j*v = -10. Solve 16 = -4*n, v*d + n + 2 - 6 = 0 for d.
4
Let r(h) = h. Let w be r(4). Solve -w*n + m = -4*m - 4, 2*n + 3*m - 2 = 0 for n.
1
Let x = 15 - 8. Let l = -2 + x. Solve -g + 3 = 2*o - 2, 3*g - 13 = -l*o for o.
2
Suppose -3*g - 2 = -14. Suppose -2*o = -0*o + 4, 0 = -2*n - 4*o. Solve 7*q - 3*q + g*m = 36, n*q + 5*m - 40 = 0 for q.
5
Suppose -5*x + 15 = 2*c, 0 = -c - 2*x + 2 + 4. Solve -2*f + 7 = 2*w + f, c = -3*w - f + 7 for w.
2
Let y(l) = l**3 - 8*l**2 - 8*l - 4. Let m be y(9). Let t be ((-8)/m)/(8/(-20)). Solve -a - 6 = -2*q - 3*a, -6 = -t*q - a for q.
1
Let s be 0 + (-4 - (13 - 2)). Let p = 15 + s. Solve -5*i + 8 = n - p, i = -n for n.
-2
Suppose -5 - 7 = -4*z. Suppose -3*n = z - 6. Let a be 5*((-1 - -1) + n). Solve -a*j + 5*h = 15 + 10, -5*j + 4*h = 22 for j.
-2
Let h = -2 + -2. Let x = 32 + h. Suppose -2*c - 7 = -5*y - x, 39 = 5*c + y. Solve -3*v + c = -4*r, 2*r + 1 + 21 = -3*v for r.
-5
Suppose -3*l + 6*l + 10 = -5*i, 2 = 2*l - i. Suppose -5*r = -l*r - 10. Solve 2*t + 1 + 13 = 4*j, r*t - 2*j + 6 = 0 for t.
1
Let j(l) = 8*l**3 - 2*l**2 + 1. Suppose -4*v = -10 - 2. Suppose -v*k = -6*k + 3. Let r be j(k). Solve 3*q - 26 = -2*c - r, 2*q = c + 1 for q.
3
Let j be (16 + -13)/((-3)/(-5)). Solve -5*o - 2*h = -16, 0 = -j*o + 6*h - h - 5 for o.
2
Suppose 0 = 4*h - 66 - 70. Let s be (-4)/6 + h/6. Solve -r - 5*l = -2*r + 25, s*l = -20 for r.
5
Let j be (-63)/(-9) + (-6)/(-2). Suppose -5*v + 16 = -4. Solve -v*f + c + 29 = j, 7 = f - c for f.
4
Suppose -o = -g - 3, o + 3*o + 5*g = 21. Let r = -7 + 3. Let f be 2/r*(1 - 5). Solve -2*l = f*z - o, -6*z + z - 3*l = 0 for z.
-3
Let j(z) = -3*z**2 - 31*z + 26. Let p be j(-11). Solve -40 = -4*f + 5*m, p*f = -6*m + m for f.
5
Let j be 71/3 - 7/(-21). Let u = j - 21. Solve 5*s - u*t - 12 = 0, 4 = -0*s - s - t for s.
0
Let w(h) = -h**3 + 16*h**2 - 30*h + 33. Let b be w(14). Solve -2*r = -5*i - 7*r - 25, 5*i - 5 = b*r for i.
-2
Let r be (-4 - (1 - 3))*-11. Solve -3*d + r = -5*h, -4*d - 24 = 6*h - 2*h for h.
-5
Let z be 55/4 - (-15)/(-20). Let o be -8 + z - 3/1. Solve f = o*q - 1, 3*f = q + 1 - 4 for f.
-1
Let d be 92/414 + (-104)/(-18). Solve -2*h = 5*k - d*h - 3, 0 = -4*k + 5*h + 6 for k.
-1
Suppose 5*i + 6 = 51. Solve -t = t + 3*u + i, -4*t + 9 = -3*u for t.
0
Suppose 0 = -3*y - y + 8. Suppose -2*s = 3*d - 2, y*d + 2*s = -0*d - 2. Solve 3*o = -3*f - 21, -2 - 2 = -d*o + 4*f for o.
-3
Let f = 3 - 4. Let k be -2 + 4 + f + -1. Let g be k + 3/((-3)/(-5)). Solve -g*b - 4*i = -3*i - 21, -i - 4 = 0 for b.
5
Let j(o) = -16*o**3 - o**2. Let t be j(-1). Suppose -6 = -3*k + 4*v, -4*k + 5*v + 8 = -1. Solve 3*i - z = -4*z - k, -t = 5*z for i.
1
Suppose 4*y = 4 - 0. Let l = y + 2. Solve -4*d = -2*d - l*u + 5, 3*u = -2*d + 13 for d.
2
Let n be 100/26 - 8/(-52). Let w(q) be the second derivative of q**3/6 - q**2 + 2*q. Let o be w(7). Solve o*b + m - 29 = -3*m, -n*m = -5*b + 21 for b.
5
Let c = -2 + 5. Suppose -8 - c = -i. Solve i = -z + 3*g, 0 = z + z - 4*g + 18 for z.
-5
Let n be (-2)/4*(-59 + 1). Suppose 0 = 5*t - n + 9. Solve 4*a + 5*u - 4 = 0, -t*u + 9 + 23 = -4*a for a.
-4
Suppose -4 = -q + 5. Let t be ((-9)/q)/((-2)/18). Solve a - 2*c + 12 = 0, a = -a + c - t for a.
-2
Let r = 18 - 15. Solve 20 = 5*i, 3*g - 3*i - r = -0 for g.
5
Let g(b) = -b**3 - 6*b**2 - b - 3. Let r be g(-6). Suppose -r*s - 3 = -4*s. Suppose -s*x + 0 = -6. Solve 5*n = t + 6, -2*t = n + x*n - 1 for t.
-1
Let q = 52 - 50. Solve 0 = 4*y + 2*g + 4, -y - g = q - 3 for y.
-3
Let p be -1*2*18/(-9). Solve -5*l + 3 = 3*j, 0 = p*l + 4*j - 6 + 2 for l.
0
Let c(l) = l - 3. Let v be c(6). Let y be (1 + -1)/v - -4. Solve 2*x - x = 5*h, 0 = y*h - 4*x - 16 for h.
-1
Suppose 5*d - 10 = 4*d. Solve -p - 4*r - d = 13, 0 = 2*r + 10 for p.
-3
Let s be 3*((-4)/3 - -1). Let d = s - -1. Solve -4*x + 3*u = -d*u - 14, -x = -4*u - 10 for x.
2
Let n(p) = -p - 7. Let z be n(3). Let a(x) = x + 14. Let d be a(z). Solve -l + 5*f + 8 = 2*l, -2*l - 2 = d*f for l.
1
Let g(h) = -4*h + 12. Let x be g(2). Solve -5*d - x*p + 18 = -7*d, -3*d = 2*p + 11 for d.
-5
Let r = 9 - 3. Solve 4*a - 3*w = -14, -4*a + w - r = 2*w for a.
-2
Let k(g) = 19*g - 1. Let q be k(2). Suppose 5*i - 12 = 3*p - q, p - 9 = 2*i. Solve -3*y = p*r - 22, 2*y - y = 2*r for y.
4
Let f = -22 - -42. Let r be (-252)/(-52) - 4/(-26). Solve 5*x - 25 = -5, 3*g + r*x - f = 0 for g.
0
Let p be (-1 - -1) + 0/(-2). Suppose 3*k = -p*k + 9. Solve -5*u - 2*j = -7 + 2, -k*u - 3*j = 6 for u.
3
Suppose f - 75 = -3*k, -3*f - 3*k + 135 = -96. Suppose 2*q = -q + f. Solve 2*a - 3*h - q = h, -20 = -5*a + h for a.
3
Suppose 0 = -8*w - 11*w + 38. Solve -5*f + 4 = -w*d, -2*d - 2 = 4*f + 2 for d.
-2
Suppose -t - 3 = -7. Suppose 2*y = t*y. Suppose y*c = -5*c. Solve x - 4*o = -25, -2*o = x - c - 5 for x.
-5
Let z be (35/15 - 3)*-6. Solve 0 = -2*p - z*c + 6, 1 + 1 = 3*p - c for p.
1
Let k = 63 - 63. Solve -4*z - 4 = -a - k, -24 = 4*a + 4*z for a.
-4
Suppose -6 = 3*h, -c - h = -1 - 0. Suppose c*l - 2 - 2 = -4*y, 5*l + 2*y - 2 = 0. Solve -5*f = -2*b - l*b + 25, 2*f = -6 for b.
5
Suppose -8 = -4*w + k, 0*k - 10 = -5*w + 4*k. Suppose 0*d = w*d - 4. Solve z - 5*p - 10 = 6*z, -p + 1 =