ve -j = 8*n - 7*n for n.
-3
Let v(f) = f + 13. Let w be v(-11). Let s be (-2 + w)*((-4)/6)/2. Solve k - 6*k = s for k.
0
Let k be ((-40)/(-6))/10*3. Solve -12 = -5*y + k*y for y.
4
Let h(z) = -2*z + 2. Let d be h(2). Suppose -4*c - 4 = -p, -6*c + 2*c + 3*p - 4 = 0. Let n be d/c + 6 - 1. Solve -1 + n = 3*x for x.
2
Suppose -5*w + 0*o + 11 = 3*o, 0 = -3*o + 6. Suppose -2*z = 11 - 3. Let n = 3 - z. Solve w + n = 4*h for h.
2
Let m(o) = o**3 + 9*o**2 - 12*o - 20. Let b be m(-10). Suppose 4*n - 5*g - 15 = -b*n, 5*g = -4*n - 15. Suppose 6*t - 10*t = n. Solve t*i = 2*i + 8 for i.
-4
Suppose -3*h + 6 - 5 = -5*n, -h = -2*n. Let c be 4/10 + 2/(-5). Solve c = -h*r + 3 - 1 for r.
1
Suppose -2*n - 2*n = -4. Let g = 3 - n. Suppose j - 4*b = 6*j - 16, 0 = -g*j + 2*b - 8. Solve -d + 5 = -j*d for d.
5
Let j(x) = -9*x - 7. Let c be j(-5). Suppose c*p = 37*p. Solve p = -2*o + 2 - 10 for o.
-4
Let l(n) = -4*n - 80. Let f be l(-20). Let q be 0 + 0 - (f + (3 - 9)). Solve -4*z + q = -2*z for z.
3
Let m(a) = -a**2 - 7*a + 8. Let w be m(-8). Suppose -h + 6*h - 20 = w. Solve h*u - 7 = 1 for u.
2
Suppose 35*b - 38*b + 40 = 2*r, r = -4*b + 45. Solve -4*j + 2 - b = 0 for j.
-2
Suppose 3*f - 3 + 6 = 0, 4*j + 2*f = 18. Suppose 2*y = -3*y + 290. Let r = y + -39. Solve j*c - r - 1 = 0 for c.
4
Suppose 2*n = -3*i + 26, -2*n - 3*n + 4*i = -19. Let x = 21 + -10. Suppose -w + 4 = 0, -x = 5*g - w - 3*w. Solve n = -2*y + g for y.
-3
Suppose -2 = s - 4. Suppose -v - s*l = 3*l + 7, v + 3*l + 3 = 0. Solve y + 4 = -v*y for y.
-1
Let g = 221 + -218. Solve -g*i = -8*i for i.
0
Let w be (-114)/(-2 + 0) + (2 - 3). Let p = w + -47. Solve 4*z + p = 1 for z.
-2
Suppose -2*v + 6*v - 2*d = -34, -2*v - 20 = -2*d. Suppose 3*r - 3*c = -15, -4*c = -c + 15. Let q = v - r. Solve q*w + 4 = -w for w.
-1
Suppose -2*t + 4 = 3*w + 5, 0 = 2*w + t - 1. Solve 72*v - 75*v = -w for v.
1
Let x(s) = -s**2 + 2*s + 5. Let z be ((-4)/10)/((-105)/25 + 4). Let k be x(z). Solve -2*m + m = -k for m.
5
Let k = 242 - 242. Solve k = 18*j - 23*j + 15 for j.
3
Let z(m) = -4*m**2 + 22*m - 6. Let r be z(5). Solve -r*b = -2 - 6 for b.
2
Let m = -83 + -16. Let j = m + 119. Solve 0 = 3*c + 2*c + j for c.
-4
Let j(g) be the second derivative of -g**3/3 - 51*g**2/2 + g - 11. Let t be j(-29). Solve 5*c - 13 = t for c.
4
Let w(k) = -k**3 + 22*k**2. Let h be w(22). Solve 7*l - 7 = -h for l.
1
Suppose -9*h = -8*h + 6. Let b(i) = i**3 + 9*i**2 + 12*i + 5. Let z be b(h). Suppose -3*q - z = -5*k - 11, 5*q = -3*k + 52. Solve 2*j + k = 5*j for j.
3
Let u = -3 + 44. Let q = 29 - u. Let r = -12 - q. Solve r = 4*j + 4 for j.
-1
Let n = 30 + -16. Suppose j - 4 = -3*v + 4, n = 3*j + 4*v. Let o = j + 0. Solve o + 1 = -s for s.
-3
Let y(w) = w**3 + 24*w**2 - 12*w - 283. Let i be y(-24). Solve 0 = -5*x + 30 - i for x.
5
Let w(q) = 2*q**2 - 3*q - 2. Let b be w(-1). Suppose n + 2*p = -p + 21, b*p = 4*n - 54. Solve -4*h - h = -n for h.
3
Suppose 22*q - 33*q + 220 = 0. Solve 9*l + q = 4*l for l.
-4
Let q be 2*-1*135/(-30). Suppose 0 = 8*i - 5*i - q. Solve 0 = -i*u + u for u.
0
Let a be (30/(-12))/((7/2)/(-7)). Solve -6*u - 5 = -a*u for u.
-5
Let h = 69 - 64. Let w(d) be the first derivative of -d**2 - 4*d + 1. Let t be w(-4). Solve -t = b - h*b for b.
1
Let v = -14 + 16. Suppose 7 = -v*p + b + 17, 4*b = 0. Suppose -p*j - 20 = 5*c, -2*j - 12 = -6*j + 3*c. Solve -3*n + j*n = -15 for n.
5
Suppose 4*j - 32 = -0*j. Let c be 30/9*(20/j - 1). Solve -c*h + 1 = 11 for h.
-2
Let p be (-2)/(-10) - 2/10. Let s be 14/(-4) + (-4)/(-8). Let m be ((-16)/(-3))/(-4)*s. Solve -h + m*h - 6 = p for h.
2
Let s(j) = 3*j - 7. Let u be s(3). Suppose b - 3 = 2*y - 10, 2*y + 2*b = -u. Suppose d - 15 = -y*d. Solve m - 4 = d*m for m.
-1
Let q = -17 + 22. Suppose -4*t = q*t - 99. Solve -1 = 4*d + t for d.
-3
Let f(s) = -4*s + 1. Let c be 3/(-12) + (-18)/24. Let m be f(c). Solve -m*q - 21 = -6 for q.
-3
Suppose 0 = -2*o + 4*o - 4. Suppose 5*s - 5*i - 10 = 0, -i + 1 = -o. Suppose -35 = -5*v + 2*c, 0*v = 2*v - s*c - 14. Solve 2*x = v*x for x.
0
Let w be (-12)/(-240) - 790/(-200). Solve w*i - 18 = 10*i for i.
-3
Let f(k) = -9*k - 1. Let x(p) = -19*p - 2. Let t(d) = -13*f(d) + 6*x(d). Let w be t(2). Solve -3*b + w*b = -16 for b.
-4
Let l be (7/(-12) - 9/12)*-3. Suppose -7*a - j + 17 = -l*a, -2*j + 14 = a. Solve -4*f + a = -8 for f.
3
Suppose 2*t + 9*s - 162 = 5*s, 0 = -4*t + 3*s + 280. Solve 0 = -9*r - t + 100 for r.
3
Let p be (24/(-14))/((-3)/21). Suppose -2*i - i = -p. Solve 6 = i*m - 2*m for m.
3
Let z be 578/6 + (-4)/(-6) + -1. Let l = z - 94. Solve 5*a + 3 = l*a for a.
-1
Suppose 15 = 4*i - 17. Let u = i - 8. Suppose 3*b + u*b = 0. Solve 0 = l - b - 1 for l.
1
Let s = -665 - -670. Solve s*b = 1 - 6 for b.
-1
Suppose -5*b + 8 = -2. Suppose b*j - 5 = -7. Let w be (1 - 3)/(j/2). Solve l = -w*l + 10 for l.
2
Let g(f) = -2*f**2 - 13*f + 1. Let v be g(-6). Suppose -11*t + 29 = v. Solve t*o - 2 = 2 for o.
2
Suppose 0*f = 2*f. Suppose 7*i + f*i = 0. Suppose 5*a + 0*a - 5*c + 10 = 0, 0 = 2*a - 3*c + 9. Solve -s + i + a = 0 for s.
3
Suppose 4*a = 10 - 2. Let l(k) = -7 + 7 + k**2. Let j be l(a). Solve -j*w - 12 = -w for w.
-4
Suppose g + 4*r + 1 = 0, 2*r - 3 = -2*g + 1. Let p(f) = 10*f**2. Let o be p(1). Let c = o + 6. Solve -l - g*l = -c for l.
4
Suppose -4*d + 5*b = -12, d + 4*b = -b + 3. Suppose -2*h - z + 4 = 0, 1 = -d*z - 5. Solve -h*f = -f for f.
0
Let a be 0/((10/(-1))/(-5)). Suppose a = -14*m + 11*m. Solve m = 5*x + 20 for x.
-4
Suppose 4*x - 16 = -0*x. Suppose 2*j + s - 6 = 0, 5*s + 1 = j + 20. Suppose 0 = z + x*n + 8, 2*z + n - j = z. Solve 3*q + z = -q for q.
-1
Let m(l) = -16*l - 145. Let z be m(-10). Solve -z*t + 10*t + 25 = 0 for t.
5
Suppose 3*w + 2 - 1 = m, -m = -1. Let j(q) = -q**3 - 3*q**2 + 19*q - 3. Let a be j(3). Solve a = -t - w - 1 for t.
-1
Let p(y) = -y**2 + 10*y. Let u be p(1). Solve -u = 4*t + 7 for t.
-4
Suppose -1387*p = -1398*p + 187. Solve d + 22 = p for d.
-5
Let g(l) = -15*l + 2. Let x be g(0). Let s be 2 + (1 - x)*-4. Solve s = -m - m for m.
-3
Suppose 3*r - 6 = 9. Let g(w) = w**2 - 3*w - 2. Let j be g(4). Suppose 5*o + 130*u = 132*u - 11, 4*u - 34 = -2*o. Solve -o + r = j*l for l.
2
Suppose -27*d + 350 = -22*d. Let z be ((-80)/d)/((-2)/7). Let w = -11 + 21. Solve z*g + g = -w for g.
-2
Let d be 2/(-6)*(15 - 15). Solve -t + d*t = 4 for t.
-4
Let c = 548 + -540. Solve 0 = -6*i + c*i - 8 for i.
4
Let a = -16 + 20. Suppose p = 5*p - 24. Let u be (p + -6)*(-2)/(-2). Solve -q - a*q - 25 = u for q.
-5
Suppose 10*z + 9*z - 152 = 0. Let n(y) = -y**2 - y + 1. Let c(f) = -3*f**2 - 12*f + 9. Let m(l) = c(l) - 4*n(l). Let d be m(z). Solve d*r = 3*r - 8 for r.
-4
Let y be ((-34)/14 + 3)/((-17)/(-119)). Solve 16 = 3*w + y for w.
4
Let y(z) = 2*z - 3. Let j be y(4). Suppose -4*p - j + 29 = 0. Suppose -2*l + 10 = -0*l. Solve 0 = 3*w - l*w - p for w.
-3
Suppose 0 = -4*c - 4, 2*c = l - 0*l - 10. Let u = 18 - l. Let a be u/15*(0 - -3). Solve -a*y = -y for y.
0
Suppose -3*m = -20 - 13. Suppose -80 = m*s - 15*s. Solve -2*w - 2*w + s = 0 for w.
5
Let l be 2/(-12) - 39/(-18). Suppose -l*u = -v + 5, -3*v + 15 = -4*u - 0*u. Solve -v*n - 11 + 1 = 0 for n.
-2
Let a(u) = 690*u**2 + 3*u - 3. Let m be a(1). Let z be 5/(-4) - m/24. Let k = z - -34. Solve -3 = k*w - 11 for w.
2
Let j be (9/12)/((-108)/(-1152)). Suppose -4*t = -3*t. Let d(a) = a**2 + 5*a - 4. Let r be d(-6). Solve -r*n + t*n = -j for n.
4
Let m = 5 - 7. Let n be 1*3 + 1 + m. Suppose 0 = 4*f - 2*k - 24, -f - n*k = -0*k + 4. Solve 0 = q - f + 6 for q.
-2
Let j(k) = k**2 + 14*k - 2. Let a be j(-14). Let c be (9/(-27))/(a/534). Let o be c/6 - 2/(-12). Solve -4*q = -q + o for q.
-5
Let v(p) be the first derivative of p**6/180 + p**5/24 - p**4/8 + p**3/3 + 4. Let n(o) be the third derivative of v(o). Let c be n(-3). Solve -j = -c*j for j.
0
Let k = 396 - 389. Solve 5*v + k = 12 for v.
1
Let x be (-1 - 2 - -3) + 15. Suppose -2*j - 3*j + 79 = 3*n, 0 = j + n - 15. Suppose x*z + 6 = j*z. Solve 3*l - 2*l + z = 0 for l.
-3
Let z = -23 + 25. Suppose -13*o + 14*o - z = 0. Solve o*a - a = 2 for a.
2
Let q(w) = 2*w**2 + 2*w - 2. Let h be q(-2). Let j(n) be the first derivative of -n**3/3 - 15*n**2/2 - 24*n + 1. Let r be j(-13). Solve r*p + h = -6 for p.
-4
Let p = -86 + 52. Let c = p + 36. Let i be (0/((-2)/(-1)))/2. Solve i = -c*h -