1 = -x. Suppose -x = 2*t - 9. Let c be t/(-12) - 2/(-8). Solve c*w + 4*w + 12 = 0 for w.
-3
Suppose 0 = 2*w + w - 3, -3*m = -5*w - 19. Suppose -a + 0*a = -m. Let y(u) = -u + 10. Let q be y(a). Solve q*k + 8 = -0*k for k.
-4
Let u = -168 + 167. Let f be 2/(-4) + 2/(-4). Let m be 2*u/(f - 0). Solve m*j = 7*j for j.
0
Let g be (-6)/4 - 12/(-8). Let h(s) = s + 3. Let a be h(g). Solve -q + 5 - a = 0 for q.
2
Suppose n + 11 = 3*q, 0 = 4*q - 5*n - 0*n - 22. Solve q*c = -2 + 5 for c.
1
Suppose -v + 2*r = -3, 4*v = 2*v - r + 6. Solve -k - v*k = 12 for k.
-3
Suppose 4*r - 1 = 11, 5*a - 3*r = 71. Solve -3*p = -7*p + a for p.
4
Let s be 1/2 - (-36)/8. Solve q = -0*q + s for q.
5
Suppose -y - 5 = 5*g, -y + 3*g = -3*y - 31. Let w be 8/y - 6/(-15). Solve w = -4*z + 5*z for z.
0
Let h(t) = 4*t**2 - 2*t + 1. Suppose x + 5*z + 4 = -2*x, -4*x + z = -10. Let u be h(x). Solve u = 3*o - 2 for o.
5
Suppose 0 = -3*o + 4*o - 2*j - 13, 4*o - 46 = 5*j. Let n(b) = 5*b - 2. Let m be n(1). Suppose 2*s = 2*v - 0*v - 8, -4*s = m*v - 5. Solve o = -v*r + 3 for r.
-2
Suppose -2*k = 3*d - 1 + 31, 52 = -5*d - 4*k. Let t = -6 - d. Solve t*g = -0*g - 2 for g.
-1
Let m be (-6)/4*(-8)/3. Suppose 0 = -n + 2*n - m*q + 12, -4*q = 2*n - 36. Solve z - n + 3 = 0 for z.
5
Suppose 0 = -3*h - 4*o + 26 - 0, -h = o - 7. Let k = 2 - h. Let w = -20 + 35. Solve k = 4*d - d + w for d.
-5
Suppose 3*p - 5*s - 54 = 0, 4*p - 2*s + 52 = 138. Suppose -3*a + 5 = -2*g + p, 5*a - 27 = -3*g. Let b = g - 4. Solve -b - 11 = 4*o for o.
-4
Let w = 11 - 8. Let p be (w + -2)*0 + 5. Let a be (2/p)/(2/20). Solve a*g + g = -5 for g.
-1
Let p(h) = h**3 + 5*h**2 - 4*h + 5. Let r be p(-6). Let g = 7 + r. Suppose -4*b - 13 = -33. Solve -i = -g*i - b for i.
5
Let v(c) = -c**3 - 5*c**2 - c + 7. Let q be v(-5). Solve 4*b - q = b for b.
4
Suppose 0*h = -3*h + 9. Suppose 6*r - 2 = r - 3*w, w = -h*r + 2. Solve r = q + 2 for q.
-1
Suppose -10*x + 4*x + 18 = 0. Solve x*t - t = 0 for t.
0
Let v(s) = 10 + 6*s + s - 8*s - 1. Let q be v(7). Solve u + 9 = -q*u for u.
-3
Suppose -2*k - 3*k = n - 5, -2 = -4*n - 2*k. Solve -s - 3*s = n for s.
0
Let y(s) = s**2 + 2*s + 1. Let h be y(-5). Suppose -3 = -z - 1. Suppose 4*n = z*n. Solve -g + 5*g + h = n for g.
-4
Let r be -4*(-1)/(-2) + 3. Suppose -4*y + 7 = 5*p, 4*y - 28 = -p - r. Let m(w) = w**3 - 9*w**2 + 8*w. Let l be m(y). Solve 0*d - 4*d - 4 = l for d.
-1
Let s(q) = -q**2 - 7*q - 6. Let a be s(-5). Suppose -5*x + h = a*h - 74, -5*h - 90 = -5*x. Suppose 4*z - x = -3*k + k, -10 = 3*z - 4*k. Solve 0*u - z = u for u.
-2
Suppose -v - 2*z = -9, -3*z - 45 = -5*v - 4*z. Solve -4*l - v = 11 for l.
-5
Suppose 5*l + 2*y - 18 = 0, 5*l - y = 2*y + 23. Solve -l*t - 25 = t for t.
-5
Let q(t) = -t - 12. Let m be q(-12). Solve c + 2*c + 3 = m for c.
-1
Suppose 0 = -p - 1 + 6, -4*l + 25 = 5*p. Suppose 0 = -l*w + 5*w - 10. Let j = w - 2. Solve 2*r - 4*r = j for r.
0
Let g(c) = -2*c**2 + 39*c - 9. Let l be g(19). Solve l = -d - d for d.
-5
Let n = -5 - -5. Solve n = s - 3*s + 8 for s.
4
Let i = 74 + -74. Solve -g + 3*g - 8 = i for g.
4
Let k = -4 + 5. Suppose 0 = 2*h + k - 5. Solve h = -i - 1 for i.
-3
Suppose -5*a + 31 = 3*d, -2*a + 9 + 5 = 2*d. Solve w + d = -0*w for w.
-2
Let q be 2/4 - 21/(-14). Let l = -13 + 18. Solve -6 = -q*f + l*f for f.
-2
Let x be 15/(-10)*(-1 + -1). Suppose 2*j = 5*j + 9. Let d = j + x. Solve d*m = m for m.
0
Let j be 18/5 - (-6)/(-10). Suppose -3*x = 5*u - 12, x + 10 = j*u - 0*x. Suppose -85 = -u*c - 25. Solve c = -0*w + 4*w for w.
5
Let x = -5 - -5. Suppose f + x*f - 4 = 0. Solve q - 1 = -f for q.
-3
Let v be (-2)/5 + 6/15. Solve n + 2 = -v*n for n.
-2
Let q be 1*4*(-6)/(-4). Suppose 3*k = -k - 5*m + 1, 3*m + 25 = 4*k. Let f be 2/(-4)*k/(-2). Solve -5*d + f = q for d.
-1
Let h = 6 + -6. Suppose 3 = o - h. Suppose 0*z - z = -4. Solve z = o*q + 1 for q.
1
Let u = 1 - 0. Suppose s - 2*s = 6. Let o be s/(-2) - (u - 0). Solve -3*v - o*v + 10 = 0 for v.
2
Suppose -o - 4*o = -40. Suppose -3*f = -o*f. Solve -2*v - 3*v - 10 = f for v.
-2
Suppose -4*g + 6 + 6 = 2*f, 0 = 4*g. Solve 2 = 4*c - f for c.
2
Let y(t) = t + 11. Suppose -4*d + 3*g - 33 = 0, 4*d + 4*g + 0*g + 12 = 0. Let b be y(d). Let m be -4 + (0 + 8)/2. Solve b*v + 6 + 14 = m for v.
-4
Let n(z) = z**2 + 7*z + 9. Let c be n(-6). Let x be 1*(-6)/(-5 + 2). Solve x*s + c = -s for s.
-1
Let a = 8 - 5. Suppose 3*c - 3 = a. Solve 0 = c*d - 2 - 2 for d.
2
Let g be 1 + -2 + 2 - 1. Let o(t) = -t**2 + 3*t. Let p be o(3). Solve 2*q + p*q + 8 = g for q.
-4
Let g(w) = 2*w**2 + 2*w + 2. Let v be g(-2). Suppose k = 2*k - 2*m - v, -k = 3*m + 4. Solve -2*j = k*j - 20 for j.
5
Suppose 2*k = -2*k - 8, 4*k = -4*a + 20. Solve -2*i - a = 1 for i.
-4
Let i = 6 - 4. Suppose 5*o + 5 = -5*r, 2*r + 4 = -5*o + 2. Let p be -2*2/8*o. Solve p = -f - 0*f - i for f.
-2
Let z = -11 + 21. Solve -z = -4*p + 6 for p.
4
Let w(k) = -k**2 - 14*k - 20. Let v be w(-12). Solve 0 = -v*n - 15 - 1 for n.
-4
Suppose -4*o + 192 + 32 = 0. Let i be o/35 + (-2)/(-5). Solve -n + i*n = 0 for n.
0
Let y be 3/(-2) + (-3)/6. Let o be y/(-1)*(-2 - -3). Solve w + o = -0*w for w.
-2
Let i(f) = f**3 - 6*f**2 - 7*f - 9. Let y be i(7). Let q(t) = t**2 + 7*t - 2. Let l be q(y). Solve -8*c + l = -4*c for c.
4
Let m(i) = -3*i**3 + i. Let t be m(-1). Solve 3 = z - t for z.
5
Let p(l) be the second derivative of -l**5/40 + l**4/24 - l**3/6 + 2*l. Let n(o) be the second derivative of p(o). Let v be n(-1). Solve -v = -2*x + 2 for x.
3
Suppose 3*t + 4 = 2*p, 0 = 5*p - 0*p - 2*t - 32. Let h = -1 + 7. Solve h*c + p = 2*c for c.
-2
Suppose -m = -2, 5*m - 1 + 23 = -2*d. Let h be 5*(2 + d/10). Let k(j) = 5*j**3 + j**2 - j. Let i be k(1). Solve h*c + 1 + i = 0 for c.
-3
Let w = -3 + 5. Let k = -6 + 10. Let j = k + -2. Solve -j + 6 = -w*i for i.
-2
Let o(z) = z**3 + z**2 + 6*z - 3*z - 2*z**2 - 2*z**2. Suppose -2*a + 4 = 0, l = -4*a + 4 + 6. Let p be o(l). Solve -c + p*c = -3 for c.
-3
Let g(q) = 2*q - 4. Let l be g(4). Suppose 0 = v - 5 + 1. Suppose 0 = 3*b - l*b + v. Solve 3*d - b = -d for d.
1
Let l(j) = -8*j - 35. Let u be l(-6). Solve 0 = -5*v + 28 - u for v.
3
Suppose -n - 4*n + 25 = 0. Suppose 0 = i + 4*g - 15, 4*i - n = g + 4. Suppose i*p + j = -1, -3*p + 4*j + 0*j = -4. Solve 0*a + 3*a = p for a.
0
Suppose -2*r = 3*j + 4 + 13, -2*j + 5*r = 43. Let s(p) = -p**2 - 8*p + 9. Let f be s(j). Solve f = z - 1 for z.
1
Let v(f) = -f**3 + 1. Let m be v(1). Suppose m*u = u. Let a(t) = -3*t - 7. Let h be a(-3). Solve u = h*i + 3*i - 10 for i.
2
Suppose -2*b + 16 = -4*b. Let l be ((-6)/(-4))/(b/(-16)). Suppose -3*d - 25 = 5*x, d + l*d + 25 = -5*x. Solve d*k = -k for k.
0
Let r be (8 - 2 - 3)/(-1). Let b(z) = -3*z + 1. Let o be b(r). Solve -p + o = -3*p for p.
-5
Let l be 4 + 4*((-8)/(-4))/2. Solve 3*b = 7 + l for b.
5
Let y = 9 - 3. Let k be (4/(-3))/((-1)/y). Suppose 0*v + 1 = 3*v + 2*g, -5*v = 2*g - 7. Solve t + v*t = -k for t.
-2
Let y(q) = -q. Suppose -x + m = -m + 8, 4*x = -3*m - 10. Let z be y(x). Solve z*n = 2*n - 8 for n.
-4
Let o = -18 - -20. Solve o + 1 = -q for q.
-3
Let d be (-14)/(-5) - (-2)/10. Let r(h) = -h**3 - 5*h**2 - 2*h + 3. Let x be r(-4). Let a be (3 + -6)*(x - -2). Solve 0 = 4*v + d + a for v.
-3
Let c = -44 + 56. Solve a - c = 5*a for a.
-3
Suppose -4*x - 3 = -5*x. Solve l + x = -0 for l.
-3
Let f = -4 + 4. Let a(m) = -m**3 - m**2 + 4*m + 3. Let s be a(-3). Suppose -u + s = 2*u. Solve 2*d - 3*d + u = f for d.
3
Let w(t) = -t**2 + 5*t - 2. Let d be w(3). Let n be -3 - (0 + 1 - 2). Let s be (d/(-5))/(n/10). Solve m - 5*m = s for m.
-1
Let o = -12 + 2. Let x be (1 + -2)/((-2)/o). Let k = x + 8. Solve -u = -k*u - 10 for u.
-5
Suppose -6 = -3*l + l. Let z(n) = n**3 + 8*n**2 - n - 5. Let t be z(-8). Solve l*x + 0 = t for x.
1
Let q(v) = v**2 + 13*v - 45. Let g be q(-16). Solve 0*z = -g*z - 9 for z.
-3
Let n(t) = t**2 - 5*t - 9. Let i be n(7). Suppose -w = -i + 8. Let l be (w/(-2))/(1/2). Solve -q = -l*q + 6 for q.
3
Let k(l) = 2*l**3 + 3*l**2 - l - 2. Let j be k(-2). Let a be (-21)/(-3) + -1 - 0. Let s = a + j. Solve 0 = -s*n + 7 + 1 for n.
4
Let p be 27*3*(-3)/(-27). Let g be (-2)/(-9) - (-16)/p. Suppose g*m = 8 - 0. Solve d = -d - m for d.
-2
Suppose 5*h + 2 = -t + 2*t, -2 = -t + 3*h. Suppose -t*m = m. Let w(n) = -n**3 + 10*n**2 - 9*n + 4. Let v be w(9). Solve -2*o = -m*o + v for o.