2*a - 3*i - 2 = 0. Solve 0 = 4*l + 4, a*k - k = l + 17 for k.
4
Let q be (13/2)/(3/6). Let g(a) = a**3 - 8*a**2. Let k be g(8). Let h(v) = -2*v + 12. Let z be h(k). Solve -3*o - 8 - q = -3*y, 3*o + z = 0 for y.
3
Suppose 2*w + 3*g - 22 = 0, 2*w + 2*g = g + 18. Let x be (-1 - -1) + w - 21/7. Solve -x*s - 21 = 3*i + 1, 5*i + 30 = -5*s for i.
-4
Suppose -8 + 7 = r - n, -5*r = -2*n - 4. Solve 0 = 4*b - 4*u, -r*u + 6 = -5*b + u for b.
-3
Suppose 65 + 107 = 2*a. Let x be a/5 + 16/(-80). Solve -3*y + 3*i + i = x, 2*y = -5*i + 27 for y.
1
Let z(o) = 2*o - 5. Suppose -4 = 3*c - c. Let v be c/(48/(-20) + 2). Let h be z(v). Solve 1 = -r + 3*u - 3, 4*r + h*u - 35 = 0 for r.
5
Let y be (0/(-4))/(-5 + 7). Solve y = 5*v + 3*g - 23, 0 = -4*g + g + 3 for v.
4
Suppose -5*b + 146 = 391. Let w = -46 - b. Solve -3*f = -w*g - 9, f = -5*g - 3*f + 3 for g.
-1
Let i(n) = -3*n - 75. Let z be i(-26). Suppose 0 = -0*c - 3*c + 12. Let q = 28 + -12. Solve u = z*w + q, -c*u = -0*w - w - 9 for w.
-5
Let x be ((-9)/12)/(2/(-8)). Solve 0 = m - x*k - 7, 5*k = 4*m - 7 for m.
-2
Let g(r) = -r**3 + 18*r**2 - 17*r + 2. Let d be g(17). Suppose 6 = j - d*c, 5*j - 2 = 2*c + 4. Solve 0 = -3*u - 5*h + 3, -2*u = 5*h - 7 - j for u.
-4
Suppose -5*z + a = 145, -a - 2*a = 4*z + 97. Let g = 28 + z. Solve -5*n + 4*l + 5 = g, 2*n - l + 1 = -0 for n.
-3
Let r = -170 - -170. Solve -3*w + 3*z = r, 0 = 4*w - 0*w + z - 10 for w.
2
Let x(r) = 9*r - 5. Let b be x(7). Suppose -4*k + 7*k + 22 = y, -2*k - b = -4*y. Solve 0 = 2*o + o + 4*g - 17, -5*o + y = -g for o.
3
Let q(t) = 3*t - 45. Let a be q(5). Let b be 8 - -1 - (a - -35). Solve -4*f - b = -2*h, -5*f + 5*h = -0*h for f.
-2
Let p = -5 + 5. Let c = -5 + 13. Solve -3*b = 2*u + 13, p = -2*b + u - 3 - c for b.
-5
Let g be 18/4*(-8)/(-18). Solve 0*r + 5*r + 14 = -4*w, -2*r + g*w = 2 for r.
-2
Let h be -4*(-51)/132 - 12/22. Solve -s + 1 = -h, -l = -2*s + 7 for l.
-3
Suppose 2*m - 24 = -5*k, 0*k - k + 4 = 0. Solve 4*x = 2*p - 20, -3*x - 2*p - 15 = m*p for x.
-5
Let s be (-84)/((-14)/1) + -1. Solve s*c + 5 = 2*m - 7, 3*m - 4*c - 11 = 0 for m.
1
Let g be (5/4)/(3 + (-905)/300). Let s = 86 + g. Solve -i = -3*c - s, 2*c - 5*i + 3 = -0 for c.
-4
Let f = 9 - 4. Let x(n) = -35*n - 67. Let d be x(-2). Solve -2*p - g - 8 = 0, 7 = -2*p - d*g - f for p.
-3
Let z = -134 - -146. Solve -4*o = -5*g - 32 + 2, 4*g = -4*o + z for o.
5
Let z(l) = 4*l**2 - 12*l - 12. Let t be z(4). Solve 4*i - 24 = -t*h, 4*h = 3*i - 5 + 1 for h.
2
Suppose -488 = -39*m - 98. Solve -5*q - 4*y + 2 + 19 = 0, 3*q - m = -5*y for q.
5
Let t = -7 - -11. Suppose 7 = x - 5*v + t*v, 2*x = 5*v + 20. Suppose -2 = u - 7. Solve -x*c - 5*m = 30, 2*m + 5 = -c - u for c.
-2
Let n(y) = -y**2 - 6*y + 11. Suppose 39 = -6*a - 3. Let s be n(a). Solve s*w - 4 = i, 1 = -w + 2*w + 5*i for w.
1
Suppose -5*m = -3*b + 1, -2*m + 0*m = -2. Solve 3*g + 1 = -b*h, 5*h + 11 = h + 3*g for h.
-2
Let t be 1 + -5 + 4*(-117)/(-12). Solve -5*o = 4*x + t, -5*o + 5*x - 3*x = 5 for o.
-3
Let a be 3 + (4 + -1)*-8. Let h = a - -29. Let q(d) = d - 5. Let o be q(h). Solve -2*i = 10, -k + o*k + 6 = -2*i for k.
2
Let f be ((-13)/(-26))/((-2)/(-12)). Solve 4*v - q = -f, 4 - 1 = -3*q for v.
-1
Suppose -5*g + 18 = w, -5*g - 54 = -3*w - 3*g. Suppose -d - d = 5*u - w, -d + 5*u - 6 = 0. Solve -3*l - 3*v - 9 = 9, -3*v = d*l + 22 for l.
-4
Let p be 3/(-2)*((-196)/21)/7. Solve -2 = t - 5, -2*a = p*t + 2 for a.
-4
Let j = -68 - -73. Suppose 3*x - 4*x = -j. Solve c + 4 = 5*k, -x*k + 5 = 4*c - 4 for c.
1
Let g = 55 + -55. Suppose g*m - 16 = -4*m. Suppose s = 13 - 4. Solve -5*r - s = -2*t + m, -3*t + 3 = -2*r for r.
-3
Let g = 1 + 1. Let w be 34*3/g*1. Suppose -2*o + 0*o + b + w = 0, -2*o + 36 = -4*b. Solve -2*y + 3*i = 6*i - 21, y - o = -5*i for y.
3
Suppose -4*x + 2*o = -108, -x - 2*o = 3*x - 92. Let k be (x/(-15) - -2) + 14/3. Solve 4*p - 22 = k*w + p, -3*w - p = 2 for w.
-2
Suppose 3*c = -6, 5*c - 19 = -3*i + 10*c. Solve 3 = -2*s + 3*b + 24, 5*b + 34 = i*s for s.
3
Let w = 945 - 930. Solve -13*q + 12*q - 5*i = -w, 5*q = i + 23 for q.
5
Let w(z) be the first derivative of -z**4/4 - 5*z**3/3 - 7*z**2/2 - 4*z + 7. Let b be w(-4). Suppose 5*v - 7 = b. Solve -2*f + 2*i = -6, -f - v*i + 1 = 2 for f.
2
Let l be ((-24)/18)/((-2)/3). Suppose -6*o = -5*o - l. Solve -4*n - 23 = -0*n - 5*q, 5*n = -4*q + o for n.
-2
Let p be (45/(-20))/((-1)/4). Let d be (p - -6)*2/10. Solve -5*f = -g - 15, f + d = 2*f - 3*g for f.
3
Suppose -m - 2*k = -55, 3*k + 79 = m - k. Suppose 68*p = m*p. Solve -q + 4*r - 5 = 0, p = -q + 5*q + r + 20 for q.
-5
Let n = -65 - -80. Let t = -1 + n. Solve 3*l - 2*s + 1 = -2, 5*s = l + t for l.
1
Suppose -5*k = 28 + 12. Let o = k - -13. Let c(r) = 3*r**3 - 9*r**2 + 4. Let a be c(3). Solve o*m + 7 = -4*u + 3*u, 5*m = -a*u - 13 for u.
-2
Let r be 6 + -2 - 0/(-6). Suppose 3*a + q = -q + 2, 4*a = 4*q - r. Solve d + a - 2 = w, 0 = 2*d - 4*w for d.
4
Let p = 10 + -6. Let q be (10/(-6))/(10/(-12)). Let j be ((0/5)/q)/(-2). Solve -p*d - 2*z = 8, 0*z - 3*z - 6 = j for d.
-1
Let x be 2*(159 - 1 - 3). Let k be ((1/(-1))/(-2))/(5/x). Solve 3*l + l - 25 = -3*r, -4*l = 5*r - k for l.
4
Let j be 14 + (2 + -1 - 0). Let k = 184 - 194. Let v = j + k. Solve -3*l = -6*l + 5*t + 17, v*t + 20 = 0 for l.
-1
Suppose -2*i = -2*z, -z = 2*i - 0*i. Suppose z = -4*c - 27 + 39. Solve q - 2*m = c*q - 12, 5*m - 25 = -4*q for q.
5
Let l = 4 + 0. Suppose -16*v = 5*v - 126. Solve i = -2*b - v + 1, 5*b = l*i + 20 for i.
-5
Let p(n) = n**2 + 2*n. Let a be p(1). Suppose -a*k = 3*o - 12, -3*k - 3*o - o + 13 = 0. Solve -k = 5*h - 4*h + 5*c, -2*h = -2*c - 6 for h.
2
Let r be 1*(24/(-20))/3*5. Let s be -6 - -9 - (2 + r + -2). Solve -s*y = 0, -v + y = 1 - 0 for v.
-1
Let j be (0 - -5) + 0/1. Suppose 4*r = 2*q - 4, 3*r + 2*q - 2 = q. Suppose 0*t + 5*t + 3*z - 66 = r, -3*t + 30 = -3*z. Solve -j*b - 13 = t, 2*u = 3*b + 5 for u.
-5
Let u be (-11)/(-2)*(-4 - -8). Suppose -24 = -4*l - 2*b, l + 2*b - 4 = 5. Let s = 5 - 2. Solve 2*d - u = -s*a, l + 5 = 5*a - 2*d for a.
4
Let x(l) = l**2 + 25*l - 223. Let g be x(-32). Solve 0 = -n + 3, i + g = -0*i - n for i.
-4
Let f be ((-9)/30*4)/(39/(-130)). Solve -2*r + 4*l = 6*l + 8, -5*l - f = -3*r for r.
-2
Let w(c) = c**3 - 8*c**2 + 15*c - 15. Let q be w(6). Suppose 8 = j + 3. Solve 2*v = -j*m - q*v + 10, 0 = 4*m - 4*v for m.
1
Let g = -33 + 36. Suppose -g*v - 4 = -5*v. Solve -f - y = -2, v*f + f - y = -14 for f.
-3
Suppose -5*o = 2*f + 5, 4*f + 0 = 5*o + 35. Suppose -7*h + 3*q + 52 = -3*h, 3*h - 4*q = 32. Solve -2*z - 2*z = -h, 0 = f*r - 2*z + 8 for r.
0
Let y = 57 + -40. Let t = -14 + y. Solve 4*r + 3*n + 13 = -t, n = 0 for r.
-4
Suppose w - 4 = 3*h + 5*w, 0 = 2*h + 3*w + 4. Solve h = -3*q - 5, 3*f + 6 = -q for f.
-1
Let k(n) be the second derivative of -n**4/6 + n**3/6 + 3*n**2/2 - 33*n. Let b be k(0). Solve 3*a = q - 15, -15 = q - 5*q + b*a for q.
0
Suppose 2*d = -a + 10, 3*a + 43 = -2*d + 57. Solve -1 = 15*n - 10*n - d*f, -3*f = -5*n + 3 for n.
3
Let z(c) = c**2 + 7*c - 9. Let n be z(-8). Let r(m) = m - 2 - 2*m + 0 + 1 + 2*m**2. Let a be r(n). Solve 3*w + a*k + 15 = 0, -4*w - w + k - 12 = 0 for w.
-3
Let g(p) = p**2 - 32*p + 196. Let a be g(8). Solve 17 = -i + 2*i + 4*v, 3*v = a*i - 11 for i.
5
Let q = -2422 + 2424. Solve 0 = 2*k + q*k - 4*d + 8, 4*k - 2*d = -4 for k.
0
Suppose -4*q = -3*t + 8, 0 = 2*t + 2*t + 5*q - 21. Solve 17 = 4*r - 3*n, 28 = 5*r - n + t*n for r.
5
Let u(j) = 8*j**3 + j**2 - 2*j + 1. Let v be u(1). Let m = -8 + v. Solve t + 9 = -4*s, s + 3*t + m = -5 for s.
-2
Let y = 41 + -36. Solve 2*i + 4*v + 7 + y = 0, 2*i + 10 = -3*v for i.
-2
Let d(h) = -h**3 - 2*h**2 + 7*h - 15. Let s be d(-5). Solve 4*g - 5*u = -g + 25, -5*u = -2*g + s for g.
0
Let w(a) = -a + 22 - 13 - a**2 + 15 + 2*a. Let n be w(5). Solve -n*s - z = -8, 6 + 8 = 2*s - 2*z for s.
3
Suppose 2*t = t + 4. Suppose 9*i = 2*i - 70. Let q be (i/(-6))/(((-3)/(-9))/1). Solve -t*k = x + 18 + 4, -q*x = 4*k + 30 for k.
-5
Suppose -24 + 32 = 4*v + 4*x, v = -3*x + 2. Solve 9 = -3*w - 3*p, 0*p + 10 = -4*w - v*p for w.
-2
Let r(q) = -q**3 + 3*q**2 + 12*q - 5. Let s be r(5). Solve a + 4*b = -b + 22, b - s = 0 for a.
-3
Let v be 2/(-9) + 392/63. Suppose -2*o - 40 = -v*o. Let b be 3/(-2)*16/(-12). Solve -j + 3*k = o, -2*j = -5*j + b*k - 9 for j.
-1
Let m(f) be the third derivative of