 h*b for b.
0
Let z be -1 - ((-3 - -2) + 0). Solve z = a - 2 for a.
2
Let m be 4*2/4*(-15 - -21). Solve -m = -2*a - 2*a for a.
3
Let v = 14 - 13. Solve -2*c + 5 = v for c.
2
Let k = -19 + 7. Let f be (-58)/k + 6/36. Solve f - 3 = -2*q for q.
-1
Let j be ((-11)/(-3))/(3/9). Solve j - 1 = 5*a for a.
2
Suppose 2*t = -8 + 16. Solve 0 = -7*w + t*w for w.
0
Let t = 1 - -7. Solve 7 = 3*s - t for s.
5
Suppose 9 = 2*f - 111. Let h = 74 + -52. Let l be 4/h - f/(-33). Solve l*n - 6 = -n for n.
2
Let k = 161 - 159. Solve 2 = -x - k for x.
-4
Let x(h) = h**3 + 7*h**2 - 7*h + 2. Let q be x(-8). Let b = -1 + q. Let m(g) = -g**2 - 6*g + 8. Let t be m(b). Solve -t = 2*a - 5 for a.
2
Let z = -8 - -12. Suppose -z*b + 5*y + 13 = -17, -4*y = -4*b + 28. Suppose 0*o = b*o. Solve o = q - 0 - 5 for q.
5
Let w = 39 + -37. Solve d = -w*d for d.
0
Let v be (-1)/(5/12)*-5. Suppose 0 = -5*j - 2*a + 9 + v, 0 = -5*j - 5*a + 30. Solve j*c - 6 = -18 for c.
-4
Let f(x) = 3*x - 6. Let m(j) = -j. Let q(v) = f(v) + 4*m(v). Let z be q(-6). Solve z = -k - 1 - 1 for k.
-2
Let j = -7 - -11. Let b(g) be the third derivative of -g**4/24 + 5*g**3/6 - g**2. Let s be b(j). Solve 0 = r - s for r.
1
Suppose 0 = -17*s + 21 + 13. Solve 0 = s*t + 2 for t.
-1
Let s(y) = -y**3 + 5*y**2 - 3*y - 1. Let v be s(4). Suppose 0 = -t - v*m + 6, -2*m + 7*m = 5. Let r = -6 - -8. Solve t*h = -r*h for h.
0
Let w = 0 - -2. Solve l + w*l = 0 for l.
0
Let v be 2 + -2 + 0 - -8. Suppose -d + 1 = -2. Suppose d*s = v*s - 45. Solve -5*n - s = 11 for n.
-4
Suppose 2*y + 2 = 16. Let v = y + 8. Let u = -13 + 19. Solve -v = z - u*z for z.
3
Let i(p) = -p**2 + 7*p - 5. Let y be i(5). Let d be (3 + 15/(-6))*6. Suppose -7 = -3*x + 4*o, d*x = -x + 2*o + 16. Solve -y*n + 20 = -x for n.
5
Let m be ((1 - 3) + -13)*-1. Let o = -11 + m. Let l = -4 + 7. Solve 2*f = l*f - o for f.
4
Let q(s) = -5*s**3 - s**2 - 2*s - 2. Let m be q(-1). Solve 2*h - m = -0 for h.
2
Suppose -5*k + 15 = 4*p + p, 4*k - 12 = -2*p. Let d = 8 - 13. Let u = 7 + d. Solve l - k = u for l.
5
Suppose 0 = -4*l - 24. Let i = 10 + l. Solve 1 = i*c + 9 for c.
-2
Suppose -2*u + 0*u = -8. Suppose 0 = -3*k - i + u, 5*k - 36 + 6 = 3*i. Suppose -5*j + 5*v = -0*j - 20, -3*j + 2*v + 13 = 0. Solve 0 = -k*x + j*x + 2 for x.
-1
Suppose 6*h + 9 = 3*h. Let s = -1 - h. Solve t + 4 = s*t for t.
4
Suppose -3*d + 5*i = -332, -76 - 137 = -2*d - 5*i. Suppose 4*v - 15 = d. Solve 5*o + 6 = v for o.
5
Let j(h) = -h**3 + 3*h**2 + h. Let g be j(3). Solve g = -2*v + 5 for v.
1
Let g(l) = l**3 - 6*l**2 - 7*l + 3. Let s(r) = 4*r - 1. Let v be s(2). Let t be g(v). Solve 0 = -t*k + k + 8 for k.
4
Let a = 2 - -1. Let s = 14 + -11. Suppose 0*h + 3*h - f = s, -3 = 3*h - 3*f. Solve z + a = -h*z for z.
-1
Let q(l) = -5*l**2 + l**3 + 3*l - 10*l + 7 + 0*l**3 + 0. Let a be q(6). Solve 2*r - r + a = 0 for r.
-1
Let o be 216/28 + 2/7. Suppose 3*l = 2*r + 1 - 2, -5*r = -2*l - 19. Suppose -2*i + 4*z + 21 = i, 4*i = 5*z + 27. Solve i - o = r*d for d.
-1
Let t(p) = p**2 + 11*p - 2. Let c(w) = 5*w**2 + 45*w - 9. Let b(j) = -2*c(j) + 9*t(j). Let h be b(9). Solve 2*o + h*o - 6 = 0 for o.
3
Let a(r) = 2*r**2. Suppose 0 = -b + 3*b - 2. Let p be a(b). Solve -2 = p*h - 0*h for h.
-1
Suppose 2*n = -2*n. Solve -1 = z - n for z.
-1
Let n(c) = -4*c - 31. Let j be n(-9). Solve -o = -j*o - 4 for o.
-1
Suppose 3*x = -x. Let b(q) = 2*q**2 - 2*q - 2. Let s be b(2). Suppose -2*o + s*r + 8 = 0, x*o - 2*o + 8 = 5*r. Solve y - o = -0*y for y.
4
Suppose -7*r = -72 - 19. Solve 7 = -4*f - r for f.
-5
Let i be (-1)/3 - (-100)/30. Solve 15 = -0*s - i*s for s.
-5
Suppose 3*v - 8*v + 70 = 0. Let x be v/8 + 1/4. Suppose 3*b + 0*b - 12 = 0. Solve x + b = 3*n for n.
2
Let t(n) = n**2 + 9*n + 4. Let k be t(-9). Solve 2*c - k = 3*c for c.
-4
Suppose x - 9 = -2*n, 2*n - 15 = -x - 2*n. Let s(q) = q**3 - 4*q**2 + 2*q - 3. Let u be (-15)/(-4) + (-6)/(-24). Let a be s(u). Solve 7 = a*d - x for d.
2
Let w = 182 + -182. Let t be (-1 + 1)/(6/(-3)). Suppose -5*y = -t*y - 80. Solve w*b - y = 4*b for b.
-4
Let j be 13/2 + 3/(-2). Let u = -1 - -1. Solve j*b = -u*b for b.
0
Suppose -2*m = -4*x + 2*m + 16, -m = -5*x + 16. Solve x*n - 8 = n for n.
4
Suppose -3*l = l. Let a(y) = 7*y - 75. Let m be a(11). Solve -c - 6 + m = l for c.
-4
Let u = 2 + 34. Solve -5*s + u = 11 for s.
5
Let k be ((-45)/(-30))/((-1)/10). Let b be (12/k)/(4/(-10)). Let l(f) = -f**3 + 4*f**2 - 2*f - 3. Let x be l(3). Solve -4*j + b*j - 4 = x for j.
-2
Let b(f) = -2*f. Let p be b(-2). Suppose -p*l = -3*l - 3. Solve -l*i = -6*i + 9 for i.
3
Let c = 1 - 1. Let f be -1 + -2 - c - -1. Let i be 4 + (-3)/(5 + f). Solve -3*q + 9 + i = 0 for q.
4
Suppose -3*k + 5*b = 12 + 17, 2*b - 80 = 5*k. Let y = k - -29. Solve -2*a + y - 1 = 0 for a.
5
Let r(h) = h**2 - 10*h + 2. Let a be r(10). Solve -7 + 17 = a*g for g.
5
Let m = 89 - 85. Solve m*f + 12 = f for f.
-4
Let y be 0*3*1/3. Let u be y - 1*(2 - 5). Let f = 4 - u. Solve -1 = n + f for n.
-2
Suppose -j - 7 = -0*j. Let y(q) = q**2 + 8*q + 6. Let s be y(j). Let k be s/((-1)/(-2)) - -6. Solve k*n + 3 + 5 = 0 for n.
-2
Let r(w) = -w**3 + 4*w**2 + 7*w - 5. Let x be r(5). Solve -2*m + 1 = x for m.
-2
Suppose l - 1 = -y + 5*l, -5*y - 3*l = -28. Solve -7 - 18 = -y*f for f.
5
Suppose -5*c - 3*h + 4 = 20, -6 = 2*c + h. Let s be (c/1)/(2/(-4)). Solve s*x = -0*x for x.
0
Let n(w) = 2*w + 4. Let k be n(3). Let v = k + -7. Let s(m) = -m + 8. Let y be s(5). Solve y*c + 18 = v for c.
-5
Let y = -21 - -13. Let j = y + 12. Solve 2*a = j*a + 10 for a.
-5
Let a = -33 + 36. Solve 0 = -2*z + 3*z - a for z.
3
Let f = 116 + -113. Solve -f + 5 = 2*v for v.
1
Let g(h) = -5*h**2 + 6*h + 17. Let t(i) = 4*i**2 - 6*i - 16. Let b(l) = 3*g(l) + 4*t(l). Let n be b(8). Solve 1 = -n*p + 10 for p.
3
Suppose 3*z + 15 = 0, -o - 3*o - 1 = z. Solve -r = -o - 2 for r.
3
Suppose -3*m = -3*d + 18, 6*d - 38 = 2*d - 3*m. Let p = d - 7. Solve 4*t - 5 = -p for t.
1
Let q(i) = 4*i**2 - i + 1. Let m be q(1). Suppose r + 4*y = m*r - 48, r + 3*y - 29 = 0. Solve 7*b = 2*b - r for b.
-4
Suppose -5*t = 3*v, -4*v = 4*t - 2*v - 2. Solve 0 = -2*y + t + 5 for y.
4
Let y(x) = -x + 15. Let s be y(8). Solve 5*l - 27 = -s for l.
4
Suppose -163*o = -164*o + 2. Solve -o*a = a + 9 for a.
-3
Suppose -9 = -2*a + s + 8, 5*s = -5*a + 5. Suppose -4*u = -18 + a. Solve j = u*j for j.
0
Let k = 52 + -49. Solve 0 = k*a + 1 + 2 for a.
-1
Suppose 0 = -z + 5*z + 5*q - 30, 0 = -4*z - q + 22. Solve 4*s = 5*s - z for s.
5
Suppose 0 = 14*v - 13*v. Solve -2*g + v = 10 for g.
-5
Suppose 4*f - 5*y + 28 = 0, 0 = 2*f - y + 4*y - 8. Let d be 4*f/(-4) - 0. Solve 6*i + 4 = d*i for i.
-1
Let m(w) = -37*w - 1. Let v be m(-1). Let a = v - 20. Solve -l = -5*l + a for l.
4
Suppose -4*i + 8 = -28. Solve 7*p = i*p + 6 for p.
-3
Let f be (-2)/2*(1 + -5). Suppose 8 = 2*j - 0*j, 0 = -f*t - 4*j + 32. Suppose -4*u - 10 = -g + 9, -t*g + 4 = 2*u. Solve -g*c - 8 = 1 for c.
-3
Let n(x) = 4*x + 2. Let j be n(1). Solve u + 10 = j*u for u.
2
Let h(x) = 2*x**2 - 8*x + 5. Suppose 3 = 4*b - 17. Let y be h(b). Solve -v = 4*v - y for v.
3
Suppose 4*o - 22 = 2*o. Let i = 13 - o. Solve -i*k - 20 = -7*k for k.
4
Let f(p) = 2*p - 1. Let a be f(2). Suppose -9*g + 12 + 24 = 0. Solve -g = a*r - r for r.
-2
Suppose 3*j = 5*j. Let d(s) = -6*s. Let k be -2 - 0 - 2 - -3. Let l be d(k). Solve j = u + 2*u + l for u.
-2
Let z = 1 - 0. Let v be -1 - (-1*3 - z). Suppose -w + 3*w = 8. Solve -16 = -v*n - w for n.
4
Suppose 3*z - 3 - 3 = 0. Suppose -5*v - z*x + 0 = 5, v + 9 = -2*x. Solve -2*i + 1 = -v for i.
1
Suppose -z + 9 - 2 = 0. Let q(j) = -j**2 + 11*j - 7. Let n be q(z). Suppose -3*g - 1 = 2*o - 14, -14 = -3*o + g. Solve n = -o*b - 4 for b.
-5
Let j(z) = z**2 - 4*z - z**2 + 2 + z**2 + 6*z. Let p be j(-4). Let f = 18 - p. Solve 0*y - f = 4*y for y.
-2
Let n(u) = -u**3 - 4*u**2 + 4*u - 3. Let x be n(-5). Solve x*j + 3 = -j for j.
-1
Let x(s) = s. Let q(h) = 7*h - 19. Let f(w) = q(w) - 4*x(w). Let z be f(8). Solve 9 = -z*u - 1 for u.
-2
Let t = -5 - -2. Let b(y) = y**3 + 3*y**2 - 4*y - 4. Let j be b(t). Solve 3*c - j = -c for c.
2
Suppose 3*z + 1 = 3*m - 4*m, -2*m + 4*z + 18 = 0. Suppose 2*j + 0 = -m*q + 2, j - 1 = -2*q. Suppose -4*v + 7 + 5 = q. Solve -s - v*s = -8 for s.
2
Let q(k) = -k**3 - 7*k**2 - 7*k - 4. Let j be q(-6). Solve -5*i = -j*i + 12 for i.
-4
Let 