4*z for k.
-5
Let u(c) = 3*c**2 - 81*c - 473. Let t be u(32). Solve 0 = -4*b + 4*h - 28, -4*h = t*b - 3*b + 12 for b.
-5
Let w be (14 + -2)/((-15)/(-10)). Suppose -w*g + 9*g - 2 = -r, 0 = -r - 3*g + 6. Suppose r = -5*t + 9*t. Solve -4*x + 8 = 2*i, 2*x = -2*i + 2 - t for x.
3
Let u be (-2 - 0)*5/(-2). Let v be (-1)/(-5)*-3 + 33858/4455. Solve -3*o = u*q + 13, 2*o + v*q - 2*q + 17 = 0 for o.
4
Let i(z) = 47*z - 648. Let s be i(14). Solve 0 = 5*m + 3*j - s, -20*m + 25*m = 5*j + 10 for m.
2
Let y = 32927 + -32823. Solve 40 = 5*j + 5*p, -j - y*p = -105*p for j.
4
Let q(o) = o + 22. Let t be q(-5). Let p(k) = 2*k**2 - 32*k - 28. Let v be p(t). Solve -y + 15 - v = 4*s, -3*y = -s - 14 for s.
1
Let w(m) = -2*m**3 + m**2 - 16*m - 17. Let a be w(-1). Solve -a*d + 5*u + 23 = 0, -3*d - 10 = 5*u + 18 for d.
-1
Suppose 45*p - 42*p - 1734 = 0. Let d = p - 573. Solve 0 = -d*s + s - 4*h + 24, -3*h - 6 = -3*s for s.
4
Let p(y) = 2*y**2 - 180*y + 3. Let t be p(90). Solve 157*m + 3*w + 18 = 161*m, 17 = t*m - 4*w for m.
3
Let w = -21 - -37. Suppose 6*g = -2*g + w. Let r = -37 + 42. Solve 0 = r*n - p - 6 + 1, 0 = -g*p for n.
1
Let v = -204 - -272. Let y = v - 63. Solve -4*u + 10 = -3*p, 2*u = -y*p + 6*u - 6 for p.
2
Suppose 103*m - 102*m - 2*c + 14 = 0, 28 = 7*m + 4*c. Solve 3*x - 9 = m, -3*d - d + 3*x = 9 for d.
0
Let i be -2 + (57 - 27) - 26. Solve -i*n - 4*k + 374 = 366, -13 = -n - 5*k for n.
-2
Suppose -2*k - 7 = -w - 12, -2*k - 2*w + 2 = 0. Solve -5*i = -k*l - 20, -9*i + 14*i = 4*l + 30 for l.
-5
Suppose -2*g - 57 = -21*g. Solve 2 = 4*m - 5*b, g*m + b - 15 = -4 for m.
3
Suppose 106*y - 228 = -16*y + 16. Solve 0 = 5*i + 3*w - 13 - 9, 3*w - y = -i for i.
5
Suppose 4*x - x = 6. Suppose -2*w + 4*z + 3 = -3, -5*z = -4*w + 27. Suppose 9*q + w*q - 88 = 0. Solve -u + 6 = -q*a, -x*u = -a + 2*u - 9 for a.
-1
Let k be -5*(-15 - -28 - 14). Solve x = -2*f + 2, k*f + 77 = 5*x + 112 for x.
-4
Let h(f) = -f**2 - 16*f + 40. Suppose -2*g = -g - 2*y - 4, y - 1 = -g. Let x be h(g). Solve -2*q + 12 = -x*l, l = 4*q - 0*l - 17 for q.
4
Suppose -62 = -25*f + 38. Solve 0 = 5*k - 3*z - 0*z - 18, 3*k + 5*z = f for k.
3
Let s = 1890 - 1885. Solve -3*j + s = -t, 8*t = 2*j + 3*t - 12 for j.
1
Let o(c) = 3*c - 79. Let x(w) = -5*w + 159. Let z(s) = -5*o(s) - 2*x(s). Let y be z(15). Solve y*g - 13 = -4*k + g, -5*g = -25 for k.
2
Let a = 5266 + -5264. Solve -5*o = -4*g + 10, -20*o + 21*o + a = g for o.
-2
Let f = -307 + 551. Suppose 0*y - f = -2*q - 3*y, 344 = 3*q - y. Suppose q*t + 9 = 119*t. Solve 0 = -z - 5*j + 24, -t*j - 2*j + 12 = -2*z for z.
4
Let w = -115 + 36. Suppose 11*y = 5*y + 498. Let x = w + y. Solve -4*i + 5 = -3*v, v - 2*i = -v - x for v.
-3
Suppose 5*u + i + 29 = -2*i, -4*u + i - 13 = 0. Let d be 47/15 - u/(-30). Let q be 35/105*(-24)/(-2). Solve 8 = -3*f + 2*f - d*y, 0 = 2*f - q*y - 14 for f.
1
Let w be ((-4)/(-6))/(38/57). Let s = 8 + w. Solve 0 = 3*v - 2*o - o - s, 4*o = -3*v + 23 for v.
5
Let n be 2/((-14)/7)*1. Let m be (0 - n)*(-5)/((-20)/32). Solve c = b, 6*b - b - m = 3*c for b.
4
Let h = -70 - -205. Let a = h - 127. Solve 2 = -5*j - c, 4*j = c + 3*c + a for j.
0
Suppose 36*s - 196 = -52. Solve -18 = -p - s*t, 0 = 6*t - t - 20 for p.
2
Suppose 54 = 17*d - 8*d. Suppose -10*h = -d*h + 3*h. Solve n + 9 = 3*o - 4*n, h = 4*o + 5*n + 23 for o.
-2
Let t(b) be the third derivative of -b**6/120 + b**5/15 + b**4/2 + b**3/3 + 48*b**2. Let c be t(6). Solve 2*v - 7 = 4*v - k, 16 = -c*v + 4*k for v.
-2
Let d(b) = -b + 8. Let x be d(11). Let f be 2/((-4)/(-270)*x). Let q = f + 72. Solve -4*m = -0*m - 3*t - q, 4*m - t = 17 for m.
3
Let n = -67 + 62. Let y be 4*(-4)/40*n. Solve -r + k = 2 + 2, 0 = y*r + 2*k for r.
-2
Suppose 25*q + 60 = 35*q. Solve 2*c + 6 = 3*h, -4*h + q = -c - 7 for c.
3
Let z = 26 + -5. Let d = 19 - z. Let u be (d/(-5))/((-3)/(-45) + 0). Solve -g = 4*k - u, -14 = -4*k - g + 4*g for k.
2
Let m = -299 + 496. Let o = m - 193. Solve 31 = o*h + 4*r + r, 0 = h - 5*r + 11 for h.
4
Let l = 31868 - 31840. Solve -4*b + 26 = -2*x, 3*x + l = -4*b + 29 for b.
4
Suppose -y - 48 = 26*t - 40*t, 0 = 4*t + y - 6. Solve 5*a = -3*q + 17, 3*a + t*q - 44 = -35 for a.
4
Let c be 2 + 88/(-40) + 11/5. Let r(t) = 19*t + 14 - 12 + t**c - 39. Let q be r(-21). Solve -3*z = -q*p + 15, -5 = 5*p - z + 2*z for p.
0
Let l(z) = -46*z + 210. Let d be l(4). Solve 5*a + r - d = 0, -5*r = a - 2*a for a.
5
Let l = -37 - -42. Suppose 4*b = -4*s + 128, 3*b + 35 = s - 9. Let v be (20/35)/(2/s). Solve -2*w + i - v = l*i, -5*i - 15 = 0 for w.
1
Let r be (-14)/(-189) - (1225/(-189))/7. Solve 4*i = -h - 11, 4*i = 2*h - r - 13 for i.
-3
Let c(g) = -4*g - 1. Let t be 1 - (18/3)/3 - 1. Let z be c(t). Suppose 14 - 91 = -z*n. Solve -j + 4*k + 1 = 0, n = 3*j + k - 5 for j.
5
Suppose -3*u - r = -29, -3*u + 19 = 4*r - 7. Solve h = -3*o + u, -138 + 120 = -5*h + o for h.
4
Let z be (-6)/(-8)*-12*10/15. Let r be (12 - 10)/((-4)/z). Solve -4*k + 26 = -2*s - 0*s, 0 = r*k - 12 for s.
-5
Let k be -4*2*67/(-4). Suppose -c + 3*f - 114 = -0*c, -665 = 5*c + 4*f. Let d = c + k. Solve d*t - 2*s - 11 = 5, 3*t = -3*s - 3 for t.
2
Suppose -4*q + 39 = -254*r + 259*r, r + 21 = 4*q. Solve 5*y + 28 = -i, -2*y + 3*i + r = 4 for y.
-5
Let l = -188 - -122. Let m = l + 72. Solve j - 4*i - 19 = m*j, 0 = 3*j - 2*i + 7 for j.
-3
Let c be 12*5/(-45)*((-21)/4)/1. Solve -r - 12 = 3*g - c, 4*g + 4*r - 4 = 0 for g.
-3
Let v(l) = -4*l + 7. Let r be v(1). Suppose -r*o + 5*o = 0. Suppose o = -48*z + 49*z - 12. Solve g = 2*d - 9, -4*d + z = -g - d for g.
-3
Let b be (0 - -1 - -1)*(-8)/(-16)*3. Solve -h = -0*h + 2*x + 3, -b*x + 8 = -h for h.
-5
Suppose 5*t - 24 = -f, 0*t - 4*f + 8 = -2*t. Suppose -5*u + 215 = 4*d, t*u + 0*u - 172 = 4*d. Let g = -41 + u. Solve g*i = h - 7, i + 4*h - h = -14 for i.
-5
Let s(t) = -69*t + 2150. Let g be s(31). Solve -5*n - 3*h - g = 0, 0 = 4*n - h - 15 + 17 for n.
-1
Let w(p) = 14*p**2 + 105*p + 61. Let r be w(-7). Solve -3*j - r = -3*g, 4*g - 3*j = 5*g - 12 for g.
6
Let w(t) = -t**2 + 22*t + 48. Let v be w(20). Suppose -v*f = -92*f. Solve -4*c + 6*g - 8 = 2*g, f = c + 3*g + 2 for c.
-2
Let b(w) = 5*w + 4*w + 19*w - 205 + 7*w. Let z be b(6). Solve z = -3*a - 1, -5*k - 3*a - 6 = 0 for k.
0
Let y(o) = -8*o + 184. Let f(n) = 2*n - 46. Let z(u) = -9*f(u) - 2*y(u). Let p be z(8). Solve 3*w = 9, -3*t + w = -4*w + p for t.
-5
Suppose 5*k - 4*p = 18 - 20, -4*p + 14 = k. Solve 2 = -3*s + u, 3*s - 2*u = k*s - 9 for s.
1
Suppose -g + 39 = 26. Suppose 15*v - 2 = g*v. Solve 4*f + 2 = 5*t, t = f + v - 0 for f.
-3
Suppose -5*m + 2*x + 95 = 0, -27*x + 26*x = 5. Solve 3*h = 2*t + 6, -15*h + m*h - 12 = 4*t for h.
0
Suppose 0 = -102*m + 20*m + 656. Solve q - 6*a + 10 = -a, 0 = -q - a + m for q.
5
Let l(j) = 2*j**3 - j**2 + 2*j - 1. Let g be l(1). Let w(d) = -178*d - 694. Let i be w(-4). Solve -4*s = -g*u + u - 10, -5*u - i = -4*s for s.
2
Suppose -1695 - 293 = 14*b. Let m = b + 306. Suppose -2*q = 2*q - m. Solve u + 5 = 0, 4*r - 3*u - 2*u = q for r.
4
Let o = 2 - 2. Suppose o = 3*t + 4 - 16. Let x be 1/(-6)*6/t*-12. Solve -x*y - w - 27 = -8, 3*y - 3*w + 3 = 0 for y.
-5
Let i = 8815 - 8810. Solve f = 3*m - 5 - 12, 5*f + 3*m = i for f.
-2
Let f(o) = o**3 - 3*o**2 - 3*o - 1. Let y be f(4). Let n be ((8 - 13) + 2*y)*2. Solve -3*v + 27 = 5*p, -n*p + 15 = -p + 3*v for p.
3
Let q(x) be the third derivative of x**4/12 - x**3/3 - x**2. Let r = -353 + 356. Let v be q(r). Solve c = a, a = -v*c - 1 + 6 for a.
1
Suppose -94*d + 275 - 71 = -26*d. Let p(a) = a - 1. Let s be p(3). Solve -2*i - d*c = -5, -2*i + 3*c - 7 = s*c for i.
-2
Let m be ((-80)/32 - (-1 - 5))/(7/4). Solve m*z + 23*i - 24*i = -12, 5*z + i + 23 = 0 for z.
-5
Suppose 0*p = r + 2*p + 5, 2*p = 4*r - 20. Suppose 3*v = -2*w + 2, -r = 5*w + 22. Solve 0 = -3*n - 2*j + 19, 2*j + 25 = 5*n + v*j for n.
3
Let q(t) = -5*t**3 - 37*t**2 + 22*t - 12. Let p be q(-8). Solve -4 = 3*c + l, 7*l = -p*c + 4*l - 2 for c.
-2
Suppose d + 23 = -2*g, -26 = -9*g + 11*g + 2*d. Let r(h) = 3*h**2 + 29*h - 8. Let l be r(g). Solve -2*q = -l*u - 6*q + 6, 1 = -3*u + 4*q for u.
1
Suppose 15*u - 405 = -375. Let p be 8/(-6)*(0 - 3). Solve -4*y + 18 = -5*x, p*y - 14 = 5*x - u*x for y.
2
Suppose -861 + 57 = v - 68*v. Solve 6*y + 2*k = 11*y + 2, 2*k = -2*y - v for y.
-2
Suppose 92*m = 25*m. Solve -5*z + c = m, 36*c = -4*z + 35*