*t, h = 2*t - m for t.
4
Suppose 6*h = 4*f + h - 39, 5*f + h - 27 = 0. Suppose -7 = 5*w + 8. Let o = f + w. Solve 2*g + 4*t = -o*g + 24, -17 = -5*g + 3*t for g.
4
Let c = 5711 - 5707. Let b(p) = -p**2 + 7*p - 2. Let f be 9*(0 - 2/(-3)). Let w be b(f). Solve c*m - w = 5*m + 3*l, -4*m = l - 6 for m.
2
Suppose 0 = 129*p - 126*p - 399. Suppose -5*y + 148 = p. Solve -2*o + 3*v + 6 = 0, y*o + 0*v + 5 = v for o.
-3
Suppose y + 36 = -2*b - 0*b, 0 = -2*b + 5*y - 60. Let w = b + 55. Suppose 8 = -14*s + 16*s. Solve 3*a = -s*d, w = -5*a + 5*d - 0*d for a.
-4
Let q(p) = -171*p + 15 - 3*p**2 + 12*p**2 + 159*p + p**3. Let j be q(-10). Let r = j - 29. Solve 0*m - r = -d + 2*m, 4*m = -4*d + 12 for d.
4
Let a(q) = -4*q + 19. Let y(x) = -9*x + 38. Let s(b) = 5*a(b) - 3*y(b). Let m be s(3). Solve 12 = l + 2*l, 0 = -m*w + 3*l - 2 for w.
5
Let o be 3/15 - 104/(-5). Let v be (7 - -1)*52/16. Let h = v - o. Solve f + q = h, 3 = -2*q + 3*q for f.
2
Suppose -68*b - 101*b - 312 = -221*b. Solve -34*m = -5*w - 31*m - 22, m = -w - b for w.
-5
Let g be (-495)/(-132) - (9/(-4) - -2). Solve u + 12 = -4*o, g*o + 12 = -31*u + 34*u for u.
0
Let u = -2885 - -2915. Solve -87 + 58 = -2*k - 5*p, -5*k - 4*p + u = 0 for k.
2
Let d be (-1)/(-2) - (-77)/14. Suppose 2*w + 4 = 5*f, -d*w + w = -4*f + 10. Let j = 164 - 146. Solve -n + 12 = -4*k, f = -3*n - 0*n + 3*k + j for n.
4
Let t = 2490 - 2487. Solve -3*d - 4 + 7 = t*j, -3*j + 9 = -3*d for d.
-1
Let a be 3/(6*8/1264). Suppose a*f - 48 = 71*f. Solve 0 = -3*z + f*z - j + 10, 4*z - 3*j + 10 = 0 for z.
-4
Let w be (34/8)/1 + 549/(-36) + 15. Solve 2*g + 5*m = m + 8, 5*m + 16 = w*g for g.
4
Let n be 175/125 + (-372)/(-20). Let q(t) = -t. Let c be q(-4). Solve -2*s + 0*s + 30 = -5*w, c*s = n for w.
-4
Suppose -5*g - 3*x + 9*x = 1, 3*g - 2*x = 1. Solve 7 = -3*p + 4*h - g, -4*p + 6 = 3*h for p.
0
Suppose -3*b = -5*l - 150, -3*l + 119 = 3*b - b. Let i = -43 + b. Solve 0 = 5*w + 7*g - 3*g + 27, 3*w + g = -i for w.
-3
Let u be 7/35*3695 - 2. Let l = -734 + u. Solve -5 = -a + l*g, g = -a - 2*g + 5 for a.
5
Suppose 68*o = 21913 - 6749. Solve -s = -3*g - 3, 0 = o*s - 218*s + 15 for g.
-2
Suppose 0 = -470*l + 532*l - 248. Solve -3*c - 6 = -5*f - 13, c = l*f for c.
4
Let c be ((-112)/(-24))/(10/15). Suppose -6*m + 5*z + c = -5*m, 35 = 5*m - 2*z. Solve 0 = 4*o + 5*h - 21, 3*o - 5*h - 7 = -m*h for o.
-1
Let p be (-12)/(-3) - 2 - (2 + -8). Suppose -p*l = 5*m - 3*l - 30, 6*l = -30. Suppose 8 = 3*z - 1. Solve 5*n + 31 = -5*s + m, -12 = z*s - n for s.
-4
Suppose -22*w = -204038 + 203554. Solve 0 = -4*i - 5*k + 26, 18*i + w = 14*i + 3*k for i.
-1
Suppose 3390 = -164*n + 179*n. Let f = 231 - n. Solve 5*m + 0*k = -k - 30, 3*k = -f*m - 40 for m.
-5
Let d be 12*8/42 + 4/(-14). Suppose g - 120 = -d*g - 3*r, 5*g - 3*r = 240. Solve -2*a + 5*n = 10 + 25, -g = 4*a - 5*n for a.
-5
Let u(x) = -7*x + 138. Let v be u(20). Let p be (v/8)/((-6)/96). Solve 0 = -5*f - 5, 0 = 2*l + 2*l - p*f + 12 for l.
-4
Suppose -67*y - 124 = -69*y. Let m = 62 - y. Let q = 5 - m. Solve 0 = 4*d + x + 5, -x + q = -4*d + 2 for d.
-1
Let a be (-1 - 0) + 7 - 1. Solve 0 = -a*h + v + 19, -4*h + 3*h + 2*v = -11 for h.
3
Suppose 318*v = 120*v + 145*v + 212. Solve -11*n - 20 = v*y - 8*n, 24 = -2*y - 5*n for y.
-2
Let h be 29/(0 - (-12 + 11)). Solve h*y + 10 = 4*m + 31*y, 3*m - 40 = 5*y for m.
5
Let s(a) = 39*a - 191. Let z be (-2)/4*-2 - (-20)/5. Let d be s(z). Solve -3*t - 4 = d*v, 2*t + 0*t + v + 6 = 0 for t.
-4
Suppose 0 = 5*a - 4*a - 24. Let k = a - 15. Let m be 4 + -2*1/2. Solve -w = 5*f + k, -m*w + 0*w - 15 = 3*f for f.
-1
Suppose 0 = 31*c + 1199 - 1323. Let k be (-1)/(-1)*24/4. Solve 4*r - 4 + k = l, 2*r - 6 = c*l for l.
-2
Let c = -2785 + 2805. Solve 2*k + 23 = -5*q, 0 = -2*k + 3*q - 7*q - c for k.
-4
Let i = 9883 - 9862. Solve 0 = -0*w + 3*w - 2*u + i, -2*w - 19 = -3*u for w.
-5
Let y be ((-238)/(-490) + 4/(-14))*(-25)/(-1). Solve 72*v - 5*c + 29 = 74*v, v + y*c = 27 for v.
2
Suppose -4*k + 5*n - 54 = -55, -2*k - 3 = -3*n. Solve 5*v + k*s = 7*s + 32, -4*v = -s - 23 for v.
6
Let d(x) = -13*x**3 - x**2 + 1. Let r be d(1). Let g = -347 - -362. Let k = g + r. Solve 0 = 2*a + a + 3*y, 4*a + k*y + 10 = 0 for a.
-5
Suppose -6*s = -12*s + 66. Suppose -s*x - 3*w + 8 = -15*x, -5*w + 16 = -4*x. Let i(k) = -k**2 + 1. Let f be i(x). Solve f = 2*r, 16 = -4*o + 5*r - r for o.
-4
Suppose 18*g + 24 = 37*g - 14. Solve -5*i + 21 = h, g*h - 2*i = -4*i + 2 for h.
-4
Let g be (-4 - 124/(-28)) + 7/49*249. Solve 5*a = -0*a + 4*s + 4, 4*s = -5*a + g for a.
4
Let s(k) = -k**3 - 17*k**2 - 76*k - 186. Let v be s(-12). Let t = -16 + 16. Solve 2*p + 3*a = 4, 3*p = -t*a - 3*a + v for p.
2
Suppose 5*t + 2*p = 102, t = 2*t - p - 26. Let n = -63 + 89. Let z = n - t. Solve z*x = -4*b + x + 26, -4*b + 12 = -4*x for b.
5
Let o = -4930 - -4956. Solve v - 5*z = -23, 0 = o*v - 22*v - 5*z + 32 for v.
-3
Suppose 5*i = -4*f + 60, -3*f - 25 = 4*i - 71. Solve 4*u + 5*j - f = 7*j, -4*u - 10 = 2*j for u.
0
Let s be 3 + (17/(-4))/(3/(-12)). Let k = 28 - s. Suppose r + 4*h = 10 + 12, -r + 2*h - k = 0. Solve r*d - c = -0*c - 14, 23 = -3*d + 2*c for d.
-5
Suppose n = -3*u - 18 + 51, -4*u = -4*n + 84. Solve g - 3*y + 7 = 0, -y = 3*g + g - n for g.
5
Let r(p) = 6*p**2 - 1. Let q = -41 + 45. Suppose -d = q - 3. Let j be r(d). Solve j*m - 4*m = 5*t + 10, m - 2*t = 7 for m.
5
Let x = -689 - -691. Let m = 1383 + -667. Let r be m/18 - 12/(-54). Solve z - 5 = -x*b, -2*b - 15 + r = 5*z for b.
0
Let j be 4/14 + 12464/574. Solve 2*p - 4*q = 0, -3*p - j*q + 10 = -23*q for p.
4
Let c(q) = 2*q + 22. Let h(p) = p**2 - 15*p + 40. Let z be h(5). Let m be c(z). Solve -m*n + 20 = 3*n + 5*b, 0 = -3*b - 3 for n.
5
Let i(x) = 80 - 128*x + 17 + 121*x. Let a be i(13). Solve 0 = -a*p + p + 3*s, 0 = 5*s for p.
0
Let y = 1 - 1. Suppose l - 11 = -4*z, z + 0*l + l + 1 = y. Solve 2*u + t - 5 = 0, -z*u - 5 + 20 = -3*t for u.
3
Let l(j) = -j**3 + 14*j**2 - 3*j + 118. Let n be l(16). Let w = 451 + n. Solve 4*x - 25 = -y - w, -4*y = 16 for x.
5
Let p = -54 + 78. Let g(z) = z - 22. Let i be g(p). Solve -2*c + 8 = i*l, -c + 5*l = l + 1 for c.
3
Let w = 892240 + -892235. Let c = -2 - -1. Let l(h) = -6*h**3 - h**2. Let n be l(c). Solve -4*a + n*p = a + w, 22 = 2*a + 4*p for a.
3
Let b be (-142)/(-568) - (-62)/8. Solve -3*v = -5*l - v + b, -v + 1 = 0 for l.
2
Suppose -7*u + 435 = 421. Solve -5*g = -u*o - 6, 2*o - 4*g = -0*g - 4 for o.
2
Let v(u) = 27*u**2 - 507*u - 35. Let r(n) = 10*n**2 - 169*n - 11. Let c(l) = 17*r(l) - 6*v(l). Let d be c(-21). Solve 3*o - 17 = -q, 0*o + d*q + 16 = 4*o for o.
5
Let x be 16 + 3321/(-205) - 261/(-5). Solve 2*r - 55*f = -x*f + 3, -13 = -3*r - 4*f for r.
3
Let x(w) = 4*w**3 + 42 - 3*w**3 + 0*w**2 - 21*w**2 - 2*w**3 + 3 + 2*w. Let z be x(-21). Solve -3*t + 6*t = -4*k - 8, -z*k = -4*t + 31 for k.
-5
Let b = -361 + 407. Suppose -21*r - 2*r + b = 0. Suppose 3*l - 6 = -l - 2*t, -2*l + 3*t = -15. Solve 0 = -5*d - y + 10, d - l*y = -r*d + 6 for d.
2
Let l = -47 - -139. Let t = -90 + l. Suppose 29 = 5*o + 2*f, 7*f - t*f - 10 = 0. Solve -2*z + 6 = -2*y - 0*z, -5*z = o*y + 5 for y.
-2
Let o be (2 + 1 - (-2 - -13))/((-18)/9). Solve -3*w = -f - o, 0 = 2*w - 2*f - 8 for w.
0
Let b = -610 - -619. Suppose 0 = -2*t - 10, 4*n + b = -t - 4*t. Solve n*i - p - 7 - 6 = 0, 2*p + 6 = -2*i for i.
2
Let f(c) = 2*c - 27. Let t be f(-6). Let j = -35 - t. Suppose 2*g - 12 = k - 2*k, 4*g + j = 5*k. Solve 5*p + 5*z - g*z = -25, 4*z = -p - 24 for p.
-4
Let q = 84 + -82. Let n(r) = 3*r + 29. Let u be n(-3). Solve q*c = -p - 10, 0*p - u = 5*p for c.
-3
Let h be 12*1 + 33 + -43. Solve 3*z - 2*o + 1 = -19, -h*z - 20 = -3*o for z.
-4
Suppose o + 4*o = -y + 9, 2*o = 2*y - 6. Suppose 43*l + 384 - 40 = 0. Let q be l/(40/(-15)) + 0. Solve 4*i = -2*u + o + q, -2*i = -5*u - 26 for i.
3
Let h(a) = 4*a - 34. Suppose l + 3*z - 52 = -3*l, -3*l - 2*z = -38. Let o be h(l). Suppose o*s - 3 = 5*s. Solve 0 = -5*x + 6*x, -s*b + 15 = 5*x for b.
5
Let c = 133 - 133. Suppose 2 = n - c*n + 5*w, -4*n = w - 8. Suppose n*r - 5*a = 35, 3*r - 40 = -r + 4*a. Solve 2*b + 4*s - 14 = 0, -2*b - r*s + 17 = -0*s for b.
1
Let h = 471 - 320. Let a = h + -146. Solve 0 = 3*m + 12, m - a = 5*p - 19 for p.
2
Suppose 0*f - 3*f = -4*s - 189, 2*f = -s - 39. Let l = -40 - s. Solve d = -l*y - 17, 2*d + 2*d + y - 8 = 0 for 