 -2*a + 2, -b*l - 4 = -4*a - 0. Solve -f - 1 - a = 0 for f.
-2
Suppose 2*j + 10 = f, -5*j + 3 = -5*f + 18. Let m(d) = -2*d - 10. Let q be m(j). Solve -q*b + b - 3 = 0 for b.
-1
Suppose -2*s = -6, -30 = -v - 3*v - 2*s. Solve 0 = v*d + 10 + 8 for d.
-3
Suppose 3*y + 3 = -3*b, 5*y = -b - 1 - 0. Solve 0*n - n = y for n.
0
Let q be 9/6*(-50)/(-3). Solve 5*i - q = -0*i for i.
5
Let n = -65 + 67. Solve -2 = -n*g - 8 for g.
-3
Let z(o) = -5*o**3 - o + 1. Let q be z(1). Let c(k) = -k + 5. Let r be c(q). Let n = -7 + 9. Solve 0*b - r = -n*b for b.
5
Suppose -15 = -0*c - 5*c. Solve 0 = -4*z - 5 - c for z.
-2
Suppose -7 = -2*x - 3. Suppose -x*v = 2*v + 8. Let f be (v + 2)*(-1)/2. Solve -u = -4 - f for u.
4
Let i(n) = n**2 + 2*n - 4. Let s be i(4). Solve 8 = 4*r + s for r.
-3
Suppose -6*t = t - 14. Solve 5*j - t - 23 = 0 for j.
5
Suppose -11*h + 9*h = -32. Solve f = 5*f - h for f.
4
Suppose -34*t + 33*t + 4 = 0. Solve 0*y = y - t for y.
4
Suppose -2*l + 3*l = 11. Solve 5*j = -l - 4 for j.
-3
Suppose 0 = -4*k - c + 1, 0 = -k + 3*c - 3. Let f = -1 - k. Let i be (-1 - -2)*(1 - f). Solve -n = -2*n - i for n.
-2
Suppose 5*s + 16 = -3*j + 57, 0 = -3*j - 9. Let y(h) be the first derivative of h**4/4 - 2*h**3 + 5*h**2/2 + 3. Let f be y(5). Solve 2*a = -f*a + s for a.
5
Suppose 3*t - 2*t - 22 = 0. Let v be t/4 + 2/(-4). Suppose v*k = -0*k. Solve k = -j - 1 for j.
-1
Let i = 5 + -1. Let m = i - 4. Suppose -4*n + 6*n - 24 = m. Solve 0 = -5*d - n - 8 for d.
-4
Let h = 43 + -39. Solve 0 = 2*j - h*j - 4 for j.
-2
Let m = -2 + 3. Let w be -3 - -2 - (m - 1). Let b be (-21)/(3*w) + -2. Solve 0 = o - 6*o + b for o.
1
Suppose -2*v - 6 = -4*h, 0*v = 4*h - 5*v + 9. Solve h*c = 3 + 13 for c.
4
Let w(n) = -3*n**2 - 3*n - 1. Let z(x) = -3*x**2 - 4*x - 2. Let p(h) = -3*w(h) + 2*z(h). Let c be p(-2). Solve -6 = -5*v + c for v.
3
Let m(v) = -v**3 - v + 12. Let q be m(0). Suppose 15 = 4*s - 13. Let f = 15 - s. Solve -f - q = -4*j for j.
5
Suppose 5*i - 2*i = 0. Suppose -2*b = -i*b - 30. Solve 0*m = -3*m + b for m.
5
Suppose 0 = -4*q + h - 3*h + 20, 4 = -4*q + 4*h. Suppose o - 5*z - 41 = -q*o, -4*o + 3*z + 31 = 0. Solve o*g - 21 + 5 = 0 for g.
4
Let v(q) = 3*q**2 - 2*q + 2. Let g be v(1). Solve -1 = -4*z + g for z.
1
Let u be -1*(-4 - -3) + 3. Solve -2*p + 4*p = u for p.
2
Let v = 45 - 36. Solve -x + v = 2*x for x.
3
Let o(c) = c**2 - 5*c + 4. Let f be o(4). Suppose f = x + x, 0 = -3*h - 2*x + 6. Solve -h - 2 = -2*w for w.
2
Suppose 0 = -6*j + 9*j - 12. Let w be 0/((j - 8)/(-2)). Solve -5 = -w*z - z for z.
5
Let v(r) = -1. Let a(q) = -2*q - 2. Let m(s) = a(s) + 5*v(s). Let t be m(-5). Suppose -2*x = -0*x - 3*p - 20, 0 = -3*x - 2*p + 4. Solve -k = -x*k - t for k.
-1
Suppose -q + 22 = r, 4*r - 5*q + 3*q - 76 = 0. Solve 3*s = -2*s + r for s.
4
Suppose -5*o + 20 = -5*v, -3*v + 5*o + 15 = -5*v. Let z = v - -7. Solve 0 = -z*h - 0*h for h.
0
Let i(m) = -6*m + 3 - m**2 - 4*m + m. Let v be i(-9). Solve 5 = v*u + 14 for u.
-3
Let s = 9 - 4. Suppose s = j + 3. Let t be 3*(j - (-1)/3). Solve -3 = -2*w + t for w.
5
Let a(q) = q - 4. Let v be a(9). Let n(r) = r**2 + 2*r + 3. Let c be n(v). Suppose 4*w = 14 + c. Solve w = 3*j + 28 for j.
-5
Let m(t) = t**3 - t**2 - t + 2. Let k be m(2). Solve -2 = -k*p - 14 for p.
-3
Let v(s) = -s**3 - 8*s**2 - s - 3. Let g be v(-8). Suppose -x - 2 + 9 = 0. Solve 3*c - x = g for c.
4
Let x be 2/(6/(-3))*-2. Suppose 4 = x*w - 0*w. Solve -2 = w*g - 8 for g.
3
Suppose -10 = 4*p - 6*p. Solve x - 2 = -p for x.
-3
Let s be (0/(-2))/(-2) + 2. Let a = -29 - -23. Let t(c) = -c**3 - 8*c**2 - 11*c + 8. Let r be t(a). Solve -r*x - s = 4 for x.
-3
Let z = 0 + 0. Let c(w) = w + 2*w**2 + 2 + w**2 + 8 - 4*w**2. Let f be c(0). Solve f = 5*t - z*t for t.
2
Let n = -4 + 14. Let q(u) = -u**2 - 8*u - 2. Let f be q(-7). Let i = 9 - f. Solve i*p - 2 = n for p.
3
Let b(h) = -2*h**3 - 2*h**2 + 3*h - 7. Let r be b(-3). Solve 5*m - 5 = -r for m.
-3
Let m(f) = -20*f**3 + f**2 + f. Let y be m(-1). Suppose -5*w + h + 0*h + 64 = 0, y = 3*w + 4*h. Solve w = 3*b - 0*b for b.
4
Let q be (4/6)/((-4)/72). Let h be (-42)/q + (-3)/2. Solve -3*c + c + h = 0 for c.
1
Suppose 0*k - 5*k + 4*f = -1, 4*f = -4*k - 28. Let j(r) = -r**2 + 2*r**2 - 3*r**2 - 4 + 3*r**2. Let d be j(k). Solve 10 = d*u - 5 for u.
3
Suppose 4*g = -2*t + 18, -5*g + 3*t + 0 + 17 = 0. Solve g*h + 18 = 2 for h.
-4
Suppose r + 27 = -5*m + 2, 2*m + 10 = r. Solve -5*f + 5 = -r*f for f.
1
Suppose 9 + 7 = -2*u. Let d = -8 - u. Solve 5*h + 10 = -d for h.
-2
Let h = 3 + -5. Let q be (-2*1 - -2)/h. Let t = 91 + -89. Solve -t*f + f - 4 = q for f.
-4
Suppose -36 + 48 = 2*w. Solve -w*p + p = 5 for p.
-1
Let r(u) = -11*u**3 + 2*u + 1. Let v be r(-1). Let a(w) = -w**2 + 10*w + 4. Let l be a(v). Solve 0 = 3*q - l*q for q.
0
Suppose -4*x - 1 + 9 = 0. Let p(k) = k**3 - k**2 + k + 3. Let z be p(0). Suppose 2*m + 3*u = -3, -z*m - 4*u - 4 = -0. Solve m - x = q for q.
-2
Let j be (-2)/10 - (-2)/10. Suppose -t + 5 - 2 = j. Let p be (1 + -2)/1 - (0 + -3). Solve p*d = -d + t for d.
1
Let j = 11 + -6. Suppose 0 = -2*g + j*g. Suppose -y - 5*l + 12 = 0, -3*y - 3*l = -8*l + 4. Solve y*m = -g*m for m.
0
Suppose 3*f = 1 + 5. Solve -w = -0*w - f for w.
2
Suppose 3*l = l + 6. Suppose 38 = l*w - 82. Suppose w = 5*v - v. Solve c = -c + v for c.
5
Suppose -2*z + 4*k - 4 = 0, 2*z - 4*k - 8 = -2*z. Let p be -6*3/(-6) - 0. Solve -p = 3*n + z for n.
-3
Suppose -5*s = 2*z - 65, 5*s - z = 2*z + 65. Let f = -10 + s. Solve -4*d = -f*d + 1 for d.
-1
Suppose -10 - 6 = -4*c. Let y be 7/4 + 1/c. Suppose -8*p + 6*p + 6 = 0. Solve y*f - f = p for f.
3
Let m be 1/(0 + (-1)/(-4)). Suppose c + m*c = 0. Suppose c = -g - 5*j + 23, -3 + 28 = 5*g - 5*j. Solve -g = 3*h - h for h.
-4
Let n be 2/(-6) + (-23)/3. Let s(q) = -q**3 - 7*q**2 + 8*q + 2. Let w be s(n). Suppose b + g - w = 0, 0 = 5*b + 2*g - g - 14. Solve -b*u + u = -8 for u.
4
Let j = -9 - -14. Solve 0 = -3*w + j*w + 10 for w.
-5
Suppose 0 = -2*y + y - 2*v - 18, 3*y = -5*v - 55. Let j = -28 - y. Let f be (9/3)/((-3)/j). Solve 0 = 4*w - 0*w + f for w.
-2
Suppose -3*j - 2*c = c - 6, 0 = -4*j - c + 11. Solve j*k - 2 = 4 for k.
2
Let m(j) = j**2 - 3*j + 3. Let a be m(3). Solve -6 + 0 = -a*u for u.
2
Let k = 2 + 1. Suppose 0*z + k*z = 0. Solve z = 2*c + 5 + 5 for c.
-5
Suppose 186 = 15*c - 9*c. Let l = 135 + -84. Let v = l - c. Solve -2*t = 2*t - v for t.
5
Let r = -23 + 31. Let d be 30/8 - r/(-32). Solve 0 = -d*g - 22 + 6 for g.
-4
Let o(p) = 2*p**3 + 16 + 0*p**3 - 2*p**2 - 18. Let y be o(2). Solve x = 4*x - y for x.
2
Let s be (-2)/(-3) + 20/(-3). Let d be (4*9/s)/1. Let c(q) = -4*q - 9. Let l be c(d). Solve 5*n = 5 + l for n.
4
Let d(y) = -y**3 + 3*y**2 + 4*y - 3. Let f(g) = -6*g**3 + 2*g**2 - 2*g + 1. Let t be f(1). Let c be 10/(-4)*6/t. Let o be d(c). Solve o = -2*u + 1 for u.
-4
Let y(d) = d + 8. Let f be y(-6). Suppose -4*h - w = -h - 4, -f*h = -4*w + 2. Suppose 0 = -4*a + 3 + h. Solve 2*i + 7 = a for i.
-3
Suppose 2*v + 45 = 7*v. Let d = 15 - v. Solve -d*a = -2*a for a.
0
Let y = -3 + 1. Suppose 3*d = -12 + 3. Let h be d/(y + 9/5). Solve -o + h = 2*o for o.
5
Let s = -1 + 7. Suppose r + s = -2*p, -2*r = -5*p - 0*p - 24. Solve 0 = r*n - 5*n + 6 for n.
2
Suppose 0*o = 3*o - 69. Let s = o - 20. Solve -10 = r - s*r for r.
5
Suppose 2*k + 6 = 2*g, k - 3*g + 11 = 2. Let x = 2 - k. Solve 0*m = m - x for m.
2
Let b(l) = l**3 + 6*l**2 - 1. Let r be b(-6). Let p = -1 + 2. Let k = p + r. Solve -3*v + k*v - 6 = 0 for v.
-2
Let a(q) = -2*q - 5*q**2 + 5 + q**3 + 0 + 6*q. Let g be a(4). Solve 5 = -g*k - 10 for k.
-3
Suppose -3*x + 13*x - 30 = 0. Solve x*r = -r - 4 for r.
-1
Suppose 2*b - 6*b = -24. Solve -3*x + b*x + 15 = 0 for x.
-5
Suppose 24 = 6*u - 2*u. Solve 0 = -l - 2*l + u for l.
2
Suppose 102 = 5*n + 4*r - 23, 95 = 5*n - 2*r. Let b(p) = -10*p - 1. Let z be b(1). Let t = z + n. Solve t = -2*m - 0 for m.
-5
Suppose 0 = -45*r + 44*r + 14. Solve -13*u + r*u + 5 = 0 for u.
-5
Let o(u) = -u**3 - 17*u**2 - u - 14. Let y be o(-17). Solve 2 + 1 = y*s for s.
1
Let n be (1 + 3)*2/4. Solve 0 = -n*c + 7*c - 5 for c.
1
Let q = 13 + -12. Solve 4*m = q + 7 for m.
2
Let u(b) = 2*b + 13 + 5*b - 6*b. Let d be u(-10). Suppose -3*q + 2*q = -5*r + 4, 4 = q + 3*r. Solve 2*h - d = q for h.
2
Suppose -24 = -4*c + 2*c. Let j be 0 + 2 + 0 - 4. Let y be (c/8)/((