+ 14 = 0, -u + 0*u - x*z - 20 = 0 for u.
-5
Let o(b) = b**2 + 4*b - 8. Let i be o(-6). Suppose 7 = 2*w - 3. Let r = 6 + -4. Solve -w*u = i*g + 30, -9 = u + g - r for u.
-2
Suppose 0 = 4*q - 30 - 26. Let x = q - 10. Solve -4*p = 3*z - 3, 2*p + z = 5*z - x for p.
0
Let b be 0 - (0 - -18)/1. Let r be (10/(-6))/(1/b). Solve -3*t - 3*x + r = 0, -t = -4*x - x + 20 for t.
5
Let r = -14 + 27. Let u(c) = c**3 + 2*c**2 - 2*c. Let b be u(-2). Solve -b*z = 8, 0 = 5*q - 3*z - z - r for q.
1
Suppose 8 - 3 = 5*m. Let a be ((-2)/(-6))/(m/3). Solve 4*x + 9 = 4*p + a, p - 3*x = 8 for p.
-1
Suppose -2*o + p + 16 = -3*p, -4*o + 2*p = -20. Suppose 0 = -3*q - o*i, i = -0*q - 2*q + 5. Solve -2*j = -q*v + 8, -6*j + 12 = -2*v - j for v.
4
Let c = -24 - -56. Suppose -a - a + c = 0. Suppose a = 5*r - 4*u, -3 = -r + u + 1. Solve 0 = -4*w - 0*w - n + 13, 2*w + 3*n - 9 = r for w.
3
Let g(n) = n - 5. Let l be g(12). Solve -3*a - 16 = 4*f - l, 4*f + 2*a + 6 = 0 for f.
0
Suppose 6*g = 2*g. Solve -b + 9 + 0 = v, g = -b - 2*v + 14 for b.
4
Let x be (4/3)/((-26)/(-39)). Let p(v) = -v**3 - 6*v**2 - 3*v + 7. Let a be p(-6). Solve -d = -5*q + a, 7*q + 2*d - 25 = x*q for q.
5
Suppose 2*r - 7*r = 0. Suppose -v = r, -4*o - 3*v - v + 12 = 0. Solve -4 = -4*s, 0*f - o*s = 3*f for f.
-1
Let a be (-10)/(-6) + 16/12. Solve a*y - 2*y = -3*j - 8, -4*y + 5*j = -36 for y.
4
Let l be -3 - -9 - 3*-1. Suppose 4*z = l + 7. Solve 0 = 3*t - 4*i + 2 + 14, -z*i = -16 for t.
0
Suppose 4*k = 2*o + 4, o - 6 + 2 = -k. Let p be (2/2)/((-1)/(-1)). Let d be 10/3 - p/3. Solve -2*m - d = 3*w + 3*m, -k*m = -4*w + 22 for w.
4
Let k(y) = -12*y**2 - y - 1. Let g be k(-1). Let f be 6/g - (-1)/2. Solve 0 = -3*o + 5*b - 10, 3*b - 4 - 11 = f for o.
5
Suppose 40 = 4*z - 2*u + 16, 2*z - 2*u = 16. Solve 5*k - 3*o = 8, 0*k = z*k - 3*o - 7 for k.
1
Let g(z) = -z**2 + z + 1. Let p be g(2). Let d = p + 3. Suppose -d*q + 7*q = 0. Solve q = 4*b + 4, 2*l + b + 4*b = -13 for l.
-4
Suppose d + 11 = 3*i, -4*d = 3 + 17. Suppose f - i = -u - 2*f, 4*u = -2*f + 18. Solve -4*w - 14 = -u*v + 3*v, 2*v = -4*w + 6 for v.
5
Let q = 2 - -1. Suppose 5*u + q = 33. Let l be (2 - 4 - -1) + u. Solve -2*x - 5*w = 10, l*w = -2*x - 2*x for x.
5
Suppose 2*b + 0 = 6. Suppose b*r - 14 = -5*q, -3*q = 4*r + q - 16. Solve 0 = 5*i - 4*m + r, -5*i + 3*m = -0*m + 6 for i.
-3
Suppose 0 = 2*v + 2*u + 16, -4*v + 2*v = -2*u. Let s be v/(-22) - 516/(-66). Solve 5*p + 5*h + 10 = h, -4*p - 5*h - s = 0 for p.
-2
Let t(s) = -2*s**3 - 2*s**2 + 5*s + 1. Let g be t(-3). Solve 2*j - 5*y = g, 18 = -5*j + 3*j - 5*y for j.
1
Suppose 456 = 23*s + s. Solve 0 = -b + 4*i + 25, 2*i = 2*b - 1 - s for b.
5
Let z(o) = 11*o**2 - o. Let b be z(-3). Suppose -b = -5*f - 22. Let x = -6 - -26. Solve 4*a - x = -4*u - a, -5*u - 4*a = -f for u.
0
Let u(a) = -a**3 + 8*a**2 + 2*a - 12. Let c be u(8). Let f be 1*c/(-3)*-3. Suppose -4*y = f*t - 8, 0*y - 4*y = -t - 18. Solve y*w + 0*w = 3*q - 5, q = w for q.
-5
Suppose -2*j + 28 = -5*t, 2*t + 4 = -3*j + 2*j. Suppose 10 = 3*n - 5*b, 23 = 5*n + 2*b - j. Solve 2*o + 3*w - 15 = 8, -n = -w for o.
4
Suppose -4*l + 27 = -3*y, -3*y = 4*l - y - 2. Solve -2*b = -3*b - 5*r + 13, b + l*r - 7 = 0 for b.
-2
Let o = -17 + 28. Suppose q = -0*y - 4*y + o, y = 2. Suppose 4 = -2*v + q*v. Solve 0 = 2*j + v*u + 4, u + 4 = j - 0 for j.
2
Let t(l) = l**2 - 3*l + 2. Let r be t(3). Solve -r*u = -k - 0*k + 6, 0 = -3*k + 5*u + 15 for k.
0
Suppose 1 = -o - 3*a - 0, 0 = 2*o - 2*a - 14. Suppose t + t + 4*l - 12 = 0, o*l = -5*t + 20. Solve 0 = 2*j - 2*x + 10, 0*x + 15 = -t*j + 3*x for j.
0
Let i(h) = 6*h**2 + 3*h. Let v be i(-3). Let g(n) = -n**3 + n**2 + 2*n + 4. Let d be g(0). Solve 0 = -5*z - 5*b + v, 41 = d*z + 2*b + 3*b for z.
4
Let b(s) = 9 + 8*s - 6*s + 8*s + 3 + s**2. Let z be b(-9). Solve 6 = 5*j + 2*v, 3*j = -0*j - z*v for j.
2
Suppose -5*j = -9*j - 72. Let a = j - -20. Solve 0 = -5*u - 5*h + 5, -2*u + a*h - 2 = 12 for u.
-3
Let g(v) = -v**2 - 11*v + 3. Let j be g(-11). Solve k = -k - 2*s - 18, -3 = 3*k - j*s for k.
-5
Let z = -21 + 23. Solve -z*t = -5*t - d - 3, -5*t - 5*d - 5 = 0 for t.
-1
Let l be ((-1)/1)/((-1)/3). Let d be 0 - l*(-2)/3. Solve 5*n + 2*g = 12, 0 = -2*n - 0*n - d*g for n.
4
Let s(h) = h**2 - 28*h + 58. Let f be s(26). Solve -i + f = 3*q, 0 = -3*i + 5*q - 10 for i.
0
Let m = -4 - -7. Suppose 6*s = m*s + 9. Solve -4*i + 25 = 3*j, -3 = -5*j + s*i - 0 for j.
3
Let v(q) = q + 3. Let w be v(-2). Suppose -3 = 3*u, -3*h - 2*u + 5 - w = 0. Solve 11 = h*b + 3*b + 3*f, 0 = -3*f + 6 for b.
1
Let j be 2/(2 - (-1)/(-1)). Let w(r) = -5*r. Let f be w(-5). Let z = f + -11. Solve -2*c = -4*c - 2*x - z, 2*x = j*c - 6 for c.
-2
Suppose -2*v + 2*n = 0, 0*n - 2*n + 35 = 5*v. Solve 3*r = -4*h + 10, v*h + 4*r + 9 = 21 for h.
4
Let d(n) = 0*n**2 - 5*n**2 + 3*n + 0 + 4*n**2 - 2. Let s be d(2). Solve -z - 5 = s, -w + 2*z - 2 = 3*w for w.
-3
Suppose -3*n - 3*s + 15 = 0, -n - 20 = -5*n + 5*s. Solve 0 = -3*l - n*z + 8, -4*l + 7 = 2*z + 15 for l.
-4
Let q(z) = 7*z + 26. Let c be q(-3). Solve -c = 2*g + 5, g = -5*b + 20 for b.
5
Let z(l) be the first derivative of -13*l**2/2 + 3. Let s be z(-2). Solve -4*q + v = -17, 3*q + 2*v - s = -q for q.
5
Let w(b) = -2*b - 5. Let a be w(-5). Suppose 0 = -0*j + 5*j - 45. Solve l = -3*d - 4*l - j, -l - 13 = -a*d for d.
2
Let w(s) = 3*s - 21. Let u be w(7). Solve 4*x = -4*t, -2*t - 3*x + 3 - 8 = u for t.
5
Let a(m) = -m + 8. Let q be a(6). Solve 0*i = q*i + u - 6, 5*i - 4*u = 28 for i.
4
Suppose u - 3 = -0. Suppose -2*l + 4*a + 16 = 0, -4*l = -2*l + u*a - 16. Let z = l - 5. Solve w + z*g = -7, -4*w - 2*g + 2 = -2*w for w.
5
Let f be (-90)/(-18) - (-10)/2. Solve -3*s - f = 2*t, -s = 5*t - 5*s + 25 for t.
-5
Let u be ((-24)/18)/(5/((-15)/2)). Solve 4*q - 21 = -j, -5*j = -u*q + 7*q - 45 for q.
4
Let i = 1 - -1. Suppose h = i*h. Solve h = -l + 2*l + z - 2, 2*z - 2 = 0 for l.
1
Let i = -81 + 117. Suppose 0 = -3*u + u + i. Suppose d = -v + 5*d + u, 4*v - 5*d = 39. Solve 0 = -5*p + 5*h, v*p + 12 = 2*p + h for p.
-4
Let d(l) = -l**2 + l + 2. Let f be (0 - (0 - -1)) + 1. Let i be d(f). Solve 0 = 2*b + i*b - n - 3, 4*b - 6 = 2*n for b.
0
Let t(h) be the second derivative of h**4/12 + h**3/2 - 5*h**2 + h. Let x = -8 + 1. Let l be t(x). Solve 5*j + 2 = 3*j + 5*o, 0 = -3*j - 3*o + l for j.
4
Suppose 2*t + 2*m - 2 = 2, -m = -t - 2. Solve -v - u = 3*v, -v - 3*u + 11 = t for v.
-1
Let w be 0/(-2) + (-1 - 3). Let q be (-8)/28 - w/14. Suppose q = -2*s + d + 8, -3*s - 5*d - 4 = -3. Solve s*c - 3*z - 2*z + 8 = 0, 2*c - 12 = -z for c.
4
Suppose -4*y = 4*k - 7*k - 95, -4*k = -4*y + 100. Let o = -2 + y. Solve -3*a = 3*t + 12, -a - 2*a = -3*t - o for t.
-5
Let b(l) = l**2 + 2*l + 5. Let f be b(0). Solve 3*g - 3*a = a - 7, 0 = -g - f*a + 23 for g.
3
Let r = -65 + 107. Suppose 3*g - 2 = 5*q, r = -0*g + 3*g + 3*q. Let y be (g/3)/3*3. Solve y*d + 5*j = -32, d = 2*d - j for d.
-4
Let g be (-2 - -3) + 0 + -3. Let u be -6*g/(-4) - -7. Solve -d - u*b = 12, 2*d + 2*b + 0*b = 0 for d.
4
Let y be (-20)/3 - (-4)/6. Let a = 10 + y. Solve 6 = 3*t + 3*o, a*o = -0*o - 4 for t.
3
Suppose 0 = -3*b - 9, 18 = 5*n - 0*b - b. Solve -5*v - s - 14 = 0, s - 13 = 5*v + n*s for v.
-3
Suppose m - 13 = -2*i, 2*m - 2*i + 3 = m. Let n = 9 - m. Solve 4*q + 1 = -j, -4*q - n*j = -0 - 8 for q.
-1
Let i(x) = x**3 - 3*x**2 + 3. Let a be i(3). Let z = -6 - -9. Suppose -4 = -t - 2. Solve a*r = -0*r - z*v - 3, 2*v = 2*r - t for r.
0
Let s be 44/(-12) + 2/(-6). Let z(p) = -p**2 - 6*p - 3. Let o be z(s). Solve -5*f + o = -u - 9, 2*u + 4*f - 14 = 0 for u.
1
Suppose 0*i + 12 = -i. Let q(u) = -u**3 - 13*u**2 - 12*u + 2. Let j be q(i). Solve 4*w = -w + 5*o + 10, j*o = -4*w + 20 for w.
4
Let z be 8 + (0/(-1))/2. Let q(l) = l**2 - 7*l - 1. Let n be q(z). Solve -m + n = -3*u, u - 13 = -2*u - 4*m for u.
-1
Let v(u) = 2*u - 22. Let p be v(12). Suppose -x + 3*x - 4 = 0. Suppose x*m = -13 + 33. Solve 2*j = -m, p*i + 2*j = -j - 15 for i.
0
Let f be ((-36)/(-16))/(6/16). Solve 0 = -4*l - 3*d + f - 2, l - d = 8 for l.
4
Suppose -2*k - 3*k = -10. Solve -3*r = 0, -2*u + r - k*r + 4 = 0 for u.
2
Let o = -3 - 0. Let u(m) = -m - 1. Let z be u(o). Suppose 0 = z*k - k. Solve -2*b - 2*q = -k*b + 2, 0 = 4*b + q - 2 for b.
1
Suppose 0 = -2*k + 3*n + 15 + 4, -3*n + 6 = 3*k. Let w(z) = z**3 - 4*z**2 - 3*z - 2. Let x be w(k). Sol