se -4 = 4*x - 16. Suppose -9 = -5*a - 4*k - 81, x = -k. Let l = a - -12. Solve 0 = 4*r - 20, -j + l*r = -r + 10 for j.
-5
Let t = 2556 + -2549. Let a = -4 - -7. Suppose 5*k = 2*v - 16, -3*v + 6 = v + a*k. Solve -4*z + 2*g = 14, -t = 4*z + v*g + 2*g for z.
-3
Let l(u) = -u**3 - 6*u**2 - 6*u - 2. Let h be (-2)/(-6) + (-64)/12. Let x be l(h). Let k = -128 - -130. Solve -x*a = k*y + 5, -5*y + 6*a + 25 = a for y.
2
Suppose z = -6*z + 84. Let c = z - 12. Suppose -w - 2*y + 4 = -4, c = 3*w + 3*y - 18. Solve -x - 4*m = -w - 5, 3 = -x + 2*m for x.
1
Suppose 2*d + 12 = g, 4*g - d + 14 = 34. Let w = -450 + 455. Solve 0 = -5*y + 5, -w*q - g*y = y + 10 for q.
-3
Let r = 18 - 13. Suppose -3*g - 2*g - r*v = 0, -2*g - 4*v = -2. Let w = g + 6. Solve -9 = w*s - c, -4*s - 5*c = -3*c + 10 for s.
-2
Let t(w) = -w**3 + w + 7. Let y be t(0). Solve 2*o - 5*o + 11 = -4*c, o - y = 3*c for o.
1
Suppose 0 = 52*h - 51*h - 2. Solve -z + 4*k = 21, -2*z + 5*k - 40 = h*z for z.
-5
Let n be 8/(-70)*-7*20/(-12)*-3. Let x = -10 + 14. Solve 5*g = x*c - 13, -c + 4 = g - n*c for g.
-5
Suppose 4*x + 145 = 33*x. Solve -3*p - 1 = -2*h, -2*p = -0*p - x*h + 8 for p.
1
Let f(o) = -o + 2. Let l be f(0). Suppose 4*n - 1 = 5*n. Let a = 4 + n. Solve -l*i + 20 = a*g, g - 12 = -g - i for g.
4
Let s be (6/18)/((-3)/(-45)). Solve -4*q + 13 = -5*k, -k = -8*q + 6*q + s for k.
-1
Let o = -354 - -358. Solve o*p + 26 = u - 3*u, -2*u - 6 = -p for u.
-5
Suppose 0 = -23*d + 18*d + 30. Suppose m + 125 = d*m. Solve y - 5*b = -0*y - m, 2*y - 3*b + 15 = 0 for y.
0
Let t be 0/(12/4*1). Suppose 0*k - 5*k - 30 = t. Let m be (-2)/3 + (-130)/k. Solve 3*j + 0*z - 3*z = -m, j - 5 = -2*z for j.
-3
Let b(x) = 10*x**3. Let z be b(1). Let a(w) = w**2 - w - 17. Let h be a(-5). Let l = h - z. Solve -9 = -3*k - 5*c, -4*k + 2*c + l*c + 12 = 0 for k.
3
Let q(l) = -8*l**3 - 2*l - 2. Let d be q(-1). Solve -v = 3*a + 4*v + 6, -d = 4*a + v for a.
-2
Suppose 0 = -4*k - 39 + 47. Suppose -2*f + 3*v = 0, -k*f + 3*f = -3*v. Solve 6 = 2*w + 3*b, f = -2*w - w + b - 2 for w.
0
Suppose 0 = 4*p - 23 + 7. Suppose r + p = 2*r. Solve -y + r*l = -3*y - 6, 5*y + 8 = -3*l for y.
-1
Suppose 5*r - 28 = r. Let h(o) = o**3 - 7*o**2 + 2*o - 13. Let g be h(r). Solve 2*w + g = -f, 0 = 2*f - 3*w + 2*w + 7 for f.
-3
Suppose 0 = z - 2*t - t - 5, 0 = 3*z - 4*t - 15. Solve 0 = i - 2*i + s, z*s = 20 for i.
4
Suppose 2*n = 0, -3*n + 4*n = 2*t - 8. Solve 4*u = -t*w, 4*w + 3 = u - 7 for w.
-2
Suppose -k + 4*v = -6*k - 1, -2*k - 4*v - 10 = 0. Solve 3*g + 7 = 5*i, -3*g - k = 3*i - 6*i for i.
2
Let s(d) = -d - 9. Let y be s(-11). Suppose r + 0*r = -4*h + 18, -y*h + 6 = 2*r. Suppose -h*t + 3 = -17. Solve 4*n = 3*v - 12, 4*v - 3*v - 12 = t*n for v.
0
Let j(l) = 2*l**3 - 8*l**2 - l + 2. Let o be j(4). Let p be 0 + (-6 - o) - 11. Let f = p - -20. Solve -4*y + 4*z = -28, y - 19 = -0*y + f*z for y.
4
Let q(f) = -7*f + 5*f**3 + 14*f**2 - 4*f**3 + 2*f + 2 - 13*f**2. Let z be q(2). Solve -2*d - 2*i = 0, i - 14 = -z*d + 1 for d.
5
Let l(y) = -3*y + 1. Let t be l(-1). Let u = -53 + 57. Solve -u = w, t*f + 0*w = -3*w + 4 for f.
4
Let a be 82/(-8) + 18/72. Let o = a + 13. Solve -5*f = -4*h - 3, 5*f + 7 = -o*h - 4 for f.
-1
Let v(z) = 26*z + 2. Let d be v(0). Solve -d*p + 1 = 5*y - 1, 4 = -p for y.
2
Let t be (-4)/(-2) - (-28 + 5). Suppose 0 = -3*n - 4*a - t + 1, a = -2*n - 11. Let h be 2/(n*4/(-32)). Solve -2*z = 3*c - 14, -24 + 9 = -h*c + z for c.
4
Suppose 0 = -v - 3*v + 16. Suppose 5*x = -v*p - 7, -5*x - 2 = -x + 5*p. Let u(t) = -2*t + 1. Let d be u(x). Solve -5*h - 3*n + d*n = 3, -2*n = -4*h - 6 for h.
-3
Let k(g) = -g**2 - g + 2. Let j be k(-3). Let w = j - -6. Suppose -5*c - 3*t + 15 = w*t, -5*t + 15 = 4*c. Solve -3*f + 3*m = c, -2*f + 4*m - 18 = -7*f for f.
2
Let i = 5 - 3. Let q be i*(-1 - (-9)/2). Suppose 5*u - 27 + q = 0. Solve -o + 2*a = 0, 5*o - u*a = -a - 7 for o.
-2
Let z = 1575 + -1573. Solve z*y - d = 6, 9*y - 11*y = 4*d - 26 for y.
5
Suppose -3*n - 3 = -3*u - 21, 5*n - 2*u = 21. Let s be 3*(2 - (-2)/(-3)). Suppose d = -s*d + 10. Solve -5 = -d*o - a, a + n = 4 for o.
2
Suppose 13*y = 148 - 135. Solve -3 - y = -4*n - 3*l, 4*n - 12 = -l for n.
4
Let l be (-1)/(4/(-44)) + 3. Let b be ((-33)/(-22))/(6/8). Solve 5*h + 2*n + 23 = 0, 6 + l = -4*h - b*n for h.
-3
Let b = 70 - 103. Let z = b + 37. Solve 0 = o - 2*w - 5, -3*w = z*o - 6 + 19 for o.
-1
Let b(s) = s + 14. Let t be b(-12). Suppose 1 = 3*u + 7. Let r = 6 + u. Solve r*l - t*d + 7 = -d, -l + 3*d = -12 for l.
-3
Suppose 0 = 2*v - 5*q - 40, 4*v - 12 = -q + 112. Solve 0 = 2*u - 5*i - v, 4*u - 5*i = -18 + 58 for u.
5
Let f = -191 - -195. Solve -j - 16 = 2*y + 2*y, 8 = -f*j - 2*y for j.
0
Let l = -1 - -1. Let c(p) = 2*p**2 + 85*p - 41. Let f be c(-43). Solve 0 = 3*t - 5*g + 28, l = f*t + g + 4*g - 23 for t.
-1
Suppose 5*l - 13 = -2*r - 0*l, -5*r + 24 = 4*l. Solve p - 3 + 22 = 4*i, r*p = 5*i - 21 for p.
1
Suppose 2*w - 22 = 3*i, 0 = -i + 4 - 6. Solve 6*v - v - w = -t, t = 3*v - 8 for v.
2
Let m be (0 - 1)*1 + 3. Suppose r = -r - 34. Let b = -14 - r. Solve -m*n - v = 4*v + 18, b*n - 15 = 3*v for n.
1
Let s be 798/90 - (73/15 - 5). Solve k + 24 = 4*d - k, -2*k - s = -d for d.
5
Let j = -885 - -889. Solve -s - 16 = -5*o, -8*s - j*o + 32 = -4*s for s.
4
Suppose 0 = 5*v - 5, 3*z - v = 2*z + 2. Let c = -6 - -8. Solve -20 - 3 = 5*x - c*d, -3*x = 3*d - z for x.
-3
Let l = -88 - -66. Let p = l - -33. Solve 3*g + 2*n = -2*n + 13, 0 = 5*g + 4*n - p for g.
-1
Suppose 5*c - 45 = -4*p, 3*p + 8 + 2 = 5*c. Suppose -c*s + 4 = -6. Solve -4*u = 4*a, a + 2*u + 9 = s*a for a.
3
Suppose 2*g + 1 = a, -4*g + 3 = 3*a - 0. Suppose -16*l + 8*l + 16 = g. Solve 0 = -l*p + 3*t - 2 - 3, -4*p = 2*t + 18 for p.
-4
Suppose 3*r + 18 = -4*t, -r = -6*r - t - 30. Let k(p) = -2*p - 9. Let b be k(r). Suppose -b*a = -5*a. Solve -4*z = c - 14, a = -5*z - 3 + 23 for c.
-2
Let v = 251 + -249. Solve -3*o - 4*l = -0*o - 11, 3*o = -v*l + 7 for o.
1
Let z = -360 + 375. Solve 8*k = 2*r + 12*k + 10, 0 = 3*r - 2*k + z for r.
-5
Suppose 2*p = -37 + 99. Suppose -6*h + 12 = -6. Solve 4*w + p = -h*x, w + 5 - 21 = 4*x for w.
-4
Let c = 7 - 7. Let x(q) = q**3 + q**2 - q + 32. Let g be x(c). Let h(w) = -w**3 + 8*w**2 - 3*w - 5. Let d be h(7). Solve -5*z = 2*a + d, 5*a + g = -z + 9 for z.
-3
Suppose 695*c - 692*c - 12 = 0. Solve -4*y = c*n - 26 + 6, -n = 2*y - 7 for y.
2
Suppose -4*v - 9 = k, 5*k + 0*k = v + 18. Let c be (k/(-1))/6*-10. Let m be 2/4*8 - -1. Solve 5*j - m*g = c, -1 = g - 3 for j.
3
Suppose -50 = -5*u + 5*s, 4*u - 38 = -0*s + 3*s. Let c be 1/(-3 + 26/u). Solve c*z - 2*m = 3*m + 8, 0 = -4*z + 4*m + 8 for z.
2
Let x(i) = i. Let r(a) = 3. Let u(k) = -r(k) + 2*x(k). Let q be u(3). Let l = -801 + 803. Solve -f - 23 - l = -5*p, 0 = q*p - 2*f - 22 for p.
4
Let b(x) = x**2 + 2*x - 1. Let f be (1 + 3 + -1)*1. Let a be b(f). Suppose 5*g + 38 = 5*u - 17, -u - 4*g - a = 0. Solve -q - 2 = -n - n, -2*q = -2*n + u for q.
-4
Let q(j) = j - 6. Let h be q(6). Suppose h*y + 3*y - 99 = 0. Let a = -25 + y. Solve 24 = -3*n + 4*r, 7 + a = -3*n + r for n.
-4
Let g be (-16)/(-6) + 4/(-6). Suppose 0 = -2*i - i + 9. Suppose -22 = -5*l + i*x, -2*l + 2*x = -6*l. Solve -3*s + 4*t - 9 = 0, 0 = -l*s + 7*t - g*t - 6 for s.
-3
Let p(u) = u**3 - 13*u**2 - 27*u - 25. Let k be p(15). Solve -5*w + k = -2*a, -2*w - 13 = 3*a - w for a.
-5
Let g(x) = x**3 - x**2 + x + 4. Let w be g(0). Let k(l) = -w + 4 - 7*l + 4 - l**2 + 7. Let v be k(-8). Solve -4*m + 0*m - f - 7 = 0, -v*f = 2*m - 9 for m.
-3
Let s be (-24)/(-4) + 2/(-2). Let p(w) = -3*w + 17. Let u be p(s). Solve 11 = 3*m - 8*m - 2*c, u*m + 2*c + 8 = 0 for m.
-1
Let q = 571 + -539. Solve -3*g = 2*f - 4, -2*f = 3*f - 3*g + q for f.
-4
Let g = 895 + -891. Solve 14 = -0*y - 2*y - g*f, 0 = -3*y - 4*f - 15 for y.
-1
Let b = 1 - -3. Suppose b*n = 3*n + 6. Solve 5*k + 3*u - 28 = n, -5*u = 4*k - 35 for k.
5
Suppose -d + 6*d = -75. Let c be (0 + 6/d)*-5. Solve -9 + c = 4*f + 5*z, 1 = -4*f - 3*z for f.
2
Suppose -5*p + 25 = -5*u, 0*p + 5*p = 3*u + 25. Solve 4*l - 2 = -u*g - g, -4 = -4*l for g.
-2
Let f = -6 - -10. Suppose 42*w - 40 = 34*w. Solve w*d + 2 = -s, -2*d + s - 17 = -f*s for d.
-1
Suppose 2*g + 0*g = 0. Suppose -5*j = -g*j - 300. Suppose j = 5*z + 5*a, -3*z = -6*z - 4*a + 41. Solve 4*p = r + z, -4*r + 3*p - 2 = -0*r for r.
1
Let u = -1 - -9