-9*y + 88. Let l be d(9). Solve 0 = r - 0*r - 3*k - 5, -5*k - l = -2*r for r.
-4
Let l(c) = -c - 6. Suppose 8*j - 3*j = 10. Suppose -12 = 4*a - 4*i, -5*i + 3 = -j*a - 2*i. Let y be l(a). Solve m - u + 4 = y, -3*u + 10 = -2 for m.
0
Suppose -266 + 251 = -5*a. Solve 5*w = 4*l + 8, 20 = l + a*l + 2*w for l.
3
Suppose -3*i = 4*d - 24, -4*d - 5 = -4*i - 1. Solve -2*a = x + 12, 4 + 7 = -d*a + 2*x for a.
-5
Suppose -6*c - 40 = 4*c. Let p(v) = -6*v - 21. Let i be p(c). Solve 5 = i*t - 2*f, -3*t + 4*t + 5*f - 30 = 0 for t.
5
Let t = -3634 - -3640. Let z(h) = -h**3 + 6*h**2 + 5*h - 8. Let u be z(6). Solve -t = -5*l + b, -b = 3*l + 3*b - u for l.
2
Let l(i) = i**2 + 15*i + 6. Let z be l(-15). Suppose z*x - 35 = -x. Solve x*j - 6 = -5*p + 9, 2 = j for p.
1
Suppose -20*q = -22*q + 22. Solve -3*a + q + 2 = -5*m, -1 = -a for m.
-2
Suppose -3*y - 2*y + 20 = 0. Suppose -1 = a, 4*b - a = -0*a + 29. Suppose -85 = 2*o - b*o + 5*p, -43 = -3*o - p. Solve 11 + y = 2*t - 3*j, o = 3*t - 2*j for t.
3
Let i(r) = r - 24. Let w be i(-12). Let z = w - -38. Solve 0 = 3*t - 15, -7*y + z*y + 35 = 5*t for y.
2
Let t be 2*8/(6 - 2). Solve -2*i + t*q = 18, 3*q + 1 - 10 = 0 for i.
-3
Suppose v = 3*j, -5*j + 3*j - 3*v = 0. Solve 3*w - l - 9 = j, 3*w + 4 - 13 = -3*l for w.
3
Let v(j) = j**3 + 14*j**2 + 11*j - 17. Let c be v(-13). Let o(p) = -4*p - c + p + 3 - 2*p. Let u be o(-4). Solve y - 4*d + 10 = 4*y, -5*y + d - u = 0 for y.
-2
Let s = -20 - -20. Suppose 2*p - 4*b = s, -b - 4*b + 27 = 2*p. Solve d + p = w, 0 = 2*w + 3*w - 10 for d.
-4
Let d be (80/15)/((-6)/18). Let v = 18 + d. Solve -q + 13 = -2*y, -10 = -v*y - 3*q - 3 for y.
-4
Let x be (-2)/(-15)*3*5. Let v be (2/4 - 2)*-2. Suppose -5*a = -10*a + 15. Solve -l - 5*k = v, -x*l - a*k - 9 = -5*l for l.
2
Let l(c) = 2 + 2*c**2 - 2*c - 2*c - 6 + 5*c**2 - c**3. Let j be l(6). Solve -j = -2*z + 4*y, -3*z - 2*y = -6*z for z.
-2
Suppose -3*n - 4*n = -182. Let i = -14 + n. Suppose -4*b + i = -0*b. Solve -4*r - 19 = k, -5*k + b*r = -0*r - 20 for k.
1
Let k(a) = 35*a + 248. Let x be k(-7). Solve 0*r - 3*g + 9 = -4*r, 0 = r - g + x for r.
0
Let l = 445 + -430. Solve 0 = 3*a - 3*r - l, -3*a - r + 10 = a for a.
3
Suppose -4*m + 0 + 20 = 0. Suppose o - 13 = m*w, -2*o + 37 = 2*o - 5*w. Let h = 5 - 3. Solve -h*z + 4*q = 29 - 13, 2*z - 2*q = -o for z.
0
Let n(g) = g**2 + 10*g + 13. Let v be n(-9). Let l(d) = d**2 - 2*d - 3. Let x be l(v). Suppose -5*z - 8 = -83. Solve 3*c - c = 2*h - 6, c = -x*h - z for h.
-2
Suppose 4*i + 0 = -5*o + 4, -4*o = -5*i + 46. Suppose -5*q = -2*q - i. Solve -3*b - q*b + 2*c = -31, 22 = 5*b + c for b.
5
Suppose 82 = 3*k - 5*c + 35, -3*k - 4*c + 38 = 0. Solve w + z = 6*w + k, -2*z + 16 = -4*w for w.
-2
Let y(i) be the first derivative of i**4/2 - 5*i**3/3 + i**2 + 4*i - 6. Let h be y(2). Solve d - 18 = -4*z, 4*z - 3*d = 6*z - h for z.
5
Suppose -4 + 124 = 8*o. Suppose o = 6*s - 3. Solve r + 10 + s = -3*l, 2*l = 2*r - 6 for l.
-4
Let l(d) = 3*d**2 + d. Let g be l(1). Suppose -6 = -3*o + 4*m, g + 4 = 4*o - 3*m. Solve -s + 0*t = -4*t - 15, -o*s + 18 = -4*t for s.
3
Suppose 167*n = 193*n. Let h(d) = 1 - d + 3 + d**2 - 1. Let z be h(n). Solve -5 + 2 = -3*y, 0 = 2*x + 3*y + z for x.
-3
Let p(i) = -2*i - 2. Let a be p(-14). Solve -a = f - 5*f - 5*r, r = -2*f + 10 for f.
4
Let h = 20 + 63. Let s = h - 78. Solve -s*l + 0*l = -4*n - 6, -2 = -l for n.
1
Let o(r) = 5*r + 12 + r**2 + 0*r + 0 - 4. Let i be o(-4). Solve -5*z + 12 = 4*t, 2*t = -i*z + 6*t + 24 for z.
4
Let s = -361 + 361. Solve 0 = -3*j - 2*u - 15, -5*j - 7*u + 2*u - 30 = s for j.
-3
Let k be (7/42)/((-4)/(-72)). Solve 3 = -k*f, f + 3 + 2 = -4*p for p.
-1
Suppose -130*i + 138*i = 224. Let l be ((-2)/3)/((-6)/45). Solve l*k - 3 = 2*v + 4, 4*v + 4*k = i for v.
4
Let v = -4 + 6. Let q = 93 - 91. Suppose 0*h + q*k + 16 = 2*h, v*h - 24 = 4*k. Solve 4*d + 10 = -p + h, -2*p - 6 = 2*d for d.
-1
Suppose 0 = s + 5 - 2. Let g be (s/(-2) - 3)*-2. Suppose -c + 36 = c + g*h, -4*c = 2*h - 56. Solve -4*f = -5*f + 4*z - c, 3*z = 5*f + 9 for f.
0
Suppose 0 = 5*h - 16 - 34. Suppose 44 = -2*m + h. Let l = m - -20. Solve 4*o + l = 2*x - 1, 5*x - 21 = -o for o.
1
Let c(q) = 3*q**2 + q - 1. Let i be c(1). Suppose i + 12 = 5*f, -3*r - 5*f + 24 = 0. Solve 2*k - 2*g = -12, -r*g - 1 + 16 = 0 for k.
-1
Suppose 0 = -3*z - 2*d + 13, -2*z + 0*z = 4*d - 22. Solve -l - 4*j = -2, 3*j = -2*l - 0*l - z for l.
-2
Suppose -48 - 28 = -2*l. Let i = l - 38. Solve -3*w + i*c - c + 12 = 0, -2*w = -3*c - 19 for w.
5
Let a = -93 + 95. Let o(g) = 4*g**3 - g**2 - 2*g + 4. Let i be o(a). Solve i = -4*c - 5*r, 3*r + 1 + 7 = 2*c for c.
-2
Suppose -49*c = 10*c - 531. Solve -4*d = 3*a + d - c, -9 = -3*a - 4*d for a.
3
Let t be (-1)/1*(-370 - 7). Suppose -3*y = 359 - t. Suppose 0 = -0*f - 2*f + 8. Solve 2*s - 16 = 3*r - y*r, 4*s = f*r + 12 for s.
5
Suppose -2*d - 2*d + 10 = o, -5*d + 2*o + 19 = 0. Let k(b) = 0 - 2 + d*b**2 + b + 3. Let u be k(-1). Solve -z - z = -8, u*h = 3*z for h.
4
Let g(o) be the second derivative of 3/2*o**2 - 1/20*o**5 + 0 + 0*o**3 + 10*o - 3/4*o**4. Let h be g(-9). Solve 8 = -l + h*p, 5*l + p = 2*p - 26 for l.
-5
Let w(i) = -3*i + 17. Let z be w(5). Solve 3*k - n = -10, z*k + 31 + 4 = -5*n for k.
-5
Suppose -8*q = -11*q + 6. Suppose m = -m + 3*a + 12, -24 = -4*m + q*a. Solve -t + 4 + 8 = -3*u, u + 3*t = m for u.
-3
Suppose 0 = -18*p + 154 - 100. Solve p*x - 4*j = -x, -2*j = 5*x - 7 for x.
1
Suppose 2*u - 8 = 2*n - 20, -2*u + 12 = 2*n. Solve n*f - 2*f - 5*s = -41, -7 = 3*f + s for f.
-4
Let m = 1012 - 1009. Solve 10 = -f - m*p - p, 4*f + 3*p + 1 = 0 for f.
2
Let l(a) = a + 3. Let c be l(1). Solve 4*r - 5*w - 43 = -3, 9 = 5*r + c*w for r.
5
Suppose 0 = -3*u - 1 - 2. Let p(g) = 0*g + 2 - 5*g + 4 - 7. Let v be p(u). Solve 0 = 2*w - o - 2, -w + 6 = -v*w - 3*o for w.
0
Let v(s) = 6*s - 29. Let y be v(6). Suppose 3 + y = 2*d. Solve 0 = 2*a + x - 1 + 2, -d*x + 9 = -4*a for a.
-1
Let h be (-1)/2*5*-2. Suppose 0 = -h*v + 5*r + 70, 2*v - 3*v + 5*r = -26. Solve -5*o + 2*o - 14 = 5*x, -5*x - 2*o - v = 0 for x.
-1
Let z = -25 + 1. Let k = z + 31. Let f be (10/k)/(20/140). Solve 3*n + 20 = -0*y + y, -y + f = -n for y.
5
Suppose 20*k - 19*k - 1 = 0. Let t = 1 - 1. Let f be t/k + 2 + -1. Solve -3*c = f - 10, -4*r - 15 = -c for r.
-3
Let z(d) = -6*d - 8. Let j(i) = i**3 + 5*i**2 - 6*i - 2. Let g be j(-6). Let x be z(g). Solve -5*t + 2*y = -4, -x*t + 5*y = -9*t + 25 for t.
2
Let a = 10 - 7. Suppose 4 - 13 = -a*r. Suppose -1 - r = -z. Solve -4*p - 24 = -4*y, -y = -z*y - 4*p - 17 for y.
1
Let n = 33 + -42. Let r be n/(-2)*2/3. Suppose -18 = -2*o - 5*f, 0 = -0*f - f + 2. Solve 4*c - o = -b - r*b, -4*b + 7 = 5*c for b.
-2
Let a(y) = -3*y + 1. Let b be a(5). Let n = 25 + b. Let u(w) = 7*w**2 - 19*w + 33. Let q be u(2). Solve -n = 4*f + v, -7*v = 4*f - 2*v + q for f.
-2
Let w be ((-5)/15)/(2/(-30)). Solve 6*x - x = w, 3*x - 3 = -5*d for d.
0
Let z be (-21)/(2/(-2)) - -2. Suppose 63*o - 380 = -13*o. Solve 0 = o*q + 2*t + z, t - 20 = 6*t for q.
-3
Let a = -1 + 0. Let m = 8 + a. Suppose -5*s = -0*f - f - 22, 40 = 5*s + 5*f. Solve -u - 2*y = -9, 0 = -2*u + m*u + s*y - 25 for u.
1
Let j = 9 + -33. Let h be ((-6)/(-4))/((-18)/j). Solve 3*f + h*d = -4, 10 = 3*f + f - 5*d for f.
0
Suppose 3*w + 5 = 5*a, 5*w = -5*a + 5 + 40. Solve 3*r - 4*s = w, -5*r + 3 = -5*s - 2 for r.
-1
Suppose -3*n = -d + 5*d, 0 = 4*n - 4*d. Suppose -2*g + o = n, 4*o = -8*g + 4*g + 12. Solve -3*x - 7 = -g, -x = -2*y for y.
-1
Let n(j) = -j**3 + 7*j**2 + 20*j - 15. Let z be n(9). Suppose -2*s - 2 + 5 = z*r, -3*s - 3 = 2*r. Solve 7 = -l - 3*p, -r*l + 23 = p - 3*p for l.
5
Let l = 34 + -32. Suppose -2*n + 8 = -4*f, n - l*n - 5*f - 3 = 0. Suppose 6*g = -n*g + 80. Solve 0 = 2*u + c + c + g, 5*u + 7 = 4*c for u.
-3
Let o = -47 - -47. Suppose w = v, 2*v - 6 = -o*v - w. Solve -3*t = 5*g - v*t + 20, 0 = g + 4*t + 23 for g.
-3
Let q(x) = -12*x + 4 + 0*x + 69*x**2 - 70*x**2. Let s be q(-6). Solve 2*j + 15 = m - 2*j, 4*m + s = -4*j for m.
-5
Let y be -4*(-5)/(-110) + (-46)/(-11). Solve -3*f = 2*m + 9, -5*m - 2*f - y - 2 = 0 for m.
0
Suppose 5*l = -s + 5, -2*s - 2 = l + 3*l. Solve 5*a - 4*n = 33, -5*a - l*n + 29 = -4*n for a.
5
Let p be (4 - 3)/((-1)/(-2)). Suppose 0 = -5*c - 3*r + 33, 2*r + 8 = 2*c - p*r. Solve -24 - c = 5*v + 5*a, 4*a = 4*v + 16 for v.
-5
Let k(d)