 = 7 for u.
2
Let n = 197 - 115. Let l = 82 - n. Solve 6 + l = -a + b, 3*a + b + 10 = 0 for a.
-4
Suppose 0*z + z = -33. Let b = z - -37. Solve t = 4*c + b, 2*c + c = 0 for t.
4
Let c(i) be the first derivative of -2*i**3/3 - 7*i**2/2 + 10. Let o be c(-3). Solve 5*u = 6*u + 5*a + 3, -3*a = o*u - 3 for u.
2
Let c(i) = 7*i - 73. Let s be c(11). Solve 0 = 3*u + 5*v + 22, -u + 6*u + s*v = -28 for u.
-4
Let g = -336 + 350. Solve -3*f + 0*f = -h + 13, -g = 2*f + 2*h for f.
-5
Let g(i) = i**2 - 5*i + 1. Let f be g(2). Let c(v) = 3 - v**2 - 3 - 6*v - 1. Let q be c(f). Solve 0 = -5*p + 5*w, q*w = p - w for p.
0
Let l(m) = m - 13. Let z be l(6). Let f = 9 + z. Let g = 3 + f. Solve c - t = 9, g*c + 3*t = -0*t + 13 for c.
5
Let p(o) = -2*o**2 + 3*o - 4. Let q be p(4). Let k = -16 - q. Let l be 20/k*(-26)/(-5). Solve -r - l = -3*z - 2*r, 2*z - 5 = 3*r for z.
4
Let y be (-1)/28*-7*20. Solve -y*b + 5*r = 10, -2*b + 5*r = -2 + 18 for b.
2
Suppose 4*c + 2*z + 17 = c, 5*c = z - 24. Let k = 7 + c. Let i = 25 + -23. Solve 8 = -4*r, i*w + k*r - 3 - 3 = 0 for w.
5
Let v = -38 + 49. Suppose 0 = -2*y - 3*l - v, -5*y - 4*l + 2*l = 0. Solve 0 = -4*g - y*z - 14, 4*z + 7 = -4*g - 9 for g.
-3
Let d be -1*(-4 + -3 + 3). Solve 3*u - d*j = 0, -5*u + 3*j - 8 = 3 for u.
-4
Let x(r) = -r - 11. Let u be x(0). Let s = u + 14. Solve -18 = 3*m + 5*i, -4*m + 7*i = s*i - 8 for m.
-1
Let p(d) = -d. Let a(b) = -10*b - 13. Let c(o) = a(o) - 4*p(o). Let g be c(-3). Let n be 0/(g - 0) - -7. Solve 0 = 3*x - 8 - n, -5*x = -5*m - 30 for m.
-1
Let a(b) = b**2 + 4*b + 1. Let d be a(-5). Let s(h) = 1 + 11 + d*h - 4*h - h. Let z be s(-10). Solve 3*v + z*v - 8 = -4*q, -4*q - 2*v - 4 = 0 for q.
-3
Let p = 505 - 505. Solve 2*l - 2*m - 1 + 3 = 0, -2*l + 5*m - 5 = p for l.
0
Suppose -3*v - 4*b + 5 = 0, -b + 4*b - 6 = -3*v. Let n(t) = t**3 - 3*t**2 + 2*t + 3. Let c be n(v). Solve 2*w - w + c = 5*r, 0 = -2*w - 3*r - 5 for w.
-4
Suppose 10 = 3*j - 2. Let y = 6 + 0. Let h = -3 + y. Solve 3*x + j*q + 14 = 0, -2*x + h*q = 7*q + 12 for x.
-2
Let l = -93 + 134. Let g = l - 38. Let s be 4*2*6/4. Solve c - s = 5*c, -g*c + 7 = 4*x for x.
4
Let x(d) = -d**2 + 4*d + 14. Let i = -14 - 0. Let h be (-7)/i - (-11)/2. Let u be x(h). Solve r - 24 = -5*b, b = u*r - 4 + 11 for r.
-1
Let w = -180 + 55. Let y = w + 125. Solve 4*s + 4 = y, 0*s = 4*q + 3*s - 13 for q.
4
Let u = -3 - -8. Suppose -3*r + 18 = o, -2*r + 4*r = -u*o + 12. Let y = -2 - -5. Solve y*c - n + r = 4*c, 3*c = -2*n + 14 for c.
2
Suppose 0 = -4*l + 1160 - 1120. Solve 0 = g - 4*k + 7, -6*g = -g + 5*k + l for g.
-3
Suppose 10*p = 6*p - z + 7, -4*p - 4*z + 4 = 0. Solve -3 = -p*x - 9, -4*c = 4*x + 28 for c.
-4
Suppose -3*c = y - 214, 4*c + 644 - 206 = 2*y. Let g = y - 135. Suppose 4*m - g = 2. Solve -w + 15 - 3 = -3*b, -5*w = -2*b - m for w.
3
Let r be (2/(-3))/(38/(-399)). Suppose 3*q + 16 = r*q. Solve 2*v = -m + 5, q*v - m - 30 = m for v.
5
Let s(u) = u**2 - 18*u + 35. Let g be s(16). Suppose -g*f + 3 = -6. Solve -7*i + f*i + 8 = x, 5*x + 11 = -3*i for x.
-4
Suppose 4*n + 3*w + 1 + 2 = 0, -2*n - 3*w - 9 = 0. Solve -x = -n*h - 14, 0*h - 19 = -2*h - 5*x for h.
-3
Let x be (-190)/(-8) - (-18)/72. Let k = -24 + x. Solve -6 = -2*n + 4*b - 4, k = 4*n - 5*b + 2 for n.
-3
Let u(v) = 3*v - 1. Let k be u(5). Let r = k - 10. Solve 5*q - j + 22 = 0, r*q + q + 4*j + 12 = 0 for q.
-4
Let s be 10 + -1 - (-18 + 20). Suppose 5*n - 18 = s. Let g(i) = 3*i**2 + 2*i + 1. Let b be g(-1). Solve b*d = -4*q - 20, -n*d - 10 + 0 = 2*q for d.
0
Let n = 14 - 7. Let w = n + 9. Let m be w/4*(-1)/(-2). Solve -l = 4*r + 17, l + 3*l + 14 = m*r for l.
-5
Let x(z) = -2*z**3 + 15*z**2 - 6*z - 3. Let o be x(7). Solve 3 = -o*q + 5*b, -2*q + 2*b + 3*b = 9 for q.
3
Suppose -4*j - 36 = -8*o - 12, -j - 3 = -o. Solve z + 5*m = 21, -3*z + j*m - 27 = -3*m for z.
-4
Let h = 175 - 117. Suppose -12 = y + 2*n, -4*y + 2*n - 5*n - h = 0. Let l = y - -18. Solve 0 = l*k + 2*j + 14, 5*k = 4*j - 5*j - 27 for k.
-5
Let h = 2 - 0. Suppose -4*r = -4*z - 12 - 8, 0 = 5*z + r + 7. Let c be (5 - z) + 0 - 3. Solve 0 = -c*b - h*f - 4 - 2, -5*b = -f + 25 for b.
-4
Let i(q) = q**2 - 18*q + 22. Let g be i(17). Suppose 15*s = g*p + 11*s - 40, -3*s = -5*p + 35. Solve -a + p*c = 4, 2*a - a + 4 = 3*c for a.
-4
Let i be (-18)/60*(-100)/10. Solve i*v = -4*f - 24, 2*v + 1 + 10 = -f for v.
-4
Suppose -4*v + 5*v = -2*p - 2, 4*p = -3*v. Solve 2*x - 6 = -q, -v*q - 3*x + 0*x + 4 = 0 for q.
-2
Let i(h) = -h**3 - h**2 + 17*h + 37. Let f be i(-3). Solve -f*t = -m - 5, 3*t = -5*m - 0*t + 21 for m.
3
Let k(v) = 6*v - 38. Let l be k(7). Suppose l*z = -4*z + 24. Solve -q + 3 = 2*q - z*o, 3*o - 6 = 0 for q.
3
Suppose 6*p + 176 = p - w, -5*w = -5*p - 200. Let y be p/16*8/(-6). Suppose g + 5*b + y = 2*g, 0 = g + 2*b - 3. Solve 17 + 6 = 2*d + 5*z, g*z - 10 = -5*d for d.
-1
Let u(z) = -z**3 - 7*z**2 + 4*z - 32. Let k be u(-8). Solve -p - 5*w = -k*w + 7, -13 = -p + 5*w for p.
3
Let m(q) = q**3 - 26*q**2 + 47*q + 29. Let b be m(24). Solve -6 = 2*g - 5*d - 1, b*g = d - 1 for g.
0
Suppose -3*s - 12 = -8*s - z, -4*s - z = -9. Let w(j) = j - 2. Let a = -12 - -18. Let v be w(a). Solve d + 5 = -3*t, 5*d + s = 3*t - v for d.
-2
Let a = -2109 + 2122. Solve -3*m - 18 = 3*g, a = 2*m - 3*g - 0 for m.
-1
Let s(u) = 3*u - 5. Let l be s(1). Let n be 21 + (l - -4) + 3. Solve -4*g + n = 2*w, -g + 20 = 4*w + 3 for g.
5
Let b(h) = -h**2 - 5*h - 1. Let c be b(-3). Suppose -2*l + 17 = 3*k - 28, 0 = c*k - 15. Solve 4*z + 5*q = l, -5*q + 0*q = 5*z - 20 for z.
2
Let r = 608 + -606. Solve 5*u - 33 = 2*f, -2*u = 4*f + 8 - r for f.
-4
Let g(t) = 2*t**2 - 27*t + 2 - 11*t - 9*t + 15*t. Let b be g(16). Solve 2*h = b*c, -c - 3*c = 3*h + 14 for h.
-2
Let q(g) be the third derivative of -1/12*g**4 - 5/3*g**3 - 5*g**2 + 0 + 0*g. Let n be q(-7). Solve -2*l + n*z - 28 = 0, 0 = -5*z - 0*z + 25 for l.
-4
Suppose 0 = 2*j - 3*j - 2*l - 11, -3*j - 4*l = 27. Let f(h) = h**3 + 8*h**2 + 8*h - 12. Let r be f(j). Solve o = 5*s - o - 23, 0 = -4*s - 3*o + r for s.
5
Let z be 2 + 0 - (0 - 1). Let w = 47 - 40. Suppose t - w + 0 = 0. Solve 2*m - t = 2*v + z, 3*v - 5*m = -15 for v.
-5
Suppose -2 = r, -5*d + 8*d + 4*r - 61 = 0. Solve 4*i = -4*s + 4, -5*i = -0*i - 4*s - d for i.
3
Let k = 5 - 3. Let w(a) = a**2 + 2. Suppose -4*q + q = 6. Let g be w(q). Solve -4*s = -k*d + g, d - s + 2 = 1 for d.
-5
Let u be 2/2 + -2 + 3. Suppose 10*q = u*q + 24. Solve 8*y = q*p + 3*y - 5, -10 = -5*y for p.
5
Suppose -3*z + 26 = 3*x - 4, -20 = -3*x - z. Let r be (68/16 + -4)*(-1 + x). Solve -5*l = -4*f + 10, -3 - r = -2*f + 2*l for f.
0
Let a(d) = d**2 + 8*d - 3. Let y be a(-8). Let k be y/((-30)/8)*5. Solve -4*f + 3*z = 2 + k, -14 = 4*f + z for f.
-3
Let p(h) = 3*h**3 - 70*h**2 + 87*h + 25. Let j be p(22). Solve 0 = -5*w, 5*v + w - 5 = -j*w for v.
1
Suppose 0 = -474*y + 486*y - 72. Solve 3*g + j - 6 = -j, 0 = 3*g - 2*j + y for g.
0
Let d = -86 + 86. Suppose 2*w = -5*p + 21, -2*p - 9 = -5*w - d*p. Solve 2*l - 5*l + w*a - 24 = 0, l - 2*a + 13 = 0 for l.
-3
Let r(v) = -3*v**2 + 17*v - 17. Let p be r(4). Solve -5*h = -w - 8, h + 14 = -p*w - 2*w for w.
-3
Let y(n) = -34*n + 72. Let l be y(2). Solve -5*s + l + 17 = 4*p, 0 = -p + s + 3 for p.
4
Let r = -21 + 29. Suppose -3*w + 46 = z, -2*z = -3*w + 5*w - 32. Suppose -w + 5 = -2*f. Solve p - 4*u = f*p, -5*p = -3*u + r for p.
-1
Suppose -5*b + 3*d = 90, -4*d + 5*d - 20 = b. Let n be 440/b + (-6)/9. Let z be 1/3 + n/(-18). Solve 0 = -3*l - 3*j - 3, 3*j - 7 = z*l - 0*j for l.
-2
Let c = 18 - 4. Suppose a - 7 = 2*a - 2*r, 3*r - c = -2*a. Suppose 0 = 4*h - 2*k - 10, -h + 3*k - a = h. Solve -s - 2 = s, h*v + 7 = -3*s for v.
-1
Let w = -22 - -31. Suppose 3*m - 2*r - w = -r, 4*m - 5*r - 12 = 0. Solve m*i + 16 = 5*d, 1 - 6 = -d for i.
3
Let a be (-5)/(-2)*(-36)/(-15). Suppose h = a*h. Let s(m) = m**2. Let u be s(h). Solve u = -4*w - 2*n + 24, 5*n + 6 = w + 22 for w.
4
Suppose -6*r + j = -77, 23*j = 3*r + 25*j - 26. Solve -7*s + 10*s = 3*b - 3, 0 = 3*b + r for s.
-5
Let m be (65/39)/(5/6). Solve 6*c - 3*c = 5*w, -m*w - 4*c = 0 for w.
0
Suppose -2*d = 2 - 6. Suppose -6 = 3*o - 4*z - 2, -d*z + 2 = 3*o. Solve -5*t - 13 = j, o = -4*t + 3*t + 2*j - 7 for t.
-3
Suppose -17 = -17*l + 13*l - w, -3*l + 14 = w. Solve -2*k + 10 = 0, 8*k - 25 = l*m + 3*k for m.
0
Suppose -3*b - 274 = -4*q, 2*b