 = -x + 15. Suppose -5*n + 2*y + 81 = 6*y, n + 5*y - 33 = 0. Let w be m(n). Solve -w*c + 20 = 3*c for c.
4
Let u(a) = a + 4. Let m be u(-6). Let j be -2 - -1 - (-1 + m). Suppose j*x + 4*n - 12 = 0, 3*x + 0*x = -3*n + 12. Solve 4*c - 10 - x = 0 for c.
3
Let u(q) = -2*q - 1. Let o(g) = -3*g - 2. Let h(s) = 5*o(s) - 8*u(s). Let m be h(4). Solve -m*w = -w + 2 for w.
-2
Suppose 4*d - 6*d = 0. Suppose 2*f + 2 - 6 = m, d = -4*m + 4*f. Let h = m - 2. Solve 12 = -h*n - n for n.
-4
Let s(b) = b**3 + 5*b**2 - 9*b - 8. Let h be s(-6). Let v be 32/(-24)*6/(-4). Suppose -v*n = -7 - 1. Solve h + 10 = -n*c for c.
-5
Suppose -3*r + 4*r = 0. Let t be (3*1)/(21/42). Suppose -3 = 3*w - t. Solve -h + r + w = 0 for h.
1
Let j be ((-24)/(-14))/((-8)/(-28)). Let r be 38/6 + (-2)/j. Suppose q - 3*h = 18, -4*h + 0*h = 20. Solve 6 = q*a - r for a.
4
Let r = 39 - 37. Suppose r*u = 3*u - 2. Solve -u*i = -5*i - 9 for i.
-3
Let g be -2 + 6 + (-12 - -12). Solve k = g*k - 12 for k.
4
Suppose -4*c - 3*v + 22 = 8, -6 = -3*v. Solve 0 = -4*y + 10 - c for y.
2
Let d be (13/4)/(4/48). Suppose -d + 9 = -t. Suppose 0 = 2*w - 4*w + t. Solve 5*y = 2*y - w for y.
-5
Let z = 0 - 0. Suppose z = 4*q + 4*n - 20, -2*n - 23 = -q + 3*n. Let x = 9 - q. Solve 3*p + 4 = x for p.
-1
Suppose 0*g - 3*g - w + 8 = 0, 2*g + w - 7 = 0. Let h(s) = -3*s + 3. Let r be h(g). Suppose -1 + 3 = o. Solve 6*l - o*l + 4 = r for l.
-1
Let y(o) = -o**3 + 9*o**2 - o + 20. Let d be y(9). Suppose 16*x - d*x = 15. Solve -4*f = -7*f + x for f.
1
Suppose 0 = -2*x + 4*a - 34, 2*x - a - 9 + 34 = 0. Let g(k) = -2*k**2 - k - 1. Let u be g(2). Let s = u - x. Solve s = n - 0*n - 3 for n.
3
Suppose -5*k + 93 = -4*g, -k + 2*g = k - 38. Let l = k + -5. Solve -2*x + l = x for x.
4
Let m = -15 - -25. Solve 6*b = m*b for b.
0
Suppose -3*l + t + 12 = -29, 0 = 2*t + 10. Solve -l*v = -10*v + 8 for v.
-4
Let v = 2 + 6. Suppose -3*f = -g - f + 55, 0 = -2*g + f + 95. Let j = g + -43. Solve j*w + v = -0*w for w.
-4
Let f(i) = -i**2 - 5*i + 11. Let n(q) = -4*q + 22. Let x be n(7). Let h be f(x). Solve -2 = 4*p - h*p for p.
2
Let m be (3 - -9)/(3/((-198)/(-12))). Solve -m*y - 16 = -70*y for y.
4
Suppose -3*v = 3*d - 15, 2*d = 6*d + 5*v - 21. Solve d*c = 2 - 14 for c.
-3
Let p = -13 - -16. Suppose -4*k + p*x + 12 = 0, -3*k + 9 = -5*x - 0*x. Suppose -k*o + 6*o - 57 = 0. Solve -5*i = o + 6 for i.
-5
Let t(x) = x**2 - 31*x + 218. Let v be t(10). Solve -v*r + 10 = -13*r for r.
-2
Suppose 5*l - 5*i = 165, l - 53 = -0*l - 4*i. Solve -8 = -9*v + l for v.
5
Let l(r) = 16*r + 25. Let a be l(0). Solve -b - a = 4*b for b.
-5
Suppose 0*o - 2*o + c = -32, 0 = 3*o - c - 49. Let b = o - 12. Let n(j) = j**3 - 2*j**2 - 3*j. Let z be n(3). Solve z*i + b = -i for i.
-5
Suppose 0 = 12*y - y - 55. Solve -9 - y = -14*r for r.
1
Let j be (-14)/21 + 14/3. Let i = 6 - j. Solve -4*n + i = 6 for n.
-1
Let t(h) = -h**2 - 8*h - 5. Let l be t(-7). Suppose -l*p + 4*a + 28 = 0, -4 = 4*a - 12. Let x = p + -11. Solve -x + 1 = -3*f for f.
2
Let t be 3/1 + (-6 + 8)*5. Solve 18*c - t*c + 5 = 0 for c.
-1
Let w be 1/2 - 11/(-2). Let z be (6/12 + 2)*(-8)/(-10). Let x(j) = 3*j**2 - 1. Let o be x(1). Solve -o*f - w = z for f.
-4
Suppose 2*s + 0*s - 8 = 0, -3*g + 5*s - 14 = 0. Suppose -18 = -g*y + 2*x, -23 + 3 = -4*y - 4*x. Suppose -q - y*q = 0. Solve -4 = -q*u + u for u.
-4
Suppose -4*i = -m + 18, 5 = 3*m + i + 3. Suppose -m*l + 11 = 7. Suppose -l*a - 6 = 4*s, 4*s - 2*s = -4*a. Solve -a = -r - 0 for r.
1
Let y be 5 + (-3)/(-2)*6/(-9). Suppose m + 4*l = 5*l - y, 0 = 4*m + 5*l - 29. Let u be 0/(-1 + 0) + 4. Solve 17 - m = u*n for n.
4
Suppose 9*h - 124 - 20 = 0. Solve -h*v + 17*v = 1 for v.
1
Let o(y) = 5*y + 170. Let u be o(-34). Solve 6*k + 12 + u = 0 for k.
-2
Suppose -449 = -5*y + 1631. Let u be 2/(-15) - y/(-195). Solve 0*w + 6 = u*w for w.
3
Let r = -1196 - -1202. Solve 11*q = 9*q - r for q.
-3
Suppose l = -6*l - l. Solve 44*d - 40*d + 8 = l for d.
-2
Let f(j) = j**3 - j**2 + j + 2. Let m be f(3). Suppose m - 43 = -4*g. Solve -g*d - 13 = 2 for d.
-3
Let p = -1018 + 1023. Solve -p*k = 2*k - 8*k for k.
0
Let d = 6 + -2. Let q be -12*(15/d - 4). Solve 0*w + 3 = -q*w for w.
-1
Let g be 2/5 + (-1)/(15/6). Suppose -30 = -10*x - g*x. Solve -5 = -x*o + 1 for o.
2
Let f = 74 + -71. Suppose -4*u + 60 = 4*x, -4*u + f*x = -u - 15. Solve -2*c = -4*c + u for c.
5
Suppose 6 = -4*o + 10. Let q be o*0*5/15. Suppose -a = 3*a - 12. Solve q = -v + 2*v + a for v.
-3
Suppose -3*j - 6 = -5*y + 37, j + 51 = 5*y. Suppose y = 5*t - 14. Solve -t*f = -8*f for f.
0
Let i = 1184 - 1163. Solve 9*c = i*c + 24 for c.
-2
Let t be 10/(-15)*18/(-4). Let g be ((-3)/(-9))/((6/6)/3). Solve -2*y + t*y + g = 0 for y.
-1
Let z be 520/180 + (10/18)/5. Solve 0 = a - 0*a - z for a.
3
Let a = -661 - -661. Solve 9*k - 5*k + 16 = a for k.
-4
Let v be 2 - (0/(-2) - 0). Let j = 22 + -22. Let h be -1 + (-20)/(-2) + -1. Solve j = v*s + h - 0 for s.
-4
Suppose 12*v - 485 + 449 = 0. Solve -6*j - 36 = v*j for j.
-4
Suppose 4*b - 204 = 4*r, -14*r - 257 = -5*b - 11*r. Solve -27*s + 14*s + b = 0 for s.
4
Suppose -3*a - 21 = 15. Suppose 2*x - 3 = -5*t, 0 = 5*x - 0*t + 4*t - 16. Let z be a/x - -6 - 0. Solve z*d - 4 = -d for d.
1
Suppose 0 = f + 2*h - 30, 0*f + 5*h - 5 = f. Let t be (1 - 0)/(5 + -4). Let v be (3 - 3)/(-1*t). Solve -y + 6*y - f = v for y.
4
Let r(l) = -9*l - 4*l**3 + 248*l**2 - 1 + 3*l**3 - 256*l**2 - 1. Suppose -5*v = -2*v + 21. Let y be r(v). Solve -d = 2*d - y for d.
4
Let i be (-2)/9 + 20/9. Let n be (16/1)/2 - 4. Suppose 11*j = n*j + 105. Solve -i*r - r = j for r.
-5
Let q = -693 - -693. Solve q = -z + 7*z - 30 for z.
5
Suppose 3*j - 7 = 2*h, 6*h - 2*h = -3*j - 23. Let g(i) be the third derivative of i**6/120 + i**5/60 - 123*i**2. Let y be g(j). Solve y*s + 10 = 2*s for s.
5
Let w = 45 - 52. Let l be ((42/(-12))/w)/(1/6). Solve -3 = -l*q + 3 for q.
2
Let t(z) = z**2 - 3*z - 6. Let g be (-171)/(-33) + (-2)/11. Let w be t(g). Solve -w*f = f - 25 for f.
5
Let k be (-3)/6*(0 - 4). Suppose 19 = -0*m + 3*m + k*l, 16 = 2*m + 3*l. Solve -4*o + m*o = 4 for o.
4
Suppose 2 = 13*j - 11. Solve j + 19 = -5*u for u.
-4
Let o be 13*(-6)/(-9) - ((-76)/12 - -7). Suppose -1 = -2*y + i, 3*y - y + 3*i = 5. Solve o = 3*t - y for t.
3
Suppose 0 = 5*a + 15, -w = -0*a + a. Suppose 0 = -h - 2*h - 4*g + 4, -3*h = w*g - 6. Let b be h/(-14) - (-36)/28. Solve -c = b - 0 for c.
-1
Let n be -1 + (-5 - 1) - -52. Solve -4*j - n = -29 for j.
-4
Suppose -5*p + 72*w - 77*w + 70 = 0, p + 4*w = 29. Solve 0 = -p*g + 2*g for g.
0
Let w(h) = 2*h**3 - 7*h**2 + 4*h - 3. Let o be w(3). Solve -m + 2 - 5 = o for m.
-3
Suppose 5*u - 6 = 9*u - 2*f, 4*f - 12 = -4*u. Solve 4*l + 5 - 9 = u for l.
1
Suppose l - 31 = -2*i + 26, 111 = 2*l + 5*i. Suppose -4*b = 2*f - 7*f + l, 0 = -3*f + 3*b + 36. Let p be (-1 + 0)/(f/(-75)). Solve j = p*j + 16 for j.
-4
Let d be (-8)/(-3)*((-51)/12 - -5). Solve d*g = -4*g - 6 for g.
-1
Let g be 16*-1*3/4. Let s be (21/(-14))/(2/g). Solve s = -2*t + 3 for t.
-3
Let k(y) = 11*y + 34. Let o(w) = 6*w + 17. Let m(t) = 3*k(t) - 5*o(t). Let l be m(-5). Solve l*s - 2 + 6 = 0 for s.
-2
Let j be (-3)/(48/(-142)) + 141/1128. Solve -j*m = -27 + 72 for m.
-5
Let c = -216 + 222. Solve -c*b + 0*b = 30 for b.
-5
Let z(a) = -a**3 - 13*a**2 + 13*a + 3. Let q be z(-14). Suppose 5*f = 3*r - q, -32 = -4*r + 4*f - 2*f. Solve -r = -d - 2*d for d.
3
Suppose 12*r + 45 - 177 = 0. Solve 9 = -8*y + r*y for y.
3
Let l(d) = -d**3 + 5*d**2 + d + 3. Let i be l(5). Let r = 4 - 3. Let y be -2*((-1)/r)/1. Solve 2*x + i = -y*x for x.
-2
Let t(a) = 2*a + 9. Let g be t(-6). Let y be g + (-12)/(0 - -1). Let i be y/(-5) + 2/(-2). Solve -6*j + 12 = -i*j for j.
3
Let k be ((-6)/(-9))/((-6)/441). Let f = k - -51. Solve -14 + f = -4*l for l.
3
Let t be (75/(-125))/(1/(-5*2)). Suppose -3*n + 4*u = -7*n + 40, u = n - t. Solve n = -3*a - 7 for a.
-5
Suppose -2*l + 6 = 2*f, 8*l + 5 = -f + 5*l. Solve 2*d = 15 - f for d.
4
Let n(w) = -2*w - 29. Let z be n(-16). Suppose 0 = -4*a + a + 6. Solve z*i + a = i for i.
-1
Let m be (-140)/(-30) + (-2)/(-6). Suppose m*r + 3*p = 7, 2*r - 2*p - 7 = p. Solve 5 = -r*g - 3 for g.
-4
Let p = 1120 + -1107. Solve 16*f = p*f - 12 for f.
-4
Suppose -r - 26 = -5*z, -13 = -z - 2*r + 1. Suppose z*k = -5*k + 2*k. Solve 3*s - s = k for s.
0
Suppose 2*g - 4 = 