uppose 3*m - 140 = -m. Suppose -4 = 2*d, 2*d = -5*o + 7*d + m. Solve -j + o*j - 8 = 0 for j.
2
Let t(g) = -11*g**2 + 1. Let b be t(1). Let o be b/(-1) + (-1 - -3). Solve 3*q + o = -q for q.
-3
Suppose -2*x + 2 = -x. Suppose 4*q - x + 0 = -2*j, 4*j - q = 13. Solve 0 = 6*n - j*n + 9 for n.
-3
Let y = 0 + 0. Solve -3*l + y*l = 0 for l.
0
Let k(i) = -i**2 + 9*i + 92. Let n be k(15). Solve 6 = -n*u - u for u.
-2
Let o = 132 - 132. Let b = -2 + 7. Suppose 0 = 2*w - b*g + 17, 5*w - 25 = -0*w - g. Solve 0 = 4*j - o*j + w for j.
-1
Let v(s) = -s**3 - s**2 - s + 3. Let f be v(0). Suppose 14 = 4*r - 5*n, 2*r - 4 = f*n + 4. Solve -r = g - 6 for g.
5
Let c be (1 + 35)/(12/(-8)). Let l = -35 - c. Let q = 15 + l. Solve x + q = -0*x for x.
-4
Let g(h) = h**3 - 2*h**2 - 2*h - 1. Let w be g(3). Let v be 1*(-2 + 2/w). Let r = -1 - v. Solve r - 5 = u for u.
-5
Let z(t) = 7*t. Let l(k) = k - 1. Let f(c) = -6*l(c) + z(c). Let j be f(-3). Solve -j*b + 7 = 1 for b.
2
Let f be ((-12)/(-3))/4*11. Solve f = -3*g - 1 for g.
-4
Let k(a) = 12*a + 28. Let r be k(-2). Let d be (-66)/(-14) + (-2)/(-7). Solve d = r*v - 3*v for v.
5
Let k(l) = -l + 2. Let o be k(-5). Let s(w) = 2*w - 2. Let v be s(o). Solve c + 2*c + v = 0 for c.
-4
Let n(x) = x - 9. Let h be n(9). Solve h = -2*t - t + 9 for t.
3
Let g(b) = 2*b - 5. Let z be g(6). Suppose z + 1 = 4*c. Solve p - c = -0*p for p.
2
Let d be (-2)/9 - (-79)/(-9). Let g = 13 + d. Suppose -4 = -4*m + g. Solve -6*p = -m*p for p.
0
Suppose -2*c = p - 1, -4*c = -4*p - 8 + 36. Let n be 1/(-1 - c) - -1. Solve -4 = -2*r + n for r.
3
Let o(y) = -y**3 - 3*y**2 + 2*y - 3. Let m be o(-4). Suppose 4 = 4*g + 4*x, m*g - 3*g = -x + 4. Solve u + g = -2 for u.
-5
Suppose 2*x - 2 = 8. Solve -2*q - 9 = -x*q for q.
3
Suppose 0 = 3*a + v + 3*v - 28, 4*a - 35 = -3*v. Solve -2*h - a = -6*h for h.
2
Let m = 1 - 1. Suppose m = 2*z - 5*z. Suppose z*a - a = -2. Solve -a*t = t for t.
0
Suppose -2*i + 8 = 2. Suppose i*n + 1 = l, l = 2*n + 1 - 0. Solve n = -0*k + 4*k + 12 for k.
-3
Let o(y) = -y**2 + y + 2. Suppose 0 = -4*h + 17 + 23. Suppose -h = -6*x + x. Let g be o(x). Solve g = 3*r + r + 8 for r.
-2
Let o(j) = 2*j - 2*j**3 + 2*j**2 + 8*j**3 - 1 - 7*j**3. Let m be o(2). Solve -y = -2 - m for y.
5
Suppose 0 = -n - 4*n. Solve -2*c + 2 + 2 = n for c.
2
Let g = 43 - -5. Suppose 7*i - g = 3*i. Let w be 3/i + 2/(-8). Solve w = -0*h - h for h.
0
Let s(y) = y**3 + 16*y**2 + 15*y - 2. Let p be s(-15). Let c(m) = m**2 - 3*m - 2. Let a be c(3). Let u be a + 1/(p/(-20)). Solve 2*z + u = 6*z for z.
2
Let q be (-1)/(-2)*-1*-42. Let p = q - 13. Suppose 10 = 3*z - 3*k - p, -3*z - k = -18. Solve a - z + 1 = 0 for a.
5
Let j(s) = 0 + s - 7 + 2. Let q be j(7). Suppose 2*o + 3*t = -q*o + 55, -5*t + 65 = 5*o. Solve 4*i + 0*i + o = 0 for i.
-4
Let n(f) = -f. Let b be n(-4). Let q = b + -3. Solve -15 - q = 4*p for p.
-4
Suppose -3*u = -2*u - 4*h - 22, -2*h + 4 = u. Suppose -3*b + u = 4. Solve 0 = -b*w + w + 3 for w.
3
Let x = 3 + 0. Let j(o) = -o**2 - 7*o + 2. Let d be j(-7). Suppose 5 = x*f + d. Solve g - f = 2 for g.
3
Let t(n) = -n**3 - 8*n**2 - 7*n. Let p be t(-7). Let q be 325/35 - 2/7. Let h = q + -7. Solve -2*v - 2 - h = p for v.
-2
Suppose 0 = 4*y - 6 - 6. Suppose f + 15 = -4*f. Let g = y + f. Solve g*q + q + 4 = 0 for q.
-4
Suppose 0 = -0*y - 3*y - 3. Let z be 3/y - (-5 + -2). Solve 0 = z*t + 3 - 7 for t.
1
Suppose 5*h - 2*s = -6*s + 265, -s = 3*h - 152. Let l(x) = x - 3. Let g be l(6). Suppose -d + h = 4*v, 4*v - 26 = -g*d + 17. Solve 4*f = 1 - v for f.
-3
Let r be 5/((-15)/2)*-6. Suppose -2*k - k + 4*a - 14 = 0, -r*k - 2*a + 18 = 0. Let m be 4/(-1)*k/(-4). Solve m*w - 4 = -10 for w.
-3
Let b(s) = -s**2 - 5*s - 2. Let i be b(-4). Suppose -19 = d + 2*l, 4*d + 48 = d - 3*l. Let c = 22 + d. Solve i*h + c = -h for h.
-3
Suppose v + 21 = 2*z, 2*z + 3*v = 6 - 5. Suppose 3*r = -t + 13, -z*r = -4*r + 4*t - 12. Solve -r - 15 = 5*q for q.
-4
Let m(j) = j + 19. Let w be m(-15). Solve -6 = c - w for c.
-2
Let a(u) = -u**3 - 7*u**2 - u - 7. Let g be a(-7). Solve -15 = -5*q - g for q.
3
Let a = 65 - 60. Solve -15 = 2*s - a*s for s.
5
Suppose 0 = 3*n - 3 + 15. Let v(l) = l**2 + 5*l + 2. Let f be v(n). Let h = 8 + f. Solve h = 2*a + a for a.
2
Suppose -5*n + 2*g + 8 = -3*n, -3*g = 4*n - 51. Suppose -n*q = -4*q - 30. Solve -q = 2*a - 5*a for a.
2
Suppose 6*v + 12 = 4*v. Let x = 13 + v. Let a = x - 2. Solve -a + 17 = -4*n for n.
-3
Let q(b) = b + 15. Let i be q(-6). Solve i*o - 6 = 7*o for o.
3
Let k be -6*4*3/24. Let h(o) = 7*o**2 - 4*o - 1. Let s(j) = -15*j**2 + 9*j + 2. Let x(y) = 13*h(y) + 6*s(y). Let n be x(k). Solve n = 2*m - 2 for m.
2
Let w(l) = 4*l**2 - l + 1. Let z be w(1). Suppose 6*y - z*y = 0. Solve y = d - 3 - 0 for d.
3
Let r be ((-70)/4)/(-7)*6/3. Solve -1 - r = 2*u for u.
-3
Let g = -16 + 12. Let v = g - -6. Solve 0 = -o + 2*o + v for o.
-2
Let u be (48/(-36))/((-2)/3) - 0. Solve u*q + q = 0 for q.
0
Let x = 6 + -6. Let k = x - -2. Solve -k*g = g - 3 for g.
1
Let x(y) = -y**2 - 4*y. Suppose 4*m = 8*m + 80. Let d be 8/m*10*1. Let r be x(d). Solve z + 0*z = r for z.
0
Suppose 0 = 11*g - 175 + 65. Solve 4*n - 2 = g for n.
3
Suppose 16 = 4*n - d, n = 3*d - 0*d + 15. Let j(y) = -y**3 + 4*y**2 - 3*y + 2. Let r be j(n). Solve r*o + 1 = 7 for o.
3
Let a(v) = -11*v - 2. Let d be a(-1). Solve -d - 1 = 2*y for y.
-5
Suppose -2*r = 5*a + 16 - 0, 26 = 3*r - 5*a. Suppose r*l = q - 8, 0*q + 3*l - 40 = -5*q. Solve 4*v - q = -0*v for v.
2
Let t(x) = 5*x**2 + x + 2. Let k be t(-2). Solve 0*g - 5*g + k = 0 for g.
4
Let t = 9 - 6. Suppose 0 = t*v + v. Let f(w) = -w + 6. Let u be f(v). Solve -3*h + u*h = -12 for h.
-4
Let q(l) = -9*l**3 - 2*l**2 + 1. Let m be q(-1). Solve -5*x + 12 = -m for x.
4
Let i = -3 + -2. Let g be ((-8)/(-5))/(i/(-50)). Solve -41 = -5*w - g for w.
5
Let w = -11 - -15. Let h = -13 - -15. Suppose 5*s - 31 = -h*z, 23 = w*s - 0*z + z. Solve s*m + 0*m = 10 for m.
2
Let z(u) = u**3 + 8*u**2 + 5*u - 5. Let a be z(-7). Solve 7*k + a = 4*k for k.
-3
Let r(i) = i**2 - 5*i + 5. Let b be r(5). Let y be b - 1 - 2/1. Let p be (-18)/(-4) - y/4. Solve p*f = 2*f for f.
0
Let h(o) = o - 2. Let i be h(7). Suppose -3 + i = c. Solve c*t + 0 = 8 for t.
4
Let d(i) = i - 4. Let v be d(6). Let r be v/(-4) + (-31)/(-2). Solve -5*k + r = -5 for k.
4
Let r(y) = -y - 4. Let u be r(-7). Suppose -u*v + 2*v = 0. Suppose 3*s - 2*k = 5, 0 = 4*s + 2*k - 4 + 2. Solve v = -5*p + s - 16 for p.
-3
Let c = 75 + -72. Solve -3 - 3 = -c*p for p.
2
Suppose -20*l - 4 = -22*l. Solve -4 = l*t - 3*t for t.
4
Suppose -4*u = -0*u - 56. Let f = u + -7. Solve k - 2 = -f for k.
-5
Let a be 2/(-3) - (-61)/(-3). Let w = -11 - a. Solve 4*h - w = -h for h.
2
Suppose -2*a + 8 = -0. Suppose -5*l = -a*l - 1. Solve l = 3*f - 14 for f.
5
Let b(d) be the third derivative of -d**6/120 - d**5/10 + d**4/24 + 4*d**3/3 - d**2. Suppose 5*c = -3 - 27. Let w be b(c). Solve w*x + 3 = -1 for x.
-2
Let c(u) = -u**2 - 2*u. Let h be c(-2). Let p be 1*(h + 6) - 1. Suppose 3*i = -17 + 23. Solve -i*s = -s + p for s.
-5
Let y be (-3 + 3)*1/2. Solve y = 4*p - 13 - 3 for p.
4
Suppose -9 = o - 4*b, 5*o - 12 = 3*o + 2*b. Let k = o - 7. Suppose -u + k = -0. Solve -u*p + 6 = -10 for p.
4
Let d be (-12)/(-5) - (-82)/(-205). Solve -2*p = -0*p - d for p.
1
Let l(d) = -d**3 - 10*d**2 - 2*d - 13. Let j be l(-10). Let c = -5 + j. Let i(s) = s**2. Let x be i(c). Solve -x*m + 2 = -6 for m.
2
Let m = 53 - 50. Solve -2*l - m = 3 for l.
-3
Let n be (60/(-8))/((-2)/4) + 1. Solve 3*q - n = -q for q.
4
Let m = 23 - 20. Suppose 3*h = -l + 15, -m*h - 7 = -2*l - 22. Solve l = -5*k - 27 + 2 for k.
-5
Let h(q) = -2*q - 3. Let u(s) = -s**2 - s. Let v be u(1). Let g be h(v). Let l be (-2)/g*(-3)/6. Solve 0*a - a - l = 0 for a.
-1
Let y = -17 + 25. Suppose -y = -x - 3*x. Suppose 2*k + x = 8. Solve -b = k + 2 for b.
-5
Let s = 109 - 106. Let y(u) = u + 2. Let r be y(0). Solve -4 = -s*t + r for t.
2
Suppose -5*x = -4*j - 58, -5*j - 38 = -3*x - j. Solve -3*n + x = 2*n for n.
2
Let m be -3*(4 - (-64)/(-12)). Solve 2*j + 2 = m for j.
1
Suppose -5*l - 16 = -46. Suppose 0 = 3*u + 3*p + 5 + 1, -u - 5*p + 14 = 0. Let i = u + 9. Solve -3 = -i*o + l for o.
3
Suppose 5*c + 24 = 7*c. Suppose 0 = 3*i - i - c. Solve 0 = -d + i*d for d.
0
Let q = 1 - -2. Suppose -q*p + p + 12 = 0. Suppos