-4*f, 4*y + 5*f = -k*y + 5 for y.
5
Suppose 11*u = 9*u + 8. Suppose -o + g + 3*g = 5, -2*g + u = 0. Solve 5*i - 3*f + 2 = -o, 1 = -i + f for i.
-1
Let x(i) = i**2 - 18*i + 5. Let g be x(17). Let f be ((-522)/g)/((-2)/(-4)). Suppose 90*q = f*q + 147. Solve -2*p + 4*z = -8, 5*p = -4*z - q + 13 for p.
-4
Let y be (-11)/(-5) + 4/(-20). Suppose 740 = 28*b - 24*b. Suppose 12*m = -41 + b. Solve 0 = h, 7*h + m = 3*j + y*h for j.
4
Let i = 24 + -35. Let f = 56 + i. Let d = -33 + f. Solve -4*x + d = -5*l, 0 = 3*x - 7*l + 2*l - 14 for x.
-2
Let y(k) = 36*k + 1190. Let g be y(-33). Solve -g*c = -4*d + 30, -12*d - 3*c = -11*d + 10 for d.
5
Let w = 11875 + -11863. Let n = 4 + -2. Solve 0 = -0*j + 5*j + 4*g + w, 16 = -n*j + 4*g for j.
-4
Suppose 27*v - 31*v - 4*u = -60, -5*u = 2*v - 24. Solve -v*s + 16*s - 2*m = 3, 5*m = 5*s + 15 for s.
-3
Suppose p - 3*a = -10, -5*p + 3*a - 14 + 12 = 0. Suppose 0 = -30*u + 58 + p. Solve -3*h + 3 = b, -b + u*b + 5*h = 7 for b.
-3
Suppose 5*h - 3873 = -3858. Solve 2*l + 13*r = 11*r + 22, 0 = -h*l - 4*r + 39 for l.
5
Let y be 4*2*6/12. Let h(n) be the first derivative of -2*n**2 - 27*n - 20. Let z be h(-8). Solve -y*w + 3*u = 23, 0*u - 26 = z*w - u for w.
-5
Suppose 3 + 22 = 5*f. Suppose i + 4 = r, -f*i - 14 = -2*r - 6. Suppose -40 = -6*h + 8. Solve r*y + h = -t, -t - 6 = 3*y + t for y.
-2
Suppose 123*x + 20 = 176 + 90. Solve -x*r - 4*d = 6, d = 14*r - 9*r + 15 for r.
-3
Suppose 2*n + 327 = -3*f, -3*f - f + 2*n - 450 = 0. Let b(j) = 7*j**2 + j - 5. Let t be b(4). Let w = t + f. Solve z = -1, w = -4*g + 2*z + 2*z + 8 for g.
1
Let q(y) = y + 3. Let d be q(0). Let v be (-7144)/(-2280) + (-6)/45. Suppose 2*h = -h + 6. Solve -h*s = v*j + 4, -d = j - 1 for s.
1
Let f be (-6 - 4) + -2 + -6. Let p = f - -31. Solve o - z - 4 = -0, 3*z = 2*o - p for o.
-1
Let c(q) = -170*q - 1185. Let o be c(-7). Solve -3*b + 2 = -3*v + 11, -2*v = o*b - 20 for v.
5
Let j be -4*((-121)/(-22))/(1 - 2). Let q be 62/j + 4/22. Suppose 0 = -2*d + 4*z, 5*z - 9 = d - q*d. Solve 2*m + 8 = -2*k, 0*m - 2*m = d for k.
-3
Let f(b) = b**3 - 4*b**2 - 52*b + 66. Let d be f(9). Solve d*s + 8 = -5*q, 9*s = -4*q + 12*s + 26 for q.
2
Suppose 36*w - 124*w + 483 + 1365 = 0. Solve -28*o + 6 = -26*o + 3*l, -3*l + w = -3*o for o.
-3
Suppose y = -2*y + 3*s - 3, 5*y + 2*s = 9. Suppose 20 + y = 3*k. Suppose 0 = 2*p + 5*h - 23, 3*p - 4*p = 4*h - k. Solve 3*z + d - p = -5, 2*d = -5*z + 24 for z.
4
Suppose t = -2*d - 3*t + 6, 5*t = -5*d + 10. Let c be (d + 1)*(1 - 56/(-16)). Solve 0 = -2*x + s - 5, 5*x - 2*s + c = -2 for x.
-1
Suppose 72*j = 88*j - 48. Let r(z) = z**2 - 15*z + 39. Let k be r(j). Solve -k*q + 2 = -b + 16, 0 = -b + 4*q + 18 for b.
2
Let g be -251 + 246 + -1 + 8. Solve 3*a - 1 = -g*c - 4, a + 11 = -4*c for a.
1
Suppose 2*u - 48 = u. Let y be ((-1)/2)/((-2)/u). Let f = 1162 + -1158. Solve -b + 18 = -f*n, n = -0*b + 4*b - y for n.
-4
Let f(m) = -m**2 - 301*m + 609. Let d be f(2). Solve d*r = 2*a + 3 + 19, -19 = 3*a - r for a.
-5
Let f = 350 + -364. Let d(z) = -z**3 - 15*z**2 - 16*z - 25. Let b be d(f). Solve -5*a = 2*k + 16, -b*k = 3*a - 2 + 8 for a.
-4
Suppose 0 = -83*d - 40*d - 5*d. Solve d = 5*w + 20, 58*z + w = 55*z - 7 for z.
-1
Let x be 2*(-9)/12*(1955/(-69) - -27). Solve -3*n = 5*m - 31, -x*n = -7*n + m + 5 for n.
2
Suppose -47*g = -10*g + 38*g + 31*g. Let m = 4 + 6. Solve 2*b + 2*v + g*v = -m, -v - 13 = 5*b for b.
-2
Suppose -5*l + 7 = -3. Let w = 332 + -328. Let b(f) = -9*f**2 + 35*f + 9. Let r be b(w). Solve r - 13 = -4*d - l*k, 12 = -2*d - 5*k for d.
4
Let v = -5261 - -5272. Solve -4*y + 3*t + v = 1, 0 = -y - 2*t + 8 for y.
4
Suppose -3*x + 185 = -8*x. Let u be (13 + x)/(-2 + 0) - -2. Solve 4 = -5*o - 0*o + 2*t, -o - 4*t = u for o.
-2
Suppose -q - 8 = 2*m - 7, -2*m = -q + 11. Solve -8 = q*x - 2*o - 6, 0 = x + 4*o - 4 for x.
0
Let s be 52 + -957 + (-10)/(4/(-2)). Let w = -898 - s. Solve -4 = -2*y - w*y, y = 4*a + 17 for a.
-4
Let y(d) be the second derivative of -d**5/5 + 9*d**4/4 + 5*d**3/6 + 17*d**2/2 + 2*d + 60. Let l be y(7). Solve c - 4*r + 4 = -0, 0 = -l*c - 4*r - 12 for c.
-4
Let t be -207*(-4)/(-6) + (5 - 4). Let l = -132 - t. Solve 0 = 5*q + l*s, 4*q = 6*s - 2*s + 32 for q.
4
Let q be (14 - 12) + 7/(-1) - -7. Solve -q*o + o = -4*v + 11, 2*o = 2 for v.
3
Let r(n) = n**2 + 4*n - 1. Let c be r(-5). Let t = 28 - 23. Suppose -3*u + 29 = 5*b, -5*b + 10*b - 5*u - t = 0. Solve 4*d + 12 = 4*s, c*s = -b*d - 5 - 23 for s.
-2
Let i = -12 + 15. Suppose -2*y - 6 = -u + 3, 1 = -i*u - y. Let d be (3*u/(-3))/(2/(-4)). Solve -j + 3*t = -2*t - 13, -5*t = d*j + 4 for j.
3
Let c(b) = -192*b - 3454. Let z be c(-18). Solve 6*g = g - 4*a - 40, 0 = g + z*a + 14 for g.
-4
Let j(d) = 3*d**2 - 4*d. Let x be j(2). Suppose w = -5*o - 59, -x*w = -w - 5*o + 157. Let s = -49 - w. Solve 4*v - 13 = 6*v - s*g, -5*g = 3*v + 7 for v.
-4
Suppose 175*u + 23 = 178*u + 2*d, -2*d + 3 = -u. Solve 0 = -4*x + 5*w + 21, u*x - 30*w - 22 = -28*w for x.
4
Let f = 13901 - 13897. Solve -f = -4*b - 4*m, 21 = -4*b + 5*m - 2 for b.
-2
Suppose -4*n - 234 = -3*l + 240, 2*n + 156 = l. Suppose 2*i + l = 166. Solve -z = 5, 20 + 10 = 4*s - i*z for s.
5
Let x(a) = -2*a**2 - 12*a - 16. Suppose -i = 1, 0 = 4*l - 6*l + i - 7. Let t be x(l). Solve t = -7*h + 4*h - 3*d, 0 = -3*h + 5*d - 24 for h.
-3
Let d be -1 + 16/(-2) - (-120 + 105). Solve 4 = -4*j, d*o - 36 = 10*o + 4*j for o.
-8
Suppose -20*b = -1209 + 569. Solve -b = 4*m + 5*d, m = 4*m - 4*d - 7 for m.
-3
Let q(d) = 3*d + 167 - 338 + 167 + d. Let f be q(2). Solve f*o = -3*z + 19, -1 = -2*o - z + 8 for o.
4
Let j be (-17 - -3) + -29 + 257. Solve 3*w + 216 - j = -2*i, -2*w - 2*i = 0 for w.
-2
Suppose 376 - 366 = 5*j + 2*i, -5*j + 10 = 10*i. Solve -4*u = 3*t - 4, j*t = -10*u + 7*u + 4 for t.
-4
Let l = -34351 + 34354. Solve -207*w + 204*w - 33 = -l*j, 2*j - 8 = -5*w for w.
-2
Suppose -21*y + 20*y + 93 = 0. Let u = y + -88. Solve p = 5*j - 20, -u*p + 0 = -4*j + 16 for j.
4
Suppose -5*z + 144 = 3*i, 3*z - 5*i - 9 - 57 = 0. Solve -2*j - l - 3 = 0, 4*l = 3*j + l + z for j.
-4
Let b(a) = a**2 - 5*a - 61. Let f(p) = -p**3 - 20*p**2 + 46*p + 55. Let n be f(-22). Let u be b(n). Solve -z + 3 = 4*g - 0*z, -u*g + 35 = -5*z for g.
2
Let u(i) = 377*i - 13946. Let r be u(37). Solve 5*h + 13 = -r*x - 0*x, h + 1 = x for x.
-1
Suppose -110 - 379 = -241*x - 7. Solve 0 = 3*b + x*k - 14, -88*k + 91*k = -5*b + 23 for b.
4
Suppose 20*p - 19*p = 5. Suppose o + 0*o = p*q - 12, o = q. Suppose i + 6 - 7 = -2*v, 5*i - 11 = -4*v. Solve -o*k = i*j, 2*k + 10 = -5*j + j for k.
5
Let x be 2/(11*11/363). Solve 0 = 5*k - x*i + i - 40, -8 = -4*k - 2*i for k.
4
Let n(d) = 5*d**2 - 63*d + 164. Let f be n(9). Solve r - 4*c - 21 + 33 = 0, -f*r + 4*c - 16 = 0 for r.
-4
Let y be (-9)/27 + 13/3. Solve 72*w - 77*w - 4*n + 13 = 0, -y*w = -3*n + 2 for w.
1
Let s be 3 + ((-30)/6 - -10). Let z(n) = 2*n**3 - 17*n**2 + 7*n + 8. Let f be z(s). Solve 4*l = -5*g + 37, 2*l + f*l + 14 = 4*g for l.
3
Let k be -1 + 22 + (-9)/(-3). Suppose 2*f + 0*o + 2*o - 72 = 0, -2*o = -f + k. Suppose 9*a - f = a. Solve 0 = 4*x - 2*y - 12, -x + 3*y + a = -2*x for x.
2
Suppose -99*j + 26 = -86*j. Solve y = 5*v + 2, -j*y - 3*v - 5 = -4*v for y.
-3
Suppose -4*n = -7*b + 550, 0 = -4*b - 4*n + 8*n + 316. Suppose b*s = 73*s + 20. Solve 3*p + 10 = 3*q - p, -s*q + 7 = p for q.
2
Let b = 17 - 14. Suppose -5*o + 10 = -t, 20*t + 7 = -o + 22*t. Solve 3*z + 3 = c, c - 3*c - b*z - o = 0 for c.
0
Suppose h - 8 = -3*h. Let d be 15/3 - ((-4)/(-38))/(11/209). Solve d*u + h*w = 2*u - 9, 3 = u - w for u.
-1
Let n be (-6)/(5 + (2 - (-38)/(-5))). Suppose 0 = 9*g - 46 + n. Solve -6 = -g*x - 2*t, -x + 6*t - t = -7 for x.
2
Let h = 2112 - 2107. Solve -a + b = -3, 5*b = -3*a + h*a - 18 for a.
-1
Let l = 492 - 490. Suppose 8*s - 9*s + l = 0. Solve -t + 2*y = t + 18, y + 6 = -s*t for t.
-5
Let o = -15 - -18. Solve -o*q = -6*c + 8*c + 2, -4*q = -4*c - 24 for q.
2
Let i be (-2232)/310*(-25)/6. Solve 4*d - 3 = -3*g, -i*g + 27*g = -5*d - 30 for d.
-3
Suppose 0 = -5*p - 548 + 193. Let q = -41 - p. Suppose -11*h + 5*h = -q. Solve -b = -2*x - 14, 25 + 12 = -h*x + 3*b for x.
-5
Suppose -6*s = 35*s - 205. Solve 5*r = -2*x + 33, 2*x - 3 = 2*r - s for r.
5
Let u(f) = -f + 17. Let o be u(13). Suppose 36*w = 5*s + 32*w - 26, -o*s + 16 = -2*w. Solve -2*q + 22 = -2*j + 2*q