 o(u) = u**2 - 9*u + 3. Let f be o(9). Suppose -9 = -4*s + 2*i + 35, 2*i = -4. Suppose -2*n = f*n - s. Solve -2 = -2*k + n for k.
2
Suppose 3*z - 12 + 0 = 0. Let o be 6/4*24/18. Suppose 56 = 6*r - o*r. Solve -z*p - r = 2 for p.
-4
Suppose -3*r + 5*m + 16 = 0, 2*m = -2*r - 3 + 19. Solve 15 = 2*u - r*u for u.
-3
Suppose -5*g + 4 - 4 = 0. Solve -v - 1 + 4 = g for v.
3
Let y(x) = -x**2 + 7*x - 4. Let o be y(6). Suppose -63 = -4*g + s, 0 = -o*g + 4*g - s - 31. Solve 5*q - q - g = 0 for q.
4
Let a be (-1)/3 - 4/(-12). Suppose a*q + 4*q = 0. Suppose -2*p + 9 = y, q*y = -5*p + 3*y + 17. Solve -10 = -p*i + 2 for i.
3
Let h(t) = t**3 + 10*t**2 + 9*t + 3. Let f = -4 + -5. Let v be h(f). Suppose -v*m + 4*m - 2 = 0. Solve 0 = m*i - 8 + 2 for i.
3
Let x = -24 + 22. Let r(c) = c - 1. Let g(m) = m - 7. Let s(d) = g(d) - 4*r(d). Let u be s(x). Solve -4 = u*k - 13 for k.
3
Let k(t) = -t**3 - 5*t**2 - 7*t - 6. Let d be k(-4). Suppose 4*v = 25 + 47. Solve 3*g = d - v for g.
-4
Let d = -17 + 19. Solve 0*g - d*g = 6 for g.
-3
Let i(n) be the first derivative of -n**4/4 + 2*n**3 - 3*n**2/2 - 4*n - 1. Let h be i(5). Solve -h*x + x = -5 for x.
1
Suppose 2*w - 26 = 4. Let x = w - 11. Solve -10 = -9*y + x*y for y.
2
Let b = 6 - 3. Suppose -j + 1 = -6. Suppose 0 = 2*g + 8, 2*g - j = -4*z - 3. Solve -z - b = 2*d for d.
-3
Suppose 2*o - 4*k - 2 = -0, -o - 4 = -k. Let v be 0 + -2*o/(-6). Let g = v + 5. Solve -1 = -t + g for t.
3
Let t = 36 - 21. Solve 0 = 4*j - t + 7 for j.
2
Let s = -69 - -71. Solve 3*y + s = -7 for y.
-3
Let s(k) = -3*k**2 - 10*k - 13. Let j(q) = -q**2 - 3*q - 4. Let p(a) = -17*j(a) + 6*s(a). Let g be p(-7). Solve -7 = -g*m + 9 for m.
4
Let z(s) = -s**3 + 2*s**2 - 1. Let x be z(-1). Solve x*r = r + 3 for r.
3
Let l be (-88)/(-9) - 8/(-36). Suppose 0 = 3*j + 2*j - l. Let p = j - -3. Solve p*k = -5 - 5 for k.
-2
Let o = -10 - -15. Solve -4*a = 1 - o for a.
1
Let g(f) = -f**3 - f + 3. Let b be g(0). Solve 4*s - b = 3*s for s.
3
Let x = -2 - -2. Suppose x*c = -2*c. Let m be (-2)/2*2/(-2). Solve c = 5*z - 4 - m for z.
1
Let n(z) = -z - 6. Let l be n(-8). Let u = l + -2. Suppose i + u*i = 2. Solve -i*a - 8 = 2*a for a.
-2
Let s = 0 + 1. Let j = -1 + s. Suppose -4*m + 5*m - 3 = j. Solve -7 + m = -v for v.
4
Suppose 57*d - 62*d = -30. Solve -d + 2 = 4*z for z.
-1
Let y = -84 + 86. Solve y - 6 = 2*r for r.
-2
Let f = 28 - 26. Solve -f*d + d = 0 for d.
0
Let r(h) = -h - 1. Let m be r(-5). Suppose -m*y = -y - 6. Suppose -d - y*d = -15. Solve 10*t = d*t for t.
0
Let h(t) = 23*t - 2. Let f be h(1). Solve -f = -3*p - 6 for p.
5
Let y be ((-12)/16)/(3/(-8)). Solve i = y*i - 1 for i.
1
Let n = 27 + -10. Let k be 15/20 - n/(-4). Solve -k*i = 22 - 7 for i.
-3
Let h = 14 - 14. Suppose h*o - 3*o + 12 = 0. Solve -3*y = -4*y + o for y.
4
Let i be 2/(-4*4/(-32)). Solve -4*u = -0*u + i for u.
-1
Suppose -2*x - 2 = 4. Let c(j) = -j + 2. Let u be c(x). Suppose 5*m = 4*p - 16, 0 = 2*p + u*m + 2 - 10. Solve -1 - 15 = -p*w for w.
4
Suppose 2 = j, -3*y + 7 = 4*j - 13. Let m = -63 - -67. Solve 2*c - m = y for c.
4
Let d be 7/(7/2) - 0/2. Solve -3*w - 1 = -d*w for w.
-1
Suppose -3 = -x - 3*x - u, -9 = -3*u. Suppose -15 = -2*m + 3*t + 16, -5*t - 25 = 0. Suppose 3*h - m = 2*h. Solve -3*g + g - h = x for g.
-4
Let x be 116/16 + (-1)/4. Let w(v) = 2*v**2 - x - 4*v**2 + v**2 + 0*v**2 - 10*v. Let f be w(-9). Solve f = -2*z + 8 for z.
3
Suppose -m + 3 - 1 = 0. Suppose -3*c - 2*c - 6 = m*h, 5*c + 4*h = -12. Solve -2*k + 2 = -c*k for k.
1
Let u = 5 + -1. Solve j = -u - 1 for j.
-5
Let l(w) = 3*w - 2*w + 1 + 0. Let j be l(3). Let c be 8*2 - (2 - 1). Solve j*h - 7*h - c = 0 for h.
-5
Let p be (-88)/14 + (-4)/(-14). Let u = 53 - 44. Let n = u + p. Solve -n*t = -0*t - 12 for t.
4
Suppose 2*l - m - 1 = 0, 3*m = -l + 2*m - 1. Solve -w - 2*w + 3 = l for w.
1
Let c be 6/15 + 10/(-25). Suppose 5 = -o + 5*q, c = 2*q + q - 3. Solve 2*w - 6*w + 12 = o for w.
3
Let z(i) = i**3 + 6*i**2 + 6*i + 3. Let j be z(-4). Suppose 0 = -3*h - 5*s - j + 3, -3*h = -4*s - 28. Solve -4*c + 0*c + h = 0 for c.
1
Let a(o) = o**2 + 2*o - 3. Let i be a(2). Solve -i*k = -k + 12 for k.
-3
Suppose -4*p - j = -3*p - 1, -2*p = -3*j + 23. Let o be 0/(-1)*(-4)/p. Solve -3*q + o*q = -15 for q.
5
Suppose 3*c + 9 = 3*n, -3*n + 2*c + 15 = 2*n. Suppose n*l = 8*l. Solve l = -3*r - 0*r + 9 for r.
3
Suppose -12 = -2*d - p + 4*p, -d + 6 = 2*p. Let i(u) = -u + 6. Let a be i(d). Solve -g = -a*g for g.
0
Let a be 0/((4/(-8))/(2/4)). Solve -t = 2 - a for t.
-2
Let j(f) = 12*f - 45. Let h be j(5). Solve -5*s = -2*s - h for s.
5
Let w = 0 + 2. Suppose 23 = 5*m - w*m + 2*l, -3*l = -12. Suppose -m*r + 2*k = -7 - 18, 0 = -4*k - 20. Solve -r*n = 2*n - 25 for n.
5
Let b be 3/5 - (-12)/(-20). Suppose 0*m = -4*m. Let y = b + m. Solve y = c - 1 for c.
1
Let z = 5 - 2. Suppose 0 = -t - z*k + 21 - 6, 15 = -5*t + 3*k. Suppose -d - 12 = 3*r, -d = -3*r - t*r - 12. Solve 2*u - u - 1 = d for u.
1
Suppose 0 = 5*g - 3*k - 2*k - 110, -3*g = -4*k - 71. Solve -g = -3*a - 5 for a.
4
Let v(m) = 10*m**2 - 23*m + 7. Let h(g) = -7*g**2 + 15*g - 5. Let t(r) = -7*h(r) - 5*v(r). Let u be t(10). Solve 3*y - 7*y - 16 = u for y.
-4
Let n be (-1)/(-2)*(-15 - -5)*-1. Solve n*b - 3 = 12 for b.
3
Let b(l) = 4*l + 3 - 1 - l**2 - 2. Let f be b(2). Solve -7*m = -f*m - 12 for m.
4
Let b = 0 + 2. Suppose 0 = -0*o - o - b*t + 13, 4*o - 76 = 4*t. Solve 5*u = 2 - o for u.
-3
Let f be 88/12 - (-4)/6. Suppose 0 = m + f - 10. Suppose -m*c - 2*c = -28. Solve o - c = -4 for o.
3
Let m(t) = 2*t - 6. Let c be m(3). Suppose c = -4*n + 2*b + 34, n + n + 4*b = -8. Let g = -31 - -47. Solve -n*q = -2*q + g for q.
-4
Suppose 0 = 5*l - 16 + 16. Solve l*i - 5*i = -15 for i.
3
Let z be 12/((-8)/2) + 0 - -3. Solve 2*j - 7*j - 10 = z for j.
-2
Let i = 15 + -14. Solve -o = 2 + i for o.
-3
Let q(n) = n**3 + 3*n**2 + 2*n + 2. Let z be q(-2). Suppose -3*u = -8*u. Solve u = 2*x + z*x for x.
0
Suppose 0 = -4*t - 6 - 6. Let r = 15 + t. Suppose -l - 5 = b, 15 = -0*b - 3*b. Solve 3*v + 0 - r = l for v.
4
Suppose 2 = -5*p + 22. Let k(r) = -4*r**2 - 4 + 4*r**2 - r**2 + 6*r. Let t be k(p). Solve -t*l = -0*l + 20 for l.
-5
Let a(q) = -q**2 - 16*q + 51. Let r be a(-18). Solve -8*p + r = -13*p for p.
-3
Let t(q) = -q**3 - q**2. Suppose 0*p = -5*p. Let i be t(p). Let n be 1 + -4 + 5 + 0. Solve n*m + 2 + 8 = i for m.
-5
Let z be (-175)/(-15) - (-3)/9. Solve -r = 3*r - z for r.
3
Let p be 0 + -1 - (-2 + 1). Suppose 2*j - 3*f + 5 = p, -11 = -4*j + 6*j - 5*f. Solve -b + j + 0 = 0 for b.
2
Let x(l) be the first derivative of -l**3/3 + l**2/2 + 4*l - 3. Suppose 4*v - 9 = 5*o - 2*o, 3*v = -4*o - 12. Let c be x(v). Solve -8 - c = -4*r for r.
3
Suppose 0 = -3*h + h + 34. Suppose -h - 33 = -2*w. Solve -d = 4*d - w for d.
5
Let b(z) = -5*z**2 + 10*z - 9. Let o be b(6). Let p be o/(-27) + 2/9. Solve -p = -h - 1 for h.
4
Let o(k) = -k + 2. Let g be o(5). Suppose b - 6*b + 15 = 0. Let y be g*(-2 + 4/b). Solve y*n + 4 = n for n.
-4
Let a be (-16 + 16)/(3 + -1). Solve -4*p + 2*p = a for p.
0
Let t = 1 + 3. Suppose n + 1 = t*n - s, -2*s = -n + 2. Let p be 1*(0 - -2)/1. Solve 2*x + n*x = -p for x.
-1
Let t = 30 - 28. Solve t*s - 1 = 9 for s.
5
Suppose -3*q = -0*q + 3. Let j = -1 + 0. Let x be (0 + 2)*j/q. Solve l = -l - x for l.
-1
Let s(x) = x - 1. Suppose 0 = -4*q + 8 + 4. Let u be s(q). Let f be (-51)/(-21) + 3/(-7). Solve f*k - 12 = -u for k.
5
Let a = -31 - -32. Solve 5*m + 4 = -a for m.
-1
Let v(d) = -d**2 - 8*d - 6. Let h be v(-7). Let w be (2 - 2 - h)*24. Let c = 38 + w. Solve -c + 5 = -3*u for u.
3
Let n(q) = -q**3 + 6*q**2 + 7*q + 4. Let y be n(7). Solve -y = 4*v - 0 for v.
-1
Let a = -2 + 15. Let i = a - 13. Solve r - 8 + 3 = i for r.
5
Let t = 4 - -4. Let d = 11 - t. Solve -d*f + 0*f - 6 = 0 for f.
-2
Let h = -21 - -36. Suppose -5*a + c = -c + 30, a = -4*c + 16. Let w be (a - 0)*h/(-4). Solve 7*k = 4*k - w for k.
-5
Suppose -18*a - 22 + 202 = 0. Let h be 11/4 + (-2)/(-8). Solve -h*k + k - a = 0 for k.
-5
Let x be 27*(-6)/(-63)*7. Let k be ((-1)/(-3))/(3/x). Solve 0*v + k*v = -6 for v.
-3
Let u(d) = -d - 9. Let o be u(7). Let p = 18 + o. Solve -p*j = 5 + 5 for j.
-5
Let u = -1 + 20. Let i = u + -12. Let k = i + -4. Solve 5*p + 12 + k = 0 for p.
-3
Let g(u) = -u**2 + 8*u - 6. Let x be g(7). Solve -x = 2*p - p for p.
-1
Suppose 2