2*z + 21, -b*l + 11 = -z - y for z.
-2
Suppose 10*s + 20 = 15*s. Suppose -6 = -s*y + 2. Let j be y/8 - 71/(-4). Solve 3*z + 5*i + 2 = 0, i = 2*z + 2*z + j for z.
-4
Suppose -4*l = 2*x + 4, -107*x = -4*l - 112*x - 22. Solve -l*b - 5*f = 21, 14*b + 3*f + 5 = 9*b for b.
2
Let t(g) = 45*g**2 - 358*g - 14. Let p be t(8). Solve -2*u + 8 = 4*z, 3*u + p = 23*z - 22*z for z.
2
Suppose 4*u + 43*p + 1411 = 42*p, -p + 5 = 0. Let d = u - -358. Solve 7 = -d*h + l, 6 = l + l for h.
-1
Suppose -116*q + 30*q + 910 = 44*q. Solve -u = -3, 3*u - q = 3*o - 4*o for o.
-2
Let o(n) = 5*n - 14. Let c be o(-9). Let m = 62 + c. Suppose v = w - m*v + 17, 5*w - 2*v - 5 = 0. Solve -4*a + 19 = -w*t - 2*a, -22 = -t - 5*a for t.
-3
Suppose -253 - 523 + 272 = -36*f. Solve -p + 17 = 4*z, -21*z - f = -2*p - 24*z for p.
1
Let a = 673 - 669. Suppose -5*o = -5*d - 5, -40 = -a*o + d - 6*d. Solve o*l = -j + 3 - 11, -2*l - 4*j - 14 = 0 for l.
-1
Let q(s) = -60*s - 643. Let k be q(-11). Solve -k = -3*d - 5*f - 9, 4*d = -f + 5 for d.
1
Suppose 253*a + 4 = 255*a - 2*s, -a + 3*s - 12 = 0. Solve i + 13 - a = y, -2*y = i + 1 for y.
1
Suppose -12*x - 1050 = 13*x. Let m = x - -47. Solve m*p - 6 = -4*o, 0 = 2*p - 5*o - 8 - 1 for p.
2
Suppose 10 + 0 = 2*o - 3*d, -14 = -5*o + 2*d. Solve 3*z = 0, 4*r + 14 - o = 2*z for r.
-3
Suppose -x + 0 = -0. Suppose x = 385*c - 389*c + 16. Solve 2*u + u + 22 = -c*y, -5*y = 3*u + 26 for u.
-2
Let m be (1 - -1445)*34/68. Let x = m + -714. Solve 2*g + 12 - 2 = 2*f, 3*g = f - x for f.
3
Let o be (9/27)/(1/3). Suppose -11 = 2*g - o, -4*v - 4*g = 8. Solve 5*h - v*l = -6*l + 5, 4*l = 5*h - 5 for h.
1
Let h = 6617 - 6614. Solve 0 = 5*j + h*k + 37, 15*k - 18*k = -j + 7 for j.
-5
Suppose 40*z - 961 = 41*z. Let i = -957 - z. Solve -i*q + 12 = 4*c, -3*c = q - 4 - 3 for c.
2
Let b = -17 + 21. Suppose 2*y - 1 = 3, 0 = -b*n + 5*y - 10. Let i be 2 + (n/4)/2. Solve -3*k - i = 3*h - 14, 3*k - 3*h - 6 = 0 for k.
3
Let l be 155 + -142 + (-2 - -1). Solve -33 + 29 = 4*n, -5*t - 2*n - l = 0 for t.
-2
Let v = -1588 - -73. Let n = v + 1517. Suppose 5*i = r + 20 - 0, 0 = i + 4*r + 17. Solve i*h + 24 = -2*h - u, -4*h - 22 = -n*u for h.
-5
Suppose -10*t + 1092 = 3*t. Let j = t - 79. Solve m = 3*w - 19, m - 5*w + 9 = j*m for m.
-4
Let c = -197 + 56. Let h = c + 144. Solve 0*r + 3*r + h*l = -6, -3*l = -2*r + 6 for r.
0
Let p(c) = c**2 + 51*c + 459. Let f be p(-11). Solve -3*w + 8 = -5*n, -4*n + 16 = w + f for w.
1
Suppose 21*j = 1143 - 1101. Solve x = w + 2, -5*w + 2*x + j*x = 5 for w.
3
Let d be 7 + -1 + (-2 - -1). Suppose 0 = d*u - 2*u - 5*q - 34, 0 = -u - 4*q. Solve 4*c - 4 = 4*t + 8, -t = 4*c + u for t.
-4
Suppose -132 = -249*p + 246*p. Let k = p - 42. Solve -6*v + 15 = 3*n - 2*v, k = 5*n - v for n.
1
Suppose 947 + 693 = 243*v - 61. Solve -3*i - 3*c - 15 = -v*c, -2*c = -i - 7 for i.
-1
Let k(x) = -x**3 + 3*x**2 + 8*x + 6. Let f be k(5). Let g be (22 + -16)*(-6)/f. Suppose g*a = -a + 20. Solve -5*t = -a*t - 4*o - 19, -3*t + 23 = -5*o for t.
1
Suppose 4*j = -4*a + 1264, -3*a + 27*j + 960 = 24*j. Let b = 320 - a. Solve -1 + 0 = -g + b*o, 3*o - 3 = 0 for g.
3
Let x(p) = 22*p + 662. Let n be x(-30). Solve -4*d = 39*h - 40*h + 17, -8 = n*d for h.
1
Let d(s) = 7*s + 39. Let g be d(-6). Let j be 8/g*((-36)/(-16))/(-3). Suppose -4*c = j*c - 138. Solve -q - 2*y - 1 = 0, 3*q - 6*q + 4*y - c = 0 for q.
-5
Let c = -13 + 5. Let f be 0 + 1512/32 + (-6)/c. Let p = 50 - f. Solve -3*a + 0*q + 3*q - 3 = 0, 5 = a + p*q for a.
1
Suppose -p - 4*v - 8 = p, 3*v + 24 = -3*p. Let f = 12 + p. Suppose 8*d - 21 + 5 = f. Solve 0 = -2*b - 3*g - 0 + d, -b = -5*g + 12 for b.
-2
Let k(c) = c**3 + 64*c**2 + 297*c + 133. Let p be k(-59). Solve 5*t = 5*z - p, 4*z = -5*t + 44 - 32 for z.
3
Suppose 0 = 550*f + 263*f + 1202 - 4454. Solve 2*h - 14 = -5*u, 2*u - 8 - 4 = -f*h for h.
2
Suppose -15*l = -29*l - 7*l + 63. Solve 4*g = -f + 18 - 1, 13 = f + l*g for f.
1
Suppose 3*v = 188 - 47. Suppose -s - 14 = -v. Solve 4*i = -5*d - s, 5*i = 4*d - d + 5 for d.
-5
Let f = -147 + 164. Suppose 0 = -5*x + 3*p + 85, -8*x + 7*x - 4*p = -f. Solve 2*o - 2*c - 14 = 0, 2*o - 3*c - x = -0*c for o.
4
Suppose -584*l = -529*l - 275. Solve -4*m + 12 = -2*s, -s + 6*s = l*m - 5 for s.
4
Let j(z) = -5*z - 35. Let c be j(-7). Suppose 5*d + 3*v - 37 - 18 = c, -3*d - v = -29. Suppose s = -2*s. Solve 3*t - 5*t = 4*l + 24, -3*t + 5*l + d = s for t.
-4
Suppose s + k = 133, 532 = 4*s - 0*k - k. Let w = s - 128. Solve -v = w*t - 17, t + 2*t = -4*v + 17 for v.
2
Suppose 5*m + 2*p - 111 = 0, 3*p + 137 + 34 = 6*m. Let d be (-1 + 1)*(-2)/(-4). Let t = 5 + d. Solve 5*i - 5*q + m = 2*i, q - t = -5*i for i.
0
Suppose -96 = -2954*c + 2922*c. Solve 0 = -u - 2*f - 5, c*f + 24 = 3*u - 6 for u.
5
Let r be (-106)/(-318) - (-3 - 4/(-3)). Solve 0 = 2*k + 3*o - 5 + 3, 4*o + 2 = r*k for k.
1
Let c = 71 - 67. Let s(a) = 2*a + 6. Let f(b) = -b**2 + 8*b + 7. Let i be f(9). Let z be s(i). Solve z*t + 0*t = -c*q + 8, -2*t + 8 = -q for t.
4
Suppose 113*h - 142*h + 58 = 0. Suppose 3*y - 22 = h*y + 3*q, -5*y + 30 = q. Solve -2*i - 2*l + 2 = -0*i, 5*l + y = -2*i for i.
4
Let a(j) = -j**2 - 58*j - 242. Let l be a(-53). Solve 0 = n + r + 10, -5*r = -3*n - 21 + l for n.
-6
Let g(u) = -u**3 - 32*u**2 + 3*u + 121. Let y be g(-32). Solve -5*d - y = 0, -5*z + 3 = d - 7 for z.
3
Let j(d) = d + 1. Let s(i) = 4*i + 11. Let w(x) = 5*j(x) - s(x). Let r be w(8). Suppose -7*o = -20 + 6. Solve r*p + o = 0, 4*y = 2*y - p + 5 for y.
3
Suppose -36*l + 165*l + 105*l - 1638 = 0. Solve 11*a + 36 = l*a - 5*d, d = -4 for a.
-4
Let i be 136/9 - 19/171. Let g(c) = 2*c**3 - 31*c**2 + 16*c - 15. Let t be g(i). Solve t = 4*s - 5*x - 20, -4*s = -4*x + 4 - 20 for s.
0
Let h = -26 - -48. Suppose -10 = h*p - 24*p. Let o(f) = f**3 + 10*f**2 + 10*f + 11. Let v be o(-9). Solve 0 = -3*s + r + v - 13, p*s + 2*r = -11 for s.
-3
Suppose 2*w + 399 = 3*i, 50*i + 150 = 51*i + 5*w. Solve 5*r = -5*s - 15, -5*s + 5*r + 130 - i = 0 for s.
-2
Suppose 2*y - y = 0, -2*y - 12 = -3*k. Let h = -2076 + 2102. Suppose -k*n - 2*s + h = 0, n = -0*n + s + 2. Solve z + 3*f + 5 = 0, -n*z + 5*f - 9 = -44 for z.
4
Let a be (1*(-2)/(-4))/((-6)/(-24)). Suppose 2*m = 5*z - a, -3*m + 0*m = 3. Solve -q - 4*v + 4 = 3*q, z = 2*v - 2 for q.
0
Let t be 2 - (1/5*0 + 0). Suppose -t*p = -12*p + 30. Solve 4*z + 7*h - 11 = 2*h, -p*z = h for z.
-1
Let v(p) = -53*p - 3861. Let i be v(-73). Solve -4*c + 3*l + 5 = 0, -5*l + 7 = -2*c - i for c.
5
Suppose 4*d + 15 = -b - 72, 105 = -b + 5*d. Let w = -93 - b. Solve -2*n = j - w - 5, -n - j = -4 for n.
3
Let c(j) = 2*j**2 + 7*j - 370. Let l be c(12). Solve -5*h - l*t - 26 = 0, 22*t - 19*t = h - 5 for h.
-4
Suppose -11*h - h = 564. Let b = h - -46. Let f be (b/((-3)/99))/1. Solve f = -5*y + 2*r, 0 = -3*y + 2*y - 4*r + 11 for y.
-5
Suppose -h + 4 = 4*m, -101*h = -97*h + m - 46. Solve -8*x + h = -4*x + 3*k, 20 = x + 5*k for x.
0
Let r be 4 + 2 + (7 - 335). Let n = 325 + r. Solve 0 = -4*k - n*w + 9, 0*k - 2*k + 15 = 5*w for k.
0
Let r = 1153 - 1149. Let t be 4 + (3 - (6 - 4)). Solve 40 = -8*p + r*p + 4*s, -t*p - s - 20 = 0 for p.
-5
Suppose 0 = -47*t + 20*t + 57*t + 11*t. Solve 3*a + l + 16 = t, -4*l + 0 = 16 for a.
-4
Let k be (-6 + (-700)/15)*(-3)/(-2). Let c = k - -60. Let q = 21 + c. Solve u + q*u + 5*s = -7, 3*u - 7 = 2*s for u.
1
Suppose 4*c = 9 + 7. Let l = 16 + -14. Suppose 5*o - 3 = -i + 12, -l*o - 11 = -3*i. Solve o*q - 3*j = -q - 3, c = q + 4*j for q.
0
Let k = 100 + -138. Let x = 38 + k. Solve x = -3*l + 4*u + 13, 4*l - 21 + 8 = u for l.
3
Let z be (20 - (-24 - -40))/((-1)/(-2)). Solve -4*h = z + 8, 0 = 2*s + 4*h + 14 for s.
1
Suppose -4*d - u + 39 = 0, 5*u + 67 - 64 = 2*d. Solve 3*s + d*g = 5*g + 1, -2 = -2*g for s.
-1
Suppose -14*h + 2249 = 2025. Solve 0 = -4*f - p - h, -34*f + 3*p = -36*f - 8 for f.
-4
Suppose 18*p - 6*p - 66 = p. Solve -9 = -3*l - 4*d, -p*d + 4*d = 0 for l.
3
Let u = 191 - 180. Let i(s) = -s**3 + 13*s**2 - 19*s - 17. Let p be i(u). Solve 4*b - p = d - 3*d, 4*d - 4*b = -28 for d.
-2
Let m(o) = 9*o - 50. Suppose 2*c = -u + 42, 2*u + 3*c - 84 = 4*c. Let h = -36 + u. Let v be m(h). Solve v*p - 3*q = 6, 2*q + q = -4*p - 6 for p.
0
Let u = 194 + -182. Let q be 5*u/30 - -3. Solve 0 = -m + q*m - 2*r - 18, 4*m - r = 17 for m.
4
Let p be (-9)/1 + 2 - (80/(-5) - -6). Solve i = 77*h - 74*h + 17