. Let h be z(-25). Let v = h + 408. Solve -5*y + 4*u + 8 = 0, u - 2*u + 3 = v for y.
4
Let g = 442 - 448. Let q be -2 + (4 - 0) + g - -4. Solve -2*y + q*y + 5*v = 23, 0 = 3*y + 4*v for y.
-4
Let d be (2 - 1) + (-1)/1*-2. Suppose -3*w - w - d*r = -37, 2*r = 5*w - 52. Let o be w/(-15) + (-14)/(-3). Solve l = -5*z - 18, -o*z - l = -0*l + 14 for z.
-4
Let q be -7 - ((0 - 26) + 14). Solve q*r = 2*u + 6 - 9, -2 = 2*u for r.
-1
Let t = -3350 - -3356. Solve m - 3*j - 3 = 6, 2*m - t = 3*j for m.
-3
Let o = 667 - 1172. Let z = o + 510. Solve -z*k + 2*b - 21 = 0, 2*k + k = 4*b - 7 for k.
-5
Let x(t) = 9*t + 29. Let q be x(15). Suppose 0 = -28*p + q - 24. Solve a = p*k - 30, 3*k - 30 = 4*a - a for a.
-5
Let u be (27/(-24)*(-18)/54)/((-3)/(-32)). Let a be (-2)/3 - (-3)/(-9). Let y be 13/4 + a/4. Solve 10 = u*j - y*h, j + 5*h = 6 + 8 for j.
4
Let m = 3095 + -3092. Solve 3*j = -3, -11*h + 6*h + m*j = -18 for h.
3
Let n(a) = 99*a - 95. Let t be n(1). Solve -5*v + v = 4*h + 32, t = -4*h + 3*v for h.
-4
Let r(d) = 52*d + 348. Let u(k) = 18*k + 116. Let n(y) = -3*r(y) + 8*u(y). Let t be n(-10). Solve 3*l = 7 - 1, -t*o - 3*l = -10 for o.
1
Suppose 2*p = 6, 2*l + 12 = 4*l + 2*p. Suppose -33 = -10*o - l. Solve 0 = -o*r + u - 10, 0 = -r + u - 0*u - 4 for r.
-3
Let o = 2589 + -2607. Let s be (0 + 2/(-2))*-35. Let y = o + s. Solve -x - y = -5*l - 0, 5*x + 5*l = 5 for x.
-2
Let n be (-19 + 1)*(-5 - (-51)/9). Let a(b) = -6*b - 35. Let l be a(n). Let s = l + -35. Solve j - f = s, -2*j + 13 = -3*j - 2*f for j.
-3
Let o(t) = -8*t**2 + 136*t + 147. Let r be o(18). Solve w = 2*y - 11, 4 = -r*y - w + 13 for y.
4
Let z = 56 + -51. Suppose d = -z*y + 28, -6*d + 5*d - 2*y + 13 = 0. Suppose d*b = 7 - 1. Solve -4*k = 5*x - 8*k + 40, 0 = -2*x - 2*k + b for x.
-4
Suppose -248 = -190*a + 66*a. Solve 22 = -a*s - 3*l, -21*s + 19*s = l + 14 for s.
-5
Let c = -11595 + 11595. Solve 0 = 3*k + r - 13, r - 7 = -k - c for k.
3
Let b = 5693 + -5674. Solve 5*d - 23 = 3*t - t, 0 = -4*t - 3*d + b for t.
1
Suppose 0 = 247*l - 230*l - 34. Solve 0 = -4*b + 4*w + 11 - 7, -3*b + l*w + 4 = 0 for b.
2
Let n be 0 - -5 - (-1 - 1/(-1)). Suppose 7*t - 2*t - n = -5*z, 3*z = 3*t + 3. Suppose -s + 7 = -z. Solve s*u = 4*u - 16, 5*u = x - 16 for x.
-4
Suppose -354*g = -277*g - 154. Solve -5*a = 5*n - g*a, 20 = 4*a for n.
-3
Let n(q) = q**3 - 2*q**2 - 9*q + 10. Let u be n(4). Suppose -3*v + 0*v + 5*k = 14, 4*k - u = 5*v. Solve 2 = -v*h - h + 2*j, -5 = -5*j for h.
0
Let i be -6 - 13/(-1) - -131. Let z = 140 - i. Solve 2*l - 5*d - 8 = -z*d, -5*d - 18 = -l for l.
-2
Let c = 47 - 43. Let x = 356 - 315. Suppose x*q - c = 40*q. Solve -q = -s, 2*n - 2*s + 15 = -1 for n.
-4
Suppose -62*o = -1105 + 795. Solve -5*n + 5 = q, 0 = -o*n + 74 - 69 for q.
0
Let m(z) = z**2 - 98*z - 195. Let i be m(-2). Solve -2 = y + n, 3*y - 2 = 4*y - i*n for y.
-2
Let a be 4/(-5)*(-65)/(-117) + (-1445)/(-153). Solve -17 = j + 5*q, 2*q - a = 5*q for j.
-2
Let z be -10 + 5 + 1 + (12 - 5) + 2. Solve -100*s + 104*s + 12 = 0, z*s + 11 = 4*x for x.
-1
Let n = -5 - -8. Suppose -5*z + 20 = -0*z + 5*y, 16 = -2*z + 4*y. Suppose n*b + 31 = 2*m, z*m - 5*m - 2*b = -30. Solve 0 = k + k + u + m, -k = -5*u + 15 for k.
-5
Let a(d) = -d**3 + 9*d**2 - d + 9. Let f be a(9). Suppose z + f = -4. Let x be -1 - (0 - (8 + z)). Solve -x*k = p + 19, 5*p = k - 8 - 7 for p.
-4
Let j = -129 - -141. Suppose -4*v - 6*x = -x + 20, -2*v = -3*x - j. Let d be ((-4)/6)/(4/(-66)). Solve q + 4*q - 2*z + d = v, 4*q = -5*z + 11 for q.
-1
Let m be (-17)/(-3) - (-72)/54. Suppose -m = -q - 3*u, 2*q + 2 = -5*u + 15. Solve 2*s = 5*b + 23, -3*b + q*s - 8 = 17 for b.
-3
Suppose -4*r + 40 = -4*n, 0 = 3*n - 4*r - 10 + 44. Let o be n/((399/(-14))/19). Solve 3*h - 8*h - 5*i = -35, 18 = o*h + 2*i for h.
2
Suppose 5*w + 59*w = 128. Solve -w*u + 28 = 5*v, -2*v + 2*u + 28 = 7*u for v.
4
Let r(l) = -l**2 + 23*l + 184. Let u be r(-6). Solve -4 = 4*b - 2*t, -20*t + u = -3*b - 15*t for b.
0
Suppose -5*g - 19 = -h - 50, 4*g + 2*h - 36 = 0. Let y be 208/28 + 4/g. Solve -y = j - 3*l, 3*j - 4 = j + l for j.
4
Let h(u) = 74*u + 2002. Let s be h(-27). Solve t = 3*k + 6*t - 3, -s*t = -3*k + 3 for k.
1
Suppose -6 + 329 = 51*i + 17. Solve 0 = 3*b - 5*k - 40, k = b - 4 - i for b.
5
Suppose 0 = 2*j - 7*j - 5. Let o(f) = -f**2. Let v(d) = 4*d**2 + 46. Let w(q) = j*v(q) - 5*o(q). Let h be w(7). Solve -2*r - h*u = -u + 12, 5*r + 18 = -u for r.
-3
Suppose -29 = -14*l + 8 + 5. Solve a - 7 + 6 = -4*c, -3*a = 5*c - l for a.
1
Suppose -6*n + 22 = 38 - 22. Solve 0 = -c + n, -17*l + 16*l = -c + 6 for l.
-5
Suppose -5*c = 4*m - 22, 8 = 4*c + 3*m - 9. Solve 8*i - 3*i + 21 = -c*u, 10 = -2*i for u.
2
Suppose 0 = 110*m - 113*m + 909. Suppose -45 = m*b - 312*b. Solve 0*g + 5*g - b*n - 10 = 0, 5*g + 2 = -n for g.
0
Let s = 1412 + -1410. Solve -5*k = 3*o + s, -o + 0*k - k = 2 for o.
-4
Let o be ((-370)/50 - -10) + ((-22)/(-5) - 5). Suppose -8 = -5*j + j. Solve -j*q = 2*v - 4, -o*v - 2 = v - q for v.
0
Let i = 5228 - 5226. Let a be 6/(-4)*(3 - (5 + 0)). Solve 4*o = 2*x + 20, -a*x + i = o - 3 for x.
0
Let y = -506 + 522. Let c be (y/(-100)*-5)/((-17)/(-85)). Let w be (-1 + 6*1)*1. Solve -4*g = -c*i - 6*g + 12, -2*g = -w*i + 24 for i.
4
Suppose -3*b + y = -49, 5*b - 2*y = -6*y + 76. Let w(d) = 2 + 13*d - 1 + 1 - b*d. Let z be w(-1). Solve z*v + 3*x - 21 = 0, -2*v - v - 1 = -5*x for v.
3
Suppose -13*w = -1740 - 444. Let o = 170 - w. Solve 0 = -5*x - o*l + 18, 5*l - l = -x for x.
4
Suppose 2*y + 5*n - 24 = 0, -3*y + 17*n = 16*n - 2. Solve -y*f - a = 5 + 1, -f + 11 = -3*a for f.
-1
Let x = -5454 + 5458. Solve -x*a = 2*g + 8, -53*a = -58*a + 2*g - 28 for a.
-4
Let p(i) be the second derivative of 5*i**4/12 + 5*i**2/2 - 191*i. Let g be p(0). Solve 3*n = -b + 15, -n = -0*b - 3*b - g for b.
0
Let a be (-1)/((-3)/(-35) + (-8)/28). Suppose -4*n = -n - y - 15, -a*y = 5*n - 5. Solve 0 = -5*s - 3*v, -n*s + 0*v - 13 = 5*v for s.
3
Let g = -5 - -8. Suppose 5*x - 32 = 49*c - 51*c, 12 = 4*c - 3*x. Suppose g*i = -0*i + c. Solve -i*t - 13 + 1 = -3*a, 4*a + t = 16 for a.
4
Let f = -100 + 84. Let w = f - -20. Solve b = 2*k - 15, 0 = -b - w*k + 9 + 6 for b.
-5
Let r(n) = 74*n + 240. Let x be r(-3). Solve -3*k - x = g, 3*g + 3*k = -2*k - 34 for g.
-3
Let n be (0/(-2))/(-14 - (16 + -31)). Solve 5*w + 16 = v - n*v, 3*w + 7 = -2*v for w.
-3
Suppose -23 = -5*m + 52. Let l be ((-2)/6)/((-1)/m). Let p(d) = d**3 - 24*d**2 - 24*d - 25. Let j be p(25). Solve j = l*v + 3*a - a + 5, -4*a = -20 for v.
-3
Suppose 16*z + 134 = 166. Solve 2*o + 3*f = -0*f + 3, -z*o + 10 = -4*f for o.
3
Suppose 87*k + 24*k = 444. Solve -2*a = -4*b - 18, 0 = 5*b - 0*a - k*a + 30 for b.
-2
Suppose -3*g - 187 = -n, 0 = -4*n + 4*g + 726 + 14. Solve -2*l + 21 = -5*p, -179*p - 4*l + 27 = -n*p for p.
-3
Suppose k - 24 = -5*p, -4 - 19 = -4*p + 3*k. Suppose -10 = 5*v - p*z + 10, 3*v - z = -4. Solve v = -n + 2*h + 1, 2*n + 5*h + 9 = -2*n for n.
-1
Let u = 191 + -395. Let i = 207 + u. Solve 24 = 5*d - b, -17 = -i*d - 0*d - 2*b for d.
5
Let a(m) = m**3 + 39*m**2 - 550*m + 9. Let g be a(11). Solve 34*k = 31*k + g, 5*k = 5*d + 10 for d.
1
Let j(s) = 2*s**3 + 21*s - 4. Let t be j(5). Let x = t + -349. Solve -9 = -g + 2*u + 2, 0 = -x*g - 2*u + 4 for g.
5
Let d be (10 - -343 - -1)*(-1)/(-3). Suppose 0 = -d*v + 126*v - 24. Solve -i - 5*x + 6*x + v = 0, i - 11 = 3*x for i.
-1
Suppose -5*r = -2*q + 35, 5*q = 2*r + 161 - 42. Solve -q = 5*c - 2*z + z, c - 3*z + 19 = 0 for c.
-4
Let p(s) = s**3 - 16*s**2 - 13*s - 65. Let a = -522 + 539. Let h be p(a). Solve 0 = -h*y + 5*d + 5, -2*y + 3 - 17 = d for y.
-5
Suppose -440 = -9*a + 33*a - 134*a. Solve -8*c - 28 = a*q - 4*c, -3*c = q + 13 for q.
-4
Suppose -j - 3*l + 379 = 3*j, -4*l = -4*j + 400. Suppose -j + 6 = 7*h. Let b = h + 18. Solve -5*t + t = b*w + 25, 10 = -2*w - 3*t for w.
-5
Let r(n) = -78*n**2 + 392*n - 6. Let p be r(5). Solve -17*w - 5*l = -20*w + 10, -p = -5*w + 2*l for w.
0
Let o = -3887 - -3897. Let z be 1/(-2)*(-2 + -22). Suppose -z*y = -10*y - o. Solve -3*i + i = -2*g - 16, 0 = -g - y for i.
3
Let t = 260 + -260. Solve t = 4*o + v - 7, 3*o + 12*v = 17*v + 11 for o.
2
Let p(u) = -18*u**2 - 91*u - 5. Let o be p(-5). Let w be (o/(-5 + (-12)/(-4)))/(-1). Solve -t + 4*g = w, -2*g + 0 + 2 = 0 for t.
4
Suppose b - 5*d - 223 = 0, -235 = -2*b + 3*d + 20