 -j = 5*d + g - 11, 5*d + 23 = -3*g for d.
-4
Let k = -4420 - -4422. Solve 26*i = -3*a + 29*i - 15, -k*i = 0 for a.
-5
Suppose -2*p + p + 1 = -3*u, 0 = u - p + 5. Let t = 12 + -8. Let v = t - 0. Solve -3*c - k = c - 4, -u*c = -v*k - 2 for c.
1
Let d(z) = -z. Let f(h) = -2*h + 35. Let i(b) = 15*d(b) - 5*f(b). Let k be i(-38). Solve r + 3*u + k = 0, 3*u + 0 = -2*r - 15 for r.
0
Let x(d) = 19*d + 820. Let z be x(-43). Solve v - 2*v = h - z, 4*v - 5*h + 6 = 0 for v.
1
Let m be 47/9 + 12*(-12)/648. Solve u - 3*y - 3*y = 22, 0 = -2*u + m*y + 23 for u.
4
Suppose -2*m - 2*m + 16 = 2*a, -6 = 5*m - 4*a. Suppose 0 = 2*j - 225 + 99. Let c = j + -59. Solve 4*p - 5*g + 0 = c, m = 2*p + 4*g for p.
1
Let k(y) = -y**2 - 18*y + 76. Let v be k(-21). Suppose 3*o + v*o = 0. Suppose -40*w + 43*w - 6 = o. Solve -c - 2*z - w = -4, 2*c - 6 = -2*z for c.
4
Let t = 97 - 103. Let k be (1/(t/(-9)))/(1/(-4)). Let a(w) = -7*w - 37. Let b be a(k). Solve 16 = 4*h, -27 - b = -4*f - 5*h for f.
3
Let m be (-4 + 5)*(10 + -3 + -12 + 6). Solve b + b - m = 5*l, 0 = 4*l - 5*b + 11 for l.
1
Let j be ((-16)/(-10))/(7/(-35)). Suppose 0 = -6*c + 19 + 41. Let r = j + c. Solve 0 = t - 2*v + 4, -r*v = -5*t - 0*v + 4 for t.
2
Suppose 2*k - 1389 = -5*i, -2*k + 318 = 3*i - 1073. Suppose -23*z - k = -64*z. Solve 5*q + 4*c = z, q + 3*c = 5*q - 26 for q.
5
Let v(g) = g**3 - 19*g**2 + 33*g + 21. Let s be v(17). Solve -4*j - 5*d + 5 = -5*j, s*j - 26 = -3*d for j.
5
Suppose 0 = -1571*t + 1623*t. Solve -3*u + 4*i + 3 = 1, t = 4*u + 5*i - 13 for u.
2
Suppose -13 = -i + o, -5*i + 4*i - 2 = 4*o. Suppose -i*z + 116 = 19*z. Solve 7*m + z = 2*m - 2*a, 4*m - 4 = -4*a for m.
-2
Suppose 3*h - 4*t = -3067, 3071 = -3*h - 41*t + 43*t. Let v = h - -1029. Solve -12 = -2*g - 5*s, -2*g + 0*g = -v*s + 6 for g.
1
Let g(b) = b**3 + 15*b**2 - 35*b - 12. Let j be g(-17). Suppose 4*s - 3*z = 27, 0 = 2*s - j*s - z + 4. Solve 0 = o - 5*q + 17, -q + 7 = -5*o + s*o for o.
-2
Suppose 0 = v + 3*w - 5*w + 4, -w + 4 = 0. Suppose 70 = -v*q + 18*q. Solve -2*o + n = q*n - 8, -5*o = 4*n - 20 for o.
4
Let c(m) = 6*m - 62. Let r be c(10). Let q = r - -4. Solve 4*x - 11 = -q*i + x, -3*i - 2*x + 4 = 0 for i.
-2
Suppose v - 3*r = 26, 4*v - r - 48 - 1 = 0. Suppose -5 = -v*y + 39. Suppose -2*z + z + 2 = 0. Solve z*m + 4 = 0, y*a = 2*a - 3*m for a.
3
Suppose -3*i - 8*y - 18 = 0, 5*y + 5 = -20*i + 15*i. Solve -2 = -2*g - o - 4, -4*o - 14 = i*g for g.
1
Let t(i) = i**3 + 6*i**2 + 4. Let d be t(-6). Suppose 6*r - 48 = 2*r. Suppose 2*x - 2*f - r = 0, 26 - d = 4*x - 3*f. Solve x*v - 3 = z, 0*z = 3*z + v + 9 for z.
-3
Let x = -361 + 373. Solve 0 = -3*i + x, 2*i = -2*b - 17 + 35 for b.
5
Let q = -25 + 217. Let v be 4/(-12) + 0 + q/9. Solve 0 = -3*y + y - 2*o + 6, 5*y = o + v for y.
4
Suppose -4*y - l = 1, 79 = -y + 4*l + 83. Solve -4*d + y*d + 3*g + 1 = 0, 2*d - 2*g + 2 = 0 for d.
4
Let l(v) = -v**2 - 19*v**3 + 11*v**3 + 23 + 11 - 17*v + 9*v**3. Let w be l(4). Solve g + 4*b = -16, -3*b = -5*g - b - w for g.
-4
Suppose t = 5*q + 57, -2*t + 7*t - 265 = 5*q. Suppose -23*w + 27*w - t = 0. Suppose -w*j + 9*j = 0. Solve 4*m + 5 = -3*h, -m - 4*m + 5 = j for h.
-3
Let s = -96 - -98. Suppose 0*t - 6 = -s*t. Let c = 47 + -18. Solve -c = -4*l + t*y, 0*l + y = -4*l + 17 for l.
5
Let z be 11 + (-130)/13 - 353/1. Let j = 362 + z. Solve q = 2*k - 8, -2*k + j = q - 3*q for q.
-2
Suppose 14*l = 22*l + 16. Let u be -2 + (-5)/l + 129/6. Suppose 0 = 18*t - u*t + 40. Solve -3*p + 23 = 4*w, -3*p + t = -3*w + 1 for w.
2
Let o(c) = 378*c - 9448. Let n be o(25). Solve -5*g + y = 8, -n*y = g - 46 + 52 for g.
-2
Let g = 36 - 60. Let b = 2 + g. Let v = -22 - b. Solve 2*u - 6 = -4*x, v = x + 3*u + 1 for x.
2
Let k(q) = -q**3 + 13*q**2 - 105*q + 940. Let i be k(11). Solve -5*w = 3*n + 40, -3*w = 3*n + i + 3 for w.
-5
Let j(u) = 92*u - 518. Let q be j(6). Solve -2*x - 1 = -b, q = -5*b + 9 for x.
-3
Suppose 0 = -10*k + 4931 - 4901. Solve 5*g = -s + 24, k*s = 13 - 1 for g.
4
Let h(d) = d**2 + 2*d - 18. Let b be h(4). Let z(i) = 4*i - 21. Let y be z(b). Let q be 0/((-1 - -1) + -2 + y). Solve 3*g = 3*u + 12, 2*g = -2*u - q*g for u.
-2
Let b = 128 - 131. Let p be 545/(-45)*b + 4/(-3). Suppose 8 = 2*o - 0. Solve -33 = o*d - q - 4*q, -5*q + p = -5*d for d.
-2
Let k(r) = -10*r - 5 - r**2 + 0 - 7. Let s be k(-6). Solve -4*q + 10 = -2*h, 4*q - 1 - s = -h for h.
1
Suppose -h = 2, 5*b = 2*h + 2*h + 28. Let n be (b/(-4))/(-1) + 2. Suppose -4*c = -o + 3*o, 2*c + n*o = -8. Solve 0 = -4*j + c*f + 6, 3*f = -j + 6*j - 10 for j.
-1
Let m = -117 + 123. Let c(i) be the first derivative of -3*i**2/2 + 21*i + 4. Let k be c(m). Solve -5 = l - 4*x, k = 5*l + 4*x + 28 for l.
-5
Suppose 0*m = 5*m - 10, -2*h = -4*m. Let n(u) = -2*u**3 - 9*u**2 - 2*u - 3. Let t be n(-5). Solve l + 5*y + 33 = -l, h*y = -3*l - t for l.
-4
Suppose 3*d + 20 - 65 = 0. Suppose -173 = -11*s + 3. Let o be 52/s - d/(-20). Solve 3*g = 3, 4*a - o*g - g + 9 = 0 for a.
-1
Let m be (6/(-4))/((-3)/(-8)). Let c be m/(-10) - 189/(-15). Let l be (6/(-7))/((-42)/196). Solve 5*w = -20, -d - 3*w = l*d - c for d.
5
Let p = 310 - 403. Let u = p - -95. Solve u = -2*x, 2*y - 4*x - 13 = 5*y for y.
-3
Suppose 56*l - 4*g = 59*l - 127, -2*l - 5*g + 94 = 0. Solve -4*p - l = -5*f, 8 = 2*f - 2 for p.
-3
Let q = -58 + 110. Let k be (-9)/(-2)*q/78. Solve -4*g - 8 = k*f, 3*g = g + 4*f - 26 for g.
-5
Let r = 230 + 80. Let m be (1 + (-33)/55)/(4/r). Solve -3*c + y - 17 = -0*c, -5*c - m = -3*y for c.
-5
Suppose 3*b = -2*g + 42, -3*g - 51 = -4*b - b. Suppose -7*l + b*l - 30 = 0. Suppose l = -10*s + 206. Solve -5*c - s = 3*a, 4*a + c + 8 = -c for a.
0
Let j(u) = 25*u + 1329. Let t be j(-53). Solve p + 8 = -4*w - 2*p, -t*w - 4*p = 8 for w.
-2
Suppose 5*v = 5*k - 45, -820 = 4*k + v - 811. Solve 127*h + 2 = 125*h, -r - h - 6 = k for r.
-5
Let x be (-4 + (-22)/(-4))*6. Let j(w) = w**2 + 32*w + 254. Let y be j(-18). Solve x = -5*c - a - y, 2*c = 3*a - 18 for c.
-3
Let a(m) = m**3 + 5*m**2 + 5*m + 4. Let w be a(0). Solve -2*g = w*r - 6, -5*r + 4 - 1 = -2*g for r.
1
Let m(n) = 21*n - 10. Let p be m(1). Suppose 0 = 4*t + 8, 0 = q - t + p - 21. Solve 0 = -x - 4*c + 12, -4*x - 2*c = -q*x - 6 for x.
0
Let g(c) = c**2 - 5*c - 1324. Let q be g(39). Solve -q*p + 18 = -2*k, 4*p = -3*k + 14 - 13 for k.
-5
Let j(y) = -y**3 - 13*y**2 - 35*y + 27. Let m be j(-5). Solve 0 = -2*h - 4*u - 18, 13*h - 17*h + m*u - 16 = 0 for h.
-5
Let b be (-138787)/(-7733) - (-1)/19. Suppose -10 = -j - 0*s + 2*s, j = -s - 2. Solve -5*p + b = 4*o - 11, 0 = j*p - o - 9 for p.
5
Suppose 0 = 17*g - 8*g - 1935. Let b = 219 - g. Solve b*c = 3*d - 7, -c = -5*d + c - 7 for d.
-3
Let b(o) = o**3 + 6*o**2 + 29*o + 84. Let u be b(-4). Solve u = h - 5, h + 4 = 3*k - 6 for k.
5
Let m be (-1)/3 + 5124/(-18). Let x = -280 - m. Solve 3*b = x*u + 4 - 20, -4*b + 4*u = 16 for b.
-2
Let w be (668/20 - 5)*5/2. Suppose 10*q - w = -11. Solve 3 + 1 = -3*f - c, 2*f - c + q = 0 for f.
-2
Let b be 13 + (-596 - -593 - (2/(-2) - 8)). Solve -t = -2*g - 14 + b, 11 = -t + 4*g for t.
1
Let v = 193 - 248. Let d be (-10)/v + (-786)/(-33). Solve k - 2*k + d = 5*w, 20 = 5*w for k.
4
Let m(v) = -191*v - 2098. Let o be m(-11). Solve 3*p - 2*w = -3, -2*p + o*w = 3*p + 5 for p.
-1
Let i be (5/(-4))/((5 + -8)/12). Solve 0 = 6*h - h + 20, -3*s + i = h for s.
3
Let s(f) = -f**2 - 31*f - 104. Let c be s(-27). Suppose o = -3*j + 7, o + 0*o = -c*j + 6. Solve -3*t + 2*z - 2 = -o, -t + 4 = -z for t.
0
Let l(h) = -29*h**3 - 9*h**2 + 53*h**3 - 25*h**3 - 17*h + 7. Let i be l(-6). Solve -9 = -5*u + g, u - 6*u - g = -i for u.
1
Let y be (-52030)/(-198) + ((-2)/(-9))/1. Suppose 2*w + y = 143. Let x = w - -74. Solve 6*o - 5*c + x = 2*o, -c = -2*o - 4 for o.
-1
Let c(y) = -540*y - 535. Let b be c(-1). Solve -4 = -k, -8*s + b*s + 4*k - 19 = 0 for s.
-1
Let s = 34 - 37. Let b be (60/(-16) - s)*-4. Suppose -i - 5*q = -b*i + 10, 5*i - q = 25. Solve 5*u = -5*t - 15, -3*u + u = t + i for t.
-1
Let t(i) = -20*i**3 - i**2 + 6*i - 8. Let a be t(2). Let u = a - -164. Solve 2*j - u = 6*j - 4*r, 2*j - 22 = -4*r for j.
3
Suppose -21*m + 19*m + 4 = -w, 2 = m - 4*w. Solve -a + 1 = -2*t - 0*a, t = -m*a + 12 for t.
2
Let t(v) = v + 13. Let z be t(-9). Let q be (-3255)/(-45) - (4/(-6) + 1). Let g = q - 69. Solve 2*a = o, -g*a + 2 = -z*o + 12 for a.
2
Let r be (35 - (-111