lve h = -2*l + k, 4*h + 34 = 7*h + 5*l for h.
3
Let p be 208/34 + (-12)/102. Suppose 15*b = 12*b + p. Solve -3*r + 4*r + o - 3 = 0, b*r - 2*o = -6 for r.
0
Let j be 2 + (-5)/(10/(-4)). Suppose -2 = -h + 4*q - 4, -5*q + 13 = j*h. Suppose 25 = 5*s - y, 3*s - y + h*y = 15. Solve 2*f + s = -3*k, -2*k - f + 0 = 4 for k.
-3
Let p = 545 - 541. Solve f + 2 = 3*y - 16, -3*y + 27 = -p*f for f.
-3
Let r be 4 - ((-3)/(-1))/1. Let q be 1/((-1)/(-2)) + 9 + r. Suppose -q + 9 = -z. Solve 2 = 2*v + 5*b - 7, 3*b - z = -2*v for v.
-3
Suppose -3*l + 0*b - b + 36 = 0, 77 = 5*l - 4*b. Let k(i) = -i**2 + 26*i - 167. Let r be k(l). Solve q - 5*n + 17 = 0, 2*q - 3*n + 17 = -r*q for q.
-2
Suppose 0 = -5*i + 7 + 3. Suppose -3*a + 6*a = -f + 30, -5*f + 24 = a. Let z(t) = -t**2 + 9*t. Let y be z(a). Solve y = -i*l + 4 - 0, l = -4*x + 18 for x.
4
Let j(q) = q**2 - 8*q + 13. Let a be j(6). Let l be 2 + (a - -1)*(-448)/(-8). Let z = l - 89. Solve 4*m - 2*w + 3*w - z = 0, 20 = 5*m - w for m.
5
Suppose 2*x = -p + 323 - 312, x = -p + 11. Solve 2*r + 3*i + 10 - p = 0, 0 = -5*r + 5*i - 10 for r.
-1
Suppose -3*c + 431 = -0*x + 2*x, 0 = 5*x + 25. Let q = c - 143. Solve t + 5*f - 15 = 0, -t + q*t + f = -11 for t.
-5
Suppose 0 = -20*j + 17210 - 17210. Suppose 5*d = -5*y + 255, 1 = -5*d + 6. Suppose j = -6*m - 26 + y. Solve -m*i + 15 = 3, 0 = 3*b - 2*i - 9 for b.
5
Suppose 3*f - 4*b = -311, 4*b + 185 = -2*f - 29. Let j be (5 - f/(-20))*(-32)/4. Solve n - j = 0, 4*t + 4*n - n = 22 for t.
4
Let i(c) = c**3 - c**2 + 10*c - 175. Let m be i(0). Let z = m - -178. Solve 0 = 3*r + 3, 0*j - j = z*r for j.
3
Suppose -7 = -4*j + 3*x, 11 = -31*j + 36*j - 3*x. Solve 0 = k + 4*t - 11, 0*t + j = t for k.
-5
Suppose -14*h + 20 = -10*h - 2*o, 0 = h - 2*o - 8. Solve h*x - 2*z = -24, -x = 4*z - 0*z - 12 for x.
-4
Let k(d) = 47*d - 37. Let u be k(1). Let o(p) = -p**3 + 11*p**2 - 12*p + 35. Let x be o(u). Solve 5*h = 5*t - x, 4*h - 1 = 3*t - 8 for h.
2
Let g(r) = r + 3. Let y be g(-3). Suppose -2*v - 1100 = 5*j + 2572, 3*v = 12. Let x = -726 - j. Solve 22 = 2*k - 4*d - y*d, 5*k - x = d for k.
1
Suppose o = 1 + 1. Let r be ((-1)/o)/((-7)/28). Suppose -145*u + 129*u = -64. Solve -u*n = r*f + f + 32, 5 = -n for f.
-4
Let g be 7 - 6 - (-227 - 3/(-3)). Let t = 232 - g. Solve 0*z - t*h = -z - 5, 3 = -2*z + 3*h for z.
0
Let o = 519 - 498. Let u be 14/o*-3 - -6. Solve d - u*r = 6*d - 6, 0 = 2*d + r - 3 for d.
2
Let y be ((-138)/(-21) - 1)/1 - 376/658. Solve -f + 27 = 5*q, -4*f - f = -y*q + 15 for q.
5
Let c(o) = 46*o + 2581. Let j be c(-56). Suppose 0 = 2*y + y - 9. Solve -4*b = 3*l + y, -j*b + 3*l = -l + 27 for b.
-3
Let v be 2 + -6 + 45 + 5. Let h = v - 46. Let j(u) = -10*u + 4. Let i be j(h). Solve 5*c = -4*k - 1, 3*k - 1 + i = -3*c for c.
3
Let m = 3018 + -3017. Solve 0*o - 5*o + m = -4*x, 2*x - 5*o = 7 for x.
-4
Let w = -382 - -750. Let q = -368 + w. Suppose 5*c = c + 20. Solve q = -5*z + 2*g + 5, -c*g = 2*z - 2*g - 21 for z.
3
Suppose -v + 2*v - 5 = 0. Let p be ((-1176)/(-1666))/((-64)/(-272)). Solve -p*y = -y - 2*d - 6, v*y + 6 = -2*d for y.
0
Suppose z - 5*t = -618, 3*t - 7*t - 663 = z. Let i = z + 648. Solve i*j - 2*j = 4*q - 3, -3*q - 1 = j for q.
0
Suppose 0 = 3*d + d - 8, 3*f - 2*d = 356. Suppose 4*p + 72 = f. Suppose 0 = -j + 3*j - 4. Solve 0 = 4*r + 8, 0*w - 2*w - p = j*r for w.
-4
Let y = 12 - 8. Suppose 0 = -2*w + y*w. Suppose 7*n - 17 = 11. Solve o - 3*q - 8 = w, 4*q = n*o + 5 - 21 for o.
2
Let w = 25909 + -25905. Solve -w = 4*a + 20*n - 19*n, -3*a + 5*n + 20 = 0 for a.
0
Let d(l) = -12*l + 151. Let r be d(11). Solve 2*a - r = -5*u, 4*u + 5*a = 2*a + 18 for u.
3
Let y(w) = -w**3 - 25*w**2 + 168*w - 553. Let p be y(-31). Solve 3*a - 5*o - p = 0, 4 = -3*a - o + 3 for a.
0
Suppose -5*o - 22 = -4*o. Let z = 25 + o. Suppose -3*p = -6*p, -5*u + 75 = -z*p. Solve 6 = -2*n - 2*k, 4*k = -5*n + k - u for n.
-3
Let s be (-1 + (-8)/(-3))/(1 - 32/(-48)). Solve 4*z - s = -5*j - 16, 2*z - 2*j = -12 for z.
-5
Let q(o) be the second derivative of 10*o + 2*o**2 + 1/20*o**5 + 1/12*o**4 + 0 + 0*o**3. Let d be q(-2). Solve -2*k + 1 = y, 2*k + 2 = -d*y - 2*y for k.
2
Let t = 388 - 379. Suppose 0 = 2*v - 2*u - 14, -5*v - 5*u - 24 = -t. Solve 0 = v*w - 3*n + 13, 3*w - 4*n + 16 = w for w.
-2
Let z(q) = -4*q**2 + 51*q + 55. Let o be z(-1). Solve -3*r - 4*d + 2 - 18 = o, -r - 12 = 3*d for r.
0
Suppose 0 = -3*m - 31 + 136. Suppose -4*g = 5*j - 44, -19*j = -4*g + 25 - 77. Solve 9 + 21 = -j*n + 2*k, -4*k = -3*n - m for n.
-5
Let d(h) = -h**3 - 17*h**2 - h - 14. Let g be d(-17). Solve g*m + 0*c + c = 12, -4*m - 4*c = -16 for m.
4
Suppose -8*o + 48 = 8*o. Suppose -3*l + 15 = 0, 5*t + 5*l - 32 = o. Solve 3*n - t = -2*a + 4, 3*n = 5*a + 27 for n.
4
Let x(z) = -2*z - 18. Let d be x(-10). Solve d*i = -3*f + f, 2*i - 3*f = 20 for i.
4
Let g = -1148 + 1152. Solve k - 3 = -2, -g*n - 3 = k for n.
-1
Suppose 0 = -13*p + 31 + 21. Suppose b - 35 = -p*b. Solve -3*r - 5*t = -12, -b*r - 11 = -2*r - 2*t for r.
-1
Let a(c) = -5*c**2 + 45*c + 66. Let z be a(7). Solve 2*m = 2*w + 2, 0 = 2*w - z*m + 135*m - 1 for w.
2
Let s(w) = -w**3 + 6*w**2 - 4*w - 10. Let n be s(5). Let i be ((-1)/2)/(n/40). Solve 0 = 5*r - 5*t - 20, -5*t + 3 = i*r + 5 for r.
2
Let m(d) = -820*d - 816. Let t be m(-1). Solve -t*b - 25 + 34 = 3*r, -4*b = r - 3 for r.
3
Let u(s) = 126*s**2 - 2*s. Let x be u(1). Suppose 0 = 11*b + 69 - x. Solve 2*k + 10 = b*p, 2*p + 25 = -8*k + 3*k for p.
0
Suppose 237*f = 240*f - 18. Let j be 4 - (-6)/(-3) - 0. Solve -j*h - 1 = 5*u + 8, -u = -h + f for u.
-3
Let b = 29 - 13. Let r = 81972 + -81970. Solve -5*o + r*h - 14 = -h, -4*h = -4*o - b for o.
-1
Suppose 0 = -4*o + 3*a + 19, 2*o + 1 = -5*a + 4. Suppose -11*x = -8*x - 24. Let p be (-33)/(-7) - 11/((-308)/x). Solve -5*z + o = -b, 2 + 7 = p*b + 4*z for b.
1
Suppose 4*q - 4*l = 24, -2*q + 4*l + 362 = 338. Solve -8*d - 4 = -3*y - 10*d, q = -y - 3*d - 8 for y.
4
Let c(m) = -4*m - 15*m**2 + 17*m**2 + 5 + 0. Let t be c(2). Suppose 0*g + t = g. Solve 0 = -g*s + 3*d - 15, 5*s + 3*d + 12 = -3 for s.
-3
Let y = 2 - -18. Suppose 5*a = -2*o + 26, -6*o - 2*a = -2*o - 20. Solve -s = -6*s + 2*x - 12, 2*x = -o*s - y for s.
-4
Let r = -655 + 643. Let g be (-42)/(-9) + (-64)/r + -5. Solve g*p = 4*y - 3, -4*p + 5*y + 30 = -9*p for p.
-3
Let w be ((-5)/3)/5 - 16/(-12). Suppose -6*d - 9 = -9*d. Solve 0 = -d*i - n + w, -i + n - 2 + 5 = 0 for i.
1
Let r be 3 + (-18)/5 - (4 - (-215)/(-25)). Solve 2 = 3*k + r*i, 7*k + 1 = 9*k + 3*i for k.
2
Let y = 219 + -120. Suppose -18 = 90*q - y*q. Solve -r = -5*j + 3, -5*r - q*j + 16 - 4 = 0 for r.
2
Suppose 4*m - 6 = -k - 2, -2*m + 4 = k. Solve -c + 2*i = -15, 2*i + m*i + 20 = 2*c for c.
5
Suppose c + 12*m = 16*m + 22, -15 = 3*m. Solve 3*g + c*r = 5, 4*g - 5*g - 1 = 2*r for g.
3
Let r be 6/(-24) - 9/(-4). Let a be 0/((-23)/(-7) - (-52)/(-182)). Let x(p) = p**2 - 4*p + 6. Let j be x(a). Solve v - q = r, -3*v + j*v = -q - 6 for v.
-1
Let h = -177 - -112. Let t = 159 - 204. Let q = t - h. Solve -4*j = 4*c, -c + 5*j + q = -2*c for c.
5
Let h = 5841 - 5839. Solve 3*d + 6 = -r + h, -r - 3 = 4*d for d.
1
Let s be -1 - ((-11 - 1) + (62 - 58)). Solve -3*o - s*v + 19 = -3*v, 5*v + 20 = 5*o for o.
5
Suppose -84*c + 249 - 54 = -225. Solve -3*o + 19 = -c*n, 5*n + 17 = n + 3*o for n.
-2
Suppose -5*d = -n - 27, -n = -42*d + 47*d - 23. Solve 9*h = d*h + v - 20, 5*h + 2*v = -12 for h.
-4
Suppose -w - 2*f = -14, -3*w - 1022 = -3*f - 1001. Solve -5*o + m + 14 = w, 2*m - 4 = 15*o - 13*o for o.
4
Suppose 0 = -2*i + 2*z - 5 - 5, 13 = -3*i + 2*z. Let a be -12*i/36*4. Let q(k) = k + 6. Let l be q(-6). Solve -a*f - 1 + 16 = -3*s, l = -s + f - 5 for s.
-5
Suppose 17593*u - 17580*u = 169. Solve 3 = -4*f + l, u*f - l = 11*f - 3 for f.
0
Suppose -5*w = -36 - 94. Let j(h) = -h**3 - 4*h**2 + 5*h - 2. Let y be j(-3). Let z = y + w. Solve z + 2 = -5*p - u, 0 = -3*p - 5*u + 12 for p.
-1
Let s(c) = 3*c**2 - 19*c - 38. Let g be s(8). Solve -2*j + 27*h - 4 = 31*h, 2*j = -g*h - 4 for j.
-2
Let x(c) = 46 + 34 + 13*c + 0. Let q be x(-6). Solve -4*i - 4*h = -3*i - 1, h + 11 = q*i for i.
5
Let k(f) = -6*f + 16. Let x(c) = 6*c - 16. Let p(a) = -3*k(a) - 2*x(a). Let v be p(3). Let g be 4*2/(4 - 2). Solve 3*j - 5*h = v*j - 11, g*j + 3*h = 25 for j.
4
Suppose 114 + 998 = 173*m + 105*m. Solve -m*a + 3*u = 2, -28*u + 25*