5 = a for a.
3
Let q = 24 - 15. Let d be (8/(-16))/((-2)/(-4)). Let a(f) = -8*f + 2. Let l be a(d). Solve -3*n = -2*r - r + q, -5*r + l = -4*n for n.
-5
Suppose -2*h + 5*d + 6 = -2, 2*d - 20 = -5*h. Solve 16 = -h*q, 2*m + 6 - 24 = 5*q for m.
-1
Let c be (8 - 0)*(-3)/(-6). Suppose -c = 4*h + 3*p, 0 = 4*h - h - 2*p - 14. Solve h*w + 3*n + 39 = 14, -3*w - 30 = 3*n for w.
-5
Suppose -2*q = 2*h, -3*h = -0*h - 4*q - 14. Solve -5*n = -l - 16, 8 = 5*l - h*n - n for l.
4
Suppose -2*g = 23 - 31. Solve z - 4*y + 12 = 0, 2*y = 5*z + 10 - g for z.
0
Suppose -4*z = 4*u - 124, -z + 5*z + 2*u - 120 = 0. Suppose 0 = -4*h + z + 63. Solve -2*w = 5*x + h, -4*x - 13 = -2*x - 3*w for x.
-5
Let g = 0 + 5. Let r(u) = u - 12. Let p be r(12). Let q = g - p. Solve -2*n - 4 = 0, 0*w - q = 3*w - 5*n for w.
-5
Let p be ((-2)/(-11) + 24/(-132))/(-3). Solve 0 = -3*z - 3*l + 15, p = z - l - 2 + 1 for z.
3
Let n be 13/4 - 6/24. Let t be -1*n - -1*6. Solve -t*r = 5*c - 5, 5*r + 0*r - c = -29 for r.
-5
Suppose -4*g + 37 = 17. Solve -4*y = 3*n + 1, -y - 7 = g*n + 6 for y.
2
Suppose 4*u = -3*q + 428, 0*q - 5*u + 276 = 2*q. Let t = q - -2. Let c be ((-4)/(-6))/(4/t). Solve -10 = d - 5*f, c = 3*d - d + 5*f for d.
5
Let r be (144/64)/(3/(-16)). Let z = r + 15. Solve -3*a - z*x - 14 = -x, 0 = -a + x - 3 for a.
-4
Let w(j) = -j - 2. Suppose -3*b = -2*b + 7. Let z be w(b). Solve v + 5 = 2*r - 7*r, -r = -z*v - 25 for v.
-5
Suppose -4*o = 5*c - 23 + 2, 2*o + 5*c = 13. Solve o*i = -4*d + d + 3, -d = i - 1 for d.
1
Suppose 0 = -u + 6*u. Solve 2*f + h + 6 = -u*h, 5*f + 3*h + 17 = 0 for f.
-1
Suppose 8 = -2*k + 6*k. Solve g - 3*t - 6 = -k*g, -3*t = -6 for g.
4
Suppose y + 1 = -5*x, -4*x - y = 1 - 0. Let g = 0 - x. Suppose 105 = 3*f + 3*c, -2*f - 6*c + c + 55 = g. Solve -5*i - 3*w = -f, 2*i = -2*w - 2*w + 30 for i.
5
Let x(f) = -f**3 - 6*f**2 - 6*f - 2. Let m be x(-5). Suppose -4*t + 5 = -3. Solve -t*q = -3*j - 2, j = -q - m + 4 for j.
0
Let q(a) = -7*a + 10. Let k(g) = -g. Let y(f) = -6*k(f) + q(f). Let b be y(5). Solve -2*l = -d + l + 13, b*l - 1 = -4*d for d.
4
Suppose -s = -4*s + 4*c - 12, 12 = 2*s + 4*c. Let z be (-10 - -7) + (3 - s). Solve -4*w - 8 = 0, -y + 3*w + 3 = -z*w for y.
-3
Let o be (18/(-12))/(1/(-2)). Solve -3*b - 8 = 5*a, -a + 2*b + o*b - 24 = 0 for a.
-4
Suppose 8*w - 20 = 4*w. Solve 4 = -2*m + 4*u, w*m - m - 2*u = 4 for m.
2
Let t(z) = z**2 - 1. Let b be t(1). Let r be 2*2/(-8)*b. Solve r = 2*c - 5*d + 4, c - 2*c - 3*d = 2 for c.
-2
Let f(i) = -i - 2*i + 5*i - 1. Suppose 3*d - 7 - 5 = 0. Let j be f(d). Solve p = -2*m - 4 - j, 5*m + 28 = -3*p for m.
-5
Suppose -d - 2*y = -3*d - 6, 5*y - 15 = -d. Let s = d + 4. Solve 3*f = x + 3*x, 0 = 4*x + s*f + 28 for x.
-3
Suppose -v + 1 = -1. Let u be 6/2 - (-7 - -8). Suppose 6*n - 14 = -u*k + 4*n, 4*k - 7 = 3*n. Solve 2*m + 2*p - p + k = 0, -4*p = v*m + 16 for m.
0
Let y(i) be the third derivative of -i**6/120 - i**5/6 + i**4/24 + 2*i**3 + 6*i**2. Let f be y(-10). Solve f = t + b - 0, 5*t - 3*b = 26 for t.
4
Suppose -4*x + 5*x = 4. Suppose 0 = -x*p - 3*d + 4, 2*p + d = -0*p + 2. Solve -5*m - 4*v + 0 = p, -9 = 4*m - 5*v for m.
-1
Let t be 2/4*(-1 + 1). Solve r - 5*o + 12 = t, 2*r - 3*r - 3*o = -12 for r.
3
Suppose -8*j = -4*y - 6*j + 44, 2*y - 38 = 5*j. Solve 3*r + w = y, 0 = 2*r - 0*r + 5*w + 7 for r.
4
Let j = 13 - 4. Suppose 5*w - 2 = 3. Suppose 0 = a + w, -2*o + 4*a + j = -a. Solve q - 5*n + 6 = -2*q, q = 5*n - o for q.
-2
Suppose 0*u = 5*r - 2*u - 10, 0 = 5*r + 5*u - 10. Solve 10 = 2*o, -r*o - o = -4*i + 5 for i.
5
Suppose -d + 9 + 2 = 0. Solve 0*k = -3*k + i - d, -3*k - 26 = -4*i for k.
-2
Suppose -5*u = -m - 14, 3*u + 3 - 15 = 0. Suppose 3*f - 6 = m. Suppose f*w - w = -5*v + 7, -15 = -5*v + 5*w. Solve -v*q + 4*j + 32 = 2*q, -2*j = 10 for q.
3
Let a(d) = d**3 - 10*d**2 + 5. Let w be a(10). Solve 2 = 5*k + 2*p - 1, 0 = -w*k + 2*p + 7 for k.
1
Let s(o) = -o + 14. Let p be s(0). Let l = 20 - p. Let x be l/9*(1 - -2). Solve -x*c - 2*w = -c - 5, -3*c + 15 = 2*w for c.
5
Let v = 2 + 11. Let z = 2 + 0. Suppose 3*y + d = 12, -z*d + 4 = 2*y - 0*d. Solve -3*p = 15, y*g - 3*g - v = p for g.
4
Let o be (-5 - -9)*(-3)/(-2). Suppose 6*q - 3*q = 0, -4*b + 8 = 2*q. Suppose -b*j + 6 + 0 = 0. Solve v + 5*k + 3 = 0, 5*v - j*k + o = 19 for v.
2
Let b(l) = -l**2 + 6*l + 5. Let g be b(6). Solve -k = -3*k + 2*q - 12, 3 = 4*k + g*q for k.
-3
Let b(m) = -m**3 - 34*m**2 - 34*m - 26. Let x be b(-33). Solve 3*t + 8*z - 4*z - x = 0, 4*t + 4*z - 12 = 0 for t.
5
Suppose 0 = 5*y - 7 - 8. Solve -8*h = -2*a - y*h + 8, -2*h - 4 = 0 for a.
-1
Let h(d) = -d. Let o be 1/(-3) - 8/3. Let u be h(o). Let c = 7 + u. Solve q - 7 = 2*z - 1, c = 4*q - z for q.
2
Let b be 0 + (-3)/(-1) - -1. Suppose 0 = -2*c + 4*j - b + 18, 3 = c - 3*j. Solve 5*v + c = 3*s, s + 2 = -3*v - 7 for v.
-3
Let a(g) = g + 6. Suppose -z - 2*d = -6*z + 44, -2*z + 4*d + 24 = 0. Let j = z + -14. Let i be a(j). Solve 0 = -5*u - 2*n, i = -5*u - 5*n + 7 + 8 for u.
-2
Let k(u) = -u + 4. Let f(s) = -2*s + 7. Let c(v) = 2*f(v) - 5*k(v). Let a be c(6). Solve -6 = 2*w + 2*n + 4, a = 4*w - 2*n - 4 for w.
-1
Let m = -165 - -172. Solve 11 = 3*g + k, 4*g + 5*k - 4 = m for g.
4
Let t(k) be the third derivative of -k**4/24 + k**3/6 + 4*k**2. Let y be t(-6). Solve -3*p - 9 = -3*j, p + 4*j - y = -0*j for p.
-1
Let m = 6 - 3. Let n be (-1)/m*(-45)/5. Solve -2*y + 3*y = -4*r + 14, n*y + 3*r - 6 = 0 for y.
-2
Let q(m) = -m**2 - 6*m - 4. Let h be q(-2). Let n = 2 + 2. Solve 2 = h*s - 2*s - 2*p, -4*s + p + n = 0 for s.
1
Let u(v) = 2*v**2 - 2*v + 3. Let c be u(-4). Let q(o) = o**2 + 10*o + 9. Let t be q(-4). Let n = c + t. Solve -4*z - n = 4*d, 0 = -0*z - 2*z + 5*d + 21 for z.
-2
Suppose 12 = x - 4*i - i, 0 = -2*x - 2*i. Suppose -5*u = -0*q + 4*q - 3, -2*q = x*u - 2. Suppose 2*j + 7 = 3*j. Solve -3*v + j = -z, q*z = -5*v + 4*v - 7 for v.
1
Suppose -5*l + 3 + 10 = 4*o, 0 = -3*l + 3. Solve 0*y + 4*v - 2 = y, -4*y - o*v = -10 for y.
2
Let r be (1 - -1) + (-1 - -1). Let d be 15/3 - 4 - -2. Solve -5*n - 10 = r*u - d, 5*u = 5*n for n.
-1
Let w be 3 - (-1)/((-1)/(-10)). Suppose -4*b + 29 = b - 2*l, 4*b - 5*l = 30. Solve w = n - 3*n + d, -d = -b for n.
-4
Let n be 17/4 + 2 + 2/(-8). Solve -l - 5*b + 6 = -0*l, n = 3*b for l.
-4
Let x(l) = -l**3 + 6*l**2 - 3*l + 5. Let y be x(4). Suppose -5*i - y = -10*i. Let k = -1 + 3. Solve a - 2*v = -6, -i*a - 8 = -5*v + k for a.
2
Let z(t) = -t + 14. Let c be z(6). Let f(r) = 5*r - 20. Let w be f(c). Solve 4*u + 3*s = -32, 4*s + w = -s for u.
-5
Suppose h = -0*h - 4*z + 18, -3*h + 15 = -z. Let u(k) = k**2 - 4*k. Let c be u(4). Solve c = 2*l - 4*i - 2, i = -l + 1 - h for l.
-3
Let z = 13 + -8. Solve 3*q + 22 = -z*l, -5*q = 5*l + 1 + 19 for q.
1
Let n = -74 - -77. Let q(r) = r + 6. Let a be q(-6). Suppose -30 = -n*d - a*d. Solve 2*l = s + d, -4*s + 0*l + 15 = 3*l for s.
0
Let x be -1 - 3 - -3 - (1 - 8). Solve -2*o - 13 = -3*y, 2*o - x = -2*y + 6 for o.
1
Let s = 8 - 5. Let b(d) = 6*d**2 + d. Suppose 0 = 4*i + 2*g + 8, 4*i - 4*g - 7 + 3 = 0. Let u be b(i). Solve p = 3*h - 0*p + u, s*h - 3*p + 15 = 0 for h.
0
Let t(h) = h**2 - 11*h + 4. Let j be t(10). Let s = j - -9. Solve 0 = 6*y - y + k + s, -k = -5*y - 7 for y.
-1
Let h = -3 - -6. Suppose 10 = -2*g, 2*c - g - 7 = -0*c. Let x(u) = -2*u - 6. Let q be x(-3). Solve h*i + 2*v + 2*v - c = q, -4 = 3*i - v for i.
-1
Let y be 2/((-27)/(-30) + -1). Let m = y + -1. Let o be 8/(-6)*m/2. Solve -2*x - t = 8, -2*x - 5*t + t = o for x.
-3
Let u(f) = 4*f**2 + f - 1. Let n be u(1). Suppose 2*s + 4*a + 0 = n, 0 = 4*s - 4*a - 20. Solve -2*m = -0*d + s*d + 6, -5*d = -3*m + 2 for d.
-1
Suppose 8*h + 34 = 10*h. Solve -10 = -2*g - 2*l, -h + 7 = 5*g - 2*l for g.
0
Let n = -17 - -32. Suppose 5*z - 5*b - n = 0, b + 0 + 3 = 4*z. Let u(d) = d**2 + d. Let a be u(1). Solve 4*h + 12 = -0*t - 3*t, a*t + 4*h + 8 = z for t.
-4
Let j be 5*2*2/(-4). Let m = j - -8. Let v = -1 + 5. Solve -2*u + 4 = v*y - 3*u, 4*y - m*u - 4 = 0 for y.
1
Suppose -2*w - 50 = -7*w. Solve -8 = 4*q + 4*y + 8, -w = q + 3*y for q.
-1
Suppose 3*q + 10 = h, 6 = h - 2*h - 5*q. Suppose -k + 2 = -h*y, 2*k + 0*k = 4*y + 4. Solve -4*x + 15 = -5*m - 11, 0 = 5*x - k*m - 24 for x.
4
Let v(p) = p**3 + p + 4. Let m be v(0). Suppose -4*b = 3*h + b + 22, 3*h - m*b = 23. Suppose -h = -5*j + 24. Solve 3*y = 5*d + 10, j*