 = s**3 + 3*s**2 - 5*s - 10. Let t be k(-3). Solve 18 = 3*w + 5*n - t, -3*w - 17 = -5*n for w.
1
Suppose 5*z - 20 = 2*p - 3, 0 = 5*p - 4*z. Solve 5*k - p*n - 5 = 22, -5*k = 4*n - 3 for k.
3
Suppose -2*j - 4 = 0, 3*w - 3*j + 0*j = 12. Solve 0 = 5*g - w*p - 28, -p + 4 = -2*p for g.
4
Let a be 4/(2 + 2)*4. Let o(u) = -u**3 + 3*u**2. Let f = -9 - -11. Let v be o(f). Solve -2*i = -v*t - 0*i + a, -5*i = 4*t - 32 for t.
3
Suppose -4*n - 5*s - 3 - 5 = 0, -3*n = 4*s + 7. Solve 5*r + 10 = 4*r - 3*l, -l = n*r - 10 for r.
5
Suppose -21*h = 13*h - 4*h. Solve -l + 16 = 4*w - 3*l, h = 5*w - l - 20 for w.
4
Suppose 2*y = 5*y - 9. Let q = 2 + -14. Let f be q/(-3)*12/16. Solve -f*o + 6 - 3 = 0, -4*o = y*u + 2 for u.
-2
Let f be 7*(-40)/(-28)*3. Suppose -7*v + v + f = 0. Solve 3*r = 5*b + 2*r - 1, -b - 19 = -v*r for b.
1
Let s be 8/36*-12*3. Let c = 14 + s. Solve 0 = -4*j + 2*v - 9 - 3, 2*j = -3*v - c for j.
-3
Suppose -5 = -3*t - 2*t. Let l = 103 - 102. Suppose -4*v = -4*x - 4, -5*x + 0*x - 2*v + 9 = 0. Solve l = 5*p + 3*a - x, -4*p - 5*a = t for p.
1
Suppose 0 = 2*f - 33 + 29. Solve 2*y + 2*s = 6, 4*y + f*s = 4*s + 12 for y.
3
Let o be 0 - (-2 - ((1 - 2) + 1)). Let i be o/11 + 265/55. Solve -i*r = -t - 10, -t + 0*t = 0 for r.
2
Let d(y) = 4*y**2 - 1. Let g be d(1). Suppose g*h = 2 + 16. Suppose 3*j = 2*j + 4. Solve 0 = -3*k + h, 17 = -j*b + k - 1 for b.
-4
Suppose v - 4 = 4*u + 5*v, -3*u - 5*v = 9. Solve i - 3*k = 1, -4*i + 2 = -u*i + 4*k for i.
1
Let s be (-11)/121 + 596/22. Solve 4*b - 5*y = -10*y + s, 21 = 4*b + 3*y for b.
3
Suppose -16*g = 15*g + 6*g. Solve g = 2*l - 7*z + 3*z + 6, 2*z - 1 = 3*l for l.
1
Suppose 5*t + 6 - 16 = 0. Let q = -16 - -21. Suppose y - 1 = 4*j - 34, -4*j + q*y + 37 = 0. Solve -j = 4*p, t*k - p + 3 = 7 for k.
1
Let v be ((-510)/25)/(3*2/(-20)). Suppose -4*f - 4*a = -2*a - v, -f + 5*a + 39 = 0. Solve -3*z - 4*m = f, -m + 0*m - 21 = 4*z for z.
-5
Suppose 6*q - 327 = -267. Solve -2*z + 3*s = -11, -4*z = -8*z + 2*s + q for z.
1
Let q be (43/20 + 8/(-20))*76. Let t = -131 + q. Solve 2*d - 5*v + 12 = 0, 4*d + 0*d - t*v + 8 = 0 for d.
-1
Suppose 0 = -4*l + 6*l - 28. Let j(n) = -n**2 + 15*n - 10. Let z be j(l). Solve -z*i + b + b + 6 = 0, -6 = -3*i + b for i.
3
Let g be (0 + (-2)/(-4))*(-264)/(-33). Suppose 5 = 3*r - g. Solve 2*t - 4 = 4, 5*t = -r*d + 20 for d.
0
Let m(z) = z**3 + 11*z**2 - 13*z - 10. Let h be m(-12). Let s be 1/1*20/h. Let x = s - 10. Solve x = -t + 5*j - 25, 5*t + 35 = 2*t + 5*j for t.
-5
Let s be 6/(-1*6/(-4)). Let c(r) = 20*r - 1. Let i(z) = 30*z - 1. Let j(l) = 8*c(l) - 5*i(l). Let q be j(1). Solve -s*b + q = x, 2*b + b + 3 = 2*x for b.
1
Suppose 0 = 11*n + 6 - 39. Suppose 34 = 4*p + 26. Solve y + p*j = -4, n*y = 2*y - 3*j - 4 for y.
-4
Suppose -3*d = -8 - 4. Let f be 32/10 - (-1)/(-5). Solve -2*l + 4 = -6*l - d*b, 17 = -l + f*b for l.
-5
Suppose -2*p - 2*y + 10 = 0, 4 = 4*p - y - 6. Solve -2*z + 7*z - x = 21, p*z + 3*x = 9 for z.
4
Let w(n) = -2*n**3 + 14*n**2 - 3*n - 3. Let d be w(6). Let c = 53 - d. Solve -2*b + 2 = k, 2*b - 11 = -c*k - 5 for k.
4
Suppose -x = x - 2*k + 10, -2*k + 10 = 4*x. Let w be (2/(-4) + x)*(-21 - -21). Solve -4*s - 4*o + 0*o - 8 = w, o = -4 for s.
2
Let v = -132 - -123. Suppose 13 = -2*n + 1. Let y = n - v. Solve 3*q - 3*u - 4 = -5*u, 4*q - y*u = -23 for q.
-2
Let c(p) = -p**2 + 8*p + 7. Let l = -20 - -20. Suppose l*n + 5*n = 40. Let h be c(n). Solve -m = -0*m - 3*f + 9, 0 = 5*m - 2*f - h for m.
3
Suppose -4*x + 8*x = -5*o + 7, 3*x = 2*o + 34. Suppose 0 = -5*z + x*z - 6. Solve 2*n + 18 = -z*n - 2*m, 19 = 3*n - 5*m for n.
-2
Suppose -5*j + 35 = -5*d, 4*j = d - 2 + 33. Suppose -2*i + 4*i = j. Let a = 25 + -23. Solve 3*n - a - i = -3*o, 0 = 3*n + 9 for o.
5
Let z = 9 + -6. Let s(p) = -p - 1. Let n be s(0). Let h = n + z. Solve 0 = -o - 2*v, -h*o - v = -0*v for o.
0
Let z(l) = -4*l + 2*l - 3*l**2 - 1 + 8*l**2. Let h be z(-1). Suppose -3*p = -p - h. Solve 0 = p*b - 5*i - 27, 0*b + 4*b + 4*i = 4 for b.
4
Let z(v) = -10*v**2 - 1. Let h be z(-2). Let g be (4 + 4)*(-22)/(-4). Let s = h + g. Solve -4*i = -2*j + 20, 0*j - s*i - 16 = -2*j for j.
2
Let a be (-21)/(-49) - (-268)/28. Suppose 1 = f - 3. Solve -3*c + 6 = u - a, -f = c - 2*u for c.
4
Let c(s) = -s**3 + 9*s**2 + 12*s + 3. Suppose -q + 8 = 2*j, j = -4*q - j + 38. Let w be c(q). Solve 0 = -4*z - 3*n - w, 2 = -z - 5*n - 8 for z.
-5
Suppose -41 = 6*q - q + r, -q - r = 9. Let u = q - -16. Solve 5*m = -2*c + u, c + 12 = 4*c + 2*m for c.
4
Suppose 78 = 41*x - 2*x. Solve 4*i - 5*r + 4 = 14, 0 = -4*i - r - x for i.
0
Let g = -4 - -12. Suppose 10 = 3*b - g. Let k = b + -3. Solve 4*q + 8 + 11 = m, -2*q = k*m + 13 for m.
-1
Let x(i) = -i**3 + 8*i**2 - 8*i + 10. Let b be x(7). Suppose -5*z = -12 - 3. Suppose -z*f + 7 + 20 = 0. Solve -3*j - v + f = 0, 4*j - 17 = -b*v - 0 for j.
2
Let t(p) = -p**3 + 5*p**2 + 6*p + 11. Let k = -48 - -54. Let y be t(k). Solve 4*q - 3*q + 5*g = -y, -3*g = q + 5 for q.
4
Suppose -2*j = -8, -16 = -2*u - 9*j + 5*j. Solve u = 5*x + 10, 0*v - v - 4*x - 12 = 0 for v.
-4
Suppose -5*c - 3*c - 16 = 0. Let m(d) = -d**3 - 3*d**2 + 6. Let t be m(c). Solve t*b + 14 = -0*b - 3*s, -7 = -5*b + 3*s for b.
-1
Let x = -7 - -11. Suppose x*y + 2*k = 20, 4*k - 11 - 5 = 0. Solve 5*w - 3 + 34 = y*v, 0 = -4*v + 8 for w.
-5
Let a = 2 + 3. Solve 29 = 5*n + 3*m, -n + m + a = n for n.
4
Suppose -2*d + 45 = 5*m + 3*d, m - 7 = d. Suppose m*c + 40 = 16*c. Solve 22 = 2*o - c*i, -i = -0 + 4 for o.
1
Suppose 3*s - 14 - 16 = 0. Let f = -226 - -130. Let c be 0 + f/(-44) + (-4)/22. Solve -3*j - c*g = s, -j + 8 = -4*g + 2 for j.
-2
Suppose 3*r = -3*w + 12, -11*r = 5*w - 14*r - 20. Solve w*n = -x - 3*x, -2*n - 6 = 4*x for x.
-3
Suppose 0 = 4*h + 20, -4*w - 4 + 21 = -h. Solve w*p = -4*i - 25, -p + 0*i = i + 7 for p.
-3
Let p be ((-46)/(-7) - 1) + (-16)/28. Solve -4*b - p*q + 13 = -7*b, 4*q = 20 for b.
4
Suppose -15*x = -257 + 62. Solve -3*w + 3 = 5*r - 0*r, x = -w + 3*r for w.
-4
Let x be (247/(-26))/19 + 19/2. Let k = 7 - 2. Solve -3*v - v = k*o + x, -4*o - 4 = 0 for v.
-1
Suppose -32 - 10 = 3*z + 3*v, -3*z - 58 = -v. Let u be (-10)/405*-9 - (-4)/z. Solve -3*q - c + 8 = 0, u*c - c - 4 = -q for q.
3
Let v = 141 - 114. Let g = v + -25. Solve g*l + 4*x = 14, 3 = -5*l + 5*x - 22 for l.
-1
Suppose -3*d + r = -9, 4*r - 6 = -2*d + 3*r. Let p be 3*4/d - -1. Solve -2*s + 25 = p*a, 6*s - 5*s = -5*a + 25 for a.
5
Suppose -2 = -10*b + 9*b. Suppose -3*r = -b*a + 9, -5*a - 3 = -4*r + 5*r. Solve -l - i - 5 = 0, -l + 2*l - 2*i - 4 = a for l.
-2
Suppose 15 = 62*a - 59*a. Let s be ((-8)/(-20)*-3)/((-2)/a). Solve -3*g + 16 = -5*j, 0 = -s*g + 4*g + 2*j + 2 for g.
2
Let m = -67 + 27. Let s = -28 - m. Solve -5*y - k = -28, -3*y - 2*k + s = -3*k for y.
5
Suppose -g - g = 5*q - 28, 2*g + q = 12. Let n be 0/((0 - g)/4). Solve 5*l - 15 = n, 3*h = 4*h - 2*l + 11 for h.
-5
Suppose 0 = -2*m - g, 5*m = -5*g - 36 + 26. Suppose r + 1 = 8. Let w be -1 - (-7)/(r/6). Solve -b - w*n = 3*b + 4, 0 = b + m*n + 4 for b.
4
Suppose 2*v + 4*i + 16 = -0*v, 42 = -4*v + 2*i. Let d = 13 + v. Suppose 0 = s - 3*m - 6, m = d*s - 10 - 0. Solve -3*p - s*j = -5*p - 22, 4*p = -5*j for p.
-5
Let s be (-10)/(-3) + 7/(-21). Suppose -8 = s*y - y. Let l(w) = -w**3 - 4*w**2 - w. Let u be l(y). Solve u*q = 0, -3*q - 2 = -t - 8*q for t.
2
Let h(j) = -3*j**2 + 26*j - 16. Let u be h(8). Suppose -f - f = u. Solve p - 1 = -4*v, -4*p + 3*v + 23 = -f*p for p.
5
Let p(a) = -a**3 - 12*a**2 + 5*a - 20. Let w be p(-12). Let u = w - -114. Solve v + 3*f = -10, -5*v + 5*f + u = 4 for v.
2
Let u = -88 + 90. Solve -4*w + 3 = -s, -u*w + 4*s = 8*s - 6 for w.
1
Suppose -1 = 2*w - 9. Let k be -2 + (8 - 12/w). Solve 2*b + 1 = 4*h - 1, -5*b + 8 = k*h for h.
1
Suppose 5*h - 63 = -2*b, 19*h + 3*b = 14*h + 62. Solve -9 = 4*p - 3*a + 7, 0 = -3*p - 4*a + h for p.
-1
Let c be (-6)/14 - 1320/(-140). Solve -4*a + c = a - 4*h, 3*h + 8 = 5*a for a.
1
Suppose z - 24 = -f - 3*z, 5*f - 5 = 3*z. Suppose -3*t = 4*m - 8, -2*m + t = -8 + f. Solve 4*i = 16, 3*i - 10 = -3*b + m*i for b.
2
Let u = -1137 - -1140. Solve 5*g - 2*g - u*z = 6, -5*g - 5*z = 0 for g.
1
Let d(k) = -6*k + 30. Let b be d(5). Solve -3*a = 5*w - b*w + 31, 5*a = 5*w + 15 for a.
-2
Suppose 2*w - 4 = -2*f - w, 5*f - w = 10. Solve 9 = -3*h, -3*h - 3 = -k - f*h for k.
0
Let f(c) = 3*c - 3*c + 1 + c