/(-27) - 1). Solve -s + v = -6*s for s.
-4
Let q = 20 + -32. Let x = q - -13. Solve -x = 3*l + 8 for l.
-3
Suppose -2*n = -7 - 1. Let x = n - 0. Solve -x - 5 = -3*y for y.
3
Suppose -6*o + 6 = -5*o. Suppose 2*v + o = 4. Let m(h) = -6*h**3 + h**2 - 1. Let y be m(v). Solve -w = -y*w for w.
0
Let m = 11 - 11. Suppose -2*p = -4*p + 3*i + 10, p + i = m. Solve 0 = -p*d + 6 + 4 for d.
5
Let z be 1/(1*1/2). Solve -z*p + 3 = -5*p for p.
-1
Let i be (-5)/(-15)*(-39)/(-1). Let a(h) = -h**3 - 7*h**2 + 8*h + 5. Let t be a(-8). Solve 3 - i = t*r for r.
-2
Let p = 45 + -20. Let a = p - 10. Solve 2*o - a = 5*o for o.
-5
Let x(l) = -l**2 - 8*l - 7. Let n be x(-6). Solve 0 = -0*y - n*y - 20 for y.
-4
Let v(i) = 3*i**2 - 9*i - 4. Let g be v(8). Let w be g/14 - (-10)/(-35). Solve 5*l + 12 = -w for l.
-4
Let j = -128 + 131. Solve j*n - 2*n + 3 = 0 for n.
-3
Let p = 1 - -3. Let m = p + -2. Let r(y) = y**3 + 5*y**2 - 2*y - 10. Let v be r(-5). Solve -m*s + 2 = -v for s.
1
Let r be (1 - 2)/(-1)*1. Suppose 2*f = r + 7. Solve -a = a - f for a.
2
Let r(c) = -2*c**3 - c. Let q be r(-2). Let d be -1 - q/(-5 - -2). Solve -m = -d*m - 4 for m.
-1
Suppose 70 = c + 4*c. Let q be 23/7 - 4/c. Solve q = -2*u - 5 for u.
-4
Let j be -3*(-1 - -1 - 1). Suppose c = 5*c. Solve -j*h = -c*h + 15 for h.
-5
Let f = 11 + -5. Let n(c) = c**2 - 4*c - 4. Let t be n(f). Solve -t = 3*p + 7 for p.
-5
Suppose -2*m = -88 + 8. Suppose m = 2*i + 2*p, 0 = 4*p + 2 + 18. Solve -d - 4*d = -i for d.
5
Suppose -x + 3*f = 4, f + 1 = 2*x - 1. Suppose 4*v = z + z - 30, -v = x*z - 15. Let o = 11 - 11. Solve -2*r - 1 - z = o for r.
-5
Suppose g = -0*j + 5*j + 13, -6 = 4*j - 3*g. Let v(m) = -m**2 - 4*m. Let a be v(j). Suppose t = w, 2*w + a*t - 2 = 23. Solve 2*h - w*h = 9 for h.
-3
Let l = -7 + 5. Let n be (3 + -4)*(-5 - l). Suppose 18 = 4*b - g, n*g + g = 2*b - 16. Solve b*u - 3*u = 0 for u.
0
Suppose 4*b = 7 + 5. Let h(g) = 5*g - 4. Let t(d) = -4*d + 3. Let q(f) = -5*h(f) - 6*t(f). Let y be q(-2). Solve y*i + b = -5 for i.
-2
Let p = 15 - 1. Let j = 8 - p. Let i(u) = u**2 + 7*u + 7. Let t be i(j). Solve -q = -0 + t for q.
-1
Let z(x) = 4*x + 4 + 5*x - 8*x. Let f be z(0). Solve -7 = f*s + 5 for s.
-3
Suppose y + 5 = -2*t, -5*t + y = -t - 5. Solve 3*s + 22 - 10 = t for s.
-4
Suppose -2*l - 4 = 5*w, -4*w + 3*l - 1 = -7. Solve w*m + 4 = m for m.
4
Let d = 8 - -1. Let n be d/15 - (-9)/(-15). Solve n = -2*h - 0*h + 6 for h.
3
Let m = -18 + 7. Let y be 20/11 + (-2)/m. Suppose -3*f - g = -y*g - 11, 4*f + g = 24. Solve -20 = -f*r + r for r.
5
Let d = 21 - 24. Let u be 0/(-1*(d + 4)). Solve u = -l - 2*l for l.
0
Let v = 32 - 11. Suppose 2*n - v = -n. Solve 2*u - 3 = n for u.
5
Let m = -18 - -23. Solve -2*o + m = 3*o for o.
1
Let y(o) = -o**2 + 5*o + 7. Let s be y(5). Solve -s*v + 4*v = -12 for v.
4
Suppose 5*n + 2*l = 36, 6*n - 50 = n + 5*l. Suppose n = -2*g + 4*g. Suppose -5*v - g - 6 = 5*o, -3*o = -v + 18. Solve p - v*p = 4 for p.
-2
Suppose 4*q = 0, -3*q + 0*q - 2 = -p. Let k be (1 + p + -11)*-1. Solve u - 5*u + k = 0 for u.
2
Suppose -3*d + 8*d - 35 = 0. Suppose 0*b - 8 = -4*b. Suppose b*f + 10 = 4*k, -3*k - 4*f - d = 13. Solve 3*o - 6 - 6 = k for o.
4
Suppose -4*d + 6*t = 4*t - 28, 2 = d + 2*t. Suppose -d = -2*o - 2. Suppose 0*h = o*h. Solve -2*y - 2*y - 20 = h for y.
-5
Suppose 5*i - 24 = -j + 7, -i - 4*j = 9. Solve -5*h - 2 + i = 0 for h.
1
Suppose 0 = -3*w - 15, 18 = -o - 5*w - 3. Solve -o*j = -j + 3 for j.
-1
Let o(g) be the first derivative of -g**2/2 + 8*g - 2. Let f be o(8). Solve -4*c + f*c = 4 for c.
-1
Suppose 0*r - 4*r + f - 8 = 0, 0 = -2*r + f - 2. Let m be -1 - (-4 - (3 + r)). Solve -m*b + 3 = -4*b for b.
-3
Let d(k) = k**2 + 0 + 2*k + 2 + 7*k. Let f be d(-9). Solve f*m = -3*m + 25 for m.
5
Let g(s) = -38 + 71 - 39 + s**2 + 5*s. Let y be (-1)/((-1)/(0 + -6)). Let i be g(y). Solve 3*o - 5*o - 6 = i for o.
-3
Suppose -54 = -3*c - 4*i + 2, 5*i + 11 = 3*c. Solve 2*x - c = -x for x.
4
Let c be 0 - (-2 - 0)*9. Let y be 1*(2 + -6 + 3). Let s be (y - -2) + (3 - 0). Solve -2 = -s*b - c for b.
-4
Let o = 82 + -58. Let v = -9 + o. Let p = -11 + v. Solve 0*x = -p*x + 12 for x.
3
Let k be 20/(-1 - 3)*-1. Suppose -5*u - k*i = -3*i, -3*u = -3*i. Let b(d) = -d + 8. Let h be b(6). Solve c + h = -u for c.
-2
Let b be (-48)/(-27) - 2/(-9). Suppose -2 + 0 = -y. Suppose -b*v + d + 3 = -3*v, -4*d = y*v + 12. Solve v*f + f + 2 = 0 for f.
-2
Suppose -91 = 5*z + 54. Let k = -13 - z. Let m be 5*1*(18 - 17). Solve n - m*n = -k for n.
4
Suppose s = -0*s. Solve s = -0*b + 3*b for b.
0
Let p be ((10 - 11) + 2/8)*-4. Solve -p*t + 3 = -3 for t.
2
Let p = -11 - -18. Let u be -1 + p - 4/2. Solve -u = 2*d - 0 for d.
-2
Suppose 2*k - 20 = 2*j, 2*k + 3*j = 7*j + 20. Let f = k + -10. Solve 2*t = -f*t - 8 for t.
-4
Suppose -28 = 4*m + 52. Let l = 28 + m. Let r(j) = j. Let z be r(0). Solve z = 2*i + 2 + l for i.
-5
Suppose 4*b + 0*b = 20. Suppose 0 = b*z - 2*z. Solve z = -5*q - 3 - 2 for q.
-1
Suppose 5*b = 4*b. Let h be ((-12)/(-9))/(4/6). Suppose 4*m - 4 = 5*q - h, q = -3*m + 11. Solve q*r - 2 = -b*r for r.
1
Let f = -75 + 78. Solve 10 = -5*g + f*g for g.
-5
Suppose -3*n + 2 = -2*n. Solve -n = t + 1 for t.
-3
Let y(j) = -j**2 - 10*j + 11. Let t be y(-11). Solve m + 5 - 10 = t for m.
5
Let j = 14 + -5. Solve j = -2*r - r for r.
-3
Let z(w) = -w - 3. Let m be z(-6). Suppose -21 = -2*t - 4*k - k, -5*k = m*t - 24. Let i = 1 + 5. Solve -5*u - t = -i*u for u.
3
Suppose -5*u + 2 = -2*y + 127, 0 = 5*y - 5*u - 275. Suppose 0*m = 2*m - y. Suppose 0*v - 2*i = -v + m, -4*v - i = -55. Solve 7*a - 4*a = v for a.
5
Let n(m) = -m**3 - m**2 + 6*m. Let k be n(2). Solve k = -b + 6 - 2 for b.
4
Suppose 6*f - 4 = 8. Solve -3 = -f*g - 1 for g.
1
Let k(p) = p**3 - 2*p**2 - p + 4. Let y be k(2). Solve -2*x + 8 = y for x.
3
Suppose 0 = 2*j - 32 + 26. Solve j*b - 8 = b for b.
4
Let a = 102 - 102. Suppose k - 3*z = -k - 10, 0 = -5*k + 3*z - 7. Let f be k - 1/(-1) - -1. Solve 3*r + f - 6 = a for r.
1
Let m = -65 + 67. Solve 0 = m*y - 6*y - 8 for y.
-2
Let k(t) = t**3 + 14*t**2 + 11*t - 17. Let g be k(-13). Let v be 2/(-8) - (-10)/8. Let n(u) = 3*u**3 + u - 1. Let d be n(v). Solve 0*r + g = -d*r for r.
-3
Suppose 2*n = -3*n + 10. Solve -i - 15 = n*i for i.
-5
Let h(p) = -3*p**3 + 6*p**2 - 6*p + 8. Let d(m) = 7*m**3 - 12*m**2 + 12*m - 15. Let g(w) = 2*d(w) + 5*h(w). Let z be g(5). Solve -z = -0*n - 5*n for n.
1
Let w(q) = q**2 + 2*q. Let c be w(-2). Suppose -y = -5 - 1. Suppose k + k - 2*n = y, -2*k + 5*n = c. Solve 0 = k*a + 4 - 19 for a.
3
Let n be (-1)/(-3)*(129 - 0). Let p be 56*((-3)/(-6))/1. Suppose 2*z = -3*y - 7 + p, y + 5*z - 20 = 0. Solve y*k - 18 + n = 0 for k.
-5
Let y(o) = -5*o**2 - 3*o + 9. Let q(t) = -t**2 + t. Let p(f) = -4*q(f) + y(f). Let c be p(-6). Solve 2*r + c = -r for r.
-5
Let x(t) = t**2 + t + 1. Let y(n) = -4*n**2 - 4*n. Let k(d) = 5*x(d) + y(d). Let o be k(-5). Solve -4*b = b + o for b.
-5
Suppose 3*w + 4 = w. Let l be -1*0*w/(-4). Suppose 45 = 4*q - 5*t - l*t, -2*q - 3*t - 5 = 0. Solve q = -u - 4*u for u.
-1
Let r be (-138)/(-7) - (-2)/7. Let f be -2 + (3/(-12))/(1/(-20)). Solve 5 - r = -f*h for h.
5
Suppose 2*m = 4*n - 6, 0 + 4 = -2*m + 2*n. Let w = m + 3. Suppose w*y - y = 4. Solve -l = y*l for l.
0
Suppose 5*z = k + 91, 0 = 3*z - 0*z - 5*k - 37. Suppose 2*y - 18 = 3*h, 3*y + 3*h - 13 = 4*h. Solve z - y = 4*j for j.
4
Suppose 5 = 2*d - 5*y, -8 = 2*d + 3*y + 11. Let p(z) = -z**3 - 4*z**2 + 6*z + 7. Let f be p(d). Suppose -f*l + 7*l = 0. Solve -2*a + 3 - 5 = l for a.
-1
Suppose 2*v + n = -4*n - 6, 0 = 5*v + n + 15. Let z = v + 3. Solve -q - 2 + 1 = z for q.
-1
Let i(y) be the second derivative of y**4/6 - 2*y**3/3 + y**2/2 - 3*y. Let u be i(3). Suppose -2*c + u*c - 15 = 0. Solve -c*j - 12 = -0*j for j.
-4
Suppose 0 = -8*c - c. Solve c = 4*o + o for o.
0
Let z = -10 - -16. Suppose 4*d = 5*j + 31, 10 = d - 4*j - z. Solve -d = -5*h + 3*h for h.
2
Let q(y) = -y**3 + 9*y**2 - 2*y - 6. Let a be q(7). Let t be a/4 - (-1)/2. Solve 5*m - 5 + t = 0 for m.
-3
Let b = 32 - 20. Let k be (-6 + 0)*3/2. Let u be ((-30)/(-9))/((-6)/k). Solve 0 = u*s - 2*s - b for s.
4
Let c(j) = j**3 + 3*j**2 - j + 3. Let z(r) = r**3 + 4*r**2 - 2*r + 4. Let d(u) = 3*c(u) - 2*z(u). Let a be d(-2). Let v = a - -9. Solve v*m = -0*m for m.
0
Suppose -3*a + 87 = 4*h + h, -2*a