. Let x(b) = -6*b + 13. Let m(w) = 4*u(w) + 3*x(w). Let i be m(9). Suppose 0 = p - 2. Solve i*s = -p - 3 for s.
-1
Let a be (-1)/((-2)/6) + -1. Suppose a = 2*d - 8. Solve -d = 5*y - 0*y for y.
-1
Let d(i) = -2*i - i**3 - 2 + 1 - 2*i**2 + 0*i**2. Let z be (-1)/(-3) + (-4)/3. Let s be d(z). Solve 5*r - 15 = -s*r for r.
3
Let f = -57 - -58. Solve 0 = 4*d - 3*d - f for d.
1
Let r be (8 - 9) + (-5)/((-5)/3). Solve w + r = -w for w.
-1
Let t = 19 - 17. Suppose 0 = -3*u - t*u + 15. Solve 0 = 2*b + u*b + 10 for b.
-2
Let b be (-203)/(-58)*8/7. Let c be 1/(-2)*(2 - 2). Solve c = 4*s - 12 - b for s.
4
Let t be 0/((-4)/(-2 + 0)). Suppose 3*n - 6 = -t*n. Suppose 0 = 2*w, -y + 3*w - 1 + n = 0. Solve y = 5*u + 6 for u.
-1
Let l be (-2)/8 - 34/(-8). Let k(f) = f**3 - 5*f**2 - 8*f + 1. Let c be k(6). Let h = 16 + c. Solve h*d - l*d = 0 for d.
0
Let t(k) = -k**2 + 3*k - 1. Let s be t(1). Suppose s = -2*l + 15. Solve o - l = -2 for o.
5
Let f(k) = k**2 - 5*k - 9. Let w be f(7). Suppose 0 = o - w*o. Solve 3*i + 0*i = o for i.
0
Let a(d) = -d + 12. Let p be a(5). Suppose 1 = -4*u - p. Let g be -2*u/(-4)*-4. Solve -3*i = -g*i for i.
0
Suppose -n + 0*n = -2. Suppose 2 = n*t - 6. Solve -1 = -t*u - 9 for u.
-2
Suppose 12*j - 55 = 41. Solve -k = 12 - j for k.
-4
Let s = 0 - -2. Suppose 0 = s*n + 1 - 3. Solve -19 = -5*q + n for q.
4
Suppose 24 = 2*m - 0*l + 4*l, -3*l = -4*m + 15. Solve -n = 2*n + m for n.
-2
Let l(f) be the third derivative of 0 + 1/120*f**6 - f**3 + f**2 - 1/12*f**4 + 0*f + 1/12*f**5. Let u be l(-5). Solve 0 = -5*t + u*t + 2 for t.
2
Suppose g = 4*g - 12. Let j be 1/(3/(-6) + 1). Suppose -5*a + 2*v + j = 0, 2 = a + 2*a - v. Solve a - g = -2*t for t.
1
Let t(s) = s - 3. Let u be t(4). Let z = -1 + 5. Let f be z + 1 - 0/(-1). Solve 2*g - f = u for g.
3
Suppose t - 3 = -2*t. Let b be (1 + 0)/(t/5). Solve 2*w - 3*w = -b for w.
5
Let h = 1 - -2. Let g be (h/(-6))/((-5)/30). Solve u + 10 = g*u for u.
5
Let p = 5 - 7. Let v be 6/4 - (-11)/p. Let s = -4 - v. Solve s*a + 2 = a for a.
2
Let w be (-1)/3 + (-14)/(-6). Let q = w - -8. Solve 0*d - 5*d = -q for d.
2
Let v(q) = 2 + 3*q - 5*q + 0*q + q. Let g be v(2). Solve -4*t - 5 + 21 = g for t.
4
Let f be 4/14 + 122/14. Let k be (-20)/(-5)*(-3 - -1). Let h be (-13)/(-3) + k/24. Solve g + h = f for g.
5
Let y(x) = -2*x - 7. Let r be y(-6). Suppose -r*i = -0*i. Suppose j + 3*j - 4 = i. Solve -f = -2 - j for f.
3
Suppose 14*x - 14 - 14 = 0. Solve -9 = -m - x*m for m.
3
Let x = 9 + -6. Suppose -4*z + 3*z + 4*v = -21, -z - 14 = 3*v. Solve -x*b = z + 2 for b.
-1
Let w(o) = -o**3 - 6*o**2 - 5*o + 2. Let g be w(-5). Suppose 0*j = g*j. Solve -6*z + 3*z - 9 = j for z.
-3
Let k = 9 - 8. Let c = k - -2. Solve -d + c = -0*d for d.
3
Suppose 3*d + 4*z = 6*z + 11, -d + 4*z + 7 = 0. Solve 13 - 1 = d*s for s.
4
Let h(n) = n**2 + 1. Let v be h(2). Let s = 32 - 16. Suppose v*x - x - s = 0. Solve x*q = 2*q + 8 for q.
4
Let g = 6 + -4. Suppose -g*m = 2*m + 3*j - 12, -18 = -5*m - 3*j. Suppose 8 = m*r - 5*r. Solve -s + 3*s = -r for s.
-4
Let g(s) = -3*s**3 - s**2 + 1. Let o be g(-1). Suppose 2*y + o*y - 15 = 0. Solve -2*h - y*h = -5 for h.
1
Suppose c + 0*c = 2. Solve 4*l + 6 = -c for l.
-2
Suppose -3*r + 8 + 10 = -3*d, 2*d - 6 = -4*r. Solve -1 + 13 = r*a for a.
4
Suppose -r + 4 + 0 = -5*u, -17 = -2*r + u. Suppose -3*z = -3*i - 2*z + 13, z = 2*i - r. Solve n = -3*n - i for n.
-1
Let w = 77 - 69. Solve w + 12 = -5*q for q.
-4
Let g = 4 - -4. Solve 3*s - g = s for s.
4
Suppose 4*g = 3*g + 7*g. Solve g = -2*y + 1 - 9 for y.
-4
Suppose 0*c - 2*w + 19 = 3*c, -3*c + 14 = w. Solve -s = -4*s - c for s.
-1
Let b be 9/2*44/99. Solve -25 = b*k + 3*k for k.
-5
Let o(r) be the first derivative of 4*r**3/3 + 2*r - 1. Let d be o(3). Let u be d/14 + 2/7. Solve u*m = -m + 16 for m.
4
Let d(a) = -a**3 + 11*a**2 + 11*a + 14. Let s be d(12). Solve 0 = n - 3*n + s for n.
1
Suppose 5*l + 2 = 17. Let z be (-2 + 4)/(l/6). Let d(w) = -w**2 - 10*w - 8. Let y be d(-8). Solve j - y = -z for j.
4
Let p(g) = g**2 + g - 7. Let m be p(-7). Let c be (-2)/4 - m/(-14). Suppose 4*y + y = 0. Solve 2*u = -y + c for u.
1
Let u be 36/6*1/2. Solve u*j - 6 = 5*j for j.
-3
Let l(i) = 2*i + 3 - 2 - 2 + 9*i**2. Let a be l(1). Solve -6*p - a = -p for p.
-2
Suppose a - 2 = 0, 0*a + a - 2 = -d. Solve 5*m - 2 - 3 = d for m.
1
Let q be (-8)/(-10)*(1 + 4). Suppose y - 10 = -q*y. Suppose 0 = -4*w - 4*g + 12, g + 2*g - 8 = -y*w. Solve 4*v + w = 5*v for v.
1
Let p = 0 - -2. Let b(n) = n**2 - 7*n - 2. Let t be b(8). Solve v - t = -p*v for v.
2
Suppose 3*x + 5*d - 3*d = 0, -2*d = 5*x. Solve -4*n + 2*n = x for n.
0
Let n = 0 + 3. Suppose -p = -n + 2. Let k be (1/(-3) + 1)*3. Solve -b + k = -p for b.
3
Let i be (-10)/(3 - (-7)/(-2)). Solve 3*o = 8*o - i for o.
4
Let o(q) = q + 4. Let n be o(0). Let r be (n/(-6))/((-4)/18). Solve -r*h + 12 = h for h.
3
Suppose 0 = q + 2*q - 9. Suppose q*o - 1 = -5*b, -7 = -b - 2*o - 4. Let n = b - -3. Solve -n*f + 2 = -0 for f.
1
Let s = 39 + -59. Let g be s/8*(-4)/2. Solve 14 = -g*l - 1 for l.
-3
Suppose -9*x + 260 = 4*x. Solve -v - 3*v - x = 0 for v.
-5
Let s = 1 - -3. Solve 4*n - 2*n = -s for n.
-2
Let i(p) = -6*p - 3. Let a be i(-3). Suppose 0 = -3*k - 2*r + 17, k = -5*r + a - 5. Solve -2*s - k = -3*s for s.
5
Suppose -c - 4 = -3*c. Solve c*r + 9 = 3 for r.
-3
Suppose 0 = -0*u + 4*u + 36. Let q = 14 + u. Let h be -10*(-2 + (-2)/4). Solve q*p - h + 5 = 0 for p.
4
Let s(y) = 4*y - 3. Let u be s(2). Solve u*g + 0*g = -10 for g.
-2
Suppose 3*c = 5*v + 11, 3*c - 4*v = -0*v + 16. Let b be ((-16)/c)/((-1)/3). Suppose 5*i - 31 = -2*j, -6 = -b*i + i + 3*j. Solve -i*f - 3 = -28 for f.
5
Let x(w) = -w + 3. Let v be x(-2). Solve -v*h = -h for h.
0
Suppose 4*w - 2*w = 4*z, 4*w - 3*z - 5 = 0. Solve w*t + 3*t + 10 = 0 for t.
-2
Let f(x) = 3*x + 5. Let q(b) = 6*b - 1. Let t be q(1). Let h be f(t). Solve z + h = -4*z for z.
-4
Suppose -2*k - 24 = -4*k. Let y = k + -2. Let u(j) = j**2 - 1. Let v be u(1). Solve v = -4*l - l + y for l.
2
Let o(n) = n + 2. Suppose 5*a + 20 = a - 5*x, 0 = x + 4. Let b be o(a). Solve -b*u = u + 3 for u.
-1
Suppose -b - 2 = c, -5*b - 2*c - 18 = -10*b. Solve b*z = -z - 6 for z.
-2
Suppose 2*n = -2*n. Let k be 9 - 4 - (n + 0). Suppose -35 = -c + k*q - 7, 5*q = -25. Solve -i - c*i = 16 for i.
-4
Let c(u) = -u**3 + 10*u**2 + 11*u + 3. Let o be c(11). Suppose 1 = r - 0, o*r = 2*y - 13. Solve -2*f = -0*f - y for f.
4
Suppose 6*b = 14*b - 56. Solve 3*i = b*i for i.
0
Suppose 17 = 3*o - 4*l, -5*o - l + 20 = 7. Let r = o + -9. Let w be r/(0 - 3/10). Solve 0*i + w = -5*i for i.
-4
Let a be 1*7/((-14)/12). Let i(k) = 5*k - 3*k - 3*k - 4. Let t be i(a). Solve -15 = t*u + u for u.
-5
Let v = -71 - -78. Solve -v = -2*h - 3 for h.
2
Let d = 59 - 57. Solve 7*s = d*s + 20 for s.
4
Let w(k) = -k**3 + 8*k**2 + 11*k - 10. Let u be w(9). Solve 2*z + 2*z + u = 0 for z.
-2
Let p be 0 + (3 - 6) + 8. Let z = 1 + 2. Solve p*i + 28 = z for i.
-5
Suppose 0*m + 16 = 4*m. Suppose 4*v - 26 = -i + 17, 5*i + 49 = m*v. Solve -4 = -3*g + v for g.
5
Suppose o + 12 = 2*o. Let t = -4 + o. Solve -12 - t = 5*j for j.
-4
Suppose -6*o + o + 32 = 2*k, -3*o = 4*k - 22. Suppose 4*d - o = 10. Solve 0 = d*j - 2*j - 2 for j.
1
Suppose 2*c = 3*m + 6, c - 2*c + 3 = 5*m. Solve m*u = u for u.
0
Let a(z) = -z - 2. Let t be a(-4). Solve -20 = -t*q + 6*q for q.
-5
Let w(y) = 3*y**2 - 7*y + 5. Let o be w(4). Suppose -o = -3*d - 2*d. Solve -d*a - 10 = -3*a for a.
-5
Let m = 141 + -141. Solve l = -m*l for l.
0
Suppose -27 = -16*f + 13*f. Solve 4*v - v = -f for v.
-3
Let r be (2 - 3)/(-1) + 1. Solve r*m + 3 = 5*m for m.
1
Suppose -3*c + 6*f = 3*f - 63, -2*c + 41 = -3*f. Solve -3 = -5*y + c for y.
5
Suppose -4*d + 5*y - 20 = 0, 3*d - 20 = 4*y - 9*y. Let t = -6 + 7. Solve d*m + t = m for m.
1
Let i = -65 + 67. Solve 0 = -i*j + 9 + 1 for j.
5
Suppose 0 = -3*s - 0*s. Suppose 3*y - y - 90 = s. Suppose y = 2*r + r. Solve q - 6*q = -r for q.
3
Suppose 8 = 4*u, -3*h + 2*u = -7*h + 8. Let r be (1 + (1 - h))*4. Suppose -5 = -r*a + 7. Solve -a*w + 5 - 2 = 0 for w.
1
Suppose -11 = -2*m - 3. Suppose -4*c + 3*h = -20, 0 = -c - 0*c + m*h + 5. Suppose -c*t = -2*t - 15. Solve 0 = 2*y + 3 + t for y.
-4
Let w = 6 - 1. Suppose w*g + 4 = 24. Solve g*p = p + 12 for p.
4
Let s be (-8)/10*15/(-6). Let n be 0/(-3 + 3 + 2). L