f be x(1). Let n = f - 50. Solve 4*y + 0*y = n*k - 24, k + 3*y - 1 = 0 for k.
4
Let s = 36 - 70. Let r = -14 - s. Suppose -9*l + 4*l + r = 0. Solve -4*y = -5*u - 33, 3 = -3*u - 4*y - l for u.
-5
Let n(c) = -c**2 + 20*c + 2. Let z be n(20). Solve -3*s + 4*v + 14 = 0, z*v = -2*v - 8 for s.
2
Let p(f) = f**3 + 6*f**2 - 7*f + 4. Let d be p(-7). Let g be 2 + 2 - (d - 1 - 1). Solve -5*q = 5*i, 3*q - 6 = 4*q - g*i for q.
-2
Let o(h) = -h**3 - 2*h**2 + 3. Let l be o(-3). Suppose 8*w - l = 2*w. Solve 5*z + 2*x + 4 = -5, -w*z - 2*x = 0 for z.
-3
Let r = 39 - 45. Let c(t) = -t - 2. Let h be c(r). Solve 5*y + 21 = 4*n + 7, -3*n - 5 = h*y for y.
-2
Suppose -4*v + 6 = i - 9, -5*i = 25. Let l = -37 + 35. Let o be (0/(l + 0))/(0 - 1). Solve o = -4*d - 12, -5*d = -v*m + 5 - 0 for m.
-2
Suppose 0 = -4*h - 449 + 29. Let v be 7*5/(h/(-12)). Suppose v*f + 2 - 18 = 0. Solve -4*r + 0*r = 4*q + 8, -q + f*r = -18 for q.
2
Let w be 3 + -1 + -2 + -6. Let m be w*((-28)/(-12) - 3). Solve 0 = m*z - r + 21, 5*z + 5*r - 5 = -0*z for z.
-4
Suppose -3*y + 0*d - 2*d = -5, -2*y + 8 = -d. Let c(h) = -h**3 + 3*h**2 + 2*h + 2. Let r be c(0). Solve -y*q - 4*v = -0*q, r*q + 3*v = -1 for q.
4
Let p(n) = -9*n + 14. Let q be p(3). Let m(b) = -b**3 - 14*b**2 - 13*b + 3. Let w be m(q). Solve 0 = -l + a + 9, w*l + 2*a - 35 = 7*a for l.
5
Suppose 0*g - 62 = -3*g + 2*r, 0 = -g - 4*r + 30. Let t = g - 19. Suppose -2*n + t*n - 15 = 0. Solve m - 2*m + 5*j + 26 = 0, -4*j = 5*m + n for m.
1
Suppose 4*b - 3*b - 34 = 0. Let p = b + -26. Solve p = -2*x - 3*g - 0, -g - 12 = -4*x for x.
2
Let q be (123 - 125)*(-1 - 1). Solve -s - 3 = 0, 0 = 4*n + 5*s - q + 35 for n.
-4
Let a be (3*-4)/(-2) + -1. Let l(j) = -a*j**2 - 12*j + 8*j - 3 - 11*j + 3*j**2. Let p be l(-7). Solve 11 = -5*v + 3*q + 1, -p = 2*v + 2*q for v.
-2
Let r(q) = -2*q**3 - 13*q**2 - 2. Let h be r(-6). Let y = h + 54. Solve -5*g = 2*t, -g - g + y = 4*t for g.
-2
Let p be -5 + 15/2 + 1/(-2). Suppose p*q - 30 = -4*q. Suppose 5*v - 7 = 4*v. Solve 2*f - 8 = -c + v*f, -f - 16 = -q*c for c.
3
Suppose -5*o - 2*u + 6*u - 14 = 0, -3*u + 13 = -5*o. Let w be (1 - o) + 10 + -16. Let d be (w + 3 - 2)*-1. Solve 3*y + 3 = 2*j - 5*j, -5*j = -2*y - d for j.
0
Let d(l) = 2*l**2 - 3. Let y be d(-3). Suppose 3*x = -4*c + 17, -5*x - 4*c + y = -8. Solve -x*z = -5*b + 27, 3*z + 4*b = -0*z for z.
-4
Let k = -250 - -255. Solve 4*q + 16 = 4*v - v, 0 = k*v - 5*q - 20 for v.
0
Suppose 2*r = -3 - 1. Let s be (4/8)/(r/24). Let j = s - -26. Solve -2*y - 7*a - j = -3*a, a = 2*y for y.
-2
Let g be (-184)/(-56) - 22/77. Solve 4*v + 11 = -g*m, -m + 7 = 2*v - 2*m for v.
1
Let u be 2 + -13 - -6 - (3 + -25). Solve 5*p = -4*g + u, -4*p + 21 = -p - 3*g for p.
5
Suppose -58*h + 2*u + 28 = -57*h, -4*h = -u - 98. Solve 5*i - v = -h, -5*i - 7 - 9 = v for i.
-4
Let y be (-6)/(-15) - (-16)/10. Suppose -7*v - 5*h + 30 = 0, -2*h - 4 = v - 7. Solve 4*q + 9 = v*l, -2*l - y*l = q - 24 for q.
4
Suppose -4*c - 55 = 29. Let n be ((-370)/12)/(-5) + (-2)/12. Let r be 2*(-1 - c/n). Solve 0 = 5*p - 5*w - r, 3*p - 3*w + 1 = w for p.
5
Let w(k) = 2*k**3 + k - 1. Let f be w(1). Suppose 4*t + 16 = 2*b, 0 = -b + 4*b + 5*t - 24. Suppose 3*u + f = b. Solve -x - c - 1 = 2, u = -c for x.
-1
Let s be (3 + -1)*(6 - 18/12). Let l be (-6)/21 - (-4)/14. Solve 3*p = -3*a - s, l = -4*a - p + 4*p + 2 for a.
-1
Let m = 200 - 198. Solve -l - 19 = -4*b, 3*b + m*l + 1 = 7 for b.
4
Let b(u) = -u**3 - 18*u**2 - 17*u + 2. Let h be b(-17). Solve 0 = -h*n + 2*s, -4*n - 10 = -9*n - 5*s for n.
1
Suppose -10*f = -41*f + 62. Solve -2*x = f*v - 3 + 9, -4*x = 3*v + 13 for v.
1
Let o = -36 + -9. Let z = o - -47. Solve -5*q = -5*s - 10, z*s = -3*s + 2*q - 1 for s.
1
Let b = 12 + -11. Let s be 7/2 - (-2)/(-4). Let x(h) = -h**2 - 6*h - 5. Let y be x(-4). Solve 0 = -4*m, y*m + s = f + b for f.
2
Suppose 196 + 14 = -6*t. Let i be (-7)/(t/(-25)) - -10. Solve b = 2*j - 4, 15 - 5 = -2*b + i*j for b.
0
Let q(n) = 4*n. Let u(o) = o - 13. Let z be u(14). Let k be q(z). Suppose 6*l - k - 14 = 0. Solve -3*m - 5*p - 3 + 4 = 0, -3 = l*p for m.
2
Suppose -60 = -27*v + 156. Solve -8 = 2*f - 5*b, -2*f + 6*f + 2*b = v for f.
1
Let w(j) = j - 1. Let v(c) = -c - 14. Let z(q) = -v(q) + 2*w(q). Let g be z(4). Let a = g + -24. Solve 4*y - 3*d - 6 = -a, -y + d = -2 for y.
0
Let t(b) = -14*b + 18 - 11*b + 8*b**2 - 5*b + 24*b - b**3. Let l be t(7). Solve 3*q - 2*o + l = 0, -20 = -q - 2*o - 3*o for q.
-5
Let o(m) = m**3 + 3*m**2 - 8*m + 5. Let l be o(0). Solve 0 = 4*p + l*q - 17, q = -3*q + 4 for p.
3
Let g(f) = -19*f + 1. Let l be g(-2). Let i = l - 20. Solve 0 = p - 5*m, 0 = 2*p + p + 4*m + i for p.
-5
Let t(s) = 6*s**3 + 7*s**2 + 6*s + 4. Let q be t(-4). Let w be (-3 - 0)*q/12. Let p = w - 45. Solve 2*f = -5*y + p, 0 = -3*y + f + 2 + 6 for y.
4
Let a(g) = -2*g - 8. Let t be a(-7). Solve -5*k + n - 5*n = t, 0 = -k + n + 6 for k.
2
Let h = -74 + 66. Let c(y) = -2*y**2 - 16*y + 5. Let k be c(h). Let r be 1/2 + (-14)/(-4). Solve -k - 7 = 3*a, -r*m + 4*a = 0 for m.
-4
Suppose 2*v = -v + 72. Solve 3*d - 7*o - v = -3*o, -3*d - 5*o = 3 for d.
4
Let m(u) = -u**3 + 6*u**2 - 3*u. Let o be m(2). Suppose 1 = 4*r + f - 10, -5*f = 5*r - o. Solve 0 = -i - 4*s + 21, -6 = -r*i + 3*s - 3 for i.
5
Let i(z) = -2*z - 3. Let c be (-24)/(-18)*(-3)/2. Let o be i(c). Let w(n) = 3*n - 1. Let d be w(o). Solve -d*q + 4 = -3*u, 2*u + 0*q = -3*q - 7 for u.
-2
Let q = 116 + -122. Suppose -2*c + 8 = -8. Let o = c + q. Solve 4 + 11 = 5*n - 5*l, 3*l + 9 = o*n for n.
0
Let i(n) = -n**3 - 17*n**2. Let m be i(-17). Solve -2*r - v - 1 - 7 = m, 0 = 3*r - 2*v + 5 for r.
-3
Let j be (30/18)/5*-2*-6. Solve 0 = -4*r - j*b + 10 + 26, 2*r = 4*b - 6 for r.
5
Let o(p) = p + 3. Let c = 3 - 6. Let j be o(c). Suppose -3*a + 2 + 4 = j. Solve -2*w + 5*n = -13, w + 0 = a*n + 5 for w.
-1
Let f(u) = 0*u**2 + 0*u - 4*u + u**2 + 2*u + 2. Let a be f(3). Let y = -37 + 66. Solve -b + 5*d = 21, -2*b + b = a*d - y for b.
4
Let n be (-8)/(-6) + 30/45. Let x = -12 - -14. Let d be x/7 - (-36)/21. Solve 0 = 3*k - f + n, d*f = 2*k + 3 + 1 for k.
0
Let c = -5 - -16. Let j be 1/(-3) - (-78)/18. Suppose 7*x = j*x. Solve -4*k + 2*v = k + c, x = 2*k + v + 8 for k.
-3
Let u be 1 - (60/(-3) - 0). Let p = -104 - -104. Solve 0 = 5*n - 0*n + t - u, p = -3*t - 12 for n.
5
Suppose -3*h + 22 = -68. Suppose 3*s = u - h, -4 = 3*s + u + 20. Let v(o) = o + 11. Let z be v(s). Solve 5*p = -z*b + 33, -2*p - 37 = -3*b - 7*p for b.
4
Let n = 37 + -23. Suppose y + 2*y + 4*i = -10, -2*i - n = -3*y. Solve -2*g + 2*d = 2, -g - y*g + d = 7 for g.
-3
Let l = -75 - -80. Solve -l = 5*v - c, 0*v - 2*c + 10 = v for v.
0
Let j = 39 - 34. Let w = j + 5. Solve -3*u + 4*k = -8*u - 25, 2*u + w = -4*k for u.
-5
Suppose -189 = 8*k - 205. Solve 45 = -3*l - k*l - 5*d, 3*d = -15 for l.
-4
Suppose -7*g + 22 = -461. Let d = g + -64. Solve 5*o + 2*v = -d, -v + 1 = 3*o + 5 for o.
-3
Suppose -9*i + 8*i = -4. Solve 3*j + 2*j = i*b + 14, -b = j - 1 for j.
2
Let w be 11 + -5*(-27)/(-45). Solve -3*u = -5*y + 35, -w = 5*u - 5*y + 37 for u.
-5
Suppose 2*a = 0, 7*z - 2*z + 55 = 3*a. Let n = z - -23. Let j be (-3)/2*(-16)/n. Solve -21 + j = 3*m - 4*l, 4*m - 3*l = -23 for m.
-5
Let q = 63 - 63. Suppose -5*y - 10 = 2*d, q*y = 5*y + 10. Solve d = 3*t - 0*z + 5*z - 35, t - 2*z + 3 = 0 for t.
5
Let o = -58 - -63. Solve 0 = -o*x + 25, -2*l = -5*x + 6 + 25 for l.
-3
Suppose -m - 4*r - 14 = 0, m + 5*r + 37 = 3*m. Suppose 4*h = 2*n + 26, 3*n - 25 = -2*n. Suppose -m - h = -s. Solve -s = -3*j - 0*j - 4*x, 2*j - 10 = -2*x for j.
5
Let b = -97 - -102. Suppose 0 = -d - 4*d + 3*l + 25, 0 = -b*l - 25. Solve -5*o - d*n = -31, 4*o - 9 = 2*n + 5 for o.
5
Let m = -28 + 42. Suppose 0 = -d - 2, 2*r - 2*d - m = -0*d. Solve -r*p + 30 = -5*q, -3*q + 4*p + p - 22 = 0 for q.
-4
Let r(b) be the third derivative of 3*b**4/8 - b**3/6 - 2*b**2. Let h be r(-2). Let g = h + 24. Solve m - 4*s + s = 0, -m = -g*s for m.
0
Suppose 3 + 7 = 5*x, -5*o - 2*x = -24. Let m = 46 + -52. Let d be (-2 - m/o)*-10. Solve 0 = -d*h + 2*s - 8, 4 = -2*h + s + 1 for h.
-2
Suppose 0 = -18*u + 5*u + 65. Solve l - 2*k = -5*k - 16, -k = u*l + 10 for l.
-1
Let z be (1/((-5)/3))/(81/(-540)). Solve b + 6 = -2*l, 9*l - b = z*l - 29 for l.
-5
Suppose 3*k - 15 = -3. Suppose -5*c + 4*b + 10 = 0, 0*b - k = -2*c + 4*b. Solve u - 4*v + 