 -2*v for v.
4
Let l be -3 - 6*2/(-3). Let x be (9/(-3) + 2)*l. Let w be x/3 - (-8)/6. Solve z + 0*z + w = 0 for z.
-1
Let y = 16 + -20. Let n be (72/(-20))/(y/10). Solve 4*o = 1 - n for o.
-2
Let d = -44 + 68. Suppose -m - d = -5*m. Solve m = -z - z for z.
-3
Let r(h) = h**3 + 6*h**2 + 9*h + 5. Let i be r(-3). Let l(c) = -12*c + 1. Let s be l(-2). Solve 0*n - s = -i*n for n.
5
Suppose -16 = -3*c - l, 2*c = -c + 5*l + 10. Suppose -c*p = k - 0*p - 27, 10 = 2*p. Solve -k*w - w + 12 = 0 for w.
4
Let u be (12/(-8))/((-6)/8). Solve r + 2 = -u for r.
-4
Let c = 12 + -6. Solve 0 = b - c*b + 10 for b.
2
Let t(n) be the second derivative of n**5/20 - 5*n**4/12 + n**3/2 + 3*n**2/2 + n. Let r be t(3). Let g be 3/(r/4)*-1. Solve g*f = -2*f for f.
0
Let k(v) = 4*v - 12. Let m be k(3). Solve 0 = -m*f + 5*f for f.
0
Suppose h - 2 = 3. Suppose -h*c = -c - 72. Solve -c = -4*t + 2 for t.
5
Let q(y) = -2*y - y + y**2 - 5 + 0*y**2 + 6. Let v be q(4). Suppose v*g - 3*g - 4 = 0. Solve -2*k - g = -10 for k.
4
Suppose 3*c + 72 = -5*r, -14 = 2*r + 5*c + 11. Let a = 15 + r. Solve a = -d - 3 for d.
-3
Let z(r) = r**2 - 3*r. Let i = -9 - -12. Let k be z(i). Solve k - 5 = -p for p.
5
Suppose 0 = -f - 2*b + 7, 0*f = 3*f + 5*b - 21. Let z = f - 0. Solve 32 = -5*r + z for r.
-5
Suppose 0 = -8*d + 9*d - 8. Solve 0*z = -4*z - d for z.
-2
Let c(s) = s - 5. Let p be c(6). Solve 6 = f + p for f.
5
Let m(s) = -2*s - 17. Let f be m(-15). Solve -4*i + f + 7 = 0 for i.
5
Let l(r) = -r + 8. Suppose 3*x - 27 + 9 = 0. Let j be l(x). Solve -o + j*o - 2 = 0 for o.
2
Let t = -6 + 9. Suppose -5*d - 25 = 0, -t*x - 2*d + 0 = 10. Solve x = 2*g + 2*g + 16 for g.
-4
Let q = 25 - 24. Solve -13 = 3*u - q for u.
-4
Let q = -33 + 33. Solve -3*f + 3 + 3 = q for f.
2
Let p be -1 + 0 - (3 - 4). Solve -z + p = 1 for z.
-1
Let r(l) = -3*l + 19. Let g be r(5). Solve -g*m = 7 + 1 for m.
-2
Let s = 2 + -24. Let r = 26 + s. Solve t + 0 = r for t.
4
Suppose 0 = -4*c - 0 - 4. Let m be 10 + 1/(-1) + c. Solve -5*r = m + 12 for r.
-4
Let j(y) = 2*y - 1. Let o be j(2). Suppose 0 = -4*w + o*w + 4. Suppose 0 = 4*n - 12, w*t = n - 2 - 1. Solve t*x + x = -4 for x.
-4
Let m = 6 - 3. Solve 2 = -5*y - m for y.
-1
Suppose 3*c - 11 = -n, 0*n - 2*n - 2*c = -34. Solve n = 4*x - 0 for x.
5
Let o = 2 + -10. Let v be (15/(-2))/1*o. Suppose 0*i - 5*i + v = 0. Solve 0*g - 3*g = i for g.
-4
Let z = -32 + 33. Solve 0 = 3*l + 2 + z for l.
-1
Let m(c) = c**2 + 12*c + 3. Let z be m(-6). Let a = 53 + z. Solve 3*q = 8*q - a for q.
4
Suppose 0*o = -3*o. Let q = -15 + 20. Solve 0*p - q*p = o for p.
0
Let f(d) = -5*d**3 + 1. Let m be f(-1). Suppose 2*q + 2*i = 3*q + 15, -5*q - i - 31 = 0. Let r be (-185)/(-35) + 2/q. Solve m - 11 = -r*o for o.
1
Let v(d) = d**2 - 11*d + 14. Let n be v(10). Suppose n*t = 3*t. Solve 0 = 5*s - t*s for s.
0
Let l = -50 - -54. Solve l*i - 3 + 7 = 0 for i.
-1
Let a = -23 - -26. Solve -4*f - 7 = -a for f.
-1
Let d(k) = 3*k**2 + 16*k - 7. Let a be d(-6). Solve -a*o + 4*o = 0 for o.
0
Suppose -3*u + 31 = -4*i, 6*u - 5*i - 45 = u. Let h(y) = 0*y**2 + y + 6*y - u - y**2. Let q be h(5). Solve -7 = 4*n + q for n.
-3
Suppose 8*x - 28 = 4*x. Let h be (1 + -1)*(6 - x). Solve h = 2*p - p for p.
0
Let l(q) = -q**3 + 8*q**2 - 7*q + 2. Let p be l(7). Suppose 0 = 3*h - 2*z - 1, -z + p = 2*h - 8. Solve -3*x - h = 9 for x.
-4
Suppose 3*r = r. Suppose 2*i - 2*c - 23 = -3*c, -i = 2*c - 16. Suppose -3*z = -7*z + 20. Solve -i = -r*s + z*s for s.
-2
Suppose -6 = -19*g + 17*g. Solve 2 = -g*f + 5*f for f.
1
Let t be -1 + (0 - 0 - 0). Let g be (0 - (t - -1))/(-2). Solve -3*y + 2 + 10 = g for y.
4
Suppose k - 7 = -4. Solve -b - 2*b = -k for b.
1
Let l be ((-18)/4)/(2 + 20/(-8)). Solve -3*n = -0*n - l for n.
3
Let d(b) = -3*b + 7. Let j be d(3). Let y = 2 - j. Solve -3 = -y*i + 17 for i.
5
Let y(a) = a - 1. Suppose -5*k - 9 = -8*k. Let r = -2 + k. Let j be y(r). Solve i = -j*i for i.
0
Suppose -4*u + 0*u + 24 = 0. Solve 2*l + u = -l for l.
-2
Let h = 118 + -116. Solve 0*u = -h*u for u.
0
Let a be (-6)/4*(-72)/27. Suppose 0 = -2*l - 2*d + 2, 2*l + 4 = -l + a*d. Suppose 0 = -2*s + 5 + 1. Solve s*u = -l*u - 6 for u.
-2
Suppose 0 = 4*u - 17 + 49. Let k be 2/8 - 78/u. Solve -5*i + k = -5 for i.
3
Let t(o) be the third derivative of o**6/120 + o**5/6 + 3*o**4/8 + o**3/3 - o**2. Let f be t(-9). Solve -f*p + p + 5 = 0 for p.
5
Suppose 24 = 5*k - 6. Solve 0 = 3*b - 9 - k for b.
5
Suppose 2*v = 4*v - 28. Let u be v/8 - 1/(-4). Suppose -2*a + 3*a - 2 = 0. Solve -u - 8 = a*x for x.
-5
Let n(h) = -h**3 + 6*h**2 - 6*h + 6. Let r be n(5). Suppose 8 = 3*m + 2. Let x = m - r. Solve -x = 3*i + 5 for i.
-2
Let n = -16 + 18. Solve -3*a - n = 1 for a.
-1
Let h(b) = -12*b. Let d be h(-1). Suppose o + 2*o = 0. Solve o = 3*j + j - d for j.
3
Let s be (-2 - (-2 - -1))*-5. Let z be 800/70 + 4/7. Solve -s*b + b = -z for b.
3
Let u = 4 - 3. Let b be 1/u*1*3. Solve 0 = -b*k - 9 - 0 for k.
-3
Let s(n) = -n**3 - 3*n**2 - 3*n + 2. Let h be s(-3). Solve h - 26 = -3*q for q.
5
Suppose -2*l + 3 + 7 = 0. Suppose 3*b + 3*a = 9, -4*b + b + l*a = -9. Solve -w = -b*w for w.
0
Let j(k) = k**2 - 7*k + 8. Let f be j(7). Let c = 5 - 2. Let x be (-1 - 0)/(3/(-21)). Solve -c*l + x*l = -f for l.
-2
Let p be 6/4*8/6. Suppose -3*i - 1 + 19 = 3*y, 2*y + 6 = 4*i. Suppose 2*b + 6*a - i*a - 43 = 0, -3*b = -2*a - 58. Solve -p*f - 3*f + b = 0 for f.
4
Let w(t) = t**3 + t**2 - t - 2. Let v be (0/1 - 0) + 2. Let l be w(v). Solve 1 + l = 3*u for u.
3
Let o = 25 - 20. Suppose 0 = -u + o*u - 4. Solve -u = -3*v + 2 for v.
1
Let v = 53 - 43. Solve -4*k = 2 + v for k.
-3
Let w = 2 - 2. Let x be ((-3)/(-4))/(3/8). Solve n + w*n = x for n.
2
Suppose -6 = -a - 0. Solve 3 = -3*j - a for j.
-3
Suppose -a - 113 = 25. Let r = a - -212. Let j be (-4)/14 + r/14. Solve 12 = j*w - w for w.
3
Suppose -n + 3 = -1. Solve n*k - 25 = -k for k.
5
Suppose -5*l + 18 = -3*l. Suppose -z - l = -4*z. Solve -z*r + 5*r = 2 for r.
1
Let x be (-11)/(-3) - 6/9. Suppose x*o - 3 = -3*i, o + 2 = 1. Suppose 0 = -2*n + i*j + 16, 2*j = -3*n - j. Solve -n*c = c - 5 for c.
1
Let a be ((-2)/(-6))/((-1)/(-6)). Suppose 0 = -g + 4 - a. Suppose -6 = 2*j, -30 = -2*t + g*j - 6. Solve -t = 5*u + 6 for u.
-3
Let n(l) be the second derivative of -l**3/2 - l**2 + 2*l. Let h be n(-2). Let q be 2/h*-1*-4. Solve -q*z - 2*z = -16 for z.
4
Let f(w) = 2*w + 2. Let p(l) = -3*l - 5. Let c(m) = -5*f(m) - 2*p(m). Let n be c(-1). Solve 12 = 4*j - n for j.
4
Suppose 0*q = 5*q - 15. Let x(t) = -t - 2. Let i be x(-5). Suppose -i*r = -8*r. Solve q = b - r for b.
3
Suppose -25*g - 33 = -28*g. Solve 13*v - g*v = 8 for v.
4
Let o be 9*3/(-9)*-2. Solve -3*w - o = -0*w for w.
-2
Let s(j) = 2*j + 6. Let r be s(-4). Let c be 3 + (-2 - r) + -1. Let t = 3 - c. Solve -q - 1 = t for q.
-2
Suppose 4*h = s + 6, 3*s - h - 3 = 1. Solve -s*f = -f - 3 for f.
3
Let r(n) = -n - 6. Let t be r(-6). Let q = -361 - -365. Solve b + 0*b + q = t for b.
-4
Suppose -2*z + 20 = 3*z. Suppose a - z = -0. Solve 5*b - 16 - a = 0 for b.
4
Let f = -32 - -33. Solve 7 = 3*s + f for s.
2
Let b(m) be the third derivative of -m**6/120 - 2*m**5/15 - 7*m**4/24 + m**3 - 5*m**2. Let f be b(-7). Let t be (-1)/((-2)/6) + 1. Solve 2*h - f*h = -t for h.
1
Let f be (-2)/(-3) + (-100)/15. Let l = f - -8. Solve -v = -0*v + l for v.
-2
Let r = -22 - -31. Let c = 50 - 35. Suppose j - c = -4*j. Solve -j*s - 3 = -r for s.
2
Let v be 2 + (1 - (4 - 2)). Let r(x) = -x**3 - 7*x**2 + 8*x + 5. Let f be r(-8). Suppose -3*u = 2*t - 9, f = -5*t + 3*u + 17. Solve -v = -4*o + t for o.
1
Suppose 5*a - 20 = 3*l, 0 = 3*l - a + 5*a - 16. Solve l*k = k for k.
0
Suppose 3*g - 3*q = 1 + 2, 0 = 2*g + q - 5. Suppose g*n = -2*n + 8. Solve -n*s - 10 = -2 for s.
-4
Let q = -56 + 59. Solve q = -2*f - 7 for f.
-5
Let k = -147 + 155. Solve 0 = -k*l + 3*l - 10 for l.
-2
Let n = -4 + 14. Suppose -c + n = -0. Solve -c = 4*y + 6 for y.
-4
Suppose -4 + 0 = -4*r. Suppose r = -2*j + 3. Solve -3*o = j + 14 for o.
-5
Let h(w) = -w**3 + 13*w**2 + 15*w - 10. Let l be h(14). Solve -7 + l = r for r.
-3
Let w be (0 - 1)/(4/(-20)). Suppose -4*s = -s - 12. Solve s*y = w*y + 4 for y.
-4
Let u be (-56)/98*(-8 - -1). Solve -5 + 13 = u*d for d.
2
Let n(b) = -3*b**3 + b**2 - 1. Let c = -9 + 8. Let p be n(c). Solve -1 = 4*q + p for q.
-1
Let c(l) = l**3 - 4