*s + 4 = -4, w + 2*s - 4 = q for w.
0
Suppose 3*v - 45 = -12. Suppose -3*i - 16 - v = 0. Let o be i/(-9) - (-1 - -1). Solve 2*z = -4*q - o + 5, -q = -2*z - 1 for z.
0
Let n = -5 - -4. Let u be (-4 + 1)/(0 + n). Solve -u*d - 17 = -c, c = -3*d - c - 11 for d.
-5
Let h(j) = -j**3 + 12*j**2 + 12*j + 15. Let u be h(13). Let x be (u/4)/((-1)/(-10)). Solve 0*o - 11 = -o - 2*d, x*d - 20 = 0 for o.
3
Suppose -j = -0*j - 2. Solve 4*k - 5*w - 10 = 0, 0 = j*k + w + 5 - 3 for k.
0
Let y be (-8)/20 + 4/10. Suppose 0 = -w - 2*j + 12, y = -2*j - 0 + 10. Solve w*i + 18 = 2*q + 4, 8 = -2*i for q.
3
Let y = 3 + 5. Suppose -6*f + 2*f + y = 0. Suppose t = -f*t. Solve t = 3*g + 6*x - x - 14, 0 = -5*x + 5 for g.
3
Let l = -113 - -117. Solve -6*h - 20 = 4*o - l*h, 4*h = 0 for o.
-5
Let w(o) = 2*o**2 + 3*o. Let j be w(-3). Let z be -2 - -5 - (-2 - j). Solve -z = -3*b + 2*m, 0 = m - 0 + 4 for b.
2
Suppose 2*n = -y + 2, 3*y - y - 2*n = -2. Solve 2*o - 2*a - 2 = y, -6 = -2*o - 5*a - 4 for o.
1
Let a(v) = v**2 - 4*v + 4. Let x be a(4). Solve -w - 14 = x*d, -d - 8 = 2*w + 2*d for w.
2
Let p = 21 + -17. Solve -16 = -5*r + k, -3*r + p*k = -0*k + 4 for r.
4
Suppose -2*g + 12 = 5*l, 3*l - 5*g = 19 + 13. Suppose -l*b + 6 = -2*b. Suppose 0 = r - b*r. Solve -2*a + r*a + 3 = -u, -5 = -5*u for a.
2
Suppose a - 26 = 5*z, 2*a + 0*z - 3*z = 24. Solve 3*f - 2*j - 11 = a, -3*j = 12 for f.
3
Let c be (-4 + 1)/(6/18). Let o be (-2)/(24/c + 2). Suppose -8*i = -o*i - 70. Solve -2*v - 4*k = 20, -1 - i = 5*v + 3*k for v.
0
Suppose -f = -3*v + 2*f + 42, -3*v = f - 30. Solve -3*l - v = -2*y, -5 = -y + l - 1 for y.
1
Suppose 0*h - h = -79. Let v = h - 55. Solve v = -4*q + 2*p, 6*p - p - 25 = 3*q for q.
-5
Let l = 16 + -13. Solve 5*w - 4*w = l*r + 9, -4*w = -4*r - 12 for w.
0
Suppose -4*z + 0*z = -5*p + 6, 0 = -5*p + 10. Let u be (5 + -3)*z + 1. Solve 3*c = -v - 2*v - 6, 0 = c - u*v + 10 for c.
-4
Let r(w) = -w**2 - 10*w - 6. Let g be r(-4). Solve -f = y - 4*y + g, -2*y + 22 = -4*f for y.
5
Let n(v) = -v**3 + 15. Let r be 0/(-1 + 1 + -3). Let q be n(r). Solve 2*j + q = -6*i + i, 3*i = -4*j - 9 for j.
0
Let h = -9 - -3. Let a(u) = -u - 5. Let y(t) = -t - 6. Let f(p) = h*a(p) + 5*y(p). Let r be f(5). Solve b - r*w + 4 = 0, -4*w - 12 = 3*b - w for b.
-4
Suppose 2*f = 9 + 5. Let o(x) = -x**2 + 7*x + 3. Let v be o(f). Solve 2*y = -v*z + y + 17, -3*z = 2*y - 22 for z.
4
Let t be (15/((-15)/2))/(2/(-4)). Solve -u + 15 = 4*b, -2*b + 4 = -0*b + t*u for b.
4
Suppose 0*x = 4*x - 8. Let p be x/6 - (-30)/(-9). Let q = 2 - p. Solve n - v + 3 = 0, q - 26 = 5*n - 2*v for n.
-5
Suppose -5*r + 4 + 4 = -2*b, -5 = 5*b - 5*r. Solve l + 4*h = -2 - 6, l - 3*h = -b for l.
-4
Let f be ((-2)/(-5))/((-1)/5). Let l = f - -5. Solve -w + m - l = 0, 10 = 2*w + 5*m - 12 for w.
1
Let l = 1 - 20. Let d = l - -34. Solve x - 3*y - d + 2 = 0, -3*y - 25 = -4*x for x.
4
Let c be 45/12 - 2/(-8). Suppose -22 - 18 = -c*z. Let s be ((-4)/(-6))/((-2)/(-15)). Solve 0 = v - s, j + 3*j = 2*v + z for j.
5
Suppose 1 = 2*l - 5. Let f(w) = 7*w**2 - 2*w - 7. Let v be f(-2). Solve 4*u + 17 = z, -v = -2*z + l*u + 2*u for z.
5
Suppose 51 = 4*k + 51. Suppose -2*b + 3 = -b. Solve -4*y = k, 6 = -b*j + j + y for j.
-3
Let j = -8 - -12. Suppose j = -f + 11. Let b be (-46)/(-10) - (-6)/15. Solve -3 = 4*d + d - 2*a, -f = 2*d + b*a for d.
-1
Let c(n) = n**2 + 5*n + 4. Let v be c(-5). Suppose 12 = -v*g + 4. Let r be (0 - g) + (19 - 2). Solve -2*w = -5*k + 3*w + 35, -r = -4*k + w for k.
4
Let c = 4 + -4. Suppose 0 = -2*q + 4*q - 5*x + 14, -3*q + 5*x - 11 = c. Solve r + 9 = -4*d, -4*d - 6*r + q*r - 3 = 0 for d.
-3
Let a = 1 - -1. Let x = -232 - -232. Solve x = j + 4*d + 8, 3*d = a*d - 1 for j.
-4
Let y(g) be the third derivative of g**4/24 - 2*g**3/3 + g**2. Let x be y(9). Solve x*i = u + 1, -3*i = -4*u - 6*i - 4 for u.
-1
Let d(s) = -2*s + 41. Let c be d(18). Solve 6*l - 2*l = c*h + 2, 0 = -l - 4*h + 11 for l.
3
Let p = 7 + -3. Let k = -3 - -1. Let u be 2/(-4) - 1/k. Solve 5*z + r = 34 - 14, u = p*r - 20 for z.
3
Suppose -x = -0*x - o - 5, 2*x - 10 = -o. Suppose -3*z - q - q + 10 = 0, x*z - 15 = -5*q. Solve 2*w + 24 = 5*c - c, z*w + 24 = 2*c for w.
-4
Let h(b) = 2*b**2 - 14*b - 9. Let n be h(8). Solve 2*o = 5*f - n, -8*f + 5 = -3*f for o.
-1
Suppose 19 + 1 = -2*g. Let v be (g/6)/((-2)/18). Solve 2*s = -0*s - 10, 5*h + v = -4*s for h.
1
Suppose 2*g + 2*q = -20, 0 = g + 2*g + 2*q + 25. Let n be 1*-1 - 15/g. Suppose -4*z + 22 - 2 = 0. Solve -n*y + 3*w + 8 = -y, y - 14 = z*w for y.
-1
Suppose 32 = 3*d - m, 2*d - 2*m + 0*m - 28 = 0. Solve -t = t, -3*t = 3*y + d for y.
-3
Let g = 4 + -2. Suppose -w = n, -n - 5 = -g*w + 1. Solve w*j = f + 4*f + 18, j = -f - 5 for j.
-1
Let c(w) = -4*w + 43. Let f be c(9). Solve 0 = -3*x + 2*k + 11, f = x + 2*k - k for x.
5
Suppose -4*n + 3*s - 1 = 0, -2*s + 12 = 6. Solve 12 = -n*c - 4*t, 2*c + t - 3*t + 6 = 0 for c.
-4
Let o(s) = 8*s**3 + s**2 + s + 2. Let v be o(-2). Let y be (-2)/6 + v/(-18). Solve n + 3*x = 1, y = n - 4*x - 5 for n.
4
Suppose u - 5 = 14. Solve -2*i - u = 5*f, 3*i = -0*f + 2*f for f.
-3
Let v = 0 + 4. Solve 22 = v*b - 2*z, 4*z + z = b - 10 for b.
5
Let u(m) = 2*m**2 + m + 3. Let o be u(0). Solve 21 = -h - 3*h - 5*f, 3*h + o*f = -15 for h.
-4
Let r(p) = -p**3 + 6*p**2 - 2*p - 2. Let y be r(6). Let t = -9 - y. Suppose 106 = 5*h + 26. Solve -3*a - t*i + h = 0, -i = 3*a - 4*i + 24 for a.
-3
Let h(b) = -b - 3. Let n be h(-9). Let v = n - 2. Suppose -v*r + 11 = -s, 5*r - 2*s = s + 19. Solve 0 = r*k, -4*d = d - 5*k for d.
0
Let v be 12/(-30) + 73/(-5). Let c = -8 - v. Suppose -c = -4*h + 13. Solve 5*b - 23 = h*o - 2*o, -5*o - 2*b = -3 for o.
-1
Let c(n) = -n**3 + 4*n**2 - 2*n + 2. Let t be 2/(3 + (-21)/9). Let x be t - (-1 + 1/1). Let p be c(x). Solve -3*g = p*h + 1 - 8, 5*h + 13 = 2*g for g.
4
Suppose 3*s = -0 + 3. Let u(c) = c**3 + 8*c**2 - 9*c. Suppose 7*o - 6*o = -9. Let b be u(o). Solve j + s = b, 4*m + 5 = -2*j + 11 for m.
2
Let g(t) = 0*t - t - 4 + 3. Suppose -2*v + 3*v = -5. Let m be g(v). Solve m*q - 4*n + 0*n = 24, -5*q + 26 = -4*n for q.
2
Suppose -30 - 54 = -7*a. Let f(p) = 1 + 3 - 4*p + 0. Let i be f(-3). Solve 6*o + a = 2*o + 2*h, i = -4*o + 4*h for o.
-2
Let f = 9 - 3. Let s be 27/(-33) - f/33. Let j be s/(10/4)*-10. Solve 0 = 3*h + 3*y - 5*y + 1, 0 = j*h + y + 5 for h.
-1
Let f(b) = -b**2 - 6*b - 5. Let s be f(-4). Solve y = -y - s*g - 2, 0 = g + 2 for y.
2
Let s = 8 + -3. Solve -4*h - 8 = 4*o, 3*h - 18 - 8 = s*o for h.
2
Suppose -y = 5*h + 15, -h = -4*h - 9. Suppose y*z = -5*z + 25. Suppose 0 = -z*p + 18 + 7. Solve 3*f = 9, -7*l + 3*l + f = -p for l.
2
Suppose -3*x - 5*t = -60, 15 = 2*x + 2*t - 21. Solve -4*i - 3 = -x, -5*i + 24 = 3*f for f.
3
Let l be -4 - 5/1 - 2. Let b = l - -11. Solve -2*v - 4*k + 2 = b, 5*v + 5*k - 18 + 3 = 0 for v.
5
Let a(x) = 0 + 4*x**2 - x**2 - 2*x**2 - 5*x - 3. Let n be a(6). Solve 0 = n*c - 0*c + 3*s - 30, 10 = 2*s for c.
5
Let f(k) = -6*k**3 - 2*k**2 + 1. Let p be f(-1). Let i(y) = -5*y + 1 - p + y. Let v be i(-7). Solve 3*z + 2*g + 15 = 0, -3*g - g - v = 4*z for z.
-3
Suppose -4*s + 39 = 6*z - z, -s - 3*z + 15 = 0. Let l be 2 + (-3)/s*0. Solve u + 2 = 3*b, l = b - 2*u - 2 for b.
0
Let q be 3/18 + (-74)/12. Let w be (-4)/q*27/6. Solve 0 = w*t + 2*l + 5, 5*t + 1 = -2*l - 2 for t.
1
Let u = 124 + -121. Solve u*n = 5*s + 7, s + 3*n - 2 = 11 for s.
1
Let k be -3*4/30 + (-135)/(-25). Solve k*i - 13 = 2*l, -4*i = 2*l - 4 - 10 for l.
1
Let f = 26 + -23. Suppose f + 0 = c. Let d be (-1 - -1)/(2 - 1). Solve d = u - 0*u + 2*z + 6, 15 = c*u - 5*z for u.
0
Let s = -10 - -13. Let c be 3/2*4/3. Suppose -x + 2*k = -6, s*x - 4 + c = -2*k. Solve -17 = x*i + 4*a + 5, 2*i = -5*a - 26 for i.
-3
Let z be (-20)/(-4) + -1 + -3. Let r be (0 - 4) + 5 + z. Solve -6 = 5*p - p - r*o, 0 = 5*p + o - 10 for p.
1
Suppose 2*j + 14 = 3*o, -2*j - 45 = 3*j - 5*o. Let z be j/3*(-6 - -3). Suppose z = h + 2. Solve 0 = 3*g - 3*l + 3, h = -5*l - 4 for g.
-4
Suppose 0 = -2*d - 3 + 11. Solve -3*g = -d*t - 26, 2*t - g = -3*g - 6 for t.
-5
Let n(l) be the second derivative of -l**4/12 - l**3/6 + 3*l**2/2 - 8*l. Let y be n(0). Solve -3*b + y = -3*o, 3 + 2 = o - 3*b for o.
-4
Let s(o) = o + 10. Let v(h) = -3*h - 31. Let w(t) = -7*s(t) - 2*v(t). Let r be w(-11). Let z = r - -1. Solve -4 - 14 = -3*d - 5*n, 0 = z*d - n -