- 15 = 0, 2*b - 2*r + 7*r = -1. Let n = b - -18. Solve -v + 3*l - 3 = 4, 2*v + 3*l + n = 0 for v.
-4
Let s(j) = -2*j**3 + 11*j**2 + 9*j - 15. Let a be s(6). Solve -i + 3*o = 7 - 0, o + a = 3*i for i.
2
Let u be (5*2)/(3 - 1). Let i = u - 3. Suppose l - 5*g - 32 = 0, -2*l = -0*l + i*g - 4. Solve -4*s = -5*p + 22, -s - l = -2*p - 0*s for p.
2
Let u(z) = -2*z - 12. Let v be u(-7). Suppose 11 = 2*l - 1. Suppose -4*q - v = -5*g, -2*q - 5*g + 8 = -l. Solve 2*h - q = a, h = 2*a + 2*a + 1 for h.
1
Let n = 20 - 29. Let v(z) = z**3 + 9*z**2. Let d be v(n). Solve -2*j = -2*f + 4, d*f + f + 2 = -3*j for j.
-1
Suppose 0 = j + 7 - 18. Suppose j + 4 = 3*g. Solve -5*c + 13 = -2*y - g, 0 = 5*y + 3*c - 17 for y.
1
Suppose 4*d = -s - 26, -2*s = 3*d + d + 32. Let c(v) = -v - 4. Let q be c(s). Solve -q - 3 = u + 3*m, 3*m = 2*u + 1 for u.
-2
Let j(b) = 4*b - 1. Let r be j(4). Solve 2*o + 14 = 4*u, -5*o - r - 5 = -5*u for u.
3
Let q = 16 + -12. Suppose 2*f - f = q. Solve -3*x - 2*k = 21, x + f*k + 4 = -13 for x.
-5
Suppose -3*v = -8 - 19. Suppose -2*g - v = 5*d, -4*g + 24 = -0*g - 4*d. Solve -7 = 2*a - 5, 9 = -g*n - 3*a for n.
-2
Suppose 0*f = f - 1. Suppose u - f = 3. Solve -m + u = 0, -b + 0*b + 3*m - 11 = 0 for b.
1
Let b be (-2*5)/(-1 - 0). Let n = -194 - -198. Solve 2*k - b = -n*c, -2*k + 9 + 1 = -c for k.
5
Let r be (1 + -4)*(-7)/3. Let m = -5 + r. Solve -5*d = k - m - 11, 0 = -3*d - k + 9 for d.
2
Let u(d) = d**3 - 3*d**2 + 1. Let r be u(2). Let q = 0 - r. Solve 0 = -m - 3*x + 10, q*m - 4*x + 12 = 3 for m.
1
Suppose 0 = t - 7 + 3. Suppose -t*m - 15 = m. Let p be 16/6 - m/9. Solve -p*x - 4*i = -0*i + 27, -5*i = -2*x + 5 for x.
-5
Let n = -6 - -11. Let o = -2 - 0. Let i = 2 + o. Solve r - 2 = x, i = -r - r + n*x + 13 for r.
-1
Suppose 0 = 2*d - 4*u - 28, -2*d = 3*d + 5*u - 130. Let l be 5*(-18)/75*-5. Solve 1 = z + i, -2*i + l*i = 5*z + d for z.
-2
Suppose -11*n = -6*n - 10. Solve t + 10 = 4*l, -4*t + n*l - 4*l + 14 = 0 for t.
2
Let z(c) = -c**2 - 2*c + 16. Let t be z(0). Solve 3*o = 2*k - 12, 2*k - 6*k = -2*o - t for k.
3
Suppose 0 = 3*s - 3*l - 135, 0*l - 195 = -4*s - l. Let u = s + -28. Let g = 12 + -7. Solve -b - u = g*o, -2*b + 2*o = o - 4 for b.
0
Suppose 0 = y - 4 - 2. Let o = y - 6. Suppose 89 = 5*c - 4*v, 5*c - 3*v - 86 = -2*v. Solve o = -2*p - 2*a + 10, -p + 3 = 4*a - c for p.
0
Suppose 4 = -3*d + 16. Solve d*y + 6*x - 3 = 3*x, y - 3*x + 3 = 0 for y.
0
Suppose -4*p = -2*r + 5 - 19, -3*p = -3*r - 9. Let q(b) = -2*b - 5. Let f be q(-4). Let i be (2/f)/(4/96). Solve 4*c = -i, p*s + c = -0*c - 12 for s.
-2
Let b = -5 + 11. Suppose -b*x + x = -20. Solve 5*u - 2*z + 6 = -z, 0 = -3*u + z - x for u.
-1
Let o(y) be the third derivative of y**4/24 - y**3/3 - 3*y**2. Let c be o(4). Solve -2*f + z = c - 4, 1 = 3*f - z for f.
-1
Suppose 2*r = 3*j + 19 + 2, -3*j - 15 = 0. Solve -4*n + 0*n = 2*t + 12, -2*t - r*n = 8 for t.
2
Suppose 2*o = -0*o + 12. Solve 0 = t - a - 3, -t = t - 3*a - o for t.
3
Let c = 47 - 46. Let d be ((-8)/12)/(2/(-6)). Let l be 3/d*2/c. Solve 4*w + 21 = -l*n, -n = -w - 3*w - 9 for w.
-3
Suppose -4*q = -0*j - 2*j + 84, 2*q = 0. Let w = -34 + j. Let t = -6 + 8. Solve -f + 4 = -2*m, t*f + 2*m = -m + w for f.
4
Let s(p) = p**2 + 8*p + 14. Let d be s(-6). Solve -2*h = v + 3, 0 = -3*v + d*h + 7 - 0 for v.
1
Let g(o) = -o**3 - 7*o**2 + 5. Let i be g(-7). Solve -r + i = 3*c, 20 = -0*c + 5*c + 4*r for c.
0
Let r be ((-14)/4 - -4)*6. Suppose -3*l - 3*o - r = -0, o = -5. Solve l = -2*m, -5*a - 5*m = -4*a + 12 for a.
-2
Suppose 0 = -4*h + 2*x + 158, x - 110 = -2*h - 29. Suppose 6*l + 18 - 84 = 0. Solve -h = -5*g - 5*y, 3*g + 0*y - 4*y = -l for g.
3
Suppose 3*d - 10 = -5*j, 4*j - 5 = -4*d + 3. Let t = 5 + -7. Let y = d - t. Solve -5*g - 2*n + n = -18, 0 = y*g - 2*n - 12 for g.
4
Let g = -46 + 51. Solve 3*i + 5*l = 1 + g, 2*l = 0 for i.
2
Let u be 2/((-2)/18*-6). Solve s - 2 = u*s, -3*s = 5*q + 23 for q.
-4
Let j(c) = -2*c + 11. Let f be j(3). Solve f*w = -3*m + 6*m + 26, 2*m + 20 = 4*w for m.
-2
Let l be (-4)/(-22) + (-192)/(-33). Let i be (l/(-10))/((-2)/30). Solve 18 = -3*y - 3*c, 2*c + 6 = -3*y - i for y.
-3
Let f be 8 - 8 - (3 + 0). Let u be (4/3)/((-2)/f). Solve q + x = -6, -u*q + q - 2*x = 7 for q.
-5
Let l(g) = -g**3 + 3*g**2 + 2*g - 3. Let m be l(3). Suppose -2*t - 1 = -4*v + 1, 3*t = m*v + 3. Solve 3*f = 2*w - 4, -2*w + 4*f - t = -5 for w.
5
Let k = -6 - -8. Suppose 6*v - 19 = k*v + q, -15 = -3*v + q. Solve h - 7 = -g, 6*g - v*g = -4*h + 24 for g.
2
Let k be (0 - -1) + 3 - 2. Solve i - 15 = -3*f, i - 6*i = -k*f - 7 for f.
4
Suppose 26 = 2*h - 14. Solve 4*z = h, z + 0*z = p + 2 for p.
3
Let l(v) = v - 1. Suppose -9 + 3 = 4*b + w, b + 6 = 2*w. Let q be l(b). Let o = q - -8. Solve -20 = o*c - 5*u, 2*c + 0*c - 5*u = -8 for c.
-4
Let b = 14 - 8. Suppose -3*i - b*z + 10 = -z, 18 = 3*i - 3*z. Let h be 1/i - 34/(-5). Solve 0 = -2*s - h*c + 2*c + 17, 2*c - 3 = 3*s for s.
1
Let o(d) = -6*d - 3. Let q(f) = f + 6 + 0 - 5. Let k(m) = -o(m) - 5*q(m). Let n be k(4). Solve -2*h = 2*l - 4 - n, -5*h = 4*l - 16 for h.
4
Let x(b) = -b**2 + 6*b + 2. Let s be x(6). Let p = -14 + 8. Let n = -3 - p. Solve 2*d + 10 = 0, s*d - 2 = 3*t + n for t.
-5
Let s(h) = h**3 - 8*h**2 - 7*h - 13. Let k be s(9). Solve -k*w + 0 + 5 = -4*b, 4*b + 29 = -3*w for w.
-3
Suppose t = 4*u - 60, -5*u + 12 + 63 = 4*t. Solve -4*m = -m - u, 3*j + 25 = 5*m for j.
0
Suppose 4*t = -5*z - 4, 3*t - z + 12 = 7*t. Solve -s - 20 = s + t*n, 2*n + 16 = -4*s for s.
-2
Let t(q) = 2*q**3 + 11*q**2 + 5*q + 5. Let r be t(-5). Solve 0 = 3*g + v - 5, -g + r*v - 3*v = -11 for g.
3
Let h = -10 - -6. Let a be (-1 + 0)*h/2. Suppose -w + 21 = a*z + z, -2*z = 3*w - 21. Solve 0 = -3*q + 3*i - z, 0*q = -3*q - i - 18 for q.
-5
Let g(r) = r**3 - 5*r**2 + 2*r - 7. Let s be g(5). Let p(j) = j**3 + 5*j**2 + 6. Let f be p(-5). Solve q - 5*u - 24 = 0, 2*u = -s*q + f*u + 17 for q.
-1
Let v be ((-4)/10)/(2/(-15)). Solve -v = -r - 4*d + 20, 0 = 5*r + d - 20 for r.
3
Let y(l) = -l**2 + 6*l + 5. Let k be y(6). Suppose 0*z = k*z + 10. Let s be 1 - (1 + z - 0). Solve v - 5*o = 10, 0*o + 3 = v + s*o for v.
5
Let v = 7 + -3. Solve -2*a - 4 = 4*w, -v*w = -a + w - 9 for a.
-4
Suppose -4*p - p = -3*f - 15, 2*p - 6 = -3*f. Suppose p*q - 12 = 3. Solve -13 = -q*t - 2*w, 0*t - w = -3*t + 10 for t.
3
Let t(j) = 2*j**2 - 2*j - 1. Let s be t(2). Suppose 7*i - 20 = s*i. Suppose h + 20 = 4*q, -q = 2*h - 0 + 4. Solve -2*c + 14 = -3*y - y, -q*y - i*c = 21 for y.
-4
Suppose -13 = 2*s - 23. Let w(q) = q**2 + 3*q + 1. Let m be w(-4). Solve -5*i = -m*y + s, 0 = -0*y + y + 3 for i.
-4
Let o be 6/(-4)*2*-2. Suppose 2*b + o = -0*b - 4*p, -2*b - 2 = 3*p. Solve 4*i + 2 - 10 = r, -11 = 3*i - b*r for i.
3
Suppose -29 = -5*c - 2*d + 21, -15 = -3*d. Suppose -s = -2*s + c. Solve 5*p - 10 = 6*o - 3*o, -4*p = -o - s for p.
2
Suppose 8*z + 8 = 10*z. Suppose z = n - 1. Solve 4*u + n*h - 26 = 0, 3*u - 7 = -4*h + 13 for u.
4
Let a(u) = u**2 - 3*u + 1. Let q be a(4). Let b = -1 + q. Solve 2*r + 3*m = b*m + 4, 0 = -2*r + 2*m + 2 for r.
3
Suppose -3 - 9 = -3*t. Solve 4*n = 3*u + 7, -5*n + t = -n for u.
-1
Let f(w) = 4*w**2 + 3*w + 7. Let n(r) = 3*r**2 + 4*r + 8. Let q(a) = -4*f(a) + 5*n(a). Let g be q(9). Solve 0 = g*j - h + 1, 5*h + 14 = -2*j - 2*j for j.
-1
Let w(k) be the second derivative of -k**4/12 + k**2 - 4*k. Let z be w(0). Let d(q) = -5*q + 1. Let u be d(-1). Solve z*g - u = 2*l, -l - 3*g = -0*l + 11 for l.
-5
Suppose 7*l - 8*l = -2. Solve -l*k + 5*x + 1 + 3 = 0, 11 = -3*k - x for k.
-3
Let x = 12 - 20. Let d(t) = t**3 + 9*t**2 + 5*t - 7. Let f be d(x). Solve 0 = 3*z + 2*j + 19, z - 2*j - f = 2*j for z.
-3
Let t = 0 - -25. Solve t = -0*f - 5*f, 9 = -4*v - f for v.
-1
Let t be (-4)/(0 + 4/(-2)). Solve 2*f - 2*j = -7*j - 4, -t = f - j for f.
-2
Suppose h - 3*t = 19, 3*h + 8 = 3*t - 7*t. Let g be (0 - (-6)/4)*h. Solve -4*p + 2 + g = 4*n, 6 = -3*p + n for p.
-1
Let k = 95 - 65. Suppose -3*o - k = 2*o. Let g = -5 - o. Solve -3*i - 2 = -4*w - g, 6 = i + 5*w for i.
1
Let f = 37 + -22. Let m = 15 + f. Solve o + 4*l + 7 = -9, 2*l + m = 5*o for o.
4
Let p be 1/(-5) + (-153)/(-15). Solve 4*j = -w + 15, 3*j = 3*w - 5*w + p for j.
4
Let b = -24 + 29. Let j = 2 + -3. Let x be 3 + j + 2*1. Solve -l = 2*y - 5*y + 5, -3 = b*l - x*y for l.
1
Let x = 9 + -2. Let h = -2 + x. Solve