uppose -22 = -j*w + 3. Suppose a + 3*a + 18 = -d, 0 = 2*d + w*a + 21. Solve d - 6 = 2*y for y.
-2
Let z = 13 + -11. Solve -z*h = h - 6 for h.
2
Let h(z) = -3. Let i(c) = -c - 12. Let p(r) = 9*h(r) - 2*i(r). Let s be p(3). Solve -a - s + 0 = 0 for a.
-3
Suppose -9*y + 11*y = 10. Solve 0*s + y = 5*s for s.
1
Let i(c) = -c**3 + 5*c**2 + 7*c - 2. Let f be i(6). Solve f*b + 10 = 2 for b.
-2
Suppose -3*j + 5*t = 61, -2*t + 18 - 64 = 2*j. Let u = j + 37. Solve 2*a - u = -a for a.
5
Let a be 3*(-2 - (-16)/6). Solve 0 = a*w - 3 + 1 for w.
1
Suppose 4*b - 5 - 5 = -2*i, -5*b + 3*i + 29 = 0. Solve b*a + 8 = 2*a for a.
-4
Let p(h) = h**3 + 5*h**2 + 4*h + 3. Suppose -4*c + 2*x - 7 - 1 = 0, -5*c = -5*x. Let w be p(c). Solve -2*y + w*y = -1 for y.
-1
Let g = -4 - -6. Suppose -p + 1 = 3*z - g*p, -4*z + 5*p = -5. Solve z = -b - 3*b for b.
0
Let h = -7 - -10. Suppose -i + 2*i - 4 = -k, -2 = -4*i + h*k. Solve w - i = -1 for w.
1
Let i = -32 - -36. Solve i*p - 3 = 3*p for p.
3
Suppose -5*v + 5*p = -5, -5*p = -v - 7*p + 7. Solve 0 = -d - v - 1 for d.
-4
Let c(p) = 3*p - 30. Let t be c(15). Solve -3 = 3*n - t for n.
4
Let c(p) = p**2 + 4*p. Let u = -3 + -1. Let v be c(u). Solve -i - 4*i - 5 = v for i.
-1
Suppose -3 = -0*o - o. Let n(v) = v + 2. Let s be n(o). Solve -3 = 2*q + s for q.
-4
Let d(h) be the first derivative of -h**4/4 + 2*h**3 + 7*h**2/2 + 2*h + 5. Let k be d(7). Solve 6 - k = j for j.
4
Suppose 0 = -5*c + 4*k + 10, 2*k = -2*c - k + 4. Solve 0*t - t + c = 0 for t.
2
Suppose b = 5*b. Suppose b*p - p + 1 = 0. Solve 4*l - 3 - p = 0 for l.
1
Let i(f) = 4*f**2 - f. Let d be i(-1). Suppose v = -v + 4. Suppose 7*p = v*p + 75. Solve 0*w - p = d*w for w.
-3
Let n(k) = -k**3 - k**2 + 2. Let u be n(0). Let d = u - 2. Let r be (-4)/3*(-6)/2. Solve -16 + d = -r*f for f.
4
Let k = 3 + -3. Let x = 3 - 4. Let t = k - x. Solve -2 = -3*u + t for u.
1
Suppose i + 3*m + 1 = 0, -7 = 4*i - 3*i + 5*m. Solve 0 = -3*j + 2 - i for j.
-2
Let c(r) = r**2 - 11*r + 28. Let g be c(7). Let v be 2/(-1*2) + 11. Solve -5*t = -g + v for t.
-2
Let q = 21 - 17. Solve 0 = -0*v + 2*v - q for v.
2
Suppose 2*x + 2*q + 18 = 4, -3*q = -5*x - 3. Let u = x - 3. Let r be ((-3)/u)/((-2)/(-16)). Solve 9*j + 20 = r*j for j.
-4
Suppose -2*a + 5 = -1. Suppose -10 = -5*w - q + 21, 2 = 2*w + 3*q. Solve 0 = -w*z + a*z - 16 for z.
-4
Suppose 0 = -t - 4*t + 10. Let l(d) = -d + 8. Let u(a) = a**2 + 5*a + 1. Let n be u(-6). Let f be l(n). Solve -t*c - 5 = f for c.
-3
Suppose 2*d - 4*d + 4 = 0. Solve 6 = -d*z + 4 for z.
-1
Let t(k) = k**3 + 2*k**2 - 5*k - 2. Let i be -4 + 3 + 2 + -4. Let y be t(i). Solve -y*u + 15 = 3 for u.
3
Let q = -12 + -5. Let b = -17 - q. Solve 2*n + n = b for n.
0
Suppose -4*g + 18 = -g - 3*j, -4*j = -2*g + 18. Solve -g*r + 5*r = 4 for r.
2
Let v = 6 - 3. Let u(n) = -n**3 + 6*n**2 + 9*n + 3. Let a be u(7). Solve -v = 4*i + a for i.
-5
Suppose 0 = 5*u + 2*r - 22, -3*u + 2*r - 14 = -6*u. Suppose u*p = p + 21. Suppose -3*c + 11 = i, 2*c + p - 1 = 2*i. Solve 0*s = i*s - 10 for s.
2
Let k be (-3)/7 + (-150)/(-105). Solve -p + k = -1 for p.
2
Suppose -3 = 2*s - 3*s. Suppose 5*b - 5 = -3*d - 0*d, -2*b - 19 = -s*d. Solve -2 - 3 = d*u for u.
-1
Suppose 2*p = 3*a - 3*p - 12, -3*p = -4*a + 27. Solve -j + 4*j = a for j.
3
Let q be 2 - (0/(-2) - 2). Let a be (-10)/(-3)*6/q. Let u be ((-3)/(-5))/(2/10). Solve -u - 7 = -a*v for v.
2
Let m(j) = 21*j - 2*j + 3*j. Let f(d) = -d. Let b(s) = 3*f(s) - m(s). Let k be b(-1). Solve 8*h - 3*h - k = 0 for h.
5
Let t(f) = f + 2. Let c be t(2). Let l be ((-2)/c + 1)*0. Let s be 60/3 - (-1 + 2). Solve l = -4*i - 1 - s for i.
-5
Suppose 2 = 5*c + 22. Let y be (-1)/c + (-57)/(-12). Solve -12 = y*v - 2 for v.
-2
Suppose 0 = 6*r - 2*r - 160. Solve 5*n + r = 15 for n.
-5
Let k = 6 + -3. Suppose -l + 4*i = -15, -12 = k*i + i. Solve t + 1 = l for t.
2
Suppose 0 = -5*p + 5*q + 48 - 8, 18 = 3*p - q. Solve p*g = g - 20 for g.
-5
Let k = 6 - 1. Let b(j) = -3*j**2 + 3*j - 4. Let z(l) = 3*l**2 - 2*l + 3. Let t(w) = k*z(w) + 4*b(w). Let p be t(1). Solve 0*c - p*c = -8 for c.
2
Let a(x) = -x + 12. Let d be a(10). Solve 9 = u + d*u for u.
3
Suppose -2*y - 2*p = 10, -4*y - 6*p = -p + 25. Suppose -10*c + 5*c = y. Solve -2*v = -c*v - 4 for v.
2
Suppose q = -3*q + 12. Suppose q*c = -7 + 28. Solve -3*u = -c*u - 20 for u.
-5
Suppose -3*y + 45 = -0*y. Solve y = -5*d - 10 for d.
-5
Let g = 2 + 13. Solve -5*o = -2*o - g for o.
5
Let l = 45 + -45. Solve -h - 3*h = l for h.
0
Suppose -3*w = -w. Solve -7*u + 2*u - 25 = w for u.
-5
Let z(q) = q - 3. Let a be z(2). Let s be (8 - 6)*(-1)/a. Solve -2*b - s*b = -16 for b.
4
Suppose 0 = -4*j - 3*g + 20, -3*j + 1 + 1 = -g. Solve 6 - 4 = -j*f for f.
-1
Let i(c) be the third derivative of c**6/120 - c**5/20 + c**4/24 - 2*c**2. Suppose g = 6 - 3. Let n be i(g). Solve -n = 5*x + 7 for x.
-2
Let d be (-12 - -6) + -1 - -11. Let f(w) = w**2 + 5*w - 5. Let a be f(-6). Solve -d*g + a = -11 for g.
3
Suppose -q - f + 7 = -2*f, 0 = 4*q - 5*f - 32. Suppose 0 = -k + 2*m - 10, 9 + 1 = -2*k + 2*m. Solve q*j = -k*j + 3 for j.
1
Suppose -j + 4*j + 3*v - 30 = 0, 5*v - 15 = 0. Let x(l) = l**2 - 4*l + 3. Let n be x(4). Suppose 3 = n*q - 3. Solve j = q*u + 1 for u.
3
Let h(f) = -5 + 7 + f**2 + 5*f + 3. Let l be h(-5). Solve 2*m + l = -3*m for m.
-1
Let m be (-3)/(-4)*(-16)/(-12). Solve -m = -v + 1 for v.
2
Suppose -b = r - 13, -b - 6 = 3*r - 15. Let x be (3 + -3)*2/(-2). Suppose x = 3*a - 4*c - 11, 3*c = -3*a + 23 - 5. Solve 0*p = a*p - b for p.
3
Suppose -3*r - u + 12 = 0, -r - 5*u - 5 = r. Solve r*l - 9 = -24 for l.
-3
Suppose -u = 5, q + 0*q = 4*u + 22. Suppose -2*i = q - 6. Solve -4*j = -6*j + i for j.
1
Let g(h) = -2*h**2 + 2*h + 29. Let m(o) = o**2 - o - 1. Let b(k) = -g(k) - 3*m(k). Let q be b(0). Let f be (-3)/9 - q/6. Solve -f*w + w = 0 for w.
0
Suppose 3*j + 0 = 6. Solve v - 3 = -j for v.
1
Suppose -3*t = 15, 3*t + 9 = -d - 6. Solve 4*s - 12 = -d*s for s.
3
Let u(d) = 2*d - 10. Let x be u(6). Solve x = -4*w - 2 for w.
-1
Let a be 4/2*3/2. Suppose 0 = -b - x + 18, 0*x - a*x + 15 = 0. Solve -4*i = -7 - b for i.
5
Let k(j) be the first derivative of j**2/2 + 3*j + 1. Let w be k(-3). Let v(m) = -m**2 + m. Let g be v(w). Solve g*n + n = -1 for n.
-1
Let y = -20 + 23. Solve -y - 1 = 2*k for k.
-2
Let a(p) = p - 4. Let f be a(7). Let j(w) = w**2 + 1. Let x be j(f). Solve 3*g = -5 - x for g.
-5
Let a(p) = -p + 7*p - 5*p**3 + 4*p**2 + 4*p**3 - 2. Let t be a(5). Solve -o = -2*o - t for o.
-3
Suppose -r - 5 = -3*u, -r + 3*r - 2 = 0. Suppose 23 = 5*b - 2*i, 5*i + 3 = -5*b - u. Solve -b*f - 15 = -0*f for f.
-5
Let w(z) = -z**3 - 7*z**2 + 6. Let b be w(-7). Suppose 12 + 3 = 3*u. Solve -u*j = -1 + b for j.
-1
Suppose 3*m - 14 + 2 = 0. Suppose -3*q + 0*c - 3 = -4*c, -3 = m*q - 5*c. Solve q*k + 16 = -k for k.
-4
Suppose -5*m - 2*w + 5 = 3*w, -m - 3*w - 7 = 0. Suppose 88 = 5*y - 4*l, -m*y + 5*l - 2*l + 86 = 0. Solve -2*s - y = 2*s for s.
-4
Suppose 1 + 11 = 4*s. Let o(t) = 2*t - 6*t**2 - 2*t + t**3 - 7*t. Let a be o(7). Solve 3*g + 0 - s = a for g.
1
Let k be -3 + (-42)/(-3) + -3. Let q be 30/k + 3/12. Let o be (q/(-5))/(4/(-20)). Solve -o*z - 3 = -z for z.
-1
Let n(s) = 9*s**2 + 1. Let q(x) = x**3 - x**2 - 2*x - 1. Let u be q(-1). Let i be u/((-2)/(-2) + 0). Let z be n(i). Solve -z + 1 = -3*d for d.
3
Let b = -96 + 96. Solve 0 = -b*j + 5*j for j.
0
Suppose 9 - 1 = 2*o. Suppose -5*n + 0*g + 4 = g, 4*n - g + o = 0. Solve 4*t = -n*t + 8 for t.
2
Let t(b) = 5*b + 11. Let g(y) = -3*y - 6. Let r(u) = 7*g(u) + 4*t(u). Let k be r(0). Solve 0 = 2*f - 0 + k for f.
-1
Let n(a) = 7*a + 1. Let o be n(-1). Let f be (-3)/6*o*1. Suppose 0 = -f*i + 7*i. Solve i = -0*g + 5*g + 25 for g.
-5
Suppose 21 = 3*m - 3*d, 4*m - 27 = 3*d + 2*d. Suppose -m = -2*k - 0. Solve -k*s - s = -5 for s.
1
Let h be (-92)/6*6/(-4). Let k be h/7 - 16/56. Solve -s - 16 = k*s for s.
-4
Suppose 3*f = 2 + 1. Let o = f + 3. Solve g - o = -g for g.
2
Let w(f) = -f**2 - 6*f - 6. Let i be w(-6). Let h = i + 10. Let z(v) = v**3 - 21*v**2 - 23*v + 24. Let j be z(22). Solve h*n + j = 3*n for n.
-2
Let q = 10 + -10. Suppose -6 = -3*b - 3*r, -2*b + 5*r + q = -4. Suppose -4*z + 4*s + 4 = 0, -3*z = -0*s - s - 9. Solve -b*j = 10 - z for j.
-3
Suppose 5*t = 2*g + 54, -g + 6 = t - 2. Solve 0*c - t = -5*c for c.
2
Suppose -2*u + 3*y 