ppose 137 = 5*s + 2*g - g, -2 = -g. Let r(z) = -z - 1. Let b be r(6). Let m be (-33)/b - (-4)/14. Solve m*f + 2 = s for f.
5
Let l(h) = -h**2 - 8*h + 4. Let x be l(0). Solve -2*c = -x*c for c.
0
Suppose -2*k + 30 = -5*k. Let x be (-5)/(-1)*k/(-25). Solve 3*f = -x*f for f.
0
Let a = -296 + 337. Solve -5*r + 16 = a for r.
-5
Let g = 599 - 564. Solve g = 3*o + 44 for o.
-3
Let v(j) = -j**3 - 2*j**2 - j + 2. Let l be v(-2). Let m(o) = -o**2 + 5*o. Let h be m(l). Suppose 3*n = -2*y + 16, -3*n - h*y = n - 28. Solve -n = u + 3 for u.
-5
Suppose -31 = 3*l - 13. Let g be 3*(-2)/l*-3. Let a(j) = -j - 3. Let b be a(g). Solve -y - 2 = -b*y for y.
-2
Let k be 0 - (-18)/(7 - 4). Suppose -n - 5 = -k*n. Solve -5 + n = z for z.
-4
Suppose 0 = -17*m + 13*m + 12. Solve -3*h = -m*h + 7*h for h.
0
Let j be (-84)/(-20) - 1 - 5/25. Solve j*h = 8*h for h.
0
Let m(t) = -t - 29. Let f be m(-31). Solve -10*g + f*g - 8 = 0 for g.
-1
Let z = 233 - 213. Solve 4*j - z = -4 for j.
4
Suppose 5*q = -5*r + 18 + 17, 3*r = 2*q + 1. Suppose 52 = 4*l - 2*c, -2*c + 18 + 42 = q*l. Let o = l - 14. Solve o = -4*j + 6 + 10 for j.
4
Let l = 2510 + -2507. Solve l*t + 117 = 114 for t.
-1
Let u = 3 - -14. Let a(t) = -t**2 + 7*t - 5. Let d be a(6). Let n = d + 2. Solve -u = -n*v - 2 for v.
5
Suppose -19*n + 4*n + 120 = 0. Solve 5 = b + n for b.
-3
Let s be (-11 - -6)/(5/(-2)). Suppose 9 = -n + 24. Solve s*d = 7*d - n for d.
3
Suppose 12 = 3*u - f, 4*u + 3*f = -u + 20. Solve 0 = u*n + 12 for n.
-3
Let v(r) = -2*r + r - r**2 - 5*r + 0*r**2 + 19. Suppose -24 = 5*t + 4*k, 5*k - 4 = -t - t. Let l be v(t). Solve 0 = 3*x + l for x.
-1
Suppose -m = 4*z - 36, 0*z - 5*m + 18 = 2*z. Solve 0 = -s - z + 5 for s.
-4
Let f(i) = 5*i**3 - 3*i**2 + 3*i. Let m be f(1). Suppose -3*s + 11 - m = 0. Solve -s - 4 = 2*a for a.
-3
Let s be (-354)/(-45) + 14/105. Solve -7*x - s = 6 for x.
-2
Let i = 0 + 4. Suppose 4*w = 6*w - i. Let a be (-92)/(-28) + w/(-7). Solve v + a*v + 16 = 0 for v.
-4
Let p = -13 + 23. Let y = 3 + p. Let u be ((-182)/y)/((-4)/2). Solve 3*a - u + 1 = 0 for a.
2
Let t = 15 - 12. Let g(k) = 2*k + 3. Let o be g(t). Solve 0 = b + 2*b - o for b.
3
Suppose -4*t = -16 + 4. Suppose -18 = 3*n - t*l, 4*n + 31 = 3*l + 10. Let r be -2 - (n + -2 - -3). Solve r*x = -x + 1 for x.
1
Let o be (-123)/(-12) - (-9)/12. Suppose o*y = 7*y. Solve -5*k + 25 = -y*k for k.
5
Let a be (-2)/(-7)*441/42. Solve -5*b = a*b for b.
0
Let o(d) = d**3 + 34*d**2 + 31*d - 63. Let y be o(-33). Solve -5*q + 8 = y for q.
1
Suppose 0 = 3*y - 7*y + 84. Suppose -5*m + 2*i - 5*i + y = 0, 5*i - 16 = -2*m. Suppose -11 = -m*f + 1. Solve 2*u + 8 = f*u for u.
4
Suppose 2*m - 7 = 5*p + 21, -m + 2*p = -13. Solve 0 = 5*d - m - 6 for d.
3
Suppose 5*v + 240 - 245 = 0. Solve -r = -0*r - v for r.
1
Suppose 5*g = -0*g + 4*m, -g = 5*m. Suppose g*v = 2*v - 6. Solve 0*c - 3*c = v for c.
-1
Let g be (5/20)/(2/72). Solve -5*p + 6 = -g for p.
3
Let z be (-56 - 14) + 4/(1 + 1). Let u = z - -71. Solve 0 - u = 3*s for s.
-1
Suppose 3*l + 2*h - 91 = 0, 0 = -l - h + 3*h + 25. Let s = -24 + l. Solve -s = 3*d + 2*d for d.
-1
Let c(d) = -5*d + 1. Let r be c(7). Let m = -32 - r. Solve m*t + 2*t = -16 for t.
-4
Let k = -194 + 200. Solve -k = 9*i - 3*i for i.
-1
Suppose 0 = -40*m + 3*m + 296. Solve m = 3*j + 2 for j.
2
Let b(y) = 7 - 3 - 5. Let k(o) = 4*o - 15. Let u(a) = b(a) + k(a). Let w be u(7). Solve 3*m - w = -m for m.
3
Let k = -7 - -12. Suppose 4 = k*q - 3*q. Suppose -12 = -4*z, -4*o - 2*z + 15 = -5*z. Solve -o = -q*t - 0*t for t.
3
Let j = 69 - 65. Let i be (j/(-6))/((-11)/33). Solve 0 = i*q - 5*q - 9 for q.
-3
Suppose -19*f - 3*p + 125 = -14*f, -3*p - 15 = 0. Solve f*a - 11*a = 0 for a.
0
Let x = -42 - -52. Suppose 7 = -k + x. Let r be 3 + (0/(-3) - 0). Solve k + 6 = r*t for t.
3
Let o(d) = 2*d**3 - 4*d**2 + 4. Suppose 0 = 5*h - 254 + 104. Let c be (4/5)/(h/75). Let v be o(c). Solve 5*u + v = 9 for u.
1
Suppose 3*v - 16 = -22. Let q be (-1)/(4/6*v/4). Solve 0 = -0*r + q*r + 12 for r.
-4
Let m be ((-22)/(-14) - -1) + (-27)/(-63). Solve 5*q + m*q = 3*q for q.
0
Let h be (-26)/(-6) + 2/3. Let o be 4*-7 - (0 + 6 - 3). Let u = o - -32. Solve h*v + u = -4 for v.
-1
Let z = -532 + 556. Solve -4*j + z = -12*j for j.
-3
Let q = -13 + 13. Let a(n) = 3*n**2 + 2*n + 1. Let l be a(-1). Suppose q = l*m - m. Solve m = 4*y - y + 3 for y.
-1
Suppose 3*b + 3*q = -q, 2*b = 3*q. Let c be 0 + (b - -1) + 1. Let d = 71 - 67. Solve -10 = -d*g + c*g for g.
5
Suppose c - 3*c + 8 = 0, -g - 3*c = -14. Suppose 4 = 4*u + 4*d, -2*d - 3 = -g*u - 5*d. Solve -3*w = -u*w for w.
0
Let z(n) = -n**3 + 6*n**2 + 7*n + 4. Suppose -13 - 12 = -5*s. Let a be -6*(-1)/3 + s. Let h be z(a). Solve -7 + 23 = -h*i for i.
-4
Suppose -250 = 51*g - 4024. Solve -3*b - 77 = -g for b.
-1
Let z be -9*-2*(-3)/(-9). Suppose 2*o = -o + z. Suppose -o*b = -5 + 1. Solve -7*p = -b*p + 5 for p.
-1
Let q = 153 + -142. Solve -q*u - 72 = -29*u for u.
4
Suppose w - 4 = 0, v + 3*w = 5*v. Suppose -u = -5, v*n + 2*u - 50 = -22. Let t be 0 + -1 + -1 + n. Solve -13 = 3*i - t for i.
-3
Suppose -h - 2*t + 13 = 0, 0 = -0*h + 5*h + 5*t - 40. Let p(m) = -m + 2. Let z be p(0). Solve -z*f = h*f for f.
0
Suppose 9 = 5*q - 56. Suppose -q*v + 12*v = -10. Let l(n) = n**3 - 3*n**2 + n - 3. Let o be l(3). Solve -s + 6*s + v = o for s.
-2
Let s be (1 + 39/(-15))/((-10)/125). Suppose -3*j - i = 4*i - s, -5*i + 20 = j. Suppose 3*u - 3*m = -u - 9, u - m = -3. Solve u = 5*b - j*b + 25 for b.
-5
Suppose -y - 5 = 2*f - 6, -5*y + 25 = 0. Let m(a) = a**2 - 2*a - 3. Let i be m(f). Suppose -13*z - 5 = -18*z. Solve z - i = -r for r.
4
Let z(k) = -k**3 + 2*k**2 + 2. Let d be z(2). Suppose -d = -9*m + 8*m. Solve -7*n + m*n + 25 = 0 for n.
5
Let u be (-667)/(-232) + (-2)/(-16). Solve 0*q = u*q for q.
0
Let o(b) be the third derivative of -b**4/8 + 7*b**3/6 - 31*b**2. Let y be o(1). Solve 5 - 13 = y*k for k.
-2
Suppose -550 - 44 = -18*y. Solve 7*r + 2 = -y for r.
-5
Suppose 4*h - 2*k - 60 = -0*h, -2*h + 30 = -3*k. Solve 0 = -0*j - 5*j + h for j.
3
Let f = -2 + 4. Suppose 0 = -3*p + 4*g + 17 + 12, -4*p + 17 = -g. Suppose -p*r + f = -31. Solve 9 = -4*q - r for q.
-5
Let c = 67 + -58. Suppose 0 = -3*s + 54 - c. Solve 0 = 8*b - 3*b - s for b.
3
Let m = 22 + -4. Let c be ((-4)/7)/(m/(-126)). Solve 13 - 1 = -c*u for u.
-3
Suppose -5*x + 12 = a, -5*a - 2 = 4*x + 1. Suppose -20 = -z - 2*l - x*l, -2*z - 5*l + 20 = 0. Solve z = 3*g + 3 + 3 for g.
-2
Let s = -55 + 67. Solve 8*c = s*c - 16 for c.
4
Let j(h) be the second derivative of h**3/3 + 13*h**2/2 - 3*h. Let q be j(-5). Solve -7*d + q*d - 8 = 0 for d.
-2
Suppose 8*i - 11 - 13 = 0. Solve 0 = 2*v + 1 + i for v.
-2
Suppose 4*m = -m. Let g(o) be the first derivative of -o**3/3 + 3*o**2 + 3*o + 8. Let h be g(6). Solve h*i + i + 4 = m for i.
-1
Suppose 94 = -2*k - s, 2*s = 2*k + 5*s + 102. Let n = k + 59. Solve -5*c - n = 1 for c.
-3
Suppose -3*r - 3*q - 9 = 0, -q - 5 = 5*r + 2*q. Let v be (-4)/(-16) - 50/8. Let h be 13/39 - (-2)/v. Solve 0*f - f - r = h for f.
-2
Suppose 35 = 5*p + 5. Let w = p + -6. Solve 2*l - l - 1 = w for l.
1
Suppose -17*f + 182 = 9*f. Solve 35 = -0*o - f*o for o.
-5
Let y(l) = -l**3 + 14*l**2 + l - 9. Let n(t) = 3*t**2 - 2*t - 7. Let b be n(3). Let j be y(b). Solve i - j*i - 8 = 0 for i.
-2
Let z(u) = -u**3 - 35*u**2 + 35*u - 42. Let g be z(-36). Let j(i) = 2*i**2 + 3*i**2 - 4 + 0*i**2 + i**3 - 7*i. Let x be j(g). Solve -4 = s - x for s.
-2
Let x(r) = r**2 + 20*r + 29. Let g be x(-21). Suppose -13*l = -15*l + g. Solve -2*w = 3*w - l for w.
5
Let j(q) = 19*q - 152. Let o be j(8). Solve o = -4*p + 23 - 3 for p.
5
Suppose 3*c - 6 = -3*j + 2*j, -j = 2*c - 4. Let q be j/(-2) + -15 + 22. Solve 2*f = q*f for f.
0
Let l(t) = -2*t + 17. Let n be l(7). Let r(v) = 2*v - 3. Let j be r(n). Solve 0 = 3*h + j for h.
-1
Let b be 0*(-5 + 4 - (3 - 3)). Solve -4 = -v - b for v.
4
Let w(q) = 5*q**2 - q + 1. Let i be w(-2). Let g be (-110)/(-30) + (-2)/(-6). Suppose -5*h = -5*d + d - i, 8 = -g*d. Solve h*p = 5*p - 4 for p.
2
Suppose -3*n + 2*b + 100 = 0, -15*b = -n - 10*b + 29. Solve -6*u + 4 = n for u.
-5
Let p = -288 + 293. Solve -v - p = -0 for v.
-5
Let d(g) = -g**3 + 7*g**2 - 2*g - 4. Let l be d(6). Suppose 3*c = -0*c. Suppose 2*w + 3*p - 4 = c, 2*p - 8 = 2*w - 6*w. Solve -w*o - 2*o = l for o.
-5
Let i be 0 