 0 = x*j + 4*r + 36 for j.
-4
Let o(g) = -g - 6. Let n be o(-8). Suppose -n*j = -3*j + 2. Solve 0 = 5*u + 20, 2*l = 3*u - 4*u - j for l.
1
Let v(u) = -u - u - 7*u**2 - u + 6*u**2. Let z be v(-2). Suppose -z*l + 4 = -2. Solve 5*y - l*y = n - 13, 5*y - n = -28 for y.
-5
Let f be 1/3*0 + -3. Let d = f - -1. Let j = d - -7. Solve 3 = l + c - j*c, -3*c - 6 = 0 for l.
-5
Let g(z) be the first derivative of -z**3/3 - 3*z**2/2 + 1. Suppose 2*v + 0*v = -4. Let k be g(v). Solve 4*t - k*l - 1 = -t, 0 = -3*t - l - 6 for t.
-1
Let a = -10 - -12. Solve 0 = -l + t, 4*l - 3*t - a*t = 3 for l.
-3
Let h be ((-1)/3)/(2/(-60)). Suppose 2*y = y + 5. Suppose 18 + 2 = 4*x. Solve 5*g - 19 = 3*a, -5*g - h = y*a - x for a.
-3
Let y(p) = -p**3 - 9*p**2 + 11*p + 9. Let m be y(-10). Let q(i) = -3*i**3 - i**2 - i - 1. Let w be q(m). Solve w - 1 = -f + 2*j, -5*j + 40 = 5*f for f.
5
Let q be ((-2)/8 + 1)*4. Suppose 5*y + 2*t - 24 = 0, -y = 4*y - 2*t - 16. Solve 2*h = -5*k + 8, -q*k + 5*h - y = 4*h for k.
0
Suppose -k = 5*o, -26 = 6*o - 7*o + 5*k. Solve x = -2*n - 1, -x - 5*n - o = 2*x for x.
3
Let b(q) = q**2 + 4. Let v be (-1)/(-5) + 5/(-25). Let o be b(v). Solve -2*p = -o*a + 34 - 12, p = -3 for a.
4
Suppose -4*q = 3*p - 0*q - 115, 4*p - 148 = -4*q. Let x = -1 + p. Solve 3*v = 5*n + x, 4*v - 7 - 17 = 2*n for v.
4
Suppose 22 = 3*d + 5*o, 3*o + 3 = 3*d - 3. Solve 5*q - d*p + 4 = -1, q - p = -2 for q.
3
Let x(t) = 3*t**2 + 3*t - 2. Let d be x(1). Solve -v = 4*l + 8 + 16, 8 = -d*l + 3*v for l.
-5
Let a = 14 + -12. Solve -3*r + 15 = -3*p, -7*p + a*p + 2*r = 25 for p.
-5
Let o = -7 + 9. Suppose -3*w + c = -2, c = -2*w - 0*c - o. Solve 4*s - l - 7 = w, s - 3*l = -0*s - 12 for s.
3
Let k be 4/(-8) - (-2)/4. Solve -3*j + 4*b - 35 = k, 5*j + 13 = b - 17 for j.
-5
Suppose 7*b - 11*b = 0. Solve 2*h - 7*h - 41 = 4*v, -3*h + 5*v + 5 = b for h.
-5
Let f = 86 - 69. Solve 3*m + 3*j - 21 = 0, -j - 4*j + f = -m for m.
3
Let s = 20 + -18. Let a be (-1 + 3/s)*8. Solve -t = -4*t - k + 5, -3*t - a*k = -11 for t.
1
Let t(m) = m**2 + 10*m - 12. Let o be t(-10). Let s = o - -22. Suppose -30 = -2*p + s. Solve -2*l - 3*c - 3 = 0, 5*l - 6*c = -c - p for l.
-3
Let i be ((-2)/4)/(2/(-20)). Solve -2*w - 24 = -5*y - i*w, 5*y = 3*w + 6 for y.
3
Let v(a) = a**2 + 5*a - 10. Let y be v(-6). Let c(r) = -r. Let k be c(y). Solve 3*f - 18 = 5*l, 3*f + 2*l = f - k for f.
1
Let a(u) = u**3 + 3*u**2 + 2. Let g be a(-3). Suppose 55 = 2*h - 11*k + 6*k, 2*h + k - 25 = 0. Solve g*w = -x - 0*x + 3, -w + 5*x = h for w.
0
Let l be -8*(-1 - 2/(-4)). Solve -l*r + 11 = -0*h + h, -4*r - 1 = -3*h for r.
2
Let a = -77 + 79. Solve 24 = m + 5*o, o = -m + a*o for m.
4
Let b(a) = 3*a - 11. Suppose 3*g - 2 + 21 = m, -4*m + 49 = -3*g. Let o be b(m). Solve -2*x = 3*s + 17, 0*s + s = -4*x - o for s.
-3
Suppose 18 = 2*b + 3*i, 5*i - 38 = -4*b - 6. Solve 3*w = -4*d - 7, -4*w - 8 = b*d + 2*d for d.
-4
Suppose 2 = -4*n - 14, 2 = -5*y - 3*n. Solve 5*q = -y*u - u + 28, -3*u - 2*q = -13 for u.
1
Let z = 16 + -9. Let h = z + -3. Solve 4*v - 4*n = n - 16, h*n - 12 = 3*v for v.
-4
Let g = -3 + 5. Let o = -2 + g. Solve 3*n + t - 6*t + 15 = o, -5*n - 2*t - 25 = 0 for n.
-5
Let x(u) = u**2 + 4*u - 7. Let w be x(-5). Let m be (w/(-4))/(3/36). Solve -4*q = -4*y - 16, 5*y + 2*q = m*y + 8 for y.
0
Let u = 9 + -7. Suppose h = u*h. Suppose -5*l = -1 - 9. Solve h = k + a - 2*a - 2, 5*a = k - l for k.
2
Let n be (-1 + 12/8)*-14. Let k be n/((-7)/4) + -1. Solve 5*h = 7 - 2, 0 = 2*s + h - k for s.
1
Suppose 0 = -5*d + 9*d - 4. Suppose -2*l - 3*m + d = 2*l, -3*l + 3*m = -27. Solve 5*n = l*r + 4, n - 3*r + 3 = -6*r for n.
0
Let i be 1 - (0 + 3 - 5). Solve 5*x + 2 = -2*u + i*u, 11 = -2*x - 3*u for x.
-1
Let m = 7 + -3. Suppose -5*g + 5 + 0 = 0, m = p - 3*g. Suppose 5*t - p = -2. Solve 2*o + 13 = -5*k - t, 2*o - 5*k = 6 for o.
-2
Let i = 14 + -4. Let x(g) = g - 7. Let m be x(i). Solve 1 + m = -s - t, -3*t = -s + 4 for s.
-2
Let o(n) be the third derivative of -n**6/120 - n**5/60 + n**3/3 - 2*n**2. Let y = 9 + -9. Let w be o(y). Solve -2*b + 18 = -0*b - 2*s, -2*b - w = 2*s for b.
4
Let u(i) = -i**3 - 10*i**2 - 9*i + 2. Let q be u(-9). Solve n - q*y = -1, -3*y = -3 - 0 for n.
1
Suppose -1 = d - 7. Solve -3*x + 9 = 0, -o + d = 5*x - 12 for o.
3
Let l(t) = -t + 15. Let a be l(13). Suppose -4*g = -0*r - 3*r, -a*g = -r. Let v = 0 + 0. Solve v = 3*u - k - 2, u - 4 + r = -3*k for u.
1
Suppose -14 = -5*t - 4. Solve -6*r = -4*r - 3*j + 4, -2*r = -2*j + t for r.
1
Suppose 2*k - 3 - 6 = -w, 2*k = -5*w + 29. Let x = -56 - -43. Let n be (x/k)/((-2)/4). Solve 0 = -p - 4*o - 10, -3*p + 3*o + n = -2 for p.
2
Suppose 14*p - 56 = 7*p. Solve 5*c - 37 = -3*a - a, 0 = -c - a + p for c.
5
Suppose -31 = 3*a + 2*g, 4*a + 0*g = 3*g - 13. Let y be a/(-2) - 3/6. Solve 4*v + y*n + 10 = 0, -4*v + v - 6 = 3*n for v.
-4
Suppose s + 3*s - d = 17, 0 = 4*s + 2*d - 2. Solve 4*i + 1 = -s*b, 0 = 4*i - 5*i - 5*b - 13 for i.
2
Let q = -2 - -1. Let d(z) = z + 3. Let m be d(0). Let o be (m - q)*24/16. Solve c - 8 = -s, -s + o = 1 for c.
3
Let w(v) = -v**3 - v**2 + v. Let o be w(-3). Suppose i - 12 = -2*i. Suppose -x - 15 = -i*x. Solve x*z + o = 0, -2*j - 4*z - 18 = -0*z for j.
-3
Let q(n) = 7*n + n**2 - 4 - 5 + 5. Let i be q(-6). Let h = i + 13. Solve -3*x + 4 + 5 = h*l, x + 2*l = 7 for x.
-1
Let z(m) = -m + 2. Let i be z(-3). Suppose 6*k - 5*k + 2*r - 6 = 0, -2*k - r = -3. Suppose k = 3*w - 49 - 11. Solve i*x = -5*g + w, 5*x - 3*g = g + 2 for x.
2
Suppose -2*i - 91 = i + v, -4*i = 5*v + 125. Let c be (-2)/4 - i/(-20). Let z = c - -2. Solve h - 4 = z, 4*h - 9 = u + 2*h for u.
-1
Let i(v) = 7 - v + 1 + 0. Let k(d) = -3*d. Let m be k(-2). Let w be i(m). Solve -5*p = -5*b - 25, w*b - 2*p + 10 = 3*p for b.
-5
Let q(s) = 9*s**2 + 2*s - 1. Let z be q(1). Suppose z*u - 90 = 4*u. Solve 2*m + 2*m + 3 = -d, 0 = -5*d - u for m.
0
Let p be (13/13)/((-2)/(-28)). Solve 5*i + 1 = z + 3, 3*z = -5*i + p for z.
3
Let x(h) = h**3 - h**2 + 2*h - 2. Let p be x(2). Let z be 1/p + 68/24. Solve 4 = -3*s - 4*l, -z*s - 4*l + 2*l = 2 for s.
0
Suppose -2 = -j + 2*j, 5*w - 73 = -j. Solve -v - w = -5*g, v = -5*g + 24 - 9 for g.
3
Let f be 8/(-12) - 88/(-6). Suppose -i = i - f. Solve 6 = -2*u + x, u - 5*x + 14 = -i for u.
-1
Suppose -5*q - 8 = 3*f + f, 5*f + 10 = q. Solve 3*r + 3*s = -s + 35, q = 3*r - 5*s + 10 for r.
5
Suppose 5*v = -p + 3*v + 1, 0 = v. Let a = 4 - p. Solve -3*m - a*y = 2*m + 9, 15 = 3*m - 5*y for m.
0
Let a(v) = 9*v - 18. Let x be a(2). Solve 3*j - 2*o + 0*o + 5 = 0, x = -5*o + 20 for j.
1
Let y(a) = -a**2 + 10*a + 4. Let b(m) = -m - 1. Let u(l) = -2*b(l) - y(l). Let t be u(11). Solve 5*s + 2*p = 6*p + t, 2*s + 3*p = -6 for s.
3
Let j(b) = -b**3 + 4*b**2 - b - 4. Let h be j(3). Let m be ((-1)/h)/(2/24). Let n be (-16)/(-3) + m/(-9). Solve -6*w = 3*k - w - 26, -2*w + n = -k for k.
2
Suppose -f + 0 = -2. Let u = 2 + f. Solve 5*k = j + 5, -1 = j + u*k - 14 for j.
5
Let k(x) = 5*x - 6*x**2 + 5*x**2 + 3*x**2 - x**3 - 4. Let g be k(3). Solve -5*a = -n - 4*a - g, -5*n - 2*a + 11 = 0 for n.
1
Suppose -20 = 5*i, 44 = -2*t + 4*t - 3*i. Let c = 10 - t. Let r = 7 - c. Solve -3*y = -m - r, y = -3*m - m for y.
4
Let g be 5 + 2*9/(-6). Let i be 12/8 + (-2)/(-4). Solve 26 = i*f + g*f + 2*r, -4*r = -20 for f.
4
Suppose 0*a = a - 20. Suppose r - a = -0*r. Solve u - 5 = 2*f + f, r = -4*f - 2*u for f.
-3
Let x be (-4)/18 + (-638)/(-198). Solve 0 = -5*q + x*m + 34, 3*q - 7*m = -3*m + 27 for q.
5
Let b = 12 + -9. Suppose -b*a + 0*g + 97 = 4*g, 5*a - 5*g = 150. Suppose -2*x - 9 = -a. Solve 5*m = -4*h + 3, 29 = -5*h + m + x for h.
-3
Suppose -5*h + 241 = 221. Solve -2*g - 3*d - h = 0, 2*d + 4 = 2*g + 3*d for g.
4
Let g be 2/2*(-9)/(-9). Solve i - 19 = -4*i + k, i - g = 3*k for i.
4
Let y = -7 - -6. Let i = y - -5. Solve -i = 5*m + 3*r - 23, 0 = -m - r + 5 for m.
2
Let v(c) = c + 2. Let r be v(5). Let n(x) = -253*x**2 + 1 + 2 + 254*x**2 - 6*x - 10. Let d be n(r). Solve -5*z + 15 = -5*q, z + 5*q + d*q = -9 for z.
1
Suppose 0*v - v + 10 = 0. Solve -5*u = -2*y - 21, -2*u = -0*u - v for y.
2
Suppose 2*t - 33 = -t. Let p = -18 + 11. Let n = p + t. Solve -50 = -5*f - 5*i, -5 = n*f - i - 20 for f.
5
Let m = 12 + -12. Solve 16 = -5*i - s - 9, m = 5*i + 3*s + 35 for i.
-4
Suppose 7 - 3 = -4*y. Let t(u) = -8*u. Let s be t(y). Solve -4*l = l + v 