2). Solve -t*o + 0*o = s for o.
0
Suppose 0 = y - 14 - 1. Solve y = 4*x - 1 for x.
4
Let t(q) be the second derivative of q**3/6 - 2*q**2 + 2*q. Let n be t(2). Let r be (-4*(n - -1))/2. Solve -o - 5 = -r for o.
-3
Let z be 87/27 + 8/(-36). Let x(y) = -y**3 - y**2 - 2*y. Let o be x(-3). Suppose -o = -5*w - p + 5*p, -4*w + 12 = -5*p. Solve -w = r + z*r for r.
-2
Let y(d) = -d - 1. Let q be y(-5). Let p = -5 + 14. Solve u + p - q = 0 for u.
-5
Let g be (-8)/(-1) - 7/(28/(-12)). Solve -31 = 4*o - g for o.
-5
Suppose -4*v - v = 0. Suppose z = -v*z + 34. Suppose -z - 6 = -5*k. Solve -c = c + k for c.
-4
Let p be (-3 - 0)/(-6)*-22. Let l = p - -18. Solve -2*k - 3 = -l for k.
2
Let r = 11 + -19. Let f = -8 - r. Solve f*n - 4 = -n for n.
4
Suppose 2*n - 16 = -5*m, 0 = m + 3*m - 3*n + 1. Suppose 0 = 2*d - m. Suppose -g + d = -2. Solve -4 - 8 = g*a for a.
-4
Let x(p) = -2*p**2 + 2*p + 2. Let v be x(2). Let s be (-1)/(v/14) + 1. Solve -1 - s = -3*g for g.
3
Let d = 7 - 7. Suppose 7 = -5*v + 37. Solve -3*x = -d - v for x.
2
Suppose -u + 6*u - 25 = 0. Suppose m - u = -1. Solve m*i - 3*i = 3 for i.
3
Suppose 4*o = 4, 5*o - 19 = -5*q + o. Solve -4*n + 4 = -q*n for n.
4
Let h be 2/6*-3*-5. Solve h = 5*y + 10 for y.
-1
Let y be 0 + -1 + (-7)/((-28)/8). Solve 2*a - 5 = -y for a.
2
Let f = 7 - 9. Let n be 0*(-1 - 0) - f. Solve -n*t + 4*t - 10 = 0 for t.
5
Let w(d) = d**2 - 4*d + 3. Let o be w(4). Suppose -r + 8 = o*r. Solve -r*u + 7*u = -15 for u.
-3
Suppose t - 6*t = 0. Let k(x) = x**3 + 2*x**2 - x + 2. Let f be k(-2). Suppose -f*m = -t*m - 12. Solve -4*h + 3*h = -m for h.
3
Suppose -2*c + 14 - 2 = 0. Let p be (2 - -2) + (1 - 1). Solve p = -2*z + c for z.
1
Let p(l) = -l - 1. Let f be p(-3). Suppose -2*u - 2 = -4*u + b, 0 = -5*u + b + 2. Suppose -2*i + 3 = g + i, u = 2*g + 3*i - 6. Solve -g*z - f*z + 15 = 0 for z.
3
Suppose -14 - 25 = -i. Suppose 5*w - i = -0*q - q, -2*w = q - 18. Solve w*m = 3*m + 4 for m.
1
Suppose 0 = 3*g - g. Suppose -3*i - 4 = -5*s - g*i, 4*i + 10 = 2*s. Let k = s + 1. Solve k = -4*j - j - 10 for j.
-2
Suppose -k = k - 2*c - 4, 2*c = k. Suppose -4*b + 3*d = -2*d - 15, -12 = 5*b + k*d. Suppose -q + 3 = -b*q. Solve h = q*h for h.
0
Suppose 5 = -5*x + 10. Solve v - x = -2 for v.
-1
Suppose -3*m - 1 = -0*a - a, -56 = -5*a - 2*m. Solve 5*t + 0 + a = 0 for t.
-2
Suppose -x - 4*x + 15 = 0, s + 5*x - 24 = 0. Let m be (24/s)/((-1)/(-18)). Suppose 6*w - m = 3*w. Solve 0 + w = 4*p for p.
4
Suppose 4*v = -v + 10. Let l be 0 + v - -1 - 1. Solve -l = s - 0*s for s.
-2
Suppose 0 = -m - 12. Let u be -1*(-1 + (5 - 1)). Let d be u*2/m*0. Solve d = 2*c - 1 - 1 for c.
1
Suppose 3*w = -2 + 14. Suppose w = j - 9. Let l(z) = -z**3 + 14*z**2 - 12*z - 11. Let x be l(j). Solve -2*m - x*m + 8 = 0 for m.
2
Let u = -34 - -34. Solve h = 1 - u for h.
1
Suppose -o - p + 0 + 4 = 0, 3*p - 7 = 2*o. Let d(c) = c + 0 - o + 11. Let v be d(-8). Solve 0*g = v*g for g.
0
Let f be (-5)/(1 - 3 - -3). Let y = -5 - f. Let j = 8 - 6. Solve -m - j*m = y for m.
0
Let x(u) = -u - 3. Let o be x(-5). Solve o*n = -2*n for n.
0
Let m = -4 + 6. Solve -m*s = -2 - 0 for s.
1
Let w(o) = -2*o**2 + 4*o + 3. Let c(i) = i**2 - i - 1. Let a(l) = 3*c(l) + w(l). Let b be a(-4). Solve -d = 2*d + b for d.
-4
Let s(i) = -i**2 - 9*i - 6. Let o be s(-6). Let l be 10/4*o/10. Solve -4 = u - l for u.
-1
Let i(j) = 3*j. Let y be i(1). Suppose -l + 56 = y*l. Solve -3*f - l = -2 for f.
-4
Let q be 11/((-2)/(8/(-2))). Suppose -3*n + q + 2 = -4*h, 4*n - 3*h - 25 = 0. Solve 10 = -n*r + 2*r for r.
-5
Let v(y) = -y - 4. Let a be v(-6). Solve -a*u = 3*u for u.
0
Let t = 0 + 3. Let q = 3 - t. Solve q = 4*n - 5 - 7 for n.
3
Let z(m) = -m**3 - m**2 - 5. Let t be z(0). Let k(x) = 0*x - x + 6*x**2 + x**3 + 5*x - 5 + 0*x. Let g be k(t). Solve -7*j + 2*j - 25 = g for j.
-5
Let r = 135 + -132. Solve 0 = -l - r*l - 8 for l.
-2
Let v = 3 - 1. Let l = -4 - 2. Let o = l - -11. Solve v*d - o*d + 15 = 0 for d.
5
Let m = -1 - -5. Let y = 12 + -8. Let l be y - (0 - (1 - 0)). Solve l*r + m = -1 for r.
-1
Let w be 12*(-1)/(-4 + 0). Solve -7 = -w*a - 1 for a.
2
Let p be (4 + -10)*(-1)/2. Suppose 3*y + 6*n - 3*n - 3 = 0, -3*n + p = 5*y. Solve t + 1 - 2 = y for t.
1
Let y(u) = 2*u**2 + 9*u - 6. Let t be y(-6). Let d be -2 + 4*(-1 - -2). Solve l + d*l - t = 0 for l.
4
Suppose 5*j + 0*j = 0. Suppose 0*n + 40 = 5*n + 4*k, -3*n + 4*k - 8 = j. Solve n*u + 20 = -0*u for u.
-5
Suppose z + 2 - 3 = -2*y, -3*z = -4*y - 13. Solve z*d + 2 = -1 for d.
-1
Let u = -52 + 77. Solve 6*d = d + u for d.
5
Let z(o) = 2*o**2 + 6*o - 15. Let v(m) = -3*m**2 - 9*m + 22. Let n(j) = -5*v(j) - 7*z(j). Suppose 2*g + 3*g + 35 = 0. Let f be n(g). Solve -4*b - f = -3 for b.
-5
Suppose 2*t - 3*t = -5. Suppose 3*w = 5*w. Solve -i = -w*i + t for i.
-5
Suppose m - 2*m + 2 = 0. Let l = 2 - 2. Let i = l + 0. Solve i = -m*y - y for y.
0
Suppose 3*c - 24 = 51. Solve 2*r = -3*r + c for r.
5
Let c(k) = k**3 + 5*k**2 + 2*k + 4. Let b be c(-5). Let n = b - -10. Solve 20 = n*v + v for v.
4
Let a(b) = 6*b**2 + b + 1. Let o be a(-1). Let r = 23 - 23. Solve r = 2*f + f - o for f.
2
Let g be (-119)/(-42) + (-2)/(-12). Solve 2*o = -g*o for o.
0
Let c be (10/4)/((-2)/(-4)). Suppose 0 = -5*t + 20, 0 = -0*w + c*w - 2*t - 12. Solve w*y + 7 = -1 for y.
-2
Let l be (-4)/14 + 20/70. Solve y + 0*y = l for y.
0
Let g be 3 + (2 - (0 + 3)). Suppose l = -g*f + 3, -4*f = l - 7 - 4. Suppose -4*o + 52 = -f*i, o + 5*i + 1 = 2. Solve -6*r - 15 = -o*r for r.
3
Let q = 2 + -2. Suppose 5*n - 5 = 5. Solve n*g + q = -6 for g.
-3
Let u be (-32)/24*(-4)/((-32)/(-102)). Solve 20 = -13*o + u*o for o.
5
Suppose -4*x = k - 2, -5*x + 0 = -5*k + 10. Suppose 0 = 2*o - x*o - 26. Let v be 4/14 - 38/(-14). Solve -v*y + 2 = -o for y.
5
Let d(g) = g**3 - 6*g**2 - 6*g - 7. Let c be d(7). Suppose c = s - 3*r + 5*r, 3*s - r - 7 = 0. Solve -6 + s = -w for w.
4
Let i = -109 + 113. Solve i*s - 2*s + 8 = 0 for s.
-4
Let r = -8 + 19. Let w = 15 - r. Solve 4*t = 2*t - w for t.
-2
Suppose -10 = -i + a, -4*i - a = -0*a - 65. Solve -5 = 4*t + i for t.
-5
Let t be (-4)/6 - 24/(-9). Suppose -3*s + 9 = 4*w, 0 = s - w + 2*w - t. Let y be 1/s*(-4 + -1). Solve -y*r = 24 - 4 for r.
-4
Let n(l) = -5*l - 1. Let u(z) = -14*z - 2. Let q(p) = -17*n(p) + 6*u(p). Let h be q(7). Solve 0*s = 4*s + h for s.
-3
Let t(p) = p**3 - 8*p**2 - 8*p + 3. Let m be t(9). Let f(o) = o - 15. Let v be f(m). Let k be 1*4 - 9/v. Solve -k*i - 8 = -3*i for i.
-2
Suppose 5 = -5*v + 55. Solve v + 5 = -5*h for h.
-3
Suppose 0 = 2*i - 0 - 4. Suppose 5*x + o = 14, -x - 14 = -4*x - i*o. Suppose -2*b - 6 = -4*b. Solve -x*m - b + 5 = 0 for m.
1
Let k(b) = -b - 4. Let q be k(-6). Suppose -4*s - i + 8 = 0, 4*s - 2*s - q*i - 4 = 0. Solve -n - 2 = -s*n for n.
2
Let k(g) be the first derivative of 2*g**2 + 4*g - 1. Let r(l) = 9*l + 9. Let d(v) = -14*k(v) + 6*r(v). Let a be d(-3). Solve 5*y = a*y for y.
0
Suppose 0 = -5*q - 2 + 7. Let z be q/2 - 6/(-4). Suppose 0 = 5*s - s - 8. Solve -n - s = z for n.
-4
Suppose 2*o - 2 = -0*o. Suppose 6*x - 20 = -5*b + x, 4*b - 4*x - 24 = 0. Let d be (o - 1)/(b + -3). Solve -2 = 2*v - d*v for v.
-1
Let s = 9 + -7. Let p be s + 4/6*3. Let x(l) = -l**3 + 9*l**2 - 7*l - 2. Let o be x(8). Solve p*y - 6 = o for y.
3
Let b be 90/70 + (-2)/7. Let n be 4 + b + (1 - 1). Solve -3*k + 8*k - n = 0 for k.
1
Let h be ((-12)/10)/(3/(-20)). Suppose 2*y + 0*y - h = 0. Suppose y*o = o + 15. Solve -c - o + 1 = 0 for c.
-4
Suppose 1 = -2*s + 5*q, -4*q + 0 = -3*s + 2. Suppose -s*y + 3 = o, 2*y - 12 = y - 4*o. Solve y = 2*i - 6 for i.
3
Suppose -2*w = -3*w + 3. Suppose -4*z = 5*t - 19, w*t - 6 - 8 = -5*z. Solve t*s = 8 + 1 for s.
3
Suppose 4*w - 4*k - 28 = 0, -40 = -5*w + 2*k - 14. Solve -g = g + w for g.
-2
Suppose 0*g - 5*g = 0. Suppose g = 3*h + 1 - 13. Solve -h*b = b for b.
0
Let l be 15/5 - (2 - -1). Solve l = 2*f - 0*f + 8 for f.
-4
Let p be 0/(-1 + 4 + -2). Solve -u = -p*u for u.
0
Let l(m) = m. Let f be (-2)/1*6/(-4). Let j be l(f). Suppose -2*o + 0*o + 16 = 0. Solve 0 = j*r - o - 1 for r.
3
Suppose 8*l + 46 = 10*l. Solve 0 = -h - 18 + l for h.
5
Let n = 38 + -33. Solve 3*b = -2*b + n for b.
1
Suppose -3*j = 4*l - 6 - 9, -j - 3*l = -5. Suppose -j = -2*y + 3. Solve y = -0*h + 2*h for h.
2
Suppose 2*u - 3 + 5 = 0, 4*u = -4*v + 8. Let d(f) = f**3 + 6*f**2. Let w