). Let o be h(n). Solve -o + 16 = -3*v for v.
-4
Suppose -4*m + m - 77 = u, -u = 2*m + 72. Let z be u/(-4) + (-4)/8. Suppose 0 = 4*d - z + 3. Solve -c = d*c - 4 for c.
1
Suppose -b = -0*b. Let j be 0 - (10/(-2) + 1). Let r = -2 + 6. Solve -j*c + 0*c + r = b for c.
1
Let h = -10 + -5. Let p be (-6)/h - 28/(-5). Solve 3*f + p = f for f.
-3
Let r = 7 - -2. Let j = 15 - 10. Solve j*f + r = -6 for f.
-3
Let x(h) = h**2 + 6*h + 12. Let g be x(-4). Solve q = -g*q - 10 for q.
-2
Let p be 3*2 - (-8)/(-4). Suppose g + g = p. Solve l + 7 = g for l.
-5
Let i(x) = x**2 + 10*x + 12. Let c be i(-8). Let p be (c + 2)*(-1 - 0). Solve 2 = -u - p for u.
-4
Let b(p) = -p - 3. Let c be b(-6). Let f = 21 - 23. Let m be (5 - 6)*(0 + f). Solve 0 = m*s - 3*s + c for s.
3
Let w(x) = -x**2 - 2*x + 8. Let p be w(6). Let y be 1/(-3 + p/(-12)). Solve -4*z + y + 5 = 0 for z.
2
Suppose -3*v + 5*d - 10 = 0, -5*v - 2*d = -4*d + 4. Solve -2*f + v = -10 for f.
5
Let y be 21/5 - (-2)/(-10). Solve -10 = 2*p - y*p for p.
5
Let f(o) = -o**2. Let m be f(2). Let l be (2 + m)*10/(-4). Let w = -238 - -240. Solve 0 = -l*v + w + 18 for v.
4
Let v = -1 - -4. Suppose k + 2*k = 0. Solve -b + v*b = k for b.
0
Let q(k) = -4*k**3 - 2*k - 1. Suppose 4*p + p + 5 = 0. Let m be q(p). Solve m*d = 4*d - 1 for d.
-1
Suppose 22 = n - 2*t, -t - 2*t + 55 = 4*n. Suppose j + j - n = 0. Solve -f = 3 - j for f.
5
Let d be 14/2*3/7. Solve 15 = -d*o - 0*o for o.
-5
Suppose 2*w - 3*w - 15 = -2*x, x + 6 = -4*w. Let z = -21 + 24. Let d be z - 1 - (3 - 6). Solve s + d = x for s.
1
Let q(n) = -n**3 + 5*n**2 + 4. Suppose 5*u + 3*f = 4*f + 23, 3*u - 19 = -2*f. Let x be q(u). Solve x - 3 = -b for b.
-1
Let y be (-98)/21*3/(-2). Let z be y/((-7)/(-4)) - 0. Solve 0 = -0*t + z*t + 16 for t.
-4
Suppose 4*c + 3*c = 0. Let p(w) = w**2 - 6*w - 4. Let j be p(7). Suppose -q = -j, -3*r + 4*r = 2*q - 3. Solve c*n - 15 = r*n for n.
-5
Let s = -1 - -1. Suppose -5*o + 5 = 2*k + 4, -2*o = k. Let n be s + k + 1 + 11. Solve 0 = r + r - n for r.
5
Let s be -3 - (-3 + -5 + 2). Let z be 9/s*(-2)/(-3). Solve 2*y = -z*y for y.
0
Suppose 3*f - 4*x = 2, 5*x - 44 = -6*f + 2*f. Solve -q = 2*q - f for q.
2
Suppose -2*g - 10 = -2*p, -3*g - g + 10 = 2*p. Solve 2*c - c - 5 = g for c.
5
Suppose -3*u - 16 = -4*u + 5*r, 4*u + 4*r - 16 = 0. Let g = -8 + 6. Let w be ((-2)/3)/(g/u). Solve 0 = -j + w*j for j.
0
Suppose 0 = o + 4*g, o + 2*o = -3*g. Solve 0 = -o*z + 4*z - 12 for z.
3
Let h be 17/3 + 1/3. Let x be h*(10/(-4))/(-1). Let y(n) = -2*n**3 - n**2 + 1. Let t be y(-1). Solve -t*o - 3*o = x for o.
-3
Let o = 13 + -8. Solve -13 + o = -2*r for r.
4
Suppose -53*v + 58*v = 20. Solve 0 = -v*l + 18 - 2 for l.
4
Suppose 5*a - 3*s + 6 = s, 0 = 3*a + 5*s - 26. Let x be (a + -4)*(-2 - -1). Solve -x*u = -u - 5 for u.
5
Suppose s - 9 = 6. Suppose -3*u + 0*u - 5*k + 56 = 0, 0 = 3*u + k - 40. Suppose l - u = -l. Solve 0 = l*w - w - s for w.
3
Let u be (6*-1)/(3 - 5). Suppose -2*a = -6 + 2. Solve a*b = -b + u for b.
1
Suppose -5*o - 46 = -3*g - 5, -4*g = -o - 32. Suppose r - 2*r = 3*f - 70, 8 = -4*r. Let b be f/11 - (-2)/(-11). Solve 0 = -b*y + g*y for y.
0
Let z = 3 - 0. Solve -u + 12 = z*u for u.
3
Let m(u) = u**2 - u - 2. Let z be m(4). Let f = z - 6. Solve 2 = -3*x + f*x for x.
2
Let a be (-8 - -3)*(-6)/5. Let j = 9 - a. Solve l - 5 = -j for l.
2
Let q(z) be the second derivative of -z**3/6 - 3*z**2/2 - 4*z. Let p be q(-3). Solve p = -4*o + 6*o - 8 for o.
4
Suppose -q + 1 = -3. Suppose -6 = -y + q. Solve -y = 3*l - l for l.
-5
Let s(y) be the second derivative of y**3/6 + 9*y**2/2 + 4*y. Let c be s(-6). Solve 0 = -c*x + 6 for x.
2
Let g be ((-36)/(-15) + -2)*10. Suppose -g*t + 4*x + 10 + 6 = 0, 12 = -3*x. Solve -4*a + 4 - 12 = t for a.
-2
Let m(p) = -p**3 + 4*p**2 + 7*p - 7. Let l be m(5). Suppose g - 18 = 3*f, -l*f - 4 - 23 = -4*g. Let s(b) = b**2 + 1. Let a be s(1). Solve y - a = g*y for y.
-1
Suppose 1 = -w, -12 = 4*l - 7*l + 3*w. Solve -l = 5*g + 7 for g.
-2
Let g(w) be the second derivative of w**4/12 - w**3/3 - 3*w**2/2 - w. Suppose -5*d - 4*x - 22 = 0, -d = -0*x + 2*x + 8. Let o be g(d). Solve o - 7 = -n for n.
2
Let j = -7 + 13. Solve 0 = j*z - z + 25 for z.
-5
Let y be (-76)/57*(-15)/4. Solve y*t - t = 0 for t.
0
Suppose 0 = 8*v - 6*v - 6. Solve x = 2*x + v for x.
-3
Let v(o) = o**2 + o - 6. Let x be v(3). Solve -3*n = -5*n - x for n.
-3
Let i be (-1)/((3 + 1)/4). Let p be (-1 - 2)*-1 + i. Solve 0*f = p*f - 8 for f.
4
Let z be 1 + (-6)/2 - -2. Let u(p) = -p**3 + 10*p**2 + 10*p + 14. Let q be u(11). Let l be -1 - -4 - (-3 + q). Solve -l*b + 7*b + 20 = z for b.
-5
Suppose -5*k = -12 + 2. Let n = 0 + -9. Let f be (-2)/n - (-6)/(-27). Solve 3*a - k*a = f for a.
0
Let b(p) = p**2. Let x be b(-2). Let u(j) = -j**3 - 9*j**2 - 10*j - 1. Let w be u(-8). Suppose -7 = x*i - w. Solve 2*h + i*h + 8 = 0 for h.
-2
Suppose -2*r + 75 = 3*r. Solve -r = -6*t + t for t.
3
Let p = -25 + 46. Suppose 5*j = 13 + 27. Suppose j = 4*n - 2*n. Solve 1 = -n*z + p for z.
5
Let z = -2 - 27. Let j be 4/(-18) - z/9. Solve 0 = 5*w - 2 - j for w.
1
Let n = -12 + 30. Suppose -5*r - 2*k + n = -7, -22 = r - 5*k. Solve 0 = -r*t + 4*t + 5 for t.
-5
Let w be 2 + (-2 + 2 - -10). Let a = w + -3. Let v = a + -4. Solve -3 = -k - v for k.
-2
Let v be (0 - -3)/((-6)/(-4)). Let i(x) = x**3 - 2*x**2 + x + 2. Let f be i(v). Solve -4*b + 0 = f for b.
-1
Let m(r) = r**2 - 5*r - 1. Let v be m(3). Let i = v + 9. Let u = -1 - -1. Solve i*b + u = -10 for b.
-5
Let y be (-3)/(-2)*4/6. Let p be (y - 5)*6/(-3). Solve p = -5*x + 3 for x.
-1
Let v(n) = -n + 2. Let j be v(4). Let g be 2/(-4)*0/j. Suppose -4*p = 142 - 150. Solve 2*f + g = -p for f.
-1
Let b = -4 - -16. Suppose q = 4*q - b. Suppose -2*h + 2*r = h - 5, -8 = -q*h + 4*r. Solve k = 2*k - h for k.
1
Let m be (-2 - -4)/(3 - 2). Solve -n = n + m for n.
-1
Suppose 2*r - 2 - 4 = 0. Suppose -b - 6 = -3*k, k + r*b - 2 = -0*k. Solve o - k = 3 for o.
5
Let m = -140 + 147. Solve 5 = -4*v - m for v.
-3
Let d(u) = -4*u - 15. Let c be d(-5). Suppose -3*i = 3*w + w - 18, w + 7 = c*i. Solve -w*y - 9 = -6*y for y.
3
Let i be -1 - (0/(-3))/(-1). Let y be (1 - 2)*(i + -1). Solve y*t - 2 = 8 for t.
5
Let u(v) = 682*v**2 - 1. Let j be u(1). Let w be j/2 - (-2)/(-4). Let x be w/24 + (-1)/6. Solve -x + 4 = 5*a for a.
-2
Let f be (3 - 1)/(3/(-6)). Let l be (-4 - -2)*(2 + f). Solve 5*k - l = 6 for k.
2
Let h = -52 + 52. Solve -6*y + 4*y = h for y.
0
Let v = 33 - 33. Solve -5*b - 25 = -v*b for b.
-5
Suppose 0 = -4*p + 6 + 22. Let j(w) = -w**3 + 6*w**2 + 6*w + 7. Let d be j(p). Solve -3*z - 3 - 6 = d for z.
-3
Let r(t) = -t + 8. Let p be r(3). Solve -p*n - 4 = -n for n.
-1
Let v be (-62)/(-5) + (-6)/15. Solve v = -0*c + 3*c for c.
4
Let z = 13 + 15. Suppose -5*l + 17 = -z. Solve -w + l = -4*w for w.
-3
Let i be 0 + ((-76)/(-10) - 12/(-30)). Solve -4*q = i + 8 for q.
-4
Let a(j) = j - 3. Suppose -t - 49 = -6*t + 2*w, -33 = -3*t + 3*w. Let r be a(t). Solve 0 = y + 2*y + r for y.
-2
Let i = -2 - 5. Let k = -2 - i. Solve -6 = -k*r + 4 for r.
2
Suppose 5*c = 4*m - 20, m + m + 3*c + 12 = 0. Solve m*l = -l - 5 for l.
-5
Let i(y) = -y**3 - 8*y**2 + 2*y + 12. Let v be i(-8). Suppose -11 = -4*c + 5*h, 10 = 2*c + c - 2*h. Let r = v + c. Solve r = -5*j - 8 + 28 for j.
4
Suppose 4*i = 3*i - 9. Let n(g) = -g**2 - 9*g + 2. Let t be n(i). Solve t*s + s - 3 = 0 for s.
1
Let x(b) = -b**3 - 7*b**2 - 7*b. Let p be x(-5). Let c = -10 - p. Suppose -4 = -c*g + 6*g, -8 = -5*t + 2*g. Solve t*k = -3*k for k.
0
Suppose 0 = -3*t - i - 4 + 15, -3*t + 4*i - 14 = 0. Solve -t*h + 0 = -8 for h.
4
Let z(p) = -9*p**2 + p**2 + 0*p**2 - 2*p + 9 + p**3. Let c be z(8). Let d = 7 + c. Solve 2*i - 1 + 9 = d for i.
-4
Let u be (-14 + 14)/(-1 - 2). Solve u = -2*j + 5*j + 3 for j.
-1
Suppose 4*r = 0, 3*r + 6 = n - 4. Solve -1 = -9*g + n*g for g.
-1
Let s(i) = 2*i**2 + i + 1. Let t be s(-1). Let p be ((-1)/(-1))/(1/7). Solve t*k = 3 + p for k.
5
Suppose 0 = 31*l - 29*l + 14. Suppose -3 = 4*s + 25. Let k = s - l. Solve k = p + 2 - 1 for p.
-1
Suppose -60 = -0*f - 3*f. Let u be (0 + (-5)/15)*-18. Solve -u*l + f = -l for l.
4
Suppose 0*i + 4*h = i + 2, 0 = -2*h. Let l be 2 + 1*i - 0. Suppose -6 = -v - 4. Solve 0*r + v*r = l for r.
0
Suppose -f + 4 = -0. Let r(u) = u**2 + 5*u. Let l be r(-5). Suppose f*b = -l*b. Solve b 