 2*u = 0, w*u = 3*g + 10 - 0 for g.
2
Suppose 0*q + 5*c - 7 = -q, -5*c = -5*q + 5. Suppose 0 = -p + 6 + q. Suppose -10*m + 45 = -5*m. Solve -5*z - 3*g - p = 0, 5*z + g + m = -3*g for z.
-1
Suppose -11 = t - 16. Let s be ((-14)/6)/(t/(-15)). Solve -3*p = -3*f - 3, -f + 4*p = s - 0 for f.
1
Let m = 1915 - 1912. Solve -6*l + m*l - 19 = 4*h, 2*l = -h - 6 for h.
-4
Suppose -2*z + 8*z = -16*z. Solve 6 = 2*s - 5*j, 3*s + 2*j - j + 8 = z for s.
-2
Let m(b) = b**3 + 6*b**2 + b - 6. Let s be m(-5). Let i be ((-720)/(-168))/(3/s). Solve -2*x + 3*h = -4, 0*x - 4*x - h - i = 0 for x.
-4
Let f be ((-9)/(-18))/((-2)/(-20)). Solve 0 = -2*k + 2*p, -1 = -f*p + 9 for k.
2
Suppose 0*d + 9*d = 225. Suppose -9*c + d = -4*c. Suppose h - 6*h - 4*i = -39, 2*h - c*i = 9. Solve 2*y = -3*w - h, 0*w - 3*w = -y - 8 for y.
-5
Let y(w) = -5*w**2 - w + 3. Let x be y(-4). Let d = -71 - x. Solve -d*c - 2*o = c + 8, 3*o + 12 = -4*c for c.
0
Let b be 33/5 - (-33)/(-55). Suppose 0*n = -m - 2*n - 6, -2*m - 2*n = b. Solve m*k + 3*k - 17 = q, q = k - 9 for k.
4
Let z(h) = -2*h**2 + 16*h + 2. Let t be z(8). Solve 3*s - t*r = 11, 5*r = 4*s - 11 - 13 for s.
1
Let p(c) = c - 4. Let n be p(3). Let s be (-7)/14*4*n. Solve s*j = -5*z + 20, 3*z + 7 = -j + 19 for z.
4
Suppose 4*q - 91 + 23 = 0. Let x = -13 + q. Solve 5 = -x*o - 5*z - 7, 3*o - 4*z - 22 = 0 for o.
2
Let n = 52 - 47. Suppose x + 2*u + 0*u = 23, -113 = -3*x + n*u. Solve -4*w - 11 = 2*a - x, -3*w + 3*a = -6 for w.
4
Suppose 3*p = 7*p - 12, 5*a - 5*p + 5 = 0. Suppose u = 6 - a. Let g be ((-36)/u)/(-3) + 0. Solve 0 = -3*f + 3*s - 9, -3*f - 4*s + g = -4*f for f.
-3
Suppose 2 = -5*z + 7*z, -2*z = 3*i - 53. Solve -2*a = -5*g + i + 6, 5*a + 4*g = 25 for a.
1
Let u be (1*0/(-2))/3. Suppose 3*g - 4*l = 2*g + 22, 4*g + 4*l - 28 = u. Solve -o + 4*j + 25 = 0, -3*o - 7*j - g = -2*j for o.
5
Let p be ((-452)/(-208) - 16/(-208))*16/6. Let v be 3/2*8/6. Let r be (0 + 2)*(-5)/(-2). Solve -p = -z - a, v*a + 1 = r*z - 1 for z.
2
Let v = 14 - 4. Suppose -2*x - 4*k + 9 = -3*k, -x - 2*k + 6 = 0. Suppose -4*u - x*m - 5 + 25 = 0, 5*u - 17 = -m. Solve -u*o + 0*o - 5 = f, -2*f + o = v for f.
-5
Suppose 4*h + 4*i - 153 - 123 = 0, 3*i - 275 = -4*h. Let t = h + -64. Solve 3*q = -2*w + 13, -t*w - 3*q + 12 = -w for w.
-1
Let s = -8 + 16. Let v be (0/1)/(-57 + 55). Solve -b - 3*w = 14, -s = b + w - v for b.
-5
Suppose 2*n + 6*p + 174 = 2*p, -2*p = 3*n + 261. Let t = -84 - n. Solve 5*o = t*s + 15, -4*s = o + 23 - 3 for o.
0
Let g = -84 + 89. Suppose -11*x + g = -10*x. Solve n = -x*h - 14, 0*h - 3*n + 12 = -3*h for h.
-3
Let h(g) = -2*g**3 + 2*g**2 - 4*g - 5. Let p be h(-1). Solve 4*o + 0*r - 4*r = 16, -4*o = -p*r - 16 for o.
4
Suppose 0 = -47*u - 22 + 210. Solve 4 = -u*g + 4*p, 3*g + 4*p + 4 - 1 = 0 for g.
-1
Suppose -3*f = -0*f + 3*l + 30, 0 = -f - 2*l - 14. Let z be (-4)/f - 52/(-3). Solve 0 = 3*n + 3*y + z, 3*n + 6*y + 22 = y for n.
-4
Suppose 4*a = -4*a + 24. Solve -2*w + 1 = g, g + 6 = 2*w + a*w for g.
-1
Let y = 502 + -502. Solve 3*b + 5*c = -34, 10 = -5*b - y*b + c for b.
-3
Let a(z) = 2*z**2 + 7*z - 3. Let f be a(-7). Suppose 0 = -3*m - 10 + f. Solve 6*w - 12 = u + 3*w, 4*w - m = 0 for u.
-3
Let d = -176 + 181. Solve d*f + b + 18 = 0, 0 = -2*f + b + b for f.
-3
Let y be ((-4)/(-3))/((-4)/240). Let i = -77 - y. Solve 4*p + 1 + 1 = -2*x, i*x = p + 11 for p.
-2
Let n(g) = g**3 + 5*g**2 - 2*g - 10. Let c be n(-4). Solve -4*v + 10 = -5*w + v, 2*w + 4*v = c for w.
1
Let g = -88 - -123. Solve 3*v - g = -4*s, -2*v = -3*s + 2*s - 5 for s.
5
Suppose 0 = -4*n + 14 - 2. Suppose -2*i - 37 = -31, -2*j + 2*i = -16. Solve 3*h + 9 = -3*d, n = d - j*d + 5*h for d.
-2
Suppose -34*f + 185 + 53 = 0. Suppose -3*b = -16 + 4. Let j be b/10 - (-39)/15. Solve 2*m = -y - j, -y = 5*m + y + f for m.
-1
Let m(d) = d**3 + 4*d**2 - 5*d + 1. Suppose -3*g = w + 16, -4*w - 21 = 4*g + 3. Let o be m(g). Solve -2*t + 6 = 2*f, -o - 15 = -4*f for t.
-1
Let j(t) = -37*t - 363. Let k be j(-10). Solve 0 = 4*q - g + 6 + k, -3*g - 12 = 5*q for q.
-3
Let a be 16/(-56) - (-10)/(-14). Let u be (-2)/((-6)/99) - (-3)/a. Solve w + 2*z = -14, -9*w + 4*w - u = 2*z for w.
-4
Let p(z) = z**2 + 8*z + 22. Let s(h) = -3*h + 11. Let m be s(6). Let i be p(m). Solve 4*a + 0*n = 3*n + i, 3*a - 5 = n for a.
0
Let a = 574 - 547. Solve -2*l - 2*s = 12, -2*l + 4*l = -5*s - a for l.
-1
Let s(x) = -43*x + 6. Let p be s(2). Let a = 80 + p. Let d be 39/6 + 1/(-2). Solve -2*c + 29 = 3*c + 4*q, -2*c + 4*q + d = a for c.
5
Let c = 7 - 4. Suppose n + 27 + 83 = -3*l, -c*l + 3*n = 102. Let p be ((-10)/(-3))/((-24)/l). Solve -2*k - 2*d + 4 = 0, -22 = -2*k + 3*k - p*d for k.
-2
Suppose -18 - 12 = -k. Suppose 5*t = 4*z - 0*t - k, -2*z = t - 8. Solve 3*c = j + 9, 3*j + c - z*c = -12 for j.
0
Let l(v) = -3*v + 15. Let c be l(4). Solve b + 3*p + 5 = 0, 0 = c*b - p - 0 - 5 for b.
1
Let p = -11 - -14. Suppose 23 - 11 = p*h. Solve -5*y - 2*z + 1 = -0*z, -h*z = -4*y + 12 for y.
1
Let w(m) = 8*m - 12. Let i be w(2). Solve -5*x - 16 = -y, i*x + 0*y = 4*y for x.
-4
Let s(m) = m**3 - m + 9. Let d be s(0). Solve -d = -2*l - g, 2*g - 11 = -5*l + 10 for l.
3
Let o = -1393 - -1417. Solve 2*a - 12 = -a - f, 5*a + 3*f - o = 0 for a.
3
Suppose 0 = -4*k + 5*q - 24 + 4, -2*q = -3*k - 8. Suppose z + 12 = 7*z. Solve -4*h - 5*n = -z*h - 12, -h - n = k for h.
-4
Let q be ((-48)/(-30))/((-2)/5) - -8. Suppose 0 = 3*m - 5*w - 7 + 24, 4*w - 12 = q*m. Solve -5*p - 5 = -2*s, 2*s + 5*p + 26 = m for s.
-5
Let l be ((-6)/9)/(1/(-21)). Suppose -2*z + 2*m + 50 = -l, 2*m = -4. Let r be (5/(-3))/(z/(-36)). Solve 5*u + 25 = 0, 3*k - r*u = 2*k + 11 for k.
1
Let w be (-6)/8 + (-11)/(-4). Suppose 5*c - 72 = -3*q, -2*q + w*c + 26 = -2*c. Solve -b - a + 7 = 0, -q = b - 2*b - 5*a for b.
4
Suppose 72 = -79*l + 87*l. Solve 3*r = y + 13, -6*r + 3*r + l = 3*y for y.
-1
Let u(l) be the third derivative of l**6/120 - l**5/5 + l**4/2 - 7*l**3/6 + 11*l**2. Let v be u(11). Solve -2*d - 3*j - 10 = -7*j, v*d - j + 6 = 0 for d.
-1
Let r be 25/(-5) - (-1 - -1). Let g(n) = 2*n**3 - 17*n**2 + 10*n + 3. Let z be g(8). Let y = z + r. Solve q + y = -3*q - i, 2*q + 4 = i for q.
-3
Let m be (-2)/(-4) + 18/12. Suppose 0*q - 82 = -4*p - m*q, -p - 3*q = -23. Solve 6*l = 4*j + l + 15, 0 = -3*j - 5*l - p for j.
-5
Suppose 9*b + 1764 = -3*b. Let t = b - -152. Solve q - 6*q - 10 = 5*i, -t*i + 14 = -3*q for q.
-3
Let k = -1380 - -1392. Solve 4*j = 3*f - 5 + 4, -2*j + k = -4*f for j.
-4
Let t = -7 - -9. Let r(l) be the first derivative of l**2/2 + 2*l - 23. Let h be r(t). Solve -h*a - 3 = 9, -4*b - 29 = 3*a for b.
-5
Suppose 12 - 29 = 3*l - 2*s, 0 = -l - 4*s + 13. Let p be ((-8)/l + -2)/(1/3). Solve -3*u = -2*z - 9, -37 = -5*u - p*z - 2*z for u.
5
Suppose 0 = -8*q + 53 - 13. Let z be 5 + (2 - q) - 0. Solve -2*h + 2*p = -z*p - 2, 3*h - 3*p = 0 for h.
-1
Let z(u) = 2*u + 23. Let b be z(-9). Let c = 7 + -4. Suppose 2*v + b*f - 9 + 0 = 0, -f + 7 = c*v. Solve 30 = 5*i + 4*t, -4*i + v*t = 2 - 0 for i.
2
Let b be 3/(-18) - 175/(-42). Suppose -5*a - 4 + 13 = -2*f, f = -b*a + 15. Solve f*o - 7*o - 4*u + 20 = 0, 17 = o + 5*u for o.
2
Suppose -3*r + 3*q + q - 99 = 0, 3*r + 2*q = -99. Let h be r/363 + (-188)/(-11). Solve -p = 5*c - 8 - h, p + 4*c - 20 = 0 for p.
0
Let p be ((-48)/(-22) - 1) + (-2)/11. Let v be -10*(p + (-18)/10). Solve -h = -2*g - v, -5*g - 20 = -0*g + 4*h for g.
-4
Suppose -y + 4*y - 4*u = 31, 18 = 2*y - 2*u. Solve 19 = y*f + 2*r, -2*f - 4 = -0*f - 5*r for f.
3
Suppose 2*r + 0 - 2 = 0, r - 11 = d. Let z be (-144)/(-90) - 4/d. Suppose 6 = 2*a - z*n, -2*a + 4*n = n - 5. Solve 4*b - a*c = 20, b - 6 = 3*c + 3 for b.
3
Suppose 0 = -0*c + 5*c - 10. Solve -i - 4*a = i - 2, 4*i - c*a - 24 = 0 for i.
5
Let n(k) = -k**3 - 14*k**2 - 15*k - 22. Suppose 8*y - y + 91 = 0. Let d be n(y). Solve 2*q - 16 = 2*p, -d*p = 2*q - 2*p - 4 for q.
5
Let k = 73 - 68. Solve 2*l + 3*l = 4*q - 14, -4*l - 3 = k*q for l.
-2
Let o = -9 - -9. Let s be -2 - (o + 1 + -4). Suppose -i + 6 = 4*j, 0*i - s = 2*i - 5*j. Solve -2*g = 4*z + 28, i*z - 14 + 40 = -4*g for z.
-5
Let f = 412 + -409. Solve f*b = -b + 5*l - 1, b - 5*l + 4 = 0 for b.
1
Suppose 0 = v + 4*v + 5. Let k(s) = 2*s + 2. Let z be k(v). Let w be 1/(-3) - 14/(-6). Solve -5*c = w*t - 6 + 23, 2*t - 3*c - 23 = z for t.
4
Suppose -115 = -5*o - 5*p, 0*p = 4*o - 2*p - 74. Sol