*k for h.
1
Suppose 3*o - 80 = -74. Solve -2*m = 0, m + 2*m - 2 = -o*f for f.
1
Let m(q) = 0*q**2 - 5*q + 0*q**2 + q**3 - 1 - 4*q**2 + 7. Let a be m(5). Solve 5*y - 20 = 4*p, a = -3*p - 9 for y.
0
Suppose 0 = m - 2*i - 22, m = -i - 1 + 11. Suppose -5*v = m + 1, -c + 11 = -2*v. Solve 14 + 6 = c*k - 5*b, -4*k - 3*b = -16 for k.
4
Let w be (1*3)/(6/10). Suppose 2*b = -3*g + w*g - 2, 0 = 3*g - b - 9. Suppose 4*n + 8 = 0, r + 4*n = -0 - g. Solve r*d - 15 = 2*s + 3, s + 17 = 4*d for d.
4
Let k = -4 + 7. Let t be ((-22)/(-6) + -6)/((-2)/6). Let r = 0 + 1. Solve m + j = -r, t = -3*m - k*j - j for m.
3
Let z(w) = -w + 24. Let u be z(21). Solve v = -2*v - u, 3*f - 16 = v for f.
5
Let x be (-2)/(2/(-11) - 0). Suppose -4 - x = -5*k. Solve -z + 1 = -3*v, k*z + 0*z - 5*v + 1 = 0 for z.
-2
Suppose 5 = 5*n + 2*q, -4*n = 5*q - 19 - 2. Let a(t) = -3*t + 1. Let r be a(n). Solve -4*k = 4*o + 40, -r*o = -k + 10 + 5 for o.
-5
Suppose -3*o + 13 = 5*d - 41, 4*o = -4*d + 64. Let y(m) = -m**3 + 12*m**2 + 15*m - 16. Let i be y(o). Solve -5*h + i = 2*b, -b - h + 7 = 2*h for b.
-5
Let y be (2*-4)/((-8)/12). Suppose 0 = -5*v + y - 2. Solve -v*p - 2*p = 2*n + 6, -3 = -p - 2*n for p.
-3
Suppose -n - 5*j = 4, 5*j + 1 = 2*n - 21. Let q = n + -3. Solve 5*v - 15 = 5*u, -u + q*v - 12 = -v for u.
0
Suppose 2*s - 19 + 11 = 0. Solve 29 = 3*p + 5*r, 0 = -4*p - r + 12 + s for p.
3
Let d be (-92)/(-28) - (-4)/(-14). Suppose d*g - 5*b = 2*g + 13, -5*b - 10 = 0. Solve -2*n = -5*f + 9, g*f = -4*n - 2*f + 27 for n.
3
Let c(z) = 3*z**2 - 3*z + 2. Let q be c(1). Solve l + 18 = -5*g, 0 = -g - q*g - 3*l - 18 for g.
-3
Suppose -2*s = 3*s + 15. Let q = 5 + s. Solve -2*m - 16 = -3*j, 2*j - 18 = -q*j + 2*m for j.
2
Let l = 27 - 25. Solve 2*r - 3 = -x, -3*r - 3*x = l*x + 6 for r.
3
Let q = 1 + 6. Let o = -4 + q. Suppose -20 = -5*m, 3 + o = 2*z - m. Solve 0 = -4*j - z*x + 36, 5*j - 3*x + 8*x = 40 for j.
4
Suppose -21*d + 19*d = -8. Solve y = -d*k, y + 0*k + 2*k - 2 = 0 for y.
4
Let c(n) = -n**3 + n + 5. Suppose -3*f + 6*f = 0. Let o be c(f). Solve 0 = o*t + 5*y + 10, t = 3*t + 4*y - 2 for t.
-5
Suppose j - 4*j - 5*u = -37, u = 5*j - 99. Solve h + j = -3*q, 4*q + 47 = -3*h + 15 for h.
-4
Suppose -41 = -6*a - 11. Solve -a*v = -4*r + 12, 0 = v - 3*v - 3*r + 9 for v.
0
Suppose 3*i - 45 = -4*f, 7*i - 9 = -f + 4*i. Solve 0 - 8 = 4*g, 2*k - f = 2*g for k.
4
Let c(a) = a**3 - 5*a**2 - 8*a + 3. Let t be c(6). Let i be 60/t - 4/(-6). Let l be 8/i*(-6)/4. Solve 4*q + 0*q + l = w, 5*q + 2 = w for q.
0
Suppose 0 = -a - 0*a - 7. Let b be a/(-5) - 18/(-30). Let r be 2 - 1 - (-7 + 5). Solve 0 = -r*y - b*j - 22, 2*y = 3*j + j + 12 for y.
-4
Let m be (-952)/48 + 2/(-12). Let s = m - -20. Solve s = -2*j - 5*t + t, 0 = -4*j + 5*t + 26 for j.
4
Let n be -3*(-4)/(-4) + 3. Solve n = -u + 3*v + 10, 3*u = 5*u - 4*v - 16 for u.
4
Suppose -8 = j - 5*j. Let r = -1 - 5. Let s(o) = -3*o - 1. Let a be s(r). Solve 3*p = -2*f + a, j*f - 4*p = -f for f.
4
Suppose 3*g = -7 + 28. Suppose -h - 1 = z, -3*z = 5*h - g*z - 22. Suppose v - 5 = -h. Solve -v*f - 5*q - 15 = 0, -3*f = -0*f - q + 15 for f.
-5
Let m = -495 - -323. Let d be m/(-36) - (-6)/27. Suppose d + 20 = 5*j. Solve 20 = -j*g, 4*f + 3*g = -0*f - 4 for f.
2
Let i(k) = -k**3 + 11*k**2 + 3*k - 16. Let p be i(11). Solve -2*m + 7*m - 2 = 4*x, -5*x - m - p = 0 for x.
-3
Let j be -3 - ((-2)/(-2) + -7). Suppose 2*n = 2*v + n - 9, -5*v + 30 = 5*n. Suppose 0*r - 5*r + 60 = 0. Solve -12 = q - v*h, 0*q - j*q + r = h for q.
3
Let q(a) = a - 2. Let s(j) = 3*j - 5. Let b(n) = 5*q(n) - 2*s(n). Let u be b(-2). Solve -3 = -f, -u*f + f = 5*v + 2 for v.
-1
Let i(d) be the third derivative of d**5/60 - d**4/12 - d**2. Let z be i(3). Suppose 0 = v - z. Solve -3*s + 5 = x, 3*x + 11 = 7*x + v*s for x.
2
Let b be (-8)/4*(-3)/6. Solve 0 = k + 3*v - b, 2*v + 2*v = -k + 2 for k.
-2
Let y = -2 - -2. Suppose -w - w = y. Solve w = 5*c - u + 8, c + 2 - 4 = 2*u for c.
-2
Let q(t) = 2*t**2 + t - 1. Let c be q(1). Suppose 0 = -4*i - 3 + 15. Let s(y) = -y + 9. Let x be s(-4). Solve x = i*d + c*w - 2, d + 6 = 3*w for d.
3
Let q = 10 - 5. Let p = q - 3. Let g = -19 + 35. Solve 5*d = -y + g, 4*d - 2*y = p*y + 8 for d.
3
Let f be 4 + (-6)/9*3. Let s be f/(-4) + (-51)/(-6). Let p = -5 + s. Solve p*v + 11 + 3 = 5*d, -4*d + 18 = v for d.
4
Let g(z) = z**3 + 5*z**2 + 3*z + 6. Let u = -7 + 2. Let k be g(u). Let p be (-2)/k + 16/9. Solve y + 5 = 3*f - y, 0 = p*f - y - 4 for f.
3
Suppose -4*u + u + 3 = -4*z, 3*z = 2*u - 2. Suppose -k + 4 = k. Solve z = -4*j + k*v + 30, 4*v + 24 + 11 = 3*j for j.
5
Suppose 6*s - 16 = -4. Solve i - 4*p + s = 0, -3*i + 6*i - 2*p = -6 for i.
-2
Let i be 114/21 - (-6)/(-14). Solve -i*y = 4*f - 3, f - 2 = 5*y + 5 for y.
-1
Suppose 0 = -2*y - 8, 2*u - 5*y - 32 + 4 = 0. Solve 0 = j, 3*b + 4*j = 2*b - u for b.
-4
Suppose -6 = -4*o + 2. Suppose -5*k = 5*i - 12 + 2, 0 = -5*i + 20. Let w = k - -5. Solve w*f + 0*h = -o*h + 2, 12 = 2*f + 4*h for f.
-2
Suppose t = -0*t + 2. Solve t = -2*u + 2*s - 2, 3*s + 10 = -5*u for u.
-2
Let o = 2 + 0. Let m be 0/((-4)/(0 + o)). Let a be 5 - (m - (-1)/1). Solve 10 = -5*p - 5*q, -a*p + 3 = -3*q + 4 for p.
-1
Let i(g) = g**2 - 9*g - 32. Let o be i(12). Solve 12 = -3*q + w, 4*q + o*w + 16 = 6*w for q.
-4
Let v = 21 + -18. Solve -4*m - 12 = v*z + 8, 0 = 3*z for m.
-5
Let b(x) = x**3 + 5*x**2 - 7*x - 2. Let o be b(-6). Suppose 0*l - o = -l. Solve l*s + 10 = 2*m, 2*s - m = 2*m - 7 for s.
-2
Suppose 2*k - 14 = l - 4, -k = 4*l + 4. Suppose 0 = -b + k*b - 15. Let a be 1/(2 - 3) - -1. Solve -4*t = 5*y + 32, a = y + 4*y - b*t + 5 for y.
-4
Suppose -3*s + s = -2. Let j = 21 + -11. Suppose -3*h - 12 = 0, -2*d = -2*h - 4 - j. Solve d*w - s = -5*p, -w + 6*w + 13 = -p for p.
2
Let y = 13 - 24. Let c = -6 - y. Solve 2*o - c*i - 15 = -3*o, i = -5*o + 3 for o.
1
Let t be ((-2)/(-4))/(2/20). Let c(r) = r**2 - 3*r - 7. Let m be c(5). Suppose m = u - 1. Solve -g - o - 4 = 0, -t*g + g + u*o = 24 for g.
-5
Suppose -3*z - 2*d + d + 12 = 0, 4*d + 27 = 3*z. Solve 0 = -4*l + z*w + 16, 2 = -2*w - 6 for l.
-1
Let c = 12 + -8. Let l(t) = -t**3 + 3. Let z be l(0). Suppose 8 = -3*v - 2*x - 3*x, -2*x + 12 = 5*v. Solve -c*b = -4*g - 12, -v*b - z*g + 16 - 39 = 0 for b.
-2
Let k = -4 + 6. Solve 0 = 5*x - k*d + 6 - 29, -22 = -5*x + 3*d for x.
5
Suppose 10 + 14 = 4*o. Solve b + 2*s = -8, o = -2*s + 2 for b.
-4
Let f(x) = x**2 - x + x**2 + 20*x**3 - 2*x**3. Let o be f(1). Solve z - 3*t = 15, -5*z - t + o = -2*t for z.
3
Suppose -2*v + 4*b + 2 = -14, 3*b = -3*v + 33. Solve v = y - 5*h - 1, 2 = -2*y + 2*h for y.
-4
Let k = -76 + 76. Solve k = 3*j + 5*d + 1 + 7, -3 = -j + 4*d for j.
-1
Let u be 8*(0 + 4 - 3 - 0). Solve 4*d - u = 4*z, 9*z - 4*z = -2*d + 11 for z.
1
Let s = -2 + 6. Solve 3*n = -4*l + 1, 3*n = 8*l - s*l + 17 for l.
-2
Suppose -5*r + 96 = r. Solve 12 = -4*z, 1 = 5*n + 5*z + r for n.
0
Suppose 81 + 51 = 6*g. Solve 0 = 3*s - h - 11, 0 = 4*s - 9*s - 2*h + g for s.
4
Let v = 14 + 50. Suppose -u - 4*q = -2*u + 9, 3*u = 3*q + 18. Suppose -u*h + v = -46. Solve -12 = -2*n + n + 4*o, h = 4*n - 3*o for n.
4
Suppose -4*n + 11 + 1 = 0. Suppose j = -n*j + 20. Solve -5*d - j*t + 17 - 2 = 0, 0 = -4*d - t + 12 for d.
3
Let k(a) = -7*a. Let x be k(3). Let v be x/(-4) + (-2)/8. Suppose -4*q + 15 + 5 = 0. Solve q*s + o - 2 = 23, 25 = v*s + 3*o for s.
5
Suppose 2*b + 4 = 8. Suppose -j - b = 2. Let t be 1*12*j/(-12). Solve 0 = -t*l - 5*c - 10, 4*c + 8 = -5*l - 9 for l.
-5
Let h(i) = i**2 + 7*i + 8. Let r be h(-6). Suppose -4*a + 4 = -r*a. Let s be -2*(21/(-6) + 3). Solve -s = -z - 0, -a*m = -2*z for m.
1
Suppose -36*j + 35*j + 26 = 0. Solve x = -4*p + 16, 2*p + 4*x = 4*p - j for p.
5
Suppose 0 = -3*f + 6*f - 6. Let i(z) = z**2 - 5*z + 2. Let p be i(5). Suppose p*o - 5 = 1. Solve o + 5 = 2*d + a, 5*d - 3*a + f = 0 for d.
2
Suppose -19 = -3*a + 2*z, 8*a + 2*z - 5 = 3*a. Solve k + a = -2*q, 12 = -4*q + 5*k - k for q.
-2
Let s be (-10)/(-15) + (38/3)/2. Solve 0 = -j, g + 2 = -4*j + s for g.
5
Suppose p + g = -3*p + 18, -2*g + 24 = 5*p. Solve 3*u - t + 6 = 0, u - p*t + 4 = -9 for u.
-1
Let d be 1*((-2)/2 + -1). Let j be 18/(-15)*5/d. Solve -j = 3*g + 3*t, -2*g + t + 18 = -2*t for g.
3
Suppose 3*g = -20 + 65. Suppose -g = -a - 2*a. Solve -a*u = -3*q - 15, -u - 4*q = -2*u + 3 for u.
3
Let m(y) = 2*y**2 - 3*y. Let q be 