*m + 3*k for m.
2
Let q(b) = -29 + 13 - 4*b + 12. Let x be q(-2). Solve -k = x*u - 10, -u - 3*k - 12 = -3*u for u.
3
Suppose 53 = 2*s - 4*l - 183, -5*s + 590 = -3*l. Let v = s - 98. Solve -5*h - 45 = -k - 20, 0 = 4*k - v for h.
-4
Suppose -n + 35 = 3*w + n, n - 22 = -2*w. Suppose -5*h + 5 = 0, -1 = 2*v + 2*h - w. Solve -d + 11 = v*j, -2*j = -4*d + 3*j - 24 for d.
-1
Let w be -1 - -1*4*30/24. Solve -w*t + 9*a + 8 = 13*a, -a = 0 for t.
2
Suppose 0*s - 3*k = -3*s + 36, 4*s + 5*k - 12 = 0. Solve g = -2*g, -4*m - s = -4*g for m.
-2
Suppose -2*x = w - 16, 5*w - 3*x + x = -4. Let y be ((-10)/6)/((-2)/12). Solve -w*i - 4 = 3*p, -3*i - 2*i - y = 4*p for p.
0
Let t be 14/4 + (-44)/88. Solve t*k - r = 7, -5*k + r = 1 - 16 for k.
4
Let x be (246 + -249)*(-24)/9. Let k(c) = -c + 10 + 0*c - 3. Let i be k(5). Solve 2*r + 2*r = 4*f + 16, -i*f - x = 5*r for f.
-4
Suppose -75*t + 62*t = -52. Solve o = 4*n + 1, -4*o + o + 3 = t*n for o.
1
Suppose 2*i - 54 = 3*o - 2*i, -i = 4*o + 53. Let q = 17 + o. Solve -2*h - q = z, -3*z = 3*h - 2*h + 4 for z.
-1
Suppose 6*m + 12*m = -792. Let t = m - -47. Solve p + t*z - 2 = 4, -5*z + 10 = 4*p for p.
0
Let x(w) = 7*w**3 - 64*w**2 + 9*w. Let d be x(9). Solve -4*p - 4*j + 12 = 0, d = -0*p - p + 3*j - 13 for p.
-1
Let d = 17 - 12. Let i = 8 + 15. Suppose d*m + i = 78. Solve 4*b + 3 = -g, 3*g - m - 6 = b for g.
5
Let x(g) = -g**3 - 4*g**2 + 4*g - 3. Let c be x(-5). Let n be (1/c)/(2/12). Solve -n*w = -12, 4*j - 5*w + 19 = -9 for j.
-2
Suppose -161*p + 170*p - 234 = 0. Solve 4*w - p = -2*x, 4*w - 20 = -0 for x.
3
Let x = -37 + 42. Suppose 0 = -2*h + 3*n + 3, 5*h = x*n + 6 + 4. Solve h*y - 4 = 3*z + 2, 4 = -2*z - 3*y for z.
-2
Let k = 8 + -7. Suppose 4 = t - k. Suppose 0*c = -t*c + 150. Solve 3*s + 5*z = -c, 8*z - 3*z = -5*s - 40 for s.
-5
Let g = 146 - 146. Solve 4*l + d - 6 = g, 6*l - 2*l = -2*d + 4 for l.
2
Suppose -4*s - 4*m = -8, -2*s + 1 = 5*m - 3. Let a be (-1)/s - ((-259)/14 + -6). Solve 3*k - a = 3*y, -5*y - 1 = 2*k + 4 for k.
5
Suppose y = 5*r - 14, -r = -3*y - 3*r + 9. Suppose -13 = -6*q - y. Solve -3 + 1 = q*o + 2*l, 0 = 3*l - 3 for o.
-2
Suppose -12 = 2*z - y, 2*y - 4*y = 4*z + 8. Let j be z*2/68 - (-174)/34. Solve j*x - 21 = -4*k, 0 = 2*k - 2*x + 1 + 11 for k.
-1
Suppose -3*i = 5*i - 8. Let n be i*0*(-1)/3. Solve n = -4*x + 20, l - 6*l = 5*x - 50 for l.
5
Let j = 303 + -300. Solve 5*b = 2*p - 9, -5*b = j*p - b - 2 for p.
2
Suppose -22*n = -17*n - 35. Let d be n/(21/6) - -19. Suppose 0 = 2*q - 1 - 3. Solve -q*l + f + 12 = -f, l - 4*f = d for l.
1
Let m(d) = -d**3 - 6*d**2 + 6*d - 4. Suppose -z = 3*q + 24, -2*q + 0*q - 20 = 2*z. Let t be m(q). Solve -t*j - 13 = -4*a - 2*j, 5*j = 5*a - 5 for a.
4
Let n = 243 + -247. Let m be (-3)/n - 9/(-4). Suppose -4 = -3*a - 1. Solve -w = 3*w + 3*f + 2, f - a = -m*w for w.
1
Let v be 140/15 + (-2)/6. Let j = 434 + -429. Solve s = 4*i - v, -j*i + 5*s - 2*s = -20 for i.
1
Let l be ((-20)/(-16) + -2)*(-12 + 8). Solve 3*m - 9 = l*w, 2*w = -2*m - 2*w - 18 for m.
-1
Let w = -47 + 19. Let j = w - -35. Solve -y - j = 3*z, 0*z = 2*z - 4*y for z.
-2
Suppose 0 = -5*m - 5*h - 105, -7*h - 110 = 5*m - 3*h. Let l = 28 + m. Solve -3 = -5*n + n + 3*i, -l*i = 10 for n.
-3
Let y(o) = -4*o**3 + 11*o**2 - 6*o + 3. Let n be y(2). Solve s - 5*s + 8 = -n*b, -b = -4 for s.
5
Suppose -d + 4*z = 36, 4*d + 144 = 3*z - 6*z. Let p = 38 + d. Solve 0 = p*j + o - 2, 3*j + 9 = -4*o + 2 for j.
3
Let u = -40 - -45. Suppose 0 = -5*w + 11 + 14. Solve -2*n + u*h = 0, w*n + 0*h = h for n.
0
Let c(r) = -13*r - 120. Let u be c(-11). Solve -4*j + 5*m - u = 0, -j + 2*m = -4*j for j.
-2
Let c be 1/(16/104 + (-14)/260). Solve 0 = -4*u - 3*v + 29, -40 = -5*u + 5*v - c*v for u.
5
Suppose 4*c - y - 41 = 0, -67 = -5*c - 35*y + 31*y. Solve -5*m - 4*w - 10 = 0, c - 5 = -3*m + 3*w for m.
-2
Suppose -b + 4*f - 45 = 0, 5*b - 2*f + 124 = b. Let c = b - -31. Solve -c*z = -3*y - 16, 0*y - z + 6 = -y for y.
-4
Let m = 76 + -72. Suppose -m*f = -u - 14, -u + 3*f - 10 = -0*u. Solve -v - u = 2*g - 1, v + 1 = 4*g for v.
-1
Suppose 6*v = v + 5. Let n be 4*v*(-4)/8. Let m be -13 + 16 + n/(-2). Solve m*o - 4 - 5 = i, 4*i + 12 = 4*o for o.
2
Let x(s) = 5*s**2 + 48*s - 17. Let h be x(-10). Solve -4*u + 11 = -h*q, 4*u - 2*q + 1 - 7 = 0 for u.
-1
Let i(w) = 72*w - 573. Let g be i(8). Solve -5*y - 28 = 4*r, -g*y + 2*r + 5 = 13 for y.
-4
Let b = -5 + -5. Let w(c) = -43*c**2 + 11*c**2 + 9*c + 33*c**2 - 8. Let a be w(b). Solve 4*x + 11 = -3*k, -4*k - 2*x + a = 20 for k.
-5
Let w(c) = -c**2 - 13*c + 18. Let d be w(-14). Suppose d*f - 2*j - 79 = -5*j, 5*j + 15 = 0. Solve -s + 4*y = -f, -y = -5*s - 3*y for s.
2
Let h = -145 - -148. Let l be 0 - (0 - 1) - 6. Let i = l - -6. Solve 0 = h*n + 2*o + 17, -o = -5*n + 3*o + i for n.
-3
Let o(s) = 2*s + 10. Let q be o(-5). Suppose 4*v = -5*h - 117, -2*h - 2 = -q*h. Let i be 3/(-12) - 119/v. Solve 12 = i*f + 2*g, -f - g + 6 = 2 for f.
2
Let m = 176 - 154. Solve -l + 1 = 2*p, 5*p = -0*p + 4*l + m for p.
2
Suppose -127*h - 52 = -140*h. Solve 2*r = 5*g - 0*g - 5, -h*g + 4 = 5*r for g.
1
Let f = 646 + -642. Solve -4*j + f*v - 24 = 0, -j - 4*v = v for j.
-5
Let q(m) = -m**3 + 5*m**2 - 5*m + 3. Let f be q(4). Let u be 4/(f + 18/21). Let c = -20 - u. Solve 3*d + 21 = 3*g, -c*g + 3*d + 31 = -3*g for g.
5
Let q(u) = 7*u + 1. Let f be q(0). Solve -2*i + 5*k = -6*i + f, 7 = 4*i + 3*k for i.
4
Let x(w) = -2*w**3 + 33*w**2 - 15*w - 16. Let t be x(16). Let v be -4 + 6 + 4/2. Suppose -o - v*o = t. Solve -n - 9 = 2*c, o*c + 30 = -5*c - 4*n for c.
-2
Let x = 27 - 7. Suppose 0 = 3*k - 5*b + 13, 0 = 2*k + 2*b + 2 - x. Solve -2*d = -5*o - 21, -o - 27 = -k*d + 4*o for d.
3
Let w(a) = -a**3 + 6*a**2 - 39*a + 174. Let r be w(5). Solve r*o - 10 = -2*q, 5*q - 20 = q + 4*o for q.
5
Let g = 0 - -5. Suppose g*x - 42 = 3*t, -2 = -x + 3*t + 4. Solve 0 = 2*c + q + 4, q + x = -5*c - q for c.
-1
Let b be ((-8)/4 - -2) + 50. Solve 2*p - 25 = -3*y, 0*p - 5*y + b = 5*p for p.
5
Let j(v) = 5*v - 19. Let y be j(6). Solve -4*t - 2*q - 31 = -y, -5*t + 5 = -5*q for t.
-3
Suppose -9*c + 194 = -31. Let a be 28/10 + 0 + 5/c. Solve -g + 0*b = -4*b, 0 = a*b - 3 for g.
4
Let a(j) = j**3 + j**2 + 13. Let v be a(0). Let p = v + 20. Suppose 20 = -8*b + 13*b. Solve 26 - 5 = 3*f - 3*h, 0 = -b*f + 5*h + p for f.
2
Suppose c - 38 = -4*c + 2*i, -13 = -2*c + 3*i. Let n be 1/(1 - c/12). Let y be (2 - 0) + n/1. Solve x = y*o + 4, -4*o - 2*x - 7 = x for o.
-1
Let p be 67/3 + 2 - 10/30. Suppose -16*j = -8 - p. Solve -s - j = -u - 5, -4*s = 2*u + 18 for u.
-5
Let k(f) = -2*f**2 - 39*f - 19. Let i be k(-19). Solve 0 = -4*n + 4*b - 4, n + n + 3*b + 12 = i for n.
-3
Let s = -13 + 12. Let u = 2 - s. Solve 5*x + 4*f - 1 = f, -u*x + 2*f = 7 for x.
-1
Let y be (-99)/44 - (-1)/4. Let f be 2*y*4/(-8). Solve -2*r + f = d, 2*d - 3*r = -2*d - 14 for d.
-2
Let j = -251 + 254. Solve 1 = -j*b + g, 2*g + 8 = -2*b - 2*b for b.
-1
Let q = -32 - -34. Let x(o) = o**3 + 2*o**2 - 4*o + 4. Let a be x(q). Solve 4*p + 15 = 5*i, -4*p - a = 4*i + 12 for i.
-1
Let r(b) = -2*b**2 - 2*b + 2. Let w be r(2). Let x(y) = 8*y. Let q be x(-1). Let f = q - w. Solve -s = -2*g + s + 12, -2*s = f for g.
5
Let z(h) be the third derivative of -h**6/120 - h**5/30 + h**4/3 + 11*h**3/6 - 46*h**2. Let i be z(-4). Solve -2*v = -3*u + 17, 3*u - 2*v = 2*u + i for u.
3
Suppose -w - h + 0 = -4, 4*w = 3*h + 37. Solve v - w = 5*f + 14, 4*v = f + 8 for v.
1
Let l(o) = o**3 + 3*o - 2. Let s be 6/(-16) - 44/(-32). Let r be l(s). Solve -b = -r*m - 3, -b - 5*m = -3*b + 6 for b.
3
Let d = -4 + 3. Let k(v) be the second derivative of -v**5/4 + v**4/6 - v**2/2 + 13*v. Let l be k(d). Solve 2*n - l = n - 5*t, -4*n - 22 = -3*t for n.
-4
Suppose -16 - 16 = -8*l. Suppose r = -r + l*j + 20, -j = 5*r + 5. Solve -5*i = -i + f - 7, -3*i + 5*f + 11 = r for i.
2
Let s = 44 + -16. Let v be (-14)/s + 2/4. Suppose 2*i + 5 = 13. Solve 3*g + v*f = 3*f + 9, 8 = -i*g - f for g.
-1
Let k(s) = 2*s**2 - 50*s + 132. Let c be k(22). Solve 5*r + 4 + 6 = -4*x, r - 3*x + 2 = c for r.
-2
Let z be (-6)/4*4/(-3). Solve n + z = -4*c, 2*c = -3*c - 5*n - 10 for c.
0
Suppose 92 = 15*t + 32. Solve t*m = 5*q - 0*m + 1, -1 = q - m for q.
3
Let x = 4 - 0. Suppose -29 = -2*c - l + x*l, 3*c - 36 = 3*l. Suppose 0 = -w - 3 + c. Solve 3*m - 7*s + 2*s + 22 = 0, -w*s - 12 = 5*m 