o.
-3
Let n = 88 - 78. Solve -30 = 5*w - n for w.
-4
Let h = -4 + 4. Solve 2*c + h*c = -10 for c.
-5
Suppose -2*o - 5*c - 27 = 0, 3*o = 3*c - 5 - 4. Let f be ((-2)/3)/(1/o). Suppose -3*m = -4*x - 21, -2*m = -3*x - 15 - 0. Solve f = -m*v + 1 for v.
-1
Let p(v) = v**3 + 4*v**2 + 3*v + 2. Let i be p(-3). Suppose -m = -i*m + 3. Solve -5 = m*r + 4 for r.
-3
Let j(n) = -4*n + 16. Let m be j(4). Solve -3*y + m*y = -15 for y.
5
Suppose -3*t + 119 = 119. Solve 0 = -t*w - 2*w - 4 for w.
-2
Let b(r) = -2*r**3 - 2*r**2 + 2*r. Let x be b(-2). Solve 3*n + 4 = x*n for n.
4
Suppose -5*c - 5*h = -6 - 24, -c - 5*h = -14. Let d = c + 1. Suppose -23 = -4*q + d*a, 4*q - 4*a = q + 18. Solve q*z + 3 = -z for z.
-1
Let n = 8 + -3. Solve -12 + 2 = n*x for x.
-2
Suppose 3*h - 47 = 2*s, -h = 4*h - 15. Let x be (-780)/(-190) + 2/s. Solve -x = 2*z + 2*z for z.
-1
Let u(h) = h**2 + 9*h - 1. Let t be u(-6). Let n = t - -24. Solve -n*x + 0*x = 0 for x.
0
Suppose 5*i - 5*q = 20, 0 = -3*i - 9*q + 4*q - 12. Suppose 4*y + 0*y = -2*o - 4, -3*o + 3*y + 12 = 0. Solve 0 = -o*j - i - 5 for j.
-3
Let g = 14 - 6. Let o be 8/(g/20*5). Solve -q - o = -0*q for q.
-4
Suppose -11*y = -8*y - 12. Suppose -6*d = -d - 2*k - 42, 2*d - 5*k = 21. Suppose -2*m = 4*a - 5*a + d, -6 = 2*m. Solve 2*g - y = -a for g.
1
Let k(d) = 2*d + 1. Let c be k(2). Suppose 7*m + c*x = 4*m, 0 = 3*m + 3*x. Solve r - 2 - 2 = m for r.
4
Let p be (4/(-1*2))/(-1). Let c be 10*3/12*p. Solve -20 = 3*v - c for v.
-5
Let c(p) = -p**3 + 7*p**2 - 5*p - 2. Let r be c(6). Let o = -54 - -54. Solve o = -5*k + 6 + r for k.
2
Let f = 3 + -2. Suppose -2*l + 5*m = -f - 4, -5*l - 2*m + 56 = 0. Let g be (-4)/(20/(-6) - -2). Solve -g*t - l = 2*t for t.
-2
Suppose 47*z = 43*z + 120. Solve 5*i + z = 5 for i.
-5
Suppose -4*q - 25 = 3*t, -3*t + 5*q - q = -7. Let a be -2 + 6 - (7 + t). Solve -u - 3*u - 16 = a for u.
-4
Suppose 0 = -0*u + 4*u. Let d = 3 - u. Suppose -2*z = a + d - 2, a - 1 = -z. Solve 0 = -h + a*h for h.
0
Let f = 50 + -27. Solve -f = -4*x - 3 for x.
5
Let y = 2 + -4. Let x be -2*(2 + 5/y). Let t be 2 + (14 - x) + 0. Solve 0*s - 5*s + t = 0 for s.
3
Suppose -8*d = -9*d + 4. Solve -2*y = 2*y - d for y.
1
Let k(m) be the second derivative of m**4/12 - 3*m**3/2 + m**2 + 2*m. Suppose -4*y + 18 = -2*y. Let w be k(y). Solve -4 = -o - w for o.
2
Let t(n) = n**2 - 6*n - 11. Let b(o) be the third derivative of 5*o**4/24 - o**3/6 - 2*o**2. Let v be b(2). Let k be t(v). Solve -s - 3*s = -k for s.
4
Let f(v) = 3*v + 5. Let a(y) = -y + 1. Let l(u) = -2*a(u) - f(u). Let o be l(-7). Solve z = -o*z + 4 for z.
4
Let k = -17 + 22. Suppose -k*x = -x. Solve -5*h + x*h = 10 for h.
-2
Let v(t) = t**2 + 3*t - 4. Let g be v(-5). Let h = g + -4. Solve 0 = -4*f + h*f for f.
0
Suppose 4*g = -2*r - 8, 2*g + 4 + 0 = 4*r. Let x = g + 8. Let c be (1*x - 2) + -2. Solve c*v = -0*v for v.
0
Let a be (-50)/(-15) - 2/6. Solve 3*o - 12 + a = 0 for o.
3
Let s(f) = -2*f**2 - 8*f + 26. Let i be s(-6). Solve 0 = i*m - m - 3 for m.
3
Let w = 70 + -67. Suppose 2*p + 24 = 5*p. Solve -m + p = w*m for m.
2
Suppose -2*q + 3*q = 0. Suppose -3*v - 18 = -3*t, 3*t + q - 17 = 2*v. Let u = t + 3. Solve 3*z - 4 = u for z.
4
Let i be (-4)/(-6)*(11 - 8). Solve i*z - 6 + 0 = 0 for z.
3
Suppose 3*b + 4*w - 154 = b, -b + 3*w + 92 = 0. Suppose 0 = 5*k - b + 23. Solve 0 = 5*t - t + k for t.
-3
Let h(t) = t**3 + 5*t**2 - t + 7. Let p = 9 - 14. Let w be h(p). Solve -2*f - f = w for f.
-4
Let y(t) = t + 8. Let j be y(-6). Suppose j*w + 0*w - 8 = 0. Let d(a) = -a**3 - 14*a**2 + 16*a + 20. Let k be d(-15). Solve 21 + w = k*h for h.
5
Suppose -5*r + 15 = -2*r. Let x be 0*(-3 - -4)*1. Let w(h) = -h**2 + 5*h + 1. Let z be w(3). Solve x = -r*u - 8 - z for u.
-3
Suppose -4*y = 5*f - 5, 3*f + 2*f - 40 = 3*y. Let q(i) = -i - 2. Let o be q(y). Solve -3*t + o = 9 for t.
-2
Suppose 25 = 5*t - 3*j, t + t + 2*j = -6. Solve -z + t*z = -3 for z.
-3
Suppose -3*r + 42 = 3. Let f = r - -9. Suppose -2*u - 5*z + f = 0, 4*u - 18 = -3*z - 2. Solve i = -3 + u for i.
-2
Let s be -1 - (-1)/((-1)/(-15)). Let p be (-4)/14 - (-74)/s. Let r = 7 - p. Solve 20 = -r*f - 2*f for f.
-5
Let z(d) = d**3 - 4*d**2 + 3*d. Let m be z(6). Suppose 5*v - 120 = k + 30, -3*v + k = -m. Suppose -v = -a - a. Solve 0 = -2*h + 5*h + a for h.
-5
Let i(f) = 6*f - 43. Let j be i(8). Solve 3*t = 2*t + j for t.
5
Let g(a) = a**3 - 4*a**2 - 4*a + 5. Let k be g(5). Let n(y) = y**3 - 7*y**2 - 6. Let c be n(7). Let p be (-24)/k*20/c. Solve -p = 4*z - 0*z for z.
-2
Let z(t) = 4*t**3 - 2*t**2 - 4*t + 4. Let i(l) = -3*l**3 + 3*l**2 - 3 + 3*l - 3 + 1. Let m(u) = -3*i(u) - 2*z(u). Let j be m(5). Solve -o + j = -1 for o.
3
Let z be 42/3 - 1 - 1. Let x = z + -8. Suppose -34 = -2*a - b, -b - 26 = 4*a - 6*a. Solve a = x*s + s for s.
3
Let l be (-2 + 3)*(-20 - -2). Let y be 1/3 + l/(-27). Solve 5*h + y = -4 for h.
-1
Let i = 31 + -27. Solve 12 = -0*h + i*h for h.
3
Let l(v) = v**3 + 6*v**2 + 5*v + 2. Suppose 0 = 2*r - 5*r - 15. Let z be l(r). Solve 0 = 5*b - z*b - 12 for b.
4
Let i = -11 - -4. Let f = 2 - 12. Let a = i - f. Solve 1 + a = 4*q for q.
1
Suppose -5 = 2*a - 7. Solve 2 = -i + a for i.
-1
Let w(d) = -d**3 + d**2 - 1. Let n(j) = 13*j**2 - 4*j**2 - 5 - 8*j**3 - 4. Let t(p) = -4*n(p) + 36*w(p). Let c be t(-1). Solve 3*m = c*m - 1 for m.
1
Suppose s = -s + 4. Solve -q - s = -2*q for q.
2
Let j = -17 + 20. Solve j*s - 5 = -2 for s.
1
Let d = -178 + 186. Suppose 12 = 3*q - 9. Solve -3*f - q = d for f.
-5
Suppose 2*h + 25 = 5*n + 4, -3*h = 9. Suppose -n*v + 3 = 3*l, -2*v + 0 = -2. Solve l = 2*t + 2 - 0 for t.
-1
Suppose -2*i + 4*t = -4*i + 24, 3*i - 3*t = 0. Suppose -s = -2*s - i. Let z be s + 2 + 1 + 1. Solve 2*q - 3*q + 3 = z for q.
3
Suppose -4*y - 3 = -23. Suppose -w - 6*q + y = -q, 4*q = 4. Solve 7*b - 2*b + 10 = w for b.
-2
Let g(q) = q**2 + 13*q - 11. Let f be g(-14). Suppose -f*s = 2*l - 7, s - 4*l - 23 = -2. Solve s*m - m - 16 = 0 for m.
4
Suppose 10 + 56 = 11*y. Solve -8 = -2*s + y*s for s.
-2
Suppose -j + 18 = -3*j. Let t be -18*6/j - -3. Solve 4*c - t = -c for c.
3
Suppose 18 + 6 = 6*v. Solve v*a - 2*a - 4 = 0 for a.
2
Suppose -12 - 8 = -q. Suppose 0 = 3*l - 3*t + 7 + 5, -5*l = 5*t - q. Let s = l - -4. Solve n - 5 = -s*n for n.
1
Suppose -m + 2*m = 4. Suppose 0*p - m = -2*p. Solve -4 = p*v - 4*v for v.
2
Let a = -5 - -5. Let n = a + 2. Solve -n*j + 8 = -4*j for j.
-4
Suppose -m + 23 = 5. Let a = m + -10. Solve 0*n = 2*n + a for n.
-4
Suppose -9*q + 4*q + 15 = 0. Let m be 2/q - (-16)/12. Solve -k = m*k for k.
0
Suppose 0*z + z = 13. Let w = z - 9. Solve -4*o - 12 - w = 0 for o.
-4
Let i be 15/6 + 3/6. Suppose 2 = 3*a - s, -18 = -2*a - 4*s + 2. Suppose -t - a*t = -24. Solve -n = i*n + t for n.
-2
Suppose -2*y + 10 = 0, -17 = -3*l - 5*y + 20. Suppose -7 = -l*q + 65. Solve -4*x + q = 2 for x.
4
Suppose -1 + 29 = 4*i - 4*q, -2*i - 5*q = -14. Solve -2*g + 1 = -i for g.
4
Let c(w) = -w**2 - 2*w. Let q be c(-2). Suppose q = 5*m, -5 = -p - 2*m - 1. Solve -p*v = -v - 9 for v.
3
Let g(f) = -2 - 4*f + 0*f - f. Let h be g(-2). Let d be 17/4 - 9/(-12). Solve h = -d*p + 3 for p.
-1
Let o be (2*-3)/(-2 + 1). Let h = -2 + o. Suppose 4*z - 2*z = h. Solve z*g - 1 = -9 for g.
-4
Let k be (-74)/(-14) + 22/(-77). Let h = -3 + k. Solve -2*g = h*g for g.
0
Let v(z) = -4*z**2 + 34*z - 11. Let x be v(8). Solve x*o - 8*o - 9 = 0 for o.
-3
Let s be (-2 + 0)/(3/(-6)). Suppose p - 3*f - 6 = -0, -2*f - 4 = -p. Solve -s*k = -p*k - 12 for k.
3
Suppose 13 = 2*w - 11. Let s = 17 - w. Let n = 7 - s. Solve n*v - v = -3 for v.
-3
Suppose 3*l + 2*l = 2*a - 84, 0 = 3*l - 3*a + 54. Let g = -54 - -78. Let m = l + g. Solve m*y - 12 = 5*y for y.
4
Suppose -5*n = 3*v - 12 - 22, n - 14 = -3*v. Let d(a) = a**2 - a - 6. Let t be d(v). Solve t = -0*o - o + 2 for o.
2
Let l be 0/(5 + 2 + -5). Solve -z + l*z = 1 for z.
-1
Let j(l) = -l**3 + l**2 + l - 1. Let f be j(1). Solve -5*o = -f*o + 15 for o.
-3
Let d(o) be the second derivative of o**4/12 - 7*o**3/6 - 3*o**2 + 2*o. Let t be d(8). Suppose -5*j = -t*j. Solve j*l - 1 = -l for l.
1
Suppose -3*w + 3 + 0 = 0. Solve -w = -0*r - r for r.
1
Suppose -2*o + 24 = 3*i, 2*i + 8 = 3*i - 3*o. Suppose -f = -3*f + i. Let a = 7 - 5. Solve 4*p + f = a*p for p.
-2
Suppose 5 = 3*b - 2*t - 3, -b + 1 = t. Suppose v - b*v = 0. Solve -p = -v*p for p.
0
Let 