*w - f*u + 2 for w.
2
Let y(i) = -38*i + 2130. Let o be y(56). Solve 0*t - 20 = 5*t, 5*t = -o*s - 24 for s.
-2
Let d be 36 + (1 + (-12)/6)*11. Solve -3*a - 4*l = 12, -d*l + 3 = 4*a - 26*l for a.
0
Let i be 3*-6*(-70)/42. Suppose -2*g + 160 = i*g. Suppose -4*n = 5*r - 8, 3*r - 4*n - 16 = 8. Solve 0 = 9*m - r*m - 2*t + 9, 24 = -g*m - 3*t for m.
-3
Suppose 1 = 5*y - 4*c + 13, -9 = -3*c. Let p be 0/(4 - (0 - (1 - y))). Solve -4*m - 4*l - 12 = p, 2*m - 2*l + 6*l + 2 = 0 for m.
-5
Let m = 126 - 103. Suppose m + 2 = 2*b - 5*a, 3*b + 2*a = -10. Solve b*h - 7 = -4*h + u, 2*h = -4*u + 8 for h.
2
Suppose -4*t - 38 = -4*f - 2*t, -4*t = 4*f - 68. Solve 2*y - f = 3*j, j = -4*j + y - 13 for j.
-2
Let a = 250 - 251. Let r be a + (-3)/(-4) + 441/84. Solve -25 = 5*h, -4*c - r*h = c + 10 for c.
3
Suppose 0 = 9*d + 3146 + 1831. Let t = 556 + d. Solve -18 = -5*p - n, p + 14 = 6*p + t*n for p.
4
Let i = -14638 - -14642. Solve -i*o = 9*j - 14*j + 20, 0 = 3*j + 5*o + 25 for j.
0
Let o = -5 + 5. Let q be (60/27)/1 + (-12)/54. Suppose -q*i - 12*i = -28. Solve o = 3*d - 2*a - 8, 10 = 3*d - 3*a + i*a for d.
4
Let n be ((-24)/64)/(20/(-160)). Solve 0 = -3*k - 2*k - 4*y + n, 0 = 2*k + 2*y for k.
3
Let v = -76 - -80. Suppose 970 = -v*t + 986. Solve 0 = 5*q - 0*l + 5*l + 10, q + t = -3*l for q.
-1
Let d be 888/(-10)*70/(-21). Let w = -293 + d. Solve -2*g = 4*c + 8, 5*c + w = g - 7 for c.
-2
Let b = 499592 + -499589. Let d be 0/(-2)*(-2)/4. Suppose v - 2 + 0 = d. Solve b*j - 2 = -v*u, -u + 8 = -3*j + j for u.
4
Let z = 78 + -73. Suppose 0 = -p + 4*v + 8 - 12, 0 = 4*p - 5*v - 6. Solve q + q - p = -3*w, -10 = -z*w for q.
-1
Suppose -24*w + 21*w - f = -19, -5*f = 2*w + 9. Suppose -r + 2*p = -w, -2*r - 6*p + 2*p = 8. Solve -5*q = -z - 3*z - 29, -r*z = -q + 7 for q.
5
Let a = -2211 + 2237. Solve l + l - 4*t = -a, 0 = -l - 4*t + 11 for l.
-5
Let z be -2 - 15/(-5) - -1. Suppose 50 = 5*o - 3*h, 0 = -z*o - 5*h + 20. Let t = -6 - -9. Solve -5*y + t*d = d - 17, -3*y + d = -o for y.
3
Let l be (-21)/6*120/(-84). Suppose 0 = k + 4, -l*v + 58 = k - 18. Solve -3*b = -5*p - 4*b - 20, -4*p - 5*b = v for p.
-4
Let a be 1 + 2 + (-1 - -1). Let q be (110/40)/(1/(-52)). Let w = -141 - q. Solve -w*j + 1 = -a*c + 3, -2*c = j + 8 for j.
-4
Suppose 5 = -5*y + 5*f, 5*y - 15 = 2*y - 3*f. Let q = -3 + 4. Suppose 24*n - 103 = 233. Solve 5*s = -4*g - q, g = y*s - g - n for s.
3
Let g(u) = -u**2 + 5*u + 6. Let r be g(5). Suppose p = 3*t + 15, 4*t + 16 - r = -2*p. Solve 14 - 6 = -3*w - s, -w - p*s + 8 = 0 for w.
-4
Suppose -3*p - 6 = 0, 0 = 573*q - 571*q + 4*p - 4. Solve v = 4*v + 2*f - q, -4 = -2*v - 2*f for v.
2
Suppose -5*x + 5 = 0, 3*z - 97 = -z + 3*x. Solve -5*a - z = 3*h, 2*a - 25 = 7*a + 5*h for a.
-5
Suppose 484*i = 505*i - 42. Solve m = 1, -2*m + 0 = -i*c + 2 for c.
2
Suppose 2*o + 4*j = 4, 3*j = 3*o - 14 - 1. Suppose -5*l + 15 = -10*l, -o*d + 14 = -2*l. Solve w + 15 = 3*u + d*u, w + 5*u - 5 = 0 for w.
-5
Suppose 29 - 14 = 3*l. Let n(w) = w + 13. Let t be n(0). Suppose 0*m + 4*m + 370 = 414. Solve -z = -2*p + t, -52 = -4*p + l*z - m for p.
4
Suppose 0 = 569*n - 571*n, n + 9 = 3*j. Solve -4*f - 3*a + 6 = 0, j*a - 4*a - 5 = -f for f.
3
Suppose 3 = -8*u + 27. Suppose u = -r + 7. Suppose h = r*h. Solve h*l - 3*g - 24 = 5*l, 3*g + 3 = 2*l for l.
-3
Let s(w) = -13*w + 254. Let v be s(6). Suppose -3*y = -188 + v. Solve b - q + 6 = 0, y*b - 5*q + 40 = 12 for b.
-2
Let a = 1151 + -1145. Solve -4*s - 2*n = -8, -8*s + 5*n = -a*s + 8 for s.
1
Let u = 51 + 159. Suppose -6 = -2*v, -5*i + 6*v + u = v. Let r be (-4)/3*i/(-12). Solve w - 4*h = -7, -r*w + 0*h + 3*h = 18 for w.
-3
Let y = -308 + 521. Let j = -200 + y. Solve 2*o = i - j, 5*o = 2*i - 0*i - 30 for o.
-4
Let k be (21/(-12))/((-1)/(-4)). Let l = k - -10. Let f = 231210 + -231210. Solve f = -h + b + 6, 4*b = -3*h + l + 1 for h.
4
Suppose -47*t = -44*t - 4*h - 5, -4*h = 4*t - 16. Solve -t*s + 5*v = 16, -2*v = s + 3*v - 28 for s.
3
Suppose -18*b = -14*b + 2*l - 92, -2*l = -5*b + 97. Solve -b*m + 17*m + 2*h = -4, m - 15 = -3*h for m.
3
Let q be 2/((1/2)/(222/24)). Let m(b) = 13*b - 11*b - 5*b - q - 11. Let p be m(-18). Solve 2*i + 3*j = i + 11, -4*i - p = 2*j for i.
-4
Let j be (-23)/(-7) - 2/7. Let k be 19750/(-1975) - 3/(-2)*10. Solve -j*s - 3*b = -9, 7 + 12 = k*s + b for s.
4
Let a(j) = 4*j**2 + 3*j - 8. Let q be a(11). Suppose 0 = 15*d + 406 + q. Let p = -48 - d. Solve -5*z = -3*t - p, 0 = -2*t - 2*z + 26 - 8 for t.
4
Suppose a - 4 - 19 = 2*v, -3*a - 2*v + 101 = 0. Suppose a = 4*s + 15. Solve -2*t + 3*f + 2*f = -3, -s*t + 5*f = -11 for t.
4
Suppose 6 = r + 5. Let i be r/((-70)/(-25) + -3). Let b be 4 + i + -2 + 8. Solve 0 = -3*d - 4*p + 17, b*d - 5 = 2*d + 2*p for d.
3
Let d(v) = -32*v + 104. Let t be d(3). Solve 7*k = 11*k + 3*f + 24, 4*k - 5*f = t for k.
-3
Suppose -3*m + 13 + 2 = 0, 2*s = m + 1. Solve 0 = -s*j - 9, -2*u + 30 = -3*j + 27 for u.
-3
Suppose -f - 208 = -692*o + 689*o, 0 = -5*o + f + 348. Solve 0 = 2*z, 0 = o*q - 69*q - 0*z - 4*z for q.
0
Let u = 4 + -2. Suppose -10*y = -13 + 13. Suppose -5*l + 3*h + 5 = y, -21*h + 17*h + 28 = 2*l. Solve 4*g - u*j = -2 + 8, -4*j = l*g - 36 for g.
4
Let f be ((-261)/174 - (-7)/2) + 1. Solve 3*a + 9 = -f*s, -1 = 5*a - s + 20 for a.
-4
Suppose 0 = -18*r + 8 + 46. Solve -5*o = -2*a + 9, o = -r*a + 40 - 35 for a.
2
Let b = -159 + 163. Suppose 5*r = -3*o + 38, -5*r - 82 = -5*o - b*r. Solve -j + 5*v + o = 0, -2*j + 7 = v + 19 for j.
-4
Suppose 0 = 12*w - 8*w. Suppose -4*y - 47 - 49 = w. Let c be (-12)/y - (-7)/2. Solve -c*z = -12, -2*z - 4 = 2*g - 0*z for g.
-5
Suppose -o - 83 = -4*x + 28, 4*o - 20 = 0. Solve -3*c - 15 = r, 5*c + x*r + 39 = 25*r for c.
-3
Suppose 6*w + 1176 = 1188. Solve 4*b = 5*d + 3, 7*b + d + 18 = w*b for b.
-3
Let x(o) = 4*o**3 + 24*o**2 + 18. Let j be x(-6). Solve 16*c - 3*m = 13*c - j, 12 = -c + 3*m for c.
-3
Let t(d) = -357*d**2 + 705*d**2 + 9*d - 3 - 347*d**2 - 5. Let z(m) = -2*m - 2. Let v be z(4). Let i be t(v). Solve 0*s + 14 = i*s + 3*l, -4*l = -16 for s.
1
Let p(r) = -r**2 - 10*r - 6*r + 12*r. Let z be p(-3). Solve -l = -4*q + 3 - 17, 5 = -2*l - z*q for l.
2
Suppose -428*i - 340 = -496*i. Solve 4*t - 4*y = 36, -35 = i*t - 8*t + 5*y for t.
5
Let g(k) be the second derivative of -k**5/20 - k**4/4 + k**3/2 + k**2/2 - 131*k. Let z be g(-4). Solve -3*f - 23 = -4*i, 0*f - 3*f - 25 = -z*i for i.
2
Suppose 11*o + 3*o = 0. Suppose -d - 5 = -0*d - p, o = d + 4*p - 20. Solve -2*s + 5*c = 3*s + 15, d = -2*s - 2*c + 14 for s.
2
Suppose 97*o - 21*o - 988 = 0. Suppose 3*j - o*p + 12*p - 9 = 0, j + 5*p = 19. Solve -j*u + 13 = 4*d - 3*d, 3*d - 21 = -3*u for u.
2
Suppose h = 2*a - 6, -a = 2*a - 4*h - 14. Solve 5*y + 5*k = 8*k - 13, y + a*k = 0 for y.
-2
Let u(a) = a**3 - 19*a**2 + 7*a + 126. Let i be u(3). Solve 0 = 2*c + 4*x, -6*c + i*x - 429 = -444 for c.
2
Suppose 260 = -4*t + 2*n, -4*t - n = 3*n + 284. Let b = t - -75. Let r be -12*(30/b + -4). Solve -r = f, 4*f = w - 1 - 6 for w.
-5
Suppose -2*a = 3*t - 59, -17 = -a - 40*t + 41*t. Solve 0 = -4*c - 2*y - 0 - a, -5*y - 25 = 0 for c.
-3
Let d = 4024 + -4018. Solve k + 5 = 5*v, 2*k + 5*v + 1 = d for k.
0
Suppose -4*s = -6*s. Let l = 101 + -99. Suppose 0 = 5*a + 5*z - 45, l*z - 3 = -z. Solve 4*c - 2*d - a = 0, -d + 0*d + 2 = s for c.
3
Suppose 3*o = 10*o - 28. Suppose 22 = 6*a - o*a. Let k = a - 7. Solve -z - 8 = k*s, 2*z = -4*s - 0*z - 4 for s.
-3
Let s(i) = -i**2 + 3*i - 1. Let w be s(3). Let o = w - -6. Suppose -5*a + 113 = 4*x, -14*a + 110 = -9*a + 5*x. Solve 14 = -2*h - 0*f + f, -h - a = -o*f for h.
-5
Let r(a) = a**3 - 6*a**2 - 131*a + 422. Let b be r(3). Solve 4*x = 3*d - 7 + 42, b*d - 2*x = -20 for d.
-5
Suppose 10*v - 68*v + 8241 = 9*v. Solve -2*i + v = 2*f + 131, -4*i = -5*f - 11 for f.
-3
Suppose 689 = -8*n + 705. Solve -5*d = n*y + 21, -d - 2*y + 20 = 21 for d.
-5
Suppose -76*v = -322 + 322. Solve v = -2*f - 4*s - 16, 3*s + 4 = -f + 2*s for f.
0
Let q = 8 + -2. Suppose 0 = 2*c + j - 5, -c + 11 = 3*c + 3*j. Solve 0 = -q*x + x - 5*i + 15, 0 = -3*x - c*i + 10 for x.
4
Let p = -52 - -53. Let m be 24 + (8/16)/(p/(-2)). Suppose 6*l - 2*l - 16 = 0. Solve 0 = -o + 3*h - 1 - 0, -3*o = l*h - m for o.
5
Let w be (10 + -6)*((-4)/1)/(-1). Solve 0 = -2*n + 4*y + w, -9 = -2*n - 3*y - 7 for n.
4
Suppose 10 = 3*v - 5*l, 4*v - 5*l + 10*l - 25 = 0. Solve 