= n - 2*n, -n + k = 4 for n.
1
Let w = 30 - -36. Let o = 77 - w. Suppose o*k = 16*k - 15. Solve 0 = 3*h, -k = z - 5*h - 0 for z.
-3
Suppose 13*s + 27 = 59 + 7. Solve -3*a - o + 0 = 13, 0 = 4*a - s*o + 13 for a.
-4
Suppose -4*r = 5*w - 30, 3*w = -r - 64 + 75. Solve s - 5*x = 2*s + 29, -4*s + w*x - 6 = 0 for s.
-4
Let x = 1703 - 1699. Solve -2 = b - 2*r, 14 = -x*b + r - 1 for b.
-4
Let r(w) be the second derivative of -w**4/12 - 7*w**3/6 + 8*w. Let i be r(-7). Suppose i = 17*t - 13*t. Solve t = -u - 3*z + 14, -4 + 0 = -u - z for u.
-1
Let o = 720 + -720. Let j be -6*(1/2)/(-1). Suppose o*r - j = -r. Solve -w = 2*w - 3*x + 12, -4*w - 13 = -r*x for w.
-1
Suppose -382 = -4*n + 2*l, 2*n + 80 = -5*l + 301. Suppose 8*h - n = h. Solve -5*v + 6*m = 2*m - h, -2*v + 3 = m for v.
2
Let f be -1 + 6 + -2 + (-8 - -2). Let o be f/6*-2*(0 - -2). Solve -o*w + 5*w + 1 = -5*a, w = -2*a - 1 for w.
3
Let u be 115/(-10) + 13 - 11/(-2). Suppose -11 = -u*c + 10. Solve c*s - 4*r + 12 = -r, 14 = 4*s + 2*r for s.
1
Let i be (-15)/(-6) + (-1)/(-2). Let p be (2 - i)*-2 - (1 + -4). Let u = 20 - 16. Solve -p*q = z, 0 = -q + u*q - 3 for z.
-5
Suppose b - 480 + 148 = -5*l, -b - 3 = 0. Solve -s + 12 = -l*r + 70*r, -5*r = -2*s - 9 for s.
3
Let n be (-2)/1 - 2*12/(-8). Let w be 15/3 - (n - -2). Solve 4*c - 3 = v, 3*v + w*c - 1 = 4*v for v.
1
Let z(n) = -2*n**3 + 12*n**2 + 25*n + 61. Let b be z(8). Solve 0*v + 4*y + 25 = b*v, 23 = 3*v - 4*y for v.
1
Let g be -7*(-4 + (5 - 2)). Suppose 22*v = g*v + 360. Solve -3*n + 3*k - 14 = -n, 5*k - v = 4*n for n.
-1
Let u(q) = -20*q**2 - 78*q - 9. Let l be u(-3). Solve 0 = -2*t - i - l + 44, 4*t = i - 5 for t.
-1
Let d be ((-20)/50)/(2/(-210)). Suppose 0 = -40*b + d*b - 12. Suppose s = -4 + b. Solve s*x = -4, 3*j = 2*j - 5*x - 10 for j.
0
Let p(o) = -5*o + 217. Let v be p(43). Let k = 2 + 1. Solve 5*s + 2 = v*j - 1, 4*j + 1 = k*s for s.
-1
Let b be ((-15)/(-7))/((-1055)/(-8862)). Solve -5*i + 5*j = -2 - 8, 4*i - 2*j = b for i.
7
Let k = -677 - -681. Solve -5*p = 3*t - 2, k*p + 28 = 15*t - 10*t for p.
-2
Let a be -8*(-21)/40 + 8/10. Let o = -8 - -12. Solve o*n = 5*z - 18, a*z = 6*n - n + 20 for n.
-2
Suppose -5*n = 2*v + 58, -4*v = v + 4*n + 162. Let g = 74 - 111. Let r = v - g. Solve 3*y - 3 = -2*k + 5*k, r*y - k - 1 = 0 for y.
0
Suppose 3*y + 11 = -13. Let p be 0/((-2)/(y/12)). Solve -5*u + 4*v + 31 = p, 4*u - 3*v - 32 = 2*v for u.
3
Let i(n) = 20*n + 485. Let d be i(-24). Solve 5*y = -5*z - d, z - 9*y = -4*y + 5 for z.
0
Let l be ((-35 - 25) + 57)*(4/6)/(-2). Let p be (18/(-15))/(4/(-10)). Solve 2*b + o = -11, -4*b - l = -p*b - 4*o for b.
-5
Let f = 212 - 206. Suppose f = 4*y - 2*r, 0 = -2*y - 3*r - 1 + 8. Solve 3*x + 32 = 5*v, -y*x = -4*x - 2*v for x.
-4
Suppose -48*x + 84 = -44*x. Suppose -16*k + 9*k = -x. Solve 0 = -3*w, 8*r + 2*w = k*r + 20 for r.
4
Suppose -5*m + 13 = -4*s, -2*s - 22 + 33 = m. Solve -s*b = -9, 13*b - 10*b = -4*w - 3 for w.
-3
Let n(z) = 4*z - 8. Let g be n(2). Let w be 14/(-4)*6 - (g + 1). Let f be (-57)/(-11) + ((-84)/w - 4). Solve 5*l - m = 4, 4*m - 5 = -f*l + 4 for l.
1
Suppose -3*i - 5*g = -1, 5*i - 4*i + 2*g = 0. Suppose -p = 6 - 58. Let n be (-2)/(-8) + 91/p. Solve 0 = i*z + n*d + 2, 3*z + 2*d = 8*z - 23 for z.
3
Suppose m - 3*t + 0*t + 287 = 0, -5*t = m + 327. Let v = m + 304. Solve 0 = -5*x - v*s + s + 8, -2*x + s + 6 = 0 for x.
2
Let l(m) = -m**3 - 10*m**2 - 36*m - 57. Let q be l(-6). Solve -16*b + 13*b = 3*x - q, -b = -x - 7 for b.
6
Suppose -9*c + 691 = 619. Solve 5*j = 5*q, 5*q - j = 8*q - c for q.
2
Let y(w) = 2*w**2 + 44*w - 254. Let u be y(5). Solve 0 = c - 3*j + u, -320*c - 29 = -316*c - 5*j for c.
-1
Suppose 698 + 34 = 244*j. Solve j*i - 1 = 3*s - 25, 0 = 2*s - 3*i - 19 for s.
5
Suppose -44*v + 42*v + 10 = 2. Solve 0 = -v*q + 3*q + 2*o - 4, 2*o = 3*q + 12 for q.
-4
Let m = -4929 + 4938. Solve 4*o + 5*n = m*o - 10, -5*n = -o + 2 for o.
2
Let d be (114/95)/((-4)/(-10)). Suppose 13*o = 11*o + 4. Solve o*p = -4*j - 8, d*j + 4*p = p for j.
-4
Suppose 22*z = 15 - 7 + 14. Solve 0 = 4*h + s + 1, 0 = h - 4*h - s - z for h.
0
Let s = 349 - 352. Let i be 3 - (1 - (2 - -2) - s). Solve -1 = 3*x - i*v + 17, 0 = 2*x + 2*v for x.
-3
Let l(n) = 4*n**2 + 34*n + 67. Let a be l(-2). Suppose -310*h = -295*h - a. Solve 3*f + 5*q - h = 9*q, 3*f + 7 = -4*q for f.
-1
Let t be 1*12 + -18 + 13. Let w(x) be the second derivative of -x**3/6 + 5*x**2 + 6*x. Let u be w(t). Solve -3*l - c + 2 = 0, 0 = -5*c - 8 + u for l.
1
Let n = 98 - 96. Suppose 154 - 150 = n*u. Solve -g = 2*y + 6, u*g + 2*g + y = 4 for g.
2
Suppose 4*c + 15*y - 17 = 10*y, 4*y - 19 = -5*c. Solve -2*g + c*g + 4 = -2*i, 3*g + 12 = i for g.
-4
Let y(c) = -334*c**3 - 3*c**2 - c + 2. Let r be y(2). Let a be r/(-77) + -6 + (-1)/(-7). Solve -5*z + 5*o - a = 1, -4*o = 2*z - 18 for z.
-1
Let b be ((-2)/5)/((-248)/3100). Solve -15 = -h + 3*k, k = -5*h - 0*h - b for h.
0
Let j = -3955 - -3990. Solve -28 + j = b - 2*t, 0 = -4*b - t + 1 for b.
1
Let l(r) = 2*r**3 - 15*r**2 + 4*r + 24. Suppose 0 = 3*g + 522 - 543. Let o be l(g). Solve b - 3*b + o*v - 3 = 0, 3*v + 9 = -2*b for b.
-3
Let k be (-3 + 9)*(-1 - 5/(-2)). Suppose n - c - 5 = k, n + 3*c - 10 = 0. Solve -4*i + l = -0*i + n, -5*l = 15 for i.
-4
Suppose -32*o + 0*o + 416 = 0. Suppose o*g - g - 144 = 0. Solve 5*z - z = 0, 4*m - g = z for m.
3
Let v(h) = -h + 3. Let t be v(10). Let f(b) = -6*b - 40. Let d be f(t). Solve -d*j = -0*p - p + 7, 3 = p - j for p.
-1
Let u(c) = -c**2 + 45*c - 140. Let a be u(22). Suppose 51 = -9*w + a. Solve g + 0*n = -2*n + 15, 5*g = -2*n + w for g.
5
Let g(z) = z**2 + 5*z + 3. Let i be g(-5). Suppose 5*m - 14 = -w, -5 + i = -w + m. Suppose 7*x - w = 3. Solve -3*d = 3, -3*l + 1 = -5*d - x for l.
-1
Let n(s) = -4*s + 48. Let l be n(8). Suppose -7*u = -5*u - 4*b - l, 0 = -u - b - 4. Solve -4*f = -4*v + 12, u*f = -4*f - 8 for v.
1
Suppose 0 = -5*v - 5*q, -5*v - 19 = -3*q - 3. Let w be 0/(-7) + 1/(v/128). Let s = w - -64. Solve 4*h + 16 = 3*x + 6, s = 2*h + x for h.
-1
Suppose t - 24 = -t. Suppose 0 = p + 3*l + t, -2*p + 3*l - l = -16. Solve -p*a = -0*a - u, -a = -5*u - 14 for a.
-1
Let j = 4614 - 4609. Solve -j*s + 19 = -4*o, -44*s = -42*s + 2*o + 14 for s.
-1
Suppose 5*b - 30 = -5*s, -5*b + 30 = 5*s - 2*b. Solve k - 2 = 3*q - 0*q, q = -k - s for q.
-2
Suppose -3*s - 5*u - 151 = -6*u, 0 = s - 3*u + 61. Let v = s - -53. Solve -4*o - v = 0, 2*j + o + 2 = -5 for j.
-3
Suppose -3*g = -4*j - 1, -3*g + 3*j + 6 = 3. Suppose -3*l - g*w = -88 - 200, l + 3*w = 100. Let t = 98 - l. Solve 3*d - t*d = -3*h + 1, 3 = h + d for h.
1
Let r(c) = 11*c**2 - 21*c + 2. Suppose -3*u = -2*l - 12, 0 = 2*l + 4 + 2. Let p be r(u). Solve 4*w = 2*b + p, 4*w + 4 = -b - b for w.
0
Let v be (-6)/8 - 3/(-4). Suppose v = -789*f + 786*f + 6. Solve 10 = 5*n, -f*i - 2*n - 2*n = 0 for i.
-4
Let x = 145 - 140. Suppose q + 15 + 4 = 4*o, o = x*q. Solve u + o*v + 18 = 0, 0*u - 2*v = -3*u - 3 for u.
-3
Let u = 417 - 415. Suppose s = n - 14, 0 = s - u + 3. Solve 3*m = 5*x + 17, -2*x = 3*m + 2*m + n for m.
-1
Let t = -37 - -64. Suppose t*a - 203 = 20*a. Solve -3*l = -3*j + 3, 5*j + 3*l - a = -0*j for j.
4
Let n(y) = 8*y - 19. Let l be n(3). Suppose 5*o = -4*f + 5 + 12, -o = -4*f - 13. Solve -5*d - 5 = l*z, 10*z + 5 = o*z for d.
0
Let x be 1/5 - (-7)/((-105)/(-87)). Suppose -2*t + 112 = x*t. Solve 2*k = 4*k + a - 5, k - 5*a + t = 0 for k.
1
Suppose 0 = 3*b + 3*h - 34 - 17, 3 = -3*h. Let m be (-3)/b - 3364/(-24). Suppose m = -0*t + 5*t. Solve 4*r + t = -4*d, -d - 2*d = 2*r + 16 for d.
-2
Let a(g) = -261*g**2 + 2610*g + 3. Let b be a(10). Solve 16*v - 15*v = 2*l + 10, l = -b*v + 2 for v.
2
Suppose -34*p = 40*p - 82*p + 80. Solve -2*k - i + 7 = 0, -p*i + 6*i = 4*k - 24 for k.
1
Let b(a) = 2*a**2 - 13*a - 5. Suppose -4*k + 8*k - 36 = -5*c, -4*c - k = -31. Let z be b(c). Solve -w = -4*d - z, -2*d = 2*d + 16 for w.
3
Let m(o) = -2*o**2 + 31*o - 2. Let i be m(13). Let u = -50 + i. Let x = 17 - 17. Solve 5*p = -h + u, x = 4*h - 6*h + 3*p for h.
3
Let c = 34061 + -34027. Solve 2*m - 4*p = 14 - c, -p + 14 = -2*m for m.
-6
Let i(q) = 74*q + 58. Let x be i(-4). Let l = x - -243. Solve -4*c + 2*c + 4*d - 10 = 0, 5*c + l*d = -10 for c.
-3
Let r be 4/(-14) + (-3)/(105/(-5855)). Suppose 42*j = 85 + r. Solve -j*w + 22 = -2*w + 2*s, s - 3 = 0 for w.
4
Suppose -