be c/(-4)*(-2 - 0). Let p = -18 + s. Solve 4*w + a + 2*a - p = 0, -3 = a for w.
4
Let d = -54 + 59. Solve 2*k + 12 = 3*n, 2*n + 2*k - d*k - 13 = 0 for n.
2
Let c be 2/((-2)/(-9))*1. Suppose 2*u + u + 3*y = -c, -2*u + 4*y = -24. Solve t - 1 = -5*a + 2*t, -u*a - 5*t = 5 for a.
0
Let d = -21 + 27. Solve -4*z + 21 = -2*k + 7, -d = 4*z + 2*k for z.
1
Let j be ((-12)/8)/(1/(-20)*2). Solve 2*o = -3*p + o + 11, 5*p + j = 5*o for p.
2
Let s(k) = -k - 4. Let v be s(4). Let l(h) = h + 11. Let p be l(v). Solve 5 = -5*u - 5*c, p*c + 17 = 3*u + 2*c for u.
4
Let v(d) = 5*d - 22. Let w be v(7). Suppose 2*s + 4 = 5*p, 0 = 4*p - 4*s + 2*s - 2. Solve 0 = -y + 3*c + w, p*y = 6*c - 2*c + 20 for y.
4
Suppose -18 = 2*l - 44. Solve 0*w = -5*w - 4*c + l, -5*c = -w - 9 for w.
1
Suppose -3 - 9 = -4*k. Suppose 2 = s - k. Suppose 0 = a - 30 + 5. Solve 2*x - 5*f = -6*f - 7, -s*x - 4*f - a = 0 for x.
-1
Suppose -4*g - h = -3*h - 6, 5*g - 14 = -4*h. Solve 4 = 3*d - 2*p - 9, 4*d + g*p = 22 for d.
5
Let a be (1 + 0)*(6 + 3). Let g = -3 + -6. Let u = 15 + g. Solve 0 = 4*k - d - 15, -3*k + a = 3*d - u for k.
4
Suppose 0 = -u - 0 - 4. Let x = -21 + 23. Let g be (2 + 6/u)*x. Solve -18 = 4*r + 2*m, 0 = r - 5*m + 11 - g for r.
-5
Let f(n) = 9*n - 4. Let u be f(3). Solve 5*a - 3 - u = -3*c, -a + 2 = -c for a.
4
Let r = 3 - -1. Suppose r*g - 10 = -g. Suppose 12 = 2*v + g*p, 22 = 2*v + 5*p - 2. Solve 0 = -s + 2*s - 3*d - 1, 0 = v*s - 2*d + 6 for s.
-5
Let l = -19 + 23. Solve -2*s - l*v - 16 = 0, 4*s - 4*v - 14 = 2 for s.
0
Let l = -3 + 7. Solve -4*n + l*f = -4, -4*f + 1 = -3*n + 4 for n.
1
Suppose -4*t + u = -u, u - 2 = t. Solve -t*n + 9 = 3*q, 4*q - 4*n + n = 12 for q.
3
Let t(f) = 5*f - 36. Let g be t(8). Solve -g = -c, 5*c = -2*r + c + 8 for r.
-4
Let y = -2 + 4. Let m = -6 - 0. Let i(w) = w**2 + 6*w + 5. Let d be i(m). Solve 0 = 3*a + d*k + y - 29, 2*k = 3*a - 6 for a.
4
Let v(j) be the second derivative of j**3/6 - j**2/2 + 8*j. Let b be v(4). Solve 3*t - b*q = -27, 4*t = -3*q - 6 - 2 for t.
-5
Let f(n) be the second derivative of n**3/6 + 3*n**2 + 3*n. Let l be f(10). Solve -4*o = k + l, k - 5 - 6 = 5*o for k.
-4
Suppose 17 + 3 = 2*v. Let t = v - 5. Solve 4*k - 18 = -i, 3*i + k = 5 + t for i.
2
Suppose -5*y + 2*y = 0. Suppose -2*h = -2*q - y*h + 54, -93 = -4*q + h. Solve -m - 3 = s, 2*s + 2*s = m - q for m.
2
Let x be (0/3 - -1)*2. Let n be 3/x*6/3. Let v = -3 + 5. Solve -4*q + 3 = 2*f - n*q, v*q - 11 = f for f.
-1
Suppose 2*n = 3*s - 7, -4*s = s + n - 29. Suppose 0 = 2*q - 2*m - 20, -s*q - 14 = 5*m - 104. Suppose 4*t - 2 = q. Solve -j - t*i = -i + 19, 2*j + 3 = i for j.
-4
Suppose 6*w - 40 = w. Let b(t) = -t**3 + 7*t**2 + 8*t + 5. Let s be b(w). Solve a = s*x - 14, 4*a + 3*x = -x + 16 for a.
1
Suppose -5*n + 10 = -5*o, -3*n + 11 = 2*o - 0. Solve 5*i - 5 - 1 = -n*f, -5*i + 30 = -5*f for i.
3
Suppose c = 45 - 22. Solve 4*i + i + c = -2*l, -5*l = -2*i + 14 for i.
-3
Suppose -12 = -g + 4. Solve -4*a + a + 2*r = 1, 2*a = -2*r + g for a.
3
Let t be (-46)/(-4) - (-2)/4. Let v be (-5 - -1)*(-15)/t. Solve -10 - v = -5*z, -i + 10 = 5*z for i.
-5
Let c = -17 + 22. Solve c*z + 5*u = -15, -3*u - 2*u = 25 for z.
2
Suppose -12 = 2*r + 4*g, -r + 1 = -2*g - 1. Let x be r*(-31)/2 - 2. Let c = x - 17. Solve -y = 4*a - 4*y + c, 3*y - 6 = 2*a for a.
-3
Let m = 0 - 9. Let z = -7 - m. Solve i - z*a + a = 0, a = 3*i for i.
0
Let p be (12 - (0 - 0)) + 0. Solve m + 3*h = -m, 2*m - 3*h = p for m.
3
Suppose -4*v + 4 = 3*z, v + 5*z = 6*v - 40. Solve -4*s + 0*c = -2*c, s = v*c - 7 for s.
1
Suppose -4*i - 5*k = -65, -6 - 89 = -4*i + 5*k. Solve 15 = 3*j + 3, -5*h + 5*j = i for h.
0
Let u(a) = 6*a**3 + 1. Let w be u(-1). Let b = w - -8. Solve r - 5*i = -11, -r - b = 5*i - 12 for r.
-1
Let o(r) = -3*r - 6. Let z be o(-4). Suppose 4*t = 2*t + z. Solve x = 4*f + 12, 2*x + 9 = -t*f - 0*x for f.
-3
Suppose -42 = -15*b - 6*b. Solve 0 = 3*p - 4*h - 0*h - 7, -5*h = -b*p for p.
5
Let c be 3/((-9)/4)*-3. Suppose -3*u - 13 = -61. Suppose -5*f + c = -u. Solve -f*j + 2*h = 24, -5*j + 4*h - 22 = 11 for j.
-5
Let j be (-46 - -13)*(-4)/6. Let r = -13 + j. Solve 26 = -3*n - p + r, -4*p - 32 = 3*n for n.
-4
Let q(k) = -2*k - 9. Let w be q(4). Let x = w + 22. Solve -a = -4*d + 13, 7*a - 2*a + x*d + 15 = 0 for a.
-5
Let x(j) = -6*j - 4. Let p be x(-5). Suppose -y = -p + 9. Suppose -3*c - 5 + y = 0. Solve 3*v + 18 = -s - 0, 3*v + 3 = c*s for s.
-3
Suppose 2 = -2*i - s + 3, 15 = -3*s. Suppose -3 = -i*k + 45. Solve -y - n + 4 = -4*n, -n - k = -4*y for y.
4
Suppose -28 = -9*j + 5*j. Suppose 2*i + 12 = 4*k, -3*i - 4*k + 8 = -j*i. Solve -3*n - i*n = -3*m - 26, -3*m = 6 for n.
4
Suppose -3*u = -148 - 92. Suppose -2*x - 2*x = -u. Suppose -2*w - 2*n + 8 + 0 = 0, 4*w - 5*n + 2 = 0. Solve 5*j = x, -5*t + j = -j - w for t.
2
Let n be (1/2)/((-1)/(-4)). Let i be ((-10)/n)/(15/(-6)). Solve -r = r + 3*g + 4, 0 = -i*r + g + 4 for r.
1
Let q = -17 + 7. Let o = q - -10. Solve -v = 5*f + 15, 0 = -5*f - o*v + 3*v - 15 for f.
-3
Suppose 5*h = -g + 47, 2*g + 4*h - 6*h - 58 = 0. Solve -3*l - 5*z = g, 2*l + 4*z + 1 = -23 for l.
-4
Suppose 2*g = -2*t + 18, -4*t + 40 = g + 4*g. Solve -4*y + 20 = t*n, 0 = 7*y - 2*y - 2*n - 25 for y.
5
Let c(d) be the first derivative of d**2/2 - 2*d + 1. Let q be c(7). Suppose 15 - q = 2*l. Solve -v = -5, 0*b - v = l*b for b.
-1
Suppose o - 2*o = 4*t - 94, 0 = -2*t - 3*o + 42. Solve 0 = w + l, 0*w - 4*w = -4*l + t for w.
-3
Let v = -3 + 4. Suppose 3*h + 2 = -v. Let w be (-3 - h - 0) + 4. Solve r + r = -w, 3*r + 18 = 5*s for s.
3
Suppose -4*k + 5 = -k + 5*u, 4*k + 5*u = 10. Suppose -k*x = -8 - 2. Solve 2*g = -4*o - x - 0, -4*g = -5*o + 30 for g.
-5
Suppose -5*n + 0*n + 6 = 2*l, 0 = 5*n - 4*l + 12. Solve 1 = s - h, n*s = s + 4*h - 6 for s.
2
Let h be (6 - 9)*(-1)/3. Let z be (7 + -13)*h/(-3). Let r be 4/z + 1 + 0. Solve -5*g = q - g - 9, r*q + 3 = 3*g for q.
1
Let t be (-47 + 4)/((-2)/6). Suppose -t + 29 = -5*n. Solve 2*o + 3*o = 2*m - 11, 5*o + n = 5*m for o.
-1
Let y(m) = -4*m**2 - 21*m + 21*m + 3*m**2. Let x be y(0). Solve x = 5*g - 10, 3*j - 13 - 4 = -g for j.
5
Let b be 0/((-4)/12*3). Solve -4*y = -4*x, 2*y + 12 = -2*x - b for y.
-3
Suppose h - 11 = 2*l, -5*l + 2*l + 2*h = 17. Let y be 2/(l/2 + 3). Solve -4*x + 8 = 0, y*x - 12 = -z - 2 for z.
2
Let k be -2 - (7 + 1 + -1). Let m = k + 12. Solve -4*y + m*a = -7, -3*y + 2*a + 4 = -0*y for y.
-2
Let b be (-1)/(4/(-8)) - -3. Suppose 4*l + n = b*n + 24, -4*n = 5*l - 21. Solve -5 = -l*r - 2*m, -5*r = m - 13 + 3 for r.
3
Let m(v) = -v**2 + v**3 - 2*v + 2 + 2*v. Let s be m(0). Solve -2*o = 3*b + b, 3*b + 7 = s*o for o.
2
Suppose -3*m + 4*i - 4 = -8*m, 1 = 4*m + i. Solve m*n + 4*n - s - 12 = 0, -8 = 4*n + 4*s for n.
2
Suppose -31 - 9 = -4*l. Solve -28 + 0 = -4*u - 5*q, l = -3*u + 4*q for u.
2
Let h = -56 - -59. Solve 7 = h*b - 5*z, -z - 24 = -5*b - 5 for b.
4
Let w(l) = 3*l**3 - l**2 + 2*l - 1. Let g be w(1). Suppose g = 4*k - 9. Solve -k*j + 2*q = 7*q - 1, -5*j - 11 = 2*q for j.
-3
Let r = 4 + -7. Let c be 16/(0 + 2) + r. Solve -2*z - z + c*h - 16 = 0, -h = 2*z + 2 for z.
-2
Let z = 56 + -51. Solve -z*b + 5*v + 3 = 13, -4*v + 8 = 4*b for b.
0
Let z be 6/8 + (-51)/(-12). Let r = z - -15. Let t(v) = 4*v**2 - 1. Let k be t(1). Solve 0 = 5*n - r, -i - 2*i = k*n for i.
-4
Suppose 20*h + 12 = 23*h. Solve -4*v + 5*d = 1, 3*v - h*d = -0*d for v.
-4
Let p = -25 + 27. Solve -q - 8 = 3*u, p*q + 0 = 4*u + 24 for u.
-4
Suppose 4*c = p + 13, -2 + 3 = 3*p - 2*c. Suppose 2 = p*k - z - 9, 5*z = -k + 9. Solve 3*m - 5*r - 25 = 0, -3*m + k*r + 20 = -0*m for m.
0
Suppose 0 = -5*w + 15, 3*f + 5*w - 14 = 7. Solve n - 3*p = -8, 2*n + 3*p + 9 = f*p for n.
-5
Let r(c) = -c**3 + 8*c**2 - 8*c + 10. Let h be r(7). Suppose 16 = q + h*q. Let y(m) = m**2 - 2*m - 5. Let l be y(4). Solve 5*s + 10 = 0, l*o + q = o + s for o.
-3
Let t(y) = -y**3 + 9*y**2 + 2*y - 13. Suppose -p - 4*p = 3*a - 7, 22 = 2*a - p. Let m be t(a). Solve -2*n = 4*c - 16, -3 = 4*n + m for c.
5
Let d = -17 + 25. Solve d = 3*j + t + 3*t, 0 = 2*j - 5*t + 10 for j.
0
Let b = 26 - 20. Let k be ((-3)/b)/((-4)/32). Solve -4*n - n + k*i = -35, 2*n + i - 1 = 0 for n.
3
Let b(u) = u**2 - 8*u + 10. Let y be b(7). Let q = 8 - y. Suppose -21 = 2*p - 5*t, 0 = q*p - 4*t + 11 - 1. Solve 0*k - 4 = o + p*k, -4*k = -o + 2 for o.
-2
Suppose -c - r = -1, 9*c