 h = 0 for s.
3
Let d(c) = -279*c + 7. Let y be d(-2). Let l = y + -560. Solve 14 = -s + 3*x, -s - x + 1 = -l for s.
1
Let j = 4260 - 4250. Solve f + 2*u - j = -14, 0 = -4*f + 2*u - 6 for f.
-2
Suppose 192*p - 2763 - 4533 = 0. Solve 4*r - 31 = w - 0*w, -w + 5*r - p = 0 for w.
-3
Let n be -18 + (-3 - (-1)/(-1))/2. Let s = n + 21. Let y(f) = 6*f**3 - f**2 - 2*f + 2. Let w be y(s). Solve 0 = 5*r + 2*u - 20, -5*r + w = 2*u - 3*u for r.
2
Suppose 129 + 167 = 63*s + 11*s. Solve h + 2*w - 1 = s, 2*h - w - 5 = 0 for h.
3
Let z(n) = -766*n + 7. Let v be z(0). Solve 3*r - 2 = -l + v, -5*l - 9 = -3*r for l.
0
Suppose -291*n = -220*n - 242 + 29. Solve -3 = n*f - 2*t - 7, -4*f - 2*t - 18 = 0 for f.
-2
Suppose 42 = -13*s + 27*s. Suppose -7 + 19 = s*h. Solve 0*p - p + 19 = -3*r, 4*p + 4*r = -h for p.
4
Let d = 44 - 43. Let t(v) = 10*v**3 + v**2 - 1. Let z be t(d). Let u be ((-3)/(9/z))/((-2)/3). Solve 4*n - 2 = 2*b, -3 + 1 = -b + u*n for b.
-3
Suppose 0 = 4*g - 5*a, 0*g + 2*a = -g + 6*a. Solve g = 2*h - 3*z + 8, -5*h = -9*h - 3*z + 20 for h.
2
Let j be 5*((-9)/(-5))/3. Suppose -j*b + 32 - 50 = 0. Let i = -5 - b. Solve -11 = g + 4*n, -4*g + i = -4*n - 35 for g.
5
Suppose 76*c + 169 - 17 = 0. Let b(m) be the first derivative of 2*m**3/3 + 3*m**2 + 10*m + 2. Let v be b(c). Solve -d - v = -s, -6*d + d - 23 = 2*s for s.
1
Let c(x) = 5*x**2 - 9*x - 22. Let m be c(-4). Let s = -100 + m. Let t be (3/4)/(0 + s/(-24)). Solve 0 = 2*k - t*g + 4, 2*k + 1 = -3*g - 3 for k.
-2
Suppose -4*x + 1363 = -3*b, -41*x + 43*x = 3*b + 689. Let n = -332 + x. Solve n*q + 10 = -l + 6*l, 0 = -q - 5 for l.
-3
Suppose 145 = -97*z + 115*z - 431. Solve 3 = -w, 7*w - 3*w = -4*k - z for k.
-5
Let q(c) = -c**3 + 106*c**2 - 303*c - 615. Let z be q(103). Solve 1 = -5*h - 3*s, 6*h - 12*s + 15*s = -z for h.
-2
Let j be 142/6 - (155/(-15) + 9). Solve -3*g - 7*o + 12*o + j = 0, g = 4*o + 20 for g.
0
Suppose 85*z - 99*z = -2282. Suppose -z*a + 162*a = -1. Solve -a = -2*c - j - 6, -2*c = 3*j + 3 for c.
-3
Suppose -q - 3057 + 3059 = 0. Solve -2*m = q, 8*f + m + 11 = 3*f for f.
-2
Let k be 6 - 1 - (88/(-8) + 6). Let p be (-10)/(-50) + 38/k. Solve -p*f = -4*r, 5 + 11 = -3*r - 5*f for r.
-2
Let a(j) = 43*j - 84. Let l be a(2). Solve 5*u - u - l*s = -20, 25 = -5*u + 4*s for u.
-5
Suppose -134 = 73*w - 76*w - 4*l, -7*w = -4*l - 206. Solve -4*n - 1 = d, w*n - 3*d = 32*n - 11 for n.
-1
Let q(p) = -4*p - 85. Let b = 199 - 221. Let c be q(b). Solve -c*l + 4*w = -0*l + 16, 2*l = -3*w + 12 for l.
0
Suppose 0 = -25*n + 29*n - 44. Suppose -5*c - n + 36 = 0. Solve 0 = -5*f + c*x + 25, -f + 3*x = -5*f + 6 for f.
3
Suppose 12 = 3*v - 3. Suppose z = -6*h + 2, 2*h - 13048*z = -13044*z + 44. Solve 5*j - 9 = -3*x, h*j - v - 7 = 3*x for j.
3
Let l(n) = 5*n**3 + 4*n**2 - 2*n - 3. Let g be l(1). Solve 0 = -v - g*v + 5*f + 20, 3*v - f - 2 = 0 for v.
-1
Let t be (0*9/(-81))/(-2). Suppose t = -g + 5*s - 16, g + 2*s - 7 = 5. Solve g*j = z, -5*j - 5*z = -3*z for j.
0
Let s = -10338 + 10340. Solve -s*z + o + 11 = 3*z, o = 3*z - 5 for z.
3
Suppose -9*v + 3*v - 12 = 0. Let z(g) = 6*g + 9. Let s be z(v). Let q be s/(-2)*(-2 + 4). Solve 5*o + 10 = 2*f + 3*f, -4*f = q*o + 13 for o.
-3
Let f(a) = -3*a + 12. Let i be f(5). Let c be ((-60)/8)/(i/4). Suppose 138*u + 176 = 154*u. Solve -2*b + u + 3 = -2*h, -c = 4*h + 5*b for h.
-5
Let m(h) = -195*h + 3139. Let z be m(16). Solve -x + 3*o + 12 = 0, 5*x - o = -z + 9 for x.
-3
Let h = -26 - -26. Let w(y) = y**3 + 0*y**2 + y**2 - 12 + y + 10 + h*y**2. Let u be w(2). Solve 2*j - 4*q + u = 7*j, j - 4*q = -12 for j.
0
Let h(t) = -25*t + 178. Let a be h(7). Let k(p) = 3*p - 24. Let x be k(11). Solve -f + 5*f = -3*w - x, a*w = 2*f - 9 for f.
0
Let n be 5130/722 - 4/(-114)*-3. Solve n*j = 4*j + 5*z + 40, 0 = -2*z - 10 for j.
5
Let i(q) = q**2 + 4*q + 152. Let n be i(0). Let y = n + -147. Solve y*u = u - b - 12, 0 = -2*u + b for u.
-2
Let k be 0 - -31 - (5 + -2). Suppose -s = -2*s + k. Suppose -33*p = 37*p - 140. Solve -p*z + 3*y = 16, 4*z - 5*y + 0*y = -s for z.
-2
Let s(p) = p**2 - 18*p - 43. Let o be s(19). Let c = -24 - o. Let k be (26/(-52))/(c - (-2)/(-8)). Solve -k*i - 5 = j, 4*i = 2*i - 4*j - 8 for i.
-2
Suppose 9361*j + 140 = 9375*j. Solve l + z + 2 = 3*l, -j = -3*l - 2*z for l.
2
Suppose 2014 = -3*h - g, -3*g = -6*h + h - 3366. Let y = h + 687. Solve -4*a + c = 13, 2*a - 3*c = -y + 6 for a.
-3
Suppose 65*u - 54*u = 253. Solve q = 4*o + 7, -4*q + 0*q - o - u = 0 for q.
-5
Let p = -279 - -291. Let y be (0 - (-3 - (-32)/p))*6. Solve -n + o - y = 0, -2*o + 8 + 6 = -4*n for n.
-5
Let f(k) = 51*k - 23. Let v(g) = -g**2 - 255*g + 116. Let t(p) = 11*f(p) + 2*v(p). Let m be t(25). Solve 3 + 13 = 2*i + m*a, -3*a = 2*i - 11 for i.
-2
Suppose -417 = 828*r - 967*r. Solve 5*m = -2*c + 29, -r*m - 34*c = -30*c - 23 for m.
5
Let l = -3795 + 3795. Solve -2*k + k - 1 = l, 3*k = d - 7 for d.
4
Let o(h) = -16*h**3 + 1288*h + 4*h**2 - 1285*h + 17*h**3 + 17. Let g be o(0). Solve g = -0*b + 4*b - v, -5*v = 3*b + 16 for b.
3
Let q(l) = -86*l + 3014. Let j be q(35). Solve 0 = 4*r - 4*k - j, -3*r + 2*k = -4 - 3 for r.
5
Suppose -h - 8 + 4 = 0. Let d be 2 + (12 - 11)*(0 - h). Suppose 4*s = d*s - 6. Solve -s*n - 29 = -4*q, -3*n - q = -6*n - 14 for n.
-3
Suppose -38*n + 330 = -8*n. Solve 4*y - y - 4*x + 17 = 0, y = 4*x - n for y.
-3
Let t be (21/2)/((-371)/(-212)). Solve -35 = 6*x - x - 3*q, 0 = -x - 2*q + t for x.
-4
Suppose -173*j = -177*j - 4*t + 56, 3*j - 40 = -t. Solve -5*z + 16*q + j = 18*q, 14 = 2*z + 3*q for z.
1
Suppose -c - 18 + 20 = 0. Suppose 4*n = -c*n + 12. Let v be (8/(-7))/(3*14/(-147)). Solve 4 = j + v*x - 10, -2*j = -2*x + n for j.
2
Suppose 13*a = -69*a + 902. Solve 4*s - 8 = -f - 7, -5*f - 4*s = a for f.
-3
Suppose 16 = 6*t - 2. Suppose q + 3*u + 27 = 7, 0 = -4*q - t*u - 35. Let j be 4 - 0 - (q - 11). Solve -4*c - 20 = 0, 0 = -i - 0*i - 3*c - j for i.
-5
Let q = -50 + 54. Suppose -4*p = -q*g + p + 16, 16 = 4*g + p. Suppose -g*i + 28 = 3*i. Solve -5 = -9*y + 4*y, -3*t - 5*y = i for t.
-3
Let n = -753844 - -753844. Let j = 7 + -5. Suppose 0 = z + j*z - 27. Solve d - g + 2*g = -z, -4*d - 3*g - 31 = n for d.
-4
Suppose r + 3*r = 16. Let t = -34702 + 34705. Solve -16 = -5*b - j, t*b = -r*j + 1 - 5 for b.
4
Suppose -t - t = 2*a - 6, 0 = -a + 4*t - 2. Let w be (-37 - -43)/(4/a). Solve -2*b + p = -2*p - 4, 0 = -3*b + w*p + 9 for b.
5
Let s(k) = -k**2 - 21*k - 95. Let a be s(-7). Solve -5*m - 4*l = 36, -a*m - 3*l - 29 = -5 for m.
-4
Suppose -4*f = 3*u + f + 3, 3*f + 21 = -5*u. Let d(j) = 36544 - 2*j - j - 36551. Let h be d(u). Solve 2*n - 3 = n, -5*w - h = -2*n for w.
-1
Suppose -3*t = -3*c + 18, 0*c = -3*c - 3*t + 6. Suppose -5*d + d + 3*o = c, -12 = 2*d - 4*o. Solve -3*x - d = -f + 8, -3*f - 3 = 2*x for x.
-3
Suppose -6*f = -f - 10. Suppose 0 = -5*c + 2*r, 6*r - 5*r = -28*c + 26*c. Solve c = -2*l + 4*g + f, 2*l - g = -3*l + 23 for l.
5
Let i(k) be the first derivative of k**3/3 - k**2 - k + 55. Let y be i(3). Solve -h = a - 0*a, y*h = a - 3 for a.
1
Let i(m) = m**3 + 6*m**2 + m - 4. Let y = 500 + -505. Let a be i(y). Solve -f - a = -5*u, 5*f = -4*u + 5 + 31 for u.
4
Let w be 21/(-2)*450/(-945). Solve u + 2*v - 12 = 0, 20 = w*u + 165*v - 163*v for u.
2
Let k(r) = 2*r - 11. Let z be k(8). Suppose -23*l = -29*l + 42. Suppose l*s + 6*s - 4*s = 0. Solve -j + z = -3*v, -2*j + s*v - v - 11 = 0 for j.
-4
Let y be 8/5*(-1)/(1/(-5)). Let g(k) = -k + 13. Let v be g(y). Let h be (-5)/(-2)*22/v. Solve 0 = -3*a - 3, s + h = -2*a + 5 for s.
-4
Let o(d) = d**3 + 6*d**2 - 82*d - 356. Let z be o(-4). Solve -41*u = 2*a - 39*u + 10, a - z*u = 20 for a.
0
Suppose 3*l = 4*l + 4, 0 = 5*y - l + 1. Let j be (11 - 3)*y/(-2). Let p be 350/40*(-48)/(-30). Solve -g - p = -2*t - 3, -g - j*t + 19 = 0 for g.
-1
Let z = 352 - 344. Let l be z/(-2) + 13 + (-14 - -9). Solve 4*i - 14 = h, 0*i - i + l = 0 for h.
2
Suppose -4*x + c + 4 = 0, 2 = -3*x + c + 4. Suppose x*r - 34 + 8 = 0. Suppose -16*q = -r*q - 12. Solve 3*d = 3*u - 2*u + 15, -20 = -q*d + 5*u for d.
5
Let i be (-9 - (-5 + 1 + -3)) + -4. Let f be i/6 - (13 + -18). Suppose -60 + 20 = -5*w. Solve 5*h = h + f*l, h + l - w = 0 for h.
4
Let h be 19/(-5 - (6 + (-486)/44)). Let u = h - 410. Suppose -10 = -5*b + 5. Solve -b*i = 12, -3*l + u = -7*l - 3*i for l.
1
Let q(y) = -y**2 + 349*y + 