. Solve -i = a*o - 0*o for o.
-1
Suppose 4*m - c - 2*c - 11 = 0, 5*m + 2*c = 8. Suppose -4*b + m*t + 10 = 4*t, 3*t - 15 = 0. Solve b = -5*w - 26 + 6 for w.
-4
Let m(f) = -f**2 + 9*f + 7. Let x be m(10). Let c = 1 + x. Let y = c + 5. Solve -2 = y*z + 10 for z.
-4
Let t(s) be the second derivative of s**5/20 - s**4/4 + s**3/3 - s. Let n be t(2). Let x = -9 - -14. Solve -d + n = x for d.
-5
Let t(a) = a**2 - 7*a - 6. Let x be t(8). Solve -h + 4 = -x*h for h.
-4
Let n be 5/(5/2) - -4. Suppose -y - f = 2*y + n, -4*f - 4 = 2*y. Let x(v) = -4*v + 2. Let a be x(y). Solve a = 2*g + 2 for g.
4
Let g = -3 + 5. Suppose 0*d + 10 = g*d. Solve 8 = 3*s - d*s for s.
-4
Let v(a) = -a**2 + 10*a - 6. Let q be v(9). Let b be (2/1 - q)/(-1). Suppose y = -b + 4. Solve -y*n = -6*n for n.
0
Let g = -50 - -58. Solve g = -p + 4 for p.
-4
Let c be 2/(-5)*(0 - 5). Solve 5*w = 18 + c for w.
4
Suppose a - 3*f = 5*a - 13, 0 = -5*a + 3*f + 50. Solve 3 + a = -5*x for x.
-2
Suppose 0 = 4*k - 5*k + 2. Solve 3*z = k*z for z.
0
Suppose 2*f + 3*f - 15 = 0. Let d(g) = -g**3 + 3*g**2 - 2*g + 3. Suppose 0 = -4*o + 6 + 2. Let r be d(o). Solve -f = -0*y - r*y for y.
1
Let y be ((-9)/(-5))/(2/10). Solve 4*z = z + y for z.
3
Let l = -128 + 132. Solve l*o = o for o.
0
Suppose 2 = 2*l + x + 1, -5*l - 3*x + 2 = 0. Solve -l = 5*j + 4 for j.
-1
Let y(i) = i**3 + 6*i**2 + 4*i. Let n be y(-5). Suppose -3*u - 8 = -n*a, -4*a + 3 = -3*u - 1. Solve 12 = 4*h - a for h.
4
Let m(g) = -g**3 + 6*g**2 - 8*g + 3. Let x be m(5). Let c be (-2)/x + 22/12. Solve i - c*i - 5 = 0 for i.
-5
Let y be (5/2)/((-2)/(-12)). Let g be (-33)/(-15) + (-3)/y. Solve 3*u - 4*u = g for u.
-2
Suppose 4*d + 103 - 291 = 0. Suppose 3*g + 17 - d = 0. Solve t = 3*t - g for t.
5
Let b be 5/(-35) - (-1)/7. Solve b = -0*g + 4*g for g.
0
Suppose 30 = 17*c - 2*c. Solve -c*x + 5*x = 9 for x.
3
Let h = -10 - -6. Let d be 25*((-16)/10)/h. Suppose d = 3*q + 2*q. Solve 4*x + q + 18 = 0 for x.
-5
Suppose 0*t = -t. Solve -y + 0 + 1 = t for y.
1
Suppose 89 = -4*j + 101. Suppose -19 = -5*n + 6. Let r = 0 + 0. Solve j*x - n*x - 2 = r for x.
-1
Suppose -b + 25 = -4*w, -w - 2*b - 10 = -b. Let u be w/(-3) - (-1)/(-3). Solve 6*n - 20 = u*n for n.
5
Let t = 74 + -71. Solve -t*w - 25 = -8*w for w.
5
Suppose 5*k - 37 = -3*l, -k - k = -4*l + 6. Solve l = 4*q - 2*q for q.
2
Let r(v) = v + 2. Let g be r(-2). Let i(b) = 3*b**2 - 2 + g*b**2 - b**2 - 2*b. Let p be i(3). Solve p = 6*y - y for y.
2
Suppose -3*y + 21 = -3. Let n = -8 + y. Suppose 0*c - 5*c + 15 = n. Solve 0 = c*w - 2*w + 4 for w.
-4
Suppose 1 = -5*h + 26. Let i(w) be the third derivative of -w**5/60 + w**4/4 + 7*w**3/6 + 2*w**2. Let n be i(h). Solve 2*b = 6*b - n for b.
3
Let o = 24 + -34. Let t be 4/o*115*-1. Suppose -3 = 4*f - 2*s - 31, -5*f + t = 3*s. Solve -5*b + f = -12 for b.
4
Let w(c) = c + 13. Suppose 2*g + 58 = -5*p, -p = -2*p - 4*g - 26. Let o be w(p). Suppose r + 22 = o*h + 2*h, -h + r = -2. Solve 0 = -2*b + h*b + 6 for b.
-2
Suppose 5*i + 24 = -26. Let c = -6 - i. Solve 8 = -c*l + 2*l for l.
-4
Suppose 5*x - 11 = -3*s, -4 = -x - 3. Solve 0 = d - s*d for d.
0
Let a(w) be the first derivative of 3*w**2/2 - 5*w + 4. Let d be a(5). Let j = 3 + d. Solve 5*c + 3 - j = 0 for c.
2
Let t(y) = y**2 + 5*y + 2. Let n be t(-5). Let b be (-4)/(-1)*n/4. Solve 0 = b*u + 2*u for u.
0
Suppose 3*i + 87 = 5*t, -5*i + 8*i - 48 = -4*t. Suppose -1 - 3 = -2*k. Solve 7*v + t = k*v for v.
-3
Let u be 2/(2 - 0) + 14. Suppose 8 = 5*o - o. Suppose o = -3*m + 17. Solve 4*t + m = -u for t.
-5
Let q = 4 + 3. Let y be 2/q + (-36)/(-21). Solve y*r - 6 = -0 for r.
3
Suppose 3*x - q = 11, 7*q - 2*q + 10 = 0. Suppose x*k = k. Let c be 1 - (-3 + (-1)/(-1)). Solve c*f + 3 + 6 = k for f.
-3
Let c be 36/(-42)*((1 - 11) + 3). Solve c*w + 5 = w for w.
-1
Let y = -7 + 7. Let q be 13 + -5 + y/2. Solve q = -3*d - d for d.
-2
Suppose 2*m = -5*n + 10, -4*m + 4*n - 1 = 7. Solve -5*r + 10 = -m*r for r.
2
Let h(r) = -r**2 - 8. Let o be h(-4). Let g = -18 - o. Solve -g*c + 3*c = -6 for c.
2
Let p(q) = -q**3 + 5*q**2 - 5*q + 3. Let n be p(3). Suppose -9 = -4*w + 3*l + 15, n = w - 4*l. Let y be -3 - 8*(-3 - -2). Solve -y*i - w = 4 for i.
-2
Let j = 2 + 0. Let w be j + (-2)/(-2 + 0). Suppose -4*i + w = -5. Solve -3*u = -i*u - 4 for u.
4
Suppose -3*b = z - 29, z - 12 = b - 3*z. Solve -y - 3*y - b = 0 for y.
-2
Let n(i) = i**2 + 12*i + 20. Let h be n(-10). Solve t + h = -2 for t.
-2
Suppose 2*l - 1 - 3 = 0. Suppose 5*s - 6 = -n + 2, 4*s - 3*n - 14 = 0. Suppose s*f + 6 = 7*f + 3*a, 2 = a. Solve 10 = l*g - f*g for g.
5
Let b(v) = -v**3 + 8*v**2 + 3. Let k be b(8). Suppose 2*u - k = -2*s - 5, -4 = u + 4*s. Let i(o) = o**3 - o**2 + 1. Let d be i(u). Solve -w = -0*w + d for w.
-1
Suppose -3*v + 27 = q, -5 = 2*q + 3*v - 50. Solve -3 = -5*o - q for o.
-3
Suppose 3*m + 5*p - 4 = 13, p - 5 = -m. Solve -7 = -3*x - m for x.
1
Let o(m) = m + 2*m + 1 - 2*m + 6. Let z be o(-6). Solve 0 = -3*t + z - 4 for t.
-1
Suppose 2*w + 0*w = 4*a + 18, 6 = w - a. Solve -w*t + 25 = 2*t for t.
5
Suppose -u - 4*m + 34 = 0, -2*u = 4*m - m - 78. Suppose 0 = 5*n - 2*n - u. Solve 4*f + 6 - n = 0 for f.
2
Let h = -22 + 24. Solve -7*p = -h*p for p.
0
Let m be (-4)/(-3)*3/2. Suppose -k = -0*k - 6. Solve s + m*s - k = 0 for s.
2
Let d be (-2)/((-1)/(-3) + -1). Suppose -87 - 53 = -2*b. Suppose -5*h = v - 32, -5*v + 0*h = -5*h - b. Solve 4*j + d = -v for j.
-5
Let z be 0 + 3 + 2 + -4. Let x = 3 - 4. Let f = z + x. Solve -4*b - 20 = -f*b for b.
-5
Suppose 0*h + 3*j + 15 = -2*h, 20 = -4*h - 4*j. Let s be (-2 - -4)/4*h. Solve s*o = -2*o + 10 for o.
5
Let c = 63 - 56. Solve 0 = -p + 3 - c for p.
-4
Suppose -3*v + 5*k = 9, -4*k + 6 = -4*v + v. Solve 3*j + v = -4 for j.
-2
Let p(g) = -g**2 + 2. Let c be p(2). Let k be (c + 3 - 1)/(-2). Solve 6*l - 2*l - 4 = k for l.
1
Let l be (-200)/(-5)*2*(-1)/(-5). Solve l - 4 = 3*p for p.
4
Suppose 0*k = -2*k + 4. Solve 2 = -k*w - 0 for w.
-1
Suppose 0 = 2*w - 42 + 38. Solve -w*h = h + 3 for h.
-1
Let y be 1/(4*(-3)/(-60)). Solve y*r = -0*r + 20 for r.
4
Let r(h) = h**3 + 3*h**2 - 4*h + 5. Let w be r(-4). Suppose 2*g - 25 = -2*j - 3*j, -4*g = j - 5. Solve -5*d + 0 - w = g for d.
-1
Suppose -5*m + 20 = -5*w, -3*m - 9 = 4*w - 35. Solve -2 = -q - m for q.
-4
Let v = 9 + -8. Let s be 5*(v - (-12)/20). Solve -s = 3*b + 1 for b.
-3
Let d = -1 - -2. Suppose l + 3*q + 0 = d, -17 = -4*l + q. Suppose k = -l*g - k + 46, -3*k + 9 = g. Solve -s = -5*s + g for s.
3
Let d = -9 - 14. Let z = d + 33. Solve 2*v = -0*v - z for v.
-5
Let a be 6/9*3*-1. Let l be (-130)/(-5) + (0 - a). Let g be (-8)/l - (-284)/14. Solve -3*d = d - g for d.
5
Let d = 3 - 3. Solve d = -9*n + 4*n for n.
0
Let u(p) = 4*p + 3. Let y be u(3). Let s be (-33)/y + 2/10. Let k be 2 + -1 - (0 + s). Solve 0*r = k*r + 9 for r.
-3
Let m = -10 - -12. Suppose 5*c - 12 = f + 3, -7 = -3*f + m*c. Solve -3 = -2*k + f for k.
4
Let t(o) = 3*o**2 + 2*o - 2. Let h be t(1). Solve -3*f + 0 = h for f.
-1
Suppose l + 1 = 11. Solve 3*b + l = 1 for b.
-3
Let m(w) be the first derivative of -2*w**4 - w**3/3 - 2. Let k be m(-1). Solve -g - 2 + k = 0 for g.
5
Suppose 0 = 8*t - 10*t. Let l = -1 + 4. Solve t*c + l = 3*c for c.
1
Let v be (-6)/(-3 - -1)*-1. Let g be (-2)/v*3 - -5. Solve 3*k = g*k - 20 for k.
5
Suppose -3*z - 4*f = -2*z + 14, 5*f + 37 = 2*z. Let s be ((-9)/z)/((-3)/4). Solve s*c - 2 = 2 for c.
2
Let p = 86 + -86. Solve 4*i = 4 - p for i.
1
Let z be ((-2)/4)/((-1)/4). Suppose 0*n = -z*n. Solve 2*q + 1 + 3 = n for q.
-2
Let r = 6 - 3. Let s = r - 1. Solve 3*p - 3 = s*p for p.
3
Let i be 24/(-8) + 1 + 14. Suppose i = 3*l - 0*l. Let r be 6/(-12) - (-62)/l. Solve 7*u = 2*u - r for u.
-3
Suppose -2 - 4 = -2*u. Let t = -8 - -10. Suppose 0 = -u*z - b + 28, 0 = -5*z + 3*b + t*b + 60. Solve p + p = -z for p.
-5
Let q(h) = 3*h + 6. Let f be q(4). Suppose 2*a + 3 = 3*b + 2*b, b = 5*a - 50. Let m = f - a. Solve 1 + m = -4*d for d.
-2
Suppose 5*t + 5 = 0, 3*k + 4 = 4*t + 20. Suppose -k*y = -5*y + 3. Solve -2*d - 5 = -y*d for d.
5
Let r(u) = u**2 - 10*u - 6. Let d be r(11). Let x be (-6)/(-21) - (-24)/14. Suppose z = d*h + x, 3*h - 4 = -2*z - h. Solve y = z*y + 5 for y.
-5
Let s(n) = n**3 - 7*n**2 + 9*n - 1. Let g be s(6). Let f = 25 - g. Solve -6*j + f = -2*j for j.
2
Let s(g) = -2*g**2 + 3*g + 12. Let x be s(3).