pose 5*j + 71 = 2*m, 2*m = -5*j + 17 + 4. Let i = m - 21. Solve i = 3*v - 2*v for v.
2
Let j = 5 + -29. Let v be 10/(-15)*1*j. Solve v = -7*k + 3*k for k.
-4
Suppose 0*u + 30 = 2*u. Solve -i + u = -4*i for i.
-5
Suppose -2*d = -0*d - 14. Solve -3 = -z - d for z.
-4
Let w be 1/2 + (-3)/(-6). Solve -w - 19 = -4*r for r.
5
Suppose -c + 4*c = 0. Suppose -6 = -2*g - c*g. Solve -g*v = 2*v for v.
0
Let z = -1 - -1. Let w = 3 + z. Suppose -f + 2*t = t, f + w*t = 8. Solve -3*y + f*y = -2 for y.
2
Suppose 4*a + 0*a - 12 = 0. Suppose -3*r + 6 = -a*h, -2 = r + 5*h - 16. Solve -6*b + 2 = -r*b for b.
1
Let m = -16 - -10. Let h be (-2)/(-1)*(-9)/m. Solve 0 = 2*n + h*n - 25 for n.
5
Suppose 3*f + 7 = -0*u + 2*u, 2*u = -f + 19. Let o(a) = a**2 - 6*a + 7. Let p be o(5). Let m be (2/1)/(1/p). Solve 8 = -m*s - u for s.
-4
Let p(h) = 1 + 3 + 2*h - 6 - 3. Let r be p(10). Solve 2*v - 5*v = r for v.
-5
Let h(o) = -o**3 - 16*o**2 - 14*o + 15. Let t be h(-15). Solve t = 2*d + 2*d + 12 for d.
-3
Let d be 1/((-3)/(-12)) + 0. Suppose 3*h + p - 27 = d*p, 5 = h + p. Solve 2*a = h*a for a.
0
Let d(o) = -o**2 - 9*o + 5. Let m be d(-10). Let k be 4/(-1 - m) + 1. Solve k*t + 2 = 8 for t.
3
Let g = -15 + 18. Let t be 2 + 8/4 - g. Solve -v - 4 = t for v.
-5
Suppose -4*r = -2*r - 4. Solve r = 5*j - 3*j for j.
1
Let j(d) = d**2 + 6*d + 4. Let n be j(-3). Let v = 7 + n. Solve -o = 6 - v for o.
-4
Let q be (3 - 2) + 1 - -1. Solve q*i - 9 = 6*i for i.
-3
Let n(p) be the second derivative of -p**3/6 + p**2/2 - 4*p. Let x be n(-3). Solve 3*h = x*h + 3 for h.
-3
Let g(o) = -o**3 - 2*o**2 + 2*o + 2. Let i be g(-3). Solve -i + 1 = -m for m.
4
Suppose 0 = 4*u - u - 54. Solve 5*b - u - 7 = 0 for b.
5
Let s = 16 - 4. Solve -s + 3 = -3*z for z.
3
Let d(a) = a**3 - 3*a**2 - 2*a - 5. Let q be 3/(12/(-64)*-4). Let i be d(q). Solve -2*w + i = w for w.
1
Let r be 9/18 + 27/6. Solve 1 = -r*v + 11 for v.
2
Let k(r) = -r**2 - 4*r - 3. Let q be k(-3). Suppose 3*v + 4*s = 2*v + 12, -4*v + 69 = -5*s. Solve -4*y = -q*y - v for y.
4
Suppose -3 = -4*j + 5. Suppose -3*r = -j - 10. Let g(a) = a + 5. Let c be g(-5). Solve c = i - 2 + r for i.
-2
Let r(q) = q**3 - 2*q**2 + q + 2. Let x(n) = -n**3 - n**2 - n + 4. Let b be x(0). Let k be b/(-5)*5/(-2). Let a be r(k). Solve 0*p - 16 = -a*p for p.
4
Let w be 55/(-22) - 5/(-2). Solve w*v - 15 = -3*v for v.
5
Let s(t) = 2*t + 16. Let b be s(-8). Solve 5*y + 10 = -b*y for y.
-2
Let u(h) = -h - 1. Let o be u(-3). Let z(n) = n**2 + 5*n - 3. Let x be z(-5). Let m be o/(-2) + x/(-1). Solve 2 - 6 = -m*r for r.
2
Let s(w) = -5*w - 2. Let f be s(-2). Solve -3*j + 20 = f for j.
4
Let t(z) = -z**2 + 9*z + 4. Let o be t(9). Let w be 2/4*(-58)/(-1). Let p be w/9 + o/(-18). Solve 3 + 12 = p*g for g.
5
Let b = 8 + -14. Let w = b - -8. Solve 1 + 9 = -w*j for j.
-5
Let q be (6/2)/((-6)/(-4)). Suppose q*i = i + 1. Suppose -2 = -f - i. Solve s = -0 + f for s.
1
Let q be -4 - 1 - 2/(-2). Let n be (-6)/(-4)*q/(-2). Let z be 1/(-1*n/(-24)). Solve w + 3*w - z = 0 for w.
2
Let j = -17 + 18. Solve -n = j - 0 for n.
-1
Let p(y) = -4*y**3 - 2*y**2 - 2*y - 1. Suppose -k + 1 = 2. Let u be p(k). Suppose -2*m = -5*m + u. Solve -2 = -v - m for v.
1
Suppose 0 = 34*l - 40*l + 18. Solve 0 = -l*y - 3 - 3 for y.
-2
Suppose 2*c + 108 = 6*c. Solve -4*d + 11 = c for d.
-4
Let d be 18/12*(-4)/(-6). Let f be -3*d + (8 - 5). Solve y + 1 + f = 0 for y.
-1
Suppose 0*b + 2*a - 3 = -b, -5*b + 15 = 2*a. Solve -b*d - 2 = -d for d.
-1
Let m = -3 + 5. Suppose 0 = -3*z - m*h + 8, -3*h + 5*h - 2 = 0. Let q be (-1)/(-4) - z/8. Solve q = -d - 4 + 9 for d.
5
Suppose -4*w + 4 = -3*w - 2*z, -2 = 5*w + z. Solve -9 = -3*v - w*v for v.
3
Let h = -12 + 17. Suppose -k + 4*v = k - 24, -4*k - 4*v = 0. Suppose -5*b + 5*d = -b - 23, k*d + 16 = 2*b. Solve -b*m - h = -m for m.
-5
Suppose -6*p - 4*p + 10 = 0. Solve -3*w - 7 = -p for w.
-2
Suppose 4*c - 11 = -c + 3*k, k + 13 = 4*c. Solve 0 = -c*j + j - 3 for j.
-1
Let m(u) = -u**3 + 6*u**2 + 9*u + 6. Let r be m(7). Suppose 2*z + r = 6*z. Solve -5 - 5 = -z*g for g.
2
Let b be ((-20)/(-7))/(6/21). Let i be 3/(26/b + -2). Let w = 8 - i. Solve -a + 1 = -w for a.
4
Let x(p) = p - 2. Let u be x(4). Suppose 4*c = c + 84. Suppose -4*d + 12 + c = 5*l, 0 = -3*l - 4*d + 32. Solve u + 2 = -l*j for j.
-1
Let r = 16 + -12. Solve -4 = r*x - 16 for x.
3
Suppose 0 = 4*p - 4*k - 32, -12 = p - k + 5*k. Solve -1 - p = -y for y.
5
Let j = -2 - -2. Suppose j*k - 2*k + 6 = 0. Let u be (k/(-1))/3 - -1. Solve -v - v = u for v.
0
Let a(l) = l + 15. Let t be a(9). Solve t = 5*n - 1 for n.
5
Let p(z) = 4*z - 3*z - 1 + 6*z**2 + 2*z. Let c(t) = -11*t**2 - 7*t + 3. Let a(w) = 2*c(w) + 5*p(w). Let m be a(-1). Solve 18 - m = 5*u for u.
2
Suppose -3 = -3*y + 9. Solve 10 = -2*a + y*a for a.
5
Let u be (1 + 0 + -5)/(-2). Solve 0 = v - u*v + 4 for v.
4
Suppose z + 87 = 19. Let r = -24 - z. Suppose 2*x = 3*y - r, -y - 3*y = 3*x - 36. Solve 4*t - 4 = y for t.
4
Suppose -3*x = -4*z + 1, 2*x = -z + 5*z - 2. Let t = 4 - z. Solve 3*j - 3 = t for j.
2
Let d(x) = -x**3 - 13*x**2 - 2*x - 22. Let v be d(-13). Solve 0*q = v*q - 8 for q.
2
Let r(f) = f - 5. Let m be r(7). Solve -2*l + 3*l + m = 0 for l.
-2
Suppose -11*q + 48 = q. Suppose 3*p - 2*g - 60 = -5*g, -72 = -4*p - 2*g. Solve -q = 4*u + p for u.
-5
Suppose -5*u + 13 - 3 = 0. Solve 0 = -u*w + 2 for w.
1
Let v(u) = u**3 - 2*u**2 - u - 3. Let n be v(3). Solve 2*s + 1 = n for s.
1
Let m = -70 - -76. Solve m*o - 2*o = 0 for o.
0
Let h be (3 - (0 - 3))/1. Solve -2*z = -h - 0 for z.
3
Let n(h) = h**3 - 4*h**2 + 2*h + 3. Let p be n(3). Suppose o + 15 = -3*z, p*z - 20 = -5*o + 4*z. Solve o*x + 2*x + 10 = 0 for x.
-5
Suppose 3 = -5*c + 68. Let q be 8/52 - 2/c. Solve -3 = 3*y - q for y.
-1
Let o(t) = -2*t**2 - 9*t. Let w be o(-4). Suppose -25 = -3*i - 2*i. Solve -g = w*g + i for g.
-1
Let v = -1 - -3. Let d(z) = 2*z + 1. Let c be d(v). Solve u + 0 = c for u.
5
Let f(t) = -21*t - 1. Let m be f(-1). Let u(d) = 8*d**2 - d**3 - 8*d + 4 + 10 - 7. Let l be u(7). Solve i + 3*i + m = l for i.
-5
Let s = 6 + -3. Solve s*x = 2*x - 5 for x.
-5
Suppose 0 = -2*y + 5*y - 6. Solve -n + y = n for n.
1
Let f = -58 - -61. Solve f*d - 8 = d for d.
4
Suppose 0 = -4*t - 25 + 5. Let h = -5 - t. Solve 3*i = 3 - h for i.
1
Let v = 8 - 5. Suppose -v*u + 5*y = 11, 0 = -2*u - y - 0*y + 10. Solve -p + 2 + u = 0 for p.
5
Let i(z) be the second derivative of z**4/12 + z**3/2 + 3*z**2/2 + 2*z. Let a be i(-2). Solve -p = a - 2 for p.
1
Let s(z) = 40*z. Let n be (-1)/(2/(2 - 4)). Let y be s(n). Suppose -6*h + h = -y. Solve h = -f - f for f.
-4
Suppose n + 3*q = -11, 22 = -n - 5*q + 1. Solve -20 = -n*m - m for m.
4
Let j(n) = -n**3 + 5*n**2 - 4*n + 2. Let p be j(4). Let i = p + 0. Solve -5 = -i*c + c for c.
5
Let b = 102 - 101. Solve c - b = 1 for c.
2
Let t = -4 - -6. Let s(z) = -5 + z + 5 + 8. Let i be s(-7). Solve -t*y + y + i = 0 for y.
1
Let u(d) = -6*d + 1 + 1 - d**2 - 6. Let r be u(-4). Solve -r*o = -12 - 0 for o.
3
Let g(z) = 2*z - 14. Let v be g(12). Solve 0 = -2*o - v for o.
-5
Suppose 4*d + d - 15 = 5*r, 4*d = -2*r + 12. Suppose 3*a = 4 + 2, 2*a + 20 = d*o. Solve -3*w = -w + o for w.
-4
Suppose 16 = 5*c - n, -c = 5*n - 30 + 6. Suppose 3*x = 2*x + 2. Let h = x - -1. Solve 0 = j - h*j + c for j.
2
Let a = -1 - -1. Suppose 0 = 5*q, -14 = -5*m - 4*q + 6. Suppose a = 5*i - 4*w - m, i + 5*w + 5 = 3*i. Solve n + i = 2 for n.
2
Let b(y) = -y + 14. Let s be b(11). Suppose -s*n + 8 = -16. Solve -2*z + n = 2*z for z.
2
Suppose 16*g - 15*g = 2, g = 4*u - 78. Solve 14*v = 9*v - u for v.
-4
Let s(k) = k + 8. Let a = 13 - 17. Let f be s(a). Solve 4 + 12 = -f*w for w.
-4
Suppose -9 - 3 = -4*b. Suppose b = o - 1. Suppose o = j + 2. Solve -j*g - 25 = -7*g for g.
5
Let p be (-1 - -4)/((-3)/2). Let i be (2 - p) + 4/2. Suppose i = a + a. Solve a*t - 5 - 7 = 0 for t.
4
Let d(p) = -10*p**2 + 19*p + 2. Let b(o) = -7*o**2 + 13*o + 1. Let j(w) = 7*b(w) - 5*d(w). Let g be j(5). Solve g*i - 3*i - 3 = 0 for i.
-3
Suppose -2*c - 2*c = 0. Let n = 3 - c. Suppose -2*w - 28 = -4*z - 4*w, 0 = 4*z - n*w - 8. Solve -m = -2 + z for m.
-3
Suppose 2*p - 55 + 51 = 0. Solve 0 = -2*d - p*d - 4 for d.
-1
Suppose -4*p - 16 + 24 = 0. Solve 0*x - x = p for x.
-2
Let y = -3 - -1. Let v(z) = -1 - 5*z + 5*z + z**2. Let n be v(y). Solve -3*x - 15 = -n fo