2*a - 4*z for a.
-1
Suppose -1 = c - 3. Solve -c*m + 3*m = 4, u = m - 8 for u.
-4
Let y(j) = 6 - j**2 + 6*j - 3 - 6. Let d be y(4). Solve -p + 5*b = -9, 2 - 7 = d*b for p.
4
Suppose 5*k + 5 = -5*n, 0 = k - 3 + 2. Let f(r) = r**3 + 2*r**2 - 2*r. Let x be f(n). Solve 3*t = 7*t + 2*d + x, 3*d = t - 6 for t.
0
Suppose -4*w = -w - 18. Suppose -w*m = -3*m. Suppose -7*o + 2*o - 4*f + 16 = 0, -f - 1 = m. Solve o*d + s = -14, 10 = -5*d - 3*s - 4 for d.
-4
Suppose 5*s = 4*x + 26, 2 - 10 = 2*s + 3*x. Let w be 1 + 0 + s + -1. Solve -2*r = 4*c - r - 9, w*r = -2*c + 12 for c.
1
Let k be (0/(3*-1))/(-2). Let t = 0 + k. Suppose -5*n + 11 - 1 = t. Solve -5*a - 9 = n*d - 6*a, -5*d = 4*a + 29 for d.
-5
Suppose 4*y = -y. Suppose 4*d - 15 - 5 = y. Suppose -d - 7 = -4*n. Solve 13 + 2 = 5*j + l, n*l = -4*j + 1 for j.
4
Let r(q) = -2*q**2 - 36*q - 32. Let k be r(-17). Solve k*w - 4 = 0, -2*v + 4*w = -7*v - 12 for v.
-4
Let z be 1*(-2 + 0) + 3. Let c be 10/4 + 1/(-2). Suppose -2*h - x + 9 = 0, 4*x = 4*h + 5*x - 17. Solve -c*y + h = b - z, 0 = -4*y for b.
5
Suppose -7*x + 28 = -0*x. Solve r = 0, 0*r + r = -x*s + 20 for s.
5
Let h(g) = g**2 + g - 3. Let m be h(0). Let f be (-3)/((-4)/((-44)/m)). Solve 3*u + y + f = 0, 0*u + u - 5*y = 7 for u.
-3
Let d be 0*(-1 + 3 - 1). Suppose d = -0*s - s - 4. Let h(g) = -g**2 - 5*g - 2. Let u be h(s). Solve n - 4*n - u*p = -14, 22 = 5*n + 3*p for n.
2
Let u be 15*(13/5 + -2). Let f be (3/2)/(u/12). Solve -6 = -2*m - 5*c + 13, f*m + 16 = 2*c for m.
-3
Suppose 3*w - 5*m + 0 + 5 = 0, 5*m = -4*w + 5. Suppose w + 7 = q. Solve -q*l + 2*l - 11 = 2*d, l + 13 = 5*d for d.
2
Let s be (-17 + 1)/(2 + -3). Solve s = -4*v - o, -2*v + 5*o = -v - 17 for v.
-3
Let i = -194 + 196. Solve -5*v - 2*b - 18 = -i, 0 = -4*v - 5*b - 23 for v.
-2
Let n(o) be the second derivative of o**3 + 3*o**2/2 - o. Let w be n(2). Solve -3 = -l + a - 2*a, -5*l - 2*a = -w for l.
3
Suppose -o + 6 = 2*o. Let p = -16 - -8. Let t be o/(-8) + (-42)/p. Solve 4 = -2*d - w - 4, 0 = 5*d + t*w + 25 for d.
-3
Let c = 2 + -2. Suppose 20 = -5*a - 0*o + 5*o, 3*a + 5*o = 20. Let l = a + c. Solve k - 5*f - 24 - 4 = l, -10 = -5*k - f for k.
3
Let a be -7 - -10 - 1/(-1). Solve 0*y - 5*m - 16 = 4*y, -5*m - a = y for y.
-4
Let r = -33 - -23. Let w = r - -13. Solve -4*a - w*d - 2*d + 23 = 0, 5*a - 3*d - 1 = 0 for a.
2
Let f(j) be the first derivative of 5*j**4/4 - j**3/3 - 2. Let z be f(1). Solve -6*k - p = -2*k + 4, -z*k + 20 = -5*p for k.
0
Suppose 12*i = 8*i. Solve 0 = -4*m - 3*y - 23, i = -m - 0*y + 5*y for m.
-5
Suppose 0 = h + 3*h - 8. Solve -16 = k - 7*y + h*y, -5*y = -4*k - 19 for k.
-1
Suppose 2*u = -t + 2, 3*t + 0*t = 2*u - 18. Let p be 3/3 + u - -2. Solve s + p = -i, -2*i - 3*i - 3*s = 24 for i.
-3
Let r be 6/4 + (-6)/(-12). Suppose -k - r*m + 0*m = 5, 5*m + 32 = 4*k. Suppose 5 = 4*x - 3. Solve t + x = b, 20 = -k*t - t - 2*b for t.
-4
Suppose -21 = -4*o - 5*g, 21 = -5*o - 5*g + 46. Solve b - 2*q - 8 = 0, b + 2*q = -o - 0 for b.
2
Suppose -12*s - 125 = -17*s. Solve 5*k = -5*m - s, 5*k + 21 = -m - 0*m for k.
-4
Let f(r) = 3*r + 13. Let s be f(-3). Solve s*t - 4 = -3*c, -5*c + 3 = 3*t - c for t.
1
Suppose 2*i = -0*i. Suppose -16 = -3*k + 2. Solve 5*h + 3*b - 8*b = i, 4*h = -2*b + k for h.
1
Let w be 3 - (4 + 0 + -4). Solve 8*n = 3*n + 2*h - 25, 4*n + w*h - 3 = 0 for n.
-3
Let f(a) = 2*a**2 + 12*a + 12. Let m be f(-5). Solve -m*g + h + 9 = 0, -2*g - 2*h - 3 = -g for g.
3
Let n(m) = m**3 - 4*m**2 + 3*m. Let r be n(3). Suppose -3*d - 2*d + 10 = 0. Solve r = o - 3*o + d*p - 10, 0 = 4*o + p + 15 for o.
-4
Suppose -4*j - 190 = 26. Let r = j - -78. Solve -5*z = -4*w + r, 0*w + 9 = -3*w - 3*z for w.
1
Let t(r) be the first derivative of r**3 + r**2 - 2. Let a be t(2). Solve -3*k = 2*k - p + 13, -4*k - 2*p - a = 0 for k.
-3
Suppose p = -0 + 4. Let l = p + 1. Solve i + 5*f = 3*i - l, 3*f + 9 = 0 for i.
-5
Let w(n) = -2*n - 6. Let j be w(-4). Let t(q) = q - 1. Let l be t(3). Let i = 29 + -6. Solve -l*y - 5*h - j = 3, -i = 5*y + 2*h for y.
-5
Let d = 25 - 22. Solve -3*a - d*n = 6, -1 - 11 = 4*a + 2*n for a.
-4
Let z = -47 + 68. Suppose z = 3*j + 2*w + 2*w, -5*w + 27 = 4*j. Solve 2*a = 4*i - 5 + j, 2*i - 3*a + 9 = 0 for i.
3
Let t be -1 - (0 - 0) - 1. Let r be (-14)/(-4) - t/4. Let i(w) = -w**2 + 5*w - 4. Let m be i(3). Solve -n - m*z - 13 = -r, -5*z = 3*n + 24 for n.
-3
Let u be 1 + 3/((-3)/(-2)). Suppose 0 = u*s - 4*s. Solve -3*b - v + 16 = s, -4*b + 2*v + 11 = -7 for b.
5
Let g be 16/6 - (-3)/9. Suppose 3*w - 11 = -2*u + 7, -3*u + g*w + 27 = 0. Solve 10 = 5*b + 2*q + 2*q, -2*b = -q + u for b.
-2
Suppose 5*k = 15 + 15. Let j(f) = -2*f + 5. Let d be j(k). Let v be d/(1/2*-1). Solve w + 0*r - 4 = -r, w = -3*r + v for w.
-1
Suppose 63*j - 22 = 61*j. Solve -5*a + j = -9, -2*f = -2*a + 2 for f.
3
Let a(x) be the third derivative of -x**5/60 + 7*x**4/24 - 5*x**3/6 - 3*x**2. Let q be a(5). Solve 0 = -2*v - 3*s - 13, -2*v = -4*v - q*s - 19 for v.
-2
Let w(l) = -2*l - 1. Let d be w(-3). Let r = d + -1. Let i be 5*8/(-10)*-1. Solve 0*k + 7 = 4*k - 3*a, r*k + 28 = -i*a for k.
-2
Suppose 3*t - 24 = -3*k, 0*t + 5*k + 5 = 4*t. Solve t*g = 0, -g + 4*g = b - 4 for b.
4
Let h = -10 - -31. Suppose 0 = -3*j - 2*j + 2*r + h, -4*j - 2*r + 6 = 0. Solve 2*i + 5*o = -0*i - 1, -i = j*o for i.
-3
Let u = 11 - 7. Suppose -2*s + u = -6. Solve y - 12 = -4*a - 3*y, 4*y + 24 = s*a for a.
4
Let x(z) = -z - 8. Let y be x(-6). Let m = y - -4. Let q be 1 + 8/m + -2. Solve -5*i - 13 = 3*t, q*t + 11 = -4*i - 0 for i.
-2
Suppose -4*j + 29 = 4*x - x, 5*j = -x + 39. Solve -2*k - 1 = 5*f - j, -3*k + 3*f - 21 = 0 for k.
-4
Suppose t - 15 = -5*x, -5*x + 8 = -4*t - 7. Solve 4*p = x*p + n, 2*p - n = -3 for p.
-3
Let a be (2/5)/((-1)/25). Let g = 10 + a. Solve -3*u = k + 14, g = 3*u + 2*k - 0*k + 16 for u.
-4
Let q(t) = -t - 1. Let g be q(-5). Let u = -1 - -1. Let o be 4 - (-1 + 2 - u). Solve 0 = -o*y + 4*f - 3, -2*f + g = -2*y - 2*y for y.
-1
Suppose -3 = -3*t - 12. Let o be (0 - t)/(5 + -4). Solve 3*w = 4*l + 10, -l + 2*w = -o*w + 11 for l.
-1
Let i(w) = 2*w. Let r be i(5). Let y = r + -10. Solve 4*c + 10 = -3*h, 3*c - c + 2 = y for h.
-2
Let d(k) = k**3 - 2*k**2 + k - 1. Let i be d(2). Solve -4*v - j = -i + 17, -3*v = 4*j - 1 for v.
-5
Let s = 10 + -8. Solve -3*h - 7 = s*l - 0, 0 = h - 1 for l.
-5
Let t(y) = -y**2 - 4*y + 4. Suppose a = -4*a - 20. Let i be t(a). Suppose 2*f = 3 + 9. Solve -3*x - f = g, -3*x + x = -i*g + 18 for g.
3
Suppose -2*g + 4*c + 24 = 0, -3*g + 5*g + 5*c = -3. Suppose -q + g*q + 1 = -3*x, -2*x - 6 = -2*q. Solve 2*u + q = a + 5, -4*u + 8 = -5*a for u.
2
Suppose 6*j = 2*j + 12. Suppose -w = -2 - 3. Suppose 0 = 2*p + t - j, -w*p - 9 = -5*t + 2*t. Solve p = u - 4*u - 2*q - 8, 0 = -5*u - 4*q - 12 for u.
-4
Let d = -3 + 3. Let b(c) = c**2 - 16*c + 61. Let x be b(12). Solve 0*w + w - 5*z + 2 = 0, 5*w - 2*z - x = d for w.
3
Suppose 2*z + 2*z = 8. Suppose -2*a - 14 = -f, -z - 25 = -3*f + a. Solve -2*t - f = 3*v, 3*v - 3 = 2*v + 5*t for v.
-2
Let h(q) = -2*q + 22. Let p be h(7). Solve -16 = 4*d, -4*l + 0*l + d = -p for l.
1
Suppose 0*k = -3*k - 30. Let r(m) = m + 12. Let q be r(k). Solve -j - 2 = 5*c, j = c + q*j - 2 for c.
-1
Let b be (-3 - -4)/((-1)/(-5)). Let l = b + -5. Suppose 3*y = -4*j + 25, -y = j - 3*j + 5. Solve 5*x + l - 32 = 3*u, 0 = -y*u - 5*x + 8 for u.
-4
Suppose -c + 6 = -2*w, -3*c + w + 10 = 3*w. Solve 4*z + 0*z + c = -3*k, 0 = 4*k + 5*z + 6 for k.
-4
Let m(g) = -3*g. Let t be m(-2). Let b be (2 - 2)/(t - 3). Let n = b + 3. Solve 0*s + 5 = -5*q - 2*s, -n*q - 24 = -3*s for q.
-3
Suppose q = 5, -5*u + 3*q = 7*q - 20. Let g be (1 + -1)*(u - -1). Solve -2*x + 13 = -g*c - 5*c, 0 = 4*x + 4*c + 16 for x.
-1
Suppose -4*s = -s - 18. Solve 2*h - s*h + 2*f = -4, 0 = h - 2*f - 1 for h.
1
Suppose y = -4*y + 25. Suppose -4*s = -y - 3. Solve 0 = i + 3*i, -2*w - 2*i + s = 0 for w.
1
Let b(k) = -k**2 + 4. Let p be b(0). Solve -p*t = -5*g + 26, -2*t = g - 3*t - 6 for g.
2
Let j = 2 + 0. Solve 3*k + 9 = 5*v, -j*v + 14 = 3*k + 2 for v.
3
Suppose -q = -0*q + 3*b - 21, 2*q + 4*b - 40 = 0. Suppose -28 = -4*s - 3*j - 5, 3*s + 3*j - q = 0. Solve 20 = -3*a - s*l, -2*a - 8 = 4*l + 8 for a.
0
Let l be 5 + -4 - (-1 + -2). Solve 5*p - l = -g - 32, 0 = -3*p + 2*g - 9 for p.
-5
Suppose 4*y = 5*v + 38, -2*y - 2*y - 2*v + 52 = 0. Solve 0 