 Solve 4*j - f*u + 13 = -4, -4*j = -u + 13 for j.
-3
Let l = -63 + 65. Solve -5*j - 3*o - 11 = -4*j, -l*j - 4*o - 14 = 0 for j.
1
Let d(y) = 3*y - 14. Suppose 4*b = 9*b - 30. Let p be d(b). Solve -4*m = s + 20, 9*s + p = 4*s + 4*m for s.
-4
Let l = 24 - 24. Suppose l*g + 2 = g. Solve 4*y = 5*v + 40, -g*y + 25 = 3*y for v.
-4
Let a be 21/63 - (17/(-3) - -3). Solve -n + a*g = -12, 7*n - 2*n + 5*g + 40 = 0 for n.
-3
Suppose 3*u + 3*f = 7*u - 9, 3*u = -5*f - 15. Let d(t) = -t**2 - 12*t - 11. Let a be d(-10). Solve -3*r + u*z = z - a, 3*r = -3*z + 3 for r.
4
Let v(m) = -m**3 + 18*m**2 - 18*m + 33. Let o be v(17). Solve -2*y + 3 - 7 = -3*g, -2*y = 3*g + o for y.
-5
Suppose 0 = 4*r - q - 20, -r - 3*q = q - 22. Suppose 3*p = r - 0. Solve 2*h + 2*u = 0, -5*h - 3*u = -4 - p for h.
3
Let d be (-4 - 1) + (-84)/(-12). Solve 3 - 2 = f - d*g, 0 = f + 4*g + 11 for f.
-3
Let w = -75 + 80. Suppose -4*l + 1 = -7. Solve 3*p - 19 = -5*q, -l*q - p = -2 - w for q.
2
Suppose -5*n + 0 = 4*j - 23, 0 = j - 2. Solve -3*v = -15, -35 = 5*h - n*v - 2*v for h.
-2
Suppose 2*s - 13 = -7, -5 = -5*r + 5*s. Solve 5*l + r*x = 0, l - 3*l + 5*x - 33 = 0 for l.
-4
Let b(a) = 52*a - 779. Let v be b(15). Solve t - 9 = 8*s - 4*s, -t = -v for s.
-2
Let b(c) = -3*c**3 - 2*c**2 + 12*c - 8*c - 5*c. Let y be (-44)/36 + 4/18. Let w be b(y). Solve 0 = f + 2*j - 4, 7*f - 4*f + w*j = 8 for f.
2
Let a be ((-48)/30)/(4/(-10)). Let s be -6 + (-1 - -4) + 75. Let p be (-4)/(-6)*s/16. Solve k + a = 0, -2*z + 5*k + 16 = -p*z for z.
4
Suppose 1 = -3*v + 4. Let r be (4 - (v - -1))/1. Solve -13 - 1 = 3*w + 4*k, -3*w - r*k - 4 = 0 for w.
2
Suppose 2*d - 3 = 3*d + 5*g, -1 = 2*d + 5*g. Suppose 0 = -d*v, 4*b + 5*v = -38 + 2. Let s = 21 + b. Solve 2*i = -2*m - 2*m + s, 2*m + 3*i - 10 = 0 for m.
2
Let v be (0 - -2) + 0 + 3. Let i = 36 - 16. Let n be 90/i + (-3)/2. Solve -2*x - n*g = -12, -g + 6 + 11 = v*x for x.
3
Suppose -8*q + 92 + 396 = 0. Let g = q + -51. Solve -3*x - 5*t + g*t = 26, -5*x = 2*t + 2 for x.
-2
Let j(g) = 390*g - 5 - 4*g**2 + g**3 - 390*g. Let o be j(5). Solve 3*w + 4*k = o, 2*w - 14 = -2*w + k for w.
4
Let c(x) = -x**3 - 17*x**2 + 38*x + 10. Let n be c(-19). Solve -5*q - 11 = -p, -q + 4*p - n = 2*q for q.
-2
Suppose -3*l - 4*u = -8*l, l - u = -1. Solve -5*r + 3*o = -3*r + 8, -l*r - 2 = o for r.
-1
Let f(m) = 2*m + m**2 - 7*m - 17 - 2*m - 2*m. Let n be f(11). Solve -4*l + 2 = 4*i + 26, -12 = -l + n*i for l.
-3
Let y(s) = -3*s**3 + 2*s**2 - 3*s - 5. Let a be y(-1). Solve 3*c + c = -a*p - 17, 2*c = -p - 7 for p.
-3
Let r be 174/8 - (-105)/(-140). Suppose 10*z - r = 19. Solve -2*h - 23 = 3*h - z*t, 3*t = -2*h for h.
-3
Let u = -135 - -137. Solve u*k - 3*a + 3 = 1, k + 2 = 2*a for k.
2
Suppose 0 = -9*b - 100 + 145. Solve -5*z = -5*g, -1 = -3*g + b*z + 1 for g.
-1
Let d(z) = -z**3 - 11*z**2 - 2*z - 15. Suppose -u + 5*n + 54 = -5*u, 29 = -3*u + 2*n. Let v be d(u). Solve -a - v = -i - 0*i, -15 = 5*i + 5*a for i.
2
Suppose -2 = 2*o, 0 = -2*m + 2*o + o + 5. Solve 3*z = -5*i, i - 4*i - m = 2*z for i.
3
Let a(s) = -50*s**2 + s - 1. Let b be a(1). Let v = b + 54. Solve 5*j - v*c + 11 = -9, -3*j - 5*c = -25 for j.
0
Let s be 11/3 - (-5)/15. Let z be 0*-3*2/(-6). Suppose c = -5*r + 8, z*c + 2*c + 2*r = 8. Solve -v - s*u = -0*v - 1, -c*u - 3 = 0 for v.
5
Let x(d) = -d**3 + 5*d**2 + 2*d - 2. Let f be x(5). Let h = -10 + f. Let g be 3 + (6/3 - h). Solve -5*j = -4*m + 21, -3*m + g*m = 4*j + 20 for j.
-1
Suppose 266 = 5*f + 96. Let k be 6/(7/2 - 2). Suppose -x = x - k*y - f, -2*y + 46 = 2*x. Solve 5*d = 2*b + x, 4*b = 2*d - d - 15 for d.
3
Suppose 4*b - 1 - 35 = 0. Suppose b = t - c, -2*t + 17 = t - c. Suppose t*f - 3*g = 39, 3*f + 4*g - 3 = g. Solve -5*p + 2*x = 20, -2*p - 3*x - 2 = f for p.
-4
Let p = 1 + 4. Let h(g) = 3*g**2 + g - 3. Let o be h(-2). Suppose 49 = o*n + 14. Solve 20 = -p*q - n*w, -w + 10 + 16 = -5*q for q.
-5
Suppose -8*x + 4*p - 4 = -3*x, -2 = -2*p. Let m(w) = w**3 + 6*w**2 - 5. Let i be m(-6). Let g = x - i. Solve -c - 2*b = -2, -g*c - 5*b + 16 - 1 = 0 for c.
4
Let b(w) = 3*w**2 + 20*w - 40. Let p be b(2). Solve 0 = 4*m + 2*i - 4, 0*m - i - p = -5*m for m.
2
Suppose -v = -6*v. Suppose -5*z + v*z + 25 = 0. Solve -q + 0*q - z*a = -11, a = 2*q for q.
1
Let l be (-16)/3 - (-2)/(-3). Let r = 1 - l. Suppose 0 = -u - 4*z - r, 0 = -u - 5*z - 11 + 1. Solve -u*t + 2*v + 13 = 0, 2 = -t + 4*v + v for t.
3
Let p(k) = -k**2 - 6*k - 1. Let o be p(-6). Let a = 10 - o. Solve y - 2*z = -a, -4*z = 2*y - 6 + 4 for y.
-5
Suppose 117 = 27*f + 9. Solve -2*w - 4*t + 16 = 0, 5*t = f + 6 for w.
4
Let u(z) = 3*z**3 + z**2 + 3*z - 3. Let j be u(2). Solve 5*x - j = -4*r + 9, -2*x - 3*r = -23 for x.
4
Let c = -2324 - -2356. Suppose 3 = 2*x + 1. Let j be 6/(0 + x/2). Solve -3*w = 5*s + c, -2*w + 4*s + j = 4 for w.
-4
Let v = 165 - 94. Let d = 74 - v. Solve n + 2 + 1 = -d*s, 3 = -2*s - n for s.
0
Let a(g) = g - 1. Suppose 5*t - 11 = -6. Let d be a(t). Suppose -17*n + 22*n - 40 = d. Solve -3*l = -3*o - n*l - 10, -4*o + 2*l = -4 for o.
0
Let b = 0 + 2. Let x(o) = o**2 + 5*o + 4. Let a be x(-4). Suppose 11*k - 16 - 17 = a. Solve 15 = k*t, b*u - 3*t + 25 = -0*u for u.
-5
Let d be 2 + 1*108/4. Let i = d + -26. Solve i*j + g - 4 = -17, 5*g - 10 = 0 for j.
-5
Suppose -2*u - 5*m + 13 = 0, -2*m = -u + 4 - 2. Suppose -2*p + 14 = u*q, -5*q + 4 = -7*p + 5*p. Solve -25 = -4*d - d, d - 7 = -q*o for o.
1
Let z be 2/10 + (-182)/(-65). Suppose -3*j = h + 5, -h + z*j = 2*h - 21. Solve -4*x - 8 = -4*f, -h*x + 0*f - 23 = f for x.
-5
Let m = 393 - 388. Solve -c = 5*x + 23, -m*c + 4*x = x - 25 for c.
2
Let v(o) = o**2 + 18*o - 144. Let m be v(-24). Solve 3 = 4*n + 3*s - 5, 3*s + 12 = m for n.
5
Let w be -8 + 264/36 - 16/(-6). Solve -4*r = w*y + 16, 0*y - 11 = 4*y + r for y.
-2
Let z be 254/50 + 40/(-500). Solve z*k = x + 7, x - 2*k = k - 5 for x.
-2
Let m = 0 - 0. Suppose 3*o + 27*i - 23*i - 22 = 0, -18 = -o - 4*i. Solve 0 = r - c - 6, 5 = o*r - m*r + 5*c for r.
5
Let k = -330 + 332. Solve -30 = -3*l - 5*p, -7 = -2*l + k*p - 3 for l.
5
Let s(h) = h**2 + 50. Let n be s(0). Suppose c + 2*c + 5*k = n, 0 = -4*c - 5*k + 60. Solve -4*q = -2*g + c, 0*q + q + 4*g - 11 = 0 for q.
-1
Let i be (-8)/(-3)*(-24)/16. Let h be (-2)/(-3)*(i + -23). Let w be 3/(-12) + h/(-8). Solve -4*v = -6*v - 5*o - 17, 0 = -w*v - 2*o - 8 for v.
-1
Let q = 1503 - 1498. Solve 5*t = 3*w - 2, -9*w - t - q = -5*w for w.
-1
Let d be 4 - (-1)/3*0. Suppose 12 = -3*t, 7*t - d*t = 5*h + 128. Let z be 3/2*h/(-21). Solve z*c + 2*u = -1 - 13, -2*c = -2*u + 6 for c.
-5
Suppose -17*n + 2*j = -14*n - 18, 0 = -n + 4*j + 16. Solve -n*k + 5 = 3*g - 5, -2*g + 5*k = 24 for g.
-2
Suppose 3*f + 4*w + 3 = w, 0 = 4*f + 2*w + 2. Suppose 0*u - 2*u - t + 5 = f, 3*u - 5*t = 27. Solve -3*o + u = -3*s + 2*s, o + 4*s = 23 for o.
3
Let r(z) = 4*z**2 + 20*z + 15. Let y be r(-5). Solve 3*s - f + y = 0, -4*s + 6 = -7*s - 2*f for s.
-4
Suppose -3*o = 0, -o + o = 2*q - 3*o. Solve 4*x + x - 15 = q, -2*z - 5*x + 11 = 0 for z.
-2
Let w(r) = -r**3 + 15*r**2 - 55*r + 11. Let d be w(9). Solve 2*c - 22 = -4*f - 0*f, 1 = 3*c - d*f for c.
3
Suppose -56 = -5*y - 2*z, -y + 6 = -2*z - 10. Suppose d + y = 4*d. Suppose 0*o - d*o + 12 = 0. Solve o = i - g, 3*i + 6*g - 3 = 3*g for i.
2
Suppose -2*r = -3*d - 19, -2*r + 8 = -5*d - 17. Suppose -4*a - 2*c + 12 = c, r*c = 0. Solve w + w - 5*g - 21 = 0, -4*g - a = 3*w for w.
3
Let o = 3096 + -3091. Solve 3*c + 3 = -o*m, c + 3*m = -0*c - 5 for c.
4
Suppose -3*o = -3*g, 24*g - 27 = 20*g - 5*o. Suppose 5*q = -4*j + 6*j + 2, 5*j = q + 18. Solve j*t + 0*t - 2*r - 10 = 0, g*r + 15 = 5*t for t.
0
Suppose 2*m = 2*a + 35 + 5, -5*m = a - 130. Let f be 2/((m/(-10))/(-5)). Solve -3*d - f = 4*b, -d = -4*b - 10 - 10 for b.
-4
Let q = -25 + 83. Let h = -53 + q. Solve -2*l = -3*b + 4 + 3, -h*b - 30 = 5*l for b.
-1
Let j(c) = -2*c**2 - 58*c - 54. Let h be j(-28). Solve x - 16 = -5*o, -h*o - 8*x + 11 = -3*x for o.
3
Suppose -6*t = 3*t. Suppose -28*y + 23*y + 15 = t. Solve -o = 2*w - 4, 2*w - y*o = -0*w - 4 for w.
1
Suppose -3*v = -2*v - 29. Let b = 32 - v. Solve 2*k - 2 = -h, -b = -3*k - 7*h + 2*h for k.
1
Suppose 0 = 84*s - 106*s + 110. Solve 4*o + 19 = s*d + 6, -4*d + 32 = 4*o for d.
5
Suppose 34 - 162 = -32*r. Solve -3 = -3*j - b, r*j - 2*b - 14 = -0*j for j.
2
Let i(k) be the third derivative o