2*k + 4*a for k.
-1
Let k(x) = 33*x - 92. Let f be k(3). Solve 4*g + 16 = p, 3*g - 16 = f*g for p.
0
Let t = 43 + -51. Let s be (-3)/(-2) + (4/t - -1). Solve -n - 7 = -5*r, r + s = -3*n - 3 for r.
1
Let g = 546 + -523. Solve 7 = -4*i - 2*r - g, -2*i = 2*r + 20 for i.
-5
Suppose 3*h = h + 20. Suppose 9*x = 4*x + h. Solve -7*u + 3*u = -4*m - 20, -3*u = x*m for m.
-3
Suppose -2*h - 8 = -4*h. Suppose -7*z + 33 = h*z. Solve z*x = 3*r + 12, -r = -3*x - 0*x + 6 for r.
-3
Suppose 4*h + 2 - 13 = 3*u, 2*h + 2 = 0. Let n(c) = -c**2 - 7*c - 6. Let i be n(u). Solve 0 = -4*o + 4*q - i, q - 19 = -4*o - o for o.
3
Let g(r) = r**2 + 18*r - 173. Let t be g(-25). Solve n + f = -n - 5, 0 = t*n - 3*f - 7 for n.
-1
Let q = -20 - -29. Let c be 6*q/(108/8). Solve -w = -5*d - 14 - 4, 24 = -4*d - c*w for d.
-4
Suppose 0 = -a - 4*h + 22 + 3, -5*a + h + 20 = 0. Let j = a - -5. Let s = j - 1. Solve 5*k - k - d - s = 0, -6 = -4*k - 2*d for k.
2
Suppose 5*x - 4*v - 33 = 13, -2*v = 8. Solve 5*a + x = 2*t - 0*t, -3*a = -3*t + 9 for a.
0
Suppose 0 = c - 5*n + 8 + 3, -2*c + 43 = 3*n. Let r(p) = p**2 - 12*p - 24. Let s be r(c). Solve s*d + 15 = -g, 2*d + 5*g - 2*g + 5 = 0 for d.
-4
Suppose -15*h = -47 + 17. Solve h*w - 1 = -2*u + 9, 3*w = 3*u + 15 for u.
0
Suppose -2*c = 3*c + 3*w - 11, -9 = 3*w. Let z = -3 - -7. Solve -5*r + 5 = 5*k, -z*k - 6*r = -c*r - 4 for k.
1
Suppose 14*o = 30*o - 32. Solve 0 = 6*g - 3*g - 5*q - 17, 5*q = o*g - 18 for g.
-1
Let m(x) = -x**3 - 5*x**2 + 3*x - 13. Let k be m(-6). Solve -2*y - 5 + 15 = 4*v, -k*y + 25 = 2*v for y.
5
Let s(v) = -18*v - 35. Let k be s(-2). Solve -4*d + 12 = 0, -4*n + d + k = -0*d for n.
1
Let r(l) = -l - 26. Let z be r(-14). Let m = -7 - z. Solve 3*o + 0*i - 6 = -i, 0 = 2*o - m*i - 4 for o.
2
Let t be 16/(-8)*(-279)/(-6). Let m = t - -104. Solve -h = -2*n + m, 3*h - 6*n + n = -29 for h.
-3
Let j be ((-32)/40)/((-2)/(-5)). Let l be j/(-6) - 14/(-3). Solve -l*x - t - 2*t + 15 = 0, 0 = -5*x + 2*t - 10 for x.
0
Suppose 2*q = 6*q - 12. Let w = 67 - 102. Let u = w + 37. Solve -q*o - u*o = 3*b + 12, -2*o - 6 = 0 for b.
1
Let v(k) = k**3 + 15*k**2 + 9*k - 57. Let l be v(-14). Solve -s - f + l = -4*s, 4*f = -s for s.
-4
Let g = 54 + -57. Let v be (9/6 + -2)*(g + 3). Solve v*w = -f + w - 2, 2 = -4*f + w for f.
0
Suppose -8*a = -6*a - 8. Let f be (-4)/8 - (-22)/a. Let p = -99 - -105. Solve -f*c - 6 = 4*y + p, -2*c = -2*y - 6 for c.
0
Suppose 10080 = 6*l - 27*l. Let p be l/(-45)*3/4. Solve 4*h + 4*a = p, h - a + 1 = -3*a for h.
5
Let m(a) = -5*a + 46. Let n be m(0). Suppose 47*s = n*s. Solve 0 = b + 3, 2*f + 5*b - b + 22 = s for f.
-5
Let n(l) be the second derivative of -l**4/12 - 5*l**3/6 - 3*l**2/2 - 8*l. Let w be n(-2). Suppose -q = w*q. Solve q = v + c + 5, 3*c - 5*c - 4 = -v for v.
-2
Let n = 5 + -1. Suppose 0 = -2*w + n*w - 46. Suppose 5*v - 3*h = -1 + w, 2*v - 9 = h. Solve -k = -4*s - 1, v*k = -0*s - 5*s - 20 for s.
-1
Suppose 5*a = 56 - 41. Solve -5*o - 1 = -5*c - 16, 5*c = -a*o + 17 for o.
4
Let n(p) = -4*p - 9*p**3 + 2*p - 2*p**2 - p**3 + 1 + 0*p. Let y be n(-1). Solve -6*u - y = -u - 3*v, 0 = -2*u - 3*v + 4 for u.
-1
Suppose 49 + 765 = 37*j. Solve 11 = l + 3*x - 7, 0 = 4*l + 2*x - j for l.
3
Let i(t) = t**3 - 16*t**2 + t - 16. Let y(b) = b + 7. Let g be y(9). Let r be i(g). Solve 15 = 3*u, r*u - 7 = 2*m - u for m.
-1
Let h(i) = -i + 3. Suppose 2 = -6*x + 5*x. Let w be h(x). Suppose -15 = -w*d + k, -k - 4*k = 25. Solve -3*p + 5*c + 4 = 0, -c = -p + d*p + 4 for p.
-2
Let c be 5/3 - (7 + (-150)/18). Solve -4*s - 3*r = 26, c = s + 3*r + 14 for s.
-5
Let p be ((-54)/5)/(12/(-30)). Let b = p - 17. Let h be 6 + (1 + -2 - -4). Solve -x = -q + 2, -3*q - b - h = 2*x for x.
-5
Let y = 120 - 113. Solve 2*x = 5*z - 10, -x + 3*z + 2 = y for x.
-5
Let v(j) = j**3 - 18*j**2 - 2*j + 39. Let t be v(18). Let n be (-216)/(-52) - t/39*2. Solve 0 = -n*q - 5*k - 11, -3*q + k = 5 + 8 for q.
-4
Suppose -45 = 3*a - 0*a. Let q = -11 - a. Let f(d) = 5*d - 47. Let p be f(10). Solve -q*b = -2*j + 4, -p*j - 4*b = -j - 12 for j.
4
Let g(c) = c**2 + 2*c - 11. Let y(b) = -2*b + 11. Let i be y(9). Let n be g(i). Solve 26 = 2*a - 5*q, 3*a - 7*a + 3*q + n = 0 for a.
3
Let t(m) = 3*m**2 - m - 4. Let z be t(3). Let h(x) = -4*x - 3. Let o be h(-2). Suppose -g = -o*g + z. Solve -2*r + 3*r - 9 = -5*y, g*r - 21 = -y for r.
4
Let a = 52 + -31. Suppose -6*o - 2*u = -4*o - 18, -o - 4*u = -a. Suppose d + 0*d - 4 = 0, 7 = w + d. Solve -4*n + w*s - 10 = s, -o*s = 15 for n.
-4
Let j be 204/50 + 90/(-1125). Solve 2*l = 2*v + 4, 0 = j*l - v + 4*v - 1 for l.
1
Let r = -422 - -426. Solve 0 = -i + 2*i + 5*s - 8, r*s = i + 10 for i.
-2
Let z be (8 - 7)/((-2)/(-4)). Suppose 2*h - z*j = 0, 5*j - 13 = h + 3. Solve h*p - 21 = -r, 5*r = 3*p - 0*p + 13 for p.
4
Let a = 85 + -65. Suppose -220 = -15*u + a. Solve -4*y - 4*t - 4 + u = 0, -5*y - t + 23 = 0 for y.
5
Suppose 85 - 111 = -13*i. Let c = 25 + 8. Suppose -c = -5*j + 2*j. Solve -b + j = 2*z, -5 = -i*b - 3 for z.
5
Suppose -46*j - 50 = -56*j. Solve 0 = 3*p + 4*l + 7, l - j = -3*p - 0*l for p.
3
Let d = 8 - 5. Suppose -o + 4 = 3*f - 0, o - 4 = -5*f. Let w be f/(3/(-1) + 2). Solve w = -x - 4*l + 17, 5*x - d*l + 0 = 16 for x.
5
Let d(f) = 8*f**3 + f**2 + f - 1. Let o be d(1). Let q = o - 10. Let x = q - -4. Solve 6 = k - 5*g, x*g = -4 - 2 for k.
-4
Let z = -592 - -596. Solve -2*t - t = 3*a + 9, -z*a - t - 18 = 0 for a.
-5
Let j(r) = -2*r**3 + 24*r**2 + 2*r - 5. Let n be j(12). Suppose u - n = -u - 3*f, 35 = 4*u + 5*f. Solve -3*v - u = -2*m, v = 5*v - 4*m + 4 for v.
-3
Suppose -a = -4, -2*a - 3*a = 4*s - 52. Let m(d) = -d**2 + 11*d - 20. Let z be m(s). Solve 4*n + 5*k = 22, -3*n + 5*k - 5 + z = 0 for n.
3
Suppose -6 + 4 = 2*w. Let v(u) = u**2 - 1. Let c be v(w). Solve 5*y = -2*g + 2, -5*g + c*g - 24 = -2*y for y.
2
Suppose -i - 4*b = -19, 0 = 17*b - 13*b - 16. Solve -u - 10 = i*m, -3*u = -2*m - 6 - 8 for u.
2
Let s = 1096 + -1090. Solve 3*l + 0*l + 3*f = 24, -2*f + s = 0 for l.
5
Let u = -134 + 139. Solve 5*h = -2*z + 3, 3*h + 2*h = u*z - 25 for h.
-1
Let w(k) = -k + 9. Let c be w(7). Solve 3*m = 5*b - 25, -4*m + b = -c*b + 26 for m.
-5
Let x be (2/(-6))/((-429)/(-72) - 6). Solve -x = -4*t + 3*d + 20, 24 = 2*t - 4*d for t.
4
Suppose -3 = -4*l + 3*l. Suppose -l*q = -3*a + 3, -26 = -2*q - 0*a - 5*a. Suppose 2 + 3 = u. Solve -5*j = -q*w - 14, -u*w = 5*j + 12 - 2 for j.
1
Suppose -4*m = -0*m + 44. Let p = 14 + m. Solve 0 = p*q + 12, -4 = -4*d + q + 3*q for d.
-3
Suppose 34*k + 95 = 39*k + o, 90 = 4*k - 2*o. Solve 2*y - 5*y = -4*n - k, -y = -2*n - 10 for y.
0
Let c be ((-3)/3)/((-3)/15). Suppose c*o - 20 = o. Solve 4*h + 8 = -3*j, -o*j + 4*h = 5*h + 19 for j.
-4
Let o be 1 + 8/12*12. Let q be 42/o*(-6)/(-7). Let t = q + -1. Solve -8 - 7 = 3*l - t*w, -w = l + 1 for l.
-3
Suppose 3*i = 3*g, -i + 6*g = 2*g + 6. Solve 3*l - r + i = 0, 0 = -6*l + 4*l - 4*r + 22 for l.
1
Let v(t) = -t**2 + 6*t - 31 - 17*t + 65 - 48. Let i be v(-9). Solve -z - 20 = 3*c, c - 4*c - 35 = i*z for c.
-5
Let u be ((-2)/3)/((-6)/135). Suppose m + u = 6*m, 39 = 3*y - 2*m. Suppose 2*f + 3 = 11. Solve 2*h - 4 = 2*q, -4*h = -q + f*q - y for h.
3
Let h be 2/(-9) - (-976)/18. Suppose -7*s - 2*p = -3*s - h, 4*p = 4. Solve c + 1 = z + 6, -c - s = 5*z for z.
-3
Let h(q) = q**2 - 14*q + 1. Let j be h(14). Solve -c - 2*a = 4 - 0, 3*a = c - j for c.
-2
Let z(g) = g - 6. Let t = 5 + 10. Let y be z(t). Let v = 1 + y. Solve -n - 3*h - v = -0*n, -4*n + 2*h = -16 for n.
2
Let x(s) = 1 + 2 - 1 + s + 1. Let f be x(-3). Suppose n - 5*j - 5 = -3*n, f = 2*n - 5*j + 5. Solve -u = 3*z - 2*u + 5, 0 = -n*u + 25 for z.
0
Let o(s) = 46 - 46 - 5*s. Let p be o(-1). Solve -2*r - c = -6, p*c = 5*r - 11 - 19 for r.
4
Let d be (-110)/(-33)*6/5. Suppose d - 6 = -b. Solve b*n - 12 = -0*k - 4*k, 3*n + 12 = 0 for k.
5
Suppose 0 = -5*i - 5*w - 0*w + 25, -3*i + w = -11. Solve -4*x + 0*c + 8 = -c, -c = i*x - 8 for x.
2
Suppose 4 = 3*o - 2*k, 5*k + 3 + 7 = 2*o. Let f(c) = c**2 - 9*c + 13. Let w be f(9). Solve -3*n = -4*t - 5, o = 5*t + n + 2*n + w for t.
-2
Suppose -3*z - 3*y - 6 = 0, z - 5*y = 3*z + 19. Let s(m) = -10*m**3 - m. Let q be s(-1). Solve -z*h + 9 = 0, -3*h + 2*h + q = 4*g for g.
2
Suppose -t - 12 = -4*t. Suppose 0 = t*h - 9*h + 100. Let j = -12 + h. Solve u - 9 = -2*q, -3*u = -q - j*u + 27 for q.
2
S