-b*k - x - 12 for k.
-5
Let p(w) = -3*w**3 - 13*w**2 - 3*w - 62. Let x be p(-5). Solve -4*t + x*l - 7 = 0, t + 5*l = 6*l - 1 for t.
-4
Suppose 0 = -15*d + 3*d + 36. Suppose 5*g = 25, d*g = -2*t + 2*g + 15. Solve -2*v - 6 = 2*r - t*v, 6 = -5*r + 3*v for r.
0
Let y(w) = 2*w**2 + 23*w + 59. Let l be y(-8). Solve -l*c - 4*a = 3, 0*a = -4*a for c.
-1
Let z(s) = 24*s - 261. Let n be z(11). Solve 2*a + 20 = 4*t, -n*a - t = -4*t + 18 for a.
-2
Let c be (-1)/(-7) + -6 + (-1977)/21. Let m be c/(-15) - (-1)/3. Solve -a = 2*h + m, 3 = 2*a - a for h.
-5
Suppose -7*u + 30 = -5*g - 2*u, -8 = 2*g + 2*u. Let r(f) = f**2 + 4*f. Let j be r(g). Solve h - 15 = j*w, w + 4 + 0 = 0 for h.
-5
Let c be -3 - -2 - 12/(120/(-50)). Suppose -c*z + 22 = -2*z - o, -2*z + 16 = 2*o. Solve -5*l = -q + z, l + 2 = 5*q - 2*q for l.
-2
Suppose -3*b - 4 = -61. Suppose -23*v + b*v + 48 = 0. Let z be ((-4)/v)/((-1)/15). Solve l + 2*l + 5 = 4*q, 2*l - q + z = 0 for l.
-3
Let b be 1/(45/(-300) + (-4)/(-32)*2). Solve 7*l = 10*l + 5*h + 18, -5*h = -5*l + b for l.
-1
Let u be ((-5)/2 - -2)*0. Suppose -3*d + 12 - 6 = u. Suppose d + 3 = m. Solve -3*f - t - 8 = 2*f, -2*f + m*t = 14 for f.
-2
Let p(u) = 120*u**2 - 16*u - 2. Let w be p(3). Suppose -1038*b + w*b = 0. Solve b = a - 3*a + 3*c - 5, -4*a - 4 = -4*c for a.
2
Suppose -2*u - 5*b = 30, 42*b = -3*u + 44*b + 31. Solve 4*q + 0*q - 24 = -4*a, 4*q - u*a = 15 for q.
5
Let q = 11 - 7. Let p(i) = 3*i - 9. Let w be p(q). Suppose 3*u = 2*u + w. Solve 6 = -4*x + u*j - 20, x - 2*j + 9 = 0 for x.
-5
Suppose -3*v + 11 = -4*u, -3*v - v - 3*u + 23 = 0. Let a(b) = -b**3 + 4*b**2 + 10*b - 17. Let g be a(v). Solve z - 2*z + 4 = 0, -4*d - 5*z = -g for d.
-3
Suppose -3*q = 2*j + 83 - 78, -j = 3*q + 7. Solve -j*x - 4*b - 12 = 0, -3*b = -5*x - 47 + 69 for x.
2
Let w be (2 - 5)*(-5 + 1). Solve -w = 4*j, -5*j = -3*v + 25 - 4 for v.
2
Suppose 7*z - 13*z = -7*z + 3. Let f be 10/(-15) + (-56)/(-12). Solve f*l - 4*i = 8, 2*l + 2*i + 3 = z*l for l.
1
Let y = -16 - -10. Let j(q) = -q + 2. Let c be j(y). Let z be (c + -9)/(1/(-5)). Solve 2*a - 2*x = 3*a - 5, -z*x = a - 17 for a.
-3
Suppose 5*y = -7 + 2. Let q be ((-20)/15)/(y - (-15)/18). Suppose -8*t = -4*t - q. Solve 4*n - 4*l = -8, -4*l = -n - t*n - 4 for n.
-4
Let o = 30 + -15. Let v be (3 - 35/o)*-18. Let q be 2/(-1)*v/8. Solve 3*c - 5 = -4*j + 11, -q*c + 12 = 3*j for j.
4
Suppose 4*v + 0*c + 2*c = 6, -7*v + 5*c - 15 = 0. Solve 3*x + j + 34 = 44, x - 3*j = v for x.
3
Suppose 0 = -11*v - 4*g + 65, -3*v + 2*g = -g + 15. Solve -v*y + 27 = -5*x, -12*x + 11*x + 5 = 2*y for x.
-3
Let o = 93 - 72. Suppose -o = -m - 4*x, 2*m = -4*x + 8*x - 18. Solve 4*s + m - 3 = f, 2*f - 7 = -3*s for s.
1
Suppose -3*z = 15, 6*k + 13 = 2*k - 5*z. Suppose -k*m + 5*g = g + 8, -3*g = 3*m - 27. Solve 18 = -s + 5*l, s = 2*s - m*l + 15 for s.
-3
Suppose t + 4 = 0, 8*m - 6*m + 2 = -t. Solve 15 = 3*p, -3*p + 2 = 3*y - m for y.
-4
Let x = 20249 - 20240. Suppose -4*a + 3 + 5 = 0. Solve s - 3*s + 12 = -a*t, -3*t = x for s.
3
Let u = 61 - -65. Suppose -131*x = -u*x - 20. Solve -3*j = -x*o + 28, -24 = -2*o + 3*j + j for o.
4
Suppose 0 = -14*y + 11 + 17. Let l be 1 - (-5)/3 - (-1)/3. Solve -y*c + 18 = 2*i - 0*c, -2*i + c = -l for i.
4
Suppose 0 = -10*s - s + 66. Suppose -s*q + 0*q = -q. Suppose 5*c + 7 = x, 7 = 3*x - q*c - c. Solve 4*o - 22 = -b - 1, -2*b + 18 = x*o for b.
5
Let n(b) = b**3 - 5*b**2 + 4*b - 4. Let t be n(6). Let f = t + -52. Suppose -2*j + 17 - 3 = -f*u, -3 = 3*u. Solve j*z + 6*l - 5 = 2*l, 0 = 5*z - l - 5 for z.
1
Let c(v) = 59*v + 2272. Let f be c(-38). Solve 2*m = -4*a - 30, 0 = -5*m - 7*a + 6*a - f for m.
-5
Let j = 10390 + -10370. Solve 8*g = 3*g + 2*h - 15, g = -3*h - j for g.
-5
Suppose -m + 3 = 4*v - 4, v + 14 = 2*m. Suppose 2*o - m = 11. Suppose 2*j + 1 = o. Solve 0 = -2*t - j, -6 = 2*a - 0*a - t for a.
-4
Let g = -48 + 53. Solve -6 = 4*f + g*b, -2*b + 8 = -4*f - 6*b for f.
-4
Suppose 0 = -4*g + 4, -2 = -m + 4*g - 2*g. Solve m*h = 3*j + 18, 14*h - 10 = 12*h + 2*j for h.
3
Suppose 9*y + 159 = 6*y. Let h = -57 - y. Let d be 2*(-2)/h*2. Solve 0 = -d*p + 7*p, -2*o + 6 = -5*p for o.
3
Suppose 61*d - 62*d = -75. Let p = -74 + d. Solve -i + p = -0*i + z, 5*z + 15 = -i for i.
5
Let o = -27157 - -27157. Solve o*p + 4*p + 5*f = -30, -4*f = -4*p - 12 for p.
-5
Let k(r) = 2*r - 68. Let u be k(17). Let l = u - -50. Solve -2*v + 9 = h, -3*h - 3*v + l = h for h.
1
Let r(s) = 12*s**2 - 11 + 21*s + 39 - 3*s**2 - 5*s - 4*s**2. Let g be r(-2). Solve -5*m = 5*j + 15, 4*j + g = 4*m + 4 for m.
0
Let f = -577 - -577. Solve f = 3*g - h - 16, g - 3*h = -1 + 9 for g.
5
Suppose 0 = -0*n + 2*n - 5*s + 4, 2*n - 36 = -5*s. Suppose n*t - 117 + 101 = 0. Solve 0 = -t*z - 4, v + v + z = -12 for v.
-5
Let f = -449 + 668. Suppose 0 = 9*r - f - 357. Solve -4*v - 28 = 2*c, -23 = -5*v - 4*c - r for v.
-5
Let m be (2 + 66)/(18 - 14). Solve 0 = t - 5*v + m, t + 16*v - 13 = 11*v for t.
-2
Let a be -6*(-3)/(-9) + 7 + -1 - 1. Solve -2*n + 10 = a*g, -5*n + 95*g = 91*g - 2 for n.
2
Let p(c) = -513*c - 5121. Let t be p(-10). Solve -4*h = s + 8, h + 3*s + 22 = t for h.
-1
Suppose -34 = -64*s + 82 + 524. Solve 0 = -3*l + 3*z - 15, 0 = l + 11*z - s*z + 3 for l.
-4
Suppose -4*g + 28 = 4*h, 3*g + 5*h - 28 = 3. Suppose 2*t = -5*o + 16, -g*o + 10 + 0 = -t. Solve -2*p - 8 = -3*p - w, 7 = -p + o*w for p.
5
Let z(f) be the second derivative of -1/20*f**5 + 0 + 13/12*f**4 + 24*f - 11*f**2 - 5/3*f**3. Let l be z(12). Solve -5*k + b + 5 = -4*b, 4*b - l = 2*k for k.
3
Suppose 2*o = -3*w + 191, 2*o + 114 = -9*w + 11*w. Let t be 4/(-20) - (-289)/(-5). Let l = w + t. Solve -5*v + 3*d = 0, -d - l = 4*v - 4*d for v.
3
Let d = -454 + 454. Suppose 0*f - 4*f = -16. Solve t - w + 8 = -2*t, d = -w - f for t.
-4
Suppose 2*p = -p - 3. Let w be (-2)/(76/(-68) - p). Suppose -5*u + w = -k, -2*k - 2 = -4*u + 14. Solve 3*x + 4*v + 5 = u*v, -4*x = v + 8 for x.
-3
Let t = 58 + -225. Let z = t + 170. Solve -5*y = z*v + 5 + 11, -4*y = -v + 6 for v.
-2
Suppose 64*w + 6 + 30 = 67*w. Solve 0 = 2*s - 111*m + 109*m + w, -10 = -3*s - 4*m for s.
-2
Suppose 1085*w + 239*w + 619*w = 60*w + 7532. Let n be (38 + -1)/(-1 + 2). Solve -3*i + u = -17, w*i - n + 9 = 4*u for i.
5
Suppose -14*m + 205 = 27*m. Suppose -3*x + 13 = -4*i, 2*x - 16 = -2*x + 4*i. Solve 0 = -5*k + 5, -m*n + 2*k = -x*n - 4 for n.
3
Let d be (2/5)/(23 + 12852/(-560)). Solve -11 = -3*u - o, 5 = d*u - 7*u - o for u.
4
Let q(j) = -10*j**2 + j**2 + 8*j**2 - 11 + 16*j. Let p be q(15). Let w be (-4)/(-6) + ((-70)/(-21) - p). Solve -2 = -h - f, 5*h - 4*f = -w*h + 1 for h.
1
Let m be -7 + -34 - (-6 + (4 - 3)). Let o be 6/(m/6) - -3. Solve -5*n = 2*r - 6 - 5, -o*r - 1 = n for r.
-2
Let b = 198 + -166. Let d be 20/(-6)*(-54)/5. Suppose d*r + b = 38*r. Solve 2*u - r = y + y, -3*u = 3*y for u.
4
Let d(a) = -a**2 - 12*a - 12. Let j be d(-7). Suppose 6 + 6 = b + 2*f, -j = b - 5*f. Solve -5*x - 6 = -2*m + 8, -x - 10 = b*m for m.
-3
Suppose 3*h + 1 = -8. Let t be 2/6 - (-4 + h/(-9)). Suppose -4*x - 22 = -3*n, -t = 4*n - 2*x - 20. Solve -5*g = 4*o - 0 - n, 5*o - 5*g = -20 for o.
-2
Let z(v) = 3*v + 32. Let s = -167 + 157. Let m be z(s). Suppose 3*u - 2*w - 2 = 3, 5*u - 21 = -3*w. Solve u*q - h + 5 = -m, -5*h + 21 = -q for q.
-1
Let q = 66 - 30. Suppose 2 = 3*l + 4*u - 26, 4*l + 5*u = q. Suppose 5*w - 17 = -b + l*w, -5*b - 4*w = -83. Solve -6*f = -2*f - 12, 2*f = 3*i + b for i.
-3
Let w be (-34)/119*93/(-6) - (-6)/(-14). Solve 0 = 5*h + w*o - 21, -4*h - 1 = 5*o - 16 for h.
5
Let u be (-50)/2*(-666)/2775. Solve -d + 0 - 3 = 5*o, 2*o + u = -2*d for d.
-3
Let s be (-106)/583 - (-1)/11*-8039. Let l = 750 + s. Solve 2*t = -5*y + l, -4*y + y + 1 = -4*t for y.
3
Let c(x) = 3*x + x - 2*x**2 + 10*x + 1 - 7*x. Let h be c(3). Suppose 0 = -2*d - 2*d + 16. Solve h*l - 11 = 3*r + 2*r, 0 = 4*r - d for l.
4
Suppose -181 = -5*d + 4*r + 12, 3*r - 214 = -5*d. Suppose -44*c + d*c = -63. Let o = c - 19. Solve -2*z - 5*p = -22, 0 = o*z + 4*p - p - 14 for z.
1
Let j be ((-1)/(144/(-54)))/((-3)/(-16)). Solve 3*k + q + 5 = 0, 5*k - 5*q + 33 + j = 0 for k.
-3
Let t(p) = 21*p + 36*p - 43*p + 9*p + 4. Let s be t(0). Solve 4*l - 4*x - s = 0, -7 - 8 = 5*l - x for l.
-4
Let n = 12 + 3. Let o = 7 - 2. Let g = -34 - -42. Solve o*b = y - n, g - 1 = -3*y + 2*b for y.
-5
Let j be 2/(-18) - 1610/(-31