*h + t*k + 18 for h.
1
Suppose 4*r = 10 - 58. Let u be 14/3*r/(-8). Suppose 2*z + u = -5*k, -3*z - 3*k + 4*k + 32 = 0. Solve 6*t = 2*h + 4*t + 8, -2*h - z = -t for h.
-5
Let n = 16 - 14. Solve 0 = -2*d + 4*s + 14, -5*s = -n*d - d + 19 for d.
3
Let q = 120 + -118. Solve -q*n + 7 = 3*y, -2*y + 1 + 3 = 2*n for n.
-1
Suppose 2*r - 6 = -0*r. Let f(b) = -2*b**2 + b - 1. Let k be f(2). Let y(x) = -x + 2. Let q be y(k). Solve -1 + q = c + 2*t, r*c + 4*t - 20 = 0 for c.
4
Suppose -t + 2 = -1. Suppose -k + 7 = t. Solve v - u = -v - 7, -u + 9 = -k*v for v.
-1
Suppose -2 = -2*j + j. Suppose -j*l = 1 - 7. Solve m = -2*f - 11, -3 = l*m + 12 for f.
-3
Let s(n) = -n - 2. Let x = -14 + 9. Let p be s(x). Solve b = 1, -4*b + p + 6 = c for c.
5
Let h(l) = -l + 4. Let f be h(3). Let n be f*(-3)/6*-2. Let m = 4 + n. Solve m*v - 2*z = v - 4, 0 = -2*z for v.
-1
Suppose -3*v + 6*v = 9. Let k be -3*(4/v)/(-2). Solve 0*b - 4*x = -b + 16, -5*b + k*x = -8 for b.
0
Suppose 0 = 5*f - v + 6, -2*v - 2 = -3*f - 0*v. Let j = f - -5. Solve -5*u = 5*r - 30, -3*u + 10 = -2*r - j*r for u.
5
Suppose -3 = -5*d + 2. Let c be (5 - (0 + 0))*d. Solve c*p - 4*p - 2*y - 5 = 0, -3*p + 13 = -5*y for p.
1
Let t(b) = -b**2 + 4*b + 2. Let r be t(3). Let z(g) = -g**3 + 5*g**2 + 4. Let j be z(5). Solve -r*u + 9 = 4*p, -3*u = j*p + p + 5 for u.
5
Let b(f) = -f**3 + 2*f + 4. Let d be b(0). Solve d = -u - 0*u - l, 5*l + 15 = 0 for u.
-1
Let c = 9 - 10. Let m be (20/30)/(c/(-3)). Solve -3*r + 13 = 5*j + 35, -m = -5*j + 3*r for j.
-2
Suppose 23 = 5*g + 3. Suppose 2*r + 42 - 14 = g*d, 0 = -3*d + 5*r + 35. Solve 0 = 4*p + 4*k + 20, -d*p + k = -0*k + 7 for p.
-2
Let h = 20 + -17. Solve -j = -3*d - 5*j + 5, 20 = -d + h*j for d.
-5
Let y be 33/(-22) + 102/4. Let d be (-2 + 1)/((-6)/y). Solve 0 = 3*m - c - 10, 5*c = -d*m - 0 + 7 for m.
3
Suppose 3*x - 8 = x. Let i be ((-1)/1)/(-1) + 8. Let l = i + -6. Solve -3*y = -0*y + z + x, -5*y = -l*z + 2 for y.
-1
Suppose 2 = 2*b - 4. Let d be -10*(-1 - (-3)/5). Suppose 2*f + d*o + 4 = 0, 0*f + 3*o + 8 = f. Solve -b*t = 3*u - 27, f*u = 5*t - t - 12 for u.
4
Let z = -30 + 34. Solve -5*p + 0*p = -5*m - 10, 10 = -2*m - z*p for m.
-3
Let f = -6 - -9. Suppose 0 = 5*j - f*z - 1, -5*j + 1 + 21 = 4*z. Solve 3*m - 3 = -3*p, 3*p + j*m + 3*m + 5 = 0 for p.
5
Let b = 0 - 1. Let s(n) = -3*n**2. Let i be s(b). Let u be 2/(-2) - i*1. Solve u*y + 14 = -4*l, -2*l + 0*l = -y + 9 for y.
1
Suppose -4*k + 8 = -8. Let p = k + 18. Suppose -4*m = -6*m + 8. Solve 3*n + 2*y - p = 0, -m*y = -0*n + n - 24 for n.
4
Let r be (-2 + -16)*(-11)/22. Solve 3*p + 20 = -n, 3*n + r = -3*p - 21 for p.
-5
Let f be ((-20)/30 + (-2)/(-3))/1. Solve -5*d - t - 2 = f, 0 = 3*d - t - 0 - 2 for d.
0
Let a be (-2 - -1)*(-1 + 1). Let i = -4 + 6. Suppose -i*c + 4 = -3*n, n + 14 = 3*c - 6. Solve -3*x + 6*x - 6 = -4*k, a = 5*k - 4*x + c for k.
0
Let w = -46 - -31. Let t be ((-18)/w)/((-3)/(-10)). Solve 5*k - r + 5*r = 35, -8 = t*k - 4*r for k.
3
Suppose 3*z + 84 = -102. Let c be z*2/(-8)*2. Solve -2*k + 7*k - 2*v = c, -3*k - 2*v + 9 = 0 for k.
5
Let t(p) be the second derivative of p**5/20 + p**4/6 + p**3/6 - 2*p. Let a be t(-1). Solve a = -2*h + 2, -x + 4 = 3*h + 2*h for x.
-1
Suppose k = -y + 5*k + 6, 0 = -5*y + 5*k + 15. Suppose -y*m + 2 = -2. Let x = -59 + 63. Solve 2*q + 26 = -0*q - x*r, 22 = -4*q - m*r for q.
-3
Let b(f) = 4*f + 31. Let h be b(-7). Solve -p + 5*j = 11, -h*p = -4*j + 2*j - 6 for p.
4
Suppose 3*q = -3*z + 27, 0*z + 2*z = 5*q - 10. Solve 6*r - r = -q*u + 2, -u + r - 4 = 0 for u.
-2
Suppose 2*v + 0*v = 10. Suppose -v*f + f = -8. Solve 2*u = -u - m - 3, -6 = -5*u + f*m for u.
0
Suppose -6*o + 3*o - r + 15 = 0, -r = -4*o + 13. Solve 2*i - 7 = 5*n + 8, -o*n - 3*i = 12 for n.
-3
Let q(v) = v + 10. Let l be q(-7). Solve -4*b + 10 = -b + 4*h, 5*b + l*h - 13 = 0 for b.
2
Let z(j) = -j**2 + 7*j + 3. Let p be ((-1)/2)/(2/(-28)). Let o be z(p). Solve -16 = -2*l - 4*c, 3*l + o*c - 13 + 1 = 0 for l.
0
Let i be 5 + -2 + 14 - 2. Let j = -14 + i. Solve -5*k - 2 - j = -2*o, 3*o + k - 13 = 0 for o.
4
Let y = 1 - -3. Solve 5*n + k - 1 = -0*k, -2*k - 12 = -y*n for n.
1
Suppose 0 = -2*n - 0*n. Suppose -9*c + 8*c + 7 = n. Solve d - c = 2*l, 0 = -d - 4*l - 5 for d.
3
Suppose -3*w + 10 = -2*w. Suppose 5*h - 2*x + 0 - w = 0, -3*h = -x - 5. Solve -v + 3*g - 18 = h, 0 = -3*v + g - 2 - 12 for v.
-3
Suppose 2*p = -p + 15. Let s(m) = -m**2 - 2*m - 1. Let i be s(-1). Solve 0 = 2*w - i*c - 5*c + 25, -3*w = p*c - 25 for w.
0
Let x be (-2)/(-7) + (-26)/(-7). Suppose -x*y - y = -100. Solve 10 = -q - 3*r, 3*r = 2*q + r - y for q.
5
Suppose 4*g - 3*y - 18 = 0, -2*g = -3*g - 5*y + 16. Suppose o - 9 = -g. Solve 15 = -5*r - 2*x - o*x, -5*r = -4*x - 30 for r.
2
Suppose -2*f + 2*b = 0, -3*b + 18 = 3*f - 12. Solve -d = 3*d + 5*a - 1, -f*d + 5*a + 35 = 0 for d.
4
Let l(n) = -n**2 - 6*n - 1. Let q be l(-5). Suppose -4*i - 1 + 5 = 0. Solve -i - 3 = q*g - 3*j, -g - 4*j = 1 for g.
-1
Let t be (5 - 7)*2/(-2). Suppose -t*i = -7*i. Suppose i*d - d = -4. Solve 0*f - 4*f = -d*p, -2*p = f + 15 for f.
-5
Suppose -35 = 4*p - 11*p. Solve -5*m + 2*y + 4 = -y, -p*y = m + 16 for m.
-1
Suppose 0 = -2*b + 5*b - 6. Suppose 0 = f + b*f. Solve a = 3*x - 4*x - 8, x + 5 = f for a.
-3
Let v = 26 - 54. Let m be 2/7 + 120/v. Let f be -6*((-4)/(-2))/m. Solve f = 2*u + r + 1, -2*u + 4*r + 12 = 0 for u.
2
Suppose x + 3*x = 72. Solve -j - x = -0*j + 3*w, 3*j - 11 = 4*w for j.
-3
Let i(l) = 12*l. Let o be ((-2)/6 - 0)*-3. Let c be i(o). Suppose -2*v + c - 2 = 0. Solve 5*u = -4*m - 14, -3*u + u - 9 = v*m for u.
-2
Let c be ((-6)/18)/(1/(-6)). Solve 6 = 3*l + c*o - 6*o, 3*l - o + 3 = 0 for l.
-2
Let a = -60 + 65. Solve -a*o + 3 = -o + 5*y, 2*y = 4*o + 18 for o.
-3
Let w = -23 - -20. Let a(m) = m**2 + 5*m + 5. Let v be a(-5). Let s = v + w. Solve -5*r = -10, -2*r - r + s = -l for l.
4
Let m be 2 + (4 + -3 - 9). Let h = 12 + m. Solve 3*b + o - 4 = b, 3*b - 2*o = h for b.
2
Let z be (-1)/(10/6 - 2). Let j(q) = -7*q - 34. Let u be j(-6). Suppose 5*l - u = z*l. Solve -5*n - 3 = -6*s + 4*s, -4*n + l = 0 for s.
4
Let n(a) be the second derivative of a**4/12 + a**2/2 - 2*a. Let l be n(-2). Solve -16 = 6*k - 2*k + g, -4*k + l*g - 40 = 0 for k.
-5
Suppose -4*m + 20 = -5*f, 4*m - 4 = 4*f - 3*f. Suppose 3*k = m, -525 = -2*x - x + k. Suppose -x = -z - 4*z. Solve -5*d = -3*w - z, 4*d - 4*w - 31 = 5 for d.
4
Let y be 2/2*18*(-28)/(-84). Solve 3*p = -4*l + 10 - 31, y = l - 3*p for l.
-3
Let w(x) = -13*x + 56. Let k be w(4). Solve -5*y + 2 - 7 = 5*p, 3*p + 2 = -k*y for y.
1
Let j = -29 + 46. Let y = j + -13. Solve -8 = -5*q + y*p, 2*q + 2*p + 5 = 1 for q.
0
Suppose -4*z - 68 = 12. Let p be 3/((-3)/z) - 2. Solve 2*j - 5*y + 2 = -p, 0 = -2*y + 8 for j.
0
Let j be (-26)/(-6) - 48/36. Solve 4*q + 19 = 3*f, j*q - q = 2*f - 10 for q.
-4
Let f = -5 - -2. Let x(y) = y**2 - 4. Let t be x(f). Solve -28 = 5*k - 2*l - l, t*l = 5 for k.
-5
Let b(f) = -f**3 + f**2 - f + 5. Let p be b(0). Let d = -2 + p. Solve -2*h - u = 2, 4*h - 11 + 5 = d*u for h.
0
Let b = 5 - 8. Let p(h) = 1 - 3*h**2 - h**3 + 2*h + 4*h**2 - 3*h**2. Let n be p(b). Solve -4*t = -4*x - n, -3*x + 1 = -4*t + 5 for t.
1
Suppose 2*u + 3 - 9 = 0. Solve 4 = 4*o, 4 = u*l - o + 5*o for l.
0
Suppose 0 = -2*y - 0*y - 8. Let g(h) = -2*h - 6. Let z be g(y). Solve k + z*d = 6*k + 5, 0 = -2*d - 10 for k.
-3
Suppose 0 = -4*s - 2 + 6. Let b(k) = 7*k**2 - 1. Let p be b(s). Solve -5*r + 3*o = -25, 4*r - 26 = 3*o - p for r.
5
Let y = 7 - 2. Solve -15 = -y*f - 3*b + 6*b, -6 = -2*f - 3*b for f.
3
Suppose -5*y = -g - 2*y + 6, 0 = -g + y + 4. Solve -3*v - 3*s = -24, 5*v - 2 = 2*s + g for v.
3
Let g(w) be the first derivative of w**2/2 + 4*w + 2. Let t be g(0). Solve -2*i - 2*f = 0, 4*f + 4 = t*i - 6*i for i.
2
Let h(u) = -u**2 + 8*u - 7. Let t be 1*-2 + (-52)/(-2). Suppose 3*q + q = t. Let j be h(q). Solve -17 = -j*i - 3*f, 3*i = -4*f + f + 15 for i.
1
Let o(h) = -h**2 + 8*h - 2. Let a be o(7). Solve a*s + 19 = -w + 2, -4*w + 3*s = -24 for w.
3
Let l be (-9)/(-7) - 10/35. Solve -5*i + 3*t = 3, 2*t = 4*i - l + 3 for i.
0
Suppose 26 - 10 = c + 2*h, 39 = 4*c + 3*h. Let g = c + -6. Solve g = 5*p + 3*b - 11, 3*p + p + 4*b - 4 = 0 for p.
4
Suppose 9 = c + 2. Let f = c - 4. Suppose 0 = -0*o - 27*o. Solve -4*n - 12 = 5*i, o*n - 3*n = f*i + 6 for n.
2
Let o = -4 + 8