*a - k*f for a.
-2
Let k be (1 - 2)*(-2 - 1). Let z be -1 + (40/18 - 18/81). Let a be (-2)/z + -13 + 18. Solve 0 = a*f + 6*i - 3*i - k, -3*f - 4*i = -7 for f.
-3
Suppose -8*b + 5*b = -177. Let q = b + -36. Suppose 4 = 3*x - 5. Solve 5*k - 3*k = 5*v + 21, x*v = -4*k - q for k.
-2
Suppose -o - 19 = -4*w, 2*w = -2*w - 2*o + 34. Solve 2*t = -3*z + 8, 4*t + z = -0*z + w for t.
1
Suppose 460*r - 1150 = 410*r. Solve -5*s = 25, 2*b = 2*s + r - 11 for b.
1
Let b = 62 + -34. Let x = -28 + b. Solve 4*i - 2*t + 20 = x, 0 = -t - 0*t + 4 for i.
-3
Let u = -5 + 15. Let r be (44/6)/(u/15). Solve -4*a = 3*y - 6*a - 7, 3*a + r = 4*y for y.
-1
Let h(q) = 8*q - 3*q - 6*q - 6. Suppose -1 = 4*z + 43. Let k be h(z). Solve -5*r + 3*t + 11 = 0, 4*r - k = t + 1 for r.
1
Suppose 24 = -2*q - 4*g, g + 4 = -g. Let b be (-3)/(-6)*(0 - 2 - q). Solve 5*o + l - 5*l = -8, -4*o + b*l = 7 for o.
-4
Let k be (88/16 - 6)/(1/(-4)). Suppose 5*m - 28 = -3*x, 5*m - 8 = 17. Let u = k - x. Solve 5*d - 20 = 0, u = 5*f - d - 10 for f.
3
Suppose -6*c - 264 = -60. Let s = c - -38. Let q(t) = t**2 - 11*t - 24. Let a be q(13). Solve -w + a*r + 11 = -0*r, s*w + 21 = -5*r for w.
1
Let s(v) = 14*v**2 + 2*v - 2. Let l(w) = -5*w**2 - w + 1. Let h(k) = 11*l(k) + 4*s(k). Let m be h(-3). Solve y + 5*c = -0*c + m, c - 13 = 2*y for y.
-4
Let m = -82 + 87. Solve 9 = u - 5*p + 3, 2*p - 16 = m*u for u.
-4
Let i = 377 + -371. Let r(u) = -u**3 + u**2 + u - 1. Let b be r(1). Solve 29 = -5*d - 2*k, b = d - i*d + 2*k - 21 for d.
-5
Suppose -d + 5*n + 25 = 0, 0 = -3*d - 3*n + 5*n + 10. Let r be (d - 1)*-1*(-3 + 7). Solve 3*s + 6 = r*m - 8, 0 = 4*m + 2*s - 24 for m.
5
Let w be ((-24)/(-42))/(4/14). Suppose -w*c - 141 = -363. Suppose -c = -3*a - 18. Solve -5*n = 5*y + 11 - a, 28 = 5*n - 3*y for n.
5
Let s(g) = 3*g**2 - 8*g + 2. Let h be s(3). Suppose -3*l = 25 + h. Let f = l - -13. Solve -w + 3*a - 2 = 2*a, -2*w - 3 = -f*a for w.
-3
Let o be 6*(-6)/(-18) + -2. Suppose o = -7*s + 18 + 10. Solve -s*l - 2*b - 3 = 7, 5*l - 5*b - 10 = 0 for l.
-1
Let m = -29 + 28. Let k be -5*(2 + -2 + m). Solve 2*t - 5*b - k - 7 = 0, -5*b = -t + 11 for t.
1
Let w = 45 - 43. Suppose -3*c - 2 = w*t, 5*c = 3*c - t - 1. Solve u = -2*g - 3, c = g + 2*g - 2*u + 8 for g.
-2
Let p(l) = -l**2 + 3*l. Let n be p(3). Let m(g) = -g + 1. Let r be m(4). Let s = r - -6. Solve -2*b + q - 1 = -10, n = -b - s*q + 1 for b.
4
Suppose -10*l - 70 = -15*l. Let n(v) = 4*v - 114*v**3 + 4 + 115*v**3 - l*v + 9*v**2. Let q be n(-10). Solve 0 = -4*b + 5*y - q*y + 10, -3*y + 3 = -b for b.
3
Suppose 3*k + q = 12, 4*k + 0*q - 2*q - 16 = 0. Let f be (-63)/(-14) - (-2)/(-4). Solve -3*p + 17 = -y + 1, -k*p = -f*y - 32 for y.
-4
Let s = -216 + 216. Solve 3*h = 2*c, -2*c = 2*h - s*c for h.
0
Let f = 81 + -90. Let w be (-1 + 4)/(8 - 5). Let h be 18/(-9)*(f + w). Solve a - 3*j = 2*a - h, 5*a - 2*j - 12 = 0 for a.
4
Let b = -18 - -18. Suppose 0*n = -2*n + 10, b = 4*t + 2*n - 142. Let l = -20 + t. Solve -u = -2*q - l, -3*q = -4*q + 4*u - 24 for q.
-4
Let p(k) = -k**2 - 4*k + 1. Let n be (14/(-21))/((-2)/12). Let v be p(n). Let w = -31 - v. Solve w = 4*m + 5*x - 7, -5*m = 4*x - 11 for m.
3
Suppose -m + 10 = -10. Solve 2*o + 4 = -2*y, -5*o = -4*y - y - m for o.
1
Let i be (2 + -6 + 1)*10/(-15). Solve r + 0*a + a - 3 = 0, 6 = i*r - 2*a for r.
3
Let m(k) = 2*k - 1. Let b be m(12). Let w = b + -18. Suppose w*n + 15 = 60. Solve -5*z = 2*c - 3*c + 3, 0 = 2*c + 5*z + n for c.
-2
Let x(l) = 7*l**2 - 2*l - 2*l**2 + 2*l + 7*l. Let n be x(-2). Solve 0 = -b + 2*t - 7*t + n, -4*t = b - 5 for b.
1
Suppose -16*j = -18*j + 36. Suppose -3*p - 4*d - 10 = 0, 0*p + p - 4*d = j. Solve 3*z = -5*b + 6, -p = -z + 3*b - 4*b for z.
2
Suppose 3*o - 3*a + 99 = -0*o, -4 = a. Let g = -32 - o. Solve -t + 2*s - 4 = 4*s, -3*s = -g*t + 19 for t.
2
Let k be ((-12)/(-10))/(4/30). Let o = k - 4. Solve 2*m + 0*y = y + 4, -o*m = -4*y - 10 for m.
2
Let f be -1 + 1/(-3)*-21. Suppose -9*m - 3 = -f*m. Let v = -1 - m. Solve -4*r - q + 20 = -v*r, q + 12 = 4*r for r.
4
Let v(g) = -2*g + 0*g + 13 - 2*g + 5*g. Let t be v(-11). Let j(h) = h**2 - 2*h. Let l be j(-2). Solve -4*x + 8 = 2*f, 3*x = t*x + 2*f - l for x.
0
Suppose 79 = f + 4*g + 87, f = 5*g + 19. Suppose 5 = -2*j + 1. Let u(q) = q**2 + 3*q + 3. Let b be u(j). Solve 3*r = -f*w - 10, 4*w - 3*r - 1 = b for w.
-1
Let d(s) = -6*s**3 - 131*s**2 + 20*s - 39. Let t be d(-22). Solve 5*a = c - t, -39 = 5*c - 14 for a.
-2
Suppose -16 = -2*s - 5*i, -6*i = -s - 3*i - 14. Let j be 6 - (10 + -2)/s. Solve 0*h + 2*h = j, 3*h - 25 = -5*d for d.
2
Let o be ((-1)/1)/((-3)/27). Let s(j) = -j**3 + 8*j**2 + 8*j + 13. Let r be s(o). Suppose -7*q + 2*q + 75 = 0. Solve -3*t + 4*p = -q, t + r*p + 11 = -0 for t.
1
Suppose -3*u + 9 = 3*f, -2*f + 5*f + 27 = 3*u. Suppose -4*k - 10 = -9*k. Suppose 3*i - 3 = k*i. Solve i = -b + 4*n - u, 3*n - 5 = -b for b.
-1
Suppose -q - 35 = -5*j + 4*q, 0 = 5*j + 5*q - 5. Let i = -10 + 21. Suppose j*n - i = x, 3*n - 2 = -x + 3*x. Solve 5*g = x*u - 30, -2*g = 2*u - u + 9 for u.
1
Suppose -36 + 18 = -3*m. Suppose y + 0*y = 2*w - 8, w - y = m. Solve 0 = 5*a - x + 21, a + 6 = -a - w*x for a.
-4
Let n(o) = 123*o**2 - 3*o - 2. Let w be n(-1). Let h = w + -88. Solve 0 = -5*v - 11 + h, -8 = -3*c - v for c.
1
Let j be 3/(-6)*(-36)/(-3). Let z be ((-2)/3)/((-2)/j). Let r(m) = 2*m**2 + 2*m - 2. Let l be r(z). Solve -2*t = 4*d + 2, l*t + 1 = 4*d - 9 for d.
1
Let g = -30 - -33. Solve -x = 2*r - 1, 0 = 4*x + g + 17 for r.
3
Let l(o) = -o**3 + 14*o**2 - 15*o + 31. Let u be l(13). Solve 5*c + 4*t - 41 = 0, -u*t = -4*c - 0*c for c.
5
Let j be (-6)/4*14/(-21). Let c(x) = 10*x - 5. Let q be c(j). Solve 0*a - 4*g - 22 = a, 5*g + 35 = -q*a for a.
-2
Let p be 9 - 7 - (-3 - 12/(-4)). Solve 2 = -p*j - 2*x, -4*j + 1 = x - 4 for j.
2
Suppose 100 + 54 = -14*n. Let f(q) be the second derivative of q**4/12 + 11*q**3/6 + 3*q**2/2 - 2*q. Let s be f(n). Solve 4*m - 4 = -5*y, 2*y = m + s - 4 for y.
0
Let b = -46 + 53. Suppose -b = -2*c - 5. Solve 0 = 3*f - 3*s + 9, -2*f + c = -s + 7 for f.
-3
Let s = 1755 + -1753. Solve b - l = -6, -6*b = -7*b - s*l for b.
-4
Let n be (-39)/6*(-12)/6. Let s(j) = j**3 - 12*j**2 - 12*j - 7. Let a be s(n). Solve u = h + a - 0, -4*h + 3 = 5*u for h.
-3
Let c be (16/(-7) - -2)/(2/(-14)). Suppose 3*b - 5*x = 11, 4*b + x - 3 = c*b. Solve 4 = 2*t - g + 6*g, -b*t + 5*g - 16 = 0 for t.
-3
Let g = 0 + 5. Suppose 2*u - 18 = -2*m, -15*u - 29 = -m - 12*u. Solve -g*f - h = 3*h + 15, -4*f = -2*h - m for f.
1
Let z = -25 + 23. Let r be (-15)/(-10)*(z - -4). Suppose -3*c + 2 = p - r, 54 = 4*p - 5*c. Solve -2*u - 18 = -5*a, 3*a - 4*u - p = 11 for a.
2
Let x(f) = 9*f**2 - 4 - 119*f**3 + 120*f**3 - 20*f + 29. Let z be x(-11). Solve 15 = -3*s + 3*u, -s - z*u + 10 = -u for s.
0
Let h(b) = 27*b + 137. Let l be h(-5). Solve 0 = 3*p - 6*p + l*k - 17, 5*p + 29 = 4*k for p.
-5
Let q = 26 - 11. Let f(y) = 5*y - 19. Let v(o) = -6*o + 19. Let m(b) = -5*f(b) - 4*v(b). Let a be m(q). Solve -5*z = 0, a*w + 3 = -2*z + 7 for w.
1
Suppose 0 = -3*y - 4*j + 20, -3*y + 7 = 5*j - 9. Suppose y = 2*m + 2*m. Solve 0 = 3*o - 6, -m*o = -0*l + 4*l - 14 for l.
2
Suppose -u + 3*u = -c + 6, 2*c + u - 6 = 0. Let a be 3 + c/5*5. Solve 3*l - 3*w + a = w, -5*l - 10 = -5*w for l.
-3
Let c(m) = -5*m + 4*m - 3 - 10 + 1. Let j be c(-14). Solve 3*s + 32 = -5*p, j*s + 2*s = 3*p - 4 for p.
-4
Suppose n = 5*n - 20. Suppose 4*z - 75 = -4*q - 483, 3*z + 318 = q. Let c be z/(-14) + 2/8*-2. Solve 0 = u - 0*u - n*y - c, -3 = -4*u - 5*y for u.
2
Suppose 4*x + 4*i = 28, 10*x + 4*i - 31 = 5*x. Suppose -5*b - 35 = -8*g + 6*g, 3*g - b - 85 = 0. Solve 3*d = 4*k - 35, 2*k = x*d + d + g for k.
5
Let k(t) = 2*t**2 - 4*t - 7. Let z be k(3). Let s be ((-48)/4)/(-4) + z. Solve i - 8 = v - 3*v, -i = -s*v for i.
4
Let s be ((-3)/(-2))/(1/16*12). Solve -z = -4*p - 4, -2*p = -0*p + 4*z + s for p.
-1
Let y be 9/(-36) + 17/4. Let j = y - -9. Solve 5*q - 3*q - 16 = 4*d, -q = -3*d - j for d.
-5
Let y be (-21 + -6 + 22)*6/(-10). Solve 3 = 3*a + y*p, 5*p - 4 = 4*a + 10 for a.
-1
Let a = -28 - 18. Let o = a + 54. Solve 2 = 2*b + i, 4*b = 5*i + 10 + o for b.
2
Let f be 176/48*3/1. Let d = -13 + 14. Let b be (-6)/(-1) - (2 + d). Solve 5*s = 4*l - b*l - 17, s - 5*l = f for s.
-4
Let q = 16 - -9. Suppose 2*d + t = 13, q = -8*t + 3*t. Solve -o = n, 