, 2*k - 2*m = -k - n for k.
-5
Suppose 3*i - 59 = -20. Let r = i - 15. Let y be 1/(r - -4)*14. Solve -2 + y = -s - x, -3*s - 10 = -2*x for s.
-4
Let m be -38*(20/(-8) - 0). Suppose 4*d - m = 25. Suppose -3*u + 6*u - d = 0. Solve t - 2*i + 8 = 3, -2*t - u = 4*i for t.
-5
Suppose -4*z + 2 = -6. Solve -2*n + 3*t = -5*n + 3, z*t = 5*n - 33 for n.
5
Suppose 33 + 32 = 13*q. Solve q*r - t - 3*t = 45, -4*r + 5 = 3*t for r.
5
Suppose -140*c = -145*c + 225. Solve -9*i - t + 25 = -4*i, 5*i = -5*t + c for i.
4
Let f(w) = 2*w - 13. Let a be f(8). Suppose -k - 4 = -a*b - 10, 2*k = 2*b + 8. Solve -3*z - 12 = c, -5*z = -k*c + 13 + 21 for c.
3
Suppose -t + 3*z + 7 = 0, -2*z = -t + 3*z + 5. Suppose -11*x = -9*x - t. Let v be (-6)/x*25/(-15). Solve v*f - 2*o + 3 = -o, 2*f = -2*o + 6 for f.
0
Let c be (2*-10)/((-240)/60). Solve -4*p = c - 1, p - 14 = -5*w for w.
3
Let q = -527 + 532. Solve -4*o = -2*p - 24, -5*p - 33 = -q*o - p for o.
5
Let m(p) = p + 9. Let s be m(-4). Solve -s*t - 2*f = -3, -4*f - f - 4 = t for t.
1
Suppose b - 347 = -343. Solve 0 = 4*w + 3*o + 3, b*o = -2*w - o - 5 for w.
0
Let z(r) = -3*r**2 - 24*r - 14. Suppose 4*m - 1 + 29 = 0. Let a be z(m). Solve -a + 37 = -5*f + 5*s, 4*f + 2*s = -18 for f.
-5
Let z(t) = t**2 - 4*t - 5. Let i be z(5). Suppose 0 = -3*k - 3*f + 6, 10*k = 6*k + f + 8. Solve 4*o - 2 = -k*w, -3*w + 3 = o - i*o for o.
0
Let y be (-3)/33*2 + (-7364)/154. Let g = -48 - y. Solve -28 = -4*h + 4*s, 0 = -g*s + s + 2 for h.
5
Let f = 2410 + -2407. Solve 5*k + 5 = 4*v, -f*v - k = 7 - 6 for v.
0
Suppose r - k = 4*k + 12, 24 = 3*r - 3*k. Let l = 19 - 18. Let b be l + 4 + (-4)/(-1). Solve -4*i - 2*g + 2 = 0, 2*i - r - b = -4*g for i.
-2
Let u = 18 - 13. Suppose 2*g + 4 = -2*y - 2, 5*y + u = -3*g. Solve 5*l + 7*c + 45 = y*c, -3*l = 2*c + 22 for l.
-4
Let i(n) = n**2 - 5*n + 3. Let a be i(5). Let w be (-38)/3 + 4/(-3). Let b be 4/14 + (-24)/w. Solve -m = a*p - 4, -b*p + 32 = 2*p - 4*m for p.
3
Let y be (2/6)/(1/(-189)*-3). Let r(z) = -z**3 + 21*z**2 + 2*z - 38. Let l be r(y). Solve 2*j = -3*w, 0 = -w - 2*w + l*j for w.
0
Let i = 394 - 393. Solve t + 3 = -5*q, 4*q + 3*t - 3 + i = 0 for q.
-1
Suppose -3*r = -2*u + 4*u - 11, -u + 5 = r. Let k(j) = 3*j + 1. Let o be k(r). Solve o*d = n - d + 15, d - 19 = -3*n for n.
5
Let y(v) = v**3 - 6*v**2 - 6*v + 10. Let k be y(7). Suppose 4*s - 15 = k. Suppose 0 = q - s. Solve h - 4*r = 5*h - q, 0 = -5*r + 10 for h.
0
Suppose k + 11 = 3*p, 23*p - 28*p = 5*k - 5. Solve -4*n + 12 = 0, -4*n - p = 5*m - 0*n for m.
-3
Suppose 4*t - 2*t = -4*i + 48, 0 = -5*t - 20. Solve 2*u + 3*u - 2 = -2*g, -u - 4*g = i for u.
2
Suppose 6*f = -9*f + 60. Solve 6 = -4*j - n + 4, -4*j + 8 = -f*n for j.
0
Let c = 440 + -440. Solve 3*o - 5*k = 4*o, c = o - 4*k - 9 for o.
5
Let o be (-2)/7 + 1216/(-56). Let r be (-2)/((8/466)/(-2)). Let j be r/11 - (-4)/o. Solve p = 3*u + 7, -5*p - j = -0*u - u for u.
-4
Let g(v) = -v + 1. Let w be g(-4). Let a be (-3)/((-10)/(-4)*(-138)/115). Solve -n = -m + a + 2, w*m = 4*n + 16 for m.
4
Let m = -18 - -36. Suppose 0 = 5*h + m - 38. Solve -1 = -3*x + h*g, -5*x - 2*g - 5 = 2 for x.
-1
Let q(m) = m**3 + 49*m**2 + 47*m - 44. Let d be q(-48). Let p(b) = -b**3 + 5*b**2 - 3*b. Let j be p(4). Solve -a = -d*y + 5, j*y + 0*y - 20 = 4*a for a.
-5
Let k(h) = -h**3 + h**2 - 4*h. Let p be k(3). Let o(x) = -4*x + 2. Let l be o(7). Let a = l - p. Solve 2*f = a, -4*i + 3*f - 4 = -f for i.
1
Let y(o) = o**2 + 2*o - 5. Suppose 6*x + 45 = 9. Let p be y(x). Let n = p + -15. Solve 16 = 2*b + n*s - 0, -3*s + 19 = 5*b for b.
2
Let l(j) = -4 + j + 0 + 6. Let m be l(1). Solve -6*t + 2*t = m*u - 27, -t = -3 for u.
5
Suppose 4*p + 13 - 21 = 0. Suppose -p*i = 2*u - 14, 2*i + 4*u - 18 = -0*u. Solve -18 = -s - i*w, -3*w - 7 = -19 for s.
-2
Suppose -z + 2*i + 5 = -0*z, -5*z + 16 = -i. Solve -5*m + z*m + 3*d = 2, d = 2*m - 2 for m.
2
Let w = 821 - 816. Solve -y = -i + 2, 5*y - 3*y - w*i - 5 = 0 for y.
-5
Let g(f) = -f - 3. Let z be g(-7). Let r(t) = 2*t**2 + 113*t - 292. Let a be r(-59). Solve -4*j - 31 = -a*l, -5*l = z*j + 2 - 11 for j.
-4
Let b(w) = 2*w**2 - 21*w + 10. Let l be b(10). Suppose 2*z + 2*a + a - 11 = l, -3*a = -2*z + 17. Solve 2*j = -h + z*j - 20, 8 = 2*j for h.
0
Suppose 0 = 5*d - 12*d + 14. Suppose d*g - 5*g + 51 = 0. Suppose 4*j - 4 = 2*t, 0 = -6*t + 2*t + j + 20. Solve 4*q + 4*i + g = -3, 4*q + t = 3*i for q.
-3
Let a(l) = l**2 - 6*l + 12. Let z be a(3). Suppose -z*c - 9*c + 72 = 0. Solve c = -d - r, -2*d - 28 = 3*d + 4*r for d.
-4
Let b = 1026 + -1021. Suppose 15 = 3*y - 0*y, 0 = -4*j - y + 25. Solve -i = j*r + 7, -b*i - 6 = 2*r + 6 for r.
-1
Let i = 1575 - 1573. Solve -5*d - i*k = -0*k + 26, -29 = 5*d + 3*k for d.
-4
Let d(f) = -f**3 - 4*f - 12. Let u(k) = -2*k - 54. Let l be u(-26). Let i be d(l). Solve i*y = 4*w, -5*w - 15 = -4*y + 2*y for w.
-5
Let m(i) = -9*i**2 + 98*i + 102*i + 21 + i**3 - 194*i. Let t be m(8). Solve -5*b = -2*s - 1, t*s + 13 = b + b for s.
-3
Suppose 2*r = 5*t - 7, -3*r = -t - t - 6. Let h be ((-54)/(-24))/(t/12). Solve 41 = -4*z - 4*i + h, 26 = -4*z - 2*i for z.
-5
Suppose -5*s + 0*s = -15. Let q(t) = 2*t - 10. Let j be q(6). Solve 9 = -f - s*n, j*f - 4*n - 4 + 2 = 0 for f.
-3
Let t be 1/4 - 2/8. Let c = 1204 + -1203. Solve 0 = k + k - 2, t = -3*y + k - c for y.
0
Let b(o) = 12*o - 238. Let d be b(20). Solve 0*k - 10 = -2*k + 4*z, -z - 5 = d*k for k.
-1
Let o = -2003 - -2006. Solve 2*u + 4*r = 0, -1 + 9 = -o*u + 2*r for u.
-2
Let t be (4/10)/(2/50). Suppose 2*r + 5*d = 94, -r + 4*d + 43 = -17. Let f be r/t + 3/(-15). Solve 0 = -4*c + 2*w - f*w + 1, w = -5 for c.
4
Let d(f) = 9*f + 157. Let k be d(-17). Solve 4 = -4*r + 2*o - 2, -k*o = r + 6 for r.
-2
Let r = 21 + 27. Suppose 3*z - r + 14 = 5*a, 3*z + 4*a + 11 = 0. Solve -u + 3*u - z*f = 10, 5*u - 25 = -f for u.
5
Let s = 59 + -21. Let d be 57/s*(15 + -1). Let y = 23 - d. Solve -g + 0*g = -y*k + 4, -2*g + 5*k - 9 = 0 for g.
-2
Let r(y) = -y**3 + 5*y**2 + 2*y - 7. Let k be r(5). Suppose k*c - 10 = 2. Suppose 0 = c*w - 4. Solve 12 = 2*i - s, -5*s - w = 2*i + 11 for i.
4
Let c(m) = 7*m**2 - 7*m**2 - 2*m + 5 + m**2. Let i be c(-4). Let a be (28/5)/(6/15). Solve g = 2*n - a, n = 6*n - g - i for n.
5
Let t(v) = 5*v**2 + 3*v + 1. Let u be t(-2). Suppose -2*l - u = -l. Let r = 3 - l. Solve r = 3*h + 3*m, -4*h - 2*m + 12 = -m for h.
2
Suppose -5*n - 15 = 0, 0*g = -2*g - 5*n + 41. Solve -5*j - 4*p - g = 5, -3*p = -5*j - 19 for j.
-5
Let k = 9 - 7. Suppose 3 = k*o - 5. Solve o*p + 4 = -3*i, -3*p + 3*i - 3 = -0*i for p.
-1
Let y be -20*5/(-40)*2. Let g be (y/6)/((-8)/(-48)). Solve 0 = -x - x + 4*i, g*x + 3*i = -26 for x.
-4
Let d(v) = 9*v + 63. Let m be d(-7). Solve 2*s + 2*t = 5*t + 1, 5*s - t - 9 = m for s.
2
Suppose -m + 18*m = 0. Suppose -4*y = -3*p - 23, -3*p = 2*y - 5 - 2. Solve q + 4*o = 4*q + 15, m = -q + o - y for q.
-5
Let s = 244 - 203. Solve 2*c + 8 = 0, 3*c - 13 = 4*y - s for y.
4
Let w be (1 - 40)*2/3. Let s be (-3 - 22/(-4))*w. Let o be (-2)/8 + s/(-20). Solve 5*g = -5*q - 16 - 9, -q - o*g - 9 = 0 for q.
-3
Let b = 39 + -38. Solve -3*m + b = s + 13, -4*s - 12 = 3*m for m.
-4
Let r = 75 + -73. Solve -3*q + m = r*m - 12, 0 = -2*q - 3*m + 8 for q.
4
Let w(g) = -g**3 + 4*g**2 + 9*g - 7. Let u be w(6). Let z be (34/(-2) - 1)*12/(-8). Let q = z + u. Solve 0 = 3*f - 4*v - 7 - 2, -q*f + v + 1 = 0 for f.
-1
Let o = 15 - 11. Let m(q) be the second derivative of q**4/12 - 2*q**3/3 + 3*q**2/2 + 4*q. Let i be m(o). Solve 2*z - 6 = -z - p, -i*p + 7 = -2*z for z.
1
Let o = -502 - -507. Solve 3*t - 9 = 2*t + 4*g, -2*g - 21 = o*t for t.
-3
Let l(r) = 46*r + 420. Let h be l(-9). Solve 10 + h = o + 3*b, 4*o + 3*b = 28 for o.
4
Let w(i) = -i**2 + 21*i + 24. Let t be w(22). Solve -z - 9 = -t*d + d, 0 = -2*d + z + 13 for d.
4
Let h(n) = 5*n**2 + 2*n + 1. Let q be h(-1). Suppose w + 2 = 0, 2*x = -w - q*w - 10. Suppose 6*a - 60 = 2*a. Solve -y - 2*g - 15 = 0, 2*y + x*g + a = -g for y.
-5
Suppose -391*w = -392*w. Solve w = 2*z + 5*c + 15, z = 2*z - 3*c - 20 for z.
5
Let z(t) = -4*t + 3. Let r(d) = -161 + 0*d + 5*d + 159. Let p(y) = -6*r(y) - 7*z(y). Let x be p(-6). Solve -x = -3*u + 3*f + f, 3 = u - 2*f for u.
-3
Let p(s) = 2*s + 36. Let q be p(-18). Suppose q = 3*o - 17 + 2. Suppose 2*t + 5*b = 10, 4*t + 4 - 14 = -o*b. Solve 0*m + m + 3*u = 16, -2*m + u