pose 36 = 5*z - x, -2*z - 8 = -z - 4*x. Suppose 4*p + 2*s - 14 = 0, 2*p + 5*s - s = 10. Solve v = -p*v - z for v.
-2
Suppose 0 = -h + 9 - 2. Suppose -2*z - 1 = n, 2*n - h = -0*n - z. Solve -n*w - 2 + 7 = 0 for w.
1
Let f(i) = -i + 17 - 20 - i + 21. Let x be f(4). Solve d = -d - x for d.
-5
Let a(p) = -p**3 + 6*p**2 + 3*p - 15. Let o = 38 + -32. Let i be a(o). Solve 0 = -k - i - 1 for k.
-4
Let f(r) = r**3 + 5*r**2 - 24*r + 13. Let p be f(-8). Solve -p*x = 42 + 10 for x.
-4
Let f = -15 - -19. Suppose -4*y = 4 - 4. Solve f*r + r + 5 = y for r.
-1
Let w be 0/1 + (0 - 0). Let r(y) be the first derivative of y**2 - 4*y + 8. Let h be r(7). Solve 6*j - j + h = w for j.
-2
Let z(f) = f**2 - 24*f - 25. Let l be z(25). Let w(k) = k + 13. Let b be w(-11). Solve l = -b*v - v + 9 for v.
3
Suppose 713 - 665 = 4*o. Solve -9*u + o*u = 0 for u.
0
Let m(b) = 38*b + 231. Let c be m(-6). Solve -15 = c*u - 0 for u.
-5
Let k(a) = -2*a**2 + 9*a - 4. Let t be k(3). Suppose t*x - 14*x = -108. Solve -x*q = -11*q for q.
0
Suppose -71*i = -61*i - 80. Solve 101 = i*t + 69 for t.
4
Suppose 15*i - 19*i = -2*o - 86, 5*o - 5 = 0. Solve 0 = 16*g - i*g - 24 for g.
-4
Let w(t) = t**2 - 5. Let m be w(5). Suppose -7*j - 132 + 153 = 0. Solve -2*n + m = j*n for n.
4
Let b be (5 + (-70)/21)*3*3. Solve -18*n = -b*n - 12 for n.
4
Let n = -3 - -19. Suppose 6 = s - t, 3*t = -t + n. Solve 2*f + 0 = -s for f.
-5
Let a be (16/6)/(-8) - 10/6. Let t be a*(-153)/15 + (-12)/30. Solve -3*u - u + t = 0 for u.
5
Let q be (2 + (-1)/2)/(6/(-8)). Let k = 0 - q. Solve 0 = k*h - 0 + 8 for h.
-4
Let b = 26 - 21. Let n = 209 - 201. Solve b*j - n - 7 = 0 for j.
3
Let v(c) = 3*c - 12. Let x = 35 + -29. Let a be v(x). Solve 4*g = 2 - a for g.
-1
Suppose -3*u = -u - 2, 4*u - 4 = -5*g. Let a = 53 - 45. Solve g*h - 4*h = a for h.
-2
Let g(b) = b**2 + 2*b - 7. Let m be g(-5). Suppose 12*d - 10 = 14. Let h = 7 + -5. Solve m = -d*w - h*w for w.
-2
Let s = -1 - -3. Suppose -4*v + 5*v = -3*o + 14, -6 = v - 2*o. Suppose -7 = -k + 5*g, 0 = 2*k + v*k + 3*g - 5. Solve s*x + k = x for x.
-2
Let r = 734 - 724. Solve 4*b + 6 = r*b for b.
1
Suppose -12*v - 11 = -16*v + a, 2*v + 5*a = 33. Solve 4*t = -16 - v for t.
-5
Let v = -3134 - -3150. Solve -3*j + 28 - v = 0 for j.
4
Let n be (-1)/(-3 + 26/8). Let f be (n/12)/(1/(-189)). Let j be ((-18)/f)/((-2)/14). Solve -j*g + 6*g = 20 for g.
5
Suppose 0 = -102*y + 93*y + 153. Solve y = 3*s + 2 for s.
5
Suppose 0 = -2*c + 6, 2*c + 0*c = -2*y + 12. Solve 8*m - y = 13 for m.
2
Let x be (2/5)/(2/10). Suppose k + 5*d = 23, 2*d = x*k - 3*d + 29. Let c(y) = y**2 + 2*y + 2. Let z be c(k). Solve -b = -2 - z for b.
4
Let d(o) = 30*o + 70. Let w be d(-2). Let p = -3 + 9. Solve -w = -p*h + h for h.
2
Suppose -40 = 6*b - 8*b. Let h = -1 - -3. Solve -3*p + b = h*p for p.
4
Let x(s) = -s**3 - s + 4. Let r be x(0). Suppose -3*z = w - 6*w + 188, -16 = -4*z. Let h = w + -40. Solve h = r*g - 24 + 4 for g.
5
Suppose 6*b - 100 = -250. Let f = 27 + b. Suppose 0 = 3*a + f - 11. Solve -4 = a*s + 5 for s.
-3
Let q(h) = -h**3 - 11*h**2 + 13*h + 15. Let y be q(-12). Suppose u - 2 = -3*l - l, 2*u = y*l + 15. Let z = u - 6. Solve -2*c + z = -6 for c.
3
Suppose -16*n + 7*n + 54 = 0. Let h(j) = j + 1. Let w be h(1). Solve -w*d = -n*d for d.
0
Suppose -31*l + 3*i = -35*l + 23, -5*l - 3*i + 31 = 0. Solve l*y = 15 + 25 for y.
5
Suppose -41 = -4*p - 3*m + 2*m, -m = -p + 9. Suppose 5*u - 6 = -o + p, -3*u - 2*o = -11. Solve 2*f + u*f = 0 for f.
0
Suppose 102 = 4*d + 2*d. Let k(a) = a**3 - 17*a**2 + 2*a - 34. Let c be k(d). Solve 4 = 2*u - c for u.
2
Suppose -2*u = -0*u - 8. Suppose 2*c + 4*m = -3*c + 47, 4*c - 50 = 3*m. Solve u*s - c = -27 for s.
-4
Suppose 64 = 6*a + 10. Solve 2*g = a - 17 for g.
-4
Let v(o) = -4*o + 154. Let z be v(38). Solve -d = z*d for d.
0
Let s = -14 + 2. Let g be (-12)/2*6/s. Suppose i + 1 = 0, r + i - g = -3*r. Solve -x - 4 = -r for x.
-3
Let g = 65 + -64. Let z be (-14)/18 + g + (-102)/(-27). Solve -3*b = -z*b + 1 for b.
1
Let d(b) = b**3 + 9*b**2 - b - 9. Let q be d(-9). Let m(c) = 4*c**2 - 2*c. Let p be m(-1). Solve q = -3*g + p*g - 3 for g.
1
Let d be (-2)/6 - 27/(-81). Suppose -3*c = -d*c. Solve 2*g - 5*g - 15 = c for g.
-5
Let d(g) = -29*g - 5*g**2 + 34*g - 1 + 7 + 4*g**2. Let t be d(6). Let s = 18 + -10. Solve t*y - 4*y = -s for y.
2
Let c(p) = p**3 - 11*p**2 + 12*p - 20. Let w be c(10). Solve 3*u - 9 = -w for u.
3
Let w be ((8 - 4) + (0 - 5))*0. Solve w = 11*z - 3*z - 7*z for z.
0
Let v(a) = 2*a + 11. Let u be v(-3). Suppose 15 = -8*d + 5*d. Let q = d + u. Solve p + p = q for p.
0
Let k(f) = -5*f - 35. Let o be k(-7). Let q(r) = -r + 3. Let v be q(2). Let m be 3*(-1 + (v - -1)). Solve -m*s + o = 12 for s.
-4
Let h = -32 - -33. Let v = -4 + 10. Let g be v - 1 - 1/h. Solve g*r - 4 = 4 for r.
2
Let u(p) = p**2 + 2*p + 2. Let x = 13 - 16. Let k be u(x). Suppose k*b - 23 = 4*q, 2*q = 4*q - 6. Solve b*n = 4*n for n.
0
Let x(s) = -2*s - 46. Suppose 4*r + 2*w = -118, 4*r + 3*w + 0*w + 121 = 0. Let j be x(r). Solve -j = 5*p - 0 for p.
-2
Suppose 0 = 8*s - 99 - 133. Solve 6 = -7*v - s for v.
-5
Let v be (-1 + 2)/((2/21)/(-2)). Let y = v + 21. Solve 3*d + 0*d = y for d.
0
Suppose 0 = -4*v + v + 45. Suppose -3*g + v = 3*z - 0*z, -4*g - 5*z + 23 = 0. Solve 0*p + 4 = g*p for p.
2
Suppose 0 = j - 17 + 18. Let q = j + 7. Solve -5*x + 2*x + q = 0 for x.
2
Let c(m) = -274*m - 1309. Let t be c(-5). Solve -8*l + t = 69 for l.
-1
Suppose 0 = -7*x - 2*x. Solve x = 3*l - 8*l - 15 for l.
-3
Let n(b) = b + 5. Let v = 32 - 35. Let r be n(v). Solve r*w = 2 - 4 for w.
-1
Let c be ((-108)/14)/((-33)/154). Suppose 2*p = -12 + c. Solve -2*x - 2*x - p = 0 for x.
-3
Suppose 1 + 2 = z + n, 15 = 5*z - n. Suppose -z = -2*t - t. Solve -21 + t = 5*l for l.
-4
Let i = -8 + 9. Suppose 0 = u + 2*f - 10, i = 3*f - 8. Solve u = y + 2 for y.
2
Suppose -3*h + 36 = -2*g + 5*g, 5*h + 2*g - 48 = 0. Suppose -h*p + 6 = -10. Solve a - p = 3 for a.
5
Suppose 22*f - 195 = -17*f. Solve -22*a - f + 49 = 0 for a.
2
Suppose -82*f + 78*f = -44. Suppose 0 = -x + 2*y + 9, -4*x - 3*y + 0*y + 47 = 0. Let n = f - x. Solve n = -p - 4*p for p.
0
Suppose -2*b + 15 = -b. Let n(d) = -d**2 - 5*d - 3. Suppose -3*i - 4*c - 2 = 0, -2*i + 3*c - 9 = i. Let o be n(i). Solve -b = 2*s + o*s for s.
-3
Let d be (-1*2)/((-12)/(49 + -1)). Solve 2*w - 2 = -d for w.
-3
Let a(z) = 2*z**2 + 6*z + 1. Let h be a(-4). Suppose -v = 5*l - h - 29, 4*l - 19 = 3*v. Solve -2 = k - l for k.
5
Let b be (3 - 2)/((-1)/(-13)). Suppose 0 = -5*o - 20, 0*o = -4*n - 2*o. Let l be (b + -13)*(1 - n). Solve -2*f + l*f - 10 = 0 for f.
-5
Let y(l) = -l**3 + 4*l**2 + 9*l + 18. Let u be y(6). Solve u = -6*g + 7*g + 4 for g.
-4
Suppose 6 = 4*w + 3*u, -w - 3*u + 10 = 2*u. Suppose r - j - 4 = w, 4*j = 6*r - 3*r - 16. Solve r = -y - y for y.
0
Let h = 141 - 135. Solve -h*m + 8 = -4 for m.
2
Suppose 3*m + 17 - 2 = 0, -5*m = 5*i + 25. Solve 6*g + 15 + 9 = i for g.
-4
Suppose -81*b + 32 = -49. Suppose u - 2*u + 4 = 0. Suppose 3*c = -2*n + 7, -4*n - u*c + 12 = -0*n. Solve 0 = -n*h + 5 + b for h.
3
Let i = 23 + -5. Suppose 3*x + i = 2*w, 5*w + 5 = -5*x - 0. Let v be (-2 - 1)/(w/(-2)). Solve 0 = j + v for j.
-2
Let v = 16 + -12. Suppose -v*j + 0*j = -32. Solve 12 + j = 5*o for o.
4
Suppose -2*i + 12 = -0*i - 2*r, -5*i = -3*r - 24. Suppose 0 = q + i*c + 8, q + 0 - 7 = 2*c. Solve 0 = 2*l - 5 - q for l.
3
Let t be 6 - (8/1 + -3). Let b be (3 + -4)*-21*t. Solve 5*o - b = 4 for o.
5
Suppose 4*i - 33 = b, 56 = 3*i - 21*b + 14*b. Let h(o) = o**2 - 2*o - 4. Let w be h(-4). Solve w = -i*p + 2*p for p.
-4
Let l(b) = b**3 - 2*b**2 + b. Let f be l(1). Suppose -8 = 3*r - 2. Let n = 0 - r. Solve m - n = -f*m for m.
2
Suppose -4*a = -3*k + 8*k - 142, -3*k - 4*a + 82 = 0. Solve 6*f + 0*f - k = 0 for f.
5
Suppose 19 = -4*r - t, -t - 4 + 0 = r. Let c(h) = 2*h**2 + 6*h - 12. Let v be c(r). Solve 0 = -4*o - 0*o - v for o.
-2
Let n be ((-12)/15)/((-1)/(-15)). Let s be (-1)/((-21)/n - 2). Let w be (-10)/8*(2 + -22). Solve -s*u = u + w for u.
-5
Suppose -16*r + 8 = -12*r. Suppose 8*u = r*u. Suppose d = -u*d. Solve -q + d = 3 for q.
-3
Let o be (4 + -7 + 3)*1. Suppose o = 7*t - 4 + 4. Solve -2*w - 4 + t = 0 for w.
-2
Let z(g) = 5*g - 11. Let w(b) = -5*b + 10. Let q(m) = 5*w(m) + 4*z(m). Let s be q(5). Let c = s - -31. S