 -2*h - 1 = -c for h.
2
Let p(l) = -l**3 - 11*l**2 + 12*l + 6. Let f be p(-12). Let b be (-132)/(-28) - f/(-21). Solve -2*s - b = -3 for s.
-1
Suppose 3*u - 47 + 2 = 0. Suppose 0 = -0*n - 3*n + u. Suppose -15 = d + d - n*i, -4*d - 4*i + 12 = 0. Solve t - 3 = -d*t for t.
3
Let r be 4/(-18)*-6*(-18)/(-24). Let a be 16/6 - (-2)/6. Solve -a*s - 10 = -r for s.
-3
Suppose -3*z + 7*c + 4 = 2*c, -4*z - 2 = -3*c. Let l(o) = -o**2 + 3*o + 4. Let u be l(4). Let d be u/(-1)*z/(-4). Solve d = 7*f - 3*f + 16 for f.
-4
Let x(g) = -g**3 + 4*g**2 + 4*g + 5. Let q be x(5). Suppose j - h = 6, -4*j + q*j - h + 9 = 0. Solve 0 = -6*m + j*m + 12 for m.
4
Let p(w) = -w - 3. Let y be p(-3). Suppose y = -2*o - 4*n - 2, -n + 11 = o - 3*n. Solve o = -3*x + 2 for x.
-1
Let y = 68 - 56. Solve 2*m - y = 5*m for m.
-4
Let x be 1*3*80/15. Suppose c + x = -3*c. Let p = 7 + c. Solve 2*q - 1 = p*q for q.
-1
Let q = -4 + 3. Let w be 5 + q + -1 + 1. Solve -w*u + 8 = -2*u for u.
4
Suppose -4*s - 1 = -13. Solve 0 = v - 2*v + s for v.
3
Suppose q = 5*q - 36. Let f = q - 7. Suppose -5*n + t = -27, f*n - t + 4*t = 21. Solve 0 = -3*s + 5*s + n for s.
-3
Let t(j) = -2*j**2 - 6*j - 1. Let f(l) = -3*l**2 - 11*l - 3. Let p(w) = 3*f(w) - 5*t(w). Let d be p(-5). Let x be (-4)/18 + 728/d. Solve -a + 6*a = -x for a.
-4
Let l be (1/3)/(3/18). Let a = 6 - -12. Suppose -12 = -2*s - 4*m, -3*s + a = m - 0. Solve 0*d = -l*d + s for d.
3
Suppose 2*u - 6*u - 24 = 0. Let f(i) = -4*i - 4. Let k be f(u). Solve k + 0 = 4*l for l.
5
Let q = 7 - 8. Let b = 6 - q. Solve b + 3 = 5*w for w.
2
Suppose p + 10 = 3*p. Solve d = 2*d - p for d.
5
Suppose -2*r + r = -3*r. Suppose 3*l - 9 = 3. Solve r*a + a + l = 0 for a.
-4
Suppose -8 = -0*y - 2*y. Suppose -y*u = -0*u. Solve d - 5*d + 16 = u for d.
4
Let t(q) = 6*q**2 - 2*q + 1. Let u be t(1). Solve -u*y = -0*y + 20 for y.
-4
Let h be 5/(-1 + -4) - -3. Solve 7*k - h*k - 25 = 0 for k.
5
Let c be (12*(-4)/(-6))/(-1). Let f(g) = g**2 + 9*g - 1. Let u be f(c). Let q = u + 13. Solve -2 = -3*i + q for i.
2
Suppose 4*b = 2*v + 12, 4*v + 0 = -2*b - 4. Let r be 1/b + 15/6. Suppose -r*c = -5*c + 30. Solve -2*l = l - c for l.
5
Suppose -8 = x + 5*i + 8, -5*x = 2*i + 34. Let t be x - (-3 - (2 - 5)). Let v be (6/9)/((-1)/t). Solve v*g = 2*g + 2 for g.
1
Suppose 5*s = 3*s + 2. Suppose -4 = 4*a, -4*j + 14 = 3*a + s. Solve p - 15 = -j*p for p.
3
Suppose -15 = 3*b, 30 = 2*y - 4*b + 4. Suppose -2*i + y*p = 11, 2*i - 3*p + 9 = -i. Let z = -1 - -21. Solve -2*k + z = i*k for k.
5
Suppose 0 = -o + 3 - 2. Let d be 0 - (-1 - (-2 + o)). Let c = -6 + 8. Solve -c*n = -d*n for n.
0
Let w be 2/6*(19 - -8). Solve w*k - 4*k + 5 = 0 for k.
-1
Let x = 6 + 2. Solve 0 = i + i + x for i.
-4
Suppose 0*v = -5*t + 2*v + 20, -16 = -4*t + v. Suppose 5*k + 8 + 15 = -z, -2*k + 4 = -4*z. Let f(g) = -g. Let o be f(k). Solve 2*c + t = o*c for c.
2
Let b be (0 + -1 - -1)*4/8. Solve 4*f = -b*f for f.
0
Let t(x) = -x + 20. Let y be t(0). Suppose 3*i = 55 + y. Suppose 0 = 4*f + f - i. Solve -f*g + 10 = -0*g for g.
2
Let w = 2 - 0. Let s = 0 + 2. Suppose 3*c = -0*c - s*p + 24, -5*p = 0. Solve -w*g = -6*g + c for g.
2
Let k = 5 + -2. Let t(p) = -p - 1. Let w(m) = -m**2 - 5*m + 1. Let u(i) = t(i) + w(i). Let a be u(-6). Solve a = -0*s - s - k for s.
-3
Suppose 3*l = 2*l + 3. Suppose 0*n + l*i - 56 = -4*n, -3*n + 3*i = -63. Solve 0 = -3*f - n + 5 for f.
-4
Let t(b) = -b**2 + 6*b - 4. Let p be t(4). Let s = 1 + 5. Suppose -5*y + r - s*r = -55, 4*y = -2*r + 34. Solve j - y = -p for j.
2
Let h be (-2)/(-15) - (-14)/(-105). Let y(b) = -b**2 - 3*b. Let c be y(-3). Suppose c = -s - 2*t + 13, t - 2*t + 5 = h. Solve 4 = -s*a + 7 for a.
1
Suppose 2*p - 46 = 2*a, 2*p - 21 = p + 2*a. Solve -p = -2*d - 3*d for d.
5
Let d = 23 - 16. Solve d = -2*a - 3 for a.
-5
Let i be (-1 + -2 + 13)*2. Suppose -10 + 0 = 5*d. Let y = 2 + d. Solve 4*q + i + 0 = y for q.
-5
Let t = -7 + 12. Suppose -3*s + 12 = -0. Solve -t = -s*o - 13 for o.
-2
Let g be 1/2*(13 + -7). Suppose -3*s + 4*r + 15 = 0, -4*r = 3*s + g + 6. Let w be (52/(-2))/(-1 - s). Solve 0 = -4*y - 3 - w for y.
-4
Suppose g - 5 = 5*o - 4*g, -3 = -5*o + g. Let m(u) = u**2 - 2*u. Let a be m(o). Let n be (9/6)/(a/(-2)). Solve n = -4*b + 7 for b.
1
Let z = -5 - -6. Let b = z + 2. Let n be 3/(b/(-2)) + 2. Solve -3*c + 5*c + 8 = n for c.
-4
Let m = -14 - -16. Solve 0 = 3*z + 1 + m for z.
-1
Suppose 4 = -x, 39 + 53 = 4*r - 4*x. Solve -4 + r = -3*t for t.
-5
Let j be 2 + -5 - -5 - -10. Let s = -2 - -2. Suppose -2*k - 18 = 4*y - 46, 4*k - 41 = -5*y. Solve -k*h + s*h = j for h.
-3
Let x be (39/(-2))/(-3)*2. Solve 0 = 4*i + x + 7 for i.
-5
Let c(m) = m**2 + 3*m + 5. Let q be c(-2). Suppose 0 = b + 2*b - 63. Suppose b = q*k - 0*k. Solve 0 = 2*v + k + 3 for v.
-5
Suppose -d - d = -10. Suppose d*u = 2*t + 19, 0*u + 5 = 3*u + 2*t. Suppose 5*o = 3*j + 57, -o + 3*j + 45 = u*o. Solve -z - 2*z = -o for z.
4
Suppose 5*t + 2*f = 86, 0*t = -5*t + 2*f + 74. Let k(c) = c**3 - 10*c**2 + 2. Let q be k(10). Let d be 1 + 0/(-1) + q. Solve -d*o - o - t = 0 for o.
-4
Let j(i) = -3*i**3 + i**2 + 2*i + 1. Let q be j(-1). Suppose q*x = -x. Solve x*a + 3 = a for a.
3
Let p(x) = x**2 - 5*x + 2. Let z be p(5). Suppose z*j - 6*j = 0. Suppose -f = -j*f. Solve f = -4*b - 0*b + 4 for b.
1
Suppose 4*n - 40 = -3*q - 2*q, -2*q = -4*n + 12. Solve q*p = 3*p for p.
0
Let a = 0 - -3. Suppose 5*c = a*i - 41, 22 = 5*c + 2*i + 78. Let t = -6 - c. Solve t*p - 3 = -19 for p.
-4
Suppose -n - 18 = -2*p, -3*n + p = 3*p + 54. Let r be (-50)/n + 2/9. Solve 4*t - 3*t - r = 0 for t.
3
Let q be -2 - (-2 + -3 + 2). Suppose -2*h + q = -5*t + 3, 3*h - 2 = 5*t. Solve -5 = -j - t for j.
3
Let c be 2/(-9) - (-1 - 38/9). Solve 4*s + 3 = -c for s.
-2
Suppose 3*h = -2*h + 10. Solve 3*m - h - 10 = 0 for m.
4
Let l(o) = -o**3 + 15*o**2 + 2*o - 8. Let t be l(15). Solve 2 = -4*g + t for g.
5
Let v(u) = -u - 6. Let r be v(10). Let i = r - -32. Solve 0*h - 4*h - i = 0 for h.
-4
Let k be (2 - (-1 + 4)) + 5. Let q be k + (-2)/(4/2). Suppose 4*w - 36 = q*b + b, -5*w = 5*b + 5. Solve 0 = -s - 0 - w for s.
-4
Suppose 3*z - 5*q + 7*q = 33, 4*z - 44 = 4*q. Solve -36 = 5*p - z for p.
-5
Suppose 4*m - 12 = 0, 2*x + 10 = 5*m - 3. Suppose 10 = 3*w + x. Solve -1 = w*i + 8 for i.
-3
Suppose 2*m - 8 = -2*m. Let f(p) = p + m*p - 3 - 2*p. Let o be f(11). Solve o*s - 3*s = 10 for s.
2
Suppose 4*v = -3*b + 6, -2 = -2*b + 4*v + 2. Solve -6*o = -b*o + 4 for o.
-1
Suppose 0 = 2*l - 7*l + 20. Solve q + l = 2 for q.
-2
Suppose 45 = q + 4*q - 5*d, -5*q + d + 49 = 0. Suppose 0 = 3*h - 23 - 4. Let w(b) = b**2 - 8*b - 5. Let n be w(h). Solve f = -n*f + q for f.
2
Suppose 0 = -2*x + 5*u + 16, 3*x + 7 = 2*x - 5*u. Solve -a = 2 + x for a.
-5
Let q be (-4 + 1)*(-4)/(-6). Let x be -1 - q/((-2)/(-1)). Solve -2*z - z = x for z.
0
Let c(a) = a - 3. Let g be c(3). Suppose -f + 12*f - 110 = 0. Solve -3*n - f - 2 = g for n.
-4
Suppose -3*n - 1 = 4*u + 7, -5*n - 4*u - 8 = 0. Solve n = -4*c + c - 15 for c.
-5
Let s be 21*((-80)/(-180))/(4/3). Let c(v) be the third derivative of v**4/12 - 3*v**3/2 + v**2. Let j be c(s). Solve -17 = j*h + 8 for h.
-5
Suppose -5*s = -0*s - 15. Solve 5*l + s = -17 for l.
-4
Let n be ((-2)/6)/(1/(-6)). Suppose -4*k = k. Suppose k*o = -o. Solve o = -b - n*b + 9 for b.
3
Let u = 28 + -12. Solve -4 = 5*j + u for j.
-4
Suppose -4*t - 3*g = -2*t - 1, 5*t + 2*g - 8 = 0. Solve t*n = -6 - 0 for n.
-3
Let y(r) = -r + 12. Let d = 4 - -3. Let v be y(d). Solve v + 5 = 2*i for i.
5
Suppose -5*l = -6*l + 3. Let u be (-12)/(1 - (-28)/(-16)). Let b be ((-4)/(-6))/(u/216). Solve -6 = -l*q + b for q.
5
Let k(a) = a**3 - 3*a**2 - 4*a + 7. Let g be k(5). Suppose 4*p = -4*m + 76, g = -p + 3*p + 3*m. Solve 2*x + 2*x - p = 0 for x.
5
Suppose u - 5 = -k, 6 - 1 = u. Let g(m) = m**3 + 2*m**2 + 4*m + 3. Let s be g(-3). Let r be k - s/(2/1). Solve l - 4*l = -r for l.
3
Let y(c) be the third derivative of 0 + 1/30*c**5 + c**2 + 2/3*c**3 + 1/6*c**4 + 0*c. Let a be y(-4). Solve -z - a = -6*z for z.
4
Suppose 0 = 2*p - 2*i - i - 17, -5*i = 4*p - 1. Solve 5*n - 1 = p for n.
1
Suppose 0*s - 3*s + 9 = 0, -2*j + 4*s - 10 = 0. Suppose -5*w - a + 11 = 0, -a + 2 = j. Suppose -20 = -w*m - m + 2*u, -3*m + 3*u + 24 = 0. Solve -m*y = y for y.
0
Suppose -50 + 15 = -5*v. Solve v = 2*w - 3 for w.
5
Let x = 80 + -