pose -2*o + 10 = 2*p, 0 = -5*o - 18*p + 17 + 34. Solve w = o*z - 5*z - 2 for z.
-1
Suppose -3*v + v = 2*h - 128, -2*h = 4*v - 130. Let i = -59 + h. Solve i*p + 15 = 7*p for p.
5
Let m = -19 + 8. Let t = 0 - m. Let b = t + 10. Solve b = -5*w + 6 for w.
-3
Let i = -1 + 3. Let a(v) = 0*v + 4*v**2 - 3*v**2 - v. Let n be a(1). Solve f - i - 1 = n for f.
3
Let p be -3 - (0 + (-7 - -1)). Suppose 0 = p*v - 4*r - 59 - 36, -3*r = -3*v + 93. Solve 5*c + v - 9 = 0 for c.
-4
Suppose -119 - 25 = 12*q. Let z be (-3)/4 + 1*(-45)/q. Solve 2*o - z = 5*o for o.
-1
Let w = -19 - -37. Let u be (w/(-8))/((-21)/28). Solve 1 = j + u for j.
-2
Let x be (-6 - -2) + (-5 - -3) - -40. Solve -8*b + x = 2 for b.
4
Suppose -3*x + 7 = -h, -11*h = -9*h - x - 1. Solve h*v + 1 = 3 for v.
1
Let d(x) = 18*x - 13. Let b be d(1). Solve 0 = b*z + 15 - 10 for z.
-1
Let o be (-26)/(-30) + (-4)/(-30). Let f be 7/(112/36) - o/4. Solve -f*g = -3 - 3 for g.
3
Suppose -o = -3*r - 5, r = -4*o + 6*r + 13. Suppose o*y = -3*y + 25. Solve 0 = 2*j - 1 + y for j.
-2
Let t be -4 - ((-3 - 0) + -12). Suppose -5*i + t = -4. Solve -7 - i = 2*j for j.
-5
Let a = -22 - -25. Let m(v) = -v**3 - v. Let t be m(-2). Solve 2*l + a*l = t for l.
2
Let d be (-3 - 6) + 8 - -1*3. Solve -13 = -d*j - 7 for j.
3
Suppose 5*m + 17 = 4*b - 23, 5*b - 4*m = 41. Let f = 57 + -57. Suppose -p = -b*j + 22, f = -p - 0*j - 2*j + 13. Solve -c - 4 = p*c for c.
-1
Let z(v) = 3*v + 25. Let g be z(-7). Solve 0 = -2*q + 3*q - g for q.
4
Let f(s) = 11*s + 261. Let p be f(-18). Solve p*l = 65*l for l.
0
Let i(u) = -5*u. Let m be i(5). Let d be ((-2)/6*-3)/((-5)/m). Solve -d*h + 8*h = -6 for h.
-2
Suppose 3*s - 648 = -6*s. Let w = 79 - s. Solve 0 = -4*m - w + 3 for m.
-1
Let q(n) = n**2 - 5*n + 10. Let v be q(5). Suppose 3*x = -3*m + 39, 2*m + m + 9 = x. Suppose 0*r + x = 3*r. Solve -k = r*k + v for k.
-2
Suppose 0 = 6*q - q - 20. Let p = q + -1. Suppose 5*g - 23 = -p. Solve c - g = 5*c for c.
-1
Suppose -2*c + 6 + 0 = 0. Let r be 9/((-6)/2) + c. Solve 2*m = -r*m for m.
0
Let c = 648 - 996. Let v be c/(-72) - 1/(-6). Solve -6*p + p + v = 0 for p.
1
Let i(p) be the first derivative of -2*p**2 - 34*p + 7. Let g be i(-11). Solve -g = -2*s + 4*s for s.
-5
Let m = 351 - 347. Solve m*s - 22 + 10 = 0 for s.
3
Let r be 5 + (-2 - (-8)/4). Suppose r*n + 17 = 42. Suppose 5*j = 5, 2*j - 20 = 2*w - n*w. Solve s + w = -s for s.
-3
Suppose w = 5*l + 2, w + 2 = 3*l + 2*w. Suppose 8*c - 6*c = l. Let u be (0/7)/(c - -2). Solve -5*y + u + 5 = 0 for y.
1
Suppose 0 = -2*y + 26 - 18. Suppose -4*z + 2*m + 22 = 0, 3*z + 4*m = -z + y. Solve r + 9 = z*r for r.
3
Let x = 328 + -328. Solve x*u = u for u.
0
Let u(b) = b**2 + 17*b - 3. Let y be u(-18). Solve -28*h + 25*h = y for h.
-5
Suppose -4*b + 6*k + 424 = 9*k, k = 5*b - 530. Suppose b + 13 = 17*q. Solve -6*u + 5 = -q*u for u.
-5
Let p(o) = -o**3 - 3*o**2 + 9*o - 3. Let q be p(-5). Let k(z) = 0*z + 2*z + 4*z - 2*z. Let b be k(1). Solve -q*a + 4 + b = 0 for a.
4
Suppose 55 = 3*n + 85. Let g be -2 + n/5*-2. Solve -g*x - 16 = 2*x for x.
-4
Let l be ((-273)/(-14))/(2/(8/6)). Solve 0 = 27*j - l*j + 56 for j.
-4
Suppose 0 = -79*f + 66*f. Solve -b + f - 2 = 0 for b.
-2
Let t = -75 + 79. Suppose 0 = -k + t*k - 0*k. Solve 2 = -k*l - 2*l for l.
-1
Let v(h) = 3*h**2 + 28*h + 13. Let f be v(-9). Solve 2*s = f*s + 10 for s.
-5
Suppose 20*r = 19*r + 2. Solve 0 = r*s - 6*s - 12 for s.
-3
Let c = 0 + 1. Solve -5*l - c - 4 = 0 for l.
-1
Suppose -4*k + 3*v = v - 12, -4*k + 3*v = -12. Solve 8 = -c + k*c for c.
4
Suppose -6*d - 320 = -46*d. Suppose -3*v - 15 = 2*j, -5*j + 3*j = 4*v + 18. Let l be 2/(-3)*j - -2. Solve 2*q - d = l*q for q.
-4
Suppose 195 - 55 = 7*j. Solve j*c = 6*c - 56 for c.
-4
Let m = -23 + 26. Suppose 5*n - m*r - 8 - 22 = 0, -2*n + 3*r = -21. Suppose 0*s - 4*s + 4 = 0. Solve 2*x + s = n for x.
1
Let z = -820 + 825. Solve -z*j = 6 - 6 for j.
0
Let v(p) = 2*p**3 - 4*p**2 - 9*p + 27. Let l be v(2). Solve -10*s - 11*s = -l*s for s.
0
Let i = 4 + 4. Let j be ((-1)/(-5))/(i/40). Solve -j = 3*c - 10 for c.
3
Suppose -r + 10 = -1. Suppose -8*n = -r*n. Suppose n*g - 3 = -g. Solve f + 2 = -g for f.
-5
Let c(y) = -y**3 + 6*y**2 - 2*y + 1. Let z(u) = u**3 - 7*u**2 + u. Let k(w) = 3*c(w) + 2*z(w). Let j be k(2). Solve j*x - 4 = x for x.
2
Let n(h) = h**3 + h**2 - 3*h + 9. Let g be n(2). Solve -4*a + 5 + g = 0 for a.
5
Let j(c) = -c**3 - c**2 + c. Let w be j(-2). Suppose 0 = -3*o - 4*h + 95, -w = 2*h - 0*h. Let g be 154/o + 1/3. Solve -g*m = -3 - 7 for m.
2
Let g(c) = 6*c + 20. Let f = -7 - -3. Let d(i) = 2*i + 7. Let r(k) = f*g(k) + 11*d(k). Let v be r(-4). Solve -9 = -v*x + 6 for x.
3
Let z = -51 + 53. Suppose -56 + 48 = -z*l. Solve -l*n + 3 = -9 for n.
3
Let c = -117 + 131. Solve -4*f + 6 = -c for f.
5
Let f be 4*(-4)/(-16)*5. Let z be 8/(-2) - (2 - (3 - -8)). Solve z*d = -f - 15 for d.
-4
Suppose 6*b - 6 = -78. Let r be (b/(-3 - -6))/(-4). Solve -3*f + 5 = -r for f.
2
Let k = 470 + -467. Solve -k*o + 11 = -1 for o.
4
Let o = -2349 - -2354. Solve -o*p + 255 = 250 for p.
1
Let l = 16 + -11. Suppose l*a = 4*j + 6 - 31, -j + 3*a + 8 = 0. Solve -2*i - j = -3 for i.
-1
Suppose 28 = 4*t - 4. Suppose t*h - 60 = -4*h. Solve h*l - 6 = 14 for l.
4
Let g = 95 - 92. Solve -2*o - g + 5 = 0 for o.
1
Suppose 0 = 4*b - 3*q + 13 + 19, 0 = -3*b - 2*q - 41. Let i(y) = -y - 6. Let j be i(b). Suppose -3*d + 7 = -j. Solve -5*h + 1 = -d for h.
1
Let n(k) = k**2 + 15*k - 5. Let r be n(-14). Let t = 26 + r. Let i = t + -1. Solve 2*f - i = 4 for f.
5
Let u be 6*4/6*1. Suppose -y = 3, -u*y = -7*n + 4*n + 18. Let m = 1007 - 1003. Solve -n*t = -m*t - 10 for t.
-5
Let w = -126 - -128. Solve 3*t + w = -13 for t.
-5
Suppose -2*l + i = 3*l - 152, 4*i = -5*l + 167. Solve -6 + l = -5*f for f.
-5
Suppose 17*t = 15*t + 36. Solve -t*m = -13*m - 15 for m.
3
Let l = -20 - -20. Suppose 5*v + 5*t - 90 = l, -t - 28 = -v + 3*t. Let d = v + -16. Solve -d*p = -3*p for p.
0
Suppose -2561 = -41*g - 921. Solve -4*j = -12*j + g for j.
5
Suppose 5*d + 220 = -5*q, 0 = -2*q - 5*d - 61 - 30. Let t be q/(-4) + 33/(-44). Let z(b) = b**3 - 3*b**2 - 5*b + 4. Let f be z(4). Solve -5*u + t + 5 = f for u.
3
Let s be (-10 + 19)/((-3)/(-2)). Suppose 5*h - s = 2*h. Solve h*g + 4 = -2 for g.
-3
Suppose -11*x - 158 = -13*x. Suppose x = 13*v - 51. Solve 0 = q + q + v for q.
-5
Let l be (-1 + 0)/(2/(-12)). Let d(s) = s - 7. Let i be d(l). Let x be i/(-2*1/8). Solve x = 2*a - 0*a for a.
2
Suppose -498*w + 499*w = 0. Solve w = 9*u - 3*u - 24 for u.
4
Let r = -123 + 125. Solve 27 - 19 = r*o for o.
4
Let w(f) = -f - 8. Let v be w(-7). Suppose -23*j + 24*j = -2. Let i be (-1)/j*(1 - v). Solve 4*q + i = -3 for q.
-1
Let g be (4/3)/(1/3). Suppose -3*j + 63 = -51. Let f = 38 - j. Solve 3*n - g*n - 5 = f for n.
-5
Let c be (-4)/(-1) + 41 + 2 - 5. Solve -2*l = -34 + c for l.
-4
Suppose -144*p + 140*p + 12 = 0. Solve p*b - 18 = -6 for b.
4
Let p = -37 + 30. Let t = p + 23. Let v = 4 - 1. Solve 0 = v*h - t + 4 for h.
4
Let n be (-11)/22*-26 + -9. Solve -15*h - n + 34 = 0 for h.
2
Let y(a) = a**3 + a**2 + a + 7. Let g be y(0). Suppose 4 = -5*m + g*m. Solve -d - m = -4 for d.
2
Let k(h) = 0*h + 0*h**2 + 0*h + 7*h**2. Let c be k(1). Let p(n) = -n**3 + 6*n**2 + 8*n - 5. Let y be p(c). Solve 3*i - y*i = -4 for i.
-4
Let x be 1/(-2 + 27/13). Suppose 16 = 2*p + 2*q, -3*p - 9 = q - 31. Solve -4*k = x + p for k.
-5
Suppose 2*l = -4*r + 26, 2*l - 2*r - 8 = 6. Let c(m) = -2*m + 20. Let a be c(l). Solve 4*j - a*j = 0 for j.
0
Let f(s) = -s**3 - 9*s**2 + 22*s. Let v be f(-11). Suppose q - 10 = -v*q. Solve q = -0*o - 5*o for o.
-2
Let x be (-6)/8*(-1 + -3). Suppose x*h - 20 = -2. Suppose -13 = -t - 5*k, 2*k - 12 = -2*t + h. Solve -n + t - 3 = 0 for n.
5
Let a be ((-5)/((-10)/(-4)))/(-1). Suppose x - 6 = -a*x. Solve -l + 3 = -x*l for l.
-3
Let c(m) = -m - 4. Let a be c(0). Suppose 7 = 2*t + 25. Let h be (t/3)/(3/a). Solve h*v = -v for v.
0
Let g be 3/(27/(-6))*3. Let y be -2 + -2 - g*(-14)/(-4). Solve y = -j - 2 for j.
-5
Let f = 20 - 26. Let x be 18 - (f + 1 + 3). Suppose 0 = -14*r + 9*r + x. Solve 0 = -w + r*w - 9 for w.
3
Suppose 4 = 2*j + 2*j. Let f be (0/(-1))/(4/((-8)/6)). Solve f*n - n = -j for n.
1
Let x be 3/(-4 - (483/(-35))/3). Solve -x*j + 48 = -17*j for j.
-4
Let u(i) = -i**3 + 5*i**2 + 8*i - 7. Let