 -o. Suppose -2*h = -3*h + a. Solve 3*l = -2*i + 3*i + 6, -3*l - i + h = 0 for l.
3
Let o(x) = -22*x. Let f be o(-1). Let j(v) = v - 11. Let r be j(16). Suppose -k - r = -8. Solve 3*z = 3*a + 18, 0 = 4*z - k*a - f - 0 for z.
4
Let n be ((-2)/3)/((-5)/15). Solve -3*p + n*o = o + 8, 4*p + 5*o - 21 = 0 for p.
-1
Let d(r) = -6 + 4 + 12*r - 2 - 13*r. Let k be d(-9). Solve s + w + 3 = -s, -7 = s - k*w for s.
-2
Let m(n) = -n**2 + 8*n + 1. Let c = 8 - 0. Let y be m(c). Suppose 4*i = -5*p - y - 3, 0 = -i - 1. Solve -3*o + 15 = -3*h, p*o + 2*o - 8 = h for h.
-2
Let t be (-3)/(-9) - 55/(-15). Suppose 31 = 11*p - 2. Solve -2*i - 4*a = a - t, -5*i + 10 = -p*a for i.
2
Let k = 1 - -3. Solve 14 = -3*a + 2*x, 8*a + k*x = 5*a - 8 for a.
-4
Let k(g) = g**3 + 5*g**2 - 6*g + 4. Let y be -11 - (-5)/3*3. Let u be k(y). Solve -d = -5*r - 2 - 6, 4*d + u*r - 8 = 0 for d.
3
Let p be (-9)/(-21) - 0 - 12/28. Suppose p = 2*k + 9 - 13. Solve 3*b = 4*b + 5*g, -k*g = -2 for b.
-5
Let k(x) = x - 26. Let r(l) = -2*l + 53. Let n(c) = -14*k(c) - 6*r(c). Let s be n(21). Solve 2*m + 4 = 0, -2*m + 18 = s*z - m for z.
5
Let l(c) = c**3 - 6*c**2 + c + 2. Let u be l(6). Let k = 10 - u. Suppose k*x + 9 = 3*b, -3*x - 5*b + 19 = -3*b. Solve 0*h - 4*f + 16 = 4*h, 4 = -x*h + f for h.
0
Let u = 41 - 24. Let y = u - 13. Suppose -y*w = 3*g - 4, 2*g + 2 = -4*w - w. Solve -3*r - b + 12 = 0, -2*r - 5*b = -r - g for r.
4
Let j be (-8)/10 + 792/90. Solve -3*s + 14 = 4*f + 2*s, 4*s - j = 0 for f.
1
Let s be (2 + 3/(-2))*20. Suppose 2*n - 11 = -0*n + 5*w, -4*w = 2*n + 34. Let q = s + n. Solve -x + q*u = -9, -2*x - 2*x = -3*u for x.
-3
Let w be (-1424)/(-979) - 12/(-22). Solve -w*i + 4*b - 8 = -5*i, -i + 4 = 2*b for i.
0
Let x(a) = -a**2 - 3*a + 5*a**2 + 2*a + 2*a. Let i be x(-1). Solve -i + 9 = 2*k, -3*r + k = 0 for r.
1
Let o(f) = -6*f - 9. Let a be o(-4). Let b = -7 + a. Suppose 2*x - 3*x = 5*m - 22, 3*m = 2*x + b. Solve -19 = -5*y + z - 5, -m*z = -4 for y.
3
Let f be ((-214)/(-4))/((-2)/4 - -1). Let n = -105 + f. Solve 3*u + 1 = n*a - 12, 2*a - 2*u - 12 = 0 for a.
5
Let n(m) = 30*m + 213. Let z be n(-7). Solve z*v - 8*v - 25 = -3*o, 0 = 2*v + 4 for o.
5
Suppose 2*i = 0, 2*u + i - 2*i - 2 = 0. Let c(w) = -3*w**3 - w**2. Let h be c(-1). Solve 2*x + 4 = -3*m, h*x - m - u = 3*x for x.
1
Suppose -34*g + 46*g - 336 = 0. Solve 3*p = -5*v + g, 2*p - 3*p = -2*v + 9 for v.
5
Let v = 154 - 218. Let g be v/(-24)*(-18)/8. Let r = -6 - g. Solve 2*w = -4*x + 2*x - 6, 3*x = r for w.
-3
Let z = 241 + -202. Let i(c) = -c**2 - 3*c + 5. Let f be i(-8). Let p = f + z. Solve -6 = 2*l - s - s, 3*s + 26 = -p*l for l.
-5
Suppose 0*v = -4*b + 3*v - 137, 4*b + 172 = -4*v. Let u = 42 + b. Solve 2*f = k + 3, -u*f - 9 = -k + 2*k for f.
-1
Let t(z) = -z**3 + 1. Let s be t(-1). Let l be ((-2)/6)/((-1)/(0 + 15)). Solve l*d = -3*q - 1, -5 = -0*q + s*q - d for q.
-2
Suppose -107 = 3*p + 127. Let m = -73 - p. Solve 3*f - 5*f - 2*u = -4, u = -m*f - 2 for f.
-1
Let f(u) = u**2 - 5*u + 4. Let j be f(1). Solve w - t = j, -4*t - 4 = -0 for w.
-1
Let i(o) = o**2 + 16*o + 62. Let c be i(-6). Solve -h = 4*y - 1, y + c*h - 6*h = -4 for y.
0
Suppose -14 = 323*m - 337*m. Solve m = 2*h - j, -2*h + 7*h = -4*j - 30 for h.
-2
Let r(x) be the first derivative of x**4/4 - 7*x**3/3 + 7*x**2/2 - 6*x - 4. Let b be r(6). Solve 3*q + 2*y - 18 = b, -2*q - y = -q - 7 for q.
4
Let j be 6/(2 - 2/4). Let k = 44 + -39. Suppose 3*u = 2*n + 28, -u - k*n = u - 44. Solve 4*t = 0, t = -3*d + j*t + u for d.
4
Suppose 4*h + 168 = i - 0*i, -i = -3*h - 126. Let u be 4/6*(-63)/h. Let f be (6/12)/(u/10). Solve 5*y + s = -4 - 6, 10 = -f*y - 2*s for y.
-2
Suppose 0 = -u - 4*u + 4*o + 11, -4*u + 13 = o. Suppose -2*a + 9 + 1 = 0. Solve u*c - a*k = 7, 2*c = k - 0*k for c.
-1
Let a(o) = o**3 + 13*o**2 + 10*o - 21. Let b be a(-12). Suppose s + b = -5*q + q, -3*s + 13 = q. Solve 3 = -4*i - 2*w - 3, s*i + w + 15 = 0 for i.
-4
Let v be 0/(8/4 - -2). Let p(i) = -2*i**3 - 3*i**2 + i + 2. Let w be p(-2). Suppose v = w*k - k. Solve -3*t + 6*t + 9 = 0, k = -2*l - 2*t - 6 for l.
0
Let o(l) = 4*l**2 - 2*l. Let v be o(2). Let s be (v/15)/((-3)/(-15)). Solve -5*q + 5 = 4*b + 1, s*q - b = 20 for q.
4
Suppose 5 = y + g + 6, 2*y + g = -3. Let i be 0/2*(6 - (-11)/y). Solve 4*u + 5 + 17 = -q, i = -3*q - 4*u - 26 for q.
-2
Let a(s) = 48*s**3 + 2*s**2 - 2*s - 3. Let i be a(2). Suppose 7*w - i = -4*w. Solve 2*p = -3*h + 25, 4*p + 2*h - w = -p for p.
5
Let f(z) = 3*z + 2. Let d be f(3). Suppose 3 = -p + d. Let s(h) = h - 5. Let o be s(p). Solve -2*n = -o*v + 21, -4*n - 3*v - 3 = -6 for n.
-3
Suppose 3*d = -d. Let i be (-6)/(-33) - 168/(-44). Suppose d = a + u + 3*u - 6, i*u = -2*a + 8. Solve -14 = 2*g + 2*r, -11 = 3*g - a*r - 0*r for g.
-5
Suppose 0 = 4*z - 7*z - 9. Let q = 22 - z. Solve -4*m - 14 = w, -5*w - 4*m = m + q for w.
-2
Let n be 1/((2 - 4) + 639/315). Solve -5*k + 2*t + n = 0, 7 = 3*t + 22 for k.
5
Let n be 5/140*-7*(2 + -2). Solve 2*z = -n*m - m - 7, 4*m = -z - 21 for m.
-5
Let r be -1*7/((-14)/8). Solve -5*u = -4*w - 33, r*u - 8*w - 12 = -12*w for u.
5
Let k be (-10)/(-65) + (-986)/13*-1. Let p be k/95 - 6/(-5). Solve 3*x + 2*x - p*a = 0, -a = -2*x for x.
0
Suppose 4*h + 8 = -4*w, -45 + 33 = 3*w. Solve h*i + 18 = 2*v, 6*v - v = 2*i + 30 for i.
-5
Let z(p) = -2*p - 6. Let d be z(-4). Suppose 2*v + 62 = d*b, -4 = 3*b - v - 103. Let i = b - 30. Solve 5*m - 2*a = 1 - 11, i*m = 4*a - 20 for m.
0
Suppose -5 - 3 = -4*o. Suppose -10 = -2*p, -q + 4*q = -5*p + 37. Solve u = -q*x - 10, 0*x - 14 = o*x - 4*u for x.
-3
Let r = 14 - 11. Let x be (r + (2 - 4))*30. Suppose 0 = -5*d + u + x, -19 = -5*d + 3*u + 11. Solve -2*l - 11 = -3*w, -1 = 3*l + 5*w + d for l.
-4
Let z(o) = o**2 - 45*o - 611. Let s be z(56). Solve -s*r = -0*r - 3*n + 29, 0 = 3*r + 2*n + 6 for r.
-4
Suppose 3*f - f - 18 = -4*c, -1 = -c - 4*f. Solve -i - 3 = -c*n, 0 = -3*n - n + 5*i + 15 for n.
0
Suppose -20*k = -11*k - 9. Solve -4*q = 2*h - 6, -4 = -3*q - k for h.
1
Suppose -5*d + 40 = -2*l, 0 = -l + 3*d - 17 - 4. Let q = l + 18. Suppose -25 = -q*n - 2*n. Solve s - 2 = -f, -5*s - 4*f + 1 = -n for s.
-2
Let g = 5 - 47. Let r = g - -44. Solve 3*f + 27 = -4*a, 4*a + 0 + r = 2*f for a.
-3
Let u be 2 - (-5)/(-2) - 245/(-70). Solve -3*z = u*i - 18, 14 = 3*z + i - 2*i for z.
5
Let a(d) be the first derivative of -d**2 - 12*d - 4. Let n be a(-6). Solve -l + 2*i + n = -2, -5*l = -i + 8 for l.
-2
Let b = 18 - 17. Suppose -2*p + 7*p - b = 2*r, 0 = 4*r - 5*p - 23. Let y be 24/4*1/2. Solve 7*h - y*h + r = -4*l, -2*h - 7 = l for l.
1
Suppose -4*f + 3368 = 3360. Solve 0 = -j + k + 2 - 5, -3*k + 9 = f*j for j.
0
Let k be (-4)/22 - (-7056)/88. Let b be (k/56)/((-3)/(-21)). Solve -4*m - b = -4*h + h, 2*m + 3*h = -14 for m.
-4
Let h = 1798 - 1796. Solve 0 = -2*w + 4*t - 18, h*w = -4*t - 4 + 2 for w.
-5
Let w(y) = 11*y**2 + 2*y + 1. Let j be w(-1). Suppose 20 = -6*p + j*p. Suppose p*u - 8 = 7. Solve 5*s + 15 = -2*f - 2*f, -u*f + 3 = -s for f.
0
Let a(b) = -19 - b - 5*b + 5*b - 7*b**2 - 4*b + b**3. Let t be a(8). Solve -2*n = -3*r - 2*r + 25, -4*n = t*r - 25 for r.
5
Suppose 3*k - 9 = 6*k, 0 = -3*x - 4*k - 6. Suppose -4*q + 2 = -2*o, 0*o - x*q + 16 = 4*o. Solve -o*n = 2*y - 11, 3*n = -2*y + 3*y + 17 for y.
-2
Suppose 70 - 364 = 3*o. Let v = o + 104. Solve -21 = -5*t + 2*r, v*t - 18 = 3*t + 3*r for t.
3
Suppose -3*g = k - 2, -4*k - 6 = -5*g - 31. Let f = 22 + -19. Let j be 6 + f/9*-3. Solve -5*l = -y + j*y + 31, -5 = -k*l + 5*y for l.
-3
Suppose 4 = -3*x + 2*n, x + 4*n - 5 = -25. Let c(t) = -t - 1. Let l be c(x). Suppose -21*i + 13 - 13 = 0. Solve i = -l*h - 4*o + 1 - 5, -1 = -2*h + o for h.
0
Suppose 3*g + 54 = 3*r, -5*r - 2*g = -6*r + 14. Suppose -5*z + r = -3. Solve -5*b - 4*w = w + z, -2*b = w + 4 for b.
-3
Let x = -34 - -38. Let w(j) = -j**2 + 10*j - 20. Let m be w(x). Solve m*f - 20 = 0, 1 = -5*t + 4*f - 14 for t.
1
Suppose -6*f + 18*f + 600 = 0. Let k = -45 - f. Solve 21 = k*v - a, 1 + 0 = v + 3*a for v.
4
Let u(y) = 14*y + 2. Let i be u(2). Suppose -p - 4*p = -i. Let x be 4/p - 16/(-12). Solve -3*v = -0*v + 4*f - 7, -x*f = 4*v + 4 for v.
-3
Let u(a) = -a**2 - 9*a - 14. Let x be u(-6). Suppose x*p - 20 = -0*p. Solve c - 2*d = 3*d, 0 = -p*c + 5*d + 20 for c.
5
Let c(w) = -10*w**2 + 42*w + 83. Let v(q) = 7*q**2 - 28*q - 55. Let y(t) = -5*c(t) -