(5 - -58) + -1)/1 - 1. Solve 3*z = -76 + s for z.
-5
Suppose 0 = 5*c + 3*n - 8, -6 = -c - 10*n + 5*n. Suppose -6*o + 26 = 14. Solve y = -c - o for y.
-3
Let y = 1 - 1. Let a = 52 + -46. Suppose y = -4*o - p + a, -3 = -o - 5*p - 11. Solve v + v = -o for v.
-1
Let n(p) = -p**3 - 7*p**2 - 5*p + 6. Let v be n(-6). Suppose 3*o - 6 = -v*o. Let y be -4 + (-2704)/(-195) - (-2)/15. Solve -o*b + y = 2 for b.
4
Let b(z) = -4*z**3 - 7*z**2 + 1. Let c be b(-3). Suppose 2*v = c - 46. Solve v = -4*n - 4 for n.
-1
Let l(r) = -4*r. Let n = -51 - -51. Let m be l(n). Solve -k + 6*k + 20 = m for k.
-4
Let u(i) = i**2 + 4*i - 190. Let p be u(12). Solve 6 - 12 = p*m for m.
-3
Let z(f) = -23*f - 64. Let u be z(-3). Solve -u*x + 7*x - 8 = 0 for x.
4
Let g = 57 + -40. Let y = 20 - g. Let l = 4 - y. Solve l = -4*b + 5 for b.
1
Suppose 224 = 21*r - 17*r. Let l = r + -41. Solve -l = 9*s - 4*s for s.
-3
Suppose -3*k + 5*g = -2 - 3, 4*g - 23 = -3*k. Suppose 3*f = 3*w + w - 6, k*w = 3*f + 9. Solve -w*x - 15 = -8*x for x.
3
Suppose 0 = -3*k + 2*k + 6. Let u = -7 + 10. Let i = k - u. Solve -5 = i*y + 2*y for y.
-1
Suppose 4*h + 3 - 23 = 0. Suppose 4*r - 4 = -4*a, 3*r + 1 = -2*a + h. Let w be ((-3)/r)/((-3)/4). Solve 0 = 2*j + w*j for j.
0
Suppose 5*j - 14 - 8 = 4*l, 5*l - 10 = 0. Let n = 6785 - 6783. Solve 0 = 2*c - j - n for c.
4
Suppose -4*a - 380 = -3*r, -2*a = -0 + 10. Suppose -5*o + o = -r. Let f = o - 28. Solve j = -f*j - 6 for j.
-2
Let s be (1/(-6)*2)/((-19)/285). Let p = -2 - -3. Solve 3*x = -s - p for x.
-2
Let r be (3840/(-27))/(-8) + 2/9. Let p(s) = -s**2 + 18*s. Let g be p(r). Solve -5*w + 5 + g = 0 for w.
1
Let s(l) = -31*l + 8. Let i be s(-1). Solve 49 - i = 5*k for k.
2
Suppose 2*d + 5*s - 185 = 0, d + 5*s - 50 = 30. Solve -23*c = -2*c - d for c.
5
Let t be ((-2)/6)/(1/(-21)). Let m be 1*(5 - 4)*t. Solve -6 = 5*j - m*j for j.
3
Let h(d) = 2*d - 3. Let t be h(3). Let o be 18/(-4)*2/(-3). Let m be (5 - 2)/o*10. Solve t*a + m = a for a.
-5
Let h(l) = 84*l + 9. Let y be h(0). Solve -y = z - 7 for z.
-2
Suppose -35*o + 1185 + 1685 = 0. Solve o = 3*k + 91 for k.
-3
Suppose -3*r - 2*l + 6 = 0, 5*r + 0*l - 26 = 2*l. Let t be (-88)/(-16) - 2/r. Solve t*y + 1 = -9 for y.
-2
Let m(o) = -10*o + 20*o + 22*o + 1 + 7*o. Let i be m(1). Let n = i - 29. Solve -n + 1 = -2*c for c.
5
Let n(w) = 2*w - 12. Let h be n(8). Let s(k) = k - 5. Let d be s(5). Suppose h*f - 7*f + 36 = d. Solve l - f = -3*l for l.
3
Let f be 4 - (-4)/((-16)/(-44)). Suppose 59*w - 56*w = f. Solve c - 6*c + w = 0 for c.
1
Suppose 5 = 3*x - 10, b + x - 9 = 0. Solve 0 = b*z + 4 - 20 for z.
4
Let k(c) = -c**3 + 4*c**2 + 17*c - 17. Let n be k(6). Solve 4*r = -n + 25 for r.
3
Suppose -8*o - 45*o = -8*o. Solve 7*z + 3 - 10 = o for z.
1
Suppose 15*u + 736 - 736 = 0. Solve u = -4*r - 0 + 8 for r.
2
Let x(d) = d + d**2 + d**2 + 2*d. Let s be x(-2). Suppose 0 = -s*p + p. Solve -t - 4*t + 25 = p for t.
5
Let h be -2 + (-1*2 - -4). Suppose 0 = 4*u + 3*t - 21, 3*u + 3*t - 21 = -t. Let r be h/(8*u/6). Solve 3 = -r*x - x for x.
-3
Suppose 5*r - 3*r = a - 5, -a + 5 = r. Suppose 2*i - a*z - 30 = -0*i, 4*z = -i - 11. Suppose -f = -i*f. Solve f*w = -2*w + 10 for w.
5
Let g(o) = 2*o + 18. Let r be ((-6)/4)/((-18)/(-48)). Let c be (r + 9)*(-8)/5. Let p be g(c). Solve -d - p + 3 = 0 for d.
1
Let n = 5 + -3. Suppose -4*t - 3*y + 14 = -5*y, 2*t + 5 = 5*y. Suppose o + 9 = -n*o + 3*k, -4*o - t*k = -24. Solve -7 - o = 4*v for v.
-2
Let z(r) = -r**3 + 14*r**2 - 13*r + 3. Let n = 8 - -5. Let x be z(n). Solve -2*i = -i + x for i.
-3
Suppose a - 14 = 3*i, -i - 3 = -4*a + 9. Suppose d = a + 1. Suppose -5*t + 1 = 4*l - 5*l, -2*t - 10 = -3*l. Solve 5 = l*y - d*y for y.
5
Suppose -41*u + 298 = -153. Solve u = -2*w + 15 for w.
2
Let r be 1 - (-48)/(-36) - 39/(-9). Let g = 1 + 0. Solve -r*q = -g - 15 for q.
4
Let a(h) = 25*h**3 - h**2 - h + 2. Let l be a(1). Solve -4*t - 17 = -l for t.
2
Suppose -3*g - 3*k = -19 - 8, -k = -5*g + 15. Let y(q) = q**3 - 3*q**2 - 5*q + 7. Let z be y(g). Solve 12 + z = 5*w for w.
3
Let t = -9 - -14. Suppose -4*z + 5*m + 31 = 0, -19 = -t*z + 4*z + 5*m. Let j be z/(-7) - 20/(-35). Solve j = 2*b - 10 for b.
5
Suppose 0 = -3*t + 50 + 10. Suppose 0 = -3*m - 36 - 36. Let h = m + 28. Solve h*u - t = -0 for u.
5
Suppose v + 3*v - 2*u - 4 = 0, -5*v = -5*u + 5. Let g be 3*2*2/v. Suppose -i + 12 = 2*i, -g*n = i - 36. Solve -n*l = -3*l - 25 for l.
5
Let s be (-48)/40*(-10)/4. Suppose s - 1 = q. Solve 0*y - q = -y for y.
2
Let b be (138/115)/((-3)/(-10)). Solve 11 - 19 = -b*i for i.
2
Let t(c) = c**3 - 3*c**2 - 3*c - 2. Suppose -v = 0, -4*v = -0*l + 2*l - 8. Let a be t(l). Suppose -k + 4*o - 3 = 0, 2*o - 2 = -0*o. Solve a*d + k + 9 = 0 for d.
-5
Let q be (12 + -12)/(1 - 0). Solve 23*s - 51 + 5 = q for s.
2
Let t = 34 + -29. Let y = 2 - -1. Solve -2 = t*j + y for j.
-1
Let x = -25 + 29. Suppose -5*n - 5 = -2*b, -4*b - x*n + 0 = 4. Let w(c) = -c**2 + 1. Let i be w(1). Solve b = -i*h + h - 3 for h.
3
Suppose -2*l = 5*d + 39, -3*d = 4*l - 4 + 103. Let w = l + 30. Suppose 2*o = -4*x - 2*o + 8, -w*o = 0. Solve x*m + m = 6 for m.
2
Let k(b) = -4*b - 1. Let a be k(1). Let s(q) = q**2 + 7*q - 8. Let x be s(a). Let d = x + 25. Solve -5*h + 13 + d = 0 for h.
4
Let u be (-5*40/350)/((-2)/21). Solve -15 = -9*a + u*a for a.
5
Let v(z) = -z**3 + 6*z**2 + 9. Let n be v(6). Let t = -18 - -30. Suppose 0 = s + s - x - 12, -s - 4*x = t. Solve q = s*q + n for q.
-3
Suppose 145 = -4*i + 337. Let y = 32 - i. Let a = y + 16. Solve a = -k + 6*k + 25 for k.
-5
Let j = -308 + 308. Solve j = 7*v - 8*v + 5 for v.
5
Let d(u) = -2*u**2 + 7*u - 7. Let r be d(3). Let t be ((-42)/(-3)*r)/(-2) - 3. Solve i + 4*i = t for i.
5
Let f be (1 + 1)/((-8)/(-48)) - -3. Let m(l) = l - 12. Let g be m(f). Solve 0 = v - g*v - 2 for v.
-1
Let j = -412 + 419. Solve -j*z - 36 = -15 for z.
-3
Let w = -12 - 0. Let h = w - -12. Suppose -5*k + 2*r = -k - 12, h = -k + 3*r - 7. Solve k*p + 0*p = 25 for p.
5
Suppose -4*r - 2*y = 3*y + 5, 3*r = -2*y - 2. Suppose r*n - 3*l + 8 = 2*n, -5*n = 5*l - 20. Suppose n*i - 3 = 3*i. Solve m = -0*m + i for m.
3
Suppose -14*w = -21*w. Solve -21*v + 24*v - 6 = w for v.
2
Let u be (10 + -11)/((-1)/19). Suppose -5*t + 14 = -2*f, -5*f + u = 4*t - 12. Solve 0*p = f*p for p.
0
Let d be (-1)/(((-4)/(-8))/(-1)). Suppose s - 19 = d*t + 2*t, -2*s + 16 = 3*t. Let p = s - 11. Solve -6*c + c + 10 = p for c.
2
Let d be 6/8 + (-106)/(-8). Let t be 0 + (d + 2)/4. Let u be 0 + (t - 0/(-3)). Solve c = u + 1 for c.
5
Let l(k) = -k**3 + 11*k**2 - 11*k + 11. Let t be l(10). Suppose -4*j + 5*q - 21 = 0, 0*q = q - t. Let n = 7 + j. Solve -5 = n*c + 1 for c.
-2
Suppose -3*z + 2*a - 38 = 0, -3*z + 5*a - 23 = 9. Let j be (-34)/z + 42/(-98). Solve -j*s + 1 = 11 for s.
-5
Suppose -16*a + 12 = -10*a. Let r(o) = 22*o - 24. Let t be r(a). Solve 5*g = g - t for g.
-5
Let h be ((-2)/5 - 22/(-55))/(-2). Let x = 4 + -1. Suppose 0 = -3*o + x + 3. Solve -3*p - o*p + 10 = h for p.
2
Suppose 5*r + 46 = 2*f, -8*r = -3*f - 3*r + 79. Solve f + 7 = 8*c for c.
5
Let j(d) = 2*d - 3. Let x be j(14). Let w = -21 + x. Solve w*a = 5*a for a.
0
Let w(v) = -v**3 - 8*v**2. Let f be -5 - (-4)/(4/(-3)). Let b be w(f). Suppose b = -j - j. Solve -t - 1 + 0 = j for t.
-1
Suppose 335*s + 121 = 346*s. Solve s*x + 20 = 6*x for x.
-4
Let z be -78 + 2*2/(-4). Let j = -76 - z. Solve -j = -3*l + 4*l for l.
-3
Let t be (-6)/(-24) - 1/((-8)/6). Solve -d = t - 6 for d.
5
Let p = 2 + 4. Let z be p/(-8) + (-3)/(-4). Suppose 0 = n - 2*n. Solve n = 4*w - z - 4 for w.
1
Let g be 130/35 - (-2)/7. Suppose -4*v + g = -12. Solve v*n + 3 = 3*n for n.
-3
Let t be (4/(-3))/((-6)/(-135)*-5). Suppose 33 = t*l + 3. Solve 6 = 2*x - l*x for x.
-2
Let m(f) = 2*f**2 - 19*f + 11. Let k(h) = -h**2 - 5*h + 9. Let a be k(-5). Let n be m(a). Solve n*r - 3 = 1 for r.
2
Suppose 0 = 4*f + 6 + 14. Let l be -1 - -8 - (f - -7). Solve -d = -l*d - 20 for d.
-5
Let a be (-5)/5 + -2 + -1. Let z(o) = o**3 + 4*o**2 - 2*o - 4. Let l be z(a). Suppose 0 = 3*t + 3*q - 3, 5*q + 12 = 5*t - 33. Solve -l = -3*u + t for u.
3
Suppose 2*o - 3*k = 4, -2*o + k = -3*o + 7. Solve h - o*h - 16 = 0 for h.
-4
Let b(c) = -c - 1. Let m(n) = -54. Let f(d) = -2*b(d) + m(d). Let x be f(26). Solve -2*t + t = x for t.
0
Let o(m) = -m + 19. Let z be o(15). Let b = 178 + 