h - 20 = -h. Solve 0 = 2*g + h + 1 for g.
-3
Let g(c) = 2*c**2 - 2*c - 1. Let p be ((-2)/(-4))/(6/12). Suppose l = -3 + p. Let z be g(l). Solve 2*v + z - 1 = 0 for v.
-5
Let b(p) = -p**3 + 5*p**2 - 4*p + 5. Let u be b(4). Solve 16 = -u*q - 9 for q.
-5
Suppose -4 = -4*o + 8. Suppose -4*v = -11 + o. Solve -v*x + 1 = -1 for x.
1
Let m = 1 - 2. Let o = m + 3. Solve o*a = 4*a for a.
0
Suppose 3*p - 2*w = 3*w - 4, -3*w = 3*p - 12. Solve -20 = -p*o - 3*o for o.
4
Suppose 4 = -3*d - k + 73, 0 = -3*d - 4*k + 60. Let u = -13 + d. Suppose -4*b + u = 3*i, i = b + 2*b - 5. Solve m - i = 1 for m.
2
Suppose 4*t = 6*t + 2*a - 8, 3*t + 2*a - 10 = 0. Suppose -2*x = x - 51. Suppose 0 = -3*z - 2*y + 20, x = 4*z - y + 5. Solve t*f - 4*f + z = 0 for f.
2
Suppose 4*c = -3*n + 256, c + 3*n - 64 = -2*n. Suppose 5*v - c = -14. Solve 0*h + v = -2*h for h.
-5
Let w = -7 - -10. Suppose r - 15 = 4*r. Let d(h) = -h**2 - 7*h - 10. Let u be d(r). Solve a - w*a = u for a.
0
Let y = 2 - 0. Suppose -3*u + 21 = y*t, 5*u + 3*t - 28 = 2*t. Solve q - 16 = u*q for q.
-4
Suppose 0 = 3*b + 3, 0 = c - 3*b - 0*b - 3. Suppose c = 4*t - 10 - 54. Solve 5*i = 6 - t for i.
-2
Suppose -2*o + 4*o = 0. Suppose -z - 3*z + 12 = o. Solve 5 = -2*l + z for l.
-1
Suppose 1 = k - 6. Let p = k - 1. Solve 4*d - d = p for d.
2
Suppose -3*o + 2 = -2*o. Suppose 3*f - o*f = 0. Solve f = 3*p - 3 - 3 for p.
2
Let t(g) = -g**3 - 11*g**2 - 9*g + 10. Let m be t(-10). Let z be 3/(-6)*(0 - m). Suppose -u - 3*u + 12 = z. Solve 2*h - u = -h for h.
1
Let b = 5 + 1. Let c(r) = -r**3 - 7*r**2 - 6*r + 3. Let h be c(-6). Solve b = h*s - 6 for s.
4
Let s(k) = k + 6. Let q be s(-6). Suppose q = -t - t. Solve t*v = -2*v + 6 for v.
3
Suppose 9 = 5*u + 4*r, 3*u + 5*r + 1 = r. Suppose 6*q - 3*a = 2*q + 22, u*q - 45 = -5*a. Let f be (-9)/(-6)*(q - -1). Solve 4*d + 0*d = f for d.
3
Suppose 0*a + 340 = 4*a. Suppose 7*n - 2*n = a. Solve -5*w = -n - 8 for w.
5
Suppose 14 = 6*d - 4*d + 3*b, -5*b = -4*d + 28. Let x = 1 + -3. Let k be 519/21 - x/d. Solve 0*q + k = -5*q for q.
-5
Let g(l) = 4*l**3 + 2*l**2 - l. Let r be g(1). Solve -r = -k + 2*k for k.
-5
Suppose -4*g = 20, 5*r + 2*g + 2*g = -10. Solve r*q - 9 = 5*q for q.
-3
Suppose 8 = 5*k - 3*k. Suppose -w - k*w = -25. Let f be 24/21 + (-11)/77. Solve -f + w = -y for y.
-4
Let t = -17 - -22. Solve -8*q = -3*q - t for q.
1
Suppose -3*r - 5*m - 1 + 22 = 0, -5*m = -5*r - 5. Suppose r*h = 6 + 2. Let w = -2 - -2. Solve i - h = -w for i.
4
Let o be (-3*4/18)/(2/(-12)). Solve 11 + 5 = o*v for v.
4
Let o = -4 + 14. Solve 4*j = 30 - o for j.
5
Suppose -m + 9 = 2*m. Let l be (1 + 3)/(3/m). Solve 0 = l*d - 1 - 11 for d.
3
Let b be 0 - (3 + -2) - -6. Let o be (48/(-28))/((-1)/7). Solve -b*u + o = -3 for u.
3
Let t be (-3 - -2)*(-3 + 1). Suppose -3 = -t*u + o + 3, -2*o = -5*u + 13. Solve 0 = 2*h - 3 - u for h.
2
Let q(f) = -f**2 + 7*f - 6. Let z be q(5). Let v(t) = 2 + 4*t + 0 - 3*t. Let b be v(0). Solve -b*u = -z*u for u.
0
Let w = -7 + 4. Let h be (-3 + w/(-6))*-2. Suppose 5*f + 1 = h*a + 36, -25 = -4*f + 3*a. Solve 5*z - f = z for z.
1
Let i(n) = -n**2 - n + 29. Let u be i(0). Suppose 0 = 2*w - 5 - 3. Solve u - w = 5*k for k.
5
Let c be (-60)/(-3) - (-2 + 0). Let i = c + -13. Suppose 4*w + 6 = -3*g, 2*g = -g - 5*w - i. Solve 0*b + g*b - 6 = 0 for b.
3
Suppose -25 = 3*r - 8*r. Suppose r*p - 227 = -2. Suppose -5*c + p = 5*s, -2*s + 3*s - 24 = -4*c. Solve -8 = -3*b + s for b.
4
Let s be (-414)/(-63) + (-8)/14. Solve 3*i - 6 = s for i.
4
Suppose -c + 2*m = 5 - 23, 4*c - 5*m = 63. Solve -a = -4*a + c for a.
4
Suppose -q = -0*q - 3. Solve 0 = -5*j + q*j + 2 for j.
1
Let t(d) = d**2 - 15*d + 38. Let x be t(13). Solve -5*k + 2*k = -x for k.
4
Let r = 6 - 6. Let f be -1*((-2)/(-1) - -10). Let t be (-1)/(-4) - 45/f. Solve -2*p + t*p = r for p.
0
Let u = 4 - 2. Let g(b) = -3*b**3 + b. Suppose -3*y = 2 + 1. Let m be g(y). Solve -10 = u*k - m for k.
-4
Let m = -193 + 193. Solve -5*r + 18 + 2 = m for r.
4
Let d be 390/25 + 4/10. Let n = d - 10. Solve 0 = -n*h + 3*h + 3 for h.
1
Suppose -4*l = -7*l + 48. Solve 5*s - s = -l for s.
-4
Suppose -6 = 2*w, 0*w = -4*q - 4*w - 8. Let u be 12/6 + q + 0. Solve -u*p = -2*p - 1 for p.
1
Let j = 20 - 16. Let k(p) = p. Let m be k(4). Suppose m*b = -y + 2, -2*b + 4*y + 3 - 11 = 0. Solve b = -j*h - 10 - 10 for h.
-5
Let r(d) = -10*d - 38. Let a be r(-5). Let b be (-39)/(-12) - 1/4. Solve 0 = 3*n - b + a for n.
-3
Suppose 15 = 4*a - a. Let c = -6 + a. Let z be c/(-3) - (-4)/6. Solve 0 = 5*w - z + 21 for w.
-4
Let r = 158 + -156. Solve r*w = 4*w for w.
0
Suppose 2*y = 4*s - 7*s - 9, 4*y = -5*s - 13. Solve -6 = y*a - 3 for a.
-1
Let y(i) = 2*i + 3. Let r be y(-2). Let h = 4 + r. Solve -h*m + 5 = -4*m for m.
-5
Let m(c) = -2*c**2 + 7*c + 4. Let o be m(4). Solve 3*a + o*a = -6 for a.
-2
Suppose -8 = -2*k + 2. Solve 0*p = p + k for p.
-5
Let o = -8 + 8. Solve 0 = -o*r + r + 1 for r.
-1
Suppose -2*y + 3*v + 0 + 5 = 0, y - 5 = 4*v. Let w be (y - 4)*(-4)/4. Solve -7 = -w*z - 19 for z.
-4
Suppose -7*j + 0*j = -14. Solve 3*g = -j*g for g.
0
Let v(z) = 2*z**2 + 20*z - 20. Let a be v(1). Suppose 4*d - d = 6. Let j = 2 - d. Solve a*r = -j*r for r.
0
Suppose 6 = j + 1. Suppose 2*p = q + 8, -3*p - j = -5*q - 17. Let b = q - -2. Solve b - 4 = k for k.
-2
Let w(u) = -8*u**2 - 4*u - 2. Let g be w(-2). Let f be g/117 + 2/9. Solve 0 = -f*m - 2*m for m.
0
Let d be (6/4)/((-3)/(-4)). Suppose -l - 4*l - 21 = w, -l = -5*w + 25. Solve -d - w = -2*b for b.
3
Suppose -2*x + d = -7, -2*d - 2 = -0*x + 2*x. Let n(f) = f**3 - 3*f**2 + f + 1. Let h be n(x). Let b be 148/10 + h/(-5). Solve -b = -0*q + 5*q for q.
-3
Suppose -2*y - 66 = 10. Let b be y/(-5) - (-8)/20. Let u(j) = -j**3 + 7*j**2 + 9*j + 4. Let n be u(b). Solve -3*a - a = -n for a.
3
Let k(d) = d**3 + 7*d**2 + 5*d. Let p be k(-4). Suppose -5*x = w + 18, -5*x - p = -4*w - 0*x. Suppose w*y - 8 = -0*y. Solve y*v - 6 = v for v.
2
Suppose -4*m + 15 - 3 = 0. Let z be -1 + (6 - -1 - m). Solve 15 = -z*x - 0 for x.
-5
Let q(b) = -b**3 + 5*b**2 - 4*b + 5. Let p be q(4). Let r = 7 - p. Solve -r*j + 1 = -j for j.
1
Let u(y) = -y + 9. Let l be u(6). Solve -l*r = -1 - 2 for r.
1
Let d(z) = 4*z**2 + 3*z - 2. Let l be d(1). Let n be 0*(-4)/16 + 0. Solve n = l*v - 2*v + 3 for v.
-1
Let k(h) = -h**3 - 8*h**2 + 10*h + 18. Let z be k(-9). Solve a = 4*a - z for a.
3
Suppose 12 + 4 = 4*p. Suppose -2*r + 5 - 3 = 4*v, r - 1 = -5*v. Solve v = m - p*m - 15 for m.
-5
Let j(p) = -2 - 2*p + 2*p + p. Let o be j(8). Let f = o + -4. Solve 2 + f = -2*a for a.
-2
Let j = 130 - 130. Solve -2*o + 2 - 8 = j for o.
-3
Let m = 18 - 18. Suppose -2*g = 4*f, 2 = -3*g - 4*f + 4. Let u = m + g. Solve -u*z = -z for z.
0
Suppose 5*l + 3*j + 6 = j, -3*l - 12 = 4*j. Suppose l*h = 2*h - 2. Let a(r) = r**2 - 6*r. Let d be a(6). Solve d = 2*w - 3 - h for w.
2
Let u(r) = -r + 3. Suppose 0 = 5*a + 4*k + 25, 2*a - 5*k + 10 = -0. Let z be u(a). Let h be (-2)/z - (-34)/8. Solve h = -0*p - p for p.
-4
Let z be ((-6)/(-4))/((-1)/(-6)). Suppose 2*p + 0*p - u - z = 0, -4*p + 23 = 3*u. Suppose 5*g = -p*a, 0 = -a - 2. Solve 6 = g*c - 2 for c.
4
Suppose -2*g = -z + 10, 2*g = g - 4. Solve 3*s + z*s - 5 = 0 for s.
1
Suppose n + 5*n = 12. Solve -15 = n*p - 5*p for p.
5
Let c(r) = r**2 + 5*r. Let w(x) = x**2 + 7*x + 6. Let d be w(-4). Let s be c(d). Solve s*f - 3*f - 3 = 0 for f.
1
Let i = 4 - 4. Suppose i = -6*f + 3*f + 12. Solve 4*c + f = -0*c for c.
-1
Let c(x) = -2*x**2 - 39*x - 39. Let m be c(-18). Solve 2*d - m = 7*d for d.
-3
Let j be 16 + -2 + 6 + 0. Solve -5*z + z + j = 0 for z.
5
Let b(x) be the second derivative of x**3/6 - 3*x**2/2 - 2*x. Let q be b(6). Solve -2*f = f - q for f.
1
Let b = -4 + 9. Suppose 72 = b*z - 3. Solve 0 = -5*f - 0*f + z for f.
3
Suppose -3*j + 6 = -2*j. Suppose -o + j*o = y - 21, 4 = -o. Solve y = v - 4 for v.
5
Suppose -17 = -l - 5*b, 0 = -4*l - 0*b - 2*b + 68. Solve 4*x - l = -5 for x.
3
Let k(o) = o**3 - 10*o**2 + 10*o - 6. Let f(z) = z**3 + z**2 - 2*z + 1. Let n be f(2). Let x be k(n). Solve 0 = 2*d + d - x for d.
1
Suppose -x = -3*x. Suppose 5*f - 3 = -4*w - 38, w = 3*f + 21. Let a = 10 + f. Solve -a*h = -x + 6 for h.
-2
Let g(s) = s**3 - s + 1. Suppose 0 = -2*j + 8 - 2. Let r be g(j). Solve 4*l = -l + r for l.
5
Let u = -4 - -4. Suppose u = m - 2. Let o be 3 - -1 - (