*f + 4*f = -4*h - 3 for f.
1
Suppose -5*k = 4*i - 8, -2*i + 3 = -3*k - 1. Solve -3*t + p + 11 = 0, k = -p + 6*p + 10 for t.
3
Let v be (-2)/(-3) + (-39)/(-9). Let u(d) = d**3 - 4*d**2 - 3*d. Let h be u(v). Solve 2*b - 3*q = h, -5*b = -0*b - 5*q - 20 for b.
2
Let l be -1*(-2 - -1)*3. Suppose l*t + 1 = 5*o - 1, -3*o = 2*t + 14. Let k be (1 + -1)/(t - -3). Solve 5*x - 2*w - 33 = 0, 5*x - 4*w - 33 - 8 = k for x.
5
Let v = 5 - 5. Solve v = -j - 5*w + 19, -3*w + 5 = 2*j - 12 for j.
4
Suppose 14*z - z = 52. Solve 0 = 5*j + h + 17, -j = 3*j + 4*h + z for j.
-4
Let g be 1 + 2 + (0 - -1). Suppose 0*d - 12 = -g*d. Solve 4*o = -3*l + 3 + 8, 0 = l - 2*o + d for l.
1
Let u = -5 + 8. Suppose 2*x - 3 = -u*i, -3*x + i - 1 + 0 = 0. Solve 5*v + 5*t = x, v + 3*t = 4*t - 10 for v.
-5
Let d(m) = 3*m - 3. Let b be d(2). Suppose -y + 1 = -2*c + 5, -2*c - 12 = -5*y. Solve -5*v - 2*o + b = -o, 0 = y*v + 4*o + 4 for v.
1
Suppose 0*h + 3*d + 15 = 2*h, -4*d - 20 = 0. Solve 2*t + 4*x + 14 = h, t - 4*x - 8 = 3 for t.
-1
Let l be (1/(-2))/((-3)/144). Solve -16 = 5*h + 2*s, -5*h - 3*s + 5*s = l for h.
-4
Let l(p) = 2*p - 4. Let q be l(3). Suppose -q*d - 14 = -4*i, 0 = 5*d - 2*i - 3 - 2. Solve 0*j - 5*j + h - 19 = 0, 0 = j - h + d for j.
-4
Let h(v) = -v**2 - 6*v - 3. Let k(p) = p**2 - 6*p + 4. Let f be k(4). Let y be h(f). Let r be 3 - 2 - (-2 - 0). Solve 21 = 4*x + y*d, 0 + r = x - d for x.
4
Suppose -2*z - 29 = -5*z - 4*q, -17 = -4*z - q. Solve -z*f + 10 = -5*r - 11, -f - 2*r - 4 = 0 for f.
2
Let b be (-1 - 1)*(3/(-2) - 0). Solve 5*i + 25 = -5*y, -i + 3*i = b*y + 5 for y.
-3
Let o(t) = t**3 + 3*t**2 - 2. Let j be o(-2). Let m be 0*j*3/(-6). Solve 5*r + f = 5*f, -5*r + 3*f - 5 = m for r.
-4
Suppose -9*q + 5 = -8*q. Solve -5 = 5*h, i + 0*i = -q*h - 4 for i.
1
Let w = -4 + 10. Suppose -3*s + 18 = 4*p, -9 = -5*p - 3*s + w*s. Solve 4*d = 3*y - 0 - 3, 21 = 2*d + p*y for d.
3
Let i = 25 + -5. Suppose -5*u + y = 6*y + 25, 3*u - 4*y - i = 0. Solve u = -2*o + c - 3*c - 12, 4*c = -3*o - 20 for o.
-4
Let c be (-242)/14 + (-2)/(-7). Let w = c - -28. Solve -4*k = -g + 2, k + 3*g + w = -4*k for k.
-1
Let h(p) be the second derivative of p**3/6 + 9*p**2/2 - p. Let u be h(-5). Let s be (-2)/3 - (-11)/3. Solve 2*l - u*j - 3 = -15, -s*j = -2*l - 8 for l.
2
Let f be (8 - 7) + 0 + 2. Suppose -f*s - 5 = -4*s. Solve -s*m - 1 = 2*v + 2, -4*v = -3*m + 19 for m.
1
Let h be (4 + -3)*(-3 - 36). Let p = h - -59. Suppose 0*r + 3*r - 21 = 0. Solve 2*j - r = -3*d + 13, -p = -5*j for d.
4
Let w be (-1)/4 - 25/(-4). Let v(p) = 2*p + 6. Let r be v(w). Let i = r - 13. Solve -5*m = i*c - 5, -2 = -m + 3*c + 7 for m.
3
Let d be 0 - -15 - 16/4. Solve 0 = 2*g - 5*p - 7, -4*g - 20 - d = 5*p for g.
-4
Suppose 0 = 5*f - 4*w - 25, -2*f + 20 = 2*f + 4*w. Solve f*u + 25 = 0, 0 = -r - 4*u - 0*u - 18 for r.
2
Suppose -4*t + 18 - 2 = 0. Solve f = -t*k + 3*f + 24, 16 = 5*k + f for k.
4
Suppose 3*r - 4 = 2. Solve 2*c = 3*q - 16, -4 = -r*q + 4*c + 12 for q.
4
Let p(j) = -3*j - 5. Let f be p(-4). Suppose -f = -2*w + 1. Solve -w*m - 5 = v - 16, -3*m = 5*v - 4 for v.
-1
Let y = 16 + -11. Suppose 129 - 41 = 4*c. Solve 3*k - y*o = 26, 4 - c = k + 5*o for k.
2
Let t be 2/1 + -2 + 0/3. Let m = 5 - -2. Solve t = z + 3*h + m, -4*z + 0*h - h = -16 for z.
5
Let y = 2 - -2. Suppose 0 = -4*q + y*d - 6 - 2, q + 5*d = 22. Let z = -1 - -4. Solve 0 = z*s + b - 2, -3*s - 4*b = q*s + 6 for s.
2
Suppose -3 - 9 = 4*n. Let b = 1 + n. Let a be ((-1)/b)/(1/10). Solve 3*j = -u + 1, u + a = 6*j - 3*j for u.
-2
Let o(y) = 2*y**3 - 11*y**2 - 2*y - 2. Let b be o(6). Solve -2*g - 5*d = g - b, 0 = 3*d - 6 for g.
4
Suppose 5*p - 14 = 26. Solve -3*h + 13 = -2*x, 3*x = -h + p*x for h.
5
Let f be 69/(-21) - 2/(-7). Let m = 0 - f. Let o(s) = s**2 - 9*s - 3. Let c be o(12). Solve 2*h + 2*t - 2 = 0, -c + 12 = m*h - 3*t for h.
-3
Suppose -2*r + 6 = 3*l + r, 4*r + 8 = 4*l. Suppose -2*z + 4*z + 10 = 3*u, -z - 3*u = -13. Solve -3*k + 4*k = -p - z, -5*p = l*k + 11 for k.
2
Suppose -4*l + 8 = 3*w, 3*w + 10 - 3 = -l. Suppose 3*o + m = 6*m - 4, -m = 3*o - 8. Solve -5*r - l = 2*d, -5*d + o*r = r - 1 for d.
0
Let o be 4/8*2*3. Solve 9 = o*y, 2*y + 1 = -5*n + 4*y for n.
1
Let m(t) = 14*t + 3. Let b be m(-2). Let q = b - -41. Solve 4*y - q = 4*v, 7*y = 2*y + v + 8 for y.
1
Let r be 6/12*(0 - -12). Solve -4*u = 4*x, x + 4*u - r*u = 3 for x.
1
Let t be 8/(-28) + (-111)/(-21). Suppose 2*l + t*z + 3 = 0, 0 = -l - 5*z + 2*z - 1. Let b be l/12 + 26/6. Solve 2*m - 2 = -0*m + 3*g, 3*m + b*g = 3 for m.
1
Suppose 1 = q + 2. Let l be -19*(q + (-1 - -1)). Solve h - 4 = -x, 2*h - 4*x = -h + l for h.
5
Suppose s - 11 = -3*t, -t - 4*s = -3 - 8. Let x be t + -1 - 4 - -9. Solve 3*f + k + 13 = 0, 1 - x = -3*k for f.
-5
Let b = 27 - 11. Suppose 5*k - b = 14. Solve -k*u + 2*u = 12, 12 = p - 3*u for p.
3
Suppose 0 = -c + 143 + 149. Suppose -c = 4*r + 5*q, q = -3*r + 5*q - 188. Let t be r/6*(-3)/2. Solve 5*p - p - t = -l, -4 = -2*p + 4*l for p.
4
Suppose 2*p + 51 = -p. Let g = -11 - p. Let d be (-4)/26 + 2/13. Solve d = -i + 4*z - g, -10 = 2*i - 5*z - 1 for i.
-2
Let a(t) = -t**2 + 5*t - 3. Let c be a(4). Let r = c - 1. Suppose z - 4 - 1 = -3*i, -2*z - 5*i = -10. Solve z*j + l - 23 = -r*j, 5*l = -2*j for j.
5
Let w(d) = d + 30. Let s be w(-26). Solve -3*h = 2*b - 1, h = 5*b + 2 + s for h.
1
Let x = 2 - -1. Suppose -3*b + i + 63 + 23 = 0, 3*i = x*b - 90. Solve 4*d + b = 4*w - 0*d, 0 = -3*w - d + 13 for w.
5
Let h be (-1)/(5/15) - -3. Solve 3*m - 2*m - 1 = -p, 3*p + m - 3 = h for p.
1
Let x = -2 + 7. Solve x*f = 3*d - 20, 16 = -0*f - 4*f + 2*d for f.
-4
Let m(g) = g**3 - 4*g**2 + 4*g + 1. Let d be m(3). Suppose 0 = 5*x + 2*n - 29 - 5, d*x - 44 = 4*n. Solve 4*i = 4*b - 20, 3*i = -x*b + 3*b + 9 for b.
3
Let c(t) = -2*t - 28. Let q be c(-14). Solve q = v + 4, v + v + 20 = -3*m for m.
-4
Suppose r + 3*a - 13 = 0, 4*r - 3*a + 18 = -a. Let q be ((-1)/r)/(8/48). Let g be q/(-2) - (-27)/6. Solve 3*o + 4*j - 6 = 0, -7*o - 14 = -g*o - 2*j for o.
-2
Let r = 3 - 3. Let j be -1 + -1 + 6 - r. Solve -5*t + j*w = -6*t - 11, -2*t - 3*w - 7 = 0 for t.
1
Let l = 10 - -15. Solve 0 = -5*r - l, -3*r + 2*r = 4*j + 21 for j.
-4
Let d = 3 + -4. Let g be 2 - (-2 + 1)*d. Let v be (1 - g - 1) + 5. Solve -2*k = -v*f + 2, -k - 5*f = -3*k - 1 for k.
-3
Suppose -12 = -5*l + 4*g + 6, 3*l = -g + 21. Suppose u + 2*u - l = 0. Solve -3*x + 3*o = u*x + 14, -5*x - 3*o - 26 = 0 for x.
-4
Suppose 0 = 3*y + 4*q - 63, 0 = -5*y - 5*q + 58 + 52. Suppose 2*g + 3*g = y. Suppose -v - g = -3*c, -8 = -3*v + v. Solve -c*m = -2*u - u - 18, 0 = -m + 3 for u.
-3
Let s = -2 - -3. Let m be (-5)/3*(-126)/35. Let o = m - s. Solve -21 = -5*f - q, 0 = -3*f - o*q + 3 + 14 for f.
4
Let x(p) = -p**2 + 13*p - 24. Let i be x(9). Solve 2*f = -3*m + 14, 4*m - 3*f = f + i for m.
4
Suppose f = -0*f + 3. Let o = f - 3. Solve o*z - q = 2*z - 1, -2*q + 4 = 3*z for z.
-2
Suppose -10 - 10 = -5*k + j, 2*k + 5*j + 19 = 0. Suppose -4*u + 25 = -5*a + 3, -a + u = 5. Let x = k - a. Solve 2*t + 3*n = -8, t + x*n + 4 + 0 = 0 for t.
-4
Suppose -3*h + 230 + 61 = 0. Suppose -4*o = -15 - h. Solve 5*z = -4*l - 5, -3*l = -3*z - 2 - o for z.
-5
Let t be (-11)/(-2) - (-1)/2. Let h(f) = 2*f - 8. Let n be h(t). Solve 20 = -n*l + a - 1, -2*a - 18 = 4*l for l.
-5
Let d = -82 + 85. Solve 5*m - 3 = -j, d*j - 4*m - 9 = -0*j for j.
3
Let r be -2 - (-16 + 6/2). Suppose 0 = r*b - 14*b + 30. Solve -4*c = 5*z - b, -7 = -2*c - 3*z - 1 for c.
0
Suppose 3*l - 2*l - 19 = -5*x, 4*l - 16 = 0. Solve 0 = 5*b + x*r + 26, 0*b - 12 = 2*b + 2*r for b.
-4
Let b = -39 + 62. Solve 2*x - b - 1 = 5*a, -a = -3*x + 10 for x.
2
Suppose 3*x + 3*t = 2*t + 51, -81 = -4*x + 3*t. Solve -3*q - 12 = 3*v, 2*q = -4*v - 0*q - x for v.
-5
Suppose 0 = 2*y + 5*o + 15 - 251, 3*y = o + 320. Let n = -57 + y. Suppose -5 = -3*s + 2*s. Solve 20 - n = s*q - 3*d, 2*d = 4 for q.
-5
Suppose -u = 2 - 1. Let j = 5 + u. Suppose -h + 5*h - 8 = 0. Solve 0 = -4*n + j*d - 32, -n - h*d + 0 = -1 for n.
-5
Let x = 101 - 33. Let j be x/18 - (-2)/9. Solve -6*g + 3*g - 4*p + 8 = 0, -4*p - j = 0 for g.
4
Suppose 0 = -3*c - 2*c + 10. Suppose -7*n + c*n = 0. Let j be (n - 0)/(-2 + 1). Solve 0 = 5*d - 3*p - 2, j = -0*p - 4*p + 4 for d.
1
Suppose 0 = -2*a + 2*m, 3*a - 4*m + 3*m - 10 = 0. Suppose -2*n - 12 = -0*n. Let c = n + 6. Solve 4*h + o + a = 5*h, 